Functional Analysis, Stein-Shakarchi Chapter 1
|
|
- Julius Peters
- 5 years ago
- Views:
Transcription
1 Functional Analysis, Stein-Shakarchi Chapter 1 L p spaces and Banach Spaces Yung-Hsiang Huang Abstract Many problems are cited to my solution files for Folland [4] and Rudin [6] post here. 1 Exercises 1. The details and generalizations are discussed in my solution files for Folland [4, Exercise 6.6] and Rudin [6, Exercise ].. Proof. (a) follows from the hint by noting the concavity of x p on (0, 1), 0 < p < 1. (b) Assume l 0, then there exists f L p such that l(f) 1. Let g 1 = fχ ( inf,x) such that g 1 p p = 1 f p p, g = f g 1, then l(g i ) 1 for some i. Let f 1 = g i, then f 1 p = 1 1/p f p and l(f 1 ) 1. Repeat the previous process inductively, we have f n with f n p = 1 1/p f n 1 p = = n(1 1/p) f p 0 and 1 l(f n ) 0 by the continuity of l, which is a contradiction. 3. Track back the condition for the equality in (), page 4. See also Folland [4, Exercise 6.1]. 4. Proof. (a) If g = 0 a.e., then we are done. If not, then apply Hölder s inequality to f p = (fg) p g p (b) Try to mimic the proof for p 1 and use the inequality in Hint of Exercise (a). (c) The triangle inequality is proved by using the same inequality we used in (b). 5. Proof. For each k N, there exists n k such that f nk f p k. We may assume n k increasing and note that for each k, f nk f nk+1 p f nk f p + f nk+1 f p 1 k. Define h(x) = k=1 f n k f nk 1, then by the proof in completeness of L p, it s finite a.e. and the partial sum f nk converges to h a.e. and in L p. So h = f and f nk converges to f a.e. Department of Math., National Taiwan University. d041001@ntu.edu.tw 1
2 6. As Hints, (b) is proved by apply LDCT. 7. Proof. (Sketch) (a) Cut-off the domain, approximation by simple function, using outer and inner regularity of Lebesgue measure, and then use Urysohn s lemma. functions you construct in (a). See Folland [4, Proposition 7.9 and 8.17] (b) Mollify the C c 8. As Hints. For p = consider χ [0,1] d. 9. Suppose is a measure space and 1 p 0 < p 1. (a) Consider L p 0 L p 1 equipped with f L p 0 L p 1 = f L p 0 + f L p 1. Show that (L p 0 L p 1, L p 0 L p 1 ) is a Banach space. (b) Show that (L p 0 + L p 1, L p 0 +L p 1 ) is a Banach space, where f L p 0 +L p 1 := inf{ f 0 L p 0 + f 1 L p 1 : f = f 0 + f 1 L p 0 + L p 1 }. (c) Show that L p L p 0 + L p 1 if p 0 p p 1. Remark 1. Also see Exercise 4 (as an example of Orlicz space) and Folland [4, Exercise and papers cited there]. Proof. (c) f = fχ { x 1} + fχ { x <1}. (a) it s easy to see this is a norm on the vector space. you can check the completeness through the one of L p. (b) Scaling property is trivial. If f = 0, then for every n N, there are f n 0 L p 0 and f n 1 L p 1 with the L p norm less than 1 n f n k 0 0 a.e. and a further subsequence f n k j 1 0 a.e. So does f. respectively. Then there is a subsequence such that Given f, g L p 0 + L p 1, for each n N, there exist decompositions f = f n 0 + f n 1, g = g n 0 + g n 1 such that f n 0 + f n 1 < f + 1 n, gn 0 + g n 1 < g + 1 n. Therefore, f + g f n 0 + g n 0 + f n 1 + g n 1 f n 0 + g n 0 + f n 1 + g n 1 < f + g + n. Letting n, we see f + g f + g. Given {f k } be a Cauchy sequence in L p 0 +L p 1, and given ɛ > 0, then there exists N = N(ɛ) such that f k f j < ɛ for all k, j > N and hence there exist fk 0, f j 0, fk 1, f j 1 such that fk 0 f j 0 p0 + fk 1 f j 1 p1 < ɛ. By completeness of L p, there exist f 0 L p 0, f 1 L p 1 such that fk 0 f 0 in L p 0 and fk 1 f 1 in L p 1. Then 0 f k (f 0 + f 1 ) fk 0 f 0 p0 + fk 1 f 1 p1 0.
3 10. See my solution files for Folland [4, Exercise 6.13, Additional Exercise 6.1 and Exercise 5.5]. 11. The same as Exercise Proof. (a)(b) are standard. (c) Since L p is separable, there exists a dense subset {x n } in L p. For x 1, since (f k, x 1 ) = f k x 1 M x 1, where M = sup f n p, by Bolzano-Weierstrauss, there exists a subsequence f k,1 such that (f k,1, x 1 ) a 1, some constant. Inductively in x n, we conclude that for each k, there exists {f k,n } {f k 1,n } such that (f k,n, x n ) a n. Choose {f k,k } as the desired subsequence and we are going to prove that it converges weakly. Given l (L p ), by Riesz s theorem, it is represented by some x L p. {x n } x j x in L p. Note that Then there are l(f k,k ) l(f m,m ) (I) + (II) + (III) := x(t)f k,k (t) x j (t)f k,k (t) + x j (t)f k,k (t) x j (t)f m,m (t) + x(t)f m,m (t) x j (t)f m,m (t). Given ɛ > 0, there exists J = J(ɛ) such that x x J < ɛ. By Hölder, (I) and (III) are less M than ɛ. For this J, we can choose a N = N(ɛ) such that (II) < ɛ for all k, m > N. This implies that, for each l (L p ) = L p, l(f k,k ) c(l) as k. Note that the map l c(l) is linear and c(l) = lim k l(f k,k ) M l p. By Riesz representation theorem, there is some f L p such that lim k l(f k,k ) = c(l) = l(f) for all l L p. Remark. The weak compactness theorem is true for any reflexive Banach space. converse also hold, known as Eberlein- Smulian theorem, whose proof is put in my additional exercise 6..5 for Folland [4]. Also see Brezis [, Theorem 3.19 and its remarks] 13. Proof. (a) This is Riemann-Lebesgue lemma, I think it s weak-* convergence in L, not weak convergence; I put my comment on various proofs below: (1) I think the easy way to understand is through Bessel s inequality. But this method does not work on L p, except L. () The second way is through integration by parts, and one needs the density theorem (simple functions or C c The functions). This method is adapted to our claim, except for weak convergence in L 1. But for L 1 case, it s a simple consequence of squeeze theorem in freshman s Calculus. (b) Apply Hölder s inequality and use the absolute continuity of the indefinite integral of L 1 function. (c) is easy. 14. Suppose is a measure space, 1 < p <, and suppose {f n } is a sequence of functions with f n L p M <. 3
4 (a) Prove that if f n f a.e. then f n f weakly. (b) Show that the above result may fail if p = 1 (c) Show that if f n f 1 a.e. and f n f weakly, then f 1 = f a.e. Proof. (a) s hint is given in Folland [4, Exercise 0(a)] by using Egoroff s theorem. (b) f n = χ (n,n+1) in L 1 (R, m). (c) We don t need to bother whether f n p M is a necessary assumption, since by Uniform Boundedness Principle, a weakly convergent sequence is bounded (cf: Exercise 4.13). So by (a), f n f 1, that is, f n f 1 0. Next, we show the weak limit is unique as follows: Note that f n f 1 f f 1, too. Now let E j = { f f 1 > 1 } which has finite measure by j Chebyshev s inequality and hence sgn(f f 1 )χ Ej 0 implies E j has zero measure for each j and hence f 1 = f a.e. L p. The weak convergence to f f 1 and 15. Proof. 16. Multiple Hölder inequality is proved by mathematical induction. 17. (a) Prove Young s convolution inequality, including the measurability, integrability of f(x )g( ) for each x R d (b) A version of (a) applies when g is replaced by a finite Borel measure µ: and show that f µ L p f L p µ (R d ) (c) Prove that if f L p (f µ)(x) = f(x y) dµ(y), R d and g L q, where p, q are conjugated exponents, then f g L f L p g L q. Moreover, f g is uniformly continuous on R d, and if 1 < p <, then (f g)(x) 0 as x. Remark 3. The last assertion is not true for endpoint exponents, e.g. g(x) = f(x) f(x), then (f g)(x) f 1. However, it s true for the case f L 1 and g L 1 L. See Exercise.4 in Book III. Proof. (a) For p = 1, this is the Fubini-Tonelli theorem. We consider 1 < p now. If f, g 0, then Tonelli s theorem implies f g(x) exists a.e. and measurable. For 1 < p <, by Hölder s inequality, we have (f g)(x) g 1/p 1 (f p g)(x) 1/p. Then we integrate both sides and use Minkowski s integral inequality to conclude the desired inequality; for p =, 4
5 (f g)(x) f g 1. For general f, g, then by Minkowski s inequality f g L p (R d ). And then f g < a.e., that is, for a.e. x, f(x )g( ) L 1 and hence f g exists and finite a.e. To see its measurability, Consider f N = fχ { x <N} L 1, then f N g is measurable by Tonelli s theorem. Fixed x, f N (x t)g(t) f(x t)g(t) a.e. t and f N (x )g( ) f(x )g( ) L 1. By LDCT, f N g(x) f g(x) for a.e. x, and therefore f g is measurable. (b) (c) The inequality is just Hölder s inequality. WLOG, we assume f L p with p <. Given ɛ > 0, by translation is continuous in L p norm (Exercise 8), there is δ > 0 such that, f( + h f( ) L p < ɛ/ g L q whenever h < δ. Then for all x R d, (f g)(x + h) (f g)(x) f( + h f( ) L p g L q < ɛ whenever h < δ. The vanishing properties is proved as follows: One consider the case of functions with compact support and then use the density argument. Remark 4. On , I saw this problem. One of the answer states a less explicit fact: Salem and Zygmund proved that convolution map L 1 (T) L 1 (T) L 1 (T) is onto. This was shown to hold for all locally compact groups by Paul Cohen in This result was the starting point of an entire industry establishing factorization theorems. A nice survey on this topic is Jan Kisynski, On Cohen s proof of the Factorization Theorem, Annales Polonici Mathematici 75, (000), Proof. 19. Proof. 0. Proof. 1. Proof.. The proof for Young s inequality for products is immediate if you draw a correct picture. 3. Let (, µ) be a measure space and suppose 0 Φ(t) is a continuous convex and increasing function on [0, ), with Φ(0) = 0. Define the Orlicz space L Φ := {f measurable : Φ( f(x) /M) dµ < for some M > 0}, 5
6 and f Φ = inf Φ( f(x) /M) dµ 1. M>0 Prove that : (a) L Φ is a vector space. (b) L Φ this norm. Note that in the special case Φ(t) = t p, 1 p <, then L Φ = L p. is a norm. (c) L Φ is complete in Remark 5. I think we should assume Φ 0. one also note that the property that there is A > 0 so that Φ(t) At for all t 0 may not be true for small t, e.g. Φ(t) = t. Proof. (a)(b) Given f, g L Φ and s K, where K = R or C. Then it s obvious that sf L Φ and sf L Φ = s f L Φ. Moreover, for each ɛ > 0, there exists 0 < M f < f L Φ + ɛ and 0 < M g < g L Φ + ɛ such that Φ( f(x) /M f) dµ 1, and Φ( g(x) /M g) dµ 1. Then by the convexity and monotone increasing property, f(x) + g(x) f(x) + g(x) Φ( ) dµ Φ( ) dµ = Φ( f(x) M f + g(x) M g ) dµ M f + M g M f + M g M f M f + M g M g M f + M g M f Φ( f(x) M g ) dµ + Φ( g(x) ) dµ 1. M f + M g M f M f + M g M g That is, f + g L Φ and f + g L Φ f L Φ + g L Φ + ɛ. Since ɛ > 0 is arbitrary, f + g L Φ f L Φ + g L Φ. Finally, if f L Φ = 0, then for each k N, there exists 0 < ɛ k < 1 k such that f(x) Φ( ɛ k ) dµ 1. Since Φ(0) = 0, for each λ > 0 and m N, pick k large such that λɛ k < 1 m Φ(λ f(x) ) dµ = Φ(λɛ k f(x) ɛ k + (1 λɛ k )0) dµ λɛ k So Φ(λ f(x) ) dµ = 0, then Φ(λ f(x) ) = 0 for µ-a.e. x. Φ( f(x) ɛ k ) dµ < 1 m. Since Φ 0, A = sup{x : Φ(x) = 0} [0, ). Therefore λ f(x) A for µ-a.e. x for all λ > 0. Hence f(x) = 0 for µ-a.e. x. (c)(simplfied the proof on Rao-Ren [5, Theorem ].) Given {f n } be a Cauchy sequence in L Φ, then there exists 0 < f n f m L Φ n, m (we omit the trivial case that f n f m L Φ = 0 for all large n, m) such that Φ( f n f m ) dµ 1. 0 as For each ɛ > 0, we note that, by monotonicity of Φ, { f m f n ɛ} {Φ( fm fn ) Φ( ɛ )}. Hence µ({ f m f n ɛ}) µ({φ( f m f n ) Φ( ɛ )}) 6 1 Φ( ɛ ) Φ( f m f n ) dµ 1 Φ( ɛ )
7 Let A be the same as the above. Note that 0 < Φ(A) = Φ(t A t + 0 (1 A t )) A t Φ(t) for t A, so Φ(t) t Φ(A) A as t. So µ({ f m f n ɛ}) 0 as n, m. Therefore, {f n } is Cauchy in measure and hence there exists a measurable function f and a subsequence {f ni } such that f ni f a.e. on. Since f n L Φ f m L Φ f n f m L Φ, { f n L Φ} forms a Cauchy sequence in R, and then f n L Φ ρ for some ρ 0. If ρ > 0, then f L Φ since by Fatou s lemma, the definition of L Φ and the continuity and convexity of Φ, Φ( f ) dµ lim inf ρ i f ni Φ( ) dµ 1. f ni L Φ If ρ = 0, then there exists 0 < ɛ ni 0 as i such that Φ( fn i (x) ɛ ni ) dµ 1. Using Fatou s lemma, we have f L Φ since 0 Φ( f(x) ) dµ lim inf i lim inf ɛ n i Φ( i f n i (x) ) dµ 0. ɛ ni Φ( f ni (x) ) = lim inf i Φ(ɛ ni f ni (x) ɛ ni + (1 ɛ ni )0) dµ Finally, given {f nk } k {f n }, there is a further subsequence {f nkm } m that converges to f a.e. (the limit function must be f). For each k, j N, Φ(k f nkm f nkj ) Φ(k f f nkj ) as m. Moreover, since f nm f nj L Φ 0 as m, j, there exists N(k) N such that if m, j > N(k), there exists ɛ m,j < 1 k such that Φ( fn km fn k j ɛ m,j ) 1. So f f nkj L Φ < 1 k if j > N(k) since Φ( f f n kj 1/k ɛ m,j 1/k lim inf m ) dµ lim inf m Therefore f f nkj L Φ Φ( f n km f nkj ɛ m,j ) 1. Φ( f n km f nkj ) dµ = lim inf 1/k m Φ( f n km f nkj ɛ m,j ɛ m,j 1/k ) dµ 0 as j. Since every subsequence of {f n } contains a further convergent subsubsequence, f n converges to f in L Φ. 4. Proof. 5. A Banach space is a Hilbert space if and only if it satisfies the parallelogram law. As a consequence, prove that if L p (R d ) with Lebesgue measure is a Hilbert space, then p =. Generalizations of parallelogram law are stated in Problem 6. 7
8 Proof. (Sketch) Use standard polar identity. For L p part, see my discussion in Folland [4, Exercise 6.1] which works not only for Lebesgue measure but also for general measure space. 6. Proof. 7. Proof. 8. Proof. 9. Proof. 30. Proof. 31. Proof. 3. If the dual space B of a Banach space B is separable, then B is separable. (The converse is not true, see Exercise 11.) Proof. Let {y n} be a countable dense subset of B and x n B such that x n = 1 and y n(x n ) 1 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 B, then by Hahn-Banach Theorem, there is y B such that y (L) = {0} and y = 1. Then for each n N, 1 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 B, that is, B is separable. 33. Proof. 34. Proof. 35. Proof. 36. Proof. 8
9 Problems 1. Proof.. Proof. 3. Proof. 4. Proof. 5. Proof. 6. There are generalizations of the parallelogram law for L (see Exercise 5) that hold for L p. These are the Clarkson inequalities: (a) For p the statement is that f + g p L + f g p p L 1 p (b) For 1 < p the statement is that f + g q L + f g q p L 1 p ( f pl p + g pl p ). ( f pl p + g pl p ) q p, where p 1 + q 1 = 1. This is trickier to prove than (a). (c) As a result, L p is uniformly convex when 1 < p <. This means that there is a delta function δ = δ p (ɛ), with 0 < δ < 1 and δ p (ɛ) 0 as ɛ 0, so that whenever f L p = g L p = 1, then f g L p ɛ implies that f+g 1 δ. This is stronger than the conclusion of strict convexity in Exercise 7. (d) Using (c) to prove the Radon-Riesz Theorem: suppose 1 < p <, and the sequence {f n } L p or arbitrary uniformly convex Banach space, converges weakly to f. If f n f, then f n f 0 as n. Remark 6. Milman-Pettis Theorem states every uniformly convex space is reflexive. See [, Section 3.7]. Remark 7. A related result for (d) is the Brezis-Lieb theorem (refined Fatou lemma), see [3]. Remark 8. More discussions of Clarkson inequalities can be found in [1]. Proof. (c) is easy. (d) We may assume f 0. Let F n = f n 1 f n and F = f 1 f. So F n F weakly. It follows that 1 = F lim inf F n + F 1. Then the uniform convexity implies F n F 0 as n. So f n f 0 as n. 9
10 7. Proof. 8. Proof. 9. Proof. References [1] Keith Ball, Eric A Carlen, and Elliott H Lieb. Sharp uniform convexity and smoothness inequalities for trace norms. Inventiones mathematicae, 115(1):463 48, [] Haim Brezis. Functional Analysis, Sobolev Spaces and Partial Differential Equations. Springer Science & Business Media, 010. [3] Haïm Brézis and Elliott Lieb. A relation between pointwise convergence of functions and convergence of functionals. Proceedings of the American Mathematical Society, 88(3): , [4] Gerald B Folland. Real analysis: Modern Techniques and Their Applications. John Wiley & Sons, nd edition, [5] Malempati Madhusudana Rao and Zhong Dao Ren. Theory of Orlicz spaces, volume 146. CRC Press, [6] Walter Rudin. Real and Complex Analysis. Tata McGraw-Hill Education, third edition,
Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis
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
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationReal and Complex Analysis, 3rd Edition, W.Rudin Elementary Hilbert Space Theory
Real and Complex Analysis, 3rd Edition, W.Rudin Chapter 4 Elementary Hilbert Space Theory Yung-Hsiang Huang. It s easy to see M (M ) and the latter is a closed subspace of H. Given F be a closed subspace
More informationL p Spaces and Convexity
L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More information3 (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?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationReal Analysis, 2nd Edition, G.B.Folland Signed Measures and Differentiation
Real Analysis, 2nd dition, G.B.Folland Chapter 3 Signed Measures and Differentiation Yung-Hsiang Huang 3. Signed Measures. Proof. The first part is proved by using addivitiy and consider F j = j j, 0 =.
More informationPartial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces
Partial Differential Equations, nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Shih-Hsin Chen, Yung-Hsiang Huang 7.8.3 Abstract In these exercises always denote an open set of with smooth boundary. As
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More informationPartial Differential Equations, 2nd Edition, L.C.Evans The Calculus of Variations
Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 8 The Calculus of Variations Yung-Hsiang Huang 2018.03.25 Notation: denotes a bounded smooth, open subset of R n. All given functions are
More information3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first
Math 632/6321: Theory of Functions of a Real Variable Sample Preinary Exam Questions 1. Let (, M, µ) be a measure space. (a) Prove that if µ() < and if 1 p < q
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationLebesgue Integration on R n
Lebesgue Integration on R n The treatment here is based loosely on that of Jones, Lebesgue Integration on Euclidean Space We give an overview from the perspective of a user of the theory Riemann integration
More information2 (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?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationThe Heine-Borel and Arzela-Ascoli Theorems
The Heine-Borel and Arzela-Ascoli Theorems David Jekel October 29, 2016 This paper explains two important results about compactness, the Heine- Borel theorem and the Arzela-Ascoli theorem. We prove them
More informationMTH 404: Measure and Integration
MTH 404: Measure and Integration Semester 2, 2012-2013 Dr. Prahlad Vaidyanathan Contents I. Introduction....................................... 3 1. Motivation................................... 3 2. The
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationIt follows from the above inequalities that for c C 1
3 Spaces L p 1. In this part we fix a measure space (, A, µ) (we may assume that µ is complete), and consider the A -measurable functions on it. 2. For f L 1 (, µ) set f 1 = f L 1 = f L 1 (,µ) = f dµ.
More informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More informationExamples of Dual Spaces from Measure Theory
Chapter 9 Examples of Dual Spaces from Measure Theory We have seen that L (, A, µ) is a Banach space for any measure space (, A, µ). We will extend that concept in the following section to identify an
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More informationReal Analysis, 2nd Edition, G.B.Folland Chapter 6
Real Analysis, 2nd Edition, G.B.Folland Chapter 6 L p Spaces Yung-Hsiang Huang 28/4/ 6. Basic Theory of L p Spaces. When does equality hold in Minkowski s inequality? Proof. (a) For p =, since we know
More informationMeasure and Integration: Solutions of CW2
Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost
More informationPROBLEMS. (b) (Polarization Identity) Show that in any inner product space
1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization
More informationTHEOREMS, ETC., FOR MATH 516
THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition
More informationABSTRACT INTEGRATION CHAPTER ONE
CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed
More informationIt follows from the above inequalities that for c C 1
3 Spaces L p 1. Appearance of normed spaces. In this part we fix a measure space (, A, µ) (we may assume that µ is complete), and consider the A - measurable functions on it. 2. For f L 1 (, µ) set f 1
More informationFUNDAMENTALS OF REAL ANALYSIS by. IV.1. Differentiation of Monotonic Functions
FUNDAMNTALS OF RAL ANALYSIS by Doğan Çömez IV. DIFFRNTIATION AND SIGND MASURS IV.1. Differentiation of Monotonic Functions Question: Can we calculate f easily? More eplicitly, can we hope for a result
More informationAnalysis 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
Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using
More informationAnalysis Comprehensive Exam Questions Fall 2008
Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)
More informationA VERY BRIEF REVIEW OF MEASURE THEORY
A VERY BRIEF REVIEW OF MEASURE THEORY A brief philosophical discussion. Measure theory, as much as any branch of mathematics, is an area where it is important to be acquainted with the basic notions and
More informationRiesz Representation Theorems
Chapter 6 Riesz Representation Theorems 6.1 Dual Spaces Definition 6.1.1. Let V and W be vector spaces over R. We let L(V, W ) = {T : V W T is linear}. The space L(V, R) is denoted by V and elements of
More informationThree hours THE UNIVERSITY OF MANCHESTER. 24th January
Three hours MATH41011 THE UNIVERSITY OF MANCHESTER FOURIER ANALYSIS AND LEBESGUE INTEGRATION 24th January 2013 9.45 12.45 Answer ALL SIX questions in Section A (25 marks in total). Answer THREE of the
More informationGeneral Instructions
Math 240: Real Analysis Qualifying Exam May 28, 2015 Name: Student ID#: Problems/Page Numbers Total Points Your Score Problem 1 / Page 2-3 40 Points Problem 2 / Page 4 Problem 3 / Page 5 Problem 4 / Page
More informationLecture 4 Lebesgue spaces and inequalities
Lecture 4: Lebesgue spaces and inequalities 1 of 10 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 4 Lebesgue spaces and inequalities Lebesgue spaces We have seen how
More informationClass Notes for Math 921/922: Real Analysis, Instructor Mikil Foss
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Math Department: Class Notes and Learning Materials Mathematics, Department of 200 Class Notes for Math 92/922: Real Analysis,
More informationMeasure, Integration & Real Analysis
v Measure, Integration & Real Analysis preliminary edition 10 August 2018 Sheldon Axler Dedicated to Paul Halmos, Don Sarason, and Allen Shields, the three mathematicians who most helped me become a mathematician.
More informationThe Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:
Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply
More informationExercise 1. Let f be a nonnegative measurable function. Show that. where ϕ is taken over all simple functions with ϕ f. k 1.
Real Variables, Fall 2014 Problem set 3 Solution suggestions xercise 1. Let f be a nonnegative measurable function. Show that f = sup ϕ, where ϕ is taken over all simple functions with ϕ f. For each n
More informationFive Mini-Courses on Analysis
Christopher Heil Five Mini-Courses on Analysis Metrics, Norms, Inner Products, and Topology Lebesgue Measure and Integral Operator Theory and Functional Analysis Borel and Radon Measures Topological Vector
More informationMEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich
MEASURE AND INTEGRATION Dietmar A. Salamon ETH Zürich 9 September 2016 ii Preface This book is based on notes for the lecture course Measure and Integration held at ETH Zürich in the spring semester 2014.
More informationLECTURE NOTES FOR , FALL Contents. Introduction. 1. Continuous functions
LECTURE NOTES FOR 18.155, FALL 2002 RICHARD B. MELROSE Contents Introduction 1 1. Continuous functions 1 2. Measures and σ-algebras 9 3. Integration 16 4. Hilbert space 27 5. Test functions 30 6. Tempered
More informationFinite-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
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationLebesgue Integration: A non-rigorous introduction. What is wrong with Riemann integration?
Lebesgue Integration: A non-rigorous introduction What is wrong with Riemann integration? xample. Let f(x) = { 0 for x Q 1 for x / Q. The upper integral is 1, while the lower integral is 0. Yet, the function
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
More informationChapter 6. Integration. 1. Integrals of Nonnegative Functions. a j µ(e j ) (ca j )µ(e j ) = c X. and ψ =
Chapter 6. Integration 1. Integrals of Nonnegative Functions Let (, S, µ) be a measure space. We denote by L + the set of all measurable functions from to [0, ]. Let φ be a simple function in L +. Suppose
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationMeasure Theory on Topological Spaces. Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond
Measure Theory on Topological Spaces Course: Prof. Tony Dorlas 2010 Typset: Cathal Ormond May 22, 2011 Contents 1 Introduction 2 1.1 The Riemann Integral........................................ 2 1.2 Measurable..............................................
More informationCONTENTS. 4 Hausdorff Measure Introduction The Cantor Set Rectifiable Curves Cantor Set-Like Objects...
Contents 1 Functional Analysis 1 1.1 Hilbert Spaces................................... 1 1.1.1 Spectral Theorem............................. 4 1.2 Normed Vector Spaces.............................. 7 1.2.1
More informationPart II Probability and Measure
Part II Probability and Measure Theorems Based on lectures by J. Miller Notes taken by Dexter Chua Michaelmas 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly)
More informationA brief introduction to N functions and Orlicz function spaces. John Alexopoulos Kent State University, Stark Campus
A brief introduction to N functions and Orlicz function spaces John Alexopoulos Kent State University, Stark Campus March 12, 24 2 Contents 1 Introduction: Uniform integrability 5 1.1 Definitions.....................................
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
More informationReview of measure theory
209: Honors nalysis in R n Review of measure theory 1 Outer measure, measure, measurable sets Definition 1 Let X be a set. nonempty family R of subsets of X is a ring if, B R B R and, B R B R hold. bove,
More informationAn introduction to some aspects of functional analysis
An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationMath 328 Course Notes
Math 328 Course Notes Ian Robertson March 3, 2006 3 Properties of C[0, 1]: Sup-norm and Completeness In this chapter we are going to examine the vector space of all continuous functions defined on the
More information212a1214Daniell s integration theory.
212a1214 Daniell s integration theory. October 30, 2014 Daniell s idea was to take the axiomatic properties of the integral as the starting point and develop integration for broader and broader classes
More informationLECTURE NOTES FOR , FALL 2004
LECTURE NOTES FOR 18.155, FALL 2004 RICHARD B. MELROSE Contents Introduction 1 1. Continuous functions 2 2. Measures and σ algebras 10 3. Measureability of functions 16 4. Integration 19 5. Hilbert space
More information(U) =, if 0 U, 1 U, (U) = X, if 0 U, and 1 U. (U) = E, if 0 U, but 1 U. (U) = X \ E if 0 U, but 1 U. n=1 A n, then A M.
1. Abstract Integration The main reference for this section is Rudin s Real and Complex Analysis. The purpose of developing an abstract theory of integration is to emphasize the difference between the
More informationChapter 5. Measurable Functions
Chapter 5. Measurable Functions 1. Measurable Functions Let X be a nonempty set, and let S be a σ-algebra of subsets of X. Then (X, S) is a measurable space. A subset E of X is said to be measurable if
More informationSummary of Real Analysis by Royden
Summary of Real Analysis by Royden Dan Hathaway May 2010 This document is a summary of the theorems and definitions and theorems from Part 1 of the book Real Analysis by Royden. In some areas, such as
More informationTERENCE TAO S AN EPSILON OF ROOM CHAPTER 3 EXERCISES. 1. Exercise 1.3.1
TRNC TAO S AN PSILON OF ROOM CHAPTR 3 RCISS KLLR VANDBOGRT 1. xercise 1.3.1 We merely consider the inclusion f f, viewed as an element of L p (, χ, µ), where all nonmeasurable subnull sets are given measure
More informationIsoperimetric Inequalities and Applications Inegalităţi Izoperimetrice şi Aplicaţii
Isoperimetric Inequalities and Applications Inegalităţi Izoperimetrice şi Aplicaţii Bogoşel Beniamin Coordonator: Prof. dr. Bucur Dorin Abstract This paper presents in the beginning the existence of the
More information4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan
The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan Wir müssen wissen, wir werden wissen. David Hilbert We now continue to study a special class of Banach spaces,
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More informationMeasures. Chapter Some prerequisites. 1.2 Introduction
Lecture notes Course Analysis for PhD students Uppsala University, Spring 2018 Rostyslav Kozhan Chapter 1 Measures 1.1 Some prerequisites I will follow closely the textbook Real analysis: Modern Techniques
More informationconverges as well if x < 1. 1 x n x n 1 1 = 2 a nx n
Solve the following 6 problems. 1. Prove that if series n=1 a nx n converges for all x such that x < 1, then the series n=1 a n xn 1 x converges as well if x < 1. n For x < 1, x n 0 as n, so there exists
More informationMTH 503: Functional Analysis
MTH 53: Functional Analysis Semester 1, 215-216 Dr. Prahlad Vaidyanathan Contents I. Normed Linear Spaces 4 1. Review of Linear Algebra........................... 4 2. Definition and Examples...........................
More informationNotation. General. Notation Description See. Sets, Functions, and Spaces. a b & a b The minimum and the maximum of a and b
Notation General Notation Description See a b & a b The minimum and the maximum of a and b a + & a f S u The non-negative part, a 0, and non-positive part, (a 0) of a R The restriction of the function
More informationMath 117: Infinite Sequences
Math 7: Infinite Sequences John Douglas Moore November, 008 The three main theorems in the theory of infinite sequences are the Monotone Convergence Theorem, the Cauchy Sequence Theorem and the Subsequence
More informationL p Functions. Given a measure space (X, µ) and a real number p [1, ), recall that the L p -norm of a measurable function f : X R is defined by
L p Functions Given a measure space (, µ) and a real number p [, ), recall that the L p -norm of a measurable function f : R is defined by f p = ( ) /p f p dµ Note that the L p -norm of a function f may
More informationMath 699 Reading Course, Spring 2007 Rouben Rostamian Homogenization of Differential Equations May 11, 2007 by Alen Agheksanterian
. Introduction Math 699 Reading Course, Spring 007 Rouben Rostamian Homogenization of ifferential Equations May, 007 by Alen Agheksanterian In this brief note, we will use several results from functional
More informationSTAT 7032 Probability Spring Wlodek Bryc
STAT 7032 Probability Spring 2018 Wlodek Bryc Created: Friday, Jan 2, 2014 Revised for Spring 2018 Printed: January 9, 2018 File: Grad-Prob-2018.TEX Department of Mathematical Sciences, University of Cincinnati,
More informationFunctional Analysis
The Hahn Banach Theorem : Functional Analysis 1-9-06 Extensions of Linear Forms and Separation of Convex Sets Let E be a vector space over R and F E be a subspace. A function f : F R is linear if f(αx
More informationEigenvalues and Eigenfunctions of the Laplacian
The Waterloo Mathematics Review 23 Eigenvalues and Eigenfunctions of the Laplacian Mihai Nica University of Waterloo mcnica@uwaterloo.ca Abstract: The problem of determining the eigenvalues and eigenvectors
More informationSobolev spaces. May 18
Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references
More informationMath 5051 Measure Theory and Functional Analysis I Homework Assignment 2
Math 551 Measure Theory and Functional nalysis I Homework ssignment 2 Prof. Wickerhauser Due Friday, September 25th, 215 Please do Exercises 1, 4*, 7, 9*, 11, 12, 13, 16, 21*, 26, 28, 31, 32, 33, 36, 37.
More informationMath212a1413 The Lebesgue integral.
Math212a1413 The Lebesgue integral. October 28, 2014 Simple functions. In what follows, (X, F, m) is a space with a σ-field of sets, and m a measure on F. The purpose of today s lecture is to develop the
More informationSummer Jump-Start Program for Analysis, 2012 Song-Ying Li
Summer Jump-Start Program for Analysis, 01 Song-Ying Li 1 Lecture 6: Uniformly continuity and sequence of functions 1.1 Uniform Continuity Definition 1.1 Let (X, d 1 ) and (Y, d ) are metric spaces and
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE
FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE CHRISTOPHER HEIL 1. Weak and Weak* Convergence of Vectors Definition 1.1. Let X be a normed linear space, and let x n, x X. a. We say that
More informationn [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)
1.4. CONSTRUCTION OF LEBESGUE-STIELTJES MEASURES In this section we shall put to use the Carathéodory-Hahn theory, in order to construct measures with certain desirable properties first on the real line
More informationON SUBSPACES OF NON-REFLEXIVE ORLICZ SPACES
ON SUBSPACES OF NON-REFLEXIVE ORLICZ SPACES J. ALEXOPOULOS May 28, 997 ABSTRACT. Kadec and Pelczýnski have shown that every non-reflexive subspace of L (µ) contains a copy of l complemented in L (µ). On
More informationMath 209B Homework 2
Math 29B Homework 2 Edward Burkard Note: All vector spaces are over the field F = R or C 4.6. Two Compactness Theorems. 4. Point Set Topology Exercise 6 The product of countably many sequentally compact
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationMath 4121 Spring 2012 Weaver. Measure Theory. 1. σ-algebras
Math 4121 Spring 2012 Weaver Measure Theory 1. σ-algebras A measure is a function which gauges the size of subsets of a given set. In general we do not ask that a measure evaluate the size of every subset,
More informationNOTES ON FRAMES. Damir Bakić University of Zagreb. June 6, 2017
NOTES ON FRAMES Damir Bakić University of Zagreb June 6, 017 Contents 1 Unconditional convergence, Riesz bases, and Bessel sequences 1 1.1 Unconditional convergence of series in Banach spaces...............
More informationThe Lebesgue Integral
The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters
More informationd(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N
Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x
More informationChapter 8. General Countably Additive Set Functions. 8.1 Hahn Decomposition Theorem
Chapter 8 General Countably dditive Set Functions In Theorem 5.2.2 the reader saw that if f : X R is integrable on the measure space (X,, µ) then we can define a countably additive set function ν on by
More information1 Math 241A-B Homework Problem List for F2015 and W2016
1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let
More informationReminder Notes for the Course on Measures on Topological Spaces
Reminder Notes for the Course on Measures on Topological Spaces T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie
More information16 1 Basic Facts from Functional Analysis and Banach Lattices
16 1 Basic Facts from Functional Analysis and Banach Lattices 1.2.3 Banach Steinhaus Theorem Another fundamental theorem of functional analysis is the Banach Steinhaus theorem, or the Uniform Boundedness
More informationA SYNOPSIS OF HILBERT SPACE THEORY
A SYNOPSIS OF HILBERT SPACE THEORY Below is a summary of Hilbert space theory that you find in more detail in any book on functional analysis, like the one Akhiezer and Glazman, the one by Kreiszig or
More informationTHE STONE-WEIERSTRASS THEOREM AND ITS APPLICATIONS TO L 2 SPACES
THE STONE-WEIERSTRASS THEOREM AND ITS APPLICATIONS TO L 2 SPACES PHILIP GADDY Abstract. Throughout the course of this paper, we will first prove the Stone- Weierstrass Theroem, after providing some initial
More informationREAL ANALYSIS ANALYSIS NOTES. 0: Some basics. Notes by Eamon Quinlan. Liminfs and Limsups
ANALYSIS NOTES Notes by Eamon Quinlan REAL ANALYSIS 0: Some basics Liminfs and Limsups Def.- Let (x n ) R be a sequence. The limit inferior of (x n ) is defined by and, similarly, the limit superior of
More informationAnother Riesz Representation Theorem
Another Riesz Representation Theorem In these notes we prove (one version of) a theorem known as the Riesz Representation Theorem. Some people also call it the Riesz Markov Theorem. It expresses positive
More information