+ All Categories
Home > Documents > Atm Notes

Atm Notes

Date post: 04-Apr-2018
Category:
Upload: rahul-rai
View: 214 times
Download: 0 times
Share this document with a friend

of 114

Transcript
  • 7/29/2019 Atm Notes

    1/114

    Measure and Integration:

    Concepts, Examples and Exercises

    INDER K. RANA

    Indian Institute of Technology Bombay

    India

    Department of Mathematics, Indian Institute of Technol-

    ogy, Bombay, Powai, Mumbai 400076, India

    Current address: Department of Mathematics, Indian Institute of Tech-nology, Powai, Mumbai 400076, India

    E-mail address: [email protected]

  • 7/29/2019 Atm Notes

    2/114

    These notes were specially prepared for the participants of the first Annual

    Foundation School, May 2004, held at IIT Bombay, India.

    Abstract. These notes present a quick overview of the theory of Mea-

    sure and Integration. For a more detailed and motivated text, the reader

    may refer authors book:

    An Introduction to Measure and Integration,

    Narosa Publishers, Delhi, 1997

    or,

    An Introduction to Measure and Integration,Second Edition,

    Graduate Text in Mathematics, Volume 45,

    American Mathematical Society, 2002.

    May, 2004 Mumbai 400076 Inder K. Rana

  • 7/29/2019 Atm Notes

    3/114

    Contents

    Chapter 1. Classes of sets 1

    1.1. Semi-algebra and algebra of sets 1

    1.2. Sigma algebra and monotone class 5

    Chapter 2. Measure 9

    2.1. Set functions 9

    2.2. Countably additive set functions on intervals 14

    2.3. Set functions on algebras 15

    2.4. Uniqueness problem for measures 17

    Chapter 3. Construction of measures 19

    3.1. Extension from semi-algebra to the generated algebra 19

    3.2. Extension from algebra to the generated -algebra 20

    3.3. Choosing nice sets: Measurable sets 22

    3.4. Completion of a measure space 24

    3.5. The Lebesgue measure 27

    Chapter 4. Integration 35

    4.1. Integral of nonnegative simple measurable functions 35

    4.2. Integral of nonnegative measurable functions 38

    4.3. Intrinsic characterization of nonnegative measurable functions 42

    4.4. Integrable functions 50

    4.5. The Lebesgue integral and its relation with the Riemannintegral 55

    vii

  • 7/29/2019 Atm Notes

    4/114

    viii Contents

    4.6. L1[a, b] as the completion of R[a, b] 59

    Chapter 5. Measure and integration on product spaces 63

    5.1. Introduction 63

    5.2. Product of measure spaces 65

    5.3. Integration on product spaces: Fubinis theorems 69

    5.4. Lebesgue measure on R2 and its properties 75

    Chapter 6. Lp-spaces 79

    6.1. Integration of complex-valued functions 79

    6.2. Lp-spaces 82

    6.3. L(X, S, ) 866.4. L2(X, S, ) 87

    6.5. L2-convergence of Fourier series 93

    Appendix A. Extended real numbers 97

    Appendix B. Axiom of choice 101

    Appendix C. Continuum hypothesis 103

    Appendix. References 105

    Appendix. Index 107

  • 7/29/2019 Atm Notes

    5/114

    Chapter 1

    Classes of sets

    1.1. Semi-algebra and algebra of sets

    Concepts and examples:

    1.1.1. Definition:Let X be a nonempty set and let C be a collection of subsets of X. We sayC is a semi-algebra of subsets of X if it has the following properties:

    (i) , X C.

    (ii) A B C for every A, B C.

    (iii) For every A C there exist n N and sets C1, C2, . . . , C n C suchthat Ci Cj = for i = j and Ac =

    ni=1 Ci.

    1.1.2. Definition:Let X be a nonempty set and F a collection of subsets of X. The collectionF is called an algebra of subsets of X if F has the following properties:

    (i) , X F.

    (ii) A B F, whenever A, B F.

    (iii) Ac

    F, whenever A F.

    1.1.3. Examples:

    (i) Let X be any nonempty set. The collections {, X} and P(X) := {E| E X} are trivial examples of algebras of subsets of X. The collection P(X)is called the power set of X.

    1

  • 7/29/2019 Atm Notes

    6/114

    2 1. Classes of sets

    (ii) The collection I of all intervals forms a semi-algebra of subsets ofR. For

    a, b R with a < b, consider the collection I of all intervals of the form(a, b], (, b], (a, ), (, +). We call I the collection of all left-open,right-closed intervals ofR. It is easy to check that I is also a semi-algebraof subsets ofR.

    (iii) The collection

    F(I) :=

    E R E =

    nk=1

    Ik, Ik I, Ik I = for k = , n N

    .

    is an algebra of subsets ofR. So is the class

    F(I) :=

    E R | E =n

    k=1

    Ik, Ik I, Ik I = for k = , n N

    .

    (iv) Let X be any nonempty set. Let

    C := {E X| either E or Ec is finite}.

    Then C is an algebra of subsets of X.

    (v) Let X and Y be two nonempty sets, and F and Gsemi-algebras of subsetsof X and Y, respectively. Let

    FG = {FG | F F, G G}.

    Then, FG is a semi-algebra of subsets of XY.

    Exercises:

    (1.1) Let F be any collection of subsets of a set X. Show that F is analgebra if and only if the following hold:

    (i) , X F.

    (ii) Ac

    F whenever A F.(iii) A B F whenever A, B F.

    (1.2) Let F be an algebra of subsets of X. Show that(i) If A, B F then AB := (A \ B) (B \ A) F.

    (ii) If E1, E2, . . . , E n F then F1, F2, . . . , F n F such thatFi Ei for each i, FiFj = for i = j and

    ni=1 Ei =

    nj=1 Fj.

    The next set of exercise describes some methods of constructing algebrasand semi-algebras.

  • 7/29/2019 Atm Notes

    7/114

    1.1. Semi-algebra and algebra of sets 3

    (1.3) Let X be a nonempty set. Let = E X and let C be a semi-

    algebra (algebra) of subsets of X. Let

    C E := {A E| A C}.

    Show that C E is a semi-algebra (algebra) of subsets of E. Notethat C E is the collection of those subsets of E which are elementsof C when E C.

    (1.4) Let X, Y be two nonempty sets and f : X Y be any map. ForE Y, we write f1(E) := {x X| f(x) E}. Let C be anysemi-algebra (algebra) of subsets of Y. Show that

    f1(C) := {f1(E) | E C}

    is a semi-algebra (algebra) of subsets of X.

    (1.5) Give examples of two nonempty sets X, Y and algebras F, G ofsubsets of X and Y, respectively such that F G := {A B | A F, B G} is not an algebra. (It will of course be a semi-algebra,as shown in example 1.1.3(v).)

    (1.6) Let {F}I be a family of algebras of subsets of a set X. LetF :=

    I F. Show that F is also an algebra of subsets of X.

    (1.7) Let {Fn}n1 be a sequence of algebras of subsets of a set X. Underwhat conditions on Fn can you conclude that F :=

    n=1 Fn is also

    an algebra?(1.8) Let C be a semi-algebra of subsets of a set X. A set A X is called

    a -set if there exist sets Ci C, i = 1, 2, . . . , such that Ci Cj = for i = j and

    i=1 Ci = A. Prove the following:

    (i) For any finite number of sets C, C1, C2, . . . , C n in C, C\(n

    i=1 Ci)is a finite union of pairwise disjoint sets from C and hence is a-set.

    (ii) For any sequence {Cn}n1 of sets in C,

    n=1 Cn is a -set.(iii) A finite intersection and a countable union of-sets is a -set.

    (1.9) Let C be any collection of subsets of a set X. Then there exists aunique algebra F of subsets of X such that C F and if A is any

    other algebra such that C A, then F A. This unique algebragiven is called the algebra generated by C and is denoted byF(C).

    (1.10) Show that he algebra generated by I, the class of all intervals, is{E R | E =

    nk=1 Ik, Ik I, Ik I = if 1 k = n}.

    (1.11) Let Cbe any semi-algebra of subsets of a set X. Show that F(C), thealgebra generated by C, is given by {E X | E =

    ni=1Ci, Ci C

    and Ci Cj = for i = j, n N}.

  • 7/29/2019 Atm Notes

    8/114

    4 1. Classes of sets

    Remark:

    Exercise 1.11 gives a description of F(C), the algebra generated bya semi-algebra C. In general, no description is possible for F(C)when C is not a semi-algebra.

    (1.12) Let X be any nonempty set and C = {{x} | x X}

    {, X}. Is Ca semi-algebra of subsets of X? What is the algebra generated byC? Does your answer depend upon whether X is finite or not?

    (1.13) Let Y be any nonempty set and let X be the set of all sequenceswith elements from Y, i.e.,

    X = {x = {xn}n1 | xn Y, n = 1, 2, . . .}.

    For any positive integer k let A Yk, the k-fold Cartesian productof Y with itself, and let i1 < i2 < < ik be positive integers. Let

    C(i1, i2, . . . , ik; A) := {x = (xn)n1 X | (xi1 , . . . , xik) A}.

    We call C(i1, i2, . . . , ik; A) a k-dimensional cylinder set in Xwith base A. Prove the following assertions:(a) Every k-dimensional cylinder can be regarded as a n-dimensional

    cylinder also for n k.(b) Let

    A = {E X | E is an n-dimensional cylinder set for some n}.

    Then, A { , X} is an algebra of subsets of X.

    (1.14) Let C be any collection of subsets of a set X and let E X. Let

    C E := {C E | C C}.

    Then the following hold:(a)

    C E F(C) E := {A E | A F(C)}.

    Deduce that

    F(C E) F(C) E.

    (b) Let

    A = {A X | A E F(C E)}.

    Then, A is an algebra of subsets of X, C A and

    A E = F(C E).

    (c) Using (a) and (b), deduce that F(C) E = F(C E).

  • 7/29/2019 Atm Notes

    9/114

    1.2. Sigma algebra and monotone class 5

    1.2. Sigma algebra and monotone class

    Concepts and examples:

    1.2.1. Definition:Let X be any nonempty set and let S be a class of subsets of X with thefollowing properties:

    (i) and X S.

    (ii) Ac S whenever A S.

    (iii) i=1 Ai S whenever Ai S, i = 1, 2, . . . .Such a class S is called a sigma algebra (written as -algebra) of subsetsof X.

    1.2.2. Examples:

    (i) Let X be any set. Then {, X} and P(X) are obvious examples of -algebras of subsets of X.

    (ii) Let X be any uncountable set and let

    S = {A X | A orAc is countable}.

    Then S is a -algebra of subsets of X.(iii) Let X be any set and let C be any class of subsets ofX. Let S(C) :=

    S,

    where the intersection is taken over all -algebras S of subsets of X suchthat S C (note that P(X) is one such -algebra). It is easy to see thatS(C) is also a -algebra of subsets of X and S(C) C. In fact, ifS is any-algebra of subsets of X such that S C, then clearly S S(C). ThusS(C) is the smallest -algebra of subsets of X containing C, and is calledthe -algebra generated by C. In general it is not possible to representan element of S(C) explicitly in terms of elements of C.

    1.2.3. Definition:Let X be a nonempty set and M be a class of subsets of X. We say M is amonotone class if

    (i)

    n=1 An M, whenever An M and An An+1 for n = 1, 2, . . . ,

    (ii)

    n=1 An M, whenever An M and An An+1 for n = 1, 2, . . . .

    1.2.4. Examples:

    (i) Clearly, every -algebra is also a monotone class.

  • 7/29/2019 Atm Notes

    10/114

    6 1. Classes of sets

    (ii) Let X be any uncountable set. Let M := {A X | A is countable}.

    Then M is a monotone class but not a -algebra.

    (iii) Let X be any nonempty set and let C be any collection of subsets of X.Clearly P(X) is a monotone class of subsets of X such that C P(X).Let M(C) :=

    M, where the intersection is over all those monotone

    classes M of subsets of X such that C M. Clearly, M(C) is itself amonotone class, and if M is any monotone class such that C M, thenM(C) M. Thus M(C) is the smallest monotone class of subsets ofX such that C M(C). The class M(C) is called the monotone classgenerated by C.

    Exercises:

    (1.15) Let S be a -algebra of subsets of X and let Y X. Show thatS Y := {E Y | E S} is a -algebra of subsets of Y.

    (1.16) Let f : X Y be a function and C a nonempty family of subsetsof Y. Let f1(C) := {f1(C) | C C}. Show that S(f1(C)) =f1(S(C)).

    (1.17) Let X be an uncountable set and C = {{x} | x X}. Identify the-algebra generated by C.

    (1.18) Let C be any class of subsets of a set X and let Y X. Let A(C)be the algebra generated by C.

    (i) Show that S(C) = S(A(C)).(ii) Let C Y := {E Y | E C}. Show that S(C Y) S(C) Y.

    (iii) Let

    S := {E (B Yc) | E S(C Y), B C}.

    Show that S is a -algebra of subsets of X such that C Sand S Y = S(C Y).

    (iv) Using (i), (ii) and (iii), conclude that S(C Y) = S(C) Y.

    (1.19) LetCbe a class of subsets of a setX such that C. ThenE S(C)iff sets C1, C2, . . . in C such that E S({C1, C2, . . .}).

    Hint:The technique used to prove of exercise 1.19 is very useful, andis often used to prove various properties of -algebras under con-sideration, is as follows: The sets satisfying the required propertyare collected together. One shows that this collection itself is a-algebra and includes a subfamily of the original -algebra which

  • 7/29/2019 Atm Notes

    11/114

    1.2. Sigma algebra and monotone class 7

    generates it. The claim then follows by the definition of the gener-

    ated -algebra. We call this the -algebra technique.

    (1.20) Let X be any topological space. Let U denote the class of all opensubsets of X and C denote the class of the all closed subsets of X.

    (i) Show that

    S(U) = S(C).

    This is called the -algebra of Borel subsets of X and isdenoted by BX.

    (ii) Let X = R. Let I be the class of all intervals and I the class ofall left-open right-closed intervals. Show that I S(U), I S(I), I S(I) and hence deduce that

    S(I) = S(I) = BR.

    (1.21) Prove the following statements:(i) Let Ir denote the class of all open intervals ofR with rational

    endpoints. Show that S(Ir) = BR.(ii) Let Id denote the class of all subintervals of [0, 1] with dyadic

    endpoints (i.e., points of the form m/2n for some integers m andn). Show that S(Id) = BR [0, 1].

    (1.22) Let C be any class of subsets of X. Prove the following:

    (i) IfC is an algebra which is also a monotone class, show that C isa -algebra.

    (ii) C M(C) S(C).

    (1.23) (-algebra monotone class theorem ) Let A be an algebra ofsubsets of a set X. Then , S(A) = M(A).

    Prove the above statement by proving the following:(i) M(A) S(A).

    (ii) Show that M(A) is closed under complements by proving thatfor

    B := {E X | Ec M(A)},

    A B, and B is a monotone class. Hence deuce that M(A) B.

    (iii) For F M(A), let

    L(F) := {A X | A F M(A)}.

    Show that E L(F) iff F L(E), L(F) is a monotone class,and A L(F) whenever F A. Hence, M(A) L(F), forF A.

  • 7/29/2019 Atm Notes

    12/114

    8 1. Classes of sets

    (iv) Using (iii), deduce that M(A) L(E) for every E M(A),i.e.,

    M(A) is closed under unions also. Now use exercise (1.22) todeduce that S(A) M(A).

  • 7/29/2019 Atm Notes

    13/114

    Chapter 2

    Measure

    2.1. Set functions

    Concepts and examples:

    2.1.1. Definition:Let C be a class of subsets of a set X. A function : C [0, +] is called

    a set function. Further,

    (i) is said to be monotone if (A) (B) whenever A, B C andA B.

    (ii) is said to be finitely additive if

    n

    i=1

    Ai

    =

    ni=1

    (Ai).

    whenever A1, A2, . . . , An C are such that Ai Aj = for i = jand ni=1 Ai C.

    (iii) is said to be countably additive if

    n=1

    An

    =

    n=1

    (An)

    whenever A1, A2, . . . in Cwith AiAj = for i = j and

    n=1 An C.

    9

  • 7/29/2019 Atm Notes

    14/114

    10 2. Measure

    (iv) is said to be countably subadditive if

    (A)

    n=1

    (An).

    whenever A C, A =

    n=1 An with An C for every n.

    (v) is called a measure on Cif Cwith () = 0 and is countablyadditive on C.

    Here are some more examples of finitely/countably additive set func-tions:

    2.1.2.Example:

    Let X be any infinite set and let xn X, n = 1, 2, . . . . Let {pn}n1 be asequence of nonnegative real numbers. For any A X, define

    (A) :=

    {i|xiA}

    pi.

    It is easy to show that is a countably additive set function on the algebraP(X). We say is a discrete measure with mass pi at xi. The measure is finite (i.e., (X) < +) iff

    i=1pi < +. If

    i=1pi = 1, the measure

    is called a discrete probability measure/distribution. Note that({xi}) = pi i and ({x}) = 0 if x = xi. So, one can regard as a setfunction defined on the subsets of the set Y := {xn : n 1}. Some of the

    special cases when X = {0, 1, 2, . . .} are:(a) Binomial distribution: Y := {0, 1, 2, . . . , n} and, for 0 < p < 1,

    pk =

    n

    k

    pk(1 p)nk, 0 k n.

    (b) Poisson distribution: Y := {0, 1, 2, . . .} and

    pk := k e/k!

    for k = 0, 1, 2, . . . , where > 0.

    (c) Uniform distribution: Y := {1, 2, . . . , n},

    pk := 1/k k.

    An important example of a set function on the collection of intervals inR.

    2.1.3 Example:We denote the set of real numbers by R. Let R denote the set ofextendedreal numbers.

    Let I denote the collection of all intervals ofR. If an interval I I hasend points a and b we write it as I(a, b). By convention, the open interval

  • 7/29/2019 Atm Notes

    15/114

    2.1. Set functions 11

    (a, a) = a R. Let [0, +] := {x R|x 0} = [0, +) {+}.

    Define the function : I [0, ] by

    (I(a, b)) :=

    |b a| if a, b R,+ if either a = or b = + or both.

    The function , as defined above, is called the length function and hasthe following properties:

    Property (1): () = 0.

    Property (2): (I) (J) if I J.

    This is called the monotonicity property of (or one says that is

    monotone).Property (3): Let I I be such that I =

    ni=1 Ji, where Ji Jj = for

    i = j. Then

    (I) =n

    i=1

    (Ji).

    This property of is called the finite additivity of , or one says that is finitely additive.

    Property (4): LetI I be a finite interval such that I

    i=1 Ii, whereIi I. Then

    (I)

    i=1

    (Ii).

    Property (5): LetI I be a finite interval such thatI =

    n=1 In, whereIn I and In Im = for n = m. Then

    (I) =

    n=1

    (In).

    Property (6): Let I I be any interval. Then

    (I) =

    n=

    (I [n, n + 1)).

    Property (7): Let I I be any interval such that I =

    n=1 In, In Iand In Im = for n = m. Then

    (I) =

    n=1

    (In).

  • 7/29/2019 Atm Notes

    16/114

    12 2. Measure

    This property of is called the countable additivity of , or one says

    that is countably additive.

    Property (8): Let I I and I

    n=1 In, In I. Then

    (I)

    n=1

    (In).

    This property of is called the countable subadditivity of , or onesays that is countably subadditive.

    Property (9): (I) = (I + x), for every I I and x R, where

    I + x := {y + x | y I}.

    This property of the length function is called translation invariance, orone says that is translation invariant.

    Exercises:

    (2.1) Let X be any countably infinite set and let

    C = {{x} | x X}.

    Show that the algebra generated by C is

    F(C) := {A X | A or Ac is finite}.

    Let : F(C) [0, ) be defined by

    (A) :=

    0 if A is finite,1 if Acis finite.

    Show that is finitely additive but not countably additive. IfX isan uncountable set, show that is also countably additive.

    (2.2) Let X = N, the set of natural numbers. For every finite set A X,let #A denote the number of elements in A. Define for A X,

    n(A) := #{m : 1 m n, m A}n

    .

    Show that n is countably additive for every n on P(X). In a sense,n is the proportion of integers between 1 to n which are in A. Let

    C = {A X | limn

    n(A) exists}.

    Show that C is closed under taking complements, finite disjointunions and proper differences. Is it an algebra?

  • 7/29/2019 Atm Notes

    17/114

    2.1. Set functions 13

    (2.3) Let : I (0, 1] [0, ] be defined by

    (a, b] :=

    b a if a = 0, 0 < a < b 1,+ otherwise.

    (Recall that I (0, 1] is the class of all left-open right-closed inter-vals in (0, 1].)Show that is finitely additive. Is countably additive also?

    (2.4) Let X be a nonempty set.(a) Let : P(X) [0, ) be a finitely additive set function

    such that (A) = 0 or 1 for every A P(X). Let

    U = {A P(X) | (A) = 1}.

    Show that U has the following properties:(i) U.

    (ii) If A X and B A, then B U.(iii) If A, B U, then A B U.(iv) For every A P(X), either A U or Ac U.

    (Any U P(X) satisfying (i) to (iv) is called an ultrafilterin X.)

    (b) Let U be any ultrafilter in X. Define : P(X) [0, ) by

    (A) :=

    1 if A U,0 if A U.

    Show that is finitely additive.(2.5) Let A be an algebra of subsets of a set X.

    (i) Let 1, 2 be measures on A, and let and be nonnegativereal numbers. Show that 1 + 2 is also a measure on A.

    (ii) For any two measures 1, 2 on A, we say

    1 2 if 1(E) 2(E), E A.

    Let {n}n1 be a sequence of measures on A such that

    n n+1, n 1.

    Define E A,

    (E) := limn n(E).

    Show that is also a measure on A and E B,

    (E) = sup {n(E) | n 1}.

    (2.6) Let X be a compact topological space and A be the collection ofall those subsets of X which are both open and closed. Show thatA is an algebra of subsets of X. Further, every finitely additive setfunction on A is also countably additive.

  • 7/29/2019 Atm Notes

    18/114

    14 2. Measure

    2.2. Countably additive set functions on

    intervals

    Concepts and examples:

    We saw in the previous section that the length function is a countably ad-ditive set function on the class of all intervals. One can ask the question:do there exist countably additive set functions on intervals, other than thelength function? The answer is given by the following:

    2.2.1. Proposition:Let F : R R be a monotonically increasing function. Let F : I

    [0, ] be defined by

    F (a, b ] := F(b) F(a),

    F (, b ] := limx

    [F(b) F(x)],

    F (a, ) := limx

    [F(x) F(a)],

    F(, ) := limx

    [F(x) F(x)].

    Then, F is a well-defined finitely additive set function on I. Further, Fis countably additive if F is right continuous.

    One calls F the set function induced by F.

    The converse of proposition 2.2.1 is also true.

    2.2.2. Proposition:Let : I [0, ] be a finitely additive set function such that (a, b] < +

    for every a, b R. Then there exists a monotonically increasing functionF : R R such that (a, b] = F(b) F(a) a, b R. If is alsocountably additive, then F is right-continuous.

    (Hint: Define F as follows:

    F(x) :=

    (0, x] if x > 0,0 if x = 0,

    (x, 0] if x < 0.)

    2.2.3. Remarks:

    (i) In case (R) < +, a more canonical choice for the required function Fin proposition 2.2.2 is given by F(x) := (, x], x R.

  • 7/29/2019 Atm Notes

    19/114

    2.3. Set functions on algebras 15

    (ii) Propositions 2.2.1 and 2.2.2 completely characterize the non-trivial count-

    ably additive set functions on intervals in terms of functions F : R Rwhich are monotonically increasing and right continuous. Such functionsare called distribution functions on R. The set function F induced bythe distribution function F is non-trivial in the sense that it assigns finitenon-zero values to bounded intervals.

    Exercises:

    (2.7) Let F(x) = [x], the integral part of x, x R. Describe the setfunction F.

    (2.8) R. Show that F1 := F + is also a distribution function andF = F1 . Is the converse true?

    (2.9) (i) Let C be a collection of subsets of a set X and : C [0, ]be a set function. If is a measure on C, show that is finitelyadditive. Is monotone? Countably subadditive?

    (ii) IfCbe a semi-algebra, then is countably subadditive iff A C with A

    i=1 Ai, Ai C implies

    (A)

    i=1(Ai).

    2.3. Set functions on algebras

    Concepts and examples:

    In this section, we give some general properties of a set function definedon an algebra A of subsets of an arbitrary set X.

    2.3.1. Theorem:Let A be an algebra of subsets of a set X and let : A [0, ] be a set

    function. Then the following hold:

    (i) If is finitely additive and (B) < +, then (B A) = (B) (A)for every A, B A with A B. In particular, () = 0 if is finitelyadditive and (B) < + for some B A.

    (ii) If is finitely additive, then is also monotone.

    (iii) Let () = 0. Then is countably additive iff is both finitely additiveand countably subadditive.

  • 7/29/2019 Atm Notes

    20/114

    16 2. Measure

    Another characterization of countable additivity of set functions defined

    on algebras is given in the next theorem.

    2.3.2. Theorem:Let A be an algebra of subsets of a set X and let : A [0, ] be suchthat () = 0.

    (a) If is countably additive then the following hold:(i) For any A A, if A =

    n=1 An, where An A and An

    An+1 n, then

    (A) = limn

    (An).

    This is called the continuity from below of at A.(ii) For any A A, if A =

    n=1 An, where An A with An An+1 n and (An) < + for some n, then

    limn

    (An) = (A).

    This is called the continuity from above of at A.

    Conversely,

    (b) If is finitely additive and (i) holds, then is countably additive.

    (c) If (X) < +, is finitely additive and(ii) holds, then is count-ably additive.

    Exercises:

    (2.10 ) (i) In the proofs of part (ii) and part (c) of theorem 2.3.2, where doyou think we used the hypothesis that (X) < +? Do you thinkthis condition is necessary?

    (ii) Let A be an algebra of subsets of a set X and : A [0, ] bea finitely additive set function such that (X) < +. Show thatthe following statements are equivalent:

    (a) limk (Ak) = 0, whenever {Ak}k1 is a sequence in A withAk Ak+1 k, and

    k=1 Ak = .

    (b) is countably additive.

    (2.11 ) Extend the claim of theorem 2.3.2 when A is only a semi-algebraof subsets of X.(Hint: Use exercise 1.8)

    (2.12 ) Let A be a -algebra and : A [0, ] be a measure. For anysequence {En}n1 in A, show that

  • 7/29/2019 Atm Notes

    21/114

    2.4. Uniqueness problem for measures 17

    (i) (lim infn En) lim infn (En).

    (ii) (lim supn En) lim supn (En).

    (Hint: For a sequence {En}n1 of subsets of a set X,

    lim infn

    En :=

    n=1

    k=n

    Ek limsupn

    En :=

    n=1

    k=n

    Ek. )

    2.4. Uniqueness problem for measures

    Concepts and examples:

    The problem that we want to analyze is the following: Let be a -finitemeasure on an algebra A of subsets of X. Let 1 and 2 be two measureson S(A), the -algebra generated by the algebra A, such that 1(A) =2(A) A A. Is 1 = 2?

    2.4.1. Definition:Let Cbe a collection of subsets ofX and let : C [0, ] be a set function.We say is totally finite (or just finite) if (A) < + A C. Theset function is said to be sigma finite (written as -finite) if there existpairwise disjoint sets Xn C, n = 1, 2, . . . , such that (Xn) < + for every

    n and X =

    n=1 Xn.

    2.4.2. Examples:

    (i) The length function on the class of intervals is -finite.

    (ii) Let A = A(I), the algebra generated by left-open right-closed intervalsin R. For A A, let (A) = + if A = and () = 0. Then is ameasure on A and it is not -finite. Let R be chosen arbitrarily andfixed. Let A denote the algebra of subsets ofR generated by A and {}.Define for A A,

    (A) := + if A \ {} = ,

    0 if either A = or A = {}.

    It is easy to check that is also a measure on A and is not -finite.

    (iii) Let X denote the set of rationals in (0,1] and let A be as in (ii) above.Show that the -algebra XS(A) = P(X) and that every nonempty set inthe algebra XA has an infinite number of points. For any E XS(A)and c > 0, define c(E) = c times the number of points in E. Show thatc is a measure on X S(A) = S(X A) and is not -finite.

  • 7/29/2019 Atm Notes

    22/114

    18 2. Measure

    2.4.3. Proposition:

    Let 1 and 2 be totally-finite measures on a -algebra S. Then the classM = {E S | 1(E) = 2(E)} has the following properties:

    (i) M is a monotone class.

    (ii) If S = S(A), and 1(A) = 2(A) A A, then 1(A) = 2(A) A S(A).

    Exercises:

    (2.13 ) Let A be an algebra of subsets of a set X. Let 1 and 2 be -finitemeasures on a -algebra S(A) such that 1(A) = 2(A) A A.Then, 1(A) = 2(A) A S(A).

    (2.14) Show that a measure defined on an algebra A of subsets of a setX is finite if and only if (X) < +.

  • 7/29/2019 Atm Notes

    23/114

    Chapter 3

    Construction of

    measures

    Concepts and examples:

    3.1. Extension from semi-algebra to the

    generated algebra

    3.1.1. Definition:Let Ci, i = 1, 2 be classes of subsets of a set X, with C1 C2. Let function1 : C1 [0, +] and 2 : C2 [0, +] be set functions. The setfunction 2 is called an extension of 1 if 1(E) = 2(E) for every E 1.

    3.1.2. Examples:In example 2.4.2(ii), each is an extension of the measure . Similarly, inexample 2.4.2(iii) each c is an extension of .

    Above examples show that in general a measure on an algebra A canhave more than one extension to S(A), the -algebra generated by A.

    Our next theorem describes a method of uniquely extending a measurefrom a semi-algebra to the algebra generated by it.

    3.1.3. Theorem:Given a measure on a semi-algebra C, there exists a unique measure onF(C) such that (E) = (E) for every E C.

    The measure is called the extension of .

    19

  • 7/29/2019 Atm Notes

    24/114

    20 3. Construction of measures

    [Hint: For E F(C), with E = ni=1 Ei for pairwise disjoint sets E1, . . . , E n C, define

    (E) :=

    i=1

    (Ei).]

    Exercises:

    (3.1) Let C be a collection of subsets of a set X and : C [0, ] be aset function. If is a measure on C, show that is finitely additive.Is monotone? Countably subadditive?

    (3.2) IfC be a semi-algebra, then is countably subadditive iff A Cwith A

    i=1 Ai, Ai C implies

    (A)

    i=1

    (Ai).

    (3.3) Using theorem 3.1.3, show that length function, which is initiallydefined on the semi-algebra I of all intervals, can be uniquely ex-tended to a set function on F(I), the algebra generated. It isworth mentioning a result due to S.M. Ulam (1930) which, underthe assumption of the continuum hypothesis, implies that it isnot possible to extend the length function to all subsets of R.

    Theorem (Ulam): Let be a measure defined on all subsets ofR such that ((n, n + 1]) < n Z and ({x}) = 0 for everyx R. Then (E) = 0 for every E R.

    3.1.3. Remark:Ulams theorem shows the impossibility of extending the length functionfrom intervals to all subsets ofR, assuming the continuum hypothesis. Weshall see later that similar results can be proved if one assumes the axiomof choice. Ulams result uses the property of that ({x}) = 0 x R,and the fact that ([n, n + 1]) < + for every n Z. In the later resultswe shall use the translation invariance property of the length function .

    3.2. Extension from algebra to the generated

    -algebra

    Concepts and Examples:

    Given an arbitrary measure on an algebra A of subsets of a set X, ouraim is to try to extend to a class of subsets of X which is larger than

  • 7/29/2019 Atm Notes

    25/114

    3.2. Extension from algebra to the generated -algebra 21

    A. Intuitively, sets A in A are those whose size (A) can be measured

    accurately. The approximate size of any set E X is given by the outermeasure as defined next. Recall that, for any nonempty set A [0, +],we write inf(A) := infA [0, +) if A [0, +) = , and inf(A) := +otherwise.

    3.2.1. Definition:Let A be an algebra of subsets of a set X and : A [0, ] be a measureon A. For E X, define

    (E) := inf

    i=1(Ai) Ai A,

    i=1Ai E

    .

    The set function is called the outer measure induced by .

    3.2.2. Proposition (Properties of outer measure):The set function : P(X) [0, ] has the following properties:

    (i) () = 0 and (A) 0 A X.

    (ii) is monotone, i.e.,

    (A) (B) whenever A B X.

    (iii) is countably subadditive, i.e.,

    (A)

    i=1

    (Ai) whenever A =

    i=1

    Ai.

    (iv) is an extension of , i.e.,

    (A) = (A) if A A.

    3.2.3. Remarks:(i) A set function defined on all subsets of a set X is called an outermeasure if has properties (i), (ii) and (iii) in proposition 3.2.2. The outermeasure induced by is characterized by the property that if is anyouter measure on X such that (A) = (A) A A, then (A) (A).In other words, is the largest of all the outer measures which agree with

    on A.

    (ii) In the definition of (E) the infimum is taken over the all possiblecountable coverings of E. To see that finite coverings will not suffice, con-sider E := Q (0, 1), the set of all rationals in (0, 1), and let I1, I2, . . . , I nbe any finite collection of open intervals such that E

    ni=1 Ii. Then it is

    easy to see thatn

    i=1 (Ii) 1. This will imply (E) 1 if only finite

    coverings are considered in the definition of , which contradicts the factthat (E) = 0, E being a countable set.

  • 7/29/2019 Atm Notes

    26/114

    22 3. Construction of measures

    3.2.4. Example:

    LetA := {A R | Either A or Ac is countable}.

    It is easy to see that A is a -algebra. For A A, let (A) = 0 if A iscountable and (A) = 1 if Ac is countable. Then, is a measure on A. Let be the outer measure induced by on P(R). It follows from proposition3.2.2 that is countably subadditive on P(R).

    IfA R is countable, then clearly A A, and hence (A) = (A) = 0.Further, (A) = 1 iff A is uncountable. Since, R = (, 0] (0, ) and

    (R) = 1 < 2 = (, 0] + (0, ).

    This shows that need not be even finitely additive on all subsets.

    Exercises:

    (3.4) Show that (E), as in definition 3.2.1, is well-defined.

    (3.5) The set function (E) can take the value + for some sets E.

    (3.6) Show that

    (E) = inf

    i=1

    (Ai) Ai A, Ai Aj = for i = j and

    i=1

    Ai E

    .

    (3.7) Let X be any nonempty set and let A be any algebra of subsets ofX. Let x0 X be fixed. For A A, define

    (A) :=

    0 if x0 A,1 if x0 A.

    Show that is countably additive. Let be the outer measureinduced by . Show that (A) is either 0 or 1 for every A X,and (A) = 1 ifx0 A. Can you conclude that (A) = 1 impliesx0 A? Show that this is possible if {x0} A.

    3.3. Choosing nice sets: Measurable sets

    Concepts and examples:

    In the previous section we defined the notion of , the outer measure in-duced by on all subsets of X. We saw that (A) = (A), A A, butin general need not be even finitely additive on P(X). Let us try to iden-tify some subclass S of P(X) such that restricted to S will be countableadditive. This is the class S which we call the class of nice subsets of X.

  • 7/29/2019 Atm Notes

    27/114

    3.3. Choosing nice sets: Measurable sets 23

    But the problem is how to pick these nice sets? This motivates our next

    definition.

    3.3.1. Definition:A subset E X is said to be -measurable if for every Y X,

    (Y) = (Y E) + (Y Ec). (3.1)

    We denote by S the class of all -measurable subsets of X. Note thatE S iff Ec S, due to the symmetry in equation (3.1).

    Thus, a set E X is a nice set if we use it as a knife to cut any subsetY of X into two parts, Y E and Y Ec, so that their sizes (Y E) and

    (Y E

    c

    ) add up to give the size

    (Y) of Y. Thus a nice set is in a sensea sharp knife.

    3.3.2. Theorem:Let E X. Show that the following statements are equivalent:

    (i) E S.

    (ii) For every Y X,

    (Y) (Y E) + (Y Ec).

    (iii) For every Y X, with (Y) < +,

    (Y)

    (Y E) +

    (Y Ec

    ).(iv) For every A A,

    (A) (A E) + (A Ec).

    We give an equivalent definition of measurable sets when (X) < +.

    3.3.3. Theorem:Let (X) < +. Then E X is -measurable iff

    (X) = (E) + (Ec)

    Next, we check that S is indeed the required collection of nice sets.

    3.3.4. Proposition:The collection S has the following properties:

    (i) A S.

    (ii) S is an algebra of subsets of X, S(A) S, and restricted toS is finitely additive.

  • 7/29/2019 Atm Notes

    28/114

    24 3. Construction of measures

    (iii) If An S, n = 1, 2, . . . , then n=1 An S and restricted toS is countably additive.

    (iv) Let N := {E X | (E) = 0}. Then N S.

    This together with proposition 2.4.3 gives us the following:

    3.3.5. Theorem:Let be a measure on an algebra A of subsets of a setA. If is-finite, thenthere exists a unique extension of to a measure on S(A), the -algebragenerated by A.

    3.3.6. Remark:Theorems 3.2.2.(iv) and 3.3.4 together give us a method of constructing anextension of a measure defined on an algebra A to a class S S(A) A.

    Exercises:

    (3.8) Identify the collection of -measurable sets for as in example3.2.4.

    (3.9) Let X = [a, b] and let S be the -algebra of subsets of X generatedby all subintervals of [a, b]. Let , be finite measures on Ssuch that([a, c]) = ([a, c]), c [a, b]. Show that (E) = (E) E S.

    (3.10) Let F be the measure on the algebra A(I) as given in proposition

    2.2.1. Let F itself denote the unique extension of F to LF, the-algebra of F-measurable sets, as given by theorem 3.3.4. Showthat

    (i) BR LF.(ii) F({x}) = F(x) lim

    yxF(y). Deduce that the function F is

    continuous at x iff F({x}) = 0.(iii) Let F be differentiable with bounded derivative. If A R is

    a null set, then F(A) = 0.The measure F is called the Lebesgue-Stieltjes measure in-duced by the distribution function F.

    3.4. Completion of a measure space

    Concepts and examples:

    Theorem 3.3.4 showed that, given a -finite measure on an algebra A ofsubsets of a set X, can be extended to a unique measure on the -algebra S of -measurable subsets of X, and S S(A). In this sectionwe describe the relation between S and the sets in S(A).

  • 7/29/2019 Atm Notes

    29/114

    3.4. Completion of a measure space 25

    We first give an equivalent ways of describing (E) for any set E

    X, being the outer measure induced by . Let A denote the collectionof sets of the form

    i=1 Ai, Ai A.

    3.4.1. Proposition:For every set E X,

    (E) = inf {(A) | A A, E A}

    = inf {(A) | A S(A), E A}

    = inf {(A) | A S, E A}.

    3.4.2. Proposition:For every E X, there exists a set F S(A) such that E F, (E) =(F) and (F \ E) = 0.

    The set F is called a measurable cover of E.

    3.4.3. Corollary:LetE X. Then there exists a set K E, K S(A), such that (A) = 0

    for every set A E\ K.

    The set K is called a measurable kernel of E.

    3.4.4. Definition:Let X be a nonempty set, S a -algebra of subsets of X and a measure onS. The pair (X, S) is called a measurable space and the triple (X, S, ) iscalled a measure space. Elements of S are normally called measurablesets.

    Till now what we have done is that, given a measure on an algebra A ofsubsets of a set X, we have constructed the measure spaces (X, S(A), ),(X, S, ) and exhibited the relations between them. The measure space(X, S, ) has the property that ifE X and (E) = 0, then E S. Thisproperty is called the completeness of the measure space (X, S, ).

    The measure space (X, S(A),

    ) need not be complete in general. However,S is obtainable from S(A) and N := {E X | (E) = 0} by

    S = S(A) N := {E N | E S(A), N N }.

    One calls (X, S, ) the completion of (X, S(A), ). This construction canbe put in a general context as follows.

    3.4.5. Definition:Let (X, S, ) be a measure space and let N := {E X | E N for some

  • 7/29/2019 Atm Notes

    30/114

    26 3. Construction of measures

    N S with (N) = 0}. One says (X, S, ) is complete ifN S. Elements

    of N are called the -null subsets of X.

    The abstraction of the relation between the measure spaces (X, S(A), )and (X, S, ) is described in the next theorem.

    3.4.6. Theorem:Let(X, S, ) be a measure space and let N be the class of -null sets (as indefinition 3.4.5). Let S N := {E N | E S, N N } and S N :={E N| E S, N N }. Then S N = S N is a -algebra of subsets ofX. Let(E N) = (E), E S, N N. Then is a measure onS Nand(X, S N, ) is a complete measure space, called the completion of the

    measure space (X, S, ). (The measure space (X, S N, ) is also denotedby (X, S, ).

    Finally we describe the relation between on P(X) and on A.

    3.4.7. Proposition:Let be a measure on an algebra A of subsets of a set X and let be theinduced outer measure. Let E S be such that (E) < + and let > 0be arbitrary. Then there exists a set F A such that (E F) < .

    3.4.8. Note:Whenever (X, S, ) is a finite measure space with (X) = 1, it is called a

    probability space and the measure is called a probability. The reasonfor this terminology is that the triple (X, S, ) plays a fundamental rolein the axiomatic theory of probability. It gives a mathematical model foranalyzing statistical experiments. The set X represents the set of all possibleoutcomes of the experiment, the -algebra S represents the collection ofevents of interest in that experiment, and for every E S, the nonnegativenumber (E) is the probability that the event E occurs. For more detailssee Kolmogorov [9] and Parthasarathy [10].

    Exercises:

    (3.11 ) Let E X, and let G1, G2 be two measurable covers of E. Showthat (G1G2) = 0.

    (3.12) Let E1 E2 E3 . . . be subsets of X. Then

    n=1

    En

    = lim

    n(En).

    (3.13 ) Let E X, and let K1, K2 be two measurable kernels of E. Showthat (K1K2) = 0.

  • 7/29/2019 Atm Notes

    31/114

    3.5. The Lebesgue measure 27

    (3.14 ) Let N := {E X | (E) = 0}. Show that N is closed under

    countable unions and

    S = S(A) N := {E N | E S(A), N N },

    where S is the -algebra of-measurable sets. Further, A S

    (A) = (E), if A = E N, with E S(A) and N N.

    3.5. The Lebesgue measure

    Concepts and examples:

    We now apply the extension theory of measures, developed in previous sec-tions, to the particular case when X = R, A = A(I), the algebra generatedby all intervals, and on A is the length function as described in section

    3.1. The outer measure

    , induced by the length function , on all sub-sets ofR is called the Lebesgue outer measure and can be described asfollows: for E R,

    (E) := inf

    i=1

    (Ii) Ii I i, Ii Ij = for i = j and E

    i=1

    Ii

    .

    The -algebra of

    -measurable sets, as obtained in section 3.4, is called the-algebra of Lebesgue measurable sets and is denoted by LR, or simply

    by L. The -algebra S(I) = S(A) := BR, generated by all intervals, is calledthe -algebra ofBorel subsets ofR. We denote the restriction of

    to L or

    BR by itself. The measure space (R, L, ) is called the Lebesgue mea-sure space and is called the Lebesgue measure. We note that since on I is -finite (e.g., R =

    +n=(n, n + 1]), the extension of to BR is

    unique. It is natural to ask the question:What is the relation between the classes BR, L and P(R)?

    As a special case of theorem 3.4.6, we have L = BR N, where

    N := {N R | N E BR, (E) = 0}.

    Thus,BR L P(R).

    The question arises:

    Is BR a proper subset of L?

    That is, are there sets in L which are not Borel sets?. First of all, we note

    that Cantors ternary set C N L. Further, E C, then

    (E) = 0and hence E L. In other words, P(C) L. Thus, the cardinality of L

  • 7/29/2019 Atm Notes

    32/114

    28 3. Construction of measures

    is at least 2c (here c denotes the cardinality of the real line, also called the

    cardinality of the continuum). Since L P(R), we get the cardinalityof L to be 2c. On the other hand, BR is the -algebra generated by allopen intervals of R with rational endpoints. One can show that the -algebra BR of Borel subsets ofR has cardinality c, that of the continuum.Thus, there exist sets which are Lebesgue measurable but are not Borel sets.The actual construction of such sets is not easy. One such class of sets iscalled analytic sets. An analytic set is a set which can be represented as acontinuous image of a Borel set. For a detailed discussion on analytic sets,see Srivastava [38], Parthasarathy [29].

    Since L, the class of all Lebesgue measurable subsets of R, has 2c ele-ments, i.e., same as that of P(R), the natural question arises:

    Is L = P(R)?

    We stated earlier that, if we assume the continuum hypothesis, it is notpossible to define a countably additive set function on P(R) such that({x}) = 0 x R. In particular, if we assume the continuum hypothesis,we cannot extend to all subsets ofR. Hence L = P(R). What can be saidif one does not assume the continuum hypothesis? To answer this question,one can either try to construct a set E R such that E L ,or, assumingthat such a set exists, try to see whether one can reach a contradiction.G. Vitali (1905), F. Bernstein (1908), H. Rademacher (1916) and othersconstructed such sets assuming the axiom of choice (see appendix B). The

    example of Vitali used the translation invariance property of the Lebesguemeasure, and that of Bernstein used the regularity properties of the Lebesguemeasure. Rademacher proved that every set of positive outer Lebesguemeasure includes a Lebesgue nonmeasurable set. Even today, more andmore nonmeasurable sets with additional properties are being constructed.For example, one can construct nonmeasurable subsets A of R such that

    (A I) =

    (I) for every interval I R. Of course, all these constructionsare under the assumption of the axiom of choice. Lebesgue himself didnot accept such constructions. In 1970, R. Solovay [37] proved that if oneincludes the statement all subsets of R are Lebesgue measurable as anaxiom in set theory, then it is consistent with the other axioms of set theoryif the axiom of choice is not assumed. Construction of a nonmeasurableset(due to Vitali), assuming the axiom of choice, is given in exercise (3.26).

    We recall that the -algebra BR includes all topologically nice subsetsofR, such as open sets, closed sets and compact sets. Also, for E BR, ifwe transform E with respect to the group operation on R, e.g., for x R,consider E+ x := {y + x | y E}, then E+ x BR. For this, note that themap y x + y is a homeomorphism ofR onto R, and hence E + x Bfor every open set E. We leave it for the reader to verify (using -algebra

  • 7/29/2019 Atm Notes

    33/114

    3.5. The Lebesgue measure 29

    techniques) that this is true for all sets E BR. The relation of on L

    with on topologically nice subsets of R and the question as to whetherE+ x L for E L, x R, i.e., do the group operations on R preserve theclass of Lebesgue measurable sets, will be analyzed in this section. We give

    below some properties of

    which are also of interest.

    3.5.1. Theorem:Let E R and

    (E) < +. Then, given > 0, there exists a set F which

    is a finite disjoint union of open intervals and is such that

    (E F) < .

    We give next some more characterizations of Lebesgue measurable sets.

    3.5.2. Theorem:For any set E R the following statements are equivalent:

    (i) E L, i.e., E is Lebesgue measurable.

    (ii) For every > 0, there exists an open set G such that

    E G and

    (G \ E) < .

    (iii) For every > 0, there exists a closed set F such that

    F E and

    (E\ F) < .

    (iv) There exists a G-set G such that

    E G and

    (G \ E) = 0.

    (v) There exists an F-set F such that

    F E and

    (E\ F) = 0.

    [Hint: Prove the following implications:

    (i) = (ii) = (iv) = (i)and

    (i) = (iii) = (v) = (i).]

    3.5.3. Note:Theorem 3.5.2 tells us the relation between L, the class of Lebesgue mea-surable sets, and the topologically nice sets, e.g., open sets and closed sets.The property that for E L and > 0, there exists an open set G Ewith (G \ E) < can be stated equivalently as:

    (E) = inf{(U) | U open, U E}.

  • 7/29/2019 Atm Notes

    34/114

    30 3. Construction of measures

    This is called the outer regularity of . Other examples of outer regular

    measures on R (in fact any metric space) are given in the exercise 3.25.

    Another topologically nice class of subsets ofR is that of compact subsetsofR. It is natural to ask the question: does there exist a relation betweenL and the class of compact subsets ofR? Let K be any compact subset ofR. Since K is closed (and bounded), clearly K BR L and (K) < +.It is natural to ask the question: can one obtain (E) for a set E BR, if(E) < +, from the knowledge of (K), K compact in R? The answer isgiven by the next proposition.

    3.5.4. Proposition:

    Let E L with 0 < (E) < + and let > 0 be given. Then there exists acompact set K E such that (E\ K) < .

    On the set R, we have the group structure given by the binary operation ofthe addition of two real numbers. We analyze the behavior of on L underthe map y y + x, y R and x R fixed. We saw that A + x is aLebesgue measurable set whenever A is Lebesgue measurable and x R. Itis natural to ask the question: for A L and x R, is (A + x) = (A)?The answer is given by the following:

    3.5.5. Theorem (Translation invariance property):Let E L. Then E+ x L for every x R, and (E+ x) = (E).

    We saw that Lebesgue measure is the unique extension of the length functionfrom the class I of intervals to BR, the -algebra of Borel subsets ofR. Thisgave us a measure on BR with the following properties:

    (i) For every nonempty open set U, (U) > 0.

    (ii) For every compact set K, (K) < +.

    (iii) For every E BR,

    (E) = inf {(U) | U open, U E},= sup{(C) | C E, C closed}.

    If (E) < +, then we also have

    (E) = sup{(K) | K E, K compact}.

    (iv) For every E BR and x R, E+ x BR and (E+ x) = (E).

    Thus the Lebesgue measure is a translation invariant -finite regularmeasure on BR. The question arises: are there other -finite measures onBR with these properties? Obviously, if c > 0 then c defined by (c)(E) :=c(E), E BR, is also a -finite measure and is translation invariant. Infact the following hold:

  • 7/29/2019 Atm Notes

    35/114

    3.5. The Lebesgue measure 31

    3.5.6. Theorem:

    Let be a measure on BR such that

    (i) (U) > 0 for every nonempty open set U R.

    (ii) (K) < + for every compact set K R.

    (iii) (E+ x) = (E), E BR and x R.

    Then there exists a positive real number c such that (E) = c(E) E BR.

    3.5.7. Note:In fact the above theorem has a far-reaching generalization to abstract topo-logical groups. Let us recall that the set of real numbers R is a group underthe binary operation +, the addition of real numbers. Also, there is a topol-ogy on R which respects the group structure, i.e., the maps (t, s) t + sand t t from R R R and R R, respectively, are continuouswhen R R is given the product topology. In an abstract setting, if G is aset with a binary operation and a topology T such that (G, ) is a groupand the maps G G G, (g, h) g.h and G G, g g1 arecontinuous with respect to the product topology on G G, one calls G atopological group. Given a topological group, let BG denote the -algebragenerated by open subsets of G, called the -algebra of Borel subsets of G.The question arises: does there exist a -finite measure on G such that ithas the properties as given in theorem 3.5.5? A celebrated theorem due to A.

    Haar states that such a measure exists and is unique up to a multiplicative(positive) constant ifG is locally-compact. Such a measure is called a (right)Haar measure on G. Theorem 3.5.5 then states that for the topologicalgroup R, the Lebesgue measure is a Haar measure. Consider the group(R \ {0}, ), where R \ {0} = {t R|t = 0} and is the usual multiplicationof real numbers. Let R \ {0} be given the subspace topology from R. It iseasy to show that R \ {0} is a topological group and, E BR\{0},

    (E) :=

    E

    1

    |x|d(x) (3.2)

    is a Haar measure on R \ {0}.

    3.5.8. Note:In the previous sections we have seen how the general extension theory,as developed earlier, can be applied to the particular situation when thesemi-algebra is that of intervals and the set function is the length function.More generally, if we consider the semi-algebra I of left-open right-closedintervals in R and consider F : R R as a monotonically increasingright continuous function, then we can construct a countably additive setfunction F on the semi-algebra I, as in example 1.1.2. Using theorem

  • 7/29/2019 Atm Notes

    36/114

    32 3. Construction of measures

    3.4.6, we can construct a complete measure F on a -algebra of subsets

    ofR which includes BR. This measure F is called the Lebesgue-Stieltjesmeasure induced by the function F. Note that F has the property thatF(a, b] < + a, b R, a < b . Conversely, given a measure on BRsuch that (a, b] < + a, b R, a < b , we can restrict it to I and,using proposition 2.2.2, define a monotonically increasing right continuousfunction F : R R such that the unique Lebesgue-Stieltjes measure Finduced by F is nothing but (by the uniqueness of the extension). Thusmeasures on BR which have the property that (a, b] < + a < bcan be looked upon as a Lebesgue-Stieltjes measure F for some F. Wepoint out that it is possible to find different F1, F2 : R R such thatboth are monotonically increasing and right continuous and F1 = F2 . If

    is finite measure, i.e., (R) < +, then it is easy to see that F(x) :=(, x], x R, is a monotonically increasing right continuous functionsuch that = F. This F is called the distribution function of . When(R) = 1, is called a probability and its distribution function F, which ismonotonically increasing and is right continuous with lim

    x[F(x) F(x)]

    = F(R) = 1, is called a probability distribution function.

    Exercises:

    (3.15) LetI0 denote the collection of all open intervals ofR. For E X,show that

    (E) = inf

    i=1

    (Ii) Ii I0 i, for i = j and E

    i=1

    Ii

    .

    (3.16) Let E R and let > 0 be arbitrary. Show that there exists an

    open set U E such that (U)

    (E)+. Can you also concludethat (U \ E) ?

    (3.17) For E R, let

    diameter(E) := sup{|x y| | x, y E}.

    Show that

    (E) diameter(E).

    (3.18) Show that for E R,

    (E) = 0 if and only if for every > 0,there exist a sequence {In}n1 of intervals such that E n=1 and

    (n=1 \ E) < . Such sets are called Lebesgue null sets.Provethe following:

    (i) Every singleton set {x}, x R, is a null set. Also every finiteset is a null set.

    (ii) Any countably infinite set S = {x1, x2, x3, . . .} is a null set.(iii) Q, the set of rational numbers, is a null subset ofR.

  • 7/29/2019 Atm Notes

    37/114

    3.5. The Lebesgue measure 33

    (iv) Every subset of a null set is also a null set.

    (iv) Let A1, A2, . . . , An, . . . be null sets. Then

    n=1 An is a nullset.

    (v) Let E [a, b] be any set which has only a finite number oflimit points. Can E be uncountable? Can you say E is a nullset?

    (vi) Let E be a null subset ofR and x R. What can you say aboutthe sets E+ x := {y + x | y E} and xE := {xy | y E}?

    (vii) Let I be an interval having at least two distinct points. Showthat I is not a null set.

    (viii) IfE contains an interval of positive length, show that it is nota null set. Is the converse true, i.e., if E

    R is not a null set,

    then does E contain an interval of positive length?(ix) Show that Cantors ternary set is an uncountable null set.

    (3.19) Let E [0, 1] be such that

    ([0, 1] \ E) = 0. Show that E is densein [0, 1]

    (3.20) Let E R be such that

    (E) = 0. Show that E has empty interior.

    (3.21) Let {En}n1 be any increasing sequence of subsets (not necessarilymeasurable) ofR. Then,

    n=1 En

    = limn

    (En).

    (3.22) Let E R. Show that the following statements are equivalent:(i) E L.

    (ii)

    (I) =

    (E I) +

    (Ec I) for every interval I.(iii) E [n, n + 1) L for every n Z.

    (iv)

    (E [n, n + 1)) +

    (Ec [n, n + 1)) = 1 for every n Z.

    (3.23) Let A L and x R. Using theorem 4.2.2, show that(i) A + x L, where A + x := {y + x | y A}.(ii) A L, where A := {y | y A}.

    (3.24) Let (X, d) be any metric space and let be a measure on BX

    , the-algebra generated by open subsets of X, called the -algebra ofBorel subsets of X. The measure is called outer regular if E BX,

    (E) = inf {(U) | U open, U E},

    = sup{(C) | C closed, C E}. (3.3)

    (i) If (X) < +, show that is outer regular iff for every E BX and > 0 given, there exist an open set U and a closed

  • 7/29/2019 Atm Notes

    38/114

    34 3. Construction of measures

    set C such that

    U E C and (U C) < .

    (ii) For A X, let

    d(x, A) := inf{d(x, y) | y A}.

    Show that for every A X, x d(x, A) is a uniformly con-tinuous function.(Hint: |d(x, A) d(y, A)| d(x, y) x,y.)

    (iii) Let (X) < + and

    S := {E BX | (3.3) holds for E}.

    Show that S is a -algebra of subsets of X.(iv) Let C be any closed set in X. Show that C S.

    (Hint: C =

    n=1{x X : d(x, C) < 1/n}.)(v) Show that is outer regular on BX.

    (3.25) Let E BR. Show that E+ x BR for every x R.

    (3.26) Let E L and x R. Let

    xE := {xy | y E} and E := {x | x E}.

    Show that E,xE L for every x E. Compute (xE) and(E) in terms of (E).

    (3.27) Example (Vitali)(Existence of nonmeasurable sets:

    Define a relation on [0,1] as follows: for x, y [0, 1], we say x isrelated to y, written as x y, if x y is a rational. Prove thefollowing:

    (i) Show that is an equivalence relation on [0, 1].(ii) Let {E}I denote the set of equivalence classes of elements

    of [0, 1]. Using the axiom of choice, choose exactly one elementx E for every I and construct the set E := {x| I}.Let r1, r2, . . . , rn, . . . denote an enumeration of the rationals in[1, 1]. Let

    En := rn + E, n = 1, 2, . . . .

    Show that En Em = for n = m and En [1, 2] for every n.Deuce that

    [0, 1]

    n=1

    En [1, 2].

    (iii) Show that E is not Lebesgue measurable.

  • 7/29/2019 Atm Notes

    39/114

    Chapter 4

    Integration

    Unless stated otherwise, we shall work on a fixed -finite measure space(X, S, ).

    4.1. Integral of nonnegative simple measurable

    functions

    Concepts and examples:

    4.1.1. Definition:

    Let s : X [0, ] be defined by

    s(x) =n

    i=1

    aiAi (x), x X,

    where n is some positive integer; a1, a2, . . . , an are nonnegative extended realnumbers; Ai S for every i; Ai Aj = for i = j; and

    ni=1 Ai = X. Such a

    function s is called a nonnegative simple measurable function on (X, S)and

    ni=1 aiAi (x) is called a representation of s. We say

    ni=1 aiAi is

    the standard representation of s if a1, a2, . . . , an are all distinct.

    We denote by L+0 the class of all nonnegative simple measurable func-

    tions on (X, S).Note that s L+0 iff s takes only a finite number of distinct values, say

    a1, a2, . . . , an, the value ai being taken on the set Ai S, i = 1, 2, . . . , n .And in that case its standard representation is

    ni=1 aiAi . Also note that

    the class L+0 depends only upon the set X and the -algebra S; the measure plays no part in the definition of functions in L+0 .

    35

  • 7/29/2019 Atm Notes

    40/114

    36 4. Integration

    4.1.2. Examples:

    (i) Clearly, if s(x) c for some c [0, +], then s L+0 .

    (ii) For A X, consider A : X [0, +], the indicator function of theset A, i.e., A(x) = 1 if x A and A (x) = 0 ifx A. Then A L

    +0 iff

    A S, for A = aA + bAc with a = 1 and b = 0.

    (iii) Let A, B S. Then s = A B L+0 , since s = AB .

    (iv) Let A, B S. If A B = , then clearly A + B = AB L+0 .

    4.1.3. Definition:For s L+0 with a representation s =

    ni=1 aiAi , we define

    s(x)d(x),

    the integral of s with respect to , bys(x)d(x) :=

    ni=1

    ai(Ai).

    The integral

    s(x)d(x) is also denoted by

    sd. It is well-defined (seeexercise (4.1)).

    4.1.4. Proposition:

    For s, s1, s2 L+0 and R with 0, the following hold:

    (i) 0

    sd +.

    (ii) s L+0 and (s)d =

    sd.

    (iii) s1 + s2 L+0 and

    (s1 + s2)d =

    s1d +

    s2d.

    (iv) For E S we have sE L+0 , and the set function

    E (E) :=

    sEd

    is a measure on S. Further, (E) = 0 whenever (E) = 0, E S.

    Before we proceed further, we observe that

    s(x)d(x) is well-defined,(see

    Exercise 4.1). The properties of

    sd, for s L+0 , are given by the nextproposition.

  • 7/29/2019 Atm Notes

    41/114

    4.1. Integral of nonnegative simple measurable functions 37

    4.1.5. Proposition:

    Let s L+0 . Then the following hold:

    (i) If {sn}n1 is any increasing sequence in L+0 such that limn sn(x)

    = s(x), x X, then sd = lim

    n

    snd.

    (ii)

    sd = sup

    s

    d | 0 s

    s, s

    L+0

    .

    Exercises:

    (4.1) Show that for s L+0 ,

    s(x)d(x) is well-defined by proving thefollowing: let

    s =n

    i=1

    aiAi =m

    j=1

    bjBj ,

    where {A1, . . . , An} and {B1, . . . , Bm} are partitions of X by ele-ments of S, then(ii)

    s =n

    i=1

    ai

    m

    j=1

    AiBj =m

    j=1

    bj

    n

    i=1

    AiBj .

    (ii)n

    i=1

    ai(Ai) =m

    j=1

    bj(Bj).

    (iii)

    s(x)d(x) is independent of the representation of the func-tion s(x) =

    ni=1 aiAi .

    (4.2) Let A, B S. Express the functions |A B | and A +B ABas indicator functions of sets in S and hence deduce that theybelong to L+0 .

    (4.3) Let s1, s2 L+0 . Prove the following:(i) If s1 s2, then

    s1d

    s2d.

    (ii) Let x X,

    (s1 s2)(x) := max{s1(x), s2(x)} and (s1 s2)(x) := min{s1(x), s2(x)}.

    Then s1 s2 and s1 s2 L+0 with

    (s1 s2)d

    sid

    (s1 s2)d, i = 1, 2.

  • 7/29/2019 Atm Notes

    42/114

    38 4. Integration

    (4.4) Express the functions A B and A B , for A, B S, in terms

    of the functions A and B .

    (4.5) Let X = (0, 1], S = B(0,1], the -algebra of Borel subsets of (0, 1]and = , the Lebesgue measure restricted to S. For x (0, 1], ifx has non-terminating dyadic expansion x =

    n=1 xn/2

    n. Let

    fi(x) :=

    +1 if xi = 1,1 if xi = 0, i = 1, 2, . . . .

    Show that for every i, there exists simple function si L+0 such

    that fi = si 1. Compute

    sid.

    (4.6) Let s : X R be any nonnegative function such that the rangeofs is a finite set. Show that s L+

    0

    iffs1{t} S for every t R.

    (4.7) For s1, s2 L+0 show that {x | s1(x) s2(x)} S. Can you say

    that the sets {x X| s1(x) > s2(x)}, {x X| s1(x) s2(x)} and{x X| s1(x) = s2(x)} are also elements of S?

    (4.8) Let s1, s2 L+0 be real valued and s1 s2. Let = s1 s2. Show

    that L+0 . Can you say thatd =

    s1d

    s2d?

    (4.9) Let {sn}n1 and {s

    n}n1 be sequences in L+0 such that for each

    x X, both {sn(x)}n1 and {s

    n(x)}n1 are increasing and

    limn sn(x) = limn s

    n(x).

    Show that

    limn

    snd = lim

    n

    s

    nd.

    (Hint: Apply exercise (4.3) and proposition 4.1.5 to {sn s

    m}n forall fixed m to deduce that

    s

    md limn

    snd.)

    (4.10) Show that in general L+0 need not be closed under limiting oper-ations. For example, consider the Lebesgue measure space (R, L, )and construct a sequence {sn}n1 in L

    +0 such that limn

    sn(x) = f(x)

    exists but fL+

    0.

    4.2. Integral of nonnegative measurable

    functions

    Concepts and examples:

    Having defined the integral for functions s L+0 , i.e., nonnegative simplemeasurable functions, we would like to extend it to a larger class.

  • 7/29/2019 Atm Notes

    43/114

    4.2. Integral of nonnegative measurable functions 39

    4.2.1. Definition:

    (i) A nonnegative function f : X R is said to be S-measurable ifthere exists an increasing sequence of functions {sn}n1 in L

    +0 such that

    f(x) = limn

    sn(x) x X.

    If the underlying -algebra is clear from the context, a S-measurablefunction is also called measurable. We denote the set of all nonnegativemeasurable functions by L+.

    (ii) For a function f L+, we define the integral of f with respect to byf(x)d(x) := lim

    n

    sn(x)d(x).

    It follows from exercise (4.9) that for f L+,

    f d is well-defined. Clearly,L+0 L

    + and

    sd for an element s L+0 is the same as

    sd, for s as anelement ofL+. The next proposition gives a characterization of functions inL+ and the integrals of its elements. Another (intrinsic) characterization ofL+ will be given in the next section.

    4.2.2. Proposition:Let f : X R be a nonnegative function. Then the following hold:

    (i) f L+ iff there exist functions sn L+0 , n 1, such that 0 sn f n

    and f(x) = limn

    sn(x) x X.

    (ii) If f L+

    and s L+0 is such that 0 s f, then

    sd

    f d and

    f d = sup

    sd 0 s f, s L+0

    .

    4.2.3. Definition:Let (X, S, ) be a measure space and Y S. We say a property P holdsalmost everywhere on Y with respect to the measure if the set E = {x Y | P does not hold at x} S and (E) = 0. We write this as P for a.e.x() or P for a.e. ()x Y. If the set Y and are clear from the context,we shall simply write P a.e. For example if f : X R is a function,then f(x) = 0 for a.e. x() means that E = {x X | f(x) = 0} S and

    (E) = 0.

    We describe next the properties of

    fd, for f L+.

    4.2.4. Proposition:Let f, f1, f2 L+. Then the following hold:

    (i)

    f d 0 and for f1 f2f1d

    f2 d.

  • 7/29/2019 Atm Notes

    44/114

    40 4. Integration

    (ii) For , 0 we have (f1 + f2) L+ and(f1 + f2)d =

    f1d +

    f2d.

    (iii) For every E S we have Ef L+. If

    (E) :=

    Efd, E S,

    then is a measure on S and (E) = 0 whenever (E) = 0.

    The integral

    f Ed is also denoted by

    E f d and is called the integralof f over E.

    (iv) If f1(x) = f2(x) for a.e. x(), thenf1d =

    f2d.

    Since the class L+0 is not closed under limiting operations (exercise 4.10),we defined the class L+ by taking limits of sequences in L+0 . Naturally, weexpect L+ to be closed under limits. The next theorem discusses this andthe behavior of

    f d under increasing limits, extending proposition 4.1.5

    to functions in L+.

    4.2.5. Theorem (Monotone convergence):Let {fn}n1 be an increasing sequence of functions in L+, and f(x) :=

    limn

    fn(x), x X. Then f L+ andf d = lim

    n

    fnd.

    4.2.6. Remark:If {fn}n1 is a sequence in L+ decreasing to a function f L+, then theequality

    f d = limn

    fnd need not hold. For example, let X = R,

    S = L and = , the Lebesgue measure. Let fn = [n,) . Then fn L+0

    L+, and {fn}n1 decreases to f 0. Clearly,

    fnd = + for every n and

    f d = 0. In fact, at this stage it is not clear whether f L+ whenever{fn}n1 decreases to f, with each fn L+. That this is true will be shownas a consequence of the characterization ofL+ proved in the next section.

  • 7/29/2019 Atm Notes

    45/114

    4.2. Integral of nonnegative measurable functions 41

    Exercises:

    (4.11) Let f L+ and let {sn}n1 be in L+0 and such that {sn(x)}n1

    is decreasing and x X, limn

    sn(x) = f(x). Can you conclude

    that f d = lim

    n

    snd?

    (4.12) Let f L+. Show thatf d = sup

    sd 0 s(x) f(x) for a.e. x(), s L+0

    .

    (4.13) Let {fn}n1 be an increasing sequence of functions in L+ such thatf(x) := lim

    nfn(x) exists for a.e. x(). Show that f L+ and

    f d = limn

    fnd,

    where f(x) is defined as an arbitrary constant for all those x forwhich lim

    nfn(x) does not converge.

    (4.14) Let (X) < , and let f L+ be a bounded function. Let P :={E1, E2, . . . , E n} be such that

    ni=1 Ei = X, Ei Ej = for i = j

    and Ei S i. Such a P is called a measurable partition of X.Given a measurable partition P = {E

    1, . . . , E

    n}, define

    Mi := sup{f(x) | x Ei} and mi := inf{f(x) | x Ei}.

    Let

    P :=n

    i=1

    miEi and P :=n

    i=1

    MiEi .

    Prove the following:(i) For every partition P, show that P, P L

    +0 and P f

    P.(ii)

    f d = sup

    Pd | P is a measurable partition of X

    ,

    = inf Pd | P is a measurable partition of X .(This gives an equivalent way of defining

    fd, in a way sim-ilar to that for the Riemann integral.)

    (iii) Let

    = sup

    0

    sd | s L+0 , s f

    and

    = inf

    sd | s L+0 , f s

    .

  • 7/29/2019 Atm Notes

    46/114

    42 4. Integration

    Show that

    = sup

    pd | P is a measurable partition of X

    and

    = inf

    pd | P is a measurable partition of X

    .

    (iv) Deduce that f L+ implies =

    f d = .

    Note:Exercise 4.14 tells us that for f L+, in defining

    f d it is enough

    to consider approximations of f from below, as the approximations

    from above will also give the same value for

    fd. This is becausef L+, i.e., f is nonnegative measurable. The converse is alsotrue, i.e., if = , for f : X [0, ], then f L+. To see this,first note that

    = < M((X)) < ,

    where M is such that |f(x)| M x X. Thus for every n wecan choose functions n, n L

    +0 such that

    n f n and

    (n n)d .

    (ii) Let f : X R be measurable, and R. Then f is also measurable,since

    {x X | (x) > c} =

    {x X | f(x) < c/} if > 0,X if = 0, c 0, if = 0, c > 0,

    {x X | f(x) < c/} if < 0.

    (iii) Let X be a topological space and S be the -algebra of Borel subsetsof X, i.e., the -algebra generated by the open sets. Let f : X R beany continuous function. Then f is S-measurable.

    We next describe some more properties of measurable functions.

    4.3.7. Proposition:Let f, g be measurable functions. Then each of the sets {x X| f(x) >

  • 7/29/2019 Atm Notes

    49/114

    4.3. Intrinsic characterization of nonnegative measurable functions 45

    g(x)}, {x X| {f(x) g(x)}, {x X| f(x) < g(x)}, {x X| f(x) g(x)}

    and {x X| f(x) = g(x)} S.

    4.3.8. Proposition:Let f, g : X R be measurable functions and let R be arbitrary. Let

    A := {x X| f(x) = +, g(X) = }{x X|f(x) = , g(x) = +}.

    Define x X

    (f + g)(x) :=

    f(x) + g(x) if x A,

    if x A.

    Then f + g : X R is a well-defined measurable function.

    4.3.9. Proposition:Letf : X R be measurable and let : R R be such thatR {x R | (x) } BR, R. Then f is also measurable.

    4.3.10. Proposition:Let fn : X R, n = 1, 2, . . ., be measurable functions. Then each of the

    functions supn

    fn, infn

    fn, lim supn

    fn and lim infn

    fn is a measurable function.

    In particular, if {fn}n1 converges to f, then f is a measurable function.

    4.3.11. Corollary:Let {fn}n1 be a sequence inL+. Then each of the functions sup

    nfn, inf

    nfn,

    limsupn

    fn and lim infn

    fn is inL+. In particular, if limn

    fn =: f exists, then

    f L+.

    Recall that in theorem 4.2.5 we analyzed the limit of

    fnd for an in-creasing sequence of nonnegative measurable functions. We analyze next thebehavior of

    fnd when {fn}n1 is not necessarily an increasing sequence

    of nonnegative measurable functions.

    4.3.12. Theorem (Fatous lemma):Let {fn}n1 be a sequence of nonnegative measurable functions. Then

    lim infn

    fn

    d liminfn

    fnd.

    4.3.13. Proposition:Let(X, S) be a measurable space and let f : X R beS-measurable. Let be a measure on (X, S). Let g : X R be such that {x X| f(x) =g(x)} is a -null set. If (X, S, ) is a complete measure space, then g is alsoS-measurable.

  • 7/29/2019 Atm Notes

    50/114

    46 4. Integration

    Exercises:

    (4.15)(i) Let f L+ and E S be such that f(x) > 0 for every x Eand (E) > 0. Show that

    E fd > 0.

    (ii) Let f, g L+ be such thatf d =

    gd < + and

    E

    f d =

    E

    gd, E S.

    Show that f(x) = g(x) a.e. (x).(iii) Let f, g be nonnegative measurable functions on (R, L) such

    that ba

    f d =b

    agd < + for every a < b

    show that thenE

    f d =

    E

    gd, E L,

    and deduce that f(x) = g(x) a.e. (x).

    (4.16) Let f : X R be a bounded measurable function. Then thereexists a sequence {sn}n1 of simple measurable functions such that{sn}n1 converges uniformly to f.(Hint: If 0 f(x) M x, then |sn(x) f(x)| < 1/2n n n0,

    where n0 M and the sns are as in proposition 4.3.2.)(4.17) Let f : X R be a nonnegative measurable function. Show

    that there exist sequences of nonnegative simple functions {sn}n1and {sn}n1 such that

    0 sn(n) sn+1(x) f(x) sn+1(x) sn(x)

    and limn

    sn(x) = f(x) = limn

    sn(x) x X.

    (4.18) Let f and g : X R be measurable functions, p and R withp > 1, and let m be any positive integer. Use proposition 4.3.9toprove the following:

    (i) f + is a measurable function.(ii) Let and R be arbitrary. Define for x R,

    fm(x) :=

    (f(x))m if f(x) R, if f(x) = +, if f(x) = .

    Then fm is a measurable function.(iii) Let |f|p be defined similarly to fm, where p is a nonnegative

    real number. Then |f|p is a measurable function.

  • 7/29/2019 Atm Notes

    51/114

    4.3. Intrinsic characterization of nonnegative measurable functions 47

    (iv) Let , , R be arbitrary. Define for x R,

    (1/f)(x) :=

    1/f(x) if f(x) {0, +, }, if f(x) = 0, if f(x) = , if f(x) = +.

    Then 1/f is a measurable function.(v) Let R be arbitrary and A be as in proposition 4.3.8.

    Define for x R,

    (f g)(x) := f(x)g(x) if x A,

    if x A.

    Then f g is a measurable function.

    (4.19) Let f : X R be S-measurable. Show that |f| is also S-measurable. Give an example to show that the converse need notbe true.

    (4.20) Let (X, S) be a measurable space such that for every function f :X R, f is S-measurable iff |f| is S-measurable. Show thatS = P(X).

    (4.21) Let fn L, n = 1, 2, . . . . Show that the sets

    {x X | {fn(x)}n is convergent}

    and

    {x X | {fn(x)}n1is Cauchy}

    belong to S.

    (4.22) Give an example to show that strict inequality can occur in Fatouslemma.

    (4.23) Let {fn}n1 be a sequence of functions in L+ and let

    n=1 fn(x) =:f(x), x X. Show that f L+ and

    f d =

    n=1

    fnd.

    (4.24) Show that each of the functions f : R R defined below is L-measurable, and compute

    f d :

    (i) f(x) :=

    0 if x 0,

    1/x if x > 0.

    (ii) f(x) := Q(x), the indicator function ofQ, the set of rationals.

  • 7/29/2019 Atm Notes

    52/114

    48 4. Integration

    (iii) f(x) :=

    0 if x > 1 or x < 0 or x [0, 1] and x is rational,

    n if x is an irrational, 0 < x < 1 and in thedecimal expansion of x, the first nonzeroentry is at the (n + 1)th place.

    (4.25) Let f, g L+ with f g. Show that (fg) L+ and

    f d

    gd.Can you conclude that

    (f g)d =

    f d

    gd?

    (4.26) Let f, fn L+, n = 1, 2, . . ., be such that 0 fn f. Iflim

    nfn(x) = f(x), can you deduce that

    f d = lim

    n

    fnd?

    (4.27) Let f L. For x X and n 1, define

    fn(x) :=

    f(x) if |f(x)| n,n if f(x) > n,

    n if f(x) < n.

    Prove the following:(i) fn L and |fn(x)| n n and x X.

    (ii) limn

    fn(x) = f(x) x X.

    (iii) |fn(x)| := min{|fn(x)|, n} := (|f| n)(x) is an element ofL+and

    limn

    |fn|d =

    |f|d.

    Note:For f L, the sequence {fn}n1 as defined in exercise 4.27 is calledthe truncation sequence of f. The truncation sequence is usefulin proving results about functions in the class L.

    (4.28) Let f L and

    (E) := {x X| f(x) E}, E BR.

    Show that is a measure on (R, BR). Further, if g : R R is anynonnegative BR-measurable function, i.e., g

    1(A) BR A BR,then g f L and

    g d =

    (g f) d.

    The measure is usually denoted by f1and is called the distri-bution of the measurable function f.

  • 7/29/2019 Atm Notes

    53/114

    4.3. Intrinsic characterization of nonnegative measurable functions 49

    (4.29) Let f L+ be a bounded function, say f(x) N x X and for

    some N N. Show thatf d = lim

    n

    N2nk=1

    k 1

    2n

    x |

    k 1

    2n f(x) 0, there exists > 0 such that

    (E) < whenever, for E S, (E) < .

    (iv) If (E) = 0 E, then f(x) = 0 for a.e. x() on E.

    4.4.4. Remark:It is easy to see that (iii) in the above proposition implies (ii). In fact (ii)also implies (iii). To see this, suppose (iii) does not hold. Then there existan > 0 and sets En S, n 1, such that (En) < 2n but (En) . LetAn =

    k=n Ek. Then {An}n1 is a decreasing sequence in S and (An)

    (En) 2n

    . Thus by theorem 2.3.2,

    n=1

    An

    = lim

    n(An) = 0.

    On the other hand, (An) (En) , , contradicting (ii).

    We prove next the most frequently used theorem which allows us tointerchange the operations of integration and limits.

    4.4.5. Theorem (Lebesgues dominated convergence theorem):Let {fn}n1 be a sequence of measurable functions and let g L1() be

    such that n, |fn(x)| g(x) for a.e. x(). Let {fn(x)}n1 converge tof(x) for a.e. x(). Then the following hold:

    (i) f L1().

    (ii)

    f d = limn

    fn d.

    (iii) limn

    |fn f|d = 0.

    We state another version of this theorem, which is applicable to seriesof functions.

  • 7/29/2019 Atm Notes

    56/114

    52 4. Integration

    4.4.6. Corollary:

    Let {fn}n1 be a sequence of functions in L1() such that

    n=1

    |fn|d< +. Then f(x) :=

    n=1 fn(x) exists for a.e. x(), f L1() and

    f d =

    n=1

    fnd.

    The following is a variation of the dominated convergence theorem forfinite measure spaces. See exercise (4.38) also.

    4.4.7. Theorem (Bounded convergence):Let(X, S, ) be a finite measure space and f, f1, f2, . . . be measurable func-

    tions. Suppose there exists M > 0 such that |fn(x)| M a.e. x() andfn(x) f(x) a.e. x(). Then f, fn L1(X, S, ) and

    f d = limn

    fnd.

    4.4.8. Notes:

    (i) The monotone convergence theorem and the dominated convergence theo-rem (along with its variations and versions) are the most important theoremsused for the interchange of integrals and limits.

    (ii) Simple function technique: This is an important technique (similarto the -algebra technique) used very often to prove results about integrableand nonnegative measurable functions. Suppose we want to show that acertain claim () holds for all integrable functions. Then technique is thefollowing:

    (1) Show that () holds for nonnegative simple measurable functions.

    (2) Show that () holds for nonnegative measurable / integrable func-tions by approximating them by nonnegative simple measurablefunctions and using (1).

    (3) Show that () holds for integrable functions f, by using (2) and the

    fact that for f L1, f = f+ f and both f+, f L1.

    The proof of the next proposition is an illustration of this technique.

    4.4.9. Proposition:Let(X, S, ) be a -finite measure space andf L1(X, S, ) be nonnegative.For every E S, let

    (E) :=

    E

    fd.

  • 7/29/2019 Atm Notes

    57/114

    4.4. Integrable functions 53

    Then is a finite measure on S. Further, f g L1(X, S, ) for every g

    L1(X, S, ), and f d =

    fgd.

    We shall see some more applications of the dominated convergence the-orem in the remaining sections. In the next section we look at some specialproperties of L1(X, S, ) in the particular case when X = R, S = L, the-algebra of Lebesgue measurable sets, and = , the Lebesgue measure.

    As an application of the dominated convergence theorem, we exhibit the

    possibility of interchanging the order of integration and differentiation inthe next theorem.

    4.4.10. Theorem:Let ft L1() for every t (a, b) R. Let t0 (a, b) be such that fora.e. x(), t ft(x) is differentiable in a neighborhood U of t0 and there

    exists a function g L1() such thatdftdt

    (x) g(x) for a.e. x() and for

    every t U. Then (t) :=

    ft(x)d(x) is differentiable at t0 and

    (t0) =

    dftdt

    (x)

    t0

    d(x).

    Exercises:

    (4.32) For f L, prove the following:

    (i) f L1() iff |f| L1(). Further, in either case

    f d

    |f|d.

    (ii) If f L1(), then |f(x)| < + for a.e. x().

    (4.33) Let (X) < + and let f L be such that |f(x)| M for a.e. x()and for some M. Show that f L1().

    (4.34) Let f L1() and E S. Show that Ef L1(), whereE

    f d :=

    Efd.

    Further, if E, F S are disjoint sets, show thatEF

    f d =

    E

    f d +

    F

    fd.

  • 7/29/2019 Atm Notes

    58/114

    54 4. Integration

    (4.35) Let f L1() and Ei S, i 1, be such that Ei Ej = for

    i = j. Show that the series

    i=1

    Ei f d is absolutely convergent,and if E :=

    i=1 Ei, then

    i=1

    Ei

    f d =

    E

    fd.

    (4.36) (i) For every > 0 and f L1(), show that

    {x X | |f(x)| } 1

    |f|d < .

    This is called Chebyshevs inequality.

    (ii) Let f L1

    (), and let there exist M > 0 such that 1(E)

    E

    f d M

    for every E S with 0 < (E) < . Show that |f(x)| M fora.e. x().

    (4.37) Let be the Lebesgue measure on R, and let f L1(R, L, ) besuch that

    (,x)f(t)d(t) = 0, x R.

    Show that f(x) = 0 for a.e. ()x R.

    (4.38) Let I R be an interval and t I, let ft L. Let g L1()be such that t, |ft(x)| g(x) for a.e. x(). Let t0 R be anyaccumulation point ofI and let f(x) := lim

    tt0ft(x) exist for a.e. x().

    Then f L1() andf d = lim

    tt0

    ft(x)d(x).

    Further, if x the function t ft(x) is continuous, then so isthe function h(t) :=

    ft(x) d, t I.

    (Hint: Apply theorem 4.4.5 to every sequence tn t0.)

    (4.39) Let {fn}n1 and {gn}n1 be sequences of measurable functions such

    that |fn| gn n. Let f and g be measurable functions such thatlim

    nfn(x) = f(x) for a.e. x() and lim

    ngn(x) = g(x) for a.e. x().

    If

    limn

    gn d =

    g d < +,

    show that

    limn

    fn d =

    fd.

    (Hint: Apply Fatous lemma to (gn fn) and (gn + fn).)

  • 7/29/2019 Atm Notes

    59/114

    4.5. The Lebesgue integral and its relation with the Riemann integral 55

    (4.40) Let {fn}n0 be a sequence in L1(X, S, ). Show that |fn|dn1converges to

    |f0|d iff

    |fn f0|d

    n1

    converges to zero.

    (Hint: Use exercise 4.38.)

    (4.41) Let (X, S) be a measurable space and f : X R be S-measurable.Prove the following:

    (i) S0 := {f1(E) | E BR} is the -algebra of subsets of X, andS0 S.

    (ii) If : R R is Borel measurable, i.e., 1(E) BR E BR, then f is an S0-measurable function on X.

    (iii) If : X R is any S0-measurable function, then there existsa Borel measurable function : R R such that = f.

    (Hint: Use the simple function technique and note that if isa simple S0-measurable function, then

    =n

    i=1

    anf1(Ei)

    for some positive integer n, ai R for each i, and Ei BR,then

    =n

    i=1

    ai(Eif).

    (4.42) Let {fn}n1 be a decreasing sequence of nonnegative functions inL1() such that fn(x) f(x). Show that

    limx

    fnd = 0 iff f(x) = 0 a.e. x().

    (4.43) Let , be as in proposition 4.4.9. Let S denote the -algebra ofall -measurable subsets of X. Prove the following:

    (i) S S.(ii) There exist examples such that S is a proper subclass of S.

    Show that S = S if {x X| f(x) = 0} = 0.

    (4.44) Let (X, S, ) be a finite measure space and {fn}n1 be a sequencein L1() such that fn f uniformly. Show that f L1() and

    limn

    |fn f| d = 0.

    Can the condition of (X) < + be dropped?

    4.5. The Lebesgue integral and its relation with

    the Riemann integral

    Concepts and examples:

  • 7/29/2019 Atm Notes

    60/114

    56 4. Integration

    In this section we analyze the integral, as constructed in the previous section,

    for the particular situation when X = R, S = L (the -algebra of Lebesguemeasurable sets) and = , the Lebesgue measure. The space L1(R, L, ),also denoted by L1(R) or L1(), is called the space ofLebesgue integrablefunctions on R, and

    f d is called the Lebesgue integral of f. For any

    set E L, we write L1(E) for the space of integrable functions on themeasure space (E, L E, ), where is restricted to L E. In the specialcase when E = [a, b], we would like to show that the new notion of integralfor f L1[a, b] indeed extends the notion of Riemann integral. To be precise,we have the following theorem:

    4.5.1. Theorem:

    Letf : [a, b] R be a Riemann integrable function. Then f L1[a, b] andf d =

    ba

    f(x)dx.

    4.5.2. Remark:In fact, the proof of the above theorem includes a proof of the following: Iff R[a, b], then f is continuous a.e. x(). This is because

    f(x) = limn

    n(x) = limn

    n(x) a.e. x().

    Thus, if we put

    E := {x [a, b] | f(x) = limn

    n(x) = limn

    n(x)},

    then E is a Lebesgue measurable set and ([a, b] \ E) = 0. For x E, givenan arbitrary > 0, we can choose n0 such that

    n0(x) n0(x) < . (4.2)

    Further, if x is not a point in any partition Pn, then we can choose >0 such that whenever y [a, b] and |x y| < , then y belongs to thesame subinterval of the partition Pn0 to which x belongs. Thus by (4.2),|f(x) f(y)| < , showing that x is a point of continuity of f. Thus the

    set of discontinuity points of f forms a subset of ([a, b]) \ E) P, whereP is the set of partition points of Pn, n = 1, 2, . . . . Hence f is continuousalmost everywhere. Another proof of the converse is given in the one of theexercises.

    Exercises:

    (4.45) Let f : [a, b] R be bounded and continuous for a.e. x().

  • 7/29/2019 Atm Notes

    61/114

    4.5. The Lebesgue integral and its relation with the Riemann integral 57

    (i) Let {Pn}n1 be any sequence of partitions of [a, b] such that

    each Pn+1 is a refinement of Pn and Pn 0 as n .Let n, n be as constructed in theorem 4.5.1. Let x (a, b)be a point of continuity of f. Show that

    limn

    n(x) = f(x) = limn

    n(x).

    (ii) Using (i) and the dominated convergence theorem, deduce thatf L1([a, b]) and

    f d = limn

    nd = lim

    n

    nd.

    (iii) Show that f R[a, b] andf d =

    ba

    f(x)dx.

    (4.46) Let f : [0, 1] [0, ) be Riemann integrable on [, 1] for all > 0.

    Show that f L1[0, 1] iff lim01

    f(x)dx exists, and in that casef(x)d(x) = lim

    0

    1

    f(x)dx.

    (4.47) Let f(x) = 1/xp if 0 < x 1, and f(0) = 0. Find necessary and suf-

    ficient condition on p such that f L1[0, 1]. Compute 1

    0 f(x)d(x)in that case.(Hint: Use exercise 4.46.)

    (4.48) (Mean value property):Let f : [a, b] R be a continuousfunction and let E [a, b], E L, be such that (E) > 0. Showthat there exists a real number such that

    Ef(x)(x) = (E).

    (4.49


Recommended