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

Similar documents
Real and Complex Analysis, 3rd Edition, W.Rudin Elementary Hilbert Space Theory

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

Real Analysis Notes. Thomas Goller

Math 209B Homework 2

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

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

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

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

THEOREMS, ETC., FOR MATH 515

Functional Analysis, Stein-Shakarchi Chapter 1

REAL AND COMPLEX ANALYSIS

HILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define

Problem Set 2: Solutions Math 201A: Fall 2016

MAA6617 COURSE NOTES SPRING 2014

FUNCTIONAL ANALYSIS-NORMED SPACE

CHAPTER VIII HILBERT SPACES

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

Analysis Comprehensive Exam Questions Fall 2008

3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first

1 Functional Analysis

1 Inner Product Space

Your first day at work MATH 806 (Fall 2015)

I teach myself... Hilbert spaces

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

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

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

4 Linear operators and linear functionals

1. Subspaces A subset M of Hilbert space H is a subspace of it is closed under the operation of forming linear combinations;i.e.,

Chapter 3: Baire category and open mapping theorems

Overview of normed linear spaces

David Hilbert was old and partly deaf in the nineteen thirties. Yet being a diligent

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

Real Analysis, 2nd Edition, G.B.Folland Signed Measures and Differentiation

Your first day at work MATH 806 (Fall 2015)

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

Math General Topology Fall 2012 Homework 11 Solutions

Functional Analysis Exercise Class

16 1 Basic Facts from Functional Analysis and Banach Lattices

Functional Analysis I

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

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

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

Metric Spaces and Topology

Lecture Notes in Functional Analysis

MATH MEASURE THEORY AND FOURIER ANALYSIS. Contents

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

ANALYSIS WORKSHEET II: METRIC SPACES

Real Analysis Problems

SOLUTIONS TO SOME PROBLEMS

Measurable functions are approximately nice, even if look terrible.

Examples of Dual Spaces from Measure Theory

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

MTH 404: Measure and Integration

3 (Due ). 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?

Introduction to Functional Analysis

Real Analysis. Jesse Peterson

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

MTH 503: Functional Analysis

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

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

THEOREMS, ETC., FOR MATH 516

L p Spaces and Convexity

1 Definition and Basic Properties of Compa Operator

Five Mini-Courses on Analysis

Lecture 1 Real and Complex Numbers

Lectures on Analysis John Roe

OPERATOR THEORY ON HILBERT SPACE. Class notes. John Petrovic

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?

MATHS 730 FC Lecture Notes March 5, Introduction

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

REVIEW OF ESSENTIAL MATH 346 TOPICS

CHAPTER I THE RIESZ REPRESENTATION THEOREM

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

Functional Analysis Winter 2018/2019

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

Set, functions and Euclidean space. Seungjin Han

Probability and Measure

Aliprantis, Border: Infinite-dimensional Analysis A Hitchhiker s Guide

Spectral theory for compact operators on Banach spaces

Functional Analysis HW #1

Hilbert spaces. 1. Cauchy-Schwarz-Bunyakowsky inequality

Functional Analysis. AMAT 617 University of Calgary Winter semester Lecturer: Gilad Gour Notes taken by Mark Girard.

B. Appendix B. Topological vector spaces

Elements of Positive Definite Kernel and Reproducing Kernel Hilbert Space

Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7

Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces

Spectral Theory, with an Introduction to Operator Means. William L. Green

Functional Analysis Exercise Class

LEBESGUE MEASURE AND L2 SPACE. Contents 1. Measure Spaces 1 2. Lebesgue Integration 2 3. L 2 Space 4 Acknowledgments 9 References 9

5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.

FUNCTIONAL ANALYSIS: NOTES AND PROBLEMS

Exercise Solutions to Functional Analysis

Continuous Functions on Metric Spaces

INF-SUP CONDITION FOR OPERATOR EQUATIONS

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

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

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

CHAPTER V DUAL SPACES

1 Math 241A-B Homework Problem List for F2015 and W2016

FUNCTIONAL ANALYSIS CHRISTIAN REMLING

