Homework Assignment #5 Due Wednesday, March 3rd.

Similar documents
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

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

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

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

Math 426 Homework 4 Due 3 November 2017

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

B. Appendix B. Topological vector spaces

Your first day at work MATH 806 (Fall 2015)

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

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

E.7 Alaoglu s Theorem

CHAPTER V DUAL SPACES

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

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

Chapter 3: Baire category and open mapping theorems

Banach Spaces II: Elementary Banach Space Theory

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

Problem Set 2: Solutions Math 201A: Fall 2016

Convex Analysis and Economic Theory Winter 2018

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

CHAPTER VIII HILBERT SPACES

An introduction to some aspects of functional analysis

Exercise Solutions to Functional Analysis

Analysis Preliminary Exam Workshop: Hilbert Spaces

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

Honours Analysis III

Projection Theorem 1

Functional Analysis I

Hilbert spaces. 1. Cauchy-Schwarz-Bunyakowsky inequality

Eberlein-Šmulian theorem and some of its applications

Chapter 2 Metric Spaces

Your first day at work MATH 806 (Fall 2015)

Introduction to Real Analysis Alternative Chapter 1

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

Spectral theory for compact operators on Banach spaces

Weak Topologies, Reflexivity, Adjoint operators

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

Functional Analysis HW #1

I teach myself... Hilbert spaces

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 =

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets

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

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

NAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key

Real Analysis Notes. Thomas Goller

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

A note on the σ-algebra of cylinder sets and all that

COUNTABLE PRODUCTS ELENA GUREVICH

Problem 1: Compactness (12 points, 2 points each)

MAT 449 : Problem Set 7

Selçuk Demir WS 2017 Functional Analysis Homework Sheet

Stone-Čech compactification of Tychonoff spaces

Math 61CM - Solutions to homework 6

FUNCTIONAL ANALYSIS-NORMED SPACE

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

7 Complete metric spaces and function spaces

F 1 =. Setting F 1 = F i0 we have that. j=1 F i j

Functional Analysis F3/F4/NVP (2005) Homework assignment 3

Functional Analysis HW #3

2. Dual space is essential for the concept of gradient which, in turn, leads to the variational analysis of Lagrange multipliers.

Functional Analysis HW #5

Math General Topology Fall 2012 Homework 6 Solutions

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

Math General Topology Fall 2012 Homework 8 Solutions

LECTURE OCTOBER, 2016

Homework I, Solutions

CHAPTER II HILBERT SPACES

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

a. Define a function called an inner product on pairs of points x = (x 1, x 2,..., x n ) and y = (y 1, y 2,..., y n ) in R n by

Math General Topology Fall 2012 Homework 1 Solutions

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

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

Maths 212: Homework Solutions

Math 209B Homework 2

Chapter 2. Vectors and Vector Spaces

Inner Product Spaces An inner product on a complex linear space X is a function x y from X X C such that. (1) (2) (3) x x > 0 for x 0.

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

USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION

Topological vectorspaces

Examples of Dual Spaces from Measure Theory

Math 421, Homework #9 Solutions

Solution. 1 Solution of Homework 7. Sangchul Lee. March 22, Problem 1.1

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS

V. SUBSPACES AND ORTHOGONAL PROJECTION

Introduction and Preliminaries

Math 201 Topology I. Lecture notes of Prof. Hicham Gebran

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

Some topics in analysis related to Banach algebras, 2

Normed Vector Spaces and Double Duals

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

Chapter II. Metric Spaces and the Topology of C

MTH 503: Functional Analysis

Topological properties

Functional Analysis Exercise Class

Seminorms and locally convex spaces

1 Inner Product Space

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:

Kernel Method: Data Analysis with Positive Definite Kernels

THEOREMS, ETC., FOR MATH 515

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

Transcription:

Homework Assignment #5 Due Wednesday, March 3rd. 1. In this problem, X will be a separable Banach space. Let B be the closed unit ball in X. We want to work out a solution to E 2.5.3 in the text. Work out your own solution, or follow the guidelines below. a) Show that a subset of separable metric space is separable so that we can find a countable dense subset {d k } k=1 of the unit sphere S = {x X : x = 1 } in X. Hint: a separable metric space is second countable.) ANS: The hint gives it away. A separable metric space is always second countable: if {x n } is a countable dense set, then the collection of balls {B 1 x n) : n,m 1 } form a countable basis. But any m subset of a second countable space is clearly second countable in the relative topology. Now observe that any second countable space is separable: just take a point in each basic open set. Since we have assumed that H is separable, it follows that S is separable. b) For each k, show that m k ϕ) := ϕd k ) is a seminorm on X such that m k ϕ) 1 on B. ANS: Note that m k is just the seminorm associated to ιd k ) X. It is bounded by 1 on B since d k has norm 1. c) Show that a net {ϕ j } in B converges to ϕ B in the weak- topology if and only if m k ϕ j ϕ) 0 for all k. ANS: Note that m k ϕ j ϕ) 0 exactly when ϕ j d k ) ϕd k ). Thus, if ϕ j ϕ in the weak- topology, then m k ϕ j ϕ) 0 for all k. Conversely, suppose that m k ϕ j ϕ) 0 for all k. This simply means that ϕ j d k ) ϕd k ) for all k. Of course this means ϕ j αd k ) ϕαd k ) for any α F. Let x X. If x = 0, then ϕ j x) ϕx) trivially. Otherwise, let α = x. Then given ǫ > 0 there is a k such that x αd k < ǫ/3. Then we can choose j 0 such that j j 0 implies that ϕ j αd k ) ϕαd k ) < ǫ/3. Then since ϕ j and ϕ have norm at most one, j j 0 implies that ϕ j x) ϕx) ϕ j x) ϕ j αd k ) + ϕ j αd k ) ϕαd k ) + ϕαd k ) ϕx) < ǫ/3 + ǫ/3 + ǫ/3 = ǫ. Since x X was arbitrary, ϕ j ϕ in the weak- topology. 1

