Problem set 4, Real Analysis I, Spring, 2015.
|
|
- Myles Nelson
- 5 years ago
- Views:
Transcription
1 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 that if p is a real or complex number, and f(x) p is integrable over [, 1], then f(x) is integrable.] Solution: Part (i) of Fubini s Theorem 3.1 implies that for almost every y [, 1], the function f(x) f(y) is integrable as a function of x on [, 1]. In other words, for such a y, f(x) f(y) dx <. But then by the Triangle Inequality f(x) dx f(x) f(y) dx+ f(y) dx = f(x) f(y) dx+ f(y) <, and so f is integrable. (19) Suppose f is integrable on R d. For each α >, let E α = {x : f(x) α}. Prove that f(x) dx = m(e α ) dα. R d [Hint: Consider Corollary 3.8.] Solution: Corollary 3.8(ii) shows that for A = {(x, y) R d R : y f(x) }, f(x) dx = m(a). R d Now m(a) = χ A. R d+1 Then we can apply either Fubini s Theorem or Tonelli s Theorem to show χ A = χ A (x, α) dx dα R d+1 R d = χ Eα (x) dx dα R d = 1 m(e α ) dα.
2 (6) (a) Let I be an interval, and let φ: I R be a convex function, and let a, b I with a < b. Assume there is a λ (, 1) so that φ(λb + (1 λ)a) = λφ(b) + (1 λ)φ(a). Show the restriction of φ to [a, b] is linear. Hint: Draw a picture. The graph of φ on [a, b] must lie below the secant line l. Then for c = λb + (1 λ)a, let d (a, c). If (d, φ(d)) l, then draw a secant line to produce a contradiction. Do the same for d (c, b). Solution: Let c = λb + (1 λ)a. We assume that φ(c) = λφ(b) + (1 λ)φ(a). Let d (a, c). We prove by contradiction the (d, φ(d)) l. Define l(x) to be the linear function through (a, φ(a)) and (b, φ(b)). By the convexity of φ, we know φ(d) l(d). So to proceed with the proof by contradiction, we may assume φ(d) < l(d). Now again since φ is convex, if we define l(x) to the the linear function between (d, f(d)) and (b, f(b)), then for all x (d, b), φ(x) l(x). Note also l(d) = φ(d) < l(d), while l(b) = φ(b) = l(b). Since l l is linear, we find that l(x) l(x) < for all x < b. In particular, we see that l(c) < l(c) = φ(c), and c (d, b). This provides a contradiction, and so we see that φ(d) = l(d). There is a remaining case of d (c, b) to rule out. This proceeds as above by contradiction, where instead we consider the line from (a, φ(a)) to (d, φ(d)) to derive the contradiction. (b) Show that a convex function φ is strictly convex if and only if its graph contains no line segments. Solution: We prove each direction by using the contrapositive. If the graph of φ contains a line segment, it is obviously not strictly convex (consider the endpoint of the line segment and any point in the interior of the segment). On the other hand, if φ is convex but not strictly convex, then by definition there is an [a, b] in the domain and a c (a, b) so that φ(c) = l(c), where l is defined as above. Part (a) then shows that φ is linear on [a, b], and thus the graph contains a line segment. 2
3 (7) Let (, M, µ) be a measure space. Let φ be a strictly convex function on an interval I, and assume the range of a measurable function g : R is contained in I. Formulate and prove a version of the equality case of Jensen s Inequality. Solution: The correct statement is Theorem 1 (Jensen s Inequality, The Case of Equality). 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 strictly convex. Then if ( ) φ g dµ = φ g dµ, g is constant almost everywhere (in other words, there is a constant C I so that g = C almost everywhere). The proof is as follows (we modify the proof of Jensen s Inequality in the notes): Let α = g dµ. Then, as in the proof in the notes, we find that either g = α for almost all x (in which case we are done), or α I the interior of I. By Proposition 5 in the notes, we my choose l(x) = φ(α) + m(x α) φ(x) for all x I. Therefore, ( ) φ g dµ φ(α) + m(g α) dµ = φ(α) = φ g dµ. Let l be a linear function whose graph is a supporting line to the graph of φ at α (this is guaranteed by Proposition 5 in the notes on L p Spaces and Convexity. In particular, the convexity of φ implies φ(c) l(c) for all c I. Moreover, the strict convexity of φ and Problem 6b above imply that φ(c) > l(c) for all c I \ {α}. Write l(c) = φ(α) + m(c α). Then compute (φ g l g) dµ = φ g [φ(α) + m(g α)] dµ = φ g φ(α) m g dµ + mα ( ) = φ g φ g dµ = 3
4 Here the last inequality is by our assumption of equality. Now on, φ g l g is a nonnegative measurable function with integral. Therefore, φ g l g = almost everywhere. But φ g = l g if and only if g = α. Thus g = α almost everywhere. (8) Let (, M, µ) be a measure space. Let 1 < s < r <. Assume f L s () L r () and that f L s. Define for p [s, r], φ(p) = f p Lp. Prove that log φ is convex on [s, r]. Recall there are two parts to this. (a) For a, b [s, r] and λ (, 1), prove log φ(λb + (1 λ)a) λ log φ(b) + (1 λ) log φ(a). Hint: Apply Hölder s Inequality to the integral φ(p) = f γ f p γ dµ for a judicious choice of γ. Solution: Let s a < b r and let p (a, b). For u, v (1, ) conjugate exponents (so that u 1 + v 1 = 1), compute for γ (1, p) using Hölder s Inequality φ(p) = f γ f p γ dµ = f γ L u f p γ L v ( ) u 1 ( ( f γ ) u dµ ( f p γ ) v dµ = φ(uγ) u 1 φ(v(p γ)) v 1, log φ(p) u 1 log φ(uγ) + v 1 log φ(v(p γ)). u = b a p a, ) v 1 To convert this inequality into the convexity inequality, note a, b, p are fixed, and we would like to set uγ = b, v(p γ) = a, u 1 = λ, v 1 = 1 λ, and p = λb + (1 λ)a. Together with u 1 + v 1 = 1, these equations form a linear system for u 1, v 1, γ, λ which can be solved to find v = b a b p, λ = p a b(p a), γ = b a b a. We can check that a < p < b implies u, v (1, ), λ (, 1), γ (1, p), as is necessary. (b) Prove log φ is continuous at the endpoints r, s. Hint: In order to prove the continuity of log φ at the endpoints s, r, use the convexity inequality to show 4
5 lim sup p r + log φ(p) log φ(r). Then use Fatou s Lemma to conclude that lim p r + log φ(p) = log φ(r). Solution: The convexity inequality implies that for p = λr + (1 λ)s, λ (, 1), that log φ(p) λ log φ(r) + (1 λ) log φ(s). Taking λ +, we find lim sup log φ(p) log φ(s). p s + Similarly, we may take λ 1 to find lim sup log φ(b) log φ(r). p r For the opposite inequalities, let λ n (, 1) so that λ n. Then for p n = λ n r + (1 λ n )s, we have f pn is a sequence of nonnegative measurable functions which converge everywhere to f s as n. Then by Fatou s Lemma, φ(s) = f s dµ lim inf f pn dµ = lim inf φ(p n). n n Since the sequence p n s + is arbitrary, we find Thus lim inf p s + φ(p) φ(s). lim sup φ(p) φ(s) lim inf φ(p), p s + p s + and so the limit exists and must equal φ(s). Similar considerations work for the other endpoint as p r. Thus φ is continuous on [s, r] and so is convex. (9) Let = {p 1, p 2 } equipped with the counting measure. The set of real-valued functions on can be identified with R 2. (a) Describe the L 1, L 2 and L norms on as norms on R 2. Solution: A function on is described by its values on p 1, p 2. So we describe each function x as an ordered pair (x 1, x 2 ) = (x(p 1 ), x(p 2 )) R 2. The integral with respect to the counting measure is just the sum x 1 + x 2. There are no nonempty sets of measure zero, and so the essential supremum is just the supremum. 5
6 6 x L 1 = x L 2 = ( x = x 1 + x 2, x 2 ) 1 2 = ( x1 2 + x 2 2 ) 1 2, x L = sup{ x 1, x 2 } = max( x 1, x 2 ). (b) Let f, g be functions in L 2 (), and assume f + g L 2 = f L 2 + g L 2. Show directly by using the geometry of R 2 that there are nonnegative constants α, β, not both zero, so that αf = βg. Solution: The L 2 norm is just the usual Euclidean norm on R 2. Let (, ) denote the corresponding inner product. Compute f + g 2 L 2 = ( f L 2 + g L 2)2, (f + g, f + g) = f f g + g 2, f 2 + 2(f, g) + g 2 = f f g + g 2, (f, g) = f g. Now for f, g both not zero, we know that (f, g) = f g cos θ, where θ is the angle between f and g as vectors in R 2. Thus in this case, our equality is just that cos θ = 1, which is equivalent to f, g being colinear and pointing in the same direction. This is exactly what we are to prove. (The remaining cases in which f or g or both are zero follow easily.) (c) Describe all pairs of functions f, g on so that f +g L 1 = f L 1 + g L 1. Do the same for L. Solution: f + g L 1 = f L 1 + g L 1 is equivalent to (1) f 1 + g 1 + f 2 + g 2 = f 1 + f 2 + g 1 + g 2. The Triangle Inequality in R implies f j +g j f j + g j for j = 1, 2. Thus (1) is equivalent to both these inequalities being equalities, and so f 1 + g 1 = f 1 + g 1, f 2 + g 2 = f 2 + g 2. This is true if and only if there are nonnegative constants α 1, β 1, not both zero, so that α 1 f 1 = β 1 g 1, and in addition there are two other nonnegative constants α 2, β 2, not both zero, so that α 2 f 2 = β 2 g 2. Roughly this means that for f 1, g 1 must have the same sign (with a zero value being
7 treated as either positive or negative), and the same must also be true for f 2, g 2. Note this is a much weaker condition than for L 2, as for example f = (3, 5), g = (1, ) satisfy f + g L 1 = f L 1 + g L 1. For the case of L, the case of equality happens if and only if both of the pairs f 1 +f 2, g 1 +g 2 and f 1 f 2, g 1 g 2 have the same sign (in the sense above; zero is considered to have the same sign as any real number, positive or negative). There is a slick way of seeing this, by considering the map Φ: R 2 R 2 given by Φ(x 1, x 2 ) = (x 1 + x 2, x 1 x 2 ). Then we can express f L 1 = Φ f L and f L = 2 Φ f L 1. Thus we can relate the condition for L to that of L 1 via Φ. Otherwise, it is possible to analyze the case of L by considering various cases. First of all note f + g L = f L + g L is equivalent to (2) max( f 1 + g 1, f 2 + g 2 ) = max( f 1, f 2 ) + max( g 1, g 2 ) We begin by considering a few cases. First of all, if f 1 > f 2 and g 1 > g 2, then we note f 2 + g 2 f 2 + g 2 < f 1 + f 2, and so the max on the left-hand side of (2) must be f 1 +g 1. So we are left with f 1 +g 1 = f 1 + g 1 in this case. This is only true if f 1, g 1 have the This analysis holds in these cases: f 1 > f 2, g 1 > g 2 together imply f 1, g 1 have the f 1 = f 2, g 1 > g 2 together imply f 1, g 1 have the f 1 > f 2, g 1 = g 2 together imply f 1, g 1 have the The same analysis leads to the following cases: f 2 > f 1, g 2 > g 1 together imply f 2, g 2 have the f 2 = f 1, g 2 > g 1 together imply f 2, g 2 have the f 2 > f 1, g 2 = g 1 together imply f 2, g 2 have the There are a few cases remaining. First of all if f 1 > f 2 and g 2 > g 1, then the right-hand side of (2) is f 1 + g 2, while for the left-hand side, f 1 +g 1 f 1 + g 1 < f 1 + g 2, and similarly f 2 +g 2 f 2 + g 2 < f 1 + g 2. This shows 7
8 there is no solution to (2) in this case. We list another similar case as well f 1 > f 2, g 2 > g 1 together imply there is no solution to (2). f 2 > f 1, g 1 > g 2 together imply there is no solution to (2). Finally, there is the remaining case of f 1 = f 2, g 1 = g 2. In this case, (2) implies we may have f 1 + g 1 = f 1 + g 1 or f 2 + g 2 = f 2 + g 2 (or both). This corresponds to f 1 = f 2, g 1 = g 2 together imply f 1, g 1 have the same sign or f 2, g 2 have the same sign (or both). It is not difficult to translate these cases into the conditions on f g, f + g mentioned above. 8
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationExtreme Abridgment of Boyd and Vandenberghe s Convex Optimization
Extreme Abridgment of Boyd and Vandenberghe s Convex Optimization Compiled by David Rosenberg Abstract Boyd and Vandenberghe s Convex Optimization book is very well-written and a pleasure to read. The
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 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 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 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 informationContinuity. Chapter 4
Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of
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 informationConvex Analysis and Economic Theory AY Elementary properties of convex functions
Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory AY 2018 2019 Topic 6: Convex functions I 6.1 Elementary properties of convex functions We may occasionally
More informationMeasure and Integration: Solutions of CW2
Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost
More informationContinuity. Chapter 4
Chapter 4 Continuity Throughout this chapter D is a nonempty subset of the real numbers. We recall the definition of a function. Definition 4.1. A function from D into R, denoted f : D R, is a subset of
More informationOptimization and Optimal Control in Banach Spaces
Optimization and Optimal Control in Banach Spaces Bernhard Schmitzer October 19, 2017 1 Convex non-smooth optimization with proximal operators Remark 1.1 (Motivation). Convex optimization: easier to solve,
More informationf(x)dx = lim f n (x)dx.
Chapter 3 Lebesgue Integration 3.1 Introduction The concept of integration as a technique that both acts as an inverse to the operation of differentiation and also computes areas under curves goes back
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 informationConsequences of Continuity and Differentiability
Consequences of Continuity and Differentiability We have seen how continuity of functions is an important condition for evaluating limits. It is also an important conceptual tool for guaranteeing the existence
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 informationDivision of the Humanities and Social Sciences. Supergradients. KC Border Fall 2001 v ::15.45
Division of the Humanities and Social Sciences Supergradients KC Border Fall 2001 1 The supergradient of a concave function There is a useful way to characterize the concavity of differentiable functions.
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 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 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 information2019 Spring MATH2060A Mathematical Analysis II 1
2019 Spring MATH2060A Mathematical Analysis II 1 Notes 1. CONVEX FUNCTIONS First we define what a convex function is. Let f be a function on an interval I. For x < y in I, the straight line connecting
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 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 informationEC9A0: Pre-sessional Advanced Mathematics Course. Lecture Notes: Unconstrained Optimisation By Pablo F. Beker 1
EC9A0: Pre-sessional Advanced Mathematics Course Lecture Notes: Unconstrained Optimisation By Pablo F. Beker 1 1 Infimum and Supremum Definition 1. Fix a set Y R. A number α R is an upper bound of Y if
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 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 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 informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More informationConvex Optimization Notes
Convex Optimization Notes Jonathan Siegel January 2017 1 Convex Analysis This section is devoted to the study of convex functions f : B R {+ } and convex sets U B, for B a Banach space. The case of B =
More informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
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 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 informationMATH 202B - Problem Set 5
MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there
More informationREAL ANALYSIS I HOMEWORK 4
REAL ANALYSIS I HOMEWORK 4 CİHAN BAHRAN The questions are from Stein and Shakarchi s text, Chapter 2.. Given a collection of sets E, E 2,..., E n, construct another collection E, E 2,..., E N, with N =
More informationExtreme points of compact convex sets
Extreme points of compact convex sets In this chapter, we are going to show that compact convex sets are determined by a proper subset, the set of its extreme points. Let us start with the main definition.
More informationPROOF OF CHANGE OF VARIABLES
PROOF OF CHANGE OF VARIABLES We will give a proof of the following theorem. Theorem 0.1. Let U R n be an open set, φ C 1 (U, R n ) and U be a compact set with content. Suppose that φ is injective and det
More information5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.
5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint
More informationMaximal Functions in Analysis
Maximal Functions in Analysis Robert Fefferman June, 5 The University of Chicago REU Scribe: Philip Ascher Abstract This will be a self-contained introduction to the theory of maximal functions, which
More informationLecture 3: Expected Value. These integrals are taken over all of Ω. If we wish to integrate over a measurable subset A Ω, we will write
Lecture 3: Expected Value 1.) Definitions. If X 0 is a random variable on (Ω, F, P), then we define its expected value to be EX = XdP. Notice that this quantity may be. For general X, we say that EX exists
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 information6.2 Fubini s Theorem. (µ ν)(c) = f C (x) dµ(x). (6.2) Proof. Note that (X Y, A B, µ ν) must be σ-finite as well, so that.
6.2 Fubini s Theorem Theorem 6.2.1. (Fubini s theorem - first form) Let (, A, µ) and (, B, ν) be complete σ-finite measure spaces. Let C = A B. Then for each µ ν- measurable set C C the section x C is
More informationContinuity of convex functions in normed spaces
Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional
More informationSTAT 7032 Probability Spring Wlodek Bryc
STAT 7032 Probability Spring 2018 Wlodek Bryc Created: Friday, Jan 2, 2014 Revised for Spring 2018 Printed: January 9, 2018 File: Grad-Prob-2018.TEX Department of Mathematical Sciences, University of Cincinnati,
More informationProblem set 5, Real Analysis I, Spring, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, 1 x (log 1/ x ) 2 dx 1
Problem set 5, Real Analysis I, Spring, 25. (5) Consider the function on R defined by f(x) { x (log / x ) 2 if x /2, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, R f /2
More information(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε
1. Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional
More informationGEOMETRIC APPROACH TO CONVEX SUBDIFFERENTIAL CALCULUS October 10, Dedicated to Franco Giannessi and Diethard Pallaschke with great respect
GEOMETRIC APPROACH TO CONVEX SUBDIFFERENTIAL CALCULUS October 10, 2018 BORIS S. MORDUKHOVICH 1 and NGUYEN MAU NAM 2 Dedicated to Franco Giannessi and Diethard Pallaschke with great respect Abstract. In
More informationAdvanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts. Tuesday, January 16th, 2018
NAME: Advanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts Tuesday, January 16th, 2018 Instructions 1. This exam consists of eight (8) problems
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 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 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 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 informationM2PM1 Analysis II (2008) Dr M Ruzhansky List of definitions, statements and examples Preliminary version
M2PM1 Analysis II (2008) Dr M Ruzhansky List of definitions, statements and examples Preliminary version Chapter 0: Some revision of M1P1: Limits and continuity This chapter is mostly the revision of Chapter
More informationREAL VARIABLES: PROBLEM SET 1. = x limsup E k
REAL VARIABLES: PROBLEM SET 1 BEN ELDER 1. Problem 1.1a First let s prove that limsup E k consists of those points which belong to infinitely many E k. From equation 1.1: limsup E k = E k For limsup E
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 informationFunctional Analysis I
Functional Analysis I Course Notes by Stefan Richter Transcribed and Annotated by Gregory Zitelli Polar Decomposition Definition. An operator W B(H) is called a partial isometry if W x = X for all x (ker
More informationFUNDAMENTALS OF REAL ANALYSIS by. II.1. Prelude. Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as
FUNDAMENTALS OF REAL ANALYSIS by Doğan Çömez II. MEASURES AND MEASURE SPACES II.1. Prelude Recall that the Riemann integral of a real-valued function f on an interval [a, b] is defined as b n f(xdx :=
More informationMATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:
MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is
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 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 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 informationSome Background Math Notes on Limsups, Sets, and Convexity
EE599 STOCHASTIC NETWORK OPTIMIZATION, MICHAEL J. NEELY, FALL 2008 1 Some Background Math Notes on Limsups, Sets, and Convexity I. LIMITS Let f(t) be a real valued function of time. Suppose f(t) converges
More informationAPPLICATIONS OF DIFFERENTIABILITY IN R n.
APPLICATIONS OF DIFFERENTIABILITY IN R n. MATANIA BEN-ARTZI April 2015 Functions here are defined on a subset T R n and take values in R m, where m can be smaller, equal or greater than n. The (open) ball
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationBasic Properties of Metric and Normed Spaces
Basic Properties of Metric and Normed Spaces Computational and Metric Geometry Instructor: Yury Makarychev The second part of this course is about metric geometry. We will study metric spaces, low distortion
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 informationBanach Spaces II: Elementary Banach Space Theory
BS II c Gabriel Nagy Banach Spaces II: Elementary Banach Space Theory Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we introduce Banach spaces and examine some of their
More information3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first
Math 632/6321: Theory of Functions of a Real Variable Sample Preinary Exam Questions 1. Let (, M, µ) be a measure space. (a) Prove that if µ() < and if 1 p < q
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
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 informationAnalysis Finite and Infinite Sets The Real Numbers The Cantor Set
Analysis Finite and Infinite Sets Definition. An initial segment is {n N n n 0 }. Definition. A finite set can be put into one-to-one correspondence with an initial segment. The empty set is also considered
More information1 Stochastic Dynamic Programming
1 Stochastic Dynamic Programming Formally, a stochastic dynamic program has the same components as a deterministic one; the only modification is to the state transition equation. When events in the future
More informationProblem Set. Problem Set #1. Math 5322, Fall March 4, 2002 ANSWERS
Problem Set Problem Set #1 Math 5322, Fall 2001 March 4, 2002 ANSWRS i All of the problems are from Chapter 3 of the text. Problem 1. [Problem 2, page 88] If ν is a signed measure, is ν-null iff ν () 0.
More informationAnalysis II - few selective results
Analysis II - few selective results Michael Ruzhansky December 15, 2008 1 Analysis on the real line 1.1 Chapter: Functions continuous on a closed interval 1.1.1 Intermediate Value Theorem (IVT) Theorem
More informationAdvanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts. Monday, August 26, 2013
NAME: Advanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts Monday, August 26, 2013 Instructions 1. This exam consists of eight (8) problems all
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 informationPart 2 Continuous functions and their properties
Part 2 Continuous functions and their properties 2.1 Definition Definition A function f is continuous at a R if, and only if, that is lim f (x) = f (a), x a ε > 0, δ > 0, x, x a < δ f (x) f (a) < ε. Notice
More informationIowa State University. Instructor: Alex Roitershtein Summer Homework #5. Solutions
Math 50 Iowa State University Introduction to Real Analysis Department of Mathematics Instructor: Alex Roitershtein Summer 205 Homework #5 Solutions. Let α and c be real numbers, c > 0, and f is defined
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 informationn [ F (b j ) F (a j ) ], n j=1(a j, b j ] E (4.1)
1.4. CONSTRUCTION OF LEBESGUE-STIELTJES MEASURES In this section we shall put to use the Carathéodory-Hahn theory, in order to construct measures with certain desirable properties first on the real line
More informationh(x) lim H(x) = lim Since h is nondecreasing then h(x) 0 for all x, and if h is discontinuous at a point x then H(x) > 0. Denote
Real Variables, Fall 4 Problem set 4 Solution suggestions Exercise. Let f be of bounded variation on [a, b]. Show that for each c (a, b), lim x c f(x) and lim x c f(x) exist. Prove that a monotone function
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 informationNotes on Distributions
Notes on Distributions Functional Analysis 1 Locally Convex Spaces Definition 1. A vector space (over R or C) is said to be a topological vector space (TVS) if it is a Hausdorff topological space and the
More information2 Sequences, Continuity, and Limits
2 Sequences, Continuity, and Limits In this chapter, we introduce the fundamental notions of continuity and limit of a real-valued function of two variables. As in ACICARA, the definitions as well as proofs
More informationIntroduction to Convex Analysis Microeconomics II - Tutoring Class
Introduction to Convex Analysis Microeconomics II - Tutoring Class Professor: V. Filipe Martins-da-Rocha TA: Cinthia Konichi April 2010 1 Basic Concepts and Results This is a first glance on basic convex
More information