Transcription:

Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It s standard. 3. If Y is complete, so is L(X, Y ). Proof. Let {T n } L(X, Y ) be Cauchy. If x X, then {T n x} is Cauchy in Y. Define T : X Y by T x = lim T n x which is clearly linear. Since for any 0 < ɛ < 1, there exists N = N(ɛ) N such that T m x T N x < ɛ x for all m > N and all x X. Let m, we see T x T N x ɛ x for all x X. This implies T L(X, Y ) and T T n 0. 4. T n x n T x T n (x n x) + (T n T )x. 5. If X is a normed vector space, the closure of any subspace of X is a subspace. Proof. Given M X. Given x, y M and scalars a, b, there exists x n, y n M such that x n x, y n y. By continuity of addition and scalar multiplication, M ax n + by n ax + by in X. Therefore, ax + by M. 6. Proof. We may assume e i 1 = 1 for all i. (a)(b) are easy. (c) is due to the subset { i a i = 1} is compact in R n and the map in (b) is continuous. For (d), given be a norm on X. Then for any (a 1, a n ), a i e i max{ e i } a i = max{ e i } a i e i 1 Last Modified: 2018/05/25. Department of Math., National Taiwan University. Email: d04221001@ntu.edu.tw 1

and hence is continuous on (X, 1 ) which attains a minimum on the compact set { x 1 = 1} =: B, say at u B. Since u 0, u > 0. Therefore, for any (a 1, a n ), a j e j 1 u a j e j 1 a i a j e j 1 e i = a i e i. 7. Proof. (a) By Exercise 2 and 3, L(X, X) is a Banach space. Since I T < 1, the series n (I T )n converges absolutely, and hence converges to some S L(X, X). Note that N+1 N+1 I ST = S I S(I T ) = S (I T ) j + (I T ) j S(I T ) N+1 S (I T ) j + j=0 j=0 j=1 N (I T ) j S (I T ) ɛ + ɛ I T, j=0 provided N is large enough. Therefore, I ST = 0, that is, I = ST. Similarly, I = T S. (b) Since T 1 S I T 1 S T < 1, T 1 S has an inverse R L(X, X). Since (RT 1 )S = R(T 1 S) = I and S(RT 1 ) = (T T 1 )SRT 1 = T (T 1 SR)T 1 = I, S has inverse RT 1 L(X, X). Thus for any invertible T, every element of B T 1 1(T ) is invertible. This is the second assertion. 8. Proof. Clearly, M(X) is a vector space over C. For each ν M(X), by Radon-Nikodym theorem, there is a integrable function f with respect to µ = ν r + ν i such that dν = fdµ and then d ν = f dµ. So ν (X) = ν = 0 iff f is zero µ-a.e. iff ν = 0. For each a C, aν = aν (X) = af dµ = a ν (X) = a ν. The triangle inequality is proved by the X same method with µ = µ 1 + µ 2 := ν 1,r + ν 1,i + ν 2,r + ν 2,i. Therefore, is a norm on M(X). Given ν n be a absolutely convergent series in M(X). Since for each A Σ, ν n (A) νn (A) ν n (X) = ν n <, we may define ν : Σ C by ν(a) = n ν n(a). Clearly, ν( ) = 0. If A k is a sequence of disjoint measureable sets, since by Tonelli s theorem and therefore ν n (A k ) = n n,k ν( k A k ) = n ν n (A k ) = n k ν n ( k A k ) = n Hence, ν M(X). Given X 1 X m covers X, m j=1 ( ν N ν n )(X j ) = n=1 m j=1 ν n (X j ) ν n (A k ) = k k 2 m j=1 ν n ( k A k ) ν n < ν n (A k ) = n k ν n (X j ) = ν(a k ). ν n (X) = ν n.

