The Arzelà-Ascoli Theorem

Similar documents
R N Completeness and Compactness 1

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

7 Complete metric spaces and function spaces

Assignment-10. (Due 11/21) Solution: Any continuous function on a compact set is uniformly continuous.

Section 45. Compactness in Metric Spaces

From now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.

Continuous Functions on Metric Spaces

McGill University Math 354: Honors Analysis 3

MA677 Assignment #3 Morgan Schreffler Due 09/19/12 Exercise 1 Using Hölder s inequality, prove Minkowski s inequality for f, g L p (R d ), p 1:

Math 328 Course Notes

ANALYSIS WORKSHEET II: METRIC SPACES

Analysis III Theorems, Propositions & Lemmas... Oh My!

Part III. 10 Topological Space Basics. Topological Spaces

Problem Set 5. 2 n k. Then a nk (x) = 1+( 1)k

Spaces of continuous functions

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University

The Heine-Borel and Arzela-Ascoli Theorems

Metric Spaces and Topology

The Inverse Function Theorem 1

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li. 1 Lecture 7: Equicontinuity and Series of functions

1. Let A R be a nonempty set that is bounded from above, and let a be the least upper bound of A. Show that there exists a sequence {a n } n N

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

Existence of Optima. 1

2.4 The Extreme Value Theorem and Some of its Consequences

Continuity of convex functions in normed spaces

Lecture 19 L 2 -Stochastic integration

Principles of Real Analysis I Fall VII. Sequences of Functions

Math 209B Homework 2

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

Math 421, Homework #9 Solutions

MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5

Some Background Material

10 Compactness in function spaces: Ascoli-Arzelá theorem

THEOREMS, ETC., FOR MATH 515

M17 MAT25-21 HOMEWORK 6

MAT 544 Problem Set 2 Solutions

Bootcamp. Christoph Thiele. Summer As in the case of separability we have the following two observations: Lemma 1 Finite sets are compact.

4.6 Montel's Theorem. Robert Oeckl CA NOTES 7 17/11/2009 1

Spectral theory for compact operators on Banach spaces

Math 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1

Introduction to Real Analysis Alternative Chapter 1

Problem Set 2: Solutions Math 201A: Fall 2016

Math 117: Continuity of Functions

RIEMANN MAPPING THEOREM

36 CHAPTER 2. COMPLEX-VALUED FUNCTIONS. In this case, we denote lim z z0 f(z) = α.

Course 212: Academic Year Section 1: Metric Spaces

(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε

LECTURE 15: COMPLETENESS AND CONVEXITY

I. The space C(K) Let K be a compact metric space, with metric d K. Let B(K) be the space of real valued bounded functions on K with the sup-norm

MA5206 Homework 4. Group 4. April 26, ϕ 1 = 1, ϕ n (x) = 1 n 2 ϕ 1(n 2 x). = 1 and h n C 0. For any ξ ( 1 n, 2 n 2 ), n 3, h n (t) ξ t dt

MATH 5616H INTRODUCTION TO ANALYSIS II SAMPLE FINAL EXAM: SOLUTIONS

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Overview of normed linear spaces

Thus f is continuous at x 0. Matthew Straughn Math 402 Homework 6

Midterm 1. Every element of the set of functions is continuous

S chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1.

Real Analysis Notes. Thomas Goller

Sets, Functions and Metric Spaces

Mid Term-1 : Practice problems

Notes for Functional Analysis

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Compact operators on Banach spaces

Weak convergence and Brownian Motion. (telegram style notes) P.J.C. Spreij

4 Countability axioms

Math 321 Final Examination April 1995 Notation used in this exam: N. (1) S N (f,x) = f(t)e int dt e inx.

Exam 2 extra practice problems

Rudin Real and Complex Analysis - Harmonic Functions

Analysis III. Exam 1

Chapter 1: Banach Spaces

Notes on uniform convergence

Lecture 2: A crash course in Real Analysis

Introductory Analysis I Fall 2014 Homework #9 Due: Wednesday, November 19

MATH 140B - HW 5 SOLUTIONS

Real Analysis Chapter 4 Solutions Jonathan Conder

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

l(y j ) = 0 for all y j (1)

Lecture Course. Functional Analysis

REVIEW OF ESSENTIAL MATH 346 TOPICS

Multivariate Differentiation 1

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011

Most Continuous Functions are Nowhere Differentiable

Metric Spaces Math 413 Honors Project

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

CLASS NOTES FOR APRIL 14, 2000

Your first day at work MATH 806 (Fall 2015)

Selçuk Demir WS 2017 Functional Analysis Homework Sheet

HW 4 SOLUTIONS. , x + x x 1 ) 2

