Functional Analysis, Stein-Shakarchi Chapter 1

Size: px
Start display at page:

Download "Functional Analysis, Stein-Shakarchi Chapter 1"

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 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 information

THEOREMS, ETC., FOR MATH 515

THEOREMS, 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 information

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

Real 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 information

L p Spaces and Convexity

L 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 information

MATHS 730 FC Lecture Notes March 5, Introduction

MATHS 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 information

Real Analysis Notes. Thomas Goller

Real 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 information

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

l(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 information

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?

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? 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 information

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

Real 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 information

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

Partial 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 information

MATH MEASURE THEORY AND FOURIER ANALYSIS. Contents

MATH 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 information

Partial Differential Equations, 2nd Edition, L.C.Evans The Calculus of Variations

Partial 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 information

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

3. (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 information

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

1/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 information

Lebesgue Integration on R n

Lebesgue 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 information

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?

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? 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 information

The Heine-Borel and Arzela-Ascoli Theorems

The 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 information

MTH 404: Measure and Integration

MTH 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 information

Measurable functions are approximately nice, even if look terrible.

Measurable 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

(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 information

It follows from the above inequalities that for c C 1

It 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 information

Overview of normed linear spaces

Overview 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 information

Examples of Dual Spaces from Measure Theory

Examples 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 information

REAL AND COMPLEX ANALYSIS

REAL 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 information

Real Analysis, 2nd Edition, G.B.Folland Chapter 6

Real 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 information

Measure and Integration: Solutions of CW2

Measure 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 information

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

PROBLEMS. (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 information

THEOREMS, ETC., FOR MATH 516

THEOREMS, 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 information

ABSTRACT INTEGRATION CHAPTER ONE

ABSTRACT 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 information

It follows from the above inequalities that for c C 1

It 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 information

FUNDAMENTALS OF REAL ANALYSIS by. IV.1. Differentiation of Monotonic Functions

FUNDAMENTALS 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 information

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

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 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 information

Analysis Comprehensive Exam Questions Fall 2008

Analysis 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 information

A VERY BRIEF REVIEW OF MEASURE THEORY

A 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 information

Riesz Representation Theorems

Riesz 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 information

Three hours THE UNIVERSITY OF MANCHESTER. 24th January

Three 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 information

General Instructions

General 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 information

Lecture 4 Lebesgue spaces and inequalities

Lecture 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 information

Class Notes for Math 921/922: Real Analysis, Instructor Mikil Foss

Class 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 information

Measure, Integration & Real Analysis

Measure, 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 information

The Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:

The 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 information

Exercise 1. Let f be a nonnegative measurable function. Show that. where ϕ is taken over all simple functions with ϕ f. k 1.

Exercise 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 information

Five Mini-Courses on Analysis

Five 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 information

MEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich

MEASURE 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 information

LECTURE NOTES FOR , FALL Contents. Introduction. 1. Continuous functions

LECTURE 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 information

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

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 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 information

Lebesgue Integration: A non-rigorous introduction. What is wrong with Riemann integration?

Lebesgue 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 information

Integration on Measure Spaces

Integration 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 information

Chapter 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. 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 information

Problem Set 2: Solutions Math 201A: Fall 2016

Problem 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 information

Measure 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 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 information

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

CONTENTS. 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 information

Part II Probability and Measure

Part 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 information

A 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 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 information

Real Analysis Problems

Real 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 information

Review of measure theory

Review 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 information

An introduction to some aspects of functional analysis

An 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 information

Lecture 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 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 information

Math 328 Course Notes

Math 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 information

212a1214Daniell s integration theory.

212a1214Daniell 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 information

LECTURE NOTES FOR , FALL 2004

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

(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 information

Chapter 5. Measurable Functions

Chapter 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 information

Summary of Real Analysis by Royden

Summary 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 information

TERENCE TAO S AN EPSILON OF ROOM CHAPTER 3 EXERCISES. 1. Exercise 1.3.1

TERENCE 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 information

Isoperimetric Inequalities and Applications Inegalităţi Izoperimetrice şi Aplicaţii

Isoperimetric 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 information

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

4 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 information

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

MAT 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 information

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

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 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 information

Measures. Chapter Some prerequisites. 1.2 Introduction

Measures. 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 information

converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n

converges 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 information

MTH 503: Functional Analysis

MTH 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 information

Notation. 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. 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 information

Math 117: Infinite Sequences

Math 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 information

L 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 (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 information

Math 699 Reading Course, Spring 2007 Rouben Rostamian Homogenization of Differential Equations May 11, 2007 by Alen Agheksanterian

Math 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 information

STAT 7032 Probability Spring Wlodek Bryc

STAT 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 information

Functional Analysis

Functional 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 information

Eigenvalues and Eigenfunctions of the Laplacian

Eigenvalues 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 information

Sobolev spaces. May 18

Sobolev 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 information

Math 5051 Measure Theory and Functional Analysis I Homework Assignment 2

Math 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 information

Math212a1413 The Lebesgue integral.

Math212a1413 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 information

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li

Summer 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 information

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE

FUNCTIONAL 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 information

n [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)

n [ 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 information

ON SUBSPACES OF NON-REFLEXIVE ORLICZ SPACES

ON 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 information

Math 209B Homework 2

Math 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 information

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

g 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 information

Math 4121 Spring 2012 Weaver. Measure Theory. 1. σ-algebras

Math 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 information

NOTES ON FRAMES. Damir Bakić University of Zagreb. June 6, 2017

NOTES 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 information

The Lebesgue Integral

The 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 information

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

d(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 information

Chapter 8. General Countably Additive Set Functions. 8.1 Hahn Decomposition Theorem

Chapter 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 information

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

1 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 information

Reminder Notes for the Course on Measures on Topological Spaces

Reminder 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 information

16 1 Basic Facts from Functional Analysis and Banach Lattices

16 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 information

A SYNOPSIS OF HILBERT SPACE THEORY

A 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 information

THE STONE-WEIERSTRASS THEOREM AND ITS APPLICATIONS TO L 2 SPACES

THE 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 information

REAL ANALYSIS ANALYSIS NOTES. 0: Some basics. Notes by Eamon Quinlan. Liminfs and Limsups

REAL 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 information

Another Riesz Representation Theorem

Another 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