Math 702 Problem Set 10 Solutions

Similar documents
Math 413/513 Chapter 6 (from Friedberg, Insel, & Spence)

Functional Analysis: Assignment Set # 3 Spring 2009 Professor: Fengbo Hang February 25, 2009

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

2.4 Hilbert Spaces. Outline

Inner products. Theorem (basic properties): Given vectors u, v, w in an inner product space V, and a scalar k, the following properties hold:

LECTURE 7. k=1 (, v k)u k. Moreover r

Math Linear Algebra II. 1. Inner Products and Norms

Chapter 8 Integral Operators

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.,

Inner Product Spaces

2.4 Annihilators, Complemented Subspaces

Fall TMA4145 Linear Methods. Solutions to exercise set 9. 1 Let X be a Hilbert space and T a bounded linear operator on X.

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

3 Compact Operators, Generalized Inverse, Best- Approximate Solution

x 3y 2z = 6 1.2) 2x 4y 3z = 8 3x + 6y + 8z = 5 x + 3y 2z + 5t = 4 1.5) 2x + 8y z + 9t = 9 3x + 5y 12z + 17t = 7

Chapter 1. Preliminaries. The purpose of this chapter is to provide some basic background information. Linear Space. Hilbert Space.

LEARNING OBJECTIVES FOR THIS CHAPTER

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

CHAPTER VIII HILBERT SPACES

Analysis Preliminary Exam Workshop: Hilbert Spaces

1 Functional Analysis

Functional Analysis Exercise Class

I teach myself... Hilbert spaces

Math 24 Spring 2012 Sample Homework Solutions Week 8

SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS

Hilbert spaces. 1. Cauchy-Schwarz-Bunyakowsky inequality

1. General Vector Spaces

Projection Theorem 1

Numerical Linear Algebra

Real Analysis Qualifying Exam May 14th 2016

Recall that any inner product space V has an associated norm defined by

Exercise Solutions to Functional Analysis

Elementary linear algebra

Real Variables # 10 : Hilbert Spaces II

Hilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space.

1 Definition and Basic Properties of Compa Operator

Overview of normed linear spaces

Chapter 7: Bounded Operators in Hilbert Spaces

Chapter 5. Basics of Euclidean Geometry

Math Real Analysis II

October 25, 2013 INNER PRODUCT SPACES

Orthogonal Projection and Least Squares Prof. Philip Pennance 1 -Version: December 12, 2016

Analysis Comprehensive Exam Questions Fall 2008

MATH 115A: SAMPLE FINAL SOLUTIONS

Linear Algebra. Session 12

Introduction to Signal Spaces

ECON 7335 INFORMATION, LEARNING AND EXPECTATIONS IN MACRO LECTURE 1: BASICS. 1. Bayes Rule. p(b j A)p(A) p(b)

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

15B. Isometries and Functionals 1

Recall: Dot product on R 2 : u v = (u 1, u 2 ) (v 1, v 2 ) = u 1 v 1 + u 2 v 2, u u = u u 2 2 = u 2. Geometric Meaning:

GQE ALGEBRA PROBLEMS

Infinite-dimensional Vector Spaces and Sequences

1 Inner Product Space

REAL ANALYSIS II HOMEWORK 3. Conway, Page 49

Theorem (4.11). Let M be a closed subspace of a Hilbert space H. For any x, y E, the parallelogram law applied to x/2 and y/2 gives.

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

Functional Analysis Exercise Class

The following definition is fundamental.

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

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

OPERATOR THEORY ON HILBERT SPACE. Class notes. John Petrovic

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

MAT Linear Algebra Collection of sample exams

Elements of Positive Definite Kernel and Reproducing Kernel Hilbert Space

4 Linear operators and linear functionals

Your first day at work MATH 806 (Fall 2015)

4.6. Linear Operators on Hilbert Spaces

Math 250B Midterm II Information Spring 2019 SOLUTIONS TO PRACTICE PROBLEMS

INF-SUP CONDITION FOR OPERATOR EQUATIONS

Functional Analysis I

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

Linear Algebra Massoud Malek

Vector Spaces. Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms.

Exercise Sheet 1.

C.6 Adjoints for Operators on Hilbert Spaces

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

