Theorem
Totally bounded sets are bounded.
Proof
The diameter
of a set
is defined as
andis bounded if
Supposeis a totally bounded set and let
be an
- net for
Let
then elements
and
exist such that
and
Also
for some
From the triangle inequality,
hence
andis bounded.