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

Similar documents
Functional Analysis MATH and MATH M6202

Overview of normed linear spaces

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES

Problem Set 1: Solutions Math 201A: Fall Problem 1. Let (X, d) be a metric space. (a) Prove the reverse triangle inequality: for every x, y, z X

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

Real Analysis Notes. Thomas Goller

Problem Set 2: Solutions Math 201A: Fall 2016

MATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:

Selçuk Demir WS 2017 Functional Analysis Homework Sheet

MATH 426, TOPOLOGY. p 1.

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

Math 328 Course Notes

Problem Set 6: Solutions Math 201A: Fall a n x n,

Immerse Metric Space Homework

Lecture 4 Lebesgue spaces and inequalities

Linear Analysis Lecture 5

Math 209B Homework 2

Linear Normed Spaces (cont.) Inner Product Spaces

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

Measure and Integration: Solutions of CW2

Tools from Lebesgue integration

MAS3706 Topology. Revision Lectures, May I do not answer enquiries as to what material will be in the exam.

Functional Analysis Exercise Class

5 Compact linear operators

Definition 6.1. A metric space (X, d) is complete if every Cauchy sequence tends to a limit in X.

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

MAT 771 FUNCTIONAL ANALYSIS HOMEWORK 3. (1) Let V be the vector space of all bounded or unbounded sequences of complex numbers.

Lecture 4: Completion of a Metric Space

It follows from the above inequalities that for c C 1

Continuity. Matt Rosenzweig

7 Complete metric spaces and function spaces

B. Appendix B. Topological vector spaces

It follows from the above inequalities that for c C 1

Mathematical foundations - linear algebra

Homework If the inverse T 1 of a closed linear operator exists, show that T 1 is a closed linear operator.

Problem Set 5: Solutions Math 201A: Fall 2016

Metric Spaces and Topology

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

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

Lecture 3. Econ August 12

Notes for Functional Analysis

Math General Topology Fall 2012 Homework 11 Solutions

Your first day at work MATH 806 (Fall 2015)

CHAPTER 1. Metric Spaces. 1. Definition and examples

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

Functional Analysis Exercise Class

Prof. M. Saha Professor of Mathematics The University of Burdwan West Bengal, India

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

Exercise Solutions to Functional Analysis

FUNCTIONAL ANALYSIS HAHN-BANACH THEOREM. F (m 2 ) + α m 2 + x 0

Chapter 2. Metric Spaces. 2.1 Metric Spaces

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

A FIXED POINT THEOREM FOR GENERALIZED NONEXPANSIVE MULTIVALUED MAPPINGS

Hilbert Spaces. Contents

3 Orthogonality and Fourier series

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li

Characterisation of Accumulation Points. Convergence in Metric Spaces. Characterisation of Closed Sets. Characterisation of Closed Sets

FUNCTIONAL ANALYSIS-NORMED SPACE

CLASSICAL PROBABILITY MODES OF CONVERGENCE AND INEQUALITIES

Math General Topology Fall 2012 Homework 1 Solutions

Notes for Functional Analysis

4.4 Uniform Convergence of Sequences of Functions and the Derivative

Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differenti. equations.

Combinatorics in Banach space theory Lecture 12

ASYMPTOTICALLY NONEXPANSIVE MAPPINGS IN MODULAR FUNCTION SPACES ABSTRACT

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance

Filters in Analysis and Topology

Problem set 5, Real Analysis I, Spring, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, 1 x (log 1/ x ) 2 dx 1

Econ Lecture 3. Outline. 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define

SPACES: FROM ANALYSIS TO GEOMETRY AND BACK

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

Functional Analysis Exercise Class

Lectures on Analysis John Roe

Math 320-2: Midterm 2 Practice Solutions Northwestern University, Winter 2015

Your first day at work MATH 806 (Fall 2015)

Solutions Final Exam May. 14, 2014

1 Basics of vector space

