Compactness is intimately connected with the properties of continuity, uniform continuity, closedness and boundedness. One such is illustrated in the following theorem.
Theorem
Letbe continuous with
compact (closed and bounded. Then
is uniformly continuous.
Proof: ChooseSince
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
Letand suppose
and
then there is
such that
Now
making
Henceand
is uniformly continuous.
This theorem has a converse. Supposeis 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.