By Exercise 3.21, ν N n=1 ν n ν n 0 as N 0. So M(X) is complete. 9. Follow the steps stated in the hint. 10. Proof. It s easy to see is a norm. The harder part is the completeness. For k = 1. Given f n L 1 1([0, 1]) with > f n = 1 f n (x) + f n(x) dx = 0 1 0 fn (x) + f n(x) dx, by monotone convergence theorem. Hence f n and f n are integrable functions and finite a.e. Since for every x [0, 1], let a [0, 1] be the point of convergence for f n. Then n f i (x) = 1 n 1 x a f i(t) dt+f i (a) n 1 x a f i(t) dt+ f i (a) 1 0 fn (t) dt+ f n (a) <, for each n N and hence f n converges everywhere. By completeness of R, f n converges everywhere to some function f which is integrable by triangle inequality. converges a.e. to some integrable function F. Similarly, f n Next, we see that f is absolutely continuous on [0, 1] with derivative is F since for each x [0, 1], f(x) = lim n n i=1 x f i (x) = lim n 0 n f i(t) dt + i=1 n f i (0) = x i=1 0 F (t) dt + f(0). Finally, we see f i f in L 1 1([0, 1]) since by LDCT f n 1 fi = f(x) 0 n fi (x) + F (x) n f i(x) dx 0 as n. For general k N, we use mathematical induction, that is, assume it s true for L 1 k f in the above argument by f (k) to conclude that it s true for L 1 k+1. and replace 11. Proof. (a) By triangle inequality, Λ β ([0, 1]) is a vector space and is a norm. Given a Cauchy sequence {f n } Λ β, then {f n (0)} is Cauchy in C and hence there is a f(0) such that f n (0) f(0). Moreover, since for each ɛ > 0, there is N = N(ɛ) N such that for all n, m > N and for all x (0, 1], (f n f m )(x) (f n f m )(0) < ɛ x β, that is, for all x (0, 1], {f n (x) f n (0)} is Cauchy in C. Therefore, for each x [0, 1], there exists f(x) C such that f n (x) f(x). We also note that there is a constant M > 0 such that for each n N and s t, f n (s) f n (t) s t β M. 3

Then for each s t, there is some N = N(s, t) N such that f(s) f(t) f(s) f N (s) + f N (s) f N (t) + f N (t) f(t) 2 s t β + M s t β. Therefore, f Λ β. It remains to show f n f in Λ β. For each s, t [0, 1] and ɛ > 0, by Cauchy s criteria again, we can find a N = N(ɛ) such that for k, n N f k (s) f n (s) f k (t) + f n (t) ɛ s t β For each η > 0, we can find a K = K(η, s, t) > N, such that f(x) f K (x) η for x = s, or x = t. Therefore, for every n N f(s) f n (s) f(t)+f n (t) f(s) f K (s) + f K (s) f n (s) f K (t)+f n (t) + f(t) f K (t) 2η+ɛ s t β. Letting η 0, we obtain that f(s) f n (s) f(t) + f n (t) ɛ s t β for all n N(ɛ). Remark 1. It is true for the general case C k,β (U), U is connected in R d, with an almost identical proof as the above case k = 0, except we need the standard convergence theorem between {f n } and {Df n }. Remark 2. If U is a bounded connected set, then we have f f f(x) f(y) ( ) := sup f(x) + sup f diam(u) β + 1, x U x y x y β that is, and are equivalent. Proof. For α = 1, for every f λ α ([0, 1]) and x (0, 1), f (x) = 0 by definition. So f is a constant function. For α < 1, by triangle inequality, λ α is a vector subspace of Λ α. Given {f n } λ α f in Λ α. Given y [0, 1] and ɛ > 0, by picking some large N we see f(x) f(y) x y α f(x) f N(x) (f(y) f N (y)) x y α + f N(x) f N (y) x y α < ɛ 2 + f N(x) f N (y) x y α, For this fixed f N λ α, we can choose δ = δ(y, ɛ) such that the second term is less than ɛ 2 if x y < δ. Therefore, f λ α and hence λ α is closed. Since {x n } n=0 is a linearly independent set in λ α by Fundamental Theorem of Algebra and Mean-Value Theorem, λ α is infinite-dimensional. 4

12. Let X be a normed vector space and M a proper closed subspace of X. (a) x + M = inf{ x + y : y M} is a norm on X/M. (b) For any ɛ > 0 there exists x X such that x = 1 and x + M > 1 ɛ. (c) The projection map π(x) = x + M from X to X/M has norm 1. (d) If X is complete, so is X/M. (Use Theorem 5.1.) (e) The topology defined by the quotient norm is the quotient topology as defined in Exercise 28 in 4.2. Proof. (a) (i) Given a C, since M is a subspace, ax + M = a inf{ x + a 1 y : y M} = a inf{ x + z : z M} = a x + M. (ii) If x + M = 0, then given n N, there is y n M such that x + y n 1 n, and hence x + y n 0, that is, y n x. Since M is closed, x M. (iii) Given x, y X, then for any z, w M, x+y +M x+y +z +w x+z + y +w. Take infimum among all z, w M respectively, we see x + y + M x + M + y + M. (Note that our proof shows that, if M is not closed, then is a seminorm. See Exercise 14.) (b) Given ɛ > 0. Since M is proper, there is a y M and then y + M = a > 0. So 1y + M = 1, and by definition, there is some z M such that 1 1y + z 1 + 1 ɛ. So a a 2 there is some w ( 1 y + z) < ɛ and w = 1. Now w + M 1 ɛ since a 1 w + M = 1 a y + z + M w + M 1 a y + z w + M 1 y + z w ɛ. a (c) By (b), π 1. On the other hand π 1 since x + M x + 0 for all x X. (d) Given {M k } Cauchy in X/M, then we can find a subsequence {M ki } such that for all i, M ki = x i + M for some x i X and M ki+1 M ki < 2 i. Let y 1 = x 1 X such that x 1 + M = M k1, since M k1 M k2 = inf{ x 1 x 2 + z : z M} < 2 1, we can take y 2 = x 2 + w X for some w M such that y 1 y 2 < 2 0 and y 2 = x 2 + M = M k2. Inductively, we can find a sequence {y i } X such that y i y i+1 < 2 i+1 and y i + M = M ki. Since X is complete, the series y i+1 y i converges to y y 1 X for some y X, that is, n 1 y n y 1 = y i+1 y i y y 1 as n. Then y i + M y + M by (c), the continuity of projection map π. (e)??? 1 5

