Problem 1. Let be continuous. For each
, define
. Prove that the set
is compact.
(Click for Solution)
Solution. For boundedness, we note that for any ,
as required.
For closedness, fix any sequence and suppose
. Since
is bounded, by the Bolzano-Weierstrass theorem, it contains a convergent subsequence
. Hence, for any
, since
is continuous,
so that , as required.
For equicontinuity, fix . We will consider
equipped with the supremum metric (thus inducing the box topology) for computational simplicity. Fix
to be tuned. For each
, there exists
such that
Let denote the supremum metric. Since
forms an open cover for the compact space
, we can extract a finite sub cover
, where we denoted
for brevity.
Choose . Now fix
and suppose
.
By the triangle inequality, there exists such that
Hence,
Setting and applying the triangle inequality yields
as required.
By the Arzelà-Ascoli theorem, is compact. Hence, every sequence
in
has a convergent subsequence.
—Joel Kindiak, 30 May 25, 1247H
Leave a comment