( f ^ M _ M 0 )dµ (5.1)
|
|
- Leonard Powers
- 6 years ago
- Views:
Transcription
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 functions and bounded measure spaces only. To remove this restriction one might proceed similarly as for the improper Riemann integral; e.g., by taking limits of A n ( f ^ M _ M 0 )dµ (5.1) as M!, M 0! and n! for some increasing sequence {A n } of measurable sets with µ(a n ) < and S A n = X. Unfortunately, the existence of such a limit is not guaranteed without further conditions on the integrand, and we may not even be able to find a sequence {A n } with the stated properties. The way around this that has generally been adopted is to first define the integral of nonnegative functions on arbitrary measure spaces. This is the unsigned integral below. A key difference between the bounded integral from the previous chapter is that here we abandon integrability as a primary concept and rather put measurability first. Notwithstanding, the bounded integral and approximations of the form (5.1) are key to proving properties such as additivity etc. Once the unsigned integral is defined and its properties established, a more or less formal extension leads to the signed integral that covers also functions that can take both positive and negative values. 5.1 Unsigned integral. Let (X,F, µ) be a measure space with µ(x) not necessarily finite. We now put forward: Definition 5.1 (Lower unsigned integral) Let f : X! [0, ]. Then we set: n o f dµ := sup f dµ : f simple, 0 apple f apple f. (5.2) This is the analogue of what we called the lower Lebesgue integral in the bounded case. The corresponding upper integral will not be defined at all. Observe the following properties (shared, generally, by all lower integrals): Lemma 5.2 Let f,g be functions on X. Then we have: (1) if 0 apple f apple g then f dµ apple gdµ, (5.3) (2) if f,g, 0 then ( f + g)dµ f dµ + gdµ (5.4) (3) if c 2 [0, ) and f 0 then (using the convention 0. = 0) (cf)dµ = c f dµ. (5.5)
2 48 Proof. Let f be a simple function with 0 apple f apple f. For (1) we note that f apple g then implies 0 apple f apple g. For (2) we note that if also 0 apple f 0 apple g is simple, then f + f 0 apple f + g. Finally, for (3) we observe that cf is simple with cf apple f. It is not hard to check that, although the lower integral is superadditive, it is generally not additive unless further conditions on f and g are imposed. It turns out that, as before, it is enough to require measurability. (Since we permit functions to take value +, we mean the notion of measurability for functions taking extended-real values.) What needs to be proved is: Proposition 5.3 (Superadditivity on measurable functions) Let f, g: X! [0, ] be measurable. Then we have: ( f + g)dµ apple f dµ + gdµ (5.6) First we observe that if we reduce the unsigned lower integral to bounded functions with bounded measure of their support, then additivity can be proved directly. This is because we have: supp( f ) := x 2 X : f (x) 6= 0, (5.7) Lemma 5.4 Let f : X! [0, ] be bounded, measurable and assume there is A 2 F such that supp( f ) A and µ(a) <. Then f dµ = f dµ, (5.8) A where the integral on the right is in the sense of Definition 4.8. Proof. As 0 apple f apple f forces f = 0 on A c, we may restrict all definitions of integrals to the measure space (A,F A, µ A ) (see Lemma 4.9) and get exactly the same values. But µ A (A) < and f is bounded, and so the lower unsigned integral coincides with the lower bounded integral. Now ( f A ) 1 (B r {0}) = f 1 (B r {0}) for any set B X shows that the function f A (see again Lemma 4.9) is F A -measurable. Since f A is also bounded, it is integrable with respect to µ A and so the lower bounded integral on measure space (A,F A, µ A ) is equal to the integral R f A µ A. By Lemma 4.9 again, this is the integral on the right of (5.8). The passage from the bounded integral to the unsigned integral will be provided by methods not dissimilar to those mentioned very early in this chapter: Lemma 5.5 (1) We have: Let f : X! [0, ] be measurable. Then f ^ M dµ! M! (2) if {A n } F obey A n " A {f > 0}, then ( f 1 An ) dµ! f dµ, (5.9) f dµ. (5.10) Proof. (1) We have f ^ M apple f and so the limit (which exists by monotonicity) is at most the integral on the right. For the opposite inequality, note that if f is simple with 0 apple f apple f then
3 f apple ( f ^ M) as soon as M max f. (Simple functions are necessarily bounded.) Hence f dµ apple lim ( f ^ M)dµ, 8f simple,0 apple f apple f. (5.11) M! Taking supremum over such f we get R f dµ on the left. Part (1) is proved. For (2) the limit again exists by monotonicity and it is at most the integral on the right. For the opposite inequality let f = Â k i=1 a k 1 Bi be simple with 0 apple f apple f. Then f1 An is also simple with f1 An apple f1 A. But A {f > 0} {f > 0} and so, in fact, f1 An " f. Hence, B i \ A i " B i whenever a i > 0 and so, by the Monotone Convergence Theorem for sets, k k ( f 1 An )dµ (f1 An )dµ = Â a i µ(a n \ B i )! Â a i µ(b i )= i=1 i=1 f dµ. (5.12) Taking supremum over f, we get that the limit of lower integrals of f 1 An dominates the lower integral of f. Before we use these in the proof of Proposition 5.3, we also generalize the Markov inequality to the unsigned integral: Lemma 5.6 (Markov inequality again) For any measurable f : X! [0, ] and any l > 0, µ f l apple 1 f dµ. (5.13) l Proof. We have l1 { f l} apple f whenever l 0. The claim follows (as before) by integrating these with respect to µ and using Lemma 5.2(1). Proof of Proposition 5.3. Without loss of generality, assume that both lower integrals of f and g are finite. (Otherwise the claim holds by Lemma 5.2(2).) Define B n := { f > 1/n} and C n := {g > 1/n}. (5.14) By Markov s inequality, µ(b n ) < and µ(c n ) < for all n 2 N. Hence also A n := B n \C n obeys µ(a n ) <. Now ( f + g) ^ M apple f ^ M + g ^ M (5.15) for any M 0 and so ( f + g) ^ M dµ apple ( f ^ M + g ^ M)dµ A n A n = ( f ^ M)dµ + (g ^ M)dµ (5.16) A n A n = ( f ^ M)1 An dµ + (g ^ M)1 An dµ apple f dµ + gdµ, where we used the additivity of the bounded integral to get the middle equality and then applied Lemma 5.4 and Lemma 5.2(1) to get the conclusion. However, and so, by Lemma 5.4 and 5.5, A n ( f + g) ^ M dµ! A n "{f + g > 0} (5.17) 49 ( f + g) ^ M dµ! ( f + g)dµ. (5.18) M!
4 50 The desired conclusion follows. In light of this, it now makes sense to put forward: Definition 5.7 (Unsigned integral) For any f : X! [0, ] measurable, we define the unsigned Lebesgue integral of f with respect to µ by f dµ := f dµ. (5.19) For non-measurable f the unsigned integral is left undefined, and so the concept of integrability is now completely tied to measurability. Naturally, once f is measurable, all properties of unsigned lower integral proved above are shared by its unsigned integral. 5.2 Signed integral and convergence theorems. This unsigned integral shares the properties (1) and (3) from Lemma 5.2 and is additive in the integrand thanks to Lemma 5.2(2) and Proposition 5.3. The unsigned integral is actually well behaved even under monotone pointwise limits. Indeed, we have: Theorem 5.8 (Monotone Convergence Theorem) Let f n : X! [0, ] be measurable with f n " f. Then also f is measurable and f n dµ " f dµ. (5.20) Proof. The limit of the integrals of f n exists and, since f n apple f, is at most the integral of f. For the opposite direction we may assume that the limit is actually finite. Let A n := { f n > 1/n}. By Markov s inequality we have µ(a n ) < and so ( f n ^ M)1 AK are bounded functions with support of finite measure. The Bounded Convergence Theorem and Lemma 5.4 then show f n dµ ( f n ^ M)1 AK dµ! ( f ^ M)1 AK dµ (5.21) and so the limit of the integrals is at most the integral on the right. But A K "{f > 0} and so taking K! followed by M! makes the right hand side tend to the integral of f. Two simple but useful consequences are in order: Corollary 5.9 Let { f n } be measurable functions f n : X! [0, ]. Then  f n dµ =  f n dµ. (5.22) Proof. Define g n :=  n k=1 f k and g :=  k2n f k. By finite additivity of the integral, n g n dµ =  k=1 f k dµ (5.23) The left hand side tends to the integral of g by the Monotone Convergence Theorem, while the right-hand side converges to the infinite sum by (3.1).
5 Corollary 5.10 Then n is a measure on (X,F ). Let f : X 7! [0, ] be measurable. For each A 2 F define n(a) := f dµ := ( f 1 A )dµ. (5.24) Proof. Obviously, n(/0 )=0. If {A n } F are disjoint, then and so by (3.3) and the previous corollary [ n A n = f A 1 S A n = Â 1 An (5.25) Â 1 An dµ = Â Hence, n is countably additive and so it is a measure. 51 ( f 1 An )dµ = Â n(a n ). (5.26) An interesting questions is when is a measure n on (X,F ) of the form (5.24). We will answer this later in these notes. Another useful consequence of the Monotone Convergence Theorem is: Lemma 5.11 (Fatou s lemma) Let f n : X! [0, ] be measurable. Then lim inf f n dµ apple liminf f n dµ. (5.27) Proof. For each m n we have f m inf k n f k and so inf f m dµ inf m dµ. m n m n (5.28) Since inf m n f m increases to the limes inferior as n!, the claim follows by the Monotone Convergence Theorem. Having discussed the unsigned integral enough, we can move to the signed integral. Given a function f, let be its positive and negative parts. Obviously, f +, f We now put forward: f + := f 1 { f 0} and f = f 1 { f <0} (5.29) are measurable whenever f is and f = f + f. (5.30) Definition 5.12 (Signed integral) For any f : X! R measurable such that the unsigned integrals of f + and f obey min f + dµ, f dµ < (5.31) we define the (signed) Lebesgue integral of f with respect to µ by f dµ := f + dµ f dµ. (5.32) We say that such an f is integrable (with respect to µ).
6 52 Notice that the above does permit the signed integral to be equal to ±. As we will see that the signed integral is considerably weaker than the unsigned one. Notwithstanding, the expected properties still hold, at least with correct provisos: Lemma 5.13 If f : X! R is integrable and c 2 R, then (cf)dµ = c f dµ (5.33) whenever the right-hand side is not of the form 0 times infinity. In particular, c f is integrable whenever f is. Similarly, if f,g: X! R are integrable, then f + g is integrable and ( f + g)dµ = f dµ + gdµ, (5.34) provided the right-hand side is not a difference of two infinities of same sign. Proof. For the first property we note that if c > 0, then (cf) ± = cf ± while for c < 0 we get (cf) ± = cf. The claim then follows from Lemma 5.2(2) and the definition of unsigned integral. For c = 0 we assume that both R f ± dµ < and so the claim again follows by Lemma 5.2(2). That integrability of f implies integrability of cf is a consequence of these. For the second property, observe that if the expression on the right of (5.34) is defined and meaningful, then at least one of f + + g + and f + g has finite signed integral. Since ( f + g) + =(f + + g + )1 { f +g 0} ( f + g )1 { f +g 0} ( f + g) = ( f + + g + )1 { f +g<0} +(f + g )1 { f +g<0}, (5.35) we have ( f + g) + apple f + + g + and ( f + g) apple f + g and so f + g is integrable. Moreover, by the additivity of the unsigned integral we also have ( f + g) + dµ = ( f + + g + )1 { f +g 0} dµ ( f + g )1 { f +g 0} dµ, (5.36) ( f + g) dµ = ( f + g )1 { f +g<0} dµ ( f + + g + )1 { f +g<0} dµ, with both expressions on the right meaningful. Thus ( f + g)dµ := ( f + g) + dµ ( f + g) dµ = ( f + + g + )1 { f +g 0} dµ ( f + g )1 { f +g 0} dµ ( f + g )1 { f +g<0} dµ + ( f + + g + )1 { f +g<0} dµ = ( f + + g + )dµ ( f + g )dµ. (5.37) Breaking this expression into a sum of four integrals, and noting that only one type of infinity can occur among these, we can reassemble this into the right-hand side of (5.34). Thus, also the signed integral is additive provided the resulting expressions make sense. Concerning behavior under limits, here we get:
7 Theorem 5.14 (Dominated Convergence Theorem) Let { f n } and g be measurable functions such that R gdµ < and f n appleg for all n 2 N. Then f n! f a.e. ) f n dµ! f dµ (5.38) and, in particular, f is integrable. Proof. We have g + f n Since g 0 and so, by Fatou s lemma, g + liminf f n)dµ apple liminf 53 (g + f n )dµ (5.39) 0 and R gdµ <, we can separate the integral of g on both sides and get lim inf f n dµ apple liminf f n dµ. (5.40) Similarly we get g f n 0 and, since liminf (g f n )=g limsup f n, Fatou s lemma tells us g lim sup f n )dµ apple liminf (g f n )dµ (5.41) Separating the integral of g again, this can be rewritten as lim sup f n dµ apple limsup f n dµ. (5.42) Combining (5.40) and (5.42), we obtain lim inf n dµ apple liminf f n dµ apple limsup f n dµ apple lim sup f n dµ. (5.43) When f n! f a.e., both limes superior and limes inferior of f n are equal to f a.e. The extreme ends of the inequality thus coincide, the limit of integrals of f n exists and equals the integral of the a.e.-limit. It is instructive to note that without the existence of the dominating function g, the theorem falls. This can be for (one or both of) the following reasons: (1) the functions f n increase to infinity locally, e.g., f n := n1 [0,1/n] which tends to zero Lebesgue a.e. and yet its integral equals one, or (2) (in infinite measure spaces) the functions f n spread over sets of larger and larger measure, e.g., f n := n 1 1 [0,n] which tends to zero pointwise (in fact uniformly) and yet its integral with respect to the Lebesgue measure equals one. As is easy to check, the existence of a dominating function makes these impossible. 5.3 Absolute integrability and L 1 -space. The situation with the signed integral improves if we assume that both the positive and negative part of the function integrates to a finite number. Definition 5.15 A measurable function f : X! R is said to be absolutely integrable if the signed integral of f obeys f dµ <. (5.44)
8 54 We will denote the set of absolutely integrable functions by L 1 (or L 1 (X,F, µ) or L 1 (µ), depending on context). Since f = f + + f, absolute integrability implies integrability and we have the bound f dµ apple f dµ. (5.45) As a consequence of the properties of the signed integral, L 1 is closed under (pointwise) addition and scalar multiplication and is thus a vector space. Note, however, that L 1 is not closed under pointwise limits (even in a.e. sense) as f n 2 L 1 and f n! f does not imply f 2 L 1. (Take, e.g., f n := 1 [0,n].) The notion of convergence that ensures this is given by: Definition 5.16 Let { f n }, f be measurable functions. We say that f n! f in L 1 (µ) if f n f dµ! 0 (5.46) To assess the strength of this convergence, we note: Lemma 5.17 Let { f n } L 1. If f n! f in L 1, then f 2 L 1,f n! f in measure and lim f n dµ = f dµ and lim f n dµ = f dµ (5.47) Proof. Assume without loss of generality that R f n f dµ < for all n. (Otherwise drop those terms from the sequence.) Then we claim that f n dµ <. (5.48) sup Indeed, by the triangle inequality for the absolute value and finite additivity of the unsigned integral, f n dµ apple f 1 dµ + f 1 f dµ + f n f dµ. (5.49) The first two integrals are finite while the last integral converges to zero as n! and so the supremum over n of the right-hand side is finite indeed. Next we pick e > 0 and use Markov s inequality to show µ f n f > e apple 1 f n f dµ! 0. (5.50) e So f n! f in measure. By Lemma 4.21 there is {n k } such that f nk! f a.e. and Fatou s lemma then ensures f dµ apple lim f nk dµ apple sup f n dµ <. (5.51) k! So f 2 L 1 as claimed. But then we use (5.45) to write f n dµ f dµ = ( f n f )dµ apple f n f dµ! 0 (5.52) and so the integral of f n tends to that of f. Replacing f n by f n and f by f and using that a b apple a b, the same holds for the integrals of absolute values.
9 As we just saw, from an L 1 -converging sequence (or even a sequence converging in measure) one can always choose an a.e.-converging subsequence. However, L 1 -convergence does not imply a.e.-convergence or even just convergence in measure. Indeed, consider a sequence { f n } defined by f 2 n +k := 1 [k2 n,(k+1)2 n ], k = 0,...,2 n 1. (5.53) Then f n! 0 in L 1 and measure and yet limsup f n = 1 [0,1] while liminf f n = 0. The example f n := n1 [0,1/n] shows that convergence in measure does not imply L 1 convergence. Notwithstanding, for bounded functions on finite measure spaces, convergence in measure is equivalent to L 1 convergence. Indeed: Lemma 5.18 Suppose { f n } obey f n applek a.e. for some constant K 2 (0, ) and all n 2 N. If µ(x) <, then f n! f in measure, f n! f in L 1. (5.54) Proof. We already proved (, so let us focus on ). Suppose f n! f in measure. Then µ f K + e apple µ f n f e + µ f n K (5.55) so f n applek a.e. implies also f applek a.e. Therefore, f n f dµ = f n f 1 { fn f >e} dµ + f n f 1 { fn f applee} dµ apple 2Kµ f n f > e + eµ(x). But this tends to zero as n! followed by e # 0 and so f n! f in L 1 as well. 5.4 Uniform integrability. 55 (5.56) A natural question to ask is what conditions on a pointwise a.e. convergent sequence of measurable functions { f n } imply convergence in L 1. For this we first collect the necessary conditions: Proposition 5.19 (Necessary conditions for L 1 -convergence) Suppose that { f n } and f are measurable functions with f n! f in L 1. Then (1) f 2 L 1 and f n dµ! f dµ, (5.57) (2) (3) lim limsup M! lim limsup d#0 n 1 f n 1 { fn M} dµ = 0, (5.58) f n 1 { fn appled} dµ = 0. (5.59) Note that the condition (3) is trivial in finite measure spaces (and, in particular, in probability spaces). The proof will need the following lemma: Lemma 5.20 Let f 2 L 1. Then 8e > 0 9d > 0 8A 2 F : µ(a) < d ) A f dµ < e. (5.60)
10 56 Proof. Suppose the claim fails. Then there is e > 0 such that for each n 1 there is A n 2 F with µ(a n ) < 2 n such that R A n f dµ e. Define B n := S k n A k. Then µ(b n ) apple 2 n+1 and B n # B := limsup A n. By the Downward Monotone Convergence Theorem for sets, µ(b) apple limsup µ(a n )=0. However, the Dominated Convergence Theorem (with f being the dominating function for functions f 1 Bn ) ensures e apple f dµ apple f dµ! f dµ = 0, (5.61) A n B n B a contradiction. So the claim holds after all. As we will see later, the statement of this lemma is related to the properties of absolutely continuous measures. With this lemma in hand, we can now proceed to give: Proof of Proposition (1) is a restatement of part of Lemma For (2) we note that f n apple f n f + f and so f n 1 { fn 2M} apple f n f + f 1 { f M} + f 1 { f fn M}. (5.62) The integral of the first term tends to zero as n! by our assumption of L 1 convergence. The second term is dominated by the integrable function f and tends to zero a.e. (integrability of f implies that f < a.e.). The Dominated Convergence Theorem shows f 1 { f M} dµ! 0 (5.63) M! For the last term in (5.62) we recall that f n! f in L 1 implies that f n! f in measure. This yields lim sup µ f f n M = 0 (5.64) and so lim sup f 1 { f fn M} = 0 (5.65) by Lemma Part (3) is proved analogously. From f n apple f n f + f and f apple f n f + f n we have f n 1 { fn <d} apple f f n + f 1 { f <2d} + f 1 { fn f >d}. (5.66) The integral of the first term again vanishes by assumed L 1 -convergence. The last integral tends to zero in the limit n! by Lemma The middle function tends to zero in the limit d # 0, and so does its integral thanks tot the Dominated Convergence Theorem. As is not hard to check, the limes superior in parts (2) and (3) of Proposition 5.19 can be replaced by supremum. We now come up with a name for families satisfying these sorts of conditions: Definition 5.21 A family { f a : a 2 I} (any cardinality) of measurable functions is said to be uniformly integrable (UI) if the following hold: (1) { f a } L 1 (µ) and sup a2i f a dµ <, (5.67)
11 (2) (3) To see some examples, we note: Lemma 5.22 lim sup M! a2i lim sup d#0 a2i The following families are UI: (1) { f } for f 2 L 1, (2) { f 1,..., f n } L 1, (3) { f a,k : k = 1,...,n} if { f a,k },k= 1,...,n are UI, (4) { f 2 L 1 : f appleg} for any g 2 L 1. Proof. Exercise for the reader. f a 1 { fa M} dµ = 0, (5.68) f a 1 { fa appled} dµ = 0. (5.69) We also note that Lemma 5.20 holds uniformly over UI families (we state this in a slightly weaker form): Lemma 5.23 Then Let { f a : a 2 I} L 1 obey lim M! a2i f a 1 { fa M} dµ = 0. (5.70) 8e > 0 9d > 0 8A 2 F : µ(a) < d ) sup f a dµ < e. (5.71) a2i A Proof. We will give a slightly different proof than given for Lemma Fix e > 0 and suppose that for some A 2 F we have sup a2i RA f a > 2e. By (5.70), there is M 2 (0, ) such that f a 1 { fa M} dµ < e (5.72) sup a2i and then sup f a dµ apple e + sup f a 1 { fa applem}dµ apple e + Mµ(A). (5.73) a2i A n a2i A n Thus, if µ(a) < e/m, the right hand side is at most 2e. The main result of this section is a rather far-reaching generalization of Lemma Theorem 5.24 Let { f n } and f be measurable functions. If { f n } is UI, then f n! f in measure, f n! f in L 1. (5.74) Proof. Thanks to Lemma 5.17, we only need to prove ). Fix d > 0, consider the integral of f n f and split it according to whether f n f > d or not. The first part yields f n f 1 { fn f >d} dµ apple f n + f 1 { fn f >d} dµ (5.75) Splitting the integral and applying Lemma 5.23 for the UI family { f }[{f n : n 2 N} along with f n! f in measure, the right-hand side tends to zero as n!. 57
12 58 For the second part of the integral, we write f n f 1 { fn f appled} dµ = f n f 1 { fn f appled}1 { f >d} dµ + f n f 1 { fn f appled}1 { f appled} dµ (5.76) Since µ( f > d) < by Markov s inequality, the first integral tends to zero as n! by the Bounded Convergence Theorem. The second integral we further bound as f n f 1 { fn f appled}1 { f appled} dµ apple f n 1 { fn apple2d} dµ + f 1 { f appled} dµ. (5.77) The supremum over n of the first term tends to zero as d # 0 thanks to UI of { f n }. By the Dominated Convergence Theorem, the second integral tends to zero as d # 0 as well. Uniform integrability plays very important role in probability, particularly, in martingale convergence theory etc.
3 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
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 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 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 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 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 informationNotes on Measure, Probability and Stochastic Processes. João Lopes Dias
Notes on Measure, Probability and Stochastic Processes João Lopes Dias Departamento de Matemática, ISEG, Universidade de Lisboa, Rua do Quelhas 6, 1200-781 Lisboa, Portugal E-mail address: jldias@iseg.ulisboa.pt
More informationII - REAL ANALYSIS. This property gives us a way to extend the notion of content to finite unions of rectangles: we define
1 Measures 1.1 Jordan content in R N II - REAL ANALYSIS Let I be an interval in R. Then its 1-content is defined as c 1 (I) := b a if I is bounded with endpoints a, b. If I is unbounded, we define c 1
More 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 informationMEASURE THEORY AND LEBESGUE INTEGRAL 15
MASUR THORY AND LBSGU INTGRAL 15 Proof. Let 2Mbe such that µ() = 0, and f 1 (x) apple f 2 (x) apple and f n (x) =f(x) for x 2 c.settingg n = c f n and g = c f, we observe that g n = f n a.e. and g = f
More informationWe are now going to go back to the concept of sequences, and look at some properties of sequences in R
4 Lecture 4 4. Real Sequences We are now going to go back to the concept of sequences, and look at some properties of sequences in R Definition 3 A real sequence is increasing if + for all, and strictly
More informationMeasures and Measure Spaces
Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not
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 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 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 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 informationDefining the Integral
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
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 informationProof. We indicate by α, β (finite or not) the end-points of I and call
C.6 Continuous functions Pag. 111 Proof of Corollary 4.25 Corollary 4.25 Let f be continuous on the interval I and suppose it admits non-zero its (finite or infinite) that are different in sign for x tending
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 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 informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More informationIntroduction to Real Analysis
Christopher Heil Introduction to Real Analysis Chapter 0 Online Expanded Chapter on Notation and Preliminaries Last Updated: January 9, 2018 c 2018 by Christopher Heil Chapter 0 Notation and Preliminaries:
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 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 informationA Brief Introduction to the Theory of Lebesgue Integration
A Brief Introduction to the Theory of Lebesgue Integration Kevin Sigler June 8, 25 Introduction Gonzalez-Velasco s paper The Lebesgue Integral as a Riemann Integral provides a non-standard, direct construction
More informationMath212a1413 The Lebesgue integral.
Math212a1413 The Lebesgue integral. October 28, 2014 Simple functions. In what follows, (X, F, m) is a space with a σ-field of sets, and m a measure on F. The purpose of today s lecture is to develop the
More informationMATH 101, FALL 2018: SUPPLEMENTARY NOTES ON THE REAL LINE
MATH 101, FALL 2018: SUPPLEMENTARY NOTES ON THE REAL LINE SEBASTIEN VASEY These notes describe the material for November 26, 2018 (while similar content is in Abbott s book, the presentation here is different).
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 informationMath 328 Course Notes
Math 328 Course Notes Ian Robertson March 3, 2006 3 Properties of C[0, 1]: Sup-norm and Completeness In this chapter we are going to examine the vector space of all continuous functions defined on the
More informationMeasure Theory & Integration
Measure Theory & Integration Lecture Notes, Math 320/520 Fall, 2004 D.H. Sattinger Department of Mathematics Yale University Contents 1 Preliminaries 1 2 Measures 3 2.1 Area and Measure........................
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 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 informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More informationFundamental Inequalities, Convergence and the Optional Stopping Theorem for Continuous-Time Martingales
Fundamental Inequalities, Convergence and the Optional Stopping Theorem for Continuous-Time Martingales Prakash Balachandran Department of Mathematics Duke University April 2, 2008 1 Review of Discrete-Time
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 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 informationIf Y and Y 0 satisfy (1-2), 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 information0.1 Uniform integrability
Copyright c 2009 by Karl Sigman 0.1 Uniform integrability Given a sequence of rvs {X n } for which it is known apriori that X n X, n, wp1. for some r.v. X, it is of great importance in many applications
More informationClass Notes for Math 921/922: Real Analysis, Instructor Mikil Foss
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Math Department: Class Notes and Learning Materials Mathematics, Department of 200 Class Notes for Math 92/922: Real Analysis,
More informationMA359 Measure Theory
A359 easure Theory Thomas Reddington Usman Qureshi April 8, 204 Contents Real Line 3. Cantor set.................................................. 5 2 General easures 2 2. Product spaces...............................................
More 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 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 informationProbability and Random Processes
Probability and Random Processes Lecture 4 General integration theory Mikael Skoglund, Probability and random processes 1/15 Measurable xtended Real-valued Functions R = the extended real numbers; a subset
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 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 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 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 informationThe Caratheodory Construction of Measures
Chapter 5 The Caratheodory Construction of Measures Recall how our construction of Lebesgue measure in Chapter 2 proceeded from an initial notion of the size of a very restricted class of subsets of R,
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 informationOn maxitive integration
On maxitive integration Marco E. G. V. Cattaneo Department of Mathematics, University of Hull m.cattaneo@hull.ac.uk Abstract A functional is said to be maxitive if it commutes with the (pointwise supremum
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
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 informationWeak convergence. Amsterdam, 13 November Leiden University. Limit theorems. Shota Gugushvili. Generalities. Criteria
Weak Leiden University Amsterdam, 13 November 2013 Outline 1 2 3 4 5 6 7 Definition Definition Let µ, µ 1, µ 2,... be probability measures on (R, B). It is said that µ n converges weakly to µ, and we then
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 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 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 information5. Lebesgue Integration
Tutorial 5: Lebesgue Integration 1 5. Lebesgue Integration In the following, (Ω, F,μ) is a measure space. Definition 39 Let A Ω. Wecallcharacteristic function of A, the map 1 A :Ω R, defined by: { ω Ω,
More informationMeasure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India
Measure and Integration: Concepts, Examples and Exercises INDER K. RANA Indian Institute of Technology Bombay India Department of Mathematics, Indian Institute of Technology, Bombay, Powai, Mumbai 400076,
More information0.1 Pointwise Convergence
2 General Notation 0.1 Pointwise Convergence Let {f k } k N be a sequence of functions on a set X, either complex-valued or extended real-valued. We say that f k converges pointwise to a function f if
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 informationNotes on the Lebesgue Integral by Francis J. Narcowich Septemmber, 2014
1 Introduction Notes on the Lebesgue Integral by Francis J. Narcowich Septemmber, 2014 In the definition of the Riemann integral of a function f(x), the x-axis is partitioned and the integral is defined
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 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 informationLebesgue Integration: A non-rigorous introduction. What is wrong with Riemann integration?
Lebesgue Integration: A non-rigorous introduction What is wrong with Riemann integration? xample. Let f(x) = { 0 for x Q 1 for x / Q. The upper integral is 1, while the lower integral is 0. Yet, the function
More informationIntroduction and Preliminaries
Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis
More informationQUANTUM MEASURE THEORY. Stanley Gudder. Department of Mathematics. University of Denver. Denver Colorado
QUANTUM MEASURE THEORY Stanley Gudder Department of Mathematics University of Denver Denver Colorado 828 sgudder@math.du.edu 1. Introduction A measurable space is a pair (X, A) where X is a nonempty set
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 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 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 informationUndergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights
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 informationA VERY BRIEF REVIEW OF MEASURE THEORY
A VERY BRIEF REVIEW OF MEASURE THEORY A brief philosophical discussion. Measure theory, as much as any branch of mathematics, is an area where it is important to be acquainted with the basic notions and
More informationChapter 4. Measurable Functions. 4.1 Measurable Functions
Chapter 4 Measurable Functions If X is a set and A P(X) is a σ-field, then (X, A) is called a measurable space. If µ is a countably additive measure defined on A then (X, A, µ) is called a measure space.
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 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 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 informationMATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6
MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION Extra Reading Material for Level 4 and Level 6 Part A: Construction of Lebesgue Measure The first part the extra material consists of the construction
More informationA Measure and Integral over Unbounded Sets
A Measure and Integral over Unbounded Sets As presented in Chaps. 2 and 3, Lebesgue s theory of measure and integral is limited to functions defined over bounded sets. There are several ways of introducing
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 information