MATH 202B - Problem Set 5

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

0.1 Pointwise Convergence

Your first day at work MATH 806 (Fall 2015)

NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

Functional Analysis Winter 2018/2019

Functional Analysis Exercise Class

01. Review of metric spaces and point-set topology. 1. Euclidean spaces

Convexity in R N Supplemental Notes 1

Transcription:

John Nachbar Washington University March 27, 2016 The Arzelà-Ascoli Theorem The Arzelà-Ascoli Theorem gives sufficient conditions for compactness in certain function spaces. Among other things, it helps provide some additional perspective on what compactness means. Let C([0, 1]) denote the set of continuous functions f : [0, 1] R. Because the domain is compact, one can show (I leave this as an exercise) that any f C([0, 1]) is uniformly continuous: for any ε > 0 there is a δ > 0 such that if x ˆx < δ then f(x) f(ˆx) < ε. An example of a function that is continuous but not uniformly continuous is f : (0, 1] R given by f(x) = 1/x. A set F C([0, 1]) is (uniformly) equicontinuous iff for any ε > 0 there exists a δ > 0 such that for all f F, if x ˆx < δ then f(x) f(ˆx) < ε. That is, if F is (uniformly) equicontinuous then every f F is uniformly continuous and for every ε > 0 and every f F, I can use the same δ > 0. Example 3 below gives an example of a set of (uniformly) continuous functions that is not equicontinuous. A trivial example of an equicontinuous set of functions is a set of functions such that any pair of functions differ from each other by an additive constant: for any f and g in the set, there is an a such that for all x [0, 1], f(x) = ˆf(x) + a. A more interesting example is given by a set of differentiable functions for which the derivative is uniformly bounded: there is a W > 0 such that for all x [0, 1] and all, Df(x) < W. In this case, for any x, ˆx [0, 1], ˆx > x, there is, by the Mean Value Theorem, a θ (x, ˆx) such that hence (f(x) f(ˆx)) = Df(θ)(x ˆx), f(x) f(ˆx) < W x ˆx, which implies equicontinuity. Consider the sup metric on C([0, 1]) given by, for any f, g C([0, 1]) d sup (f, g) = sup f(x) g(x). x [0,1] This metric is well defined since [0, 1] is compact, f g is continuous, and absolute value is continuous. It is easy to verify (by a now standard argument) that this metric is indeed a metric (in particular, satisfies the triangle inequality). Convergence under d sup is uniform convergence: f t f iff for any ε > 0 there is a T such that for all t > T and all x [0, 1], f t (x) f (x) < ε. Henceforth, fix d sup as the metric for C([0, 1]). C([0, 1]) is complete; the proof is almost identical to the proof that (l, d sup ) is complete. 1