13. Proof. By triangle inequality, M is a subspace and the map g(x + M) = x 0 satisfies the triangle inequality. If g(x + M) = x = 0, then x = 0 and hence x + M = M. Given λ C, g(λ(x + M)) = g(λx + M) = λx = λ g(x + M). So g defines a norm on X/M. 14. Proof. 15. Suppose that X and Y are normed vector spaces and T L(X, Y ). Let N(T ) = {x X : T x = 0}. Show that (a) N(T ) is a closed subspace of X. (b) There is a unique S L(X/N(T ), Y ) such that T = S π where π : X X/M is the projection (see Exercise 12). Moreover, S = T. Proof. 16. Proof. 5.2 Linear Functionals 17. We may assume f 0. The closedness of f 1 ({0}) is due to the continuity of f. First proof. Conversely, if the proper subspace N := f 1 ({0}) is closed, then by Exercise 12 (b), there is an x X with x = 1 and x + N 1 1, that is, f(x) 0. Note that 2 X = Cx N since for each a X, a = f(a) f(a) x + (a x). f(x) f(x) So for each λx + n Cx N, λx + n = λ x + λ 1 n λ 1 2 and therefore That is, f is bounded. f(λx + n) = λ f(x) 2 f(x) λx + n. Second proof. Suppose on the contrary, for each n N, there is x n X with norm 1 such that f(x n ) > n, by multiplication by 1, we may assume f(x n ) > n. Then for each x X, we see N x f(x) f(x n) x n x. The closedness of N implies x N. This contradicts to f 0. 6

18. Proof. (a) We may assume M is a proper subspace of X. Then Hahn-Banach theorem implies that there is some f X such that f(x) 0 and f(m) = 0. Given {y n + a n x} M + Cx z in X. Then f(z) = lim n f(y n + a n x) = lim n f(x)a n. So a n f(z) f(x), a nx f(z) f(x) x, that is y n z = z f(z) x + f(z) x M + Cx. So M + Cx is closed. f(x) f(x) z f(z) x M since M is closed and therefore f(x) (b) From zero-dimensional subspace inductively use (a) to n-dimensional. Another proof is based on the continuity of the map (M, X ) a 1 x 1 + a 2 x 2 + a n x n (a 1, a n ) C n. 19. Proof. 20. Proof. 21. Proof. 22. Proof. 23. Proof. 24. Proof. 25. Proof. Let {y n} be a countable dense subset of X and x n X such that x n = 1 and y n(x n ) 1 2 y n. Let us denote by L the vector space over Q generated by {x n }, which is easy to see it s countable. Suppose L is not dense in X, then by Hahn-Banach Theorem, there is y X such that y (L) = {0} and y = 1. Then for each n N, 1 2 y n y n(x n ) = y n(x n ) y (x n ) y n y. Hence 1 = y y y n + y n 3 y n y 0 by picking a suitable subsequence, which is a contradiction. Therefore L is dense in X, that is, X is separable. 26. Proof. 5.3 The Baire Category Theorem and Its Consequences 27. Proof. Consider Cantor-like sets C k in [0, 1] with Lebesgue measure 1 1 k, then C = C k has measure 1, of the first category and its complement in [0, 1] has measure zero. Then we copy this set to each [m, m + 1] and the desired set on R is the union of them. 7

