Real Analysis Notes. Thomas Goller


 Lizbeth Fisher
 1 years ago
 Views:
Transcription
1 Real Analysis Notes Thomas Goller September 4, 2011
2 Contents 1 Abstract Measure Spaces Basic Definitions Measurable Functions Integration Counterexamples Banach Spaces Basic Definitions L p Spaces l p Spaces Uniform Boundedness Principle 10 1
3 Chapter 1 Abstract Measure Spaces 1.1 Basic Definitions The discussion will be based on Stein s Real Analysis. Definition 1. A measure space consists of a set X equipped with: 1. A nonempty collection M of subsets of X closed under complements and countable unions and intersections (a σalgebra), which are the measurable sets. 2. A measure M µ [0, ] with the property that if E 1, E 2,... is a countable family of disjoint sets in M, then ( ) µ E n = µ(e n ) n=1 Now we state an assumption on a measure space that allows us to develop integration as in the case of R d. Definition 2. The measure space (X, M, µ) is σfinite if X can be written as the union of countably many measurable sets with finite measure. (To see that R d is σfinite, consider balls centered at the origin with radii going to infinity.) n=1 From now on, we assume (X, M, µ) is a σfinite measure space. 1.2 Measurable Functions Definition 3. A function X f [, ] is measurable if f 1 ([, a)) is measurable for all a R. Proposition 1. Some properties of measurable functions. 2
4 If f, g are measurable and finitevalued a.e., then f + g and fg are measurable. If {f n } n=1 is a sequence of measurable functions, then lim f n(x), sup f n (x), n are measurable (lim only if it exists). inf f n(x), lim sup f n (x), n lim inf f n(x) If f is measurable and f(x) = g(x) for a.e. x, then g is measurable. Definition 4. A simple function on X is of the form N a k χ Ek, k=1 where E k are measurable sets of finite measure and a k are real numbers. Proposition 2. If f is a nonnegative measurable function, then there exists a sequence of simple functions {ϕ k } k=1 that satisfies ϕ k (x) ϕ k+1 (x) and lim k ϕ k(x) = f(x) for all x. In general, if f is only measurable, then we conclude that ϕ k (x) ϕ k+1 (x) and lim k ϕ k(x) = f(x) for all x. Proposition 3 (Egorov). Suppose {f k } k=1 is a sequence of measurable functions defined on a measurable set E X with µ(e) <, and f k f a.e. Then for each ɛ > 0, there is a set A ɛ E, such that µ(e A ɛ ) ɛ and f k f uniformly on A ɛ. 1.3 Integration We define the Lebesgue integral X f(x) dµ(x), often written f, of a general measurable function f by a four part process: Definition 5. Let f be a measurable function. (i) If f(x) = N k=1 a kχ Ek (x) is a simple function, then f := N a k µ(e k ). k=1 (ii) If f is bounded and supported on a set of finite measure, then choose a sequence of simple functions {ϕ k } k=1 such that ϕ k(x) ϕ k+1 (x) and lim k ϕ k (x) = f(x) for all x. Then f := lim ϕ n, 3
5 (iii) If f is nonnegative, then f := sup g g, where the supremum is taken over all measurable functions g such that 0 g f and g is bounded and supported on a set of finite measure. (iv) For general f, write f = f + f, a decomposition into nonnegative measurable functions. Then f := f + f. Definition 6. Let f be measurable. Then f is Lebesgue integrable if f < in the sense of (iii) above. Proposition 4. Key properties of the Lebesgue integral are: Linearity. If f, g integrable and a, b R, then (af + bg) = a f + b g. Additivity. If E, F are disjoint measurable subsets of X, then f = f + f. E F E F Monotonicity. If f g, then f g. Triangle inequality. f f. Proof. Prove these step by step, as in the definition of the integral, starting with the simple functions. The triangle inequality follows from monotonicity and linearity by considering f f and f f. Proposition 5. Key limit theorems. Fatou s lemma. If {f n } is a sequence of nonnegative measurable functions on X, then lim inf f n lim inf f n. 4
6 Monotone convergence. If {f n } is a sequence of nonnegative measurable functions with f n f, then f n = f. lim Dominated convergence. If {f n } is a sequence of measurable functions with f n f a.e., and such that f n g for some integrable g, then f n f 0 as n, and consequently f n f as n. Proof. Fatou s lemma: Set f := lim inf f n. Suppose 0 g f, where g is bounded and supported on a set E of finite measure. Then g n (x) := min{g(x), f n (x)} is measurable, supported on E, and g n (x) g(x), so that gn g by the bounded convergence theorem (combine boundedness with Egorov to show g n g 0 as n ). Since g n f n, monotonicity gives gn f n, whence g lim inf f n. Since f = sup g g for such g, we get the result. Monotone convergence: f n f by monotonicity, whence lim sup fn f. Conversely, Fatou s lemma implies f lim inf fn. Combining these inequalities gives the result. Dominated convergence: we will use the reverse Fatou s lemma, which states that if {f n } is a sequence of measurable functions, such that f n g for some integrable function g, then lim sup f n lim sup This is proved by applying Fatou s lemma to the nonnegative sequence {g f n }. Since f n f < 2g, the reverse Fatou s lemma implies lim sup f n f lim sup f n f = 0, whence we get the desired result using the linearity of the integral and the triangle inequality. 1.4 Counterexamples A nonmeasurable subset of R (Stein 24). For x, y [0, 1], consider the equivalence relation x y whenever x y is rational. Using the axiom f n. 5
7 of choice, let N be the set obtained by choosing one element from each equivalence class. Then if {r k } is an enumeration of the rationals in [ 1, 1], we have [0, 1] (N + r k ) [ 1, 2], k=1 but the measure of each N + r k is the same since they are translates of N. But 1 k=1 m(n + r k) 3, a contradiction. A nonmeasurable function R f R such that f is measurable. Let N R be nonmeasurable, e.g. as above. Then { 1 x N f(x) = 1 x / N is not measurable since f 1 ((, 0)) = N c is not measurable, but f 1 is measurable. A sequence {ϕ n } of nonnegative bounded, measurable functions on R that converge pointwise to an integrable function, where the ϕ n do not converge to f. Let ϕ n (x) = { 1 2n n x n 0 otherwise. Then ϕ n 0 pointwise, but ϕ n = 1 for each n. See also Stein 61. A Cauchy sequence {f n } in the L 1 norm that does not converge pointwise a.e. Let f 1 = χ [0,1], f 2 = χ [0, 1 2 ], f 3 = χ [ 1 2,1], f 4 = χ [0, 1 4 ], etc. (Stein 92, Ex. 12). A function f integrable but discontinuous at every x, even when corrected on a set of measure 0. Set { x 1/2 if 0 < x < 1 f(x) = 0 otherwise. Then if {r k } is an enumeration of the rationals, F (x) = 2 n f(x r n ) n=1 is integrable, so the series converges a.e., but the series is unbounded on every interval, and any function that agrees with F a.e. is unbounded in any interval (Stein 9293, Ex. 15). 6
8 Chapter 2 Banach Spaces 2.1 Basic Definitions Definition 7. A metric (distance measure) on a set S is a function S S such that 1. d(x, y) 0; 2. d(x, y) = 0 x = y; 3. d(x, y) = d(y, x); 4. d(x, z) d(x, y) + d(y, z). d R Definition 8. A norm on a vector space X is a function X R such that 1. x 0; 2. x = 0 x = 0; 3. αx = α x, α F; 4. x + y x + y. One can use a norm to define a metric by setting d(x, y) := x y. The metric triangle inequality holds since d(x, z) = x z = (x y) + (y z) x y + y z = d(x, y) + d(y, z). In general, a metric is not sufficient to define a norm. Definition 9. A Banach space is a complete normed vector space. A Hilbert space is an innerproduct space that is complete in the associated norm, hence also a Banach space. A separable Hilbert space has a countable spanning subset, hence has a (countable) orthonormal basis by GramSchmidt. 7
9 2.2 L p Spaces Proposition 6. Let 1 p < and (X, µ) a measure space. The set of equivalence classes of measurable functions X f C (that agree a.e.) such that ( ) 1/p f p := f p < is a normed vector space L p (X, µ). X Proof. First we check that L p is a vector space. It is clearly closed under (e.g. complex) scalar multiplication. For vector addition, note that f(x) + g(x) 2 max{ f(x), g(x) }, whence f(x) + g(x) p 2 p ( f(x) p + g(x) p ). Now we check the properties of the norm. Clearly f p 0 for all f, and f p = 0 if and only if f = 0. Likewise, λf p = λ f p is clear by the linearity of the integral. The triangle inequality is true but difficult to prove look up Minkowski s inequality. For p =, consider the equivalence classes of measurable functions that are bounded except on a set of measure 0, with the norm Then f := inf{c 0: f(x) C a.e. x}. f = lim p f p holds if f is in L p (X, µ) for some p <. (If f L p and f L, then f L q for each p q. For the set E on which f 1 must have finite measure, so we can bound f on this set by some M, and obtain f q f p + µ(e) M.) The fact that L p (X, µ) for 1 p is complete (and hence a Banach space) is the RieszFischer theorem. When p <, L p is separable (for X = R d, the countable collection is rχ R (x), where r is a complex number with rational real and imaginary parts and R is a rectangle with rational coordinates). In the special case when p = 2, L 2 is in fact a Hilbert space under the inner product (f, g) = f(x)g(x)dx. A useful tool in the study of L p spaces is Hölder s inequality, which states that if f and g are measurable and 1 p q such that 1 p + 1 q = 1, then fg 1 f p g q, namely ( fg f p ) 1/p ( g q ) 1/q. In particular, if f L p and g L q, then fg L 1. 8
10 2.3 l p Spaces Consider the vector space of sequences over R or C. For 0 < p <, l p is the subspace of all sequences x = {x k } such that x k p <. k 1 If p 1, then x p := x k p k 1 1/p defines a norm on l p, and l p is complete, hence a Banach space (it s the L p space on the integers with the counting measure). If 0 < p < 1, then l p does not have a norm, but still has the metric d(x, y) = k 1 x k y k p. (To see that the natural attempt to define a norm fails to satisfy the triangle inequality, let p = 1 2 and set x = ( 1 2, 0, 0,... ), y = (0, 1, 0,... ). 2 Then while x + y = ( ) 2 = 2, x + y = = 1.) If p =, then l is the space of all bounded sequences, which is a Banach space under the norm x := sup x k. k Note that l p l q l for 1 p < q < (since only finitely many elements of the sequence can have absolute value 1). Also, l 2 is the only l p space that is a Hilbert space. 9
11 Chapter 3 Uniform Boundedness Principle The discussion in this chapter, based on Chapter 8 of Munkres, is geared toward proving the Uniform Boundedness Principle. Definition 10. A topological space X is a Baire space if: Given any countable collection {A n } of closed sets of X each of which has empty interior in X, their union A n also has empty interior in X. Example 1. Q in the standard topology is not a Baire space. Every point is closed, and the union of countably many points makes up the whole space. Z + is a Baire space. Every subset is open, so the only subset with empty interior is the empty set. Every closed subspace of R is a complete metric space, hence a Baire space. In fact, the irrationals in R also form a Baire space. (See Exercise 6.) Lemma 1. X is a Baire space if and only if given any countable collection {U n } of open sets in X, each of which is dense in X, their intersection U n is also dense in X. Proof. The result follows easily from the facts that complements of open sets are closed sets (and vice versa) and A X is dense if and only if X A has empty interior. Before proving that complete metric spaces are Baire spaces, we will need a simple result. Lemma 2. If X is a complete metric space, then X is regular. Namely for each pair of a point x and a closed set B disjoint from x, there exist disjoint open sets containing x and B, respectively. 10
12 Proof. Since x B c and B c is open, there is an open ball B δ (x) of radius δ > 0, centered at x, whose closure is contained in B c. Then the open sets B δ (x) and X B δ (x) give the result. Now we come to the first big result. Theorem 1 (Baire Category Theorem). If X is a complete metric space, then X is a Baire space. Proof. Let {A n } be a countable collection of closed subsets of X, each with empty interior. We need to show that any nonempty open set U 0 contains a point not in any of the A n. Since A 1 does not contain U 0, choose y U 0 not in A 1. Since X is regular and A 1 is closed, we can in fact choose a neighborhood U 1 of y of diameter < 1 whose closure is contained in U 0 and disjoint from A 1. Now repeat by induction, where at the nth step we choose a point of U n 1 not in A n, and a neighborhood U n of that point with diameter < 1/n and with closure contained in U n 1 and disjoint from A n. Then we claim that the intersection U n is nonempty, which will give the result. This is a result of the following lemma. Lemma 3. Let C 1 C 2 be a nested sequence of nonempty closed sets in the complete metric space X. If diam C n 0, then C n. Proof. Choose x n C n for each n. Then {x n } is Cauchy, and eventually lies inside each C k, whence the limit x is in each C k and thus in the intersection. Now we come to a crucial theorem. Theorem 2 (Uniform boundedness principle). Let X be a Banach space and Y be a normed vector space. Suppose F is a collection of continuous (bounded) linear operators from X to Y, such that for each x X, there is an M x 0 satisfying sup T x M x. T F Then sup T <. T F The gist of the theorem is that we want a sufficient condition to ensure the norms of a collection of operators are bounded. An obvious necessary condition is that the norms are pointwise bounded in the assumed sense, which turns out to be sufficient as well. Proof. For n Z 1, define A n := { } x X : sup T x n. T F 11
13 Then A n is closed (since X is complete and each T F is continuous), contains 0, and is symmetric about the origin. Thus if some A n contains a nonempty open set, then it contains a ball of radius δ > 0 centered at the origin, whence for any x X, T x = 2 x ( ) x δ T δ 2 x n, x 2 δ whence T 2n/δ, giving the result. So we may assume that each A n has empty interior. But X = A n by the pointwise boundedness assumption, so by the Baire category theorem, X = A n has empty interior, contradiction. Corollary 1. If a sequence of bounded linear operators on a Banach space converges pointwise, then these pointwise limits define a bounded linear operator. 12
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 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 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 6454A (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 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 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 informationFinitedimensional spaces. C n is the space of ntuples 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 prehilbert space, or a unitary space) if there is a mapping (, )
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 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 SetLike 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 informationREVIEW OF ESSENTIAL MATH 346 TOPICS
REVIEW OF ESSENTIAL MATH 346 TOPICS 1. AXIOMATIC STRUCTURE OF R Doğan Çömez The real number system is a complete ordered field, i.e., it is a set R which is endowed with addition and multiplication operations
More informationCHAPTER V DUAL SPACES
CHAPTER V DUAL SPACES DEFINITION Let (X, T ) be a (real) locally convex topological vector space. By the dual space X, or (X, T ), of X we mean the set of all continuous linear functionals on X. By the
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 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 informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
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 informationLebesgue measure on R is just one of many important measures in mathematics. In these notes we introduce the general framework for measures.
Measures In General Lebesgue measure on R is just one of many important measures in mathematics. In these notes we introduce the general framework for measures. Definition: σalgebra Let X be a set. A
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 informationSequences. Chapter 3. n + 1 3n + 2 sin n n. 3. lim (ln(n + 1) ln n) 1. lim. 2. lim. 4. lim (1 + n)1/n. Answers: 1. 1/3; 2. 0; 3. 0; 4. 1.
Chapter 3 Sequences Both the main elements of calculus (differentiation and integration) require the notion of a limit. Sequences will play a central role when we work with limits. Definition 3.. A Sequence
More informationMEASURE AND INTEGRATION. Dietmar A. Salamon ETH Zürich
MEASURE AND INTEGRATION Dietmar A. Salamon ETH Zürich 9 September 2016 ii Preface This book is based on notes for the lecture course Measure and Integration held at ETH Zürich in the spring semester 2014.
More 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 information16 1 Basic Facts from Functional Analysis and Banach Lattices
16 1 Basic Facts from Functional Analysis and Banach Lattices 1.2.3 Banach Steinhaus Theorem Another fundamental theorem of functional analysis is the Banach Steinhaus theorem, or the Uniform Boundedness
More information2. Metric Spaces. 2.1 Definitions etc.
2. Metric Spaces 2.1 Definitions etc. The procedure in Section for regarding R as a topological space may be generalized to many other sets in which there is some kind of distance (formally, sets with
More informationSome Background Material
Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary  but important  material as a way of dipping our toes in the water. This chapter also introduces important
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 information1.2 Fundamental Theorems of Functional Analysis
1.2 Fundamental Theorems of Functional Analysis 15 Indeed, h = ω ψ ωdx is continuous compactly supported with R hdx = 0 R and thus it has a unique compactly supported primitive. Hence fφ dx = f(ω ψ ωdy)dx
More informationMH 7500 THEOREMS. (iii) A = A; (iv) A B = A B. Theorem 5. If {A α : α Λ} is any collection of subsets of a space X, then
MH 7500 THEOREMS Definition. A topological space is an ordered pair (X, T ), where X is a set and T is a collection of subsets of X such that (i) T and X T ; (ii) U V T whenever U, V T ; (iii) U T whenever
More informationvan Rooij, Schikhof: A Second Course on Real Functions
vanrooijschikhofproblems.tex December 5, 2017 http://thales.doa.fmph.uniba.sk/sleziak/texty/rozne/pozn/books/ van Rooij, Schikhof: A Second Course on Real Functions Some notes made when reading [vrs].
More informationLecture 5  Hausdorff and GromovHausdorff Distance
Lecture 5  Hausdorff and GromovHausdorff Distance August 1, 2011 1 Definition and Basic Properties Given a metric space X, the set of closed sets of X supports a metric, the Hausdorff metric. If A is
More informationHilbert spaces. 1. CauchySchwarzBunyakowsky inequality
(October 29, 2016) Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 201617/03 hsp.pdf] Hilbert spaces are
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 LECTURE NOTES: COMPACT SETS AND FINITEDIMENSIONAL SPACES. 1. Compact Sets
FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITEDIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be
More informationLocally convex spaces, the hyperplane separation theorem, and the KreinMilman theorem
56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the KreinMilman 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 informationANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.
ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n
More informationWhat to remember about metric spaces
Division of the Humanities and Social Sciences What to remember about metric spaces KC Border These notes are (I hope) a gentle introduction to the topological concepts used in economic theory. If the
More informationContinuity of convex functions in normed spaces
Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of realvalued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional
More informationThe weak topology of locally convex spaces and the weak* topology of their duals
The weak topology of locally convex spaces and the weak* topology of their duals Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Introduction These notes
More informationProblem Set 5. 2 n k. Then a nk (x) = 1+( 1)k
Problem Set 5 1. (Folland 2.43) For x [, 1), let 1 a n (x)2 n (a n (x) = or 1) be the base2 expansion of x. (If x is a dyadic rational, choose the expansion such that a n (x) = for large n.) Then the
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 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 informationA Précis of Functional Analysis for Engineers DRAFT NOT FOR DISTRIBUTION. JeanFrançois Hiller and KlausJürgen Bathe
A Précis of Functional Analysis for Engineers DRAFT NOT FOR DISTRIBUTION JeanFrançois Hiller and KlausJürgen Bathe August 29, 22 1 Introduction The purpose of this précis is to review some classical
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 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 informationThe Schwartz Space: Tools for Quantum Mechanics and Infinite Dimensional Analysis
Mathematics 2015, 3, 527562; doi:10.3390/math3020527 Article OPEN ACCESS mathematics ISSN 22277390 www.mdpi.com/journal/mathematics The Schwartz Space: Tools for Quantum Mechanics and Infinite Dimensional
More informationIndeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )
Lebesgue Measure The idea of the Lebesgue integral is to first define a measure on subsets of R. That is, we wish to assign a number m(s to each subset S of R, representing the total length that S takes
More informationChapter 5. Measurable Functions
Chapter 5. Measurable Functions 1. Measurable Functions Let X be a nonempty set, and let S be a σalgebra of subsets of X. Then (X, S) is a measurable space. A subset E of X is said to be measurable if
More 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 informationInfinitedimensional Vector Spaces and Sequences
2 Infinitedimensional Vector Spaces and Sequences After the introduction to frames in finitedimensional vector spaces in Chapter 1, the rest of the book will deal with expansions in infinitedimensional
More informationA LITTLE REAL ANALYSIS AND TOPOLOGY
A LITTLE REAL ANALYSIS AND TOPOLOGY 1. NOTATION Before we begin some notational definitions are useful. (1) Z = {, 3, 2, 1, 0, 1, 2, 3, }is the set of integers. (2) Q = { a b : aεz, bεz {0}} is the set
More informationOPERATOR THEORY ON HILBERT SPACE. Class notes. John Petrovic
OPERATOR THEORY ON HILBERT SPACE Class notes John Petrovic Contents Chapter 1. Hilbert space 1 1.1. Definition and Properties 1 1.2. Orthogonality 3 1.3. Subspaces 7 1.4. Weak topology 9 Chapter 2. Operators
More informationTopological vectorspaces
(July 25, 2011) Topological vectorspaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Natural nonfréchet spaces Topological vector spaces Quotients and linear maps More topological
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 informationMORE ON CONTINUOUS FUNCTIONS AND SETS
Chapter 6 MORE ON CONTINUOUS FUNCTIONS AND SETS This chapter can be considered enrichment material containing also several more advanced topics and may be skipped in its entirety. You can proceed directly
More informationMost Continuous Functions are Nowhere Differentiable
Most Continuous Functions are Nowhere Differentiable Spring 2004 The Space of Continuous Functions Let K = [0, 1] and let C(K) be the set of all continuous functions f : K R. Definition 1 For f C(K) we
More informationA note on some approximation theorems in measure theory
A note on some approximation theorems in measure theory S. Kesavan and M. T. Nair Department of Mathematics, Indian Institute of Technology, Madras, Chennai  600 06 email: kesh@iitm.ac.in and mtnair@iitm.ac.in
More information10 Compactness in function spaces: AscoliArzelá theorem
10 Compactness in function spaces: AscoliArzelá theorem Recall that if (X, d) isacompactmetricspacethenthespacec(x) isavector space consisting of all continuous function f : X R. The space C(X) is equipped
More informationReal Analysis  Notes and After Notes Fall 2008
Real Analysis  Notes and After Notes Fall 2008 October 29, 2008 1 Introduction into proof August 20, 2008 First we will go through some simple proofs to learn how one writes a rigorous proof. Let start
More informationReal Analysis. Jesse Peterson
Real Analysis Jesse Peterson February 1, 2017 2 Contents 1 Preliminaries 7 1.1 Sets.................................. 7 1.1.1 Countability......................... 8 1.1.2 Transfinite induction.....................
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 information3 COUNTABILITY AND CONNECTEDNESS AXIOMS
3 COUNTABILITY AND CONNECTEDNESS AXIOMS Definition 3.1 Let X be a topological space. A subset D of X is dense in X iff D = X. X is separable iff it contains a countable dense subset. X satisfies the first
More informationThe Lebesgue Integral
The Lebesgue Integral Having completed our study of Lebesgue measure, we are now ready to consider the Lebesgue integral. Before diving into the details of its construction, though, we would like to give
More informationContents. 2 Sequences and Series Approximation by Rational Numbers Sequences Basics on Sequences...
Contents 1 Real Numbers: The Basics... 1 1.1 Notation... 1 1.2 Natural Numbers... 4 1.3 Integers... 5 1.4 Fractions and Rational Numbers... 10 1.4.1 Introduction... 10 1.4.2 Powers and Radicals of Rational
More informationMath 117: Topology of the Real Numbers
Math 117: Topology of the Real Numbers John Douglas Moore November 10, 2008 The goal of these notes is to highlight the most important topics presented in Chapter 3 of the text [1] and to provide a few
More informationMetric Space Topology (Spring 2016) Selected Homework Solutions. HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y)
Metric Space Topology (Spring 2016) Selected Homework Solutions HW1 Q1.2. Suppose that d is a metric on a set X. Prove that the inequality d(x, y) d(z, w) d(x, z) + d(y, w) holds for all w, x, y, z X.
More informationint cl int cl A = int cl A.
BAIRE CATEGORY CHRISTIAN ROSENDAL 1. THE BAIRE CATEGORY THEOREM Theorem 1 (The Baire category theorem. Let (D n n N be a countable family of dense open subsets of a Polish space X. Then n N D n is dense
More information2) Let X be a compact space. Prove that the space C(X) of continuous realvalued functions is a complete metric space.
University of Bergen General Functional Analysis Problems with solutions 6 ) Prove that is unique in any normed space. Solution of ) Let us suppose that there are 2 zeros and 2. Then = + 2 = 2 + = 2. 2)
More informationMetric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg
Metric Spaces Exercises Fall 2017 Lecturer: Viveka Erlandsson Written by M.van den Berg School of Mathematics University of Bristol BS8 1TW Bristol, UK 1 Exercises. 1. Let X be a nonempty set, and suppose
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 informationFUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE
FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE CHRISTOPHER HEIL 1. Weak and Weak* Convergence of Vectors Definition 1.1. Let X be a normed linear space, and let x n, x X. a. We say that
More informationCHAPTER II THE HAHNBANACH EXTENSION THEOREMS AND EXISTENCE OF LINEAR FUNCTIONALS
CHAPTER II THE HAHNBANACH EXTENSION THEOREMS AND EXISTENCE OF LINEAR FUNCTIONALS In this chapter we deal with the problem of extending a linear functional on a subspace Y to a linear functional on the
More informationCHAPTER VIII HILBERT SPACES
CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugatelinear transformation if it is a reallinear transformation from X into Y, and if T (λx)
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 15 and 2 of the problems 68. We will only grade the first 4 problems attempted from15 and the first 2 attempted from problems
More informationGeometric intuition: from Hölder spaces to the CalderónZygmund estimate
Geometric intuition: from Hölder spaces to the CalderónZygmund estimate A survey of Lihe Wang s paper Michael Snarski December 5, 22 Contents Hölder spaces. Control on functions......................................2
More informationIf Y and Y 0 satisfy (12), then Y = Y 0 a.s.
20 6. CONDITIONAL EXPECTATION Having discussed at length the limit theory for sums of independent random variables we will now move on to deal with dependent random variables. An important tool in this
More informationA brief introduction to N functions and Orlicz function spaces. John Alexopoulos Kent State University, Stark Campus
A brief introduction to N functions and Orlicz function spaces John Alexopoulos Kent State University, Stark Campus March 12, 24 2 Contents 1 Introduction: Uniform integrability 5 1.1 Definitions.....................................
More informationLebesgue Measure. Dung Le 1
Lebesgue Measure Dung Le 1 1 Introduction How do we measure the size of a set in IR? Let s start with the simplest ones: intervals. Obviously, the natural candidate for a measure of an interval is its
More informationEberleinŠmulian theorem and some of its applications
EberleinŠmulian theorem and some of its applications Kristina Qarri Supervisors Trond Abrahamsen Associate professor, PhD University of Agder Norway Olav Nygaard Professor, PhD University of Agder Norway
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 informationLebesgueRadonNikodym Theorem
LebesgueRadonNikodym Theorem Matt Rosenzweig 1 LebesgueRadonNikodym Theorem In what follows, (, A) will denote a measurable space. We begin with a review of signed measures. 1.1 Signed Measures Definition
More informationMeasure Theory and Lebesgue Integration. Joshua H. Lifton
Measure Theory and Lebesgue Integration Joshua H. Lifton Originally published 31 March 1999 Revised 5 September 2004 bstract This paper originally came out of my 1999 Swarthmore College Mathematics Senior
More information2. The Concept of Convergence: Ultrafilters and Nets
2. The Concept of Convergence: Ultrafilters and Nets NOTE: AS OF 2008, SOME OF THIS STUFF IS A BIT OUT DATED AND HAS A FEW TYPOS. I WILL REVISE THIS MATE RIAL SOMETIME. In this lecture we discuss two
More informationElements of Convex Optimization Theory
Elements of Convex Optimization Theory Costis Skiadas August 2015 This is a revised and extended version of Appendix A of Skiadas (2009), providing a selfcontained overview of elements of convex optimization
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 informationHW 4 SOLUTIONS. , x + x x 1 ) 2
HW 4 SOLUTIONS The Way of Analysis p. 98: 1.) Suppose that A is open. Show that A minus a finite set is still open. This follows by induction as long as A minus one point x is still open. To see that A
More informationAliprantis, Border: Infinitedimensional Analysis A Hitchhiker s Guide
aliprantis.tex May 10, 2011 Aliprantis, Border: Infinitedimensional Analysis A Hitchhiker s Guide Notes from [AB2]. 1 Odds and Ends 2 Topology 2.1 Topological spaces Example. (2.2) A semimetric = triangle
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 informationFall TMA4145 Linear Methods. Solutions to exercise set 9. 1 Let X be a Hilbert space and T a bounded linear operator on X.
TMA445 Linear Methods Fall 26 Norwegian University of Science and Technology Department of Mathematical Sciences Solutions to exercise set 9 Let X be a Hilbert space and T a bounded linear operator on
More informationSummer JumpStart Program for Analysis, 2012 SongYing Li. 1 Lecture 7: Equicontinuity and Series of functions
Summer JumpStart Program for Analysis, 0 SongYing Li Lecture 7: Equicontinuity and Series of functions. Equicontinuity Definition. Let (X, d) be a metric space, K X and K is a compact subset of X. C(K)
More informationLecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differenti. equations.
Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differential equations. 1 Metric spaces 2 Completeness and completion. 3 The contraction
More informationWe are going to discuss what it means for a sequence to converge in three stages: First, we define what it means for a sequence to converge to zero
Chapter Limits of Sequences Calculus Student: lim s n = 0 means the s n are getting closer and closer to zero but never gets there. Instructor: ARGHHHHH! Exercise. Think of a better response for the instructor.
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 informationRecall that if X is a compact metric space, C(X), the space of continuous (realvalued) 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 (realvalued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More informationReal Analysis: Part II. William G. Faris
Real Analysis: Part II William G. Faris June 3, 2004 ii Contents 1 Function spaces 1 1.1 Spaces of continuous functions................... 1 1.2 Pseudometrics and seminorms.................... 2 1.3 L
More informationANALYSIS TOOLS WITH APPLICATIONS
ANALYSIS TOOLS WITH APPLICATIONS ii BRUCE K. DRIVER Abstract. These are lecture notes from Math 24. Things to do: ) Exhibit a nonmeasurable null set and a nonborel measurable Riemann integrable function.
More informationIntroduction to Topology
Introduction to Topology Randall R. Holmes Auburn University Typeset by AMSTEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about
More informationCHAPTER 7. Connectedness
CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set
More informationChapter II. Metric Spaces and the Topology of C
II.1. Definitions and Examples of Metric Spaces 1 Chapter II. Metric Spaces and the Topology of C Note. In this chapter we study, in a general setting, a space (really, just a set) in which we can measure
More informationStructure of R. Chapter Algebraic and Order Properties of R
Chapter Structure of R We will reassemble calculus by first making assumptions about the real numbers. All subsequent results will be rigorously derived from these assumptions. Most of the assumptions
More informationMathematics Department, Stanford University Real Analysis Qualifying Exam, Autumn 1998 Part I
Mathematics Department, Stanford University Real Analysis Qualifying Exam, Autumn 1998 Part I Do all five problems (Use a different blue book for each problem) 1. Suppose f : R R is differentiable at,
More informationFUNCTIONAL ANALYSIS: NOTES AND PROBLEMS
FUNCTIONAL ANALYSIS: NOTES AND PROBLEMS Abstract. These are the notes prepared for the course MTH 405 to be offered to graduate students at IIT Kanpur. Contents 1. Basic Inequalities 1 2. Normed Linear
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 information