L p Spaces and Convexity
|
|
- Clarence Shepherd
- 5 years ago
- Views:
Transcription
1 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 f : I R is convex if for every a, b I and every λ (0, 1), we have (1) φ(λb + (1 λ)a) λφ(b) + (1 λ)φ(a). (Note we do not assume that φ is differentiable, as for example φ(x) = x is convex.) If I is not open, then we say φ : I R is convex if (1) is satisfied and φ is continuous at any endpoint of I. Geometrically, I is convex if every secant line segment lies above the graph of φ. A convex function φ is said to be strictly convex if whenever the equality in (1) is satisfied for some λ (0, 1) and a, b I, then a = b. In other words, φ is strictly convex if for every a b I and λ (0, 1), φ(λb + (1 λ)a) < λφ(b) + (1 λ)φ(a). Here are a few lemmas about convex functions, whose proofs will be left as exercises. Lemma 1. Let φ be a convex function, and let a, b I with a < b. Assume there is a λ (0, 1) so that Then the restriction of φ to [a, b] is linear. φ(λb + (1 λ)a) = λφ(b) + (1 λ)φ(a). Lemma 2. A convex function φ is strictly convex if and only if its graph contains no line segments. Lemma 3. Each tangent line to the graph of a differentiable strictly convex function φ intersects the graph of φ only at the point of tangency. Lemma 4. Any convex function is continuous. If φ : I R is convex and x 0 I, then the line given by the graph of l(x) = φ(x 0 ) + m( ) is a supporting line of φ at x 0, if φ(x) l(x) for all x I. Proposition 5. Let φ : I R be convex, and let x 0 I. Then there is a supporting line for φ at x 0. Proof. For x I {x 0 }, let m(x) = φ(x) φ(x 0) x x 0. Then we claim m is an increasing function of x. To prove the claim, first consider x 0 < x < x be points in I, and define λ (0, 1) so that x = λx + (1 λ)x 0. Consider the secant line from x 0 to x. Then the convexity of φ implies φ(x ) = φ(λx + (1 λ)x 0 ) λφ(x) + (1 λ)φ(x 0 ). 1
2 2 Compute λ = x x 0, 1 λ = x x, φ(x ) x x 0 φ(x) + x x φ(x 0 ) = x x 0 φ(x) x x 0 φ(x 0 ) + x x 0 φ(x 0 ) + x x φ(x 0 ) = x x 0 [φ(x) φ(x 0 )] + φ(x 0 ) = (x x 0 )m(x) + φ(x 0 ), φ(x ) φ(x 0 ) x x 0 m(x), m(x ) m(x). The other cases of x < x 0 < x and x < x < x 0 are similar. Now since m(x) is increasing on I {x 0 }, the one-sided limits m + = lim x x + m(x) and 0 m = lim x x m(x) exist and satisfy m+ m. Then we claim that if m m m +, 0 then l(x) = φ(x 0 ) + m( ) is a supporting line of φ at x 0. Since m m(x) for all x > x 0, l(x) = φ(x 0 ) + m( ) φ(x 0 ) + m(x)( ) = φ(x). Similarly, since m m(x) for all x < x 0, we also see l(x) φ(x) for all x < x 0, and thus the graph of l is a supporting line for φ at x 0. Corollary 6. Let φ be a differentiable convex function. Let a, b I. Then φ(b) φ(a) + φ (a)(b a). In other words, the graph of φ lies above the graph of each tangent line. For the proof, just recognize m + = m = φ (a) in this case. Proposition 7. If φ: I R is strictly convex, and the graph of l is a supporting line of φ at x 0 I, then for all x I {x 0 }, φ(x) > l(x). Proof. Apply Lemma 2. Proposition 8. Let φ: I R be continuous, and assume φ > 0 on the interior I of I. Then φ is strictly convex on I. Proof. Since φ > 0, we see that φ is strictly increasing on I. Let a < b in I. Define ψ(t) = φ(tb + (1 t)a) tφ(b) (1 t)φ(a). Then we want to show ψ < 0 on (0, 1). Note ψ(0) = ψ(1) = 0. Now ψ (t) = φ (tb + (1 t)a)(b a) φ(b) + φ(a) is strictly increasing. Since ψ(0) = ψ(1) = 0, there is a T (0, 1) where ψ (T ) = 0 (either there is a local extremum point or ψ is constant; this is Rolle s Theorem). Since ψ is strictly increasing, we have ψ (t) < 0 for t (0, T ) and ψ (t) > 0 for t (T, 1). Therefore,
3 ψ is strictly decreasing on [0, T ] and strictly increasing on [T, 1]. Since ψ(0) = ψ(1) = 0, we find ψ(t) < 0 for t (0, 1). Corollary 9. For p (1, ), the function x x p is strictly convex on [0, ). The exponential function exp x = e x is strictly convex on (, ) The Banach space L p Let (, M, µ) be a measure space. For a measurable function f, define ( ) 1 f L p = f p p dµ. Then we define L p () = {f : R (or C) : f L p < }/, where as usual f g if f = g almost everywhere. Proposition 10. L p is a norm on L p (). Proof. It is obvious that f L p 0 always, and if f L p = 0, then we have f p dµ = 0, which implies f p = 0 a.e. This is equivalent to f = 0 a.e. It is obvious that if α is a constant, then αf L p = α f L p. The Triangle Inequality is harder, and we cover it in Minkowski s Theorem below. Theorem 1 (Minkowski s Theorem). Let p [1, ]. If f, g L p (), then (2) f + g L p f L p + g L p. If p (1, ), then equality can hold only if there are nonnegative constants α, β, not both zero, so that βf = αg. Moreover, if f, g 0 are measurable (but not necessarily in L p ()), then (2) holds. Proof. We have already addressed the cases of p = 1,. So we may assume p (1, ). Also, if f L p = 0, then f = 0 a.e., and the conclusion is valid. So now assume p (1, ), α = f L p > 0, and β = g L p > 0. Choose functions f 0 = α 1 f, g 0 = β 1 g. Therefore, f 0 L p = g 0 L p = 1. For λ = α/(α + β), and so 1 λ = β/(α + β). Compute f(x) + g(x) p ( f(x) + g(x) ) p = [αf 0 (x) + βg 0 (x)] p = (α + β) p [λf 0 (x) + (1 λ)g 0 (x)] p (α + β) p [λf 0 (x) p + (1 λ)g 0 (x) p ] by the convexity of φ(t) = t p. Recall p (1, ) implies this last inequality is strict unless f 0 (x) = g 0 (x). For z C, define sgn 0 = 0 and sgn z = z z otherwise. Also define sgn( ) = sgn( ) = 0. For f(x), g(x) finite and nonzero, we see f(x) + g(x) p = ( f(x) + g(x) ) p if and only
4 4 if sgn f(x) = sgn g(x). Thus, when f(x) and g(x) are finite, by considering various cases, we find (3) f(x) + g(x) p (α + β) p [λf 0 (x) p + (1 λ)g 0 (x) p ] with equality if and only if α 1 f(x) = β 1 g(x) when f(x), g(x) are finite. Integrating both sides of (3) gives f + g p L p (α + β)p [λ f 0 p L + (1 λ) g 0 p p L p] = (α + β) p = ( f L p + g L p) p. Therefore f + g L p f L p + g L p for f, g L p. Moreover, if there is equality, then f(x) + g(x) p (α + β) p [λf 0 (x) p + (1 λ)g 0 (x) p ] = 0, and the integrand is nonnegative almost everywhere. Therefore, the integrand must vanish almost everywhere, and thus α 1 f(x) = β 1 g(x) for almost every x. Finally, the remaining case in which f, g are nonnegative and f L p or g L p is infinite is trivial. Let (V, ) be a normed linear space. In other words, V is a vector space over R or C equipped with a norm. A series n=1 v n for v n V is convergent if the partial sums converge to a limit in V. The series is said to be absolutely convergent if n=1 v n <. Proposition 11. Let V be a vector space over the field R or C equipped with a norm. Consider the metric on V with the distance function x y. Then V is complete if and only if every absolutely convergent series in V is convergent. Proof. First of all assume V is complete. Let n=1 v n be an absolutely convergent series. Let s n = n j=1 v j be the partial sum. Then if m > n, s m s n = m j=n+1 v j and m m (4) s m s n = v j v j v j. j=n+1 j=n+1 j=n+1 But now since n=1 v n is absolutely convergent, the sum n=1 v n converges, and so the tail of the series j=n+1 v j 0 as n. In other words, for every ɛ > 0, there is an N so that if n N, then j=n+1 v j ɛ. Then (4) shows the sequence of partial sums s n is a Cauchy sequence. Since V is complete, it has a limit s V, which is the sum of the series. On the other hand, assume every absolutely convergent series in V is convergent. Let w n be a Cauchy sequence. Define w nk as a subsequence as follows: For ɛ = 1, there is an 2 N so that if n, m N, then w n w m 1. Let n 2 1 = N. Then define n k recursively as n k = max{n k 1 + 1, N}, for N a constant so that if n, m N, then w n w m 1. 2 k By induction, w nk is a subsequence of w n so that w nk w nk+1 1 for all k. Now if 2 k v 1 = w n1 and v k = w nk w nk 1 for k 2. By construction 1 v k w n1 + = w 2 k n1 + 1 <. 2 k=1 k=2
5 Therefore, k=1 v k is absolutely convergent, and thus is convergent to a sum s by our assumption. Now we show w n s. Let ɛ > 0. Note the partial sum k j=1 v j = w nk, and so w nk s as k. So there is a K so that if k K, then w nk s ɛ. Since w 2 n is Cauchy, there is an N so that if n, m N, then w n w m ɛ. So choose L K so that 2 n L N, and then for n n L, we have So w n s. w n s w n w nl + w nl s ɛ 2 + ɛ 2 = ɛ. Theorem 2. For p [1, ], L p () is a Banach space. Proof. We have already addressed the case of p =. Thus we may assume that p [1, ). We have also proved above that L p is a norm. Thus we only need to prove L p () is complete. We will use the previous proposition to show that absolutely convergent series in L p () are convergent. Let f n L p () be an absolutely convergent series, so that n=1 f n L p = M. Define g n (x) = n k=1 f k(x). By Minkowski s Inequality, n g n L p f k L p f k L p = M. k=1 Since g n is increasing pointwise, it converges g n (x) g(x) as n (where g may take the value ). Moreover, g n (x) p g(x) p. By Fatou s Lemma, we see g p lim inf gn p = lim inf g n p n n L M p. p So g p is integrable, and g(x) is finite for almost every x. For x with g(x) <, n=1 f n(x) is absolutely convergent, and thus is convergent in R (or C). So for almost every x, we define s(x) = n=1 f n(x), and let s n (x) be the corresponding partial sum. Note s n (x) g(x) implies s(x) g(x) and thus s L p (). This implies s n (x) s(x) p 2 p g(x) p, and 2 p g p is integrable. Therefore, the Dominated Convergence Theorem applies, and since s n (x) s(x) p 0 almost everywhere, s n s p L = s p n s p 0 = 0. Thus the sum n=1 f n converges to s L p (). Theorem 3. Let p [1, ), and consider R d with Lebesgue measure. Then the following sets of functions are dense in L p (R d ): k=1 Simple functions. Step functions. Continuous functions with compact support. The proof is very similar to the case p = 1. 5
6 6 3. Hölder s Inequality For p [1, ], the conjugate exponent is defined to be q so that = 1. We consider p q 1, to be conjugate exponents. Theorem 4 (Hölder s Inequality). Let p, q be conjugate exponents. Let f L p () and g L q (). Then (5) fg L 1 = fg f L p g L q. Moreover, if p (1, ), equality holds in (5) if and only if there are constants α, β which are not both zero so that α f p = β g q almost everywhere. More generally, if f, g are nonnegative measurable functions, then (5) holds. Proof. First of all, if f L p = 0, then f = 0 a.e. and the result is trivial. The same is true if g L q = 0. If p = 1 and q =, then g(x) g L for almost all x. Therefore, fg g L f = f L 1 g L. The same is true if p = and q = 1. Thus we assume p, q (1, ). We may assume α = f L p and β = g L q are positive. Let f 0 = α 1 f and g 0 = β 1 g. The convexity of the exponential function implies since = 1 that e s p + t q p q p 1 e s + q 1 e t. Now for x so that f 0 (x), g 0 (x) (0, ), define s, t by f 0 (x) = exp( s) and p g 0 (x) = exp( t ). Therefore, q (6) f 0 (x)g 0 (x) p 1 f 0 (x) p + q 1 g 0 (x) q for every x. (The cases where f 0 (x), g 0 (x) are 0 or are easy to analyze.) Moreover, the strict convexity of the exponential function implies that if there is equality in (6), then s = t, which implies f 0 (x) p = g 0 (x) q, at least in the case when f 0 (x), g 0 (x) are both finite. Now integrate (6) to see f 0 g 0 p 1 f p 0 + q 1 g q 0 = p 1 + q 1 = 1. Then the definitions of f 0, g 0 imply (5). If Hölder s Inequality is an equality, then f 0 g 0 (p 1 f p 0 + q 1 g0) p = 0, while the integrand is nonnegative. Thus we have f 0 (x)g 0 (x) = p 1 f 0 (x) p + q 1 g 0 (x) q for almost all x. This implies f 0 (x) p = g 0 (x) q for almost all x. One remaining case is that of f, g 0 but f L p =. The inequality is trivially true here. The last remaining case, of g L q =, is handled the same way.
7 7 4. Jensen s Inequality A measure µ on a σ-algebra M on a set is called a probability measure if µ() = 1. Proposition 12. Let (, M, µ) be a measure space. Let f be a nonnegative measurable function on. For every E M, define ν(e) = f dµ. Then ν is a measure on M. E Proof. We need to check countable additivity. So let E j be a countable disjoint collection of measurable sets. Then ( ) ν E j = f χ j=1 E j dµ = f χ Ej = f χ Ej = ν(e j ). j=1 j=1 Here the second equality is by the assumption that the E j are disjoint, while the third follows from the Monotone Convergence Theorem, since f χ Ej 0. This proposition shows how to produce a probability measure from any measure space together with a measurable nonnegative function with integral 1. Theorem 5 (Jensen s Inequality). Let (, M, µ) be a probability measure space. Let g be an integrable function on with range in an interval I R. Let φ: I R be convex. Then ( ) φ g dµ φ g dµ. Proof. Let α = g dµ. Then we claim α I. To prove the claim, consider b = sup I. If b =, then α < b since g is integrable. On the other hand, if b is finite, then α = g dµ b dµ = b µ() = b. A similar analysis applies to inf I, and this implies α Ī the closure of I. Moreover, if b is an endpoint of I, then α b unless g(x) = b for almost every x. (Why?) Thus there are two cases. In the trivial case g(x) = b for almost every x. In this case, ( ) φ g dµ = φ(b) dµ = φ(b) = φ g dµ. Otherwise, α I. By Proposition 5, we my choose l(x) = φ(α) + m(x α) φ(x) for all x I. Therefore, ( ) φ g dµ φ(α) + m(g α) dµ = φ(α) = φ g dµ. Corollary 13. If on a measure space, f is a positive measurable function with integral 1, let g and φ satisfy the hypotheses of Jensen s Inequality. Then ( ) (φ g)f dµ φ gf dµ). j=1 j=1
Problem set 4, Real Analysis I, Spring, 2015.
Problem set 4, Real Analysis I, Spring, 215. (18) Let f be a measurable finite-valued function on [, 1], and suppose f(x) f(y) is integrable on [, 1] [, 1]. Show that f is integrable on [, 1]. [Hint: Show
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 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 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 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 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 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 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 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 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 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 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 information3 Integration and Expectation
3 Integration and Expectation 3.1 Construction of the Lebesgue Integral Let (, F, µ) be a measure space (not necessarily a probability space). Our objective will be to define the Lebesgue integral R fdµ
More informationSection Integration of Nonnegative Measurable Functions
18.2. Integration of Nonnegative Measurable Functions 1 Section 18.2. Integration of Nonnegative Measurable Functions Note. We now define integrals of measurable functions on measure spaces. Though similar
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 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 information2 Lebesgue integration
2 Lebesgue integration 1. Let (, A, µ) be a measure space. We will always assume that µ is complete, otherwise we first take its completion. The example to have in mind is the Lebesgue measure on R n,
More informationconsists of two disjoint copies of X n, each scaled down by 1,
Homework 4 Solutions, Real Analysis I, Fall, 200. (4) Let be a topological space and M be a σ-algebra on which contains all Borel sets. Let m, µ be two positive measures on M. Assume there is a constant
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 informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
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 informationFunctional Analysis, Stein-Shakarchi Chapter 1
Functional Analysis, Stein-Shakarchi Chapter 1 L p spaces and Banach Spaces Yung-Hsiang Huang 018.05.1 Abstract Many problems are cited to my solution files for Folland [4] and Rudin [6] post here. 1 Exercises
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 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 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 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 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 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 informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
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 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 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 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 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 informationIntegral Jensen inequality
Integral Jensen inequality Let us consider a convex set R d, and a convex function f : (, + ]. For any x,..., x n and λ,..., λ n with n λ i =, we have () f( n λ ix i ) n λ if(x i ). For a R d, let δ a
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 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 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 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 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 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 informationMAA6617 COURSE NOTES SPRING 2014
MAA6617 COURSE NOTES SPRING 2014 19. Normed vector spaces Let X be a vector space over a field K (in this course we always have either K = R or K = C). Definition 19.1. A norm on X is a function : X K
More informationSOME QUESTIONS FOR MATH 766, SPRING Question 1. Let C([0, 1]) be the set of all continuous functions on [0, 1] endowed with the norm
SOME QUESTIONS FOR MATH 766, SPRING 2016 SHUANGLIN SHAO Question 1. Let C([0, 1]) be the set of all continuous functions on [0, 1] endowed with the norm f C = sup f(x). 0 x 1 Prove that C([0, 1]) is a
More informationLEBESGUE MEASURE AND L2 SPACE. Contents 1. Measure Spaces 1 2. Lebesgue Integration 2 3. L 2 Space 4 Acknowledgments 9 References 9
LBSGU MASUR AND L2 SPAC. ANNI WANG Abstract. This paper begins with an introduction to measure spaces and the Lebesgue theory of measure and integration. Several important theorems regarding the Lebesgue
More informationTheorem 2.1 (Caratheodory). A (countably additive) probability measure on a field has an extension. n=1
Chapter 2 Probability measures 1. Existence Theorem 2.1 (Caratheodory). A (countably additive) probability measure on a field has an extension to the generated σ-field Proof of Theorem 2.1. Let F 0 be
More information3 Measurable Functions
3 Measurable Functions Notation A pair (X, F) where F is a σ-field of subsets of X is a measurable space. If µ is a measure on F then (X, F, µ) is a measure space. If µ(x) < then (X, F, µ) is a probability
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 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 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 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 informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
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 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 informationi. v = 0 if and only if v 0. iii. v + w v + w. (This is the Triangle Inequality.)
Definition 5.5.1. A (real) normed vector space is a real vector space V, equipped with a function called a norm, denoted by, provided that for all v and w in V and for all α R the real number v 0, and
More informationg(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0)
Mollifiers and Smooth Functions We say a function f from C is C (or simply smooth) if all its derivatives to every order exist at every point of. For f : C, we say f is C if all partial derivatives to
More information1 Inner Product Space
Ch - Hilbert Space 1 4 Hilbert Space 1 Inner Product Space Let E be a complex vector space, a mapping (, ) : E E C is called an inner product on E if i) (x, x) 0 x E and (x, x) = 0 if and only if x = 0;
More informationAnnalee Gomm Math 714: Assignment #2
Annalee Gomm Math 714: Assignment #2 3.32. Verify that if A M, λ(a = 0, and B A, then B M and λ(b = 0. Suppose that A M with λ(a = 0, and let B be any subset of A. By the nonnegativity and monotonicity
More informationMcGill University Math 354: Honors Analysis 3
Practice problems McGill University Math 354: Honors Analysis 3 not for credit Problem 1. Determine whether the family of F = {f n } functions f n (x) = x n is uniformly equicontinuous. 1st Solution: The
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 informationNotes on Integrable Functions and the Riesz Representation Theorem Math 8445, Winter 06, Professor J. Segert. f(x) = f + (x) + f (x).
References: Notes on Integrable Functions and the Riesz Representation Theorem Math 8445, Winter 06, Professor J. Segert Evans, Partial Differential Equations, Appendix 3 Reed and Simon, Functional Analysis,
More informationI. ANALYSIS; PROBABILITY
ma414l1.tex Lecture 1. 12.1.2012 I. NLYSIS; PROBBILITY 1. Lebesgue Measure and Integral We recall Lebesgue measure (M411 Probability and Measure) λ: defined on intervals (a, b] by λ((a, b]) := b a (so
More informationvan Rooij, Schikhof: A Second Course on Real Functions
vanrooijschikhof.tex April 25, 2018 van Rooij, Schikhof: A Second Course on Real Functions Notes from [vrs]. Introduction A monotone function is Riemann integrable. A continuous function is Riemann integrable.
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 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 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 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 informationNORMS ON SPACE OF MATRICES
NORMS ON SPACE OF MATRICES. Operator Norms on Space of linear maps Let A be an n n real matrix and x 0 be a vector in R n. We would like to use the Picard iteration method to solve for the following system
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 informationMA359 Measure Theory
A359 easure Theory Thomas Reddington Usman Qureshi April 8, 204 Contents Real Line 3. Cantor set.................................................. 5 2 General easures 2 2. Product spaces...............................................
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationLocally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem
56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi
More informationMeasure and integration
Chapter 5 Measure and integration In calculus you have learned how to calculate the size of different kinds of sets: the length of a curve, the area of a region or a surface, the volume or mass of a solid.
More informationIntroduction and Preliminaries
Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis
More informationMath 5052 Measure Theory and Functional Analysis II Homework Assignment 7
Math 5052 Measure Theory and Functional Analysis II Homework Assignment 7 Prof. Wickerhauser Due Friday, February 5th, 2016 Please do Exercises 3, 6, 14, 16*, 17, 18, 21*, 23*, 24, 27*. Exercises marked
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 informationReal Analysis Chapter 4 Solutions Jonathan Conder
2. Let x, y X and suppose that x y. Then {x} c is open in the cofinite topology and contains y but not x. The cofinite topology on X is therefore T 1. Since X is infinite it contains two distinct points
More informationMATH 426, TOPOLOGY. p 1.
MATH 426, TOPOLOGY THE p-norms In this document we assume an extended real line, where is an element greater than all real numbers; the interval notation [1, ] will be used to mean [1, ) { }. 1. THE p
More informationDual Space of L 1. C = {E P(I) : one of E or I \ E is countable}.
Dual Space of L 1 Note. The main theorem of this note is on page 5. The secondary theorem, describing the dual of L (µ) is on page 8. Let (X, M, µ) be a measure space. We consider the subsets of X which
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 informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
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 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 information( f ^ M _ M 0 )dµ (5.1)
47 5. LEBESGUE INTEGRAL: GENERAL CASE Although the Lebesgue integral defined in the previous chapter is in many ways much better behaved than the Riemann integral, it shares its restriction to bounded
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 informationA PRIMER OF LEBESGUE INTEGRATION WITH A VIEW TO THE LEBESGUE-RADON-NIKODYM THEOREM
A PRIMR OF LBSGU INTGRATION WITH A VIW TO TH LBSGU-RADON-NIKODYM THORM MISHL SKNDRI Abstract. In this paper, we begin by introducing some fundamental concepts and results in measure theory and in the Lebesgue
More information1. Let A R be a nonempty set that is bounded from above, and let a be the least upper bound of A. Show that there exists a sequence {a n } n N
Applied Analysis prelim July 15, 216, with solutions Solve 4 of the problems 1-5 and 2 of the problems 6-8. We will only grade the first 4 problems attempted from1-5 and the first 2 attempted from problems
More informationMATH & MATH FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING Scientia Imperii Decus et Tutamen 1
MATH 5310.001 & MATH 5320.001 FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING 2016 Scientia Imperii Decus et Tutamen 1 Robert R. Kallman University of North Texas Department of Mathematics 1155
More informationChapter 4. The dominated convergence theorem and applications
Chapter 4. The dominated convergence theorem and applications The Monotone Covergence theorem is one of a number of key theorems alllowing one to exchange limits and [Lebesgue] integrals (or derivatives
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationFunctional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32
Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak
More informationNOTES ON VECTOR-VALUED INTEGRATION MATH 581, SPRING 2017
NOTES ON VECTOR-VALUED INTEGRATION MATH 58, SPRING 207 Throughout, X will denote a Banach space. Definition 0.. Let ϕ(s) : X be a continuous function from a compact Jordan region R n to a Banach space
More informationAustin Mohr Math 704 Homework 6
Austin Mohr Math 704 Homework 6 Problem 1 Integrability of f on R does not necessarily imply the convergence of f(x) to 0 as x. a. There exists a positive continuous function f on R so that f is integrable
More informationMATH 140B - HW 5 SOLUTIONS
MATH 140B - HW 5 SOLUTIONS Problem 1 (WR Ch 7 #8). If I (x) = { 0 (x 0), 1 (x > 0), if {x n } is a sequence of distinct points of (a,b), and if c n converges, prove that the series f (x) = c n I (x x n
More informationHomework 11. Solutions
Homework 11. Solutions Problem 2.3.2. Let f n : R R be 1/n times the characteristic function of the interval (0, n). Show that f n 0 uniformly and f n µ L = 1. Why isn t it a counterexample to the Lebesgue
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 informationMA677 Assignment #3 Morgan Schreffler Due 09/19/12 Exercise 1 Using Hölder s inequality, prove Minkowski s inequality for f, g L p (R d ), p 1:
Exercise 1 Using Hölder s inequality, prove Minkowski s inequality for f, g L p (R d ), p 1: f + g p f p + g p. Proof. If f, g L p (R d ), then since f(x) + g(x) max {f(x), g(x)}, we have f(x) + g(x) p
More informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More informationNormed Vector Spaces and Double Duals
Normed Vector Spaces and Double Duals Mathematics 481/525 In this note we look at a number of infinite-dimensional R-vector spaces that arise in analysis, and we consider their dual and double dual spaces
More informationFUNCTIONAL ANALYSIS CHRISTIAN REMLING
FUNCTIONAL ANALYSIS CHRISTIAN REMLING Contents 1. Metric and topological spaces 2 2. Banach spaces 12 3. Consequences of Baire s Theorem 30 4. Dual spaces and weak topologies 34 5. Hilbert spaces 50 6.
More information6. Duals of L p spaces
6 Duals of L p spaces This section deals with the problem if identifying the duals of L p spaces, p [1, ) There are essentially two cases of this problem: (i) p = 1; (ii) 1 < p < The major difference between
More information