3 lemmas of class 28

Lemma 23.3

For set , is totally bounded is bounded.
Suppose is totally bounded, we have

and we want to prove that

Then take and take where , we can take which is the max distance between every points in .
After that, it’s safe to say is bounded.

Lemma 23.4

For set , is bounded is totally bounded