Notes for Functional Analysis

Similar documents
Notes for Functional Analysis

Math General Topology Fall 2012 Homework 11 Solutions

3. The Banach-Steinhaus theorem

Notes for Functional Analysis

Real Analysis Notes. Thomas Goller

Spaces of continuous functions

B. Appendix B. Topological vector spaces

7 Complete metric spaces and function spaces

Your first day at work MATH 806 (Fall 2015)

Math 209B Homework 2

Your first day at work MATH 806 (Fall 2015)

Continuity of convex functions in normed spaces

16 1 Basic Facts from Functional Analysis and Banach Lattices

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

(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 ε

Functional Analysis (H) Midterm USTC-2015F haha Your name: Solutions

Completeness and quasi-completeness. 1. Products, limits, coproducts, colimits

Banach-Alaoglu, boundedness, weak-to-strong principles Paul Garrett 1. Banach-Alaoglu theorem

Chapter 3: Baire category and open mapping theorems

The weak topology of locally convex spaces and the weak-* topology of their duals

Linear Topological Spaces

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

Chapter 1. Introduction

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

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

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.

Spectral theory for compact operators on Banach spaces

1.2 Fundamental Theorems of Functional Analysis

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

Problem Set 2: Solutions Math 201A: Fall 2016

Lectures on Analysis John Roe

The Arzelà-Ascoli Theorem

Notes on Distributions

Functional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32

Free spaces and the approximation property

RESTRICTED UNIFORM BOUNDEDNESS IN BANACH SPACES

Functional Analysis Exercise Class

Section 21. The Metric Topology (Continued)

THEOREMS, ETC., FOR MATH 515

Functional Analysis I

Topological groups with dense compactly generated subgroups

G δ ideals of compact sets

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

i=1 β i,i.e. = β 1 x β x β 1 1 xβ d

Compactness in Product Spaces

Metric Spaces and Topology

Overview of normed linear spaces

ON THE REGULARITY OF ONE PARAMETER TRANSFORMATION GROUPS IN BARRELED LOCALLY CONVEX TOPOLOGICAL VECTOR SPACES

Part III. 10 Topological Space Basics. Topological Spaces

MAT 544 Problem Set 2 Solutions

Banach Spaces V: A Closer Look at the w- and the w -Topologies

NUCLEAR SPACE FACTS, STRANGE AND PLAIN

FUNCTIONAL ANALYSIS CHRISTIAN REMLING

(c) For each α R \ {0}, the mapping x αx is a homeomorphism of X.

LINEAR CHAOS? Nathan S. Feldman

Math 328 Course Notes

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t

LECTURE OCTOBER, 2016

4 Countability axioms

Banach-Alaoglu theorems

CONTENTS. 4 Hausdorff Measure Introduction The Cantor Set Rectifiable Curves Cantor Set-Like Objects...

4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan

REAL AND COMPLEX ANALYSIS

MH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then

THE NEARLY ADDITIVE MAPS

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

Functional Analysis Winter 2018/2019

Compact operators on Banach spaces

Weak Topologies, Reflexivity, Adjoint operators

1.4 The Jacobian of a map

Seminorms and locally convex spaces

Most Continuous Functions are Nowhere Differentiable

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

Topological vectorspaces

("-1/' .. f/ L) I LOCAL BOUNDEDNESS OF NONLINEAR, MONOTONE OPERA TORS. R. T. Rockafellar. MICHIGAN MATHEMATICAL vol. 16 (1969) pp.

Linear Analysis Part II

A Crash Course in Topological Groups

Functional Analysis, Math 7320 Lecture Notes from August taken by Yaofeng Su

Banach Spaces II: Elementary Banach Space Theory

Exercises to Applied Functional Analysis

Def. A topological space X is disconnected if it admits a non-trivial splitting: (We ll abbreviate disjoint union of two subsets A and B meaning A B =

Extreme points of compact convex sets

MAA6617 COURSE NOTES SPRING 2014

On the Banach-Steinhaus Theorem

10 Typical compact sets

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.

Continuous Functions on Metric Spaces

FOURIER SERIES OF CONTINUOUS FUNCTIONS AT GIVEN POINTS

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

Normed Vector Spaces and Double Duals

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

Fragmentability and σ-fragmentability

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

Metric spaces and metrizability

Hypercyclic and supercyclic operators

s P = f(ξ n )(x i x i 1 ). i=1

Class Notes for MATH 255.

DIFFERENTIABILITY VIA DIRECTIONAL DERIVATIVES

Midterm Exam Solutions February 27, 2009

Measure and Category. Marianna Csörnyei. ucahmcs

Transcription:

Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) September 29, 2015 1 Lecture 09 1.1 Equicontinuity First let s recall the conception of equicontinuity for family of functions that we learned in classical analysis: A family of continuous functions defined on a region Ω, Λ = {f α } C(Ω), is called an equicontinuous family if ɛ > 0, δ > 0 such that for any x 1, x 2 Ω with x 1 x 2 < δ, and for any f α Λ, we have f α (x 1 ) f α (x 2 ) < ɛ. This conception of equicontinuity can be easily generalized to maps between topological vector spaces. For simplicity we only consider linear maps between topological vector space, in which case the continuity (and in fact the uniform continuity) at an arbitrary point is reduced to the continuity at 0. Definition 1.1. Let X, Y be topological vector spaces, and Λ be a family of continuous linear operators. We say Λ is an equicontinuous family if for any neighborhood V of 0 in Y, there is a neighborhood U of 0 in X, such that for all L Λ. L(U) V Remark 1.2. Equivalently, this means if x 1, x 2 X and x 1 x 2 U, then for all L Λ. L(x 1 ) L(x 2 ) V Remark 1.3. If Λ = {L} contains only one continuous linear operator, then it is always equicontinuous. 1

If Λ is an equicontinuous family, then each L Λ is continuous and thus bounded. In fact, this boundedness is uniform: Proposition 1.4. Let X,Y be topological vector spaces, and Λ be an equicontinuous family of linear operators from X to Y. Then for each bounded set E in X, there exists a bounded set F in Y, such that L(E) F, for all L Λ. Proof. Let F = L(E). In what follows we will show that F is bounded in Y. By equicontinuity of Λ, for any neighborhood V of 0 in Y, one can find a neighborhood U of 0 in X such that L(U) V, for all L Λ. On the other hand, since E is bounded in X, so there exists s > 0, such that t > s, It follows that for any L Λ, and therefore F = E tu. L(E) L(tU) = tl(u) tv, L(E) tv for all t > s. In other words, F is bounded in Y. 1.2 The Banach-Steinhaus Theorem In (linear) functional analysis there are three theorems, known as THE BIG THREE, sitting at the foundation of the subject. They are all applications of the Baire s category theorem. Recall: A set A X is of the first category if it is the union of countably many nowhere dense subsets. of the second category if it is not of the first category. and the famous Baire s category theorem we proved in lecture 3 claims Any complete metric space is of the second category. Since the completeness property is so important, it is worth to give topological vector space with this property a special name. Definition 1.5. A topological vector space X is called an F-space if the topology is induced by a complete translation-invariant metric. Remark 1.6. In lecture 7 we actually proved Fréchet space=locally convex F-space. So Metrizable TVS F-space Fréchet Banach Hilbert. 2

Now we are ready to state the first of the BIG THREE: Theorem 1.7. (The Banach-Steinhaus theorem) Let X be an F-space, Y be any topological vector space and Λ be a family of continuous linear operators from X to Y. Suppose the family Λ is pointwise bounded, i.e. for any x X, the set Λ x = {L(x) L Λ} is bounded in Y. Then the family Λ is equicontinuous. Remark 1.8. According to proposition 1.4, and equicontinuous family is uniformly bounded. So the Banach-Steinhaus theorem tells us any pointwise bounded family of continuous linear operators is in fact uniformly bounded. Remark 1.9. The converse of theorem 1.7 is a consequence of proposition 1.4, because the single point set {x} is a bounded set in X. (If Λ is an equicontinuous family, then there exists a bounded set in Y that contains all L(x) s, and thus contains the set Λ x. So Λ x is bounded.) We need a small lemma before we prove the theorem. (Thank Qian Jian for pointing out a mistake in an earlier version.) Lemma 1.10. (1) For any set S in a topological vector space X and any open neighborhood U of 0 in X, one has S S + U. (2) For any neighborhood V of 0 in a topological vector space, there is a balanced neighborhood W of 0 such that W V. Proof. (1) If x S, then by definition of the closure in topological space, any neighborhood of x contains a point in S. In particular for the open neighborhood x U of x, one has (x U) S, which implies x S + U, and the fact follows. (2) We only need to take a balanced neighborhood W of 0 such that W + W V. By part (1), W W + W. So W V. Now we are ready to prove the main theorem. Proof of the Banach-Steinhaus theorem. For any neighborhood V of 0 in Y, we want to find a neighborhood U of 0 such that L(U) V for all L Λ. We first apply lemma 1.10 to choose a closed balanced neighborhood (the closure of a balanced neighborhood) W of 0 in Y such that W + W V. 3

By pointwise boundedness, for any x X, there exists s(x) > 0, s.t. for all t > s(x), Λ x tw. Let n(x) = [s(x)] + 1 N. Then for all L Λ, L(x) n(x)w. Now for each n N, we define X n = {x X L(x) nw, L Λ}. Then X = X n. n=1 Observe that each X n is closed in X, since X n = L 1 (nw ) and each L 1 (nw ) is closed due to the continuity of L and the closedness of W. Since X is an F-space, it is complete. By Baire s category theorem, it cannot be written as a countable union of nowhere dense subsets. So there exists n such that the interior of X n is not empty. Let then U 0 is open in X, and for any L Λ, So if we let then U is open in X and contains 0, and U 0 = 1 n Int(X n), L(U 0 ) = 1 n L(Int(X n)) 1 n L(X n) W. U = U 0 + ( U 0 ), L(U) L(U 0 ) + L( U 0 ) W + ( W ) = W + W V for all L Λ. This completes the proof. By using exactly the same argument, one can prove the following more general result, which is also known as the Banach-Steinhaus theorem: 4

Theorem 1.11. (The Banach-Steinhaus theroem) Let X, Y be topological vector spaces, and Λ a family of continuous linear operators from X to Y. If the set B = {x X : Λ x is bounded in Y } is of the second category in X, then Λ is an equicontinuous family and, as a consequence of proposition 1.4, B = X. A very useful consequence of the Banach-Steinhaus theorem is Corollary 1.12. Let X be an F-space, Y be a topological vector space. Suppose {L n } is a sequence of continuous linear operators from X to Y, and suppose for each x X, the limit L(x) := lim n L n(x) exists. Then L is a continuous linear operator from X to Y. Proof. Since each L n is linear, the limit L is linear. So it is enough to prove the continuity of L at 0. For any neighborhood V of 0 in Y, we take a smaller closed balanced neighborhood W of 0 in Y such that W V. The existence of such W follows from lemma 1.10. Since any convergent sequence in a topological vector space is bounded, the Banach- Steinhaus theorem implies that the family Λ = {L n } is equicontinuous. So for the neighborhood W of 0 in Y, we can find a neighborhood U of 0 in X such that L n (U) W for all n. Since W is closed, by passing to the limit we get So L is continuous. L(U) W V. 1.3 The Banach-Steinhaus theorem for normed topological vector spaces In most applications the topological vector spaces have norm structures. We now introduce the version of the Banach-Steinhaus theorem in this special situation. Let X, Y be normed vector spaces. Note that the norm structure gives us convenience in studying bounded sets: A subset E X is bounded iff there exists C such that As a consequence, we get x < C, x E. Proposition 1.13. Let L : X Y be a linear operator between normed vector spaces. Then the following are equivalent 1. L is bounded 5

2. for any r > 0, there exists s > 0 such that L(B X (0, r)) B Y (0, s), 3. there exists r > 0 such that L(B X (0, 1)) B Y (0, r). Now we let L(X, Y ) = {L : X Y L is a continuous linear operator}. Obviously L(X, Y ) is a vector space. For any L L(X, Y ), we define L = Proposition 1.14. is a norm on L(X, Y ). Proof. Quiz. Lx Y sup Lx Y = sup. x X =1 x 0 x X With the help of the operator norm defined above, one can state the Banach-Steinhaus theorem as follows, which is usually referred to as the uniformly boundedness principle: Theorem 1.15. (The Uniform Boundedness Principle) Let X be a Banach space, Y be a normed vector space, and Λ be a family of continuous linear operators from X to Y. Suppose the family Λ is pointwise bounded, i.e., then there exists a constant C such that x X, sup{ Lx } <. L < C, L Λ. Proof. By the Banach-Steinhaus theorem, Λ is an equicontinuous family. So for the bounded set E = {x X : x X = 1} in X one can find C > 0 such that In other words, L < C, for all L Λ. L(E) B Y (0, C), L Λ. Equivalently, one can state the uniform boundedness principle as Theorem 1.16 (The Resonance Theorem). Let X be a Banach space, Y be a normed vector space, and Λ be a family of continuous linear operators from X to Y. If sup L =, then x X such that sup L(x) =. 6