Compactness is intimately connected with the properties of continuity, uniform continuity, closedness and boundedness. One such is illustrated in the following theorem.
Theorem
Let
be continuous with
compact (closed and bounded. Then
is uniformly continuous.
Proof: Choose
Since
is continuous on
is continuous at
for each
Thus for each
there is
such that if
and
then
Consider the family of intervals
This is an open cover of
and
is compact so there is a finite subcover of
so there are
such that![]()
Let
and suppose
and
then there is
such that
Now
making![]()
Hence
and
is uniformly continuous.
This theorem has a converse. Suppose
is uniformly continuous then
has a limit at each accumulation point of
Let
be the set of accumulation points of
and let define
Define
by
for
and
for
The function
is continuous.