d) For each ϕ,ψ B, define Show that ρ is a metric on B. ρϕ,ψ) := m n ϕ ψ) 2 n. ANS: Note that m n ϕ ψ) 2, so the sum always converges to a nonnegative number. Therefore, to see that ρ is metric, it suffices to see that it is definite, symmetric and satisfies the triangle inequality. If ρϕ,ψ) = 0, then ϕ and ψ agree on {d k }, and therefore on {αd k : k 1 and α F }. Since the latter set is dense in X, ϕ = ψ. Since m k ϕ ψ) = m k ψ ϕ), we also have ρϕ,ψ) = ρψ,ϕ). And if ζ B, then we have m k ϕ ψ) m k ϕ ζ)+m k ζ ψ) since m k is a seminorm). It now follows easily that ρϕ,ψ) ρϕ,ζ) + ρζ,ψ). e) Show that a net {ϕ j } in B converges to ϕ B in the weak- topology if and only if ρϕ j,ϕ) 0. Conclude that the topology induced by ρ on B is the weak- topology; that is, conclude that the weak- topology on B is metrizable. ANS: Suppose that ρϕ j,ϕ) 0. Then it is easy to see that m k ϕ j ϕ) 0 for each k. Then by part c), ϕ j ϕ in the weak- topology. Conversely, suppose that ϕ j ϕ in the weak- topology. Then by part c) again, m k ϕ j ϕ) 0 for each k. Let ǫ > 0 be given. There is a N such that Then, since each m k ϕ ψ) is bounded by 2, n=n 1 1 2 n < ǫ 2. 1) n=n m n ϕ j ϕ) 2 n n=n 1 1 2 n < ǫ 2 for all j. 2) Now we can find j 0 such that j j 0 implies that m n ϕ j ϕ) < ǫ 2 for all n < N. Now j j 0 implies that ρϕ j,ϕ) = < N 1 N 1 < ǫ 2 + ǫ 2 = ǫ. m n ϕ j ϕ) 2 n + ǫ 2 n+1 ) + ǫ 2 n=n m n ϕ j ϕ) 2 n 2

Thus ρϕ j,ϕ) 0. We have established that the topology induced by ρ is the weak- topology. In other words, the restriction of the weak- topology on the closed unit ball is metrizable. f) Conclude that X is separable in the weak- topology. As Pedersen points out, a compact metric space is totally bounded and therefore separable.) ANS: Since a compact metric space is separable and since the closed unit ball B is compact and metrizable, it is separable. If n 1, then nb is just the closed n ball and nb is homeomorphic to B. Hence nb is separable. But X = nb. Since the countable union of countable sets is countable, it follows that X is separable. 2. Work E 2.5.6, but use the hint from the revised edition of the text. 3. Suppose that H is an inner product space. Show that x y) = x y if and only if either x = αy or y = αx for some α F. ANS: If y = αx, then x y) = α x = x αx = x y, and similarly when x = αy. Now assume that x y) = x y. If x = 0, then x = 0 y. So we can assume that x 0. Let τ C by such that τx y) = x y). Then, following the proof of the Cauchy-Schwarz inequality in our notes, for each λ R, pλ) := λτx + y 2 = λ 2 x 2 + 2λ x y) + y 2. Since x 0, p is real quadratic polynomial. By assumption, p has zero discriminant. Hence p has a real root λ 0. Then if α 0 := τλ 0, then αx + y = 0 and y = αx. 4. Suppose that W is a nontrivial subspace of a Hilbert space H. Define the orthogonal projection of H onto W to be the map P : H H by Ph) = w, where w is the closest element in W to h. Alternatively, Ph) = w where h = w+w with w W and w W.) a) Show that P is a bounded linear map with P = 1. b) Show that P = P 2 = P. c) Conversely, if Q : H H is a bounded linear map such that Q = Q = Q 2, then show that Q is the orthogonal projection onto its range: W = QH). 3

