10 Compactness in Function Spaces: Ascoli-Arzel A Theorem
10 Compactness in Function Spaces: Ascoli-Arzel A Theorem
theorem
Recall that if (X, d) is a compact metric space then the space C(X) is a vector
space consisting of all continuous function f : X R. The space C(X) is
equipped with the norm "f " := max{|f (x)| | x }. The norm induces the metric
|f (x) f (y)| < for all x, y X satisfying d(x, y) < and all f F.
|f (x)| M
Then the family F is equicontinuous. To see this, take > 0 and set = /M .
Then for every y B (x) and every f F, we have
Let M > 0 and let F be the set all differentiable functions f : [a, b] R
satisfying |f ! (x)| M for all x (a, b). In view of the mean value theorem,
|f (x) f (y)| M |x y|
for all x, y (a, b). Using the previous example, F is a equicontinuous family.
If (X, d) is a metric space, we call a subset F X precompact (or relatively
compact) if F is compact in X.
Theorem 10.3 (AscoliArzela Theorem). Let (X, d) be a compact space.
A subset F of C(X) is relatively compact if and only if F is equibounded and
equicontinuous.
Proof. Assume that F is relatively compact. This is means that F is compact.
We claim that F is equibounded and equicontinuous. Since F compact, it is
totally bounded. In particular, F is totally bounded. This implies that F is
equibounded. To see that F is equicontinuous, take > 0. Then, there are
f1 , . . . , fN C(X) such that
60
Each fi is uniformly continuous since (X, d) is compact. Hence there exists
> 0 such that
|fi (x) fi (y)| < /3 for all x, y such that d(x, y) < and all 1 i N .
Given f F, in view of (10) there is 1 j N such that
(f, fj ) < /3.
Now if x, y X satisfy d(x, y) < , then
|f (x) f (y)| |f (x) fj (x)| + |fj (x) fj (y)| + |fj (y) f (y)|
(f, fj ) |fj (x) fj (y)| + (f, jj ) < 3/3 =
showing that F is equicontinuous.
Conversely, assume that F is equibounded and equicontinuous. It suffices
to show that F is totally bounded. Indeed, if F is totally bounded, then F is
totally bounded and since C(X) is complete, the set F is also complete. Hence
F is compact. Take > 0. Since F is equicontinuous, for every x X there
exists x > 0 such that
|f (x) f (y)| < /4 for all y such that d(x, y) < x and all f F.
The collection {Bx (x)}xX is an open cover of a compact metric space X.
Hence there are x1 , . . . , xN such that
X = Bx1 . . . BxN .
In particular,
|f (x) f (xi )| < /4 for all x Bi (xi ) and all f F,
where we have abbreviated i = xi . Since F is equibounded, the set F :=
{f (xi )|1 i N, f F } is bounded. Since a bounded set in R (with the
standard metric) is totally bounded, there are points y1 , . . . , yK in R such that
!
F B/4 (yi ).
1iK
61
A simple consequence we have the following corollary.
Corollary 10.4. Let X be a compact metric space and let (fn ) C(X) be
a sequence which is equibounded and equicontinuous in C(X). Then every the
sequence (fn ) has a uniformly convergent subsequence.
62
Because (X, d) is complete, {xn } converges, say to y. The point y lies in all
balls B(xk , rk ) since xn B(xk , rk ) for all n k and B(xk , rk ) is closed for all
k, so that after taking a limit as n , y B(xk , rk ) for all k. In particular,
y B(x1 , r1 ) # B(x, r) and y B(xn+1 , rn+1 ) Un for all n. Consequently,
y B(x, r) n1 Un , and the proof is finished. &
(b) Arguing& by contradiction assume that Fn has non-empty interior. So
B(x, r) Fn for some x and r > 0. Define Un = X \ Fn . Clearly, Un is
open and we claim that it is dense. Indeed, if for some open set V we have
V Un = #, then V X \ Un = Fn contradicting # that Fn has empty interior.
By (a), n1 Un is dense. So B(x, r) n1 Un )= . On the other hand,
& & $ & %
B(x, r) F Fn so that = B(x, r) X \ n1 Fn = B(x, r)
# $ %n #
n1 X \ Fn = B(x, r) n1 Un , a contradiction. !
Example 11.3. The metric space R with the standard metric space cannot
be written as a countable union of nowhere dense sets since it is complete. By
contrast, Q with the standard metric can be written as the union of one point
sets {qn }, where {qn | n N} is an enumeration of Q. Every one point set
{qn } is closed in Q and its interior is empty, so nowhere dense. This does not
contradict Baires theorem since Q with the standard metric is not complete.
!
We denote this limit by f+ (x). In particular, if f is differentiable at x [0, 1)
then f+ (x) exists and is equal to f ! (x). Let
!
!
D = {f C([0, 1], R)| there exists x [0, 1) such that f+ (x) exists}
and let Dn,m be the set of all f C([0, 1], R) for which there exists some
x [0, 1 1/m] such that
63
" ! "
Take an integer n such that "f+ (x)" < n. Then there exists > 0 such that
Now choose m N large so that x 1 1/m and 1/m < . Then f Dn,m as
claimed.
Claim 2: Dn,m is closed. Take a sequence (fk ) Dn,m such that (fk , f ) 0
for some f C[0, 1]. To prove the claim we have to show that f Dn,m . Since
fk Dn,m , there is a sequence (xk ) satisfying 0 xk 1 1/m and
|f (x + h) f (x)| n h
64