Theorem 1. If F C([0, 1]) is equicontinuous then so is F. Proof. Fix ε > 0 and fix any ˆε (0, ε). Since F is equicontinuous, there is a δ > 0 such that for any g F and x, ˆx [0, 1], if x ˆx < δ then g(x) g(ˆx) < ˆε. Consider, then, any f F. There is a sequence (f t ) in F such that f t f. For any x, ˆx [0, 1], if x ˆf < δ then, by the triangle inequality, f(x) f(ˆx) f(x) f t (x) + f t (x) f t (ˆx) + f(ˆx) f t (ˆx) Hence, since f t f and ˆε < ε, < ˆε + f(x) f t (x) + f(ˆx) f t (ˆx). f(x) f(ˆx) < ε. The basic Arzelà-Ascoli Theorem, formalized below, says that if a set F C([0, 1]) is closed, bounded, and equicontinuous, then it is compact. Recall that the Heine-Borel Theorem states that, in R N, a set that is closed and bounded is compact. In contrast, in infinite-dimensional normed vector spaces, including C([0, 1]), closed and bounded sets need not be compact and closed balls are never compact. The basic Arzelà-Ascoli Theorem can be viewed as fixing the problems of Heine-Borel in C([0, 1]) by adding equicontinuous as an extra condition. Theorem 2 (Basic Arzelà-Ascoli). If F C([0, 1]) is closed, bounded, and equicontinuous then it is compact. Proof. Let F C([0, 1]) be equicontinuous and bounded. By boundedness, there is an M > 0 such that for all f F and all x [0, 1], f(x) < M. Let (f t ) be a sequence in F. I need to show that there is a subsequence f tk and and a function f F such that f tk f. The proof has two main steps. The first uses boundedness to argue that there exists a subsequence f tk that converges pointwise at every rational number in [0, 1]. The second step then uses the fact that F is closed and equicontinuous, together with the fact that [0, 1] is compact, to argue that (f tk ) is Cauchy. Step 1. Let A be the set of rational elements of [0, 1] and let (a 1, a 2,... ) be an enumeration of the rationals in [0, 1]. Then (f t (a 1 )) is a sequence in the compact set [ M, M] R and hence has a convergent subsequence; denote a generic index in this subsequence t (i,1). Set t 1, the first index in the subsequence (f tk ) that I am constructing, equal to t (1,1). And so on. At stage k + 1, f t(i,k) (a k+1 ) is a sequence in the compact set [ M, M] R and hence has a convergent subsequence; denote a generic index in this subsequence t (i,k+1). Set t k+1 = t (k+1,k+1). Note that t k+1 > t k. 2

By construction, for every j, (f tk (a j )) is a convergent subsequence of (f t (a j )); in particular, all but (at most) finitely many terms of (f tk (a j )) belong to (f t(i,j) (a j )). For every j, set f (a j ) = lim k f tk (a j ). Step 2. I claim that (f tk ) is Cauchy. Since, by assumption, F is a closed subset of C([0, 1]), which is complete, F is complete, and the proof follows. It remains to show that (f tk ) is Cauchy. Fix ε > 0 and any ˆε (0, ε). By equicontinuity, there is a δ > 0 such that for any x [0, 1] and any a A, if x a < δ then, for any k, f tk (x) f tk (a) < ˆε/3. Since [0, 1] is compact, it can be covered by a finite number of open intervals with rational centers and radius δ. (Since A is dense in [0, 1], the set of all open intervals with rational centers covers [0, 1]. Since [0, 1] is compact, a finite subset of these also covers [0, 1].) Let A δ A denote this finite set of rational centers. For each a A δ, since f tk (a) f (a), and hence (f tk (a)) is Cauchy, there is a K a such that for all k, l > K a, Let K = max a Aδ K a. finite). f tk (a) f tl (a) < ˆε/3. Since A δ is finite, K is well defined (in particular, Consider, then, any x [0, 1]. Choose a A δ such that x is in the δ interval around a. Then for any k, l > K, f tk (x) f tl (x) f tk (x) f tk (a) + f tk (a) f tl (a) + f tl (x) f tl (a) < ˆε. Therefore, sup x [0,1] f tk (x) f tl (x) ˆε < ε, which proves the claim that f tk is Cauchy. Finally, since F is a closed subset of a complete space, it is complete, and hence, since (f tk ) is Cauchy, there is an f F to which (f tk ) converges. The basic Arzelà-Ascoli Theorem implies that if F is bounded and equicontinuous then its closure is compact. (The closure of F is equicontinuous, by Theorem 1, and it is bounded because, in any metric space, the closure of a bounded set is bounded; see the notes on Metric Spaces.) This implies the following corollary, which is frequently the form in which the basic Arzelà-Ascoli Theorem is stated. Theorem 3 (Basic Arzelà-Ascoli - Alternate Form). If F C([0, 1]) is bounded and equicontinuous then for any sequence (f t ) in F there is a subsequence (f tk ) and an f C([0, 1]) such that f tk f. 3

The following examples illustrate the basic Arzelà-Ascoli Theorem and the role of equicontinuity. Example 1. For t 2, 3,... }, define f t : [0, 1] R by 1 if x [0, 1/t] f t (x) = 0 if x (1/t, 1]. This sequence converges pointwise to f defined by f 1 if x = 0 (x) = 0 if x (0, 1]. Convergence is not uniform, however. Indeed, d sup (f t, f ) = 1 for every t, since for every t there are x > 0 for which f t (x) = 1. There are no Cauchy subsequences of (f t ) (under d sup ) and hence no convergent subsequences. Thus, setting F = f t }, F is not compact. This example somewhat resembles the example in the R ω notes showing that closed balls in (l, d sup ) are not compact. Note, however, that in this example the f t are not continuous, hence are not members of C([0, 1]), and, therefore, F is not equicontinuous. Example 2. Fix any γ (0, 1/4). I modify the functions in the previous example to make them continuous by inserting a segment of length γ and slope 1/γ. Explicitly, for t 2, 3,... }, define g t : [0, 1] R by 1 if x [0, 1/t] g t (x) = x γ + 1 tγ + 1 if x (1/t, 1/t + γ] 0 if x (1/t + γ, 1]. Let G = g t }. Then G is equicontinuous; in particular, for any ε > 0, set δ = εγ. By Arzelà-Ascoli (alternate form), (g t ) has a subsequence that converges uniformly to a continuous function, and indeed the entire sequence converges uniformly to g x γ + 1 if x = [0, γ] (x) = 0 if x (γ, 1]. Note that γ can be made arbitrary small. So this example can be made close, in a sense, to that of Example 1. Example 3. Finally, consider an example similar to Example 2 but now with γ t that shrinks as t grows. In particular, fix γ (0, 1/4) and let γ t = γ/t. For t 2, 3,... }, define h t : [0, 1] R by 1 if x [0, 1/t] h t (x) = x γ/t + 1 γ + 1 if x (1/t, 1/t + γ/t] 0 if x (1/t + γ/t, 1]. 4