Vectors in Function Spaces

LINEAR ALGEBRA W W L CHEN

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

THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS

Applications of Homotopy

Functional Analysis, Math 7321 Lecture Notes from April 04, 2017 taken by Chandi Bhandari

Implicit Functions, Curves and Surfaces

Math 113 Final Exam: Solutions

be the set of complex valued 2π-periodic functions f on R such that

Lecture Notes in Functional Analysis

INNER PRODUCT SPACE. Definition 1

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

Mathematics Department Stanford University Math 61CM/DM Inner products

THE PROBLEMS FOR THE SECOND TEST FOR BRIEF SOLUTIONS

MTH 503: Functional Analysis

Math 4310 Solutions to homework 7 Due 10/27/16

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

( sin(t), cos(t), 1) dt =

ADJOINTS, ABSOLUTE VALUES AND POLAR DECOMPOSITIONS

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

Linear Models Review

Chapter 4 Euclid Space

2. Review of Linear Algebra

ADVANCED TOPICS IN ALGEBRAIC GEOMETRY

Transcription:

Math 70 Problem Set 0 Solutions Unless otherwise stated, X is a complex Hilbert space with the inner product h; i the induced norm k k. The null-space range of a linear map T W X! X are denoted by N.T / R.T /. Problem. This exercise proves a family of polarization identities in inner product spaces. (i) Let D e i=n, where n is an integer. Show that ( nx kj if j D 0 D n 0 if j n : kd If j D 0 we have kj D for every k the result is immediate. If j n, then j the geometric sum formula gives nx kj D.nC/j j D 0 j kd since.nc/j D nj j D j. (ii) Use (i) to show that for every x; y in an inner product space, hx; yi D nx kx C k yk k n provided that n 3. The expansion shows that kd kx C k yk D hx C k y; x C k yi D kxk C kyk C k hy; xi C k hx; yi kx C k yk k D.kxk C kyk / k C k hy; xi C hx; yi: Averaging over k n, the first second terms vanish by part (i) (here we use the condition n 3), while the third term gives hx; yi (iii) Prove the following continuous version of the above identity: hx; yi D Z 0 kx C e it yk e it dt: This can be obtained from (ii) by letting n! since the average in (ii) is a Riemann sum approximation of the above integral average. It can also be proved directly as

follows: The expansion shows that kx C e it yk D hx C e it y; x C e it yi D kxk C kyk C e it hy; xi C e it hx; yi kx C e it yk e it D.kxk C kyk / e it C e it hy; xi C hx; yi: Averaging over 0 t, the first second term clearly vanish, while the third term gives hx; yi. Problem. Assuming Y is a closed subspace of X, prove the following statements: (i).y? /? D Y. If y Y, then hy; zi D 0 for every z Y?, so y.y? /?. This proves Y.Y? /?. The orthogonal decompositions X D Y? Y D Y?.Y? /? show that Y cannot be a proper subspace of.y? /?. (ii) The natural map Y?! X=Y given by z 7! z C Y is an isometric isomorphism (recall that the norm on X=Y is defined by kx C Y k D inf yy kx C yk). Recall that every x X can be written uniquely as P.x/ C Q.x/ where P.x/ Y Q.x/ Y?. Moreover, P.x/; Q.x/ are the nearest points of Y; Y? to x. Let us denote the natural map Y?! X=Y by. If.z/ D Y for some z Y?, then z Y \ Y?, so z D 0, showing is injective. Moreover, for every x X, x C Y D Q.x/ C Y D.Q.x//; which shows is surjective. Finally, since P.z/ D 0 Q.z/ D z whenever z Y?, k.z/k D kz C Y k D distance from z to Y D kq.z/k D kzk; so is an isometry. (iii) If x X, () min kx yk W y Y D max jhx; zij W z Y? ; kzk D : Let us assume x Y, the result being trivial otherwise. Consider the orthogonal projections P; Q as above. Then the left side of () is kq.x/k. For every z Y? with kzk D, the Cauchy-Schwarz inequality shows that jhx; zij D jhp.x/; zi C hq.x/; zij D jhq.x/; zij kq.x/k; with equality iff z D Q.x/=kQ.x/k (notice that Q.x/ 0 since x Y ). It follows that the right side of () is also kq.x/k.

Comment. The quantity in () can also be interpreted as the operator norm of the functional z 7! hz; xi on Y?. Problem 3. Suppose f is a non-zero bounded linear functional on X. Prove the following statements: (i).ker f /? has dimension. According to Riesz, f.x/ D hx; ai for some non-zero a X. Hence ker f D Y?, where Y is the subspace of X spanned by a. It follows from problem (i) that.ker f /? D.Y? /? D Y is -dimensional. (ii) ker f D ker g for a bounded linear functional g if only if f D g for some scalar. If f D g for some (necessarily non-zero), then clearly ker f D ker g. Conversely, suppose ker f D ker g. Then g is not identically zero, so g.x/ D hx; bi for some non-zero b X. If Z is the subspace of X generated by b, it follows from (i) that Z D.ker g/? D.ker f /? D Y; so a D cb for some scalar c. Thus, f D g, where D c. Comment. The results of this problem hold more generally in any vector space if (i) is formulated appropriately. If f is a non-zero linear functional on a vector space X, then X=.ker f / is -dimensional. To see this, choose x 0 X such that f.x 0 / 0. For every x X there is a scalar c such that f.x/ D cf.x 0 /. Then f.x cx 0 / D 0 H) x cx 0 ker f H) x C ker f D c.x 0 C ker f /: This shows X=.ker f / is spanned by x 0 C ker f. If ker f D ker g, choose x 0 as above set D f.x 0 /=g.x 0 /. For every x X there is a c such that x cx 0 ker f D ker g, so This proves f D g. f.x/ D cf.x 0 / D cg.x 0 / D g.x/: Problem 4. Take advantage of the fact that L Œ ; is a Hilbert space to compute 3 min a;b;cc max g jx 3 a bx cx j dx ˇ x 3 ˇ g.x/ dxˇ;