28. Proof. Part (b) is the same. For (a), given nonempty open set W in X, since X is LCH, there is a nonempty set open set B 1 such that B 1 U 1 W and B 1 is compact. Inductively, for n 2, we can find a nonempty open set B n such that B n is compact and B n U n B n 1. Note that K = B n is nonempty due to finite intersection property and K U n B n 1 U n W for all n. Thus, n U n W K. 29. Together with Exercise 30, they show the completeness assumption can NOT be dropped from Open Mapping Theorem without other restrictions. Also see Section 5.6, there is an construction to unbounded linear map X Y when X is complete (by the axiom of choice). Proof. (a) X is proper since ( 1 n 2 ) l 1 \ X. By triangle inequality, it s a subspace. The density of X is by cutting the given series. (b) T is unbounded since T e m Y = m = m e m X. Given f n f in X with T f n g in Y. Given ɛ > 0, then there is M, N N such that T f m g 1 < ɛ for all m > M and g(n) < ɛ and nf(n) < ɛ. Moreover, we can choose some m > M such that N such that f m f < ɛ/n, then T f g 1 T f T f m 1 + T f m g 1 N nf(n) nf m (n) + nf(n) + n=1 < N ɛ N + 4ɛ = 5ɛ. So T f = g in l 1. nf m (n) g(n) + g(n) + T f m g 1 (c) It s easy to see Sg(n) = 1 g(n) for all g Y. Hence S is surjective and S 1. If S is n open, then T is continuous, which contradicts to (b). 30. Proof. (a) Consider f n (x) = x + 1, then for all x [0, 1], f n n(x) x 1 n 0. But x C 1 ([0, 1]) and {f n } is Cauchy in (C 1 ([0, 1]), ) since f n f m 1 1 0. n m (b) Consider f n = x n, then (d/dx)f n Y = nx n 1 = n and f n = 1, which implies that d/dx is not bounded. The graph of d/dx is closed due to the convergence theorem between f n and f n. (For example, see Rudin [1, Theorem 7.17].) 31. Proof. 32. Open Mapping Theorem to the identity map from (X, 2 ) (X, 1 ). 33. Proof. 8

34. Proof. 35. Let X and Y be Banach spaces, T L(X, Y ), N(T ) = {x : T x = 0}, and M = range(t ). Then X/N(T ) is isomorphic to M iff M is closed. (See Exercise 15.) Proof. 36. Proof. 37. Proof. Define T : Y X by T f = f T. For each x X, we define x : X C by x(x ) = x (x). Given x X with x = 1. By Hahn-Banach theorem, there is some g Y with g = 1 such that T x = g(t x) Note that for each f Y, sup f(t x) = f Y, f =1 sup (T f)(x) = f Y, f =1 sup ( xt )(f) = x T f Y, f =1 sup x T (f) = sup f T (x) = f T <. x =1 x =1 By uniform boundedness principle, there is some M > 0 such that sup x =1 x T M. Therefore, T is bounded since for every x X with x = 1, T x x T M. 38. By uniform boundedness principle. 39. Let X, Y, Z be Banach spaces and let B : X Y Z be a separately continuous bilinear map, that is, B(x, ) L(Y, Z) for each x X and B(, y) L(X, Z) for each y Y. Then B is jointly continuous, that is, continuous from X Y to Z. Remark 3. See Rudin [3, Theorem 2.17 and Exercises 2.9-12] for the discussions around the completeness. Proof. Since for each y Y with y = 1, the linear mapb(, y) =: B y ( ) : X Z is bounded, the uniform boundedness principle implies that there is some C > 0 such that for all x X, y Y, B(x, y ) C x, that is, B(x, y) C x y. This implies the jointly y continuity since for each (x 0, y 0 ) X Y and x x 0 1, B(x, y) B(x 0, y 0 ) B(x, y y 0 ) + B(x x 0, y 0 ) C( x 0 + 1) y y 0 + C x x 0 y 0. 9

40. Proof. 41. Proof. 42. Proof. 5.4 Topological Vector Spaces 43. Proof. 44. Proof. 45. Proof. 46. Proof. 47. Proof. 48. Proof. 49. Proof. 50. Proof. 51. Proof. 52. Proof. 53. Proof. 5.5 Hilbert Spaces 54. Proof. 55. Proof. (a) Direct computation. (b) (i) it s clear that isometry injectivity. The inner product structure is preserved due to (a). (ii) By definition, unitary surjectivity. It s proved to be an isometry by taking x = y in the definition. 56. Proof. It s easy to see E (E ) and the latter is a closed subspace of H. Given F be a closed subspace containing E, then F E and hence (E ) (F ). Since F is closed, H = F F. Given z (F ), z = x + y with x F and y F. Since 0 = (z, y) = (y, y), y = 0. Hence (E ) (F ) F. 10