Note, in particular, that the slope of the middle section is t/γ, which is increasing in t. Let H = h t }. Then H is a subset of C([0, 1]) but it is not equicontinuous. For any given t and any ε > 0, uniform continuity for f t requires a δ t of no more than εγ/t, which depends on t. There is no single δ that will work for all f t. The sequence (h t ) converges pointwise to f, the same f as in Example 1. The sequence does not converge uniformly to f, however, and indeed it could not because f is not continuous (remember that C([0, 1]) is complete under d sup ). Under d sup, (h t ) has no Cauchy subsequences and hence no convergent subsequences. This helps illustrate the importance of equicontinuity in Arzelà-Ascoli. The ideas behind the basic Arzelà-Ascoli Theorem can be extended to more general environments in a number of ways, one example of which is the following. Given metric spaces (X, d X ) and (Y, d Y ), let C(X, Y ) denote the set of continuous functions from X to Y. If X is compact, define the sup metric on C(X, Y ) by, for any f, g C(X, Y ), d sup (f, g) = sup d Y (f(x), g(x)). x X This metric is well defined since X is compact, f and g are continuous, and d Y is continuous with respect to the max metric on Y Y (see the notes on Continuity). By essentially the same argument as for (l, d sup ), C(X, Y ) with the sup metric is complete. And, by essentially the same argument as for Theorem 1, the closure of an equicontinuous set of functions in C(X, Y ) is equicontinuous. Theorem 4 (Generalized Arzelà-Ascoli Theorem). Let (X, d X ) and (Y, d Y ) be compact metric spaces and let F be a subset of C(X, Y ). If F is closed and equicontinuous then it is compact. Proof. Since X is a compact metric space, it has a countable dense set A (I leave showing this as an exercise). The proof is then almost the same as the proof of Theorem 2. In particular, the set A here plays the same role in the proof of Theorem 4 as the rationals in [0, 1] did in the proof of Theorem 2. The Arzelà-Ascoli Theorem can be generalized still further but I will not do so. 5