4 where g L Π; is subject to the restrictions g.x/ dx D xg.x/ dx D x g.x/ dx D 0 jg.x/j dx D : Let Y be the subspace of L Π; spanned by f; x; x g. As a finite dimensional subspace, Y is closed. By the orthogonal decomposition theorem, L Π; D Y Y? the above minimum is achieved when a C bx C cx is the orthogonal projection P.f / of f.x/ D x 3 onto Y. This projection can be computed once we have an orthonormal basis fu ; u ; u 3 g for Y. Applying the Gram-Schmidt process to f; x; x g, we obtain such a basis: v D u D v kv k D p v D x hx; u i u D x u D v p 3 D p x kv k Z x dx D x v 3 D x hx ; u i u hx ; u i u D x u 3 D v 3 kv 3 k D x 3 dx x p 5 p.3x /: 8 x 3 dx D x 3 We compute the Fourier coefficients of f with respect to fu ; u ; u 3 g: hf; u i D p x 3 dx D 0 p Z 3 p 6 hf; u i D p x 4 dx D 5 p Z 5 hf; u 3 i D p x 3.3x / dx D 0: 8 Thus, P.f / D hf; u i u C hf; u i u C hf; u 3 i u 3 D 3 5 x min jx 3 a bx cx j dx D x 3 3 a;b;cc 5 x 8 dx D 75 :

The maximization problem amounts to finding max jhx 3 ; gij W g Y? ; kgk D : By problem (ii), this is the same as kf P.f /k D kq.f /k D p 8= p 75, is achieved when g.x/ D Q.f / p 75 D p x 3 3 kq.f /k 8 5 x : Comment. Alternatively, we could have found the projection P.f / rather easier by noting that Q.f / D x 3 a bx cx is orthogonal to ; x; x. This would give 0 D hq.f /; i D 0 D hq.f /; xi D 0 D hq.f /; x i D.x 3 a bx cx / dx D a.x 4 ax bx cx 3 / dx D 5 3 c 3 b.x 5 ax bx 3 cx 4 / dx D a c; 3 5 or a D c D 0, b D 3=5, showing as before P.f / D 3x=5. Problem 5. Let T W X! X be a bounded linear map. (i) Show that there is a unique bounded linear map T W X! X, called the adjoint of T, which satisfies () ht.x/; yi D hx; T.y/i for every x; y X. For each y Y, the assignment x 7! ht.x/; yi is clearly a bounded linear functional on X. According to Riesz, there is a unique vector T.y/ X for which this functional is expressed as x 7! hx; T.y/i. This proves the existence uniqueness of a map T W X! X satisfying (). Since hx; T. y C z/i D ht.x/; y C zi for all x; y; z X C, we have D ht.x/; yi C ht.x/; zi D hx; T.y/i C hx; T.z/i D hx; T.y/ C T.z/i T. y C z/ D T.y/ C T.z/; so T is linear. By the Cauchy-Schwarz inequality, jhx; T.y/ij D jht.x/; yij kt.x/k kyk kt k kxk kyk 5

