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:

Similar documents
The Arzelà-Ascoli Theorem

Math 209B Homework 2

THEOREMS, ETC., FOR MATH 515

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

Introduction to Real Analysis Alternative Chapter 1

Chapter 3: Baire category and open mapping theorems

5 Compact linear operators

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

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

Hilbert Spaces. Contents

Chapter 3 Exercise #20 on p. 82

Selçuk Demir WS 2017 Functional Analysis Homework Sheet

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?

MA5206 Homework 4. Group 4. April 26, ϕ 1 = 1, ϕ n (x) = 1 n 2 ϕ 1(n 2 x). = 1 and h n C 0. For any ξ ( 1 n, 2 n 2 ), n 3, h n (t) ξ t dt

L p Spaces and Convexity

CHAPTER VIII HILBERT SPACES

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

Linear Analysis Lecture 5

Mathematics for Economists

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

Functional Analysis HW #3

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

MATH MEASURE THEORY AND FOURIER ANALYSIS. Contents

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

Lecture 5 - Hausdorff and Gromov-Hausdorff Distance

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

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

REAL ANALYSIS II: PROBLEM SET 2

CHAPTER 1. Metric Spaces. 1. Definition and examples

V. SUBSPACES AND ORTHOGONAL PROJECTION

Functional Analysis Exercise Class

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

Your first day at work MATH 806 (Fall 2015)

CHAPTER II HILBERT SPACES

ANALYSIS WORKSHEET II: METRIC 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.

Functional Analysis HW #1

COUNTABLE PRODUCTS ELENA GUREVICH

Projection Theorem 1

Analysis Finite and Infinite Sets The Real Numbers The Cantor Set

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

MATH 426, TOPOLOGY. p 1.

y 2 . = x 1y 1 + x 2 y x + + x n y n 2 7 = 1(2) + 3(7) 5(4) = 3. x x = x x x2 n.

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

A SYNOPSIS OF HILBERT SPACE THEORY

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

2. Metric Spaces. 2.1 Definitions etc.

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

MTH 503: Functional Analysis

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

Overview of normed linear spaces

212a1214Daniell s integration theory.

The Learning Problem and Regularization Class 03, 11 February 2004 Tomaso Poggio and Sayan Mukherjee

REAL AND COMPLEX ANALYSIS

E.7 Alaoglu s Theorem

Numerical Sequences and Series

Math 328 Course Notes

Supplement. The Extended Complex Plane

Functional Analysis HW #5

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

Functional Analysis Review

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

Functional Analysis MATH and MATH M6202

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

c i x (i) =0 i=1 Otherwise, the vectors are linearly independent. 1

MATH 650. THE RADON-NIKODYM THEOREM

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

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

Bounded uniformly continuous functions

Filters in Analysis and Topology

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

Solutions: Problem Set 4 Math 201B, Winter 2007

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?

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

CLASS NOTES FOR APRIL 14, 2000

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

Some Background Material

Math 140A - Fall Final Exam

Chapter 5. Measurable Functions

Notes on uniform convergence

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

1 Orthonormal sets in Hilbert space

Most Continuous Functions are Nowhere Differentiable

Introduction to Empirical Processes and Semiparametric Inference Lecture 22: Preliminaries for Semiparametric Inference

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

Thus f is continuous at x 0. Matthew Straughn Math 402 Homework 6

Summary of Real Analysis by Royden

6. Duals of L p spaces

Real Analysis. Joe Patten August 12, 2018

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

Homework I, Solutions

Normed Vector Spaces and Double Duals

3 COUNTABILITY AND CONNECTEDNESS AXIOMS

Ordinary Differential Equations II

Lebesgue Integration on R n

A Brief Introduction to Functional Analysis

Chapter 2 Metric Spaces

4 Countability axioms

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

Transcription:

