Professional Documents
Culture Documents
Lecture Notes - 4
Lecture Notes - 4
Definition 4. A metric space X is totally bounded if, for each > 0, there is
a finite set of points {x1 , x2 , . . . , xn } such that whenever x ∈ X, d(x, xi ) < for
some xi ∈ {x1 , x2 , . . . , xn }. This set of points is called an −net.
1
Proposition 5. Let X be a sequentially compact metric space and {Gα } be an
infinite open cover of X. Then there exists an > 0 so that every ball of radius
is contained in one of the open sets {Gα }.