6 for every x; y. Setting x D T.y/ then gives kt.y/k kt k kt.y/k kyk or kt.y/k kt k kyk for every y. This shows T is bounded kt k kt k. (ii) Verify the relations kt k D kt k kt T k D kt T k D kt k : By what we have seen above, kt k kt k. Since.T / D T, we also have kt k D k.t / k kt k. Hence, kt k D kt k. Next, for every x X, kt.x/k D ht.x/; T.x/i D hx;.t T /.x/i kxk k.t T /.x/k kt T k kxk ; which shows The reverse inequality holds since Finally, by what we just proved, kt k kt T k: kt T k kt k kt k D kt k : kt T k D k.t / T k D kt k D kt k : (iii) Show that N.T / D R.T /? N.T / D R.T /?. These are straightforward from the definition: y N.T / T.y/ D 0 hx; T.y/i D 0 for every x X ht.x/; yi D 0 for every x X y R.T /? x N.T / T.x/ D 0 ht.x/; yi D 0 for every y X hx; T.y/i D 0 for every y X x R.T /? : Problem 6. (i) Let Y be a closed subspace of X P W X! X be the orthogonal projection onto Y (so R.P / D Y N.P / D Y? ). Show that P D P D P kp k D. Clearly, P.x/ D x if x Y, so P.P.x// D P.x/ for all x X. This shows P D P.

On the other h, if x; y X, write x D P.x/ C Q.x/ y D P.y/ C Q.y/ notice that This proves P D P. hp.x/; yi D hp.x/; P.y/ C Q.y/i D hp.x/; P.y/i D hp.x/ C Q.x/; P.y/i D hx; P.y/i: Finally, by the Pythagorean theorem, kxk D kp.x/k C kq.x/k. So kp.x/k kxk with equality iff x Y. This shows kp k D. (We need to assume Y f0g for the last conclusion.) (ii) Let P W X! X be a bounded linear map such that P D P D P. Show that R.P / is a closed subspace of X P is the orthogonal projection onto R.P /. First notice that if y D P.x/ R.P /, then y D P.x/ D P.x/ D P.y/. Conversely, if y D P.y/, then clearly y R.P /. Thus, R.P / is precisely the kernel of the continuous linear map P I. As such, it must be a closed subspace of X. Next, let W X! X be the orthogonal projection onto R.P /. By what we have just seen, P D D I on R.P /. Also, by problem 5(iii), R.P /? D N.P / D N.P /, so P D D 0 on R.P /?. Since X D R.P / R.P /?, it follows that P D on X. Problem 7. (Bonus) Suppose T W X! X is linear ht.x/; yi D hx; T.y/i for every x; y X. Show that T is bounded (hence T D T ). By the closed graph theorem, it suffices to check that if fx n g is a sequence in X, if x n! a, if T.x n /! b, then b D T.a/. But this is easy: Letting n! in the relation ht.x n /; xi D hx n ; T.x/i using continuity of the inner product, we obtain for every x X. This shows b b T.a/ D 0, as required. hb; xi D ha; T.x/i D ht.a/; xi T.a/ is orthogonal to every vector in X. Hence, Comment. This statement, known as the Hellinger-Toeplitz theorem, is one of the oldest results in functional analysis (proved in 90). It shows that one cannot define an unbounded symmetric operator on a Hilbert space, an obstruction that had troubling implications for the mathematical formulation of quantum mechanics in its early days. 7