MAT 544 Problem Set 2 Solutions

COMPLETION OF A METRIC SPACE

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

Continuous Functions on Metric Spaces

Mathematics Department Stanford University Math 61CM/DM Inner products

Lecture Notes on Metric Spaces

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

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N

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

Probability and Measure

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

16 1 Basic Facts from Functional Analysis and Banach Lattices

ANALYSIS WORKSHEET II: METRIC SPACES

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

Introduction to Real Analysis Alternative Chapter 1

Some topics in analysis related to Banach algebras, 2

MATH 202B - Problem Set 5

Uniform Convergence and Uniform Continuity in Generalized Metric Spaces

2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space.

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis

NOTES ON BARNSLEY FERN

Geometry and topology of continuous best and near best approximations

Transcription:

Functional Analysis, Math 7320 Lecture Notes from August 30 2016 taken by Yaofeng Su 1 Essentials of Topology 1.1 Continuity Next we recall a stronger notion of continuity: 1.1.1 Definition. Let (X, d X ), (Y, d Y ) be metric spaces, A map f : X Y is called uniformly continuous, if ɛ > 0, δ > 0, for all p, q X, d X (p, q) < δ, we have d Y (f(p), f(q)) < ɛ. 1.1.2 Theorem. Let X, Y be normed spaces, and d X, d Y are the metric induced by the norm of X, Y, If A : X Y is linear continuous map, then A is uniformly continuous. Proof. Two steps to verify uniform continuity: (1) Since A is continuous at 0, we have ɛ > 0 δ > 0, s.th. p X, d X (p, 0) < δ, d Y (A(p), 0) < ɛ. (2) We use this to prove uniform continuity: Let ɛ > 0 be given and choose δ > 0 as in (1), then p, q X, d X (p, q) < δ, we have z = p q satisfies d X (z, 0) < δ, d Y (A(z), 0) < ɛ. Now using the linearity of A gives d Y (A(p), A(q)) = A(p q) Y = d Y (A(p q), 0) < ɛ A is uniformly continuous. 1

Next we make precise in which way vector space and norm structures are compatible: 1.1.3 Lemma. Let X, Y be norm space, then (x, y) X Y = x X + y Y is a norm. Proof. We verify three properties of norm: (1) Verify positive definiteness: (x, y) X Y = x X + y Y = 0, implies by x X 0 and y Y 0 and the positive definiteness of the norms on X and Y x = 0, y = 0. (x, y) = 0. (2) Verify scaling property from the homogeneity of the norms on X and Y : λ(x, y) X Y = λx X + λy Y = λ ( x X + y Y ) = λ (x, y) X Y. λ(x, y) X Y = λ (x, y) X Y. (3) Verify triangle inequality from that of the norms on X and Y : (x, y)+(p, q) X Y = x+p X + y+q Y x X + p X + y Y + q Y = (x, y) X Y + (p, q) X Y. (x, y) + (p, q) X Y (x, y) X Y + (p, q) X Y. this completes the proof. 1.1.4 Theorem. Let (X,. ) be a norm space, then f : X X X, (x, y) x+y is uniformly continuous. Scalar product: : K X X : (λ, x) λx is continuous but not uniformly continuous. Proof. We prove this three statements: (1) Since For ɛ > 0, let δ = ɛ > 0, then x, p X, y, q Y, with (x, y) (p, q) X Y = x p X + y q Y < δ, we have f is uniformly continuous. (x + y) (p + q) X Y x p X + y q Y < δ = ɛ. 2