ANS: Let h,k H. Then h can be written uniquely as w + w with w W and w W. Similarly, k = u + u. But then αh + k = αw + u) + αw + u ) and αw + u) W while αw + u ) W. Thus Pαh + k)αw + u = αph) + Pk), and P is linear. Since h 2 = w 2 + w 2, we must have h w. That is, Ph) h, and P 1. Since W {0}, there is a w W. Since Pw) = w, it follows that P 1. Hence P = 1. This proves part a). Since Ph) W, we clearly have P 2 h) := P Ph) ) = Ph), so P = P 2. On the other hand, Ph k ) = Pw + w ) u + u ) = w u + u ) = w u) = w + w u) = h Pk) ). Therefore P = P. This proves part b). For part c), first observe that W is closed. Suppose that Qh j h. Then Q 2 h j Qh. Since Q 2 h j = Qh j, and H is Hausdorff, Qh = h, and h W. Since W is closed, every h H can be written uniquely as w + w as above. Since W = QH) and Q 2 = Q, it follows that Qw) = w for all w W. Thus for all k H, Qh) k ) = w + w Qk) ) = w Qk) ) = Qw) k ) = w k). Since k is arbitrary in H, we conclude that Qh) = w and therefore Q is the projection onto W. 5. Work problem E 3.1.9 in the text. Remark: problem 1 implies that H is separable in the weak topology. Here we also see that, despite this, an infinite-dimensional separable Hilbert space fails to be either second countable or even first countable in the weak topology.) ANS: Suppose that {e n : n N} be a orthonormal basis for H. Let T = {n 1 2 e n }, and let C be the weak closure of T in H. The first order of business is to see that 0 C. Suppose not. 1 Then there is a weak neighborhood U of 0 disjoint from T. Therefore there is an ǫ > 0 and x 1,...,x k H such that U = {x H : x x j ) < ǫ for j = 1,2,...,k }. Since U T =, for each n N, we have k n 1 2 en x j ) 2 ǫ 2. j=1 Alternatively, k e n x j ) 2 ǫ2 n j=1 On the other hand, by Parseval s Identity, for all n N. 3) k k x j 2 = x j e n ) 2 j=1 j=1 1 Ok, this is tricky. Did you come to office hours to ask about it? Why not? 4

which, the first sum is finite, is = j=1 k e n x j ) 2 ǫ 2 1 n = by 3). This is a contradiction. Therefore we conclude that 0 C as claimed. If H were first countable in the weak topology, then we could find a sequence {y k } k=1 T such that y k 0 weakly. Let Φ y be the linear functional on H corresponding to y: Φ y x) := x y). Recall that Φ y = y. Since convergent sequences 2 are bounded, for each x H, { Φ yk x) : k N } is bounded. Therefore by the Principle of Uniform Boundedness, there is a M > 0 such that That is, y k M for all k N. {y k } k=1 {n 1 2 en : n M 2 }. But then {y k } is never in the weak neighborhood of 0 given by {y H : y e n ) < 1 for all n = 1,2,...,M 2 }. Of course, this contradicts the assumption that y k 0, so we can conclude that H is not weakly) first countable and therefore H can t be metrizable in the weak topology. 6. Let H be a separable Hilbert space with orthonormal basis {e n }. Show that e n 0 weakly. Find a sequence {y m } m=1 of convex combinations of the e n such that y m 0 in norm. This illustrates the result you proved in problem #11 on the previous homework assignment.) ANS: Fix x H. Then x = α ne n, where α n = x e n ). Since x 2 = α n 2, we must have lim n α n = 0. But then lime n x) = lim ᾱ n = 0, n n and we have shown that e n 0 in the weak topology. Fix any m 0 1. Let y m := 1 m0+m m k=m e 0+1 k. Then y m 2 = 1 m m = 1 2 m. Therefore y m 0 in norm and each y m is a convex combination of {e n } n m0. 2 This is the whole point here. A convergent net need not be bounded. 5

7. Let T : H H be a linear map. Show that T is bounded if and only if T is continuous when H is given the weak topology. In the latter case, Pedersen says that T is weak weak continuous. Since T is bounded exactly when it is continuous, a bounded map could be considered to be a norm norm continuous map.) In fact, show that if T is norm weak continuous that is continuous as a map from H with the norm topology to H with the weak topology then T is bounded. Hint: use the Closed Graph Theorem.) ANS: Suppose that T is bounded. If x j x weakly, then for any y H, Tx j y) = x j T y) x T y) = Tx y). Therefore T xj Tx weakly and T must be weak-weak continuous. Notice that since convergence in norm certainly implies weak convergence, a weak-weak continuous map is always norm-weak continuous. Hence it suffices to see that a norm-weak continuous operator is bounded. So assume that T is norm-weak continuous. We want to apply the Closed Graph Theorem, so suppose that x n x and that Tx n y in norm. By assumption, Tx n Tx weakly. Since we also have Tx n y weakly and since the weak topology is Hausdorff, we must have y = Tx. Thus T is bounded by the Closed Graph Theorem). 8. Prove Lemma 88. Thus, if x,y H, then define θ x,y to be the rank-one operator θ x,y z) = z y)x. Also define B f H) = {θ x,y : x,y H }. Then if T BH), a) Tθ x,y = θ Tx,y and θ x,y T = θ x,t y, b) θ x,y = x y, c) θ x,y = θ y,x, d) T B f H) if and only if dimth) <, and e) B f H) is a -closed, two-sided ideal in BH). 6