Exercise 1 Using Hölder s inequality, prove Minkowski s inequality for f, g L p (R d ), p 1: f + g p f p + g p. Proof. If f, g L p (R d ), then since f(x) + g(x) max {f(x), g(x)}, we have f(x) + g(x) p p max { f(x) p, g(x) p } p ( f(x) p + g(x) p ). It follows that f + g p p f p + p g p <, so f + g L p (R d ). Now, note that f + g p f + g p 1 f + g f + g p 1 ( f + g ). Thus, ( f + g p ) p (f + g) p 1 ( f + g ) 1 (f + g) p 1 f + (f + g) p 1 g (f + g) p 1 p ( f p + g p 1 p ) by Hölder s inequality ( ) p 1 ( f + g p 1 ) p p p 1 ( f p + g p ) ( ( ) ) 1 p 1 f + g p p ( f p + g p ) ( f + g p ) p 1 ( f p + g p ). Finally, since we showed f + g p is finite, dividing both sides of the above inequality by ( f + g p ) p 1 gives us the desired result. Page 1 of 5

Page 195 Exercise 11 Let P be the orthogonal projection associated with a closed subspace S in a Hilbert space H, that is, P (f) f if f S and P (f) 0 if f S. (a) Show that P P and P P. (b) Conversely, if P is any bounded operator satisfying P P and P P, prove that P is the orthogonal projection for some closed subspace of H. (c) Using P, prove that if S is a closed subspace of a separable Hilbert space, then S is also a separable Hilbert space. Proof. (a) If f S, then P (f) P (P (f)) P (f), and if f S, then P (f) P (P (f)) P (0). But P is linear, so P (0) 0 P (f). Hence, P P. Now, let f S. Then (P f, f) (f, f) (f, P f), but (P f, f) (f, P f). Since P is unique, we have P f P f. Similarly, f S gives (P f, f) 0 (f, P f), so P P. (b) First, we will show that S P (H) is a subspace of H. Let f, g S. Then f P (h 1 ) and g P (h ) for some h 1, h H. Consequently, so f + λg S. f + λg P (h 1 ) + λp (h ) P (h 1 + λh ), Moreover, S is closed. Indeed, suppose {f n } n1 is a sequence in S such that f n f. Then f n P g n for some g n H and each n N. Since P is bounded, it is continuous, so P f n P f. This gives us P (P g n ) P g n P g n f n P f. But H is a metric space, so H is Hausdorff. In particular, this tells us limits are unique, so f P (f). As a direct result, S is closed. Also, since each f S is the limit of a convergent sequence in S, we have that P (f) f for all f S. Further, if P f f, then f S, so S {f H P f f}. Finally, we will show that S ker(p ). To begin, note that if {f n } n1 ker(p ) converges to f H, then P f lim P f n 0, so f ker(f), making ker(p ) closed. Next, we know that ker(p ) S. To see this, we note that S S {0} and S {f H P f f}, so if f ker(p ), then either f 0 or P f f, i.e., f S S. Now, suppose that 0 f S. Then for all g H, (P f, g) (f, P g) (f, P g). If g S, then P g g, and since f S, (f, P g) (f, g) 0. Similarly, if g / S, then P g is, so (f, P g) 0. Hence, (P f, g) 0 for all g H, so P f 0, putting f ker(p ). Thus, P is the orthogonal projection for the closed subspace S P (H). Page of 5