(2) Since it is in metric space, we only need to verify the sequence convergence: let λ n, λ 0 K, x n, x 0 X, with x n x 0, λ n λ 0. by convergence of x n, we have for ɛ = 1, n 0 > 0 s.th. n > n 0, x n x 0 1. n > n 0, x n x n x 0 + x 0 1 + x 0. Hence, we can set K = max{ x n, x 0 + 1, n n 0 }, then by convergence of λ n, x n, we have ɛ, n 1 N s.th. n > n 1, λ n λ 0 ɛ/2k. and ɛ, n 2 > n 1, n > n 2, x n x 0 ɛ/2( λ 0 + 1). ɛ, n 2, n > n 2, λ n x n λ 0 x 0 (λ n λ 0 ) x n + λ 0 (x n x 0 ) ɛ/2 + ɛ/2 = ɛ. this completes the proof. (3) Scalar product is not uniform. Assume this were the case, then for a given ɛ > 0, there would be δ > 0 such that any pair of points at distance at most δ would be mapped to a pair at a distance at most ɛ. Take x 0 a non zero element, and let ɛ = 2 x 0. Then take λ 1,n = n, λ 2,n = n + 1/n, x 1,n = nx 0, x 2,n = nx 0, then (λ 1,n, x 1,n ) (λ 2,n, x 2,n )) = 1/n 0, which becomes smaller than any δ > 0 but for any n λ 1,n x 1,n λ 2,n x 2,n = x 0 and hence λ 1,n x 1,n λ 2,n x 2,n = x 0 > ɛ. By contradiction, the scalar product is not uniformly continuous. 1.2 Completeness Next we talk about completeness: 1.2.5 Definition. Let (X, τ) be topological space, (x n ) n N X, we say x n x in X, if for each U U x (neighourhood of x), n 0 N s.t. n n 0, x n U. 1.2.6 Remark. For metric spaces, this implies the usual form of convergence: ɛ, n 0 N, n n 0, d(x n, x) < ɛ. 3

For metric space, we will have a weaker notion of convergence called Cauchy property. 1.2.7 Definition. Let (X, d) be metric space, a sequence (x n ) n N is called Cauchy sequence if: ɛ, n 0 N, n, m n 0, d(x n, x m ) ɛ. 1.2.8 Remark. A convergence sequence is Cauchy by triangle inequality: if ɛ, n 0, n > n 0, d(x n, x) < ɛ/2. then ɛ, n 0, m, n > n 0, d(x n, x m ) d(x n, x) + d(x m, x) < ɛ/2 + ɛ/2 = ɛ. but converse is not true for me spacex like open interval equipped with usual metric. 1.2.9 Definition. (X, d) be metric space is called complete if each Cauchy sequence converges in X. A complete normed space is called Banach Space. 1.2.10 Remark. A subset of a complete metric space is completeness iff it is closed(sees next lemma for proof). 1.2.11 Lemma. Let (X, d) be complete metric space and Y X, then (Y, d) is complete iff Y is closed in X Proof. We prove it by two steps: (1) if Y is a closed in X, cauchy sequence (x n ) n N Y. Since X is complete, Since Y is closed, the limit Y is complete. (x n ) n N X. x X, x n x. x Y. (2) Assume Y is complete and take any x Y. Then there is a sequence (x n ) n N in Y such that x n x X Since this sequence converges in X, then then ɛ, n 0 N, n n 0, d(x n, x) ɛ/2. ɛ, n 0 N, n, m n 0, d(x n, x m ) d(x m, x) + d(x n, x) ɛ. this sequence is al cauchy in Y. So it is Cauchy in Y and by the completeness of Y, it converges in Y to the limit x Y. Thus the limit x Y, Y is closed. 4

