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
 * $\displaystyle 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
 * $\displaystyle \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.