Defining the Integral
|
|
- Peter Harris
- 5 years ago
- Views:
Transcription
1 Defining the Integral In these notes we provide a careful definition of the Lebesgue integral and we prove each of the three main convergence theorems. For the duration of these notes, let (, M, µ) be a measure space. Simple Functions Definition: Simple Function A simple function s: R is any function of the form s = c 1 χ 1 + c 2 χ c n χ n where c 1,..., c n R are distinct and { 1,..., n } is a partition of into nonempty measurable sets. quivalently, a simple function is any measurable function s: R whose range is a finite set. In particular, if s = c 1 χ 1 + c 2 χ c n χ n, then the range of s is {c 1,..., c n }, and i = s 1 (c i ) for each i. Definition: Integral of a Simple Function The Lebesgue integral of a non-negative simple function s = n i=1 c i χ( i ) is defined as follows: n s dµ = c i µ( i ). i=1
2 Defining the Integral 2 Here and in the future, we adopt the convention that 0 = 0 = 0. In particular, if c i = 0 and µ( i ) = for some i, then the corresponding term c i µ( i ) in the definition of the integral should be interpreted as 0. Note that we have required the coefficients c 1,..., c n in an expansion s = c 1 χ 1 + c 2 χ c n χ n of a simple function to all be distinct. The purpose is to avoid any ambiguity: if we require c 1,..., c n to be distinct, then any simple function has only one such expansion, so the integral is well-defined. However, it is often helpful to express a simple function as a sum s = c 1 χ 1 + c 2 χ c n χ n where the coefficients c 1,..., c n are not necessarily distinct. The following lemma lets us evaluate the integral in this case. Lemma 1 Integrating Simple Functions Let s = c 1 χ c n χ n be a non-negative simple function, where c 1,..., c n [0, ) are not necessarily distinct, and { 1,..., n } is a partition of into nonempty measurable sets. Then s dµ = c 1 µ( 1 ) + + c n µ( n ). PROOF We proceed by induction on n. The base case is that n = range(s), in which case c 1,..., c n are all distinct, and the lemma holds by definition. Now suppose that n > range(s). Then there must exist two coefficients that are the same, say c n 1 and c n. Then s = c 1 χ c n 2 χ n 2 + c n 1 χ n 1 n so by our induction hypothesis s dµ = c 1 µ( 1 ) + + c n 2 µ( n 2 ) + c n 1 µ( n 1 n ). But µ( n 1 n ) = µ( n 1 )+µ( n ), so c n 1 µ( n 1 n ) = c n 1 µ( n 1 )+c n µ( n ), and hence s dµ = c 1 µ( 1 ) + + c n 2 µ( n 2 ) + c n 1 µ( n 1 ) + c n µ( n ).
3 Defining the Integral 3 The next lemma is extremely helpful for proving things about simple functions. Lemma 2 Common Partitions Let s, t: R be simple functions. There there exists a partition { 1,..., n } of into nonempty measurable sets such that s = c 1 χ c n χ n and t = d 1 χ d n χ n for some constants c 1,..., c n, d 1,..., d n R. PROOF Suppose that s = c 1 χ c m χ m and t = d 1 χ F1 + + d n χ Fn for some constants c 1,..., c m, d 1,..., d n R and some partitions { 1,..., m } and {F 1,..., F n } of into nonempty measurable sets. Let P be the set of all pairs (i, j) for which i F j. Then { i F j } (i,j) P is a partition of into nonempty measurable sets which satisfies the given criterion. In particular, s = c i χ i F j and t = d j χ i F j. (i,j) P (i,j) P As a first application of these two lemmas, we give a quick proof of the following proposition. Proposition 3 Monotone Property for Simple Functions If s, t: [0, ) are simple functions and s t, then s dµ t dµ. PROOF By the common partitions lemma, there exists a partition { 1,..., n } of into nonempty measurable sets so that s = c 1 χ c n χ n and t = d 1 χ d n χ n for some constants c 1,..., c n, d 1,..., d n [0, ). Then c i d i for each i, so n n s dµ = c i µ( i ) d i µ( i ) = t dµ. i=1 i=1
4 Defining the Integral 4 The Lebesgue Integral We are now ready to define the Lebesgue integral for arbitrary measurable functions. Definition: The Lebesgue Integral (Non-Negative Case) If f : [0, ] is a non-negative measurable function, the Lebesgue integral of f is defined by { } f dµ = sup s dµ s: R is a simple function and 0 s f. Note that if f is itself a simple function, then the definition above agrees with our earlier definition for the integral of f. Specifically, since f is simple and 0 f f, we know that f dµ f dµ. (new) But by Proposition 3, we know that s dµ (old) f dµ (old) for any simple function s: R such that 0 s f, and hence f dµ f dµ (new) (old) which proves that the two integrals are equal. Of course, the definition above only works for non-negative measurable functions, but we can extend to measurable functions f : [, ] by the formula f dµ = f + dµ f dµ, where f + and f are the positive and negative parts of f. We can also integrate on any measurable set by the formula f dµ = f χ dµ.
5 Defining the Integral 5 lementary Properties We now turn to proving some of the elementary properties of the Lebesgue integral. As a general rule, there are three steps to proving anything about the Lebesgue integral: 1. Prove the proposition for non-negative simple functions. 2. Use the definition of the Lebesgue integral to extend to non-negative measurable functions. 3. Use positive an negative parts to extend to all measurable functions. The following proposition illustrates this technique. Proposition 4 Monotone Property If f, g : [, ] are Lebesgue integrable functions and f g, then f dµ g dµ. PROOF We already proved this for non-negative simple functions is Proposition 3. In the case where f and g are non-negative measurable functions, observe that any simple function s satisfying 0 s f also satisfies 0 s g, and hence f dµ = sup 0 s f s dµ sup 0 s g s dµ = g dµ. Finally, suppose that f, g : [, ] are Lebesgue integrable functions and f g. Then f + g + and g f, so f dµ = f + dµ f dµ g + dµ g dµ = g dµ. x Proposition 5 qual Almost verywhere Let f, g : [, ] be measurable functions, where f is Lebesgue integrable, and suppose that f = g almost everywhere. Then g is Lebesgue integrable, and f dµ = g dµ.
6 Defining the Integral 6 PROOF Suppose first that f and g are non-negative simple functions. By the common partitions lemma, there exists a partition { 1,..., n } of into nonempty measurable sets so that f = c 1 χ c n χ n and g = d 1 χ d n χ n for some constants c 1,..., c n, d 1,..., d n [0, ). Then for each i either c i = d i or µ( i ) = 0, and in either case c i µ( i ) = d i µ( i ), so f dµ = n c i µ( i ) = i=1 n d i µ( i ) = i=1 g dµ. Next, suppose that f and g are non-negative measurable functions, and let be a measurable set such that f = g and µ( c ) = 0. If s: R is any simple function for which 0 s f, then sχ is a simple function, 0 sχ g, and sχ = s almost everywhere, so s dµ = sχ dµ g dµ. Since s was arbitrary, it follows that f dµ and a similar argument shows the opposite inequality. Finally, in the general case observe that f + = g + almost everywhere and f = g almost everywhere, so f dµ = f + dµ f dµ = g + dµ g dµ = g dµ. g dµ x Proposition 6 Scalar Multiplication If f : [, ] is a Lebesgue integrable function and k R, then kf is Lebesgue integrable, and kf dµ = k f dµ. PROOF This proposition is trivial in the case where k = 0. For k > 0, it clearly holds for simple functions, so suppose that f is a non-negative measurable function.
7 Defining the Integral 7 If s: R is a simple function and 0 s f, then ks is simple and 0 ks kf, so kf dµ ks dµ = k s dµ. Since s was arbitrary, it follows that kf dµ k f dµ, and a similar argument proves the opposite inequality. If k > 0 and f : [, ], then (kf) + = kf + and (kf) = kf. If f is Lebesgue integrable, it follows that kf is Lebesgue integrable, with kf dµ = kf + dµ kf dµ = k f + dµ k f dµ = k f dµ. Finally, for k < 0 observe that (kf) + = k f and (kf) = k f +, so kf dµ = k f dµ k f + dµ = k f dµ. x The Monotone Convergence Theorem We are now ready to prove our first major convergence theorem. We begin with a special case involving simple functions. Lemma 7 xpanding the Domain Let s: [0, ) be a non-negative simple function, let be a sequence of measurable subsets of, and let = n N n. Then s dµ = lim s dµ. n PROOF Suppose that s = m i=1 c i χ Fi, where c 1,..., c m [0, ) and {F 1,..., F m } is a partition of into nonempty measurable sets. Then for any measurable set G, the product sχ G is a simple function, with sχ G dµ = c 1 µ(f 1 G) + + c m µ(f m G).
8 Defining the Integral 8 In particular s dµ = sχ n dµ = c 1 µ(f 1 n ) + + c m µ(f m n ). n for each n and s dµ = sχ dµ = c 1 µ(f 1 ) + + c m µ(f m ). But µ(f i n ) µ(f i ) for each i as n, so s dµ n s dµ. Theorem 8 Lebesgue s Monotone Convergence Theorem Let 0 f 1 f 2 f 3 be a sequence of measurable functions on. Then f n dµ = lim lim f n dµ. PROOF Let f be the limit of {f n }. Since f n f for each n, we know that f n dµ f dµ for each n, and hence f n dµ f dµ. lim For the opposite inequality, let s be a non-negative simple function for which s f. It suffices to prove that lim f n dµ s dµ. ( ) Let ɛ > 0, and for each n let n = {x f n (x) > (1 ɛ)s}. Note that n N n =, and that each n is measurable, being the preimage of (0, ] under the measurable function f n (1 ɛ)s. But f n dµ f n dµ (1 ɛ) s dµ n n for each n. Taking the limit as n and applying the lemma, we conclude that f n dµ (1 ɛ) s dµ. lim Since ɛ was arbitrary, the desired inequality ( ) follows. x
9 Defining the Integral 9 Corollary 9 Infinite Sums Let {f n } be a sequence of non-negative measurable functions on. Then f n dµ. n N f n dµ = n N Corollary 10 Integral on an Ascending Union Let f : [0, ] be a non-negative measurable function, let be a sequence of measurable subsets of, and let = n N n. Then f dµ = lim f dµ. n Corollary 11 Integral on a Disjoint Union Let f : [0, ] be a non-negative measurable function, let { n } be a sequence of pairwise disjoint measurable subsets of, and let = n N n. Then f dµ = f dµ. n N n Approximation by Simple Functions Among other consequences, the monotone convergence theorem allows us to use sequences of simple functions to evaluate certain Lebesgue integrals. In particular, suppose that f : [0, ] is a measurable function, and suppose that 0 s 1 s 2 s 3 is a sequence of simple functions that converges pointwise to f. Then according to the monotone convergence theorem, f dµ = lim s n dµ.
10 Defining the Integral 10 As we will see, this technique can be used with any non-negative measurable function. Theorem 12 Uniform Approximation by Simple Functions Let f : [0, ) be a bounded function. Then f is measurable if and only if f is a uniform limit of simple functions. PROOF We have already proven that any pointwise limit of measurable functions is measurable, and hence any uniform limit of simple functions is measurable. For the converse, let {s n } be the sequence of functions That is, for each integer k, s n = nf n. s n (x) = k n if and only if k n f(x) < k + 1 n. Since f is bounded, each s n has finite range. Since f is measurable, each s 1 n (k/n) is a measurable set, and hence s n is a simple function. But clearly s n f < 1/n for each n, so s n f uniformly. Theorem 13 Pointwise Approximation by Simple Functions If f : [, ], then f is measurable if and only if f is a pointwise limit of simple functions. PROOF Again, we have already proven that any pointwise limit of meaurable functions is measurable, and hence any pointwise limit of simple functions is measurable. For the converse, let {f n } be the sequence of functions n if x < n, f n (x) = f(x) if f(x) n, n if f(x) > n, and note that each f n is bounded and measurable. By the previous theorem, there exists for each n a simple function s n so that s n f n < 1/n. Then it follows easily that s n f pointwise.
11 Defining the Integral 11 Corollary 14 Combining Measurable Functions If f 1, f 2 : R are measurable and G: R 2 R is continuous, then the function h: R defined by h(x) = G(f 1 (x), f 2 (x)) is measurable. In particular, the sum, difference, product, maximum, or minimum of any two measurable functions is measurable. PROOF Let {s n } be a sequence of simple functions that converges pointwise to f 1, and let {t n } be a sequence of simple functions that converge pointwise to f 2. Then by the common partitions lemma, for each n the function u n (x) = G(s n (x), t n (x)) is simple. Since G is continuous, {u n } converges pointwise to h, and hence h is measurable. We can improve on Theorem 13 in the case of non-negative functions. Theorem 15 Pointwise Approximation by Simple Functions Let f : [0, ] be a measurable function. Then there exists a sequence 0 s 1 s 2 s 3 of simple functions that converges pointwise to f. PROOF For any real number x, let x denote the greatest integer less than or equal to x, and define x n = 2 n 2 n x for each n. That is, x n is the number obtained by truncating the binary expansion of x after n digits. It is clear that x 1 x 2 x 3 and that x n x as n. Now, it is easy to check that f is measurable for any measurable function f, and hence f n is measurable for any measurable function f and any n N. Let
12 Defining the Integral 12 f : [0, ] be a measurable function, and let {s n } be the sequence s n = min ( f n, n ). Then each s n is measurable, with range contained in the finite set { } k 2 n 0 k n2, so each s n is simple. Then {s n } is the desired sequence of simple functions. We now have the tools to prove the following important property of Lebesgue integrals. Proposition 16 Integral of a Sum Let f, g : [0, ] be Lebesgue integrable functions. Then (f + g) dµ = f dµ + g dµ, assuming the sum on the right is defined. PROOF The proposition clearly holds for non-negative simple functions by the common partitions lemma. For non-negative measurable functions, let {s n } and {t n } be non-decreasing sequences of non-negative simple functions that converge pointwise to f and g, respectively. Then {s n + t n } is a non-decreasing sequence of non-negative simple functions that converges pointwise to f + g, so by the monotone convergence theorem (f + g) dµ = lim (s n + t n ) dµ = lim s n dµ + lim t n dµ = f dµ + g dµ. Finally, for the general case, let h = f + g and observe that h + h = f + f + g + g. Rearranging gives h + + f + g = f + + g + + h
13 Defining the Integral 13 and hence h + dµ + It follows that f dµ + h dµ = f dµ + g dµ = g dµ. f + dµ + g + dµ + h dµ. The Bounded Convergence Theorem As a prelude to the bounded convergence theorem, we prove the following theorem named for Russian mathematician Dmitri gorov. gorov published his proof in 1911, but in fact this theorem first appears in a 1910 publication by Italian mathematician Carlo Severini, though this was not noticed until some time later. Theorem 17 gorov s Theorem Suppose that µ() <, and let {f n } be a sequence of measurable functions converging pointwise to a measurable function f. Then for every ɛ > 0 there exists a measurable set with µ( c ) < ɛ such that f n f uniformly on. PROOF For each N and k, let N,k = { x f n (x) f(x) < 1/k for all n N }. Note that each N,k is measurable, and that 1,k 2,k. Since f n f pointwise, we know that N N N,k = for each k, so choose an N k N such that µ( Nk,k) µ() ɛ 2 k. Let = k N N k,k. Then c = k N c N k,k, so µ( c ) µ ( ) N c ɛ k,k 2 = ɛ. k k N k N But f n f < 1/k on for all n N k, and thus f n f uniformly on.
14 Defining the Integral 14 Theorem 18 Lebesgue s Bounded Convergence Theorem Suppose that µ() <, and let {f n } be a uniformly bounded, pointwise convergent sequence of measurable functions on. Then lim f n dµ = lim f n dµ. PROOF Let ɛ > 0, and let M > 0 so that f n M for all n. By gorov s theorem, there exists a measurable set so that µ( c ) < ɛ/(4m) and f n f uniformly on. Let N N so that f n f < ɛ/ ( 2µ() ) on for all n N. Then for all n N, we have f n dµ f dµ f n f dµ = f n f dµ + f n f dµ c ɛ 2µ() µ() + 2Mµ(c ) = ɛ. The Dominated Convergence Theorem To prove the dominated convergence theorem, we first introduce an important family of measures. Proposition 19 Weighted Measures Let (, M, µ) be a measure space, and let g : [0, ] be a measurable function. Then the function ν : M [0, ] defined by ν() = g dµ is a measure on. PROOF Clearly ν( ) = 0. For countable additivity, let { n } be a sequence of pairwise disjoint measurable sets, and let = n=1 n. Then ν() = g χ dµ = g χ n dµ = ν( n ). n N n N g χ n dµ = n N
15 Defining the Integral 15 The measure ν defined above is sometimes called the weighted measure obtained from µ with density function g. The relationship between ν, µ, and g is usually denoted dν = g dµ. The following proposition justifies this notation. Proposition 20 Integration Using Weighted Measures Let (, M, µ) be a measure space, let g : [0, ] be a measurable function, and let dν = g dµ. Then for any measurable function f : [, ], f dν = fg dµ. (That is, the integral on the left exists if and only if the integral on the right exists, in which case their values are the same.) PROOF Suppose first that s = n k=1 a k χ k is a non-negative simple function. Then n n n s dν = a k ν( k ) = a k g dµ = a k χ k g dµ = sg dµ. k k=1 k=1 Next, if f : [0, ] is a non-negative measurable function, let s 1 s 2 be a sequence of simple functions that converge to f pointwise. Then s 1 g s 2 g and s n g fg pointwise as n, so by the monotone convergence theorem f dν = lim s n dν = lim s n g dµ = fg dµ. Finally, if f : [, ] is any measurable function, then f + dν = f + g dµ = (fg) + dµ and similarly f dν = (fg) dµ, so the desired conclusion follows. k=1 Theorem 21 Lebesgue s Dominated Convergence Theorem Let {f n } be a pointwise convergent sequence of measurable functions on, and suppose that there exists a non-negative L 1 function g on such that f n g for all n. Then lim f n dµ = lim f n dµ.
16 Defining the Integral 16 PROOF Note first that g(x) < almost everywhere, so we may assume that g : [0, ). Let dν = g dµ, and note that ν() = g dµ <. Let f be the pointwise limit of the sequence {f n }, let = {x g(x) > 0}, and note that f n = 0 on c for each n, and f = 0 on c as well. Then f n lim f n dµ = lim f n dµ = lim g dν. But f n /g 1 for all n, so by the bounded convergence theorem we can switch the limit and the integral to get f n lim f n dµ = lim g dν = f g dν = f dµ = f dµ.
The 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 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 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 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 information(U) =, if 0 U, 1 U, (U) = X, if 0 U, and 1 U. (U) = E, if 0 U, but 1 U. (U) = X \ E if 0 U, but 1 U. n=1 A n, then A M.
1. Abstract Integration The main reference for this section is Rudin s Real and Complex Analysis. The purpose of developing an abstract theory of integration is to emphasize the difference between the
More informationChapter 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 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-Radon-Nikodym Theorem
Lebesgue-Radon-Nikodym Theorem Matt Rosenzweig 1 Lebesgue-Radon-Nikodym Theorem In what follows, (, A) will denote a measurable space. We begin with a review of signed measures. 1.1 Signed Measures Definition
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 information36-752: Lecture 1. We will use measures to say how large sets are. First, we have to decide which sets we will measure.
0 0 0 -: Lecture How is this course different from your earlier probability courses? There are some problems that simply can t be handled with finite-dimensional sample spaces and random variables that
More informationAnalysis Comprehensive Exam Questions Fall 2008
Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)
More 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 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 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 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 informationLebesgue measure and integration
Chapter 4 Lebesgue measure and integration If you look back at what you have learned in your earlier mathematics courses, you will definitely recall a lot about area and volume from the simple formulas
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 informationThus f is continuous at x 0. Matthew Straughn Math 402 Homework 6
Matthew Straughn Math 402 Homework 6 Homework 6 (p. 452) 14.3.3, 14.3.4, 14.3.5, 14.3.8 (p. 455) 14.4.3* (p. 458) 14.5.3 (p. 460) 14.6.1 (p. 472) 14.7.2* Lemma 1. If (f (n) ) converges uniformly to some
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 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 information1 Measurable Functions
36-752 Advanced Probability Overview Spring 2018 2. Measurable Functions, Random Variables, and Integration Instructor: Alessandro Rinaldo Associated reading: Sec 1.5 of Ash and Doléans-Dade; Sec 1.3 and
More information4 Integration 4.1 Integration of non-negative simple functions
4 Integration 4.1 Integration of non-negative simple functions Throughout we are in a measure space (X, F, µ). Definition Let s be a non-negative F-measurable simple function so that s a i χ Ai, with disjoint
More informationMath 5051 Measure Theory and Functional Analysis I Homework Assignment 2
Math 551 Measure Theory and Functional nalysis I Homework ssignment 2 Prof. Wickerhauser Due Friday, September 25th, 215 Please do Exercises 1, 4*, 7, 9*, 11, 12, 13, 16, 21*, 26, 28, 31, 32, 33, 36, 37.
More informationChapter IV Integration Theory
Chapter IV Integration Theory This chapter is devoted to the developement of integration theory. The main motivation is to extend the Riemann integral calculus to larger types of functions, thus leading
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 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 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 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 informationLEBESGUE INTEGRATION. Introduction
LEBESGUE INTEGATION EYE SJAMAA Supplementary notes Math 414, Spring 25 Introduction The following heuristic argument is at the basis of the denition of the Lebesgue integral. This argument will be imprecise,
More informationPartial Solutions to Folland s Real Analysis: Part I
Partial Solutions to Folland s Real Analysis: Part I (Assigned Problems from MAT1000: Real Analysis I) Jonathan Mostovoy - 1002142665 University of Toronto January 20, 2018 Contents 1 Chapter 1 3 1.1 Folland
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 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 informationExercise 1. Show that the Radon-Nikodym theorem for a finite measure implies the theorem for a σ-finite measure.
Real Variables, Fall 2014 Problem set 8 Solution suggestions xercise 1. Show that the Radon-Nikodym theorem for a finite measure implies the theorem for a σ-finite measure. nswer: ssume that the Radon-Nikodym
More informationMath 172 HW 1 Solutions
Math 172 HW 1 Solutions Joey Zou April 15, 2017 Problem 1: Prove that the Cantor set C constructed in the text is totally disconnected and perfect. In other words, given two distinct points x, y C, there
More informationReal Analysis Chapter 3 Solutions Jonathan Conder. ν(f n ) = lim
. Suppose ( n ) n is an increasing sequence in M. For each n N define F n : n \ n (with 0 : ). Clearly ν( n n ) ν( nf n ) ν(f n ) lim n If ( n ) n is a decreasing sequence in M and ν( )
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 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 informationMath 4121 Spring 2012 Weaver. Measure Theory. 1. σ-algebras
Math 4121 Spring 2012 Weaver Measure Theory 1. σ-algebras A measure is a function which gauges the size of subsets of a given set. In general we do not ask that a measure evaluate the size of every subset,
More 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 informationHILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define
HILBERT SPACES AND THE RADON-NIKODYM THEOREM STEVEN P. LALLEY 1. DEFINITIONS Definition 1. A real inner product space is a real vector space V together with a symmetric, bilinear, positive-definite mapping,
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 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 informationA dyadic endomorphism which is Bernoulli but not standard
A dyadic endomorphism which is Bernoulli but not standard Christopher Hoffman Daniel Rudolph November 4, 2005 Abstract Any measure preserving endomorphism generates both a decreasing sequence of σ-algebras
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 informationSigned Measures. Chapter Basic Properties of Signed Measures. 4.2 Jordan and Hahn Decompositions
Chapter 4 Signed Measures Up until now our measures have always assumed values that were greater than or equal to 0. In this chapter we will extend our definition to allow for both positive negative values.
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 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 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 information02. Measure and integral. 1. Borel-measurable functions and pointwise limits
(October 3, 2017) 02. Measure and integral Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2017-18/02 measure and integral.pdf]
More informationL p Spaces and Convexity
L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function
More 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 informationDynkin (λ-) and π-systems; monotone classes of sets, and of functions with some examples of application (mainly of a probabilistic flavor)
Dynkin (λ-) and π-systems; monotone classes of sets, and of functions with some examples of application (mainly of a probabilistic flavor) Matija Vidmar February 7, 2018 1 Dynkin and π-systems Some basic
More informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend
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 informationIn N we can do addition, but in order to do subtraction we need to extend N to the integers
Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need
More informationChapter 4. Measure Theory. 1. Measure Spaces
Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if
More informationProduct measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 2017 Nadia S. Larsen. 17 November 2017.
Product measures, Tonelli s and Fubini s theorems For use in MAT4410, autumn 017 Nadia S. Larsen 17 November 017. 1. Construction of the product measure The purpose of these notes is to prove the main
More informationarxiv: v1 [math.fa] 14 Jul 2018
Construction of Regular Non-Atomic arxiv:180705437v1 [mathfa] 14 Jul 2018 Strictly-Positive Measures in Second-Countable Locally Compact Non-Atomic Hausdorff Spaces Abstract Jason Bentley Department of
More informationCHAPTER 6. Differentiation
CHPTER 6 Differentiation The generalization from elementary calculus of differentiation in measure theory is less obvious than that of integration, and the methods of treating it are somewhat involved.
More informationMAT1000 ASSIGNMENT 1. a k 3 k. x =
MAT1000 ASSIGNMENT 1 VITALY KUZNETSOV Question 1 (Exercise 2 on page 37). Tne Cantor set C can also be described in terms of ternary expansions. (a) Every number in [0, 1] has a ternary expansion x = a
More informationMATH 13 SAMPLE FINAL EXAM SOLUTIONS
MATH 13 SAMPLE FINAL EXAM SOLUTIONS WINTER 2014 Problem 1 (15 points). For each statement below, circle T or F according to whether the statement is true or false. You do NOT need to justify your answers.
More information1.1. MEASURES AND INTEGRALS
CHAPTER 1: MEASURE THEORY In this chapter we define the notion of measure µ on a space, construct integrals on this space, and establish their basic properties under limits. The measure µ(e) will be defined
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 informationMath 104: Homework 7 solutions
Math 04: Homework 7 solutions. (a) The derivative of f () = is f () = 2 which is unbounded as 0. Since f () is continuous on [0, ], it is uniformly continous on this interval by Theorem 9.2. Hence for
More informationREAL ANALYSIS I Spring 2016 Product Measures
REAL ANALSIS I Spring 216 Product Measures We assume that (, M, µ), (, N, ν) are σ- finite measure spaces. We want to provide the Cartesian product with a measure space structure in which all sets of the
More informationLebesgue s Differentiation Theorem via Maximal Functions
Lebesgue s Differentiation Theorem via Maximal Functions Parth Soneji LMU München Hütteseminar, December 2013 Parth Soneji Lebesgue s Differentiation Theorem via Maximal Functions 1/12 Philosophy behind
More informationStanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon Measures
2 1 Borel Regular Measures We now state and prove an important regularity property of Borel regular outer measures: Stanford Mathematics Department Math 205A Lecture Supplement #4 Borel Regular & Radon
More information+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1
Appendix To understand weak derivatives and distributional derivatives in the simplest context of functions of a single variable, we describe without proof some results from real analysis (see [7] and
More informationLogical Connectives and Quantifiers
Chapter 1 Logical Connectives and Quantifiers 1.1 Logical Connectives 1.2 Quantifiers 1.3 Techniques of Proof: I 1.4 Techniques of Proof: II Theorem 1. Let f be a continuous function. If 1 f(x)dx 0, then
More information1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty.
1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty. Let E be a subset of R. We say that E is bounded above if there exists a real number U such that x U for
More informationMATH 131A: REAL ANALYSIS (BIG IDEAS)
MATH 131A: REAL ANALYSIS (BIG IDEAS) Theorem 1 (The Triangle Inequality). For all x, y R we have x + y x + y. Proposition 2 (The Archimedean property). For each x R there exists an n N such that n > x.
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 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 informationCompendium and Solutions to exercises TMA4225 Foundation of analysis
Compendium and Solutions to exercises TMA4225 Foundation of analysis Ruben Spaans December 6, 2010 1 Introduction This compendium contains a lexicon over definitions and exercises with solutions. Throughout
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More 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 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 informationP-adic Functions - Part 1
P-adic Functions - Part 1 Nicolae Ciocan 22.11.2011 1 Locally constant functions Motivation: Another big difference between p-adic analysis and real analysis is the existence of nontrivial locally constant
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 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 informationProblem Set. Problems on Unordered Summation. Math 5323, Fall Februray 15, 2001 ANSWERS
Problem Set Problems on Unordered Summation Math 5323, Fall 2001 Februray 15, 2001 ANSWERS i 1 Unordered Sums o Real Terms In calculus and real analysis, one deines the convergence o an ininite series
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 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 information18.175: Lecture 3 Integration
18.175: Lecture 3 Scott Sheffield MIT Outline Outline Recall definitions Probability space is triple (Ω, F, P) where Ω is sample space, F is set of events (the σ-algebra) and P : F [0, 1] is the probability
More informationThe Lebesgue Integral
The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters
More 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 informationA List of Problems in Real Analysis
A List of Problems in Real Analysis W.Yessen & T.Ma December 3, 218 This document was first created by Will Yessen, who was a graduate student at UCI. Timmy Ma, who was also a graduate student at UCI,
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 informationExercises for Unit VI (Infinite constructions in set theory)
Exercises for Unit VI (Infinite constructions in set theory) VI.1 : Indexed families and set theoretic operations (Halmos, 4, 8 9; Lipschutz, 5.3 5.4) Lipschutz : 5.3 5.6, 5.29 5.32, 9.14 1. Generalize
More information5 Set Operations, Functions, and Counting
5 Set Operations, Functions, and Counting Let N denote the positive integers, N 0 := N {0} be the non-negative integers and Z = N 0 ( N) the positive and negative integers including 0, Q the rational numbers,
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 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 informationSection 2: Classes of Sets
Section 2: Classes of Sets Notation: If A, B are subsets of X, then A \ B denotes the set difference, A \ B = {x A : x B}. A B denotes the symmetric difference. A B = (A \ B) (B \ A) = (A B) \ (A B). Remarks
More informationSpring 2014 Advanced Probability Overview. Lecture Notes Set 1: Course Overview, σ-fields, and Measures
36-752 Spring 2014 Advanced Probability Overview Lecture Notes Set 1: Course Overview, σ-fields, and Measures Instructor: Jing Lei Associated reading: Sec 1.1-1.4 of Ash and Doléans-Dade; Sec 1.1 and A.1
More informationReminder Notes for the Course on Measures on Topological Spaces
Reminder Notes for the Course on Measures on Topological Spaces T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie
More informationPrinciples of Real Analysis I Fall VII. Sequences of Functions
21-355 Principles of Real Analysis I Fall 2004 VII. Sequences of Functions In Section II, we studied sequences of real numbers. It is very useful to consider extensions of this concept. More generally,
More informationOn Convergence of Sequences of Measurable Functions
On Convergence of Sequences of Measurable Functions Christos Papachristodoulos, Nikolaos Papanastassiou Abstract In order to study the three basic kinds of convergence (in measure, almost every where,
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 informationSolutions Final Exam May. 14, 2014
Solutions Final Exam May. 14, 2014 1. (a) (10 points) State the formal definition of a Cauchy sequence of real numbers. A sequence, {a n } n N, of real numbers, is Cauchy if and only if for every ɛ > 0,
More information2 Measure Theory. 2.1 Measures
2 Measure Theory 2.1 Measures A lot of this exposition is motivated by Folland s wonderful text, Real Analysis: Modern Techniques and Their Applications. Perhaps the most ubiquitous measure in our lives
More information