(c) Note that every closed subspace S H has an orthogonal projection P S associated with it. Also, we have that P S (S) S. Now, let A H be a countable dense subset, and let U S P S (S) be open in S. Since P S is continuous, (P S ) 1 (U) is open in H. Since A is dense, there is an a A which is also in (P S ) 1 (U), i.e., P S (a) U. Since U was arbitrary, P S (A) is countable and dense in S, making S separable. Page 197 Exercise 18 Let H be a Hilbert space and L(H) the vector space of all B.L.T.s on H. Given T L(H), we define the operator norm T inf{b : T v B v, for all v H}. (a) Show that T 1 + T T 1 + T whenever T 1, T L(H). (b) Prove that d(t 1, T ) T 1 T defines a metric on L(H). (c) Show that L(H) is complete in the metric d. Proof. (a) For any f H, (T 1 + T )(f) T 1 f + T f T 1 f + T f, so T 1 + T T 1 + T. (b) Using part (a) we can show that the triangle inequality holds. d(t 1, T 3 ) T 1 T 3 T 1 T + T T 3 T 1 T + T T 3 d(t 1, T ) + d(t, T 3 ). Further, it is clear that d(t 1, T ) d(t, T 1 ), since for every f H, (T 1 T )(f) T 1 f T f T f T 1 f (T T 1 )(f). Thus, we need only show that d(t 1, T ) 0 iff T 1 T. Page 3 of 5

If T 1 T, then for all f H, T 1 f T f 0 0. Thus, for all B [0, ), (T 1 T )(f) B f, so d(t 1, T ) T 1 T 0. Conversely, if d(t 1, T ) 0, then for all f H, (T 1 T )(f) 0. But the norm is always nonnegative, so (T 1 T )(f) 0. This implies that (T 1 T )(f) 0, i.e., T 1 f T f 0 or T 1 f T f. Since f was arbitrary, we have T 1 T. (c) Let {T n } n1 be a Cauchy sequence in L(H), ε > 0, and f H. Then there is an N N such that n, m N implies T n T m < ε. By definition, this means that 3 (T n T m )(f) < ε. Hence, {T 3 nf} n1 is a Cauchy sequence of vectors in H, which converges since H is complete. Let T be defined by T f lim T n f. We will show that T L(H). First, note that T is linear, since for any f, g H and λ C, T (f + λg) lim T n (f + λg) lim [T n f + λt n g] lim T n f + λ lim T n g T f + λt g. To show T is bounded, let {f i } i1 be a convergent sequence in H with f i f. Now, if we let N be chosen as above, then we see for each m N and g H that T m g T g lim T m g T n g ε 3. Further, since each T m is bounded (and thus continuous), for any m N we can choose N such that j N gives T m f j T m f lim k T m f j T m f k ε 3. Hence, if we let N max N, N, then j, m N gives T f j T f T f j T m f j + T m f j T m f + T m f T f ε 3 + ε 3 + ε 3 ε. This proves that T is continuous (and hence bounded), so T L(H). Page 4 of 5

Page 04 Exercise 8 Suppose {T k } is a collection of bounded operators on a Hilbert space H, with T k 1 for all k. Suppose also that T k Tj Tk T j 0 for all j k. Let S N N T k. Show that S N (f) converges as N for every f H. If T (f) denotes the limit, prove that T 1. Proof. First, note that the ranges of the T k (and similarly the Tk ) are mutually orthogonal, for if f, g H and j k, then (T j f, T k g) (f, Tj T k g) (f, 0) 0. Thus we have that for each k, Tk P ktk, where P k is the orthogonal projection of some closed subspace S k containing the range of T k, namely, S k (Range(Tk ) ). Moreover, T k T k P k (since Pk P k). Now, consider the norm of S N (f). S N (f) T k f T k f T k P k f T k P k f P k f. All of the S k are orthogonal to each other, so we can use Proposition 4. inductively to represent f by f ˆf N + N f k, where each f k S k, (f j, f k ) 0 for all j k, and ( ˆf N, f k ) 0 for all N k N. Further, f ˆf N + N f k. Hence, P k f f k ˆf N + f k f. Therefore, if T (f) lim N S N (f) exists, then T (f) f for all f H, i.e., T 1. To show that S N (f) converges, note that S N (f) converges to some value L 1. Thus, for each ε > 0 there is an N N such that n N implies L S n (f) < ε. As a result, if m, n N, we have S n (f) S m (f) S n (f) S m (f) < ε, since no two points inside a circle of radius ε can be more than ε units apart. Consequently, {S N (f)} N1 is a Cauchy sequence in H, and thus convergent. Page 5 of 5