57. Proof. (a) For each y H, we define the linear functional on H by x T x, y which is bounded by T y H. By Theorem 5.25, there exists a unique z H with z H T y H such that T x, y = x, z for all x H. Define T by y z, then T is linear and bounded by T. (b) Note that T x, y = y, T x = T y, x = x, T y for all x, y H. By (a) T = T and T T. Now it s easy to see T T T T = T 2. On the other hand, for each x H, T x 2 = T T x, x T T x 2, so T T T 1/2 since T x T T 1/2 x. The rest follow by definition easily. (c) z R(T ) z, T x = 0 for all x H T z, x = 0 for all x H T z = 0 z N (T ). Then N (T ) = N (T ) = (R(T ) ) = R(T ) by Exercise 56. (d) By definition, T is unitary T is invertible. Moreover T x, y = T x, T T 1 y = x, T 1 y for all x, y H, which implies T 1 = T by (a). Conversely, if T is invertible and T 1 = T, then T x, T y = x, T T y = x, T 1 T y = x, y for all x, y H. 58. Proof. By Theorem 5.24, the closedness of M implies P is well-defined. (a) By definition, we can see P is linear easily. Pythagorean Theorem, P is bounded since for each x H, by P x 2 P x 2 + x P x 2 = P x + x P x 2 = x 2. P = P since for each x, y H, P x, y = P x, y P y + P y = x x + P x, P y = x, P y. P 2 = P since for each x, y H, P 2 x, y = P x, P y = P x, P y y + y = P x, y. By definition, R(P ) M. R(P ) M since for each x M, P x = x since x x = 0 M. Finally, by Exercise 57(c), N (P ) = N (P ) = R(P ) = M. (b) Since 0 = P 2 P = (P I)P, R(P ) = N (P I) which is closed since P I is bounded. If x H, then since 0 = P (I P ), x P x N (P ) = N (P ) = R(P ). Therefore, P is the orthogonal projection onto R(P ). (c) Let x H. By Bessel s inequality and closedness of M, α A x, u α u α is well-defined and belongs to M. Given y M, there exist an index set {i} := I A and a i C \ {0} such that y = a i u i, then x x, u α u α, y = α A i I a i x x, u α u α, u i = α A i I a i ( x, u i x, u i ) = 0. Therefore, x α A x, u α u α M and hence P x = α A x, u α u α. 11

59. Proof. Existence of minimizer is proved by the same argument in Theorem 5.24 with a notice that 1 2 (y n + y m ) K due to the convexity of K. To show the uniqueness, let x, y K both with minimal norm d, then since 1 (x + y) K, 2 x y 2 = 2 x 2 + 2 y 2 x + y 2 = 4d 2 4 1 2 (x + y) 2 4d 2 4d 2 = 0. Remark 4. Without convexity, we see an example for closed, nonempty set without minimal norm element is E = { n+1e n n} where e n (i) = δn, i the Kronecker delta. On the other hand, the existence and uniqueness assertions in this theorem are not true for every Banach spaces, see Rudin [2, Exercise 5.4-5]. 60. Proof. 61. Proof. 62. Proof. 63. Proof. (a) By Riesz Representation Theorem (Theorem 5.25, p.174) and Bessel s inequality. (b) Given x B, construct an orthonormal sequence {u n } such that u n x for all n.(for x 0, use Gram-Schmidt with u 0 = x x.) Set a = 1 x 2 and x n = au n +x, then x n = 1 and {x n x} is an orthonormal set. By Bessel s inequality, y, x n x 2 = n n x n x 2 y, x n x x n x 2 n ( x n + x ) 2 y, x n x x n x 2 4 y 2 and hence lim y, x n x = 0 for all y H. This implies the desired result. 64. Proof. 65. Proof. 66. Proof. 67. Proof. References [1] Walter Rudin. Principles of Mathematical Analysis, volume 3. McGraw-Hill New York, 3rd edition, 1976. 12

[2] Walter Rudin. Real and Complex Analysis. Tata McGraw-Hill Education, 3rd edition, 1987. [3] Walter Rudin. Functional analysis. McGraw-Hill, Inc., New York, 2nd edition, 1991. 13