Definition:Totally Bounded Metric Space

Definition
Let $$\left({X, d}\right)$$ be a metric space.

We say that $$X$$ is totally bounded iff for every $$\epsilon > 0$$ it has a finite $\epsilon$-net.

That is, iff for every $$\epsilon > 0$$ there exists a finite family of points $$x_1, \ldots, x_n \in X$$ such that
 * $$X = \bigcup_{i=1}^n B \left({x_i, \epsilon}\right)$$,

where $$B \left({x_i, \epsilon}\right)$$ represents the ball of center $$x_i$$ and radius $$\epsilon$$.

That is: $$X$$ is totally bounded iff, given any $$\epsilon > 0$$ one can find a finite number of balls of radius $$\epsilon$$ which cover $$X$$.

An alternative term for totally bounded is precompact.

Alternative Definition
A metric space $$\left({S, d}\right)$$ is called totally bounded iff for every $$\epsilon > 0$$ there exist finitely many points $$x_0, \dots, x_n \in S$$ such that
 * $$\inf_{0 \le i \le n} d \left({x_i, x}\right) \le \epsilon$$

for all $$x \in S$$.

Equivalence of Definitions
These definitions are shown to be equivalent by Equivalence of Definitions of Total Boundedness.