1.2.12 Example. We give me concrete examples: (a) K = Cor R are complete metric space. (b) Q R is not complete. (c) (K n,. p ), 1 p is Banach space. (d) l p, 1 p with norm x p = ( x p ) 1/p is a Banach Space as well as c 0 l (e) Bounded function space B(X, K) is a Banach Space equipped with.. (f) if X is a norm space, Y is Banach Space, then B(X, Y ) is Banach Space with the operator norm. Proof. Now we prove all of them: (a) For number field K like C, R, since C = R 2, it deduced to the case of R, but I do not how to prove R is complete because R is originally defined as the equivalence class of cauchy sequence in Q, that is, R is defined as the completeness of Q. (b) We prove that Q is not closed in R. Every irrational number can be expressed as binary form: x = a i /2 i, a i = 0/1. consider the finite term: x n = n a i /2 i, a i = 0/1. we note that x n x and x n Q, which complete the proof. (c) This is special case of (d), we turn to (d) first. (How is (c) embedded in (d)?) You need to use that it is a closed subset to relegate it to (d). (d) For p <, first we prove it is a norm space. (1) if x p = ( x n,) p 1/p = 0, then n, x n = 0, x = 0. (2) λx p = ( λx n,) p 1/p = λ x p. (3) by Minkowskii inequality, x + y p = ( x n, + y n, p ) 1/p ( x n, p ) 1/p + ( y n, p ) 1/p = x p + y p. 5

this complete the proof of norm properties. We turn to completeness: let (x n ) n N l p is a cauchy sequence, that is: for each, we have ɛ > 0, n 0 N, n, m n 0, ( x n, x m, p ) 1/p < ɛ/2. ɛ > 0, n 0 N, n, m n 0, ( x n, x m, p ) 1/p < ɛ/2. that is, for each, (x n, ) n N is cauchy sequence. For fixed n n 0, we apply Fatou lemma to when m, ( x n, y p ) 1/p = ( y, x n, y. ( x n, x m, p ) 1/p < ɛ. lim m x n, x m, ) p 1/p lim m ( x n, x m, p ) 1/p ɛ/2. that is ɛ > 0, n 0 N, n n 0, ( x n, y p ) 1/p ɛ/2 < ɛ. Moreover, by Minkowski s inequality: ( y p ) 1/p ( x n0, y p ) 1/p + ( x n0, p ) 1/p < ɛ + ( x n0, p ) 1/p <. y l p. Thus, we have shown in l p, x n y. This complete the proof of completeness for case p <. A similar proof can be applied to the case when p = : For p =, first we prove it is a norm space. (1) if x = sup n x n = 0, then n, x n = 0, x = 0. (2) λx = sup n λx n = λ x. 6

(3) triangle inequality: x + y = sup n x n + y n sup n this complete the proof of norm properties. We turn to completeness: let (x n ) n N l is a cauchy sequence, that is: for each, we have x n + sup y n = x + y n ɛ > 0, n 0 N, n, m n 0, sup x n, x m, < ɛ/2. ɛ > 0, n 0 N, n, m n 0, x n, x m, < ɛ/2. that is, for each, (x n, ) n N is cauchy sequence. For fixed n n 0, we let m, that is y, x n, y. ɛ, n 0, n > n 0,, x n, y = lim m x n, x m, ɛ/2 < ɛ. Moreover, by triangular inequality: y l. sup ɛ > 0, n 0 N, n n 0, sup x n, y ɛ/2 < ɛ. y sup Thus, we have shown in l, x n0, y + sup x n y. This complete the proof of completeness for case p =. l is al complete. c 0 is closed with respect to the norm in l : Assume a sequence in c 0 and a limit in l that is x n x. x n0, < ɛ + sup x n0, <. ɛ, n 0, n > n 0,, x n, x < ɛ/2. Fix n n 0 then letting, we have by lim x n, = 0 that lim x = lim x n, x ɛ/2 < ɛ. 7

x c 0, that is c 0 is a closed space in l. Consequently, c 0 is al Banach Space. Returning to (c), consider K n l p i.e. K n = {x l p : x = 0, n + 1}. assume in l p, we have x n K n x, that is: ɛ > 0, n 0 N, n, m n 0, ( x n, x p ) 1/p < ɛ/2. then we have: ɛ > 0, n 0 N, n, m n 0, ( x p ) 1/p = ( x n, x p ) 1/p < ɛ/2. n+1 n+1 that means: x = 0, n + 1. x K n i.e. K n is closed subspace in l p, K n is complete. 8