Beruflich Dokumente
Kultur Dokumente
i
ii
Advisers
Copyright
Statistics
c and Probability African Society (SPAS).
DOI : 10.16929/sbs/2016.0005
ISBN : 978-2-9559183-5-7
iv
Emails:
gane-samb.lo@ugb.edu.sn, ganesamblo@ganesamblo.net.
Urls:
www.ganesamblo@ganesamblo.net
www.statpas.net/cva.php?email.ganesamblo@yahoo.com.
Affiliations.
Main affiliation : University Gaston Berger, UGB, SENEGAL.
African University of Sciences and Technology, AUST, ABuja, Nigeria.
Affiliated as a researcher to : LSTA, Pierre et Marie Curie University,
Paris VI, France.
Dedicaces.
General Preface 1
Introduction 3
Part 1. Part I
Sets, Applications and Measurability 7
Chapter 1. Sets, Sets operations and applications 9
Chapter 2. Measurable Sets 45
Chapter 3. Introduction to Measurable Applications 93
Chapter 4. Measurability of Sets and Application is Usual Spaces117
Part 2. Part II
Measures and Integration 203
Chapter 5. Measures 205
1. Existence of the Lebesgue-Stieljes measures 252
Chapter 6. Integration 271
Part 4. Part IV
Transitions to Lebesgue-Stieljes Probability Measures and
to Functional Analysis 345
Chapter 10. Transition to Lebesgue-Stieljes Probability Measures347
1. Introduction 348
2. Distribution functions and measures 348
i
ii CONTENTS
Our collaborators and former students are invited to make live this
trend and to develop it so that the center of Saint-Louis becomes or
continues to be a reknown mathematical school, especially in Proba-
bility Theory and Statistics.
Introduction
3
4 INTRODUCTION
This textbook begins by Chapter 0. This means that all the content
of that chapter is supposed to be known in the first courses of general
algebra in the first year of University. But, we need them as the basis
of the whole theory. We treated as seriously as the other chapters by
supposing that the reader might have forgotten them.
(a) First, we give one, two or three documents in which the knowledge
is summarized. The learner is recommended to know the statements
in these summary as best as possible.
These discover exercises are accompanied with all the hints that allow
the learner to proceed alone, or in a small group.
(d) The solutions of the discover exercises are finally given. In these
documents, the exercises are listed in the same order and the solution
of each exercise is put just at its end. In general, the learner will see
that all the reasoning has already been given as hints.
So, each chapter must have at least three documents. The chapter
devoted the Radon-Nikodym Theorem has the most heavy Appendix
document.
INTRODUCTION 5
These documents are to be used in Class, where the teacher follow and
help the students to each and get the knowledge.
Strongly motivated students are free to go faster and to finish the course
in a short time. But they are recommended to attend the classes and
to participate in the exchanges.
We hope that any student will profit of this way of teaching measure
Theory and Integration, and will have the strongest basis to advance
to probability theory and Functional Analysis.
Part 1
Part I
Sets, Applications and
Measurability
CHAPTER 1
9
10 1. SETS, SETS OPERATIONS AND APPLICATIONS
NOTATION..
I - BASIC DEFINITIONS.
Ac = {x , x
/ A}
A B = {x , x A or x B}
AB =BA
(A B) C = A (B C) = A B C
A B = {x , x A and x B}
AB =BA
(A B) C = A (B C) = A B C
AB =A+B
/ A} = BAc
B A = {x , x B and x
A B = (B A) + (A B)
12 1. SETS, SETS OPERATIONS AND APPLICATIONS
(00.10) Complementation.
c = , c = , (Ac )c = A.
(A B)c = Ac B c , (A B)c = Ac B c
!c !c
[ \ \ [
An = Acn , An = Acn
n0 n0 n0 n0
! !
[ [ [
An Bn (An Bn )
n0 n0 n0
14 1. SETS, SETS OPERATIONS AND APPLICATIONS
(00.14) Properties
1 = 1, 1 = 0
1Ac = 1 1A
1AB = 1A 1B
1AB = 1A + 1B 1AB
(00.15) The inferior limit and superior limit of the sequence of subsets
(A)n0 are subsets of defined as follows :
!
[ \
limAn = lim inf = Am
n+
n0 mn
!
\ [
lim An = lim sup = Am
n+
n0 mn
(00.16) Properties
limAn lim An
c
(limAn )c = lim Acn , lim An = limAcn
(00.17) Criteria.
X
lim An 1An = +
n0
\
limAn = limAn = An
n0
and this common set is the limit of the sequence :
\
lim An = An
n+
n0
V - product spaces.
A B = if and only if A = or B =
(A B) (A0 B 0 ) = (A A0 ) (B B 0 )
(A B)c = Ac B + A B c + Ac B c
18 1. SETS, SETS OPERATIONS AND APPLICATIONS
k
! k
! k
Y Y Y
(IREC) Aj Bj = (Aj Bj ).
j=1 j=1 j=1
k
!c k
(j )
Y X Y
Aj = Aj
j=1 =(1 ,2 ,...,k ){0,1}k j=1
1 +2 +...+k >0
(j ) (j )
where Aj = Aj if j = 0 and Aj = Acj if j = 1.
1. SETS, SETS OPERATIONS AND APPLICATIONS 19
! !
[ [ [
(D1) An Bn (An Bn )
n0 n0 n0
! !
[ [ [
(D2) An Bn (An Bn )
n0 n0 n0
X
(L3) lim An 1An () = +
n0
[ X
An = Bk .
n0 k0
S
(b) Interpret the meaning of k for Bk , for any An
n0
Exercise 5.
1AB = 1A + 1B 1AB
Exercise 6.
Show that :
1S An = sup 1An .
n0 n0
and
1T An = inf 1An .
n0 n0
Define a rectangle
A B = {(1 , 2 ) , 2 Aand2 B},
where A 1 , B 2 .
(A B)c = Ac B + A B c + Ac B c .
1. SETS, SETS OPERATIONS AND APPLICATIONS 21
(c) Show that not all subsets of are rectangles. Use the following ex-
ample.
! !
[ [ [
(D2) An Bn (An Bn )
n0 n0 n0
Proof of (D1).
S
First method. First remark that the notation of index n in x Bn
S n0
does not matter and we may use any other notation, like Bp . So
p0
! ! ! !c ! !c
[ [ [ \ [ [ \ [
An Bn = An Bn = An Bp
n0 n0 n0 n0 n0 p0
!
[ \\
An Bpc = .
n0 p0
Bpc Bnc in
T
Remark that, for n fixed, we may use the inclusion
p0
!
T T c
An Bp ,to get
p0
!
\ \ \
An Bpc An Bnc = An \ Bn
p0
1. SETS, SETS OPERATIONS AND APPLICATIONS 23
(D4) (n 0, An and p 0,
/ Bp ) .
S S
So, if An Bn , we fixed one n such that An .
n0 n0
Since
/ Bp for all p 0, then for the particular value of n, we also
have
/ Bn .Thus (D4) implies
[
(n 0), ( An and
/ Bn ) (An \ Bn ).
n0
Hence we conclude
! !
[ [ [
An Bn (An \ Bn )
n0 n0 n0
By (D1)
! ! ( ) ( )
[ [ [ [ [
An Bn (An \ Bn ) (An \ Bn )
n0 n0 n0 n0
[n [ o
= (An \ Bn ) (Bn \ An )
n0
[
= (An \ Bn ).
n0
24 1. SETS, SETS OPERATIONS AND APPLICATIONS
Proof of L1
.
Proof of L2. L2 has two expressions. They are proved in the same
way. So, we are going to prove the first expression only. we have
[ \
limAn = Am
n0 nm
Thus !c
[ \
(limAn )c = Am
n0 nm
to see that [
For all n 0, Bn = Am .
mn
Begin by n = 0, that is
[
Bn = Am .
m0
Next use [
Bn1 +1 = Am .
mn1 +1
Ans so forth. You an infinite strictly increasing sequence (nk )k0 such
that : (1) for all k 0,nk+1 nk + 1 and (2) for all k 0, Ank .
X
1An () = + = limAn .
n0
Let X
1An () = +.
n0
Since the terms of the series, that is the 1An (), are zero or one, if
it is infinite, we necessarily that an infinite number of the 1An () are
one. Denote these terms with the subscripts nk in a strictly increasing
order. This implies that the sequence nk is unbounded and
For all k 0, Ank .
and then [
For all n 0, Bn = Am
mn
1. SETS, SETS OPERATIONS AND APPLICATIONS 27
and hence
limAn .
S
(b) Interpret the meaning of k for Bk , for any An
n0
Solution.
To prove [ X
An = Bk .
n0 k0
S S
we have to justify three things : the two unions Bn and An are
n0 n0
equal and (Bn )n0 is a sequence pairwise disjoint sets.
S S
(a) We want to prove that : Bn An .
n0 n0
28 1. SETS, SETS OPERATIONS AND APPLICATIONS
S
Notice that in the expression Bk , the notation of the subscript does
k0
not matter. So (a) is proved that is
[ [
(I-A) Bn An
n0 n0
S S
(b) We want to prove that An Bn .
n0 n0
S
Let An . Then there exists n0 such that An0 . It equivalent
n0 S
to say that An if and only is the set
n0
N = {n N, An }
is not empty. Denote by k the minimum of the set N . This means that
: (i) k is member of the set, that is Ak and (ii) all integer less than
k are not member of this set, that is : (0 j k 1) = / Aj .
Then, we have
Ak
(0 j k 1), Acj
Thus [
Ac0 Ac1 ....Ack1 Ak = Bk Bp
p0
Hence [ [
An = Bn
n0 n0
that is
[ [
(0.1) An Bn
n0 n0
1. SETS, SETS OPERATIONS AND APPLICATIONS 29
(c) We want to show that (Bn )n0 is a sequence pairwise disjoint sets.
So
Bn Bm An Acn =
Thus
Bn Bm = .QED
S
(d) Meaning of k for Bk . For An , Bk means that the
n0
first index j such that Aj . In probability terminology, k is the first
time belongs to one the the An .
1AB = 1A + 1B 1AB
to any countable union.
1AB = 1A + 1B 1AB
that is
(II-1) , 1AB () = 1A () + 1B () 1AB ().
Case 2 : AB c ( A and B c ).
Case 3 : Ac B c ( Ac and B c ).
= {1A + 1B + 1C } {1A 1B + 1A 1C + 1C 1B } + 1A 1B 1C
1. SETS, SETS OPERATIONS AND APPLICATIONS 31
For the proof of the general formula, see our textbook of measure or
probability.
Exercise 6
Show that :
1S An = sup 1An .
n0 n0
and
1T An = inf 1An .
n0 n0
SOLUTIONS.
that is
(III-A) , 1 S An () = sup 1An ().
n0 n
32 1. SETS, SETS OPERATIONS AND APPLICATIONS
We are going to show the validity of (III-A) for the two following pos-
sible cases.
S
(a) Case An .
n0
In this case :
[
An ( that is 1 S An () = 1 ) (n0 0, An0 ) (n0 0, 1An0 () = 1)
n0
n0
S
(i) The left side of the equality in (III-A) is 1 since An .
n0
(ii) The right side of the equality in, is the supremum of numbers that
are either equal to 0 or to 1, and one one them is 1 (f or n = n0 ). Then
the supremum is 1.
S
So the equality in (III-A) holds for An .
n0
S
(b) Case 6= An .
n0
[
6= An ( that is 1 S An () = 0 ) (n 0,
/ An ) (n 0, 1An () = 0)
n0
n0
(ii) The right side of the equality in (III-A) is the supremum of num-
bers that are all equal to 0. Then the supremum is 0.
1. SETS, SETS OPERATIONS AND APPLICATIONS 33
S
So the equality in (III-A) holds for
/ An ..
n0
that is
(III-B) , 1 T An () = inf 1An ().
n0 n0
We are going to show the validity of (III-B) for the two following pos-
sible cases.
T
(a) Case An .
n0
In this case :
\
An ( that is 1 T An () = 1 ) (n 0, An ) (n 0, 1An () = 1)
n0
n0
T
(i) The left side of the equality in (III-B) is 1 since An .
n0
(ii) The right side of the equality (III-B) is the infinum of numbers that
are all equal to 1. Then the infinum is 1.
T
So the equality in (III-B) holds for An .
n0
T
(b) Case
/ An .
n0
\
An ( that is 1 T An () = 0 ) (n0 0,
/ An0 ) (n0 0, 1An0 () = 0)
n0
n0
T
(i) The left side of (III-B) is 0 since
/ An .
n0
(ii) The right side is the infinum of numbers that are either equal to 0
or to 1, and one one them is 0 (for n = n0 ). Then the infinum is 0.
T
So the equality in (III-B) holds for
/ An .
n0
Suppose that
1S An = sup 1An
n0 n
But
1T An =1 !c =11 S Acn
Acn
S
n0 n0
n0
and this is
= 1sup 1Acn = 1sup(11An ) = 1 1 + sup(1An ) = 1 1 inf 1An = inf 1An .
n n0 n0 n0 n0
Define a rectangle
A B = {(1 , 2 ) , 1 A and 2 B},
where A 1 , B 2 .
(A B) (C D) = {(1 , 2 ) , (1 , 2 ) A B and (1 , 2 ) C D}
= {(1 , 2 ) , 1 A and 2 B and 1 C and 2 D}
= {(1 , 2 ) , 1 A C and 2 B D}
A C B D.
(b) Let A B be a rectangle. Show that
(A B)c = Ac B + A B c + Ac B c .
= A B + Ac B + A B c + Ac B c .
Then the complement of A B is Ac B + A B c + Ac B c .
(c) Show that not all subsets of are rectangles. Use the following ex-
ample.
(1) Suppose that A and B are singletons. Let A = {a} and B = {b}.
Then
A B = {(a, b)}.
If D = A B = {(a, b)}, then a = b and D = {(a, a)} is a singleton.
But, at least, D has at least the two elements (1 , 1 ) and (2 , 2 ).
This is impossible.
36 1. SETS, SETS OPERATIONS AND APPLICATIONS
1AB = 1A + 1B 1AB .
to a finite union
n=k
\
Ak .
n=1
The formula you get is called is a version of the inclusion-exclusion
formula of Poincaree.
1S An = sup 1An .
n0 n0
and
1T An = inf 1An .
n0 n0
38 1. SETS, SETS OPERATIONS AND APPLICATIONS
Solution
Solution of Exercise 1.
To prove [ X
An = Bk .
n0 k0
S S
we have to justify three things : the two unions Bn and An are
n0 n0
equal and (Bn )n0 is a sequence pairwise disjoint sets.
S S
(a) We want to prove that : Bn An .
n0 n0
S
Notice that in the expression Bk , the notation of the subscript does
k0
not matter. So (a) is proved that is
[ [
(I-A) Bn An
n0 n0
S S
(b) We want to prove that An Bn .
n0 n0
S
Let An . Then there exists n0 such that An0 . It equivalent
n0 S
to say that An if and only is the set
n0
N = {n N, An }
is not empty. Denote by k the minimum of the set N . This means that
: (i) k is member of the set, that is Ak and (ii) all integer less than
1. SETS, SETS OPERATIONS AND APPLICATIONS 39
Thus [
Ac0 Ac1 ....Ack1 Ak = Bk Bp
p0
Hence [ [
An = Bn
n0 n0
that is
[ [
(0.2) An Bn
n0 n0
(c) We want to show that (Bn )n0 is a sequence pairwise disjoint sets.
So
Bn Bm An Acn =
Thus
Bn Bm = .QED
S
(d) Meaning of k for Bk . For An , Bk means that the
n0
first index j such that Aj . In probability terminology, k is the first
time belongs to one the the An .
that is
(III-A) , 1 S An () = sup 1An ().
n0 n
We are going to show the validity of (III-A) for the two following pos-
sible cases.
S
(a) Case An .
n0
In this case :
[
An ( that is 1 S An () = 1 ) (n0 0, An0 ) (n0 0, 1An0 () = 1)
n0
n0
S
(i) The left side of the equality in (III-A) is 1 since An .
n0
(ii) The right side of the equality in, is the supremum of numbers that
are either equal to 0 or to 1, and one one them is 1 (f or n = n0 ). Then
the supremum is 1.
S
So the equality in (III-A) holds for An .
n0
S
(b) Case 6= An .
n0
[
6= An ( that is 1 S An () = 0 ) (n 0,
/ An ) (n 0 0, 1An () = 0)
n0
n0
1. SETS, SETS OPERATIONS AND APPLICATIONS 41
(ii) The right side of the equality in (III-A) is the supremum of num-
bers that are all equal to 0. Then the supremum is 0.
S
So the equality in (III-A) holds for
/ An ..
n0
that is
(III-B) , 1 T An () = inf 1An ().
n0 n0
We are going to show the validity of (III-B) for the two following pos-
sible cases.
T
(a) Case An .
n0
In this case :
\
An ( that is 1 T An () = 1 ) (n 0, An ) (n 0, 1An () = 1)
n0
n0
T
(i) The left side of the equality in (III-B) is 1 since An .
n0
(ii) The right side of the equality (III-B) is the infinum of numbers that
are all equal to 1. Then the infinum is 1.
42 1. SETS, SETS OPERATIONS AND APPLICATIONS
T
So the equality in (III-B) holds for An .
n0
T
(b) Case
/ An .
n0
\
An ( that is 1 T An () = 0 ) (n0 0,
/ An0 ) (n0 0, 1An0 () = 0)
n0
n0
T
(i) The left side of (III-B) is 0 since
/ An .
n0
(ii) The right side is the infinum of numbers that are either equal to 0
or to 1, and one one them is 0 (for n = n0 ). Then the infinum is 0.
T
So the equality in (III-B) holds for
/ An .
n0
Suppose that
1S An = sup 1An
n0 n
But
1T An =1 !c =11 S Acn
Acn
S
n0 n0
n0
and this is
= 1sup 1Acn = 1sup(11An ) = 1 1 + sup(1An ) = 1 1 inf 1An = inf 1An .
n n0 n0 n0 n0
that is
(II-1) , 1AB () = 1A () + 1B () 1AB ().
Case 2 : AB c ( A and B c ).
Case 3 : Ac B c ( Ac and B c ).
= {1A + 1B + 1C } {1A 1B + 1A 1C + 1C 1B } + 1A 1B 1C
For the proof of the general formula, see our textbook of measure or
probability.
CHAPTER 2
Measurable Sets
45
46 2. MEASURABLE SETS
I - -algebras.
(i) A or A.
(ii) A is stable under complementation : A A = Ac A.
S (A is stable under countable unions : {An , n 0} A =
(iii)
An A ) or (A is stable under countable intersections : {An , n
n0 T
0} A = An A ).
n0
A = {A , A is countable or Ac is countable }
A1 A2 = (S).
II - Algebra.
III - Semi-algebras.
S
S is stable by finite intersections.
The complement of any element of S, is an element of S or a finite sum of elements of S .
(01.15) Examples.
(b) Let = [0, 1]. Show that [0, 1/2] is not measurable in the measur-
able space (, A).
AX = {X 1 (B), B A2 }
where X 1 (B) denotes inverse image of B by X defined by
X 1 (B) = 1 , X() B.
Show that AX is a -algebra, called -algebra generated by X (and by
A2 ).
AA = {B A, B A}.
(a) Show that AA is a -algebra, called induced -algebra by A on A.
(b) show that is also the -algebra generated by the canonical injection
iA : A
7
x , x
(D) = (a(D))
Show that the inverse image preserves all sets operations in the follow-
ing sense :
(i) X 1 (2 ) = 1 , X 1 () = .
(ii) B 2 , X 1 (B c ) = X 1 (B)c .
(iii) B1 2 , B2 2 ,
X 1 (B1 B2 ) = X 1 (B1 ) X 1 (B2 )
and
, X 1 (B1 B2 ) = X 1 (B1 ) X 1 (B2 )
.
(iv) B1 2 , B2 2 ,
X 1 (B1 \B2 ) = X 1 (B1 )\X 1 (B2 )
and
X 1 (B1 B2 ) = X 1 (B1 )X 1 (B2 ).
Solution.
(a) = R is an interval, so R I
(c) To find the the complements of intervals of R, consider all the cases
in the following table where numbers a and b are finite such that a < b
56 2. MEASURABLE SETS
And you see that the complement of each interval is either an interval
or a sum of two intervals.
Solution.
S = {A1 A2 , A1 A1 , A2 A2 }.
Since
A1 B1 ) A1 and (A2 B2 ) A2
we get that A B S.
Solution.
(iii) Let us show that A is stable under finite unions. Let A and B be
two elements of A. we have two case. Either A and B are finite sets
and then A B is finite and hence A B belongs to A. Or one of them
is not finite. Suppose that A is not finite. Since A is in A and is not
finite, this implies that Ac is finite (otherwise A would not be in A).
Then
(A B)c = Ac B c Ac .
(c) Clearly the sets An are finite and then, they belong to A. But their
union
A = n0 An = {0 , 2 , ...}
A = {A , A is countable or Ac is countable}.
(a) Show that A is a sigma-algebra.
(b) Let = [0, 1]. Show that [0, 1/2] is not measurable in the measur-
able space (, A).
2. MEASURABLE SETS 59
Solution.
(iii) Let us show that A is stable under countable unions. Let (An )n0
a sequence of elements of A. We have two cases. Either all the An are
countable, then the countable union n0 An is countable and hence
n0 An belongs to A. Or one of them, say An0 is not countable. Since
An0 is in A and is not countable, this implies that Acn0 is countable
(otherwise An0 would not be in A). Then
(n0 An )c = n0 Acn Acn0 .
(b) In this case A = [0, 1/2] is not countable and Ac =]1/2, 1] is not
countable. Conclusion : In the measurable space ([0, 1], A), [0, 1/2] is
not measurable.
Solution.
Denote
C0 = {A1 + A1 + ... + Ak , Ai S, k 1}
60 2. MEASURABLE SETS
Be careful, there is no reason that the Aci are sums of the same number
of non empty elements of S. Let r = max(m(1), m(2), ..., m(k)). Do
not forget that the empty set, which is the complement of , is in
S. So we may extend the summation in each Aci to r elements in the
following way
Aci = Ai,1 + ... + Ai,m(i) = Aci = Ai,1 + ... + Ai,m(i) + | + +
{z... + }
(rm(i)) times
Then
r \
[ k r
[
c
A = Ai,j = Bj
j=1 i=1 j=1
where
k
\
(0.3) Bj = Ai,j , 1 j r.
i=1
First of all, remark that the Bj are elements of S, since they are finite
intersection of elements of S which is a semi-algebra. You may use the
representation below to see what are the Bj :
B1 B2 ... Br
Ac1 = A1,1 +A1,2 +... +A1,r
Ac2 = A2,1 +A2,2 +... +A2,r
. +... +... +... +...
c
Ak = Ak,1 Ak,2 +.. +Ak,r
In this graph you see that each Bj is the intersection of the sets that
are in its column. It is then clear that for two distinct values j1 and
j2 , Bj1 A1,j1 and Bj2 A1,j2 . Since Aj1 and A1,j2 are disjoint, so are
Bj1 and Bj2 . Then (0.3) is
X r
c
A = Bj.
j=1
We conclude that Ac C0 .
Since all the three points are checked, we say that C0 is an algebra
including any algebra including . So
C0 = a(S)
= {X 1 (B), B A2 }
where X 1 (B) denotes inverse image of B by X defined by
X 1 (B) = 1 , X() B.
62 2. MEASURABLE SETS
(i) X 1 (2 ) = 1 .
(ii) B 2 , X 1 (B c ) = X 1 (B)c .
etc.
(c) Let (An )n0 AX . Then for each n 1, there exists Bn A2 such
that An = X 1 (Bn ). Then n0 An = n0 X 1 (Bn ) = X 1 (n0 Bn )AX
since n0 Bn A2 .
AA = {B A, B A}.
(a) Show that AA is a -algebra, called induced -algebra by A on A.
(b) show that is also the -algebra generated by the canonical injection
iA : A
7
x , x
Solution.
Then
AA = {B A, B A} = {i1
A (B), B A}.
Solution.
\
C = Ct .
tT
is a -algebra.
Solution.
With respect to Exercise 8, the only point to prove is Point (a). Points
(b) and (c) are proved exactly as in Exercise 8.
(t T ) (n 1) , An Ct
(D) = (a(D))
Solution.
Solution.
(t T ) (n 1) , An Mt
(t T ) (n 1) , An Mt
(t T ) (n 1) , An Gt
[
X
An = A0 + (Aj \Aj1 ).
n1 j=1
Show that the inverse image preserves all sets operations in the follow-
ing sense :
(i) X 1 (2 ) = 1 , X 1 () = .
(ii) B 2 , X 1 (B c ) = X 1 (B)c .
(iii) B1 2 , B2 2 ,
X 1 (B1 B2 ) = X 1 (B1 ) X 1 (B2 )
and
, X 1 (B1 B2 ) = X 1 (B1 ) X 1 (B2 )
.
2. MEASURABLE SETS 71
(iv) B1 2 , B2 2 ,
X 1 (B1 \B2 ) = X 1 (B1 )\X 1 (B2 )
and
X 1 (B1 B2 ) = X 1 (B1 )X 1 (B2 ).
Solutions.
(i) We have
X 1 (2 ) = { 1 , X() 1 }.
We clearly have { 1 , X() 1 } = 1 since X is an application.
Next
X 1 () = { 1 , X() }
and, clearly { 1 , X() } since X is an application and then
X() exists for any 1 .
.
(iiia) Let B1 2 , B2 2 ,
X 1 (B1 B2 ) = { 1 , X() B1 B2 }
= { 1 , X() B1 or X() B2 }
= { 1 , X() B1 }{ 1 , X() B2 }
= X 1 (B1 ) X 1 (B2 ).
(iiib) Let B1 2 , B2 2 . we may prove the formula as we did it
for Point (iiia). But we are going to combine Points (ii) and (iiia). We
have
c c
X 1 (B1 B2 ) = X 1 (B1 B2 )
c
= X 1 ((B1 B2 ))c
c
= X 1 (B1c B2c ) by Point (ii)
c
= X 1 (B1c ) X 1 (B2c ) by Point (iiia)
c
= X 1 (B1c ))c (X 1 (B2c )
= X 1 (B1 ) X 1 (B2 ) by Point (ii)
= X 1 (B1 ) X 1 (B2 )
.
Then
X 1 (B1 + B2 ) = X 1 (B1 ) X 1 (B2 )
= X 1 (B1 ) + X 1 (B2 )
Abstract Monotone and Dynkin classes are important tools for theo-
retical demonstrations in Measure Theory. It is important to be famil-
iar with them. Their importance reside in Exercises 3 and 4 below.
You will need these basic and easy facts. A -algebra is an algebra, is
a Dynkin system and is a monotone class. An algebra is a -system.
Denote M = m(C)
A4. Conclude.
Proposed solution.
B5. Conclude.
76 2. MEASURABLE SETS
Abstract Monotone and Dynkin classes are important tools for theo-
retical demonstrations in Measure Theory. It is important to be famil-
iar with them. Their importance reside in exercises 3 and 4.
You will need these basic and easy facts. A -algebra is an algebra, is
a Dynkin system and is a monotone class. An algebra is a -system.
(i) C
(ii) A C, Ac C.
Let (An )n1 C. We use the property that says that a union is the
unions of the partial finite unions :
n
!
[ [ [
An = Am .
n1 n1 m=1
Denote
n
[
Bn = Am
m=1
2. MEASURABLE SETS 77
so that [ [
An = Bn
n1 n1
and next [ [
An = Bn C.
n1 n1
Conclusion. C is a sigma-algebra.
(i) C.
(ii) A D, Ac D.
Answer. Now, you already know how to render an arbitrary sets union
to a sets summation. You write
[ X
An = Bn ,
n1 n1
where
B1 = A1 and for n 2, Bn = Ac1 ...Acn1 An
The Bn are disjoints and they belong to D since this latter is stable
under complementation (by Point (ii) above) and under finite P
intersec-
tion by the assumption that D is a -system. Then n1 An = n1 Bn
belongs to D since D, as a Dynkin system, is stable under countable
summations of its subsets.
Conclusion : D is a sigma-algebra.
Denote M = m(C)
A4. Conclude.
Solution.
We get that B = n1 Bn MA .
A M, MA = M
A3. What does imply A2? That for any (A, B) M2 , MA = M and
then B MA , which implies that
(0.4) AB c M, Ac B M, AB M
Proposed Solution.
Solution.
82 2. MEASURABLE SETS
2
B1.b Let (B, C) DA with C B. Check that B\C DA .
A (B\C) = (A B)\(A C) D,
and then
B\C DA .
and thus !
X
Bn DA .
n1
B2.(ii) Take B2.(i) and B1 into account and conclude like that : for
any A G, DA - which is a part of D by definition - is a Dyskyn
2. MEASURABLE SETS 83
for all A G.
Exercise 2. 1.
Let = {1 , ..., 2n } , n 2, be a space of even cardinality. Let A the
collection of all subsets of having an even cardinality.
(1) 1 = 2 ; 1 =
P P
(6) n0 An 1
= n0 (An )1
(7) etc.
(d) Conclude.
2. MEASURABLE SETS 87
Solution.
(iii) Let us show that A is stable under finite unions. Let A and B be
two elements of A. we have two case. Either A and B are finite sets
and then A B is finite and hence A B belongs to A. Or one of them
is not finite. Suppose that A is not finite. Since A is in A and is not
finite, this implies that Ac is finite (otherwise A would not be in A).
Then
(A B)c = Ac B c Ac .
88 2. MEASURABLE SETS
(c) Clearly the sets An are finite and then, they belong to A. But their
union
A = n0 An = {0 , 2 , ...}
Exercise 2.
Let = {1 , ..., 2n } , where n is finite fixed integer such that n 2,
be a space of even cardinality. Let A the collection of all subsets of
having an even cardinality.
Solution.
(b) : Now, since has at least four elements, we see that by the no-
tation, {1 , 2 , 3 } . Clearly A = {1 , 2 }and B = {1 , 3 } have
even cardinality and then, are in . But their intersection A B = {1 }
has an odd cardinality (1) and then does not lie in A.
Remark : You will see in the homework 01 that a Dynkyn system which
is also a -system, is an algebra and then a sigma-algebra.
(1) 1 = 2 ; 1 =
P P
(6) n0 An 1
= n0 (An )1
(7) etc.
(d) Conclude.
Solution.
(a) We only proof some of these properties. We only have to apply the
definition.
(1) 1 = {2 2 , (1 , 2 ) } = {2 2 , 1 1 and
2 2 } = {2 2 } = 2 .
1 = {2 2 , (1 , 2 ) }. We can not find 2 2 , (1 , 2 )
. So 1 =
(2) (A1 )c = {2 2 , (1 , 2 )
/ A} = {2 2 , (1 , 2 ) Ac } =
(Ac )1
(3) We have
A1 \B1 = {2 2 , (1 , 2 ) A and (1 , 2 )
/ B}
= {2 2 , (1 , 2 ) A and (1 , 2 ) B c } =
= {2 2 , (1 , 2 ) A} {2 2 , (1 , 2 ) B c }
= A1 (B1 )c
= A1 Bc 1 (by Point 2)
= A1 8Bc 1
(4) We have
(n0 An )1 = {2 2 , (1 , 2 ) n0 An }
= {2 2 , n 0, (1 , 2 ) An }
= n0 {2 2 , (1 , 2 ) An } (by definition of union)
= n0 (An )1
(6) : To get (6) from (4), you only need to see that if A and B are two
disjoint subsets of , then for any 1 1 , one has A1 B1 = .
92 2. MEASURABLE SETS
(c). You may easily prove that D is a sigma-algebra with the proper-
ties in (a)
93
94 3. INTRODUCTION TO MEASURABLE APPLICATIONS
(M) (B A2 ), X 1 (B) A1 ,
meaning : the reciprocal image of a measurable subset of 2 is a mea-
surable subset of 1 .
Now let B(E1 ) = (T1 ) and B(E2 ) = (T2 ) be the corresponding Borel
-algebras on E1 and E2 respectively. Then (C) implies
Q N
X : (E, B)
7 ( 1jk j , 1jk Aj )
, X()
3. INTRODUCTION TO MEASURABLE APPLICATIONS 97
Q N
The image X() has k components in ( 1ik i , 1ik Ai ) :
Q N
X : (E, B) 7 ( 1jk j , 1jk Aj )
, X() = (X1 (), X2 (), ..., Xk ()).
that is
k
\
(invX) (X A1 A2 ... Ak ) = Xi1 (Ai ).
j=1
Do these remarks.
I - General introduction.
(M) (B A2 ), X 1 (B) A1 ,
is measurable.
(EF1) (1 i p), Ai , f () = i .
and to
p
X
f= i 1Ai .
i=1
Let
f : (, A) (R, B(R))
where
f + = max(f, 0) and f = max(f, 0)
a R, (f > a) A
if and only if
a R, (f a) A
if and only if
a R, (f < a) A
if and only if
a R, (f a) A
if and only if
And so.
VI : Multicomponents function.
(M) AX A2 .
(d) Give a characterization of AX .
(b) What can you say about the collection of subsets of A : {B A, B A}?
Exercise 5. (Applications)
(In case of problems, go back to Tutorial 00, Point 0.21 of Doc 00-01).
X : (E, B) 7 (1 2 , A1 A2 )
, X() = (X1 (), X2 ())
(a) Express each Xi with respect to X and i , i = 1, 2. Deduce from
that that each component Xi is measurable whenever X is measurable.
(M) AX A2 .
(d) Give a characterization of AX .
SOLUTIONS.
Question (a). See Exercise 6 in Doc 01-02 and its solution in Doc 01-03.
(b) What can you say about the collection of subsets of A : {B A, B A}?
SOLUTIONS.
i1
A (B) = { A, iA () B}
= { A, B}
= A B.
Then, by definition
AA = {i1
A (B), B A}
= {A B, B A}.
Question (b) The collection {A B, B A} is then the -algebra gen-
erated by the canonical injection iA .
SOLUTIONS.
3. INTRODUCTION TO MEASURABLE APPLICATIONS 109
SOLUTIONS.
110 3. INTRODUCTION TO MEASURABLE APPLICATIONS
Question (a).
Point (i). Use the properties of the inverse images of sets (Doc 01-02,
Exercise 13, solutions in Doc 01-03). We are going to prove that A2,c
is a -algebra on 2 . Let us check the following points.
Exercise 5. (Applications)
SOLUTIONS.
(X A B) B.
Since X = (X1 , X2 ), we have : X is measurable if and only if
((X1 , X2 ) A B) = X11 (A) X21 (B) B.
Question (c). As usual, we denote
X 1 (]a, +[) = { , X() > a) = (X > a)
X 1 ([a, +[) = { , X() a) = (X > a)
X 1 (] , a[) = { , X() < a) = (X < a)
112 3. INTRODUCTION TO MEASURABLE APPLICATIONS
and
X 1 (] , a]) = { , X() a) = (X a).
(a R), (X a) A
(a R), (X > a) A
(a R), (X > a) A
(In case of problems, go back to Tutorial 00, Point 0.21 of Doc 00-01).
(d) Give a second definition of the product -algebra using the mea-
surability of the projections.
SOLUTIONS.
21 (B) = 1 B S A = A1 A2 .
Then the projections are measurable with respect to A = A1 A2 .
X : (E, B) 7 (1 2 , A1 A2 )
, X() = (X1 (), X2 ())
(a) Express each Xi with respect to X and i , i = 1, 2. Deduce from
that that each component Xi is measurable whenever X is measurable.
SOLUTIONS.
3. INTRODUCTION TO MEASURABLE APPLICATIONS 115
117
118 4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES
Define :
X : (, A) (R, B(R))
03.05 - B (R) this is smallest sigma-algebra for which the Borel sets
of R, {}, {+}, and {, +} are measurable. You will not
have any problem to show that each of the following classes of subsets
also generates B (R).
03.06 - Generation of B (R). The same classes I(1), ..., I(14) given
above generate B (R).
X : (, A) (R, B (R))
For all a R, (X a) A,
if and only if (C3) holds, that is,
For all a R, (X a) A,
etc.
4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES 121
Remark. The point above includes the finite case, that is max(X, Y )
and min(X, Y ) are finite whenever X and Y are.
etc.
k
Part V The spaces Rk and R , k 1.
(a) Case of Rk .
k
Y
Ik (1) = {]a, b] = ]ai , bi ], (a, b) Rk , a b}
j=1
and
k
Y k
Ik (2) = {] , a] = ] i , ai ], a R }
j=1
03.12 The classes Ik , Ik (1) and Ik (2) generate the same -algebra.
The -algebra generated by each of them is the usual -algebra on Rk
denoted B(Rk ).
k
03.13 Ik (2, c) = {R } Ik (2, c) is a semi-algebra.
k
X
dm (a, b) = |ai bi | ,
j=1
and
k
(b) Case of R .
124 4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES
k
We endow R with the product -algebra B (R) k times and get the
k k
measurable space (R , B (R)k ). We denote B (R ) = B (R)k .
k
(d) Examples of Measurable sets in R .
(d8.1) We may use the equations of all these geometric objects and use
their continuity of the functions involved (in the equations) to express
these objects as inverse images of measurable sets.
(d6) etc..
In the Chapter 4 (See the exercise in Doc 04-04), the Vitalys construc-
tion of a non-measurable set will be given.
126 4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES
P P
03.22 (a) Let X = 1ik i 1Ai and X = 1jm j 1Bj two writings
of X. Then we also have :
X
X= ij 1Ai Bj
(i,j)I
where ij = i = j and where I = {(i, j), 1 i k, 1 j
m, Ai Bj 6= }.
03.23 The most important key of Measure theory, basis of the famous
three steps methods.
I - General introduction.
(M) (B A2 ), X 1 (B) A1 ,
is measurable.
(ii) there exist p real and finite numbers 1 , ..., p such that
(EF1) (1 i p), Ai , f () = i .
and to
p
X
f= i 1Ai .
i=1
4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES 131
Let
f : (, A) (R, B(R))
where
f + = max(f, 0) and f = max(f, 0)
A real-valued function
f : (, A) (R, B(R))
a R, (f > a) A
if and only if
a R, (f a) A
if and only if
a R, (f < a) A
if and only if
a R, (f a) A
if and only if
And so.
c) Monotonic functions.
Remarks.
(2) The reverse implication not true, exactly as for the continuity of
such functions.
(3) The proof is based on Property (2.3) of this document and proper-
ties of sections of measurable sets (see Doc 01-06, Exercise 3).
Q N
If A is a subset of 1ik i , 1ik Ai , its indicator function is
function of the variables 1, 2, ..., k :
If f is an elementary function
p
X
f= j 1Aj ,
j=1
where the (Aj )j(1, 2, ...,i1 ,i+1 ,...,k ) are the section of the Aj at (1, 2, ..., i1 , i+1 , ..., k ).
For k = 2, you will see clearer. For an indicator function for example,
for 1 fixed (for example), we have the partial function
2 , 1A (1, ) = 1A1 (2 )n
where A1 is the section of A at 1 . For the elementary function
p
X
f= j 1Aj ,
j=1
the partial function for 1 is
p
X
(i)
2 , f (2 ) = j 1(A1 )(1 ) (2 )
i=1
Consequence. From Doc 01-06, Exercise 3, we immediately see the
partial elementary functions are measurable. The proof of this rule is
given un Exercise 6 in Doc 03-07 below.
136 4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES
(a) Show that each of these classes generates the same -algebra as
the class of all intervals I. Do only one or two cases.
(a). Show that B (R) is the smallest sigma-algebra for which the Borel
sets of R, {}, {+} are measurable.
(b) Show that each of the classes given in Exercise 1 also generates
B (R).
(b) Show that, if the limit limn+ Xn () exists for all , then
the application limn+ Xn is measurable.
Remark. The Point (a) above includes the finite case, that is max(X, Y )
and min(X, Y ) are finite whenever X and Y are.
Nota Bene.
(1) In all this document, the measurable applications we are using are
defined on a measurable space (, A).
(2) The expressions of the elementary functions are always given with
the full measurable partition of .
(a) Suppose that the values i , 1 i k, are distinct. Show that for
any i {1, 2, ..., k},
Ai = (X = i ).
Deduce from this that if
X
(0.16) X= j 1Bj
1jm
Conclude!
(c) Use Questions (a) and (b) to prove that any elementary function
is measurable with the following suggested steps :
(c1) Use the canonical form (0.19) of X. Show that for any subset B
of R,
k
X
(X B) = (X B) Ai .
i=1
(c2) Use Question (a) to establish
k
X
(X B) = (X B) (X = i )
i=1
X
= (X = i ).
i B
(d) Use the same method to prove that for a real-valued application X
taking at most countable distinct values (xi )iI where I is countable,
we have for any subset of R,
X
(X B) = (X = xi ).
i B
if and only if
(i I), (X = xi ) is measurable.
(e) Consider two expressions for an elementary function
X
X= i 1Ai
1ik
and X
X= j 1Bj .
1j`
Find an expression of X based on the superposition of the two parti-
tions, that is X X
= Ai Bj .
1ik 1j`
and X
Y = j 1Bj .
1j`
Provide two expressions for X and Y based on the same subdivision
(that you take as the superposition of the partitions (Ai )1ik and
(Bi )j` ).
(a1) aX + bY E.
(a2) XY E.
(A) Needless to prove, the product of finite functions and the sum of
finite functions are commutative and associative. The product of finite
functions is distributive with the sum of finite functions. Taking into
account these facts, we state the following facts.
By (a1), (E, +, ) is a linear space (where stands for the external mul-
tiplication by real scalars).
By (a1) and (a2), and the remarks (A), (E, +, ) is a ring with unit
1 (where stands for the product between two functions), and is an
algebra of functions.
following partition of R+ :
2 2n 2X +1 2n
X k1 k n
R+ = [ n , n [ + [2 , +] = Ak .
k=1
2 2 k=1
and set
2n
X k1
Xn = 1( k1 k
2n X< n )
+ 2n 1(X22n ) .
k=1
2n 2 2
k1
X() , k 22n
2n
144 4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES
implies
(0.18) j1 j1 j1 j
22n
if for some j, 1 j 22n : 22n
2n
X() < 2n
Xn () = ,
2n otherwise
k1 k
and by discussing the two cases (X() 2n or 2n
X() < 2n
for
some k 22n ), show that Xn is non-decreasing.
ExerciseQ 5. Consider
N a product space endowed with its product -
algebra 1ik i , 1ik Ai , and let X be a function defined on from
this product space to in R :
Q N
X : 1ik i , 1ik Ai 7 (R, B (R))
(1, 2, ..., k ) , X(1, 2, ..., k )
For any fixed i {1, 2, ...} , define the ith partial function X by
considering it as a function of i only and by fixing the other variables.
4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES 145
Let (1, 2, ..., i1 , i+1 , ..., k ) fixed and define X (i) the as ith partial
function X
X (i) : (i , Ai ) 7 (R, B (R))
.
i , X (i) (t) = f (1, 2, ..., i1 , i , i+1 , ..., k )
The objective of this exercise is to show that that partial functions
of real-valued and measurable functions of several variables are also
measurable. The proof for k = 2 may re-conducted word by word to a
general k 2. In the sequel k = 2. Let us fix 1 1 and consider the
partial function
X : (2 , A2 )
7 (R, B (R))
.
2 , X (i) = X1 (2 ) = X(1 , 2 )
(a) Show that for any non-decreasing sequence of applications Xn :
(1 2 , Ai A2 ) 7 (R, B (R)), the sequence of partial applica-
tions (Xn )1 is also non-decreasing.
(b) Show that for any sequence of applications Xn : (1 2 , Ai
A2 ) 7 (R, B (R)), n 1, converging to the application Xn : (1
2 , Ai A2 ) 7 (R, B (R)), the sequence of partial applications
(Xn )1 , n 1, is also non-decreasing also converges to the partial func-
tion X1 of X.
(c) Deduce from Question (b) than partial functions of indicator func-
tions of measurable sets are measurable and partial functions of ele-
mentary functions defined on (1 2 , Ai A2 ) 7 (R, B (R)) are
measurable.
Conclude.
and for N 1
4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES 147
k=N
+
X k+1
Xn,N (t) = X 1] k , k+1 ] (t).
k=N
2n 2n 2n
+
Xn,N is measurable because it is elementary function (refer to the doc-
ument on elementary functions).
+
Show that Xn,N converges to Xn+ as N + (n being fixed).
(a) Use know facts on the left continuity of t 7 X(t) and the left-
continuity of (x 7 X(t+))) to show that X is measurable with help of
Exercise 2.
(b) Suppose that at each t R the left limit f (x) exists (resp. at
each t R the right-hand limit f (x+) exists). Show that the function
t 7 X(t) is left-continuous (resp. (x 7 X(t+)) is right-continuous).
[You may skip this question and consider it as a toplogy exercise. But
you are recommended to read the proof].
(a) Use a know fact on the right-continuity of a convex function (as re-
minded in Question (b) below) and conclude with the help of Exercise 2.
(b) Show that any convex function is continuous. [You may skip this
question and consider it as a topology exercise. But you are recom-
mended to read the proof].
Reminder.
(0 < < 0)( > 0), d(s, t) < X(s) X(t) + (LSC) .
(2) A function X : (E, d) R is upper semi-continuous if and only
for each t E,
(0 < < 0)( > 0), d(s, t) < X(s) X(t) (LSC) .
the proof].
and
Question (6) Use the opposite argument to show that a lower demi-
continuous function is measurable.
Question (7) The same proof you use in Question (5) is also valid
in the more general case where I = [a, b] or I = R and for each n,
Ii,n = (xi,n , xi+1,n ), i J, are consecutive intervals, with non zero
length, which partition I such that
Exercise 1.
Solutions.
Solutions.
and
[ [ [
A {, +} = A {} A {} .
0
We may conclude that B (R)B (R). We finally get that
0
B (R)=B (R).
Solutions.
k
Y
Ik (1) = {]a, b] = ]ai , bi ], (a, b) Rk , a b},
j=1
k
Y k
Ik (2) = {] , a] = ] i , ai ], a R },
j=1
and
k
Y
Ik (3) = {]a, b[= ]ai , bi [, (a, b) Rk , a b}
j=1
(a). Show that each of the classes Ik Ik (1), Ik (2) and Ik (2)
generates the same -algebra. The -algebra generated by
each of them is the usual -algebra on Rk denoted B(Rk ).
k
X
dm (a, b) = |ai bi | ,
j=1
and
d (a, b) = max |ai bi | .
1ik
Solutions.
which is
(]a01 , a02 ]]a001 , a002 ])(]b01 , b02 ]]b001 , b002 ]) =]a01 a001 , a02 a002 ]]b01 b001 , b02 b002 ] Ik (2).
(b3) Let A be in Ik (2, c). If A = Rk , then Ac = =
]a, a]]a, a] whatever be a R. Then Ac Ik (2). If not, A
is of the form ]a1 , a2 ]]b1 , b2 ] and
Ac = (] , a1 ]+]a2 , +])]b1 , b2 ]+]a1 , a2 ] (] , b1 ]
+]b2 , +]) + (] , a1 ]+]a2 , +]) (] , b1 ]+]b2 , +])
= ] , a1 ]]b1 , b2 ]+]a2 , +]]b1 , b2 ]
+]a1 , a2 ]] , b1 ]+]a1 , a2 ]]b2 , +]
+] , a1 ])] , b1 ]+] , a1 ]]b2 , +]
+]a2 , +]] , b1 ]+]a2 , +]]b2 , +])
Question (b).
Nota bene.
Conclude!
(c) Use Questions (a) and (b) to prove that any elementary
function is measurable with the following suggested steps :
(c1) Use the canonical form (0.19) of X. Show that for any
subset B of R,
k
X
(X B) = (X B) Ai .
i=1
166 4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES
(d) Use the same method to prove that for a real-valued ap-
plication X taking at most countable distinct values (xi )iI
where I is countable, we have for any subset of R,
X
(X B) = (X = xi ).
i B
Conclude that : A real-valued application X taking at
most a countable number of distinct values (xi )iI where I
is countable is measurable if and only if
(i I), (X = xi ) is measurable.
(e) Consider two expressions for an elementary function
X
X= i 1 Ai
1ik
and X
X= j 1Bj .
1j`
Find an expression of X based on the superposition of the
two partitions, that is
X X
= Ai Bj .
1ik 1j`
and X
Y = j 1Bj .
1j`
Provide two expressions for X and Y based on the same
subdivision (that you take as the superposition of the par-
titions (Ai )1ik and (Bi )j` ).
Solutions.
of the question.
I(j) = {i, 1 i k, i = j }
It is clear that the sets I(1), I(2), ..., I(`) form a partition
of {1, 2, ..., k}. Next for each j {1, ..., `}, we regroup the
sets Ai for which i I(j) in
X
Bj = Ai .
iI(j)
It is also clear that the B1 , B2 , ..., B` form a measurable
partition of , and by construction
X = j on Bj , j {1, 2, ..., k}.
Another writing of this is :
X
X= j 1Bj .
1j`
Since the values 1 , ..., ` are distinct, this latter expression
is a canonical one and for any j {1, ..., `}
(X = j ) = Bj
X() = i for Ai , 1 i k,
with Ai = (X = i ), 1 i k and then, since the Ai form
a partition of ,
k
X
(0.22) = (X = i ).
i=1
Case 2. i B. Then (X B) (X = i ) = (X = i )
since : (X = i ) = X() = i = X() B
(since i B) = (X B). Thus (X = i ) (X
B) and next (X B) (X = i ) = (X = i ).
\ if i
/B
(X B) (X = i ) = .
(X = i ) if i B
170 4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES
X
(0.23) X 1 (B) = (X = xi ).
iI,xi B
We conclude as follows : If
(i I), (X = i ) is measurable
then, by (0.23), X is measurable. Conversely if X is mea-
surable, then the (X = xi ) = X 1 ({xi }) are measurable.
and
X
X= j 1Bj .
1j`
P P
By definition, = 1ik Ai and = 1j` Bj . Then
4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES 171
=
!
X \ X
= Ai Bj
1ik 1j`
X X
= Ai Bj .
1ik 1j`
where
I = {(i, j) {1, ..., k} {1, ..., `}, Ai Bj 6= }
On this subdivision,
P called superposition
P of the subdivi-
sions = 1ik Ai and = 1j` Bj , we have
X = i = j = ij on Ai Bj , (i, j) I
and, in an other notation,
X
X= ij 1Ai Bj .
(i,j)I
and X
Y = j 1Bj .
1j`
P
Let us useP
the superposition of the subdivisions = 1ik Ai
and = 1j` Bj given in (0.24). We surely have
172 4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES
X = i on Ai Bj , (i, j) I
and
Y = j on Ai Bj , (i, j) I
corresponding to
X
(0.25) X= i 1 Ai B j
(i,j)I
and
X
(0.26) Y = j 1Ai Bj .
(i,j)I
(a1) aX + bY E.
(a2) XY E.
Solutions.
and
X
Y = j 1Bj .
1j`
Let us
P consider the superposition
P of of the subdivisions
= 1ik Ai and = 1j` Bj given in (0.24) and the
expressions of X and Y based on this superposition as in
174 4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES
aX + bY = ai + bj on Ai Bj , (i, j) I,
that is X
aX + bY = (ai + bj )1Ai Bj ,
(i,j)I
and
XY = i j on Ai Bj , (i, j) I,
that is X
XY = i j 1Ai Bj ,
(i,j)I
and
and
min(X, Y ) = min(i , j ) on Ai Bj , (i, j) I.
that is
X
min(X, Y ) = min(i , bj ) 1Ai Bj ,
(i,j)I
2n 2n
2 2X+1
X k1 k n
R+ = [ n , n [ + [2 , +] = Ak .
2 2
k=1 k=1
and set
n
2
X k1
Xn = 1( k1 k
2n X< n )
+ 2n 1(X22n ) .
2n 2 2
k=1
Solutions.
Question (a).
We have a partition of
2n
2X +1
Ak = .
k=1
k1
if k1 k
2n 2n X() < 2n , k = k = 1, ..., 22n
Xn () = n .
2 if X() 22n
4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES 177
So we have
2(k 1) (2k 1) 1 K 1
X() = = n+1
2n+1 2n+1 2
with
K = 2k 1 222n 1 = 22n+1 1 22(n+1).
We use again (0.28) to get
j1 j1
K1
2n+1 if for some j, 1 j 22(n+1) , we have : 2n+1 2n+1 X(
Xn+1 () =
n+1
2 otherwise
This implies
j1 K1 2k11 k1
2n+1 2n+1 = 2n+1 = 2n = Xn ().
Xn+1 () = .
2n
2 n+1
= 2 22n 2 2kn = 2Xn ()
Solutions.
Xn X and Yn Y, as n +.
Yen () Y ()
and then
E 3 Xn /Yen X/Y,
which is then measurable.
4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES 181
Solutions.
(0.30) Y1 (2 ) = Y (1 , 2 )
Xk
= j 1Aj (1 , 2 )
j=1
k
X
= j 1(Aj ) (2 )
1
j=1
Conclude.
less than f (n) f (n). [ You may make a simple drawing for m = 3
and project the jumps to the y-axis to see this easily]. So
X
f (x+) f (x) f (n) f (n).
1jm
We conclude by saying that we cannot have more that [k(f (n)f (n))]
points in Dk,n , so Dk,n is finite. Since
D = n1 k1 D(k, n)
we see that D is countable. The solution is complete.
and for N 1
k=N
+
X k+1
Xn,N (t) = X 1] k , k+1 ] (t).
k=N
2n 2n 2n
+
Xn,N is measurable because it is elementary function (refer to the doc-
ument on elementary functions).
+
Show that Xn,N converges to Xn+ as N + (n being fixed).
4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES 187
Solution.
The function
k=N
+
X k+1
Xn,N (t) = X 1] k , k+1 ] (t).
k=N
2n 2n 2n
+
Xn,N (t) Xn+ (t) as N +,
(a) Use know facts on the left continuity of t 7 X(t) and the left-
continuity of (x 7 X(t+))) to show that X is measurable with help of
Exercise 2.
(b) Suppose that at each t R the left limit f (x) exists (resp. at
each t R the right-hand limit f (x+) exists). Show that the function
t 7 X(t) is left-continuous (resp. (x 7 X(t+)) is right-continuous).
[You may skip this question and consider it as a topology exercise. But
you are recommended to read the proof].
4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES 189
Solution.
As well, if for each t R, the left-hand limit X(t) exists, then by re-
sults of real analysis, the function t 7 X(t) is left-continuous. Hence,
by Exercise 1, it is measurable.
Assume that the left-limit X(t+) exists at each t R. For any fixed t,
we have
( > 0), (h0 > 0) : 0 < h < h0 , X(t+h) X(t+) X(t+h)+. (LM)
Now, set Y (t) = X(t+). We have to prove that Y is right-continuous.
Fix t and > 0. From (LM), we have
(0 < h < h0 /2, 0 < ` < h0 /2), X(t+h+`) X(t+) X(t+h+`)+. (RC1) .
Then let ` 0, we get
Through (RC1), we have proved this : For any > 0, there exists
h1 = h0 /2 such that
Let us whow that real is the left limit f (t) of f at t. First, we have
: for any h > 0
f (t h) f (t).
As h 0, f (t h) increases in the large sense. Then f (t h) has a limit
f (t) which is still less than f (t). Since f is non-decreasing,the increas-
ing limit as h 0 is exactly the limit as h 0, which is equal to f (t).
(a) Use a know fact on the right-continuity of a convex function (as re-
minded in Question (b) below) and conclude with the help of Exercise 2.
(b) Show that any convex function is continuous. [You may skip this
question and consider it as a topology exercise. But you are recom-
mended to read the proof].
Solution.
Exercise 2.
This leads to
We are on the point to conclude. Fix r < s. From (FFC1), we may see
that the function
X(v) X(t)
G(v) = , v > t,
vt
X(v) X(t)
lim = Xr0 (t) (RL)
vt vt
Since X has a right-derivative at each point, it is right-continuous at
each point since, by (RL),
Remark. You also may prove that the left-derivative exists in a similar
way and conclude that X is left-continuous and finally, X is continuous.
194 4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES
Reminder.
(0 < < 0)( > 0), d(s, t) < X(s) X(t) + (LSC) .
(2) A function X : (E, d) R is upper semi-continuous if and only
for each t E,
(0 < < 0)( > 0), d(s, t) < X(s) X(t) (LSC) .
Solution.
(0 < < 0)( > 0), d(s, t) < X(s) X(t) + (LSC) .
4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES 195
Now let c be fixed. Let show that G = F c = (X > c) is open, and then
measurable. Let t F c = (X > c), that is X(t) > c. Let us exhibit
an open ball centered at t that is in G. Set = X(t) c > 0 and use
(LSC). We finish by checking that Bd (t, ) G, and this comes from,
and
Question (6) Use the opposite argument to show that a lower demi-
continuous function is measurable.
4. MEASURABILITY OF SETS AND APPLICATION IS USUAL SPACES 197
Solution of Exercise 8.
Question (1).
f (x) = lim sup f (y) = lim sup{f (y), y ]x , x + [}
yx 0
But
f (x) = sup{f (y), y ]x , x + [}
is decreasing as 0 and is bounded below by f (x). Then its infinum
min f (x)
>0
Question (2).
n n0 =]x , x + [
and then
n n0 = inf{f (y), y ]x, x+[} f (yn ) sup{f (y), y ]x, x+[}
Thus, we let n + to get
inf{f (y), y ]x, x+[} lim inf f (yn ) lim sup f (yn ) sup{f (y), y ]x, x+[}.
n+ n+
Since f (x) = f (x), we conclude that the limit of f (yn ) exists when
n + and inf{f (y), y ]x , x + [},
If [
xD= Dn ,
n1
we have, as n +,
fn (x) = f (x) f (x).
if
[
x
/D= Dn ,
n1
then for n 1, there exists k = k(n, x) such that x ]k2n , (k + 1)2n [.
Then there exists (n) > 0 such that for any 0 < (n), we have
sup{f (z), z ]k(n, x)2n , (k(n, x)+1)2n [} sup{f (z), z ]x, x+[}. (C)
By combining (A) and (B), we have for > 0, 2n < , for (n) > 0
such that (A) holds, for any 0 < (n), we have
f , fn (x) f , .
Now let 0 and only after, let n + to have
fn (x) f = f (x).
Then, we have fn (x) = f (x) f (x) as n +. We conclude that f
is measurable.
Part II
Measures and Integration
CHAPTER 5
Measures
205
206 5. MEASURES
I - DEFINITIONS.
(i) m()=0.
(ii) For all sequence (An )(n0) of pairwise disjoint elements of A, the
sigma-additivity formula holds
X X
m( An ) = m(An )
n0 n0
0 , (A) = 1A , A A,
is a measure, called the delta-measure concentrated at 0 with mass .
if = 1, we simply write 0 and call it the delta-measure concentrated
at 0 .
(A) = Card(A).
5. MEASURES 209
The name of counting measure comes from the fact that counts the
number of elements of subsets of a countable set .
Immediate properties.
210 5. MEASURES
P a.e.
f Rg m(f 6= g) = 0,
that is, f and g are equal outside of a m-null set, denoted also by :
f = g almost-everywhere (a.e.)
f = {g L0 , g = f a.e.}
04.20 The set of all equivalence classes is denoted
L0 (, A, m).
Define
Ab = {A N, A A, N N })
and next define the application
b : Ab R+
m
such that
b N ) = m(A)
m(A
for A A, N N .
We have :
b is a measure on (, A),
(2) m b
(2) A measure m finite if and only if only if m() is finite if and only
if m is bounded.
Hint : (1) To show (a), remark by the help of a simple diagram, that
if (An )(n0) is a non-decreasing sequence, we have
[ X
An = A0 + (An \ An1 ) .
n0 n1
Next, use the -additivity of m and then the partial sums of the ob-
tained series.
Exercise 4.
0 , (A) = 1A , A A,
is a measure, called the delta-measure concentrated at 0 with mass .
(A) = Card(A)
Suggest a name for this measure.
(A) = Card(A).
(1) Show that countable union of m-null sets is a m-null set. Hint :
use the -sub-additivity of m.
Show that
[
(f finite ) = (|f | < +) = (|f | k) (A)
k1
and
make sense.
218 5. MEASURES
Show that if each fn is a.e. finite, they all the fn s are simultaneously
finite outside a null-set.
Show that if each fn is a.e. positive, they all the fn s are simultane-
ously positive outside a null-set.
Define
Ab = {A N, A A, N N })
and next define the application
b : Ab R+
m
such that
b N ) = m(A)
m(A
(a) Show that Ab is a -algebra including A.
Justify N c = Dc + D N c .
X
= j , (j C, j 0),
j0
such that m1 and m2 are both finite on each j , j 0.
This text tutorial states main construction tool of measure : the Caratheodory
Theorem. Here, what is important is to understand it and learn how
to use it the nontrivial case of Lebesgue measures construction. It is
recommended that the learners discuss about the text for in a common
session of thirty minutes.
and
222 5. MEASURES
then
X
m(A) m(Ai )
i=1
and
01.30 Theorem-Definition :
04.30 (a) For any distribution function F , there exists a unique mea-
sure on (R, R) such that such that any real numbers a and b satisfying
a b, we have
04.31 Perspectives The three first three documents of this part are
enough to practice with the help of the exercises sheets, and next to
move to the other parts.
i=k
! i=k
Y Y
(0.33) m Ai = mi (Ai ) .
i=1 i=1
The measure m defined Formula 0.33 has the following features.
(5) There exists a very beautiful and general proof using integration,
even when the mi are not -finite. We will favor this proof that will
be given in special chapter.
Exercise 1.
Question (a) Let S be a semi-algebra of subsets of . Let C be the
algebra its generates defined by (See 01.14 on Doc 00-01, or Exercise
5 in Doc 01-02 ) :
k
X
C={ Aj , k 1, Aj S}.
j=1
Let m : S 7 R+ be an non-constant additive application. Show that
m is uniquely extensible on C to an additive application, name m)
such
that if A = kj=1 Aj C, with k 1 and Aj S, we have
P
k
X
(0.34) m
= m(Aj ).
j=1
(A + x) = (A).
Hint : Fix x R. Consider the application A , 1 (A) = (A + x).
Show that 1 is an inverse measure of the Lebesgue measure. Compare
1 and of the sigma-algebra
A) = ||(A).
Hint. The case = 0 is trivial. For 6= 1, proceed as in Question (a).
F (x) = F (x) F (x 0)
where F (x 0) is the left-hand limit of F at x.
5. MEASURES 227
(a2) Show that for any F (x) 6= 0 for at most a countable number of
real numbers.
The next exercise may be skipped at a first reading. Instead, you may
read to solution and use the knowledge in.
228 5. MEASURES
Define the circular translation on ]0, 1] for any fixed x, 0 < x < 1 by
Tx : ]0, 1] ]0,
1]
z =y+x if y + x 1
y ,
z=x + y 1 if y + x > 1
and denote
Tx (A) = A x.
Question (a) Show that for any x, 0 < x < 1, the application from
]0, 1] to ]0, 1], defined by
Tx : ]0, 1] ]0, 1]
y =zx if z x > 0
z ,
y = z x + 1 if z x 0
is the inverse of Tx . We denote
Tx (A) = A x.
Question (b) Show that for 0 < x < 1, for any Borel set in ]0, 1], we
have
1
A x = Tx (A)
and conclude A x is measurable and the graph
A , x (A) = (A x)
defines a measure on the Borel sets in ]0, 1].
Question (c) Show that x = .
Hint. Consider an interval ]y, y 0 ] in ]0, 1]. Use the following table to
give ]y, y 0 ] x with respect to the positions of y + x and y 0 + x with
respect to the unity.
Question (d).
Show the assertion P : (A) For any measurable set A B(S), for
any > 0, there exist a closed set F and an open set G such that :
F A G and m(G \ F ) < .
(b) By using the continuity of m with the sequence (Gn )n1 , and by
noticing that A Gn for any n, show that for any > 0, there exists
> 0 such that
m(G \ A) < .
(c) Define by D the class of measurable sets A such that for any > 0,
there exist a closed set F and an open set G such that : F A G
and m(G \ F ) < .
Fix > 0. By definition, for each n 0, there exist a closed setFn and
an open set Gn such that : Fn An Gn and m(Gn \ Fn ) < /2n+1 .
Denote
[ [ [
Bp = , p 0, F = n 0Fn and G = n 0Gn .
1np
G \ Bp = (G \ F ) + (F \ Fp )
and by using Formula 00.12 in Doc 00-01 or Exercise 1, Doc 00-03,
find a value p such that
(2) A measure m finite if and only if only if m() is finite if and ony if
m is bounded.
Hint : (1) To show (a), remark by the help of a simple diagram, that
if (An )(n0) is a non-decreasing sequence, we have
[ X
An = A0 + (An \ An1 ) .
n0 n1
Next, use the -additivity of m and then the partial sums of the ob-
tained series.
Exercise 4.
0 , (A) = 1A , A A,
is a measure, called the delta-measure concentrated at 0 with mass .
(A) = Card(A)
Suggest a name for this mesure.
(A) = Card(A).
(1) Show that countable union of m-null sets is a m-null set. Hint :
use the -sub-additivity of m.
Show that [
(f finite ) = (|f | < +) = (|f | k)
k1
and
make sense.
5. MEASURES 237
Show that if each fn is a.e. finite, they all the fn s are simultaneously
finite outside a null-set.
Show that if each fn is a.e. positive, they all the fn s are simultane-
ously positive outside a null-set.
Define
Ab = {A N, A A, N N })
and next define the application
b : Ab R+
m
such that
b N ) = m(A)
m(A
(a) Show that Ab is a -algebra including A.
Justify N c = Dc + D N c .
X
= j , (j C, j 0),
j0
such that m1 and m2 are both finite on each j , j 0.
Exercise 1.
Question (a) Let S be a semi-algebra of subsets of . Let C be the
algebra its generates defined by (See 01.14 on Doc 00-01, or Exercise
5 in Doc 01-02 ) :
k
X
C={ Aj , k 1, Aj S}.
j=1
Let m : S 7 R+ be an non-constant additive application. Show that
m is uniquely extensible on C to an additive application, name m)
such
Pk
that if A = j=1 Aj C, with k 1 and Aj S, we have
k
X
(0.35) m
= m(Aj ).
j=1
(A + x) = (A).
Hint : Fix x R. Consider the application A , 1 (A) = (A + x).
Show that 1 is an inverse measure of the Lebesgue measure. Compare
1 and of the simi-algebra
A) = ||(A).
Hint. The case = 0 is trivial. For 6= 1, proceed as in Question (a).
F (x) = F (x) F (x 0)
where F (x 0) is the left-hand limit of F at x.
242 5. MEASURES
(a2) Show that for any F (x) 6= 0 for at most a countable number of
real numbers.
The next exercise may be skipped at a first reading. Instead, you may
read to solution and use the knowledge in.
5. MEASURES 243
Define the circular translation on ]0, 1] for any fixed x, 0 < x < 1 by
Tx : ]0, 1] ]0,
1]
z =y+x if y + x 1
y ,
z=x + y 1 if y + x > 1
and denote
Tx (A) = A x.
Question (a) Show that for any x, 0 < x < 1, the application from
]0, 1] to ]0, 1], defined by
Tx : ]0, 1] ]0, 1]
y =zx if z x > 0
z ,
y = z x + 1 if z x 0
is the inverse of Tx . We denote
Tx (A) = A x.
Question (b) Show that for 0 < x < 1, for any Borel set in ]0, 1], we
have
1
A x = Tx (A)
and conlude A x is measurable and the graph
A , x (A) = (A x)
defines a measure on the Borel sets in ]0, 1].
Question (c) Show that x = .
Hint. Consider an interval ]y, y 0 ] in ]0, 1]. Use the following table to
give ]y, y 0 ] x with respect to the positions of y + x and y 0 + x with
respect to the unity.
Question (d).
Show the assertion : (A) For any measurable sets A B(S), > 0,
there exist a closed set F and an open set G such that : F A G
and m(G \ F ) < ,
by using the following way.
(b) By using the continuity of m with the sequence (Gn )n1 , and by
noticing that A Gn for any n, show that for any > 0, there exists
> 0 such that
m(G \ A) < .
(c) Define by D the class of measurable sets A such that for any > 0,
there exist a closed set F and an open set G such that : F A G
and m(G \ F ) < .
Show that D is a -algebra including the class F of closed sets. Con-
clude that that ... holds.
Hint. To show that D is stable under countable union, consider a
sequence An D, n 0 and next
[
A= An .
n0
246 5. MEASURES
Fix > 0. By definition, for each n 0, there exist a closed setFn and
an open set Gn such that : Fn An Gn and m(Gn \ Fn ) < /2n+1 .
Denote
[ [ [
Bp = , p 0, F = n 0Fn and G = n 0Gn .
1np
G \ Bp = (G \ F ) + (F \ Fp )
and by using Formula 00.12 in Doc 00-01 or Exercise 1, Doc 00-03,
find a value p such that
G \ Bp0 < .
Conclude.
with
[
Bn = Ap .
pn
Let m be a measure on the Borel sets of R such that for any any t R,
(0.36) Fm (t) = m(] , t]) is finite.
The function Fm : R 7 R defined by
(0.37) t 7 Fm (t)
has the following properties.
Claim 1. Fm assigns non-negative lengths to intervals, that is.,
(0.38) t s = Fm (]t, s]) = Fm (s) Fm (t) 0
Proof.
Let tn t. We get
] , tn ] = ] , t].
Since m(] , tn ]) is finite for all ns, we get by right-continuity of the
measure m, that
Fm (tn ) = m(] , tn ]) m(] , t]) = Fm (t)
5. MEASURES 249
These two points result from the continuity of the measure m. First
implies
(2) it is right-continuous.
Proof of Theorem 3.
as
= (1 , 2 , ..., k ) 0.
So for any > 0, there exists n = (n1 , n2 , ..., nk ) > 0 such that
(1.3) m(]an , bn ]) m(]an , bn + n ]) m(]an , bn ]) + /2n .
Then
[ [ [
(1.4) [a+, b] ]a, b] ]an , bn ] ]an , bn +n /2[ ]an , bn +n ]
n1 n1 n1
and next
[
(1.5) [a + , b] ]an , bn + n /2[.
n1
The compact set [a+, b] is included in the union of open sets 1jp ]anj , bnj +
S
nj /2[. By the
S Heine-Borel property, we may extract from this union a
finite union 1jp ]anj , bnj + nj /2[ such that
[
[a + , b] ]anj , bnj + nj /2[.
1jp
Now, we get, as 0,
[
]a, b] ]anj , bnj + nj ]
1jp
from which we see that if the Ai are in the semi-algebra, the terms of
the sum are also in the semi-algebra. Here, put Ai =]anj , bnj + nj ], we
get
[ k
X k
X
mF (]a, b]) mF ( ]anj , bnj +nj ]) = mF (Bi ) mF (]anj , bnj +nj ])
1jp i=1 i=1
X X
{m(]anj , bnj ]) + 2nj } m(]an , bn ]) +
1ip 1ip
X
m(]an , bn ]) + .
n1
254 5. MEASURES
Then
`
X ` X
X `
XX
(h) (h)
mF An A(h)
mF (A) = mF (A ) mF An A =
h=1 h=1 n1 n1 h=1
`
!
X X X
= mF An A(h) = mF (An ) ,
n1 h=1 n1
This text gives the full details of the proof of the theorem. The stu-
dents may skip this for a first reading. It is recommended to read the
document with the help of an assistant. This document also introduces
to outer measures.
and
1. EXISTENCE OF THE LEBESGUE-STIELJES MEASURES 257
then
X
m(A) m(Ai )
i=1
and
The proof of the theorem will be derived from outer measures. So, we
are going to study outer measures before we come back to the proof.
258 5. MEASURES
II - Outer measures.
For every A B,
m0 (A) m0 (B)
m0 () = 0
that is
m0 (D) = m0 ((A + B)D) + m0 (AcBcD) (F 2)
Conclusion : m0 is additive in A A0 .
A0 .
Pi=n
To see this, put Bn = i=0 An for n 0. Each Bn belongs to A0 by
the property (P) and for any D,
m0 (D) m0 (ABn ) + m0 (Acn D)
Using the (F0) and remarking that Ac Bnc and the fact that m0 is
non-decreasing,
m0 (D) D) + m0 (Ac D)
X
m0 (D) m0 (Ai D) + m0 (Ac D)(F 6)
i0
Now -sub-additivity,
X
m0 (D) m0 ( (Ai D) + m0 (Ac D)
i0
that is
Now, use sub-additivy for the three last terms in the left-hand to get
The S
positivity is obvious. So also is the increasingness since if A B
and n1 An a covering in C of B, it will also be a covering in C of A
and so, by definition,
X
m0 (A) m(Ai )
n1
and by increasingness of m on C,
X
X
m(A) m(A Ai ) m(Ai )
i=1 i=1
so
(A C), m0 (A) = m(A)
But [ [
Ai Ai,n
i1 i1,n1
And from
[ XX X X
m0 ( Ai ) m(Ai,n ) (m0 (A)i + 2i ) m0 (Ai ) +
i1 i1 ni1 i1 i1
But, m is additive on C. So
X
m0 (D) + (m(AAi ) + m(Ac Ai ))
i1
But the AA0i s are in C and cover AD and the Ac A0i s are in C and cover
Ac D. So by definition of m0
X
m(AAi ) m0 (AD)
i1
and X
m(Ac Ai ) m0 (Ac D)
i1
(C) A0
266 5. MEASURES
Lusins theorem
By using 1.10 and the characterization of the infinum based on the fact
that (E) is finite, we conclude that for any > 0, there exists a union
S
n1 An , formed by elements An in C and covering E, such that we
have
X
(1.11) (An ) < (E) + /2.
n=0
with X
(An ) = (In,j ),
1jp(n)
with
!
!
[ [
E Ik = An .
k=0 n=0
Then, by 1.10, we have
!
!
[ X
(K\E) Ik (E) (Ak ) (E) < /2.
k=0 k=0
1. EXISTENCE OF THE LEBESGUE-STIELJES MEASURES 269
S
Next, by denoting J = Ik , we have E J and
k=0
k0
!
[ [
Kc = Ik \ Ik + Jc
k=0 k=0
and then
k0
! k0
!
[ [ [ [ [
c c
E\K = EK = E Ik \ Ik +EJ = E Ik \ Ik Ik
k=0 k=0 k=0 k=0 k0 +1
and
!
[ X
(E\K) Ik (Ik ) < /2.
k0 +1 kk0 +1
We conclude that
(EK) < .
CHAPTER 6
Integration
271
272 6. INTEGRATION
R
The definition (0.5) is coherent. This means that h dm does not de-
pend of the expression of h since it admits many expressions. In Doc
18, you asked to show that the integral is well-defined on E.
6. INTEGRATION 273
Here are the main properties of the integral on E. You are asked to
prove them in Doc 18.
P2 : We have Z
h = 0 a.e. h dm = 0
Prove that
Z Z Z
lim hn gn dm = lim gn dm.
n n
274 6. INTEGRATION
We define
Z Z
h dm = lim hn dm as n +.
n+
that
Z Z
hn dm h dm as n +.
The same properties obtained for simple functions hold for non-negative
measurable functions.
6. INTEGRATION 275
f () = f +f
and
|f | = f + + f
We should know these properties at least :
R R
Definition. Let f be any measurable function, f + dm and f + dm
are always defined but lay be infinite. If one of them if finite, then we
define :
Z Z Z
f +
dm = +
f dm f dm.
276 6. INTEGRATION
IIR- A : Linearity
R R
if f dm, g dm and f + g dm exist, we have
Z Z Z Z Z Z Z Z
f +g dm = f dm+ g dm, f dm = f dm+ f dm, cf dm = c f dm
A+B A B
II - B : Order preservation.
Z Z
f g f dm g dm
Z Z
f = g a.e. f dm = g dm
II - C : Integrability.
|f | g integrable f integrable
Equivalence classes.
Lp (, A, m) = Lp (, A, m)/R.
and
L+ (, A, m) = L+ (, A, m)/R
These spaces are Banach spaces when equipped with the following
norms.
Z
||f ||p = ( |f |p dm)1/p
and on L+ (, A, m),
We have : For all p [1, +], L+ (+, ., ||f ||p ) is a Banach space.
The following formulas on R are useful when your work on these func-
tional spaces.
P2 : We have Z
h = 0 a.e. h dm = 0
280 6. INTEGRATION
Prove that
Z Z
lim hn dm = lim gn dm.
n n
Use Property P6 proved in Doc 18a to the two inequalities you have to
justify :
For any fixed integer k,
lim hn gk
n
and
lim gn fk .
n
6. INTEGRATION 281
R
(b) Suppose f dm exists and let c be a real number. Show that
Z Z
(cf ) dm = c f dm.
R R
(c) Suppose f dm and g dm exist and f + g is defined. Show that
Z Z Z
(f + g) dm = f dm + f dm
(d) Conclude that the integral is linear in the space of integrable func-
tions.
Then, we have X X
fp (n) f (n)
nZ nZ
6. INTEGRATION 283
Any function
f : Z 7 R
where the Ai are subsets of Z and the i are finite non-negative num-
bers. By using Question (a), show that
Z X X X X X
f d = i (Ai ) = i 1Ai (n) = i 1Ai (n)
1ik 1ik nZ nZ 1ik
284 6. INTEGRATION
X
= f (n)
nZ
Justify
+ f (n) if f (n) 0 0 otherwise
f (n) = and f (n) =
0 otherwise f (n) if f (n) 0
Find the expression of the integral of f with respect to f .
P
What can you say if we have n0 |f (n)| < +?
P
Conclusion. A series n0 f (n) associated with the sequence (f (n))nZ
is an integral with respect to the counting measure on iZ if and only :
either the all the f (n)s has the same sign or the series is absolutely
convergent.
Question : Can you say that n1 (1)n /(n + 1) is the integral of the
P
counting measure on N? Why?
Exercise (Abels rule) Let (vn )n0 be a sequence of reals number such
that there exists a real number A such that for any n 0, m n,
|vn + vn+1 + + vm | A.
Let (n )n0 be a sequence of reals number such that
X
|n n1 | < +
n1
and
lim n = 0.
n+
Show that the series X
vn n
n1
is convergent.
P
Hint. Put, for n m, Rn,m = nm vn n and Vn,m = vn + vn+1 + +
vn+m . Justify the following Abel transformation
is Cauchy. Conclude
286 6. INTEGRATION
Later, we will come back to a more deep document on the same subject
after we have mastered the convergence theorems.
`(n)
X
(0.18) Sn (f, F, a, b, n , cn ) = f (ci,n )(F (xi+1,n ) F (xi,n )).
i=0
6. INTEGRATION 287
Since f, F and ]a, b] are fixed here, we may and do drop them in the
expression of Sn .
Exercise 1.
g = 1]a,b]Q ,
where Q is the set of rational numbers.
Exercise 2.
where i,n is some real number and (0,n , 1,n ..., m(n),n ) = n and
n = (a = x0,n < x1,n < ... < xm(n),n < xm(n)+1,n = b) is a partition of
]a, b].
where r = (a = y0,r < y1,r < ... < y`(r),r < y`(r)+1,r = b) is a partition
of ]a,b] and = (0,r , ..., `(r),r ) R`(r)+1 ..
and
X
g= i,r 1]xi,n ,xi+1,n ] 1]yi,n ,yi+1,n ]
(i,j)H
where H = {(i, j) {0, ..., `(n)}{0, ..., `(r)}, ]xi,n , xi+1,n ]]yi,n , yi+1,n ] 6=
} and the ]xi,n , xi+1,n ]]yi,n , yi+1,n ] (which are of the form ]z(i,j) , u(i,j) ])
form a partition of ]a, b] for (i, j) H.
X
Tn ( i,n 1]xi,n ,xi+1,n ]]yi,n ,yi+1,n ] )
(i,j)H
X
= i,n F (]xi,n , xi+1,n ]]yi,n , yi+1,n ]).
(i,j)H
Extend the empy sets ]xi,n , xi+1,n ]]yi,n , yi+1,n ] whose values by F are
zeros to get
`(n) `(r) `(n) X`(r)
X X X
i,n F (]xi,n , xi+1,n ]]yi,n , yi+1,n ]) = i,n F (]xi,n , xi+1,n ]]yi,n , yi+1,n ])
i=0 j=0 i=0 j=0
m(n) m(r)
X X
= i,n F (]xi,n , xi+1,n ] ]yi,n , yi+1,n ] )
i=0 j=0
`(n)
X
= i,n F (]xi,n , xi+1,n ]]a, b] = Tn (h, n , n )
i=0
Sn (f, F, a, b, n , cn ) = Tn (fn , n , dn (f ))
where
dn (f ) = (f (c0,n ), ..., f (c`(n),n ).
P2 : We have Z
h = 0 a.e. h dm = 0
6. INTEGRATION 291
Prove that
Z Z
lim hn dm = lim gn dm.
n n
Use Property P6 proved in Doc 18a to the two inequalities you have to
justify :
For any fixed integer k,
lim hn gk
n
and
lim gn fk .
n
292 6. INTEGRATION
R
(b) Suppose f dm exists and let c be a real number. Show that
Z Z
(cf ) dm = c f dm.
R R
(c) Suppose f dm and g dm exist and f + g is defined. Show that
Z Z Z
(f + g) dm = f dm + f dm
(d) Conclude that the integral is linear in the space of integrable func-
tions.
Then, we have X X
fp (n) f (n)
nZ nZ
By letting +, we get
X X
fp (n) + = f (n)
nZ nZ
The proof is complete in the case 1.
Now, fix an integer N > 1. For any > 0, there exists PN such that
p > PN ((N n N ), f (n)/(2N +1) fp (n) f (n)+/(2N +1)
and thus,
X X
p > PN fp (n) f (n) .
N nN N nN
Thus, we have
X X X
p > PN fp (n) fp (n) f (n) ,
n N nN N nN
Any function
f : Z 7 R
where the Ai are subsets of Z and the i are finite nonnegative numbers.
By using Question (a), show that
Z X X X X X
f d = i (Ai ) = i 1Ai (n) = i 1Ai (n)
1ik 1ik nZ nZ 1ik
296 6. INTEGRATION
X
= f (n)
nZ
Justify
+ f (n) if f (n) 0 0 otherwise
f (n) = and f (n) =
0 otherwise f (n) if f (n) 0
Find the expression of the integral of f with respect to f .
P
What can you say if we have n0 |f (n)| < +?
P
Conclusion. A series n0 f (n) associated with the sequence (f (n))nZ
is an integral with respect to the counting measure on iZ if and only :
either the all the f (n)s has the same sign or the series is absolutely
convergent.
Question : Can you say that n1 (1)n /(n + 1) is the integral of the
P
counting measure on N? Why?
298 6. INTEGRATION
Doc 05-07 : .
Later, we will come back to a more deep document on the same subject
after we have mastered the convergence theorems.
`(n)
X
(0.25) Sn (f, F, a, b, n , cn ) = f (ci,n )(F (xi+1,n ) F (xi,n )).
i=0
6. INTEGRATION 299
Since f, F and ]a, b] are fixed here, we may and do drop them in the
expression of Sn .
Exercise 1.
g = 1]a,b]Q ,
where Q is the set of rational numbers.
Exercise 2.
where i,n is some real number and (0,n , 1,n ..., m(n),n ) = n and
n = (a = x0,n < x1,n < ... < xm(n),n < xm(n)+1,n = b) is a partition of
]a, b].
where r = (a = y0,r < y1,r < ... < y`(r),r < y`(r)+1,r = b) is a partition
of ]a,b] and = (0,r , ..., `(r),r ) R`(r)+1 ..
and
X
g= i,r 1]xi,n ,xi+1,n ] 1]yi,n ,yi+1,n ]
(i,j)H
where H = {(i, j) {0, ..., `(n)}{0, ..., `(r)}, ]xi,n , xi+1,n ]]yi,n , yi+1,n ] 6=
} and the ]xi,n , xi+1,n ]]yi,n , yi+1,n ] (which are of the form ]z(i,j) , u(i,j) ])
form a partition of ]a, b] for (i, j) H.
X
Tn ( i,n 1]xi,n ,xi+1,n ]]yi,n ,yi+1,n ] )
(i,j)H
X
= i,n F (]xi,n , xi+1,n ]]yi,n , yi+1,n ]).
(i,j)H
Extend the empty sets ]xi,n , xi+1,n ]]yi,n , yi+1,n ] whose values by F are
zeros to get
`(n) `(r) `(n) X`(r)
X X X
i,n F (]xi,n , xi+1,n ]]yi,n , yi+1,n ]) = i,n F (]xi,n , xi+1,n ]]yi,n , yi+1,n ])
i=0 j=0 i=0 j=0
m(n) m(r)
X X
= i,n F (]xi,n , xi+1,n ] ]yi,n , yi+1,n ] )
i=0 j=0
`(n)
X
= i,n F (]xi,n , xi+1,n ]]a, b] = Tn (h, n , n )
i=0
Sn (f, F, a, b, n , cn ) = Tn (fn , n , dn (f ))
where
dn (f ) = (f (c0,n ), ..., f (c`(n),n ).
Property P6.
then
Z Z
(0.28) hn dm g dm
Proof.
Suppose that (0.28) proved for r > 0. We are going to prove that
we may extend it to the case r = 0. Indeed, set A = (g > 0). If A is
empty, then g = 0 and (0.28) is true. Otherwise, the function
g1 = g 1A
But Z Z
hn dm hn 1A
we arrive at
Z Z Z
lim hn dm lim hn 1A g dm
n n
R
so that (0.28) is still true, since gdm = +. If A is nonempty, set
B = Ac = (g = +), and for all c > 0,
gc = g1A + c1Ac
It is clear gc is in E. Further
g gc 0
Then
lim hn g gc et max gc <
n
Z Z Z Z Z
= g1A dm + + 1 Ac dm = g1A dm + g1
Ac dm = g dm.
When we put all this together, we say that is enough to prove (0.28)
when
Since
min g = r > 0
Then we set
An = (hn > g ).
Then [ [
(hn > g ) = An
n1 n1
We get Z Z
hn dm g dm m(Acn ) m(An ).
which is (0.28).
Case : m() = +.
We have
Z Z Z
hn dm 1An hn dm (g )1An dm (m )m(An ) .
306 6. INTEGRATION
Then Z Z
lim hn dm = + g dm.
n
which is (0.28).
Part 3
Part III
More on Measures and Integration
CHAPTER 7
Convergence Theorems
309
310 7. CONVERGENCE THEOREMS
In this tutorial, we provide the basic types of convergence and next the
fundamental convergence theorems and some of their applications.
Before you begin to read this note, we remind you our documents on
limits in R, we called ; what no oene shoukd ignore in limits in R.
(06.01) - Definitions
if and only Z
|fn f |p dm 0 as n +.
The definition of the a.e. limit is possible if the set (fn f ) is mea-
surable. Show this through these steps.
(06.02a) We have
\ [ \
A = 1(f =+) (fn f ) = 1(f =+) { (fn > k)}
k1 N 1 nN
\ [ \
B = 1(f =) (fn f ) = 1(f =) { (fn < k)}
k1 N 1 nN
312 7. CONVERGENCE THEOREMS
and
\ [ \
C = 1(|f |<) (fn f ) = 1(f =+) { (|fn f | < 1/k)}
k1 N 1 nN
(2) fn gn f b a.e
(1) fn + gn m f + g.
(2) afn af
(3) If we have
fn gn m f g
(06.06) Convergence in Lp .
Then f Lp and fn Lp f.
314 7. CONVERGENCE THEOREMS
and
Then :
(3) f is integrable
and
7. CONVERGENCE THEOREMS 315
(4) we have
Z Z
fn dm f dm
(b) Let fn m f such there exists g integrable with |fn | g for all
n 0. Use a sequence (fnn ) (fn ) converging a.e. to f and apply
Point (a).
316 7. CONVERGENCE THEOREMS
(06.10). Let be (an )n0 = ((an,p )p0 )p0 = (an,p )(n0,p0) a rectangular
sequence of non-negative terms. We have
XX XX
an,p = an,p
n0 p0 p0 n0
We have Z (X )
X Z
fn dm = fn dm
n n
(06.12). Let be (ap )p0 = ((an,p )n0 )p0 = (an,p )(n0,p0) a rectangular
sequence such that XX
|an,p | < .
p0 n0
We have XX XX
an,p = an,p
p0 n0 n0 p0
(a) Suppose that for some > 0, for small enough that ]t0 , t0 +[
I), there exists g integrable such that
(t ]t0 , t0 + [), |f (t, )| g
is continuous at t0 and
Z Z Z
lim f (t, )dm() = lim f (t, )dm() = f (t0 , )dm()
tt0 tt0
and that for some > 0, for small enough that ]t0 , t0 + [ I),
there exists g integrable such that,
f (t + h, ) f (t, )
(|h| ),
g.
h
is differentiable t0 and
Z Z
0 d df (t, )
F (t0 ) f (t, )dm()|t=t0 = |t=t0 dm()
dt dt
a convergent series of functions for |t| < R, R > 0. Suppose that each
un (t) is differentiable and there exists g = (gn ) integrable that is
X
gn < +
n
7. CONVERGENCE THEOREMS 319
such that
d
For all |t| < R, un (t) g.
dt
(fn f ) = A + B + C
with
!
\ \ [ \
1(f =+) (fn f ) = 1(f =+)
A = (0.29) (fn > k) ,
k1 N 0 nN
!
\ \ [ \
1(f =) (fn f ) = 1(f =+)
A = (0.30) (fn < k) ,
k1 N 0 nN
!
\ \ [ \
1(|f |<+) (fn f ) = 1(|f |<+)
A = (0.31) (|fn > f | < 1/k) ,
k1 N 0 nN
(0.32)
Hint.
(1) Denote B = (fn does not converge to f ). Remark that from Exer-
cise 1 that we have
[ \ [
B= (|fn f | 1/k).
k1 N 1 nN
Denote for k 1, N 0
\ [ [
Bk = (|fn f | 1/k) and Bk,N = (|fn f | 1/k)
N 1 nN nN
or with running over the set {1/k, k 1}. As well the inequality
may be strict or not, it does not matter.
We put this exercise here. However, we give the full hints in a special
document Doc.. So you may skip it at this earlier stage.
(2) fn gn f b a.e
(3) fn /gn f /g a.e if m(g = 0) = 0 (g is a.e nonzero).
Let fn , gn , be a.e finite and let f and g be a.e. finite. Suppose we have
fn m f and gn m g, a R. Show that :
(1) fn + gn m f + g.
(2) afn af
(3)* If we have
fn gn m f g
324 7. CONVERGENCE THEOREMS
Write
|fn gn f g| = |fn gn f gn + f gn f g| |gn ||fn f | + |f ||gn g|
By the Old Stuff, show that for any > 0,
(|fn gn f g| > ) (|gn ||fn f | > /2) (|f ||gn g| > /2)
Justify, for M > 0,
(|gn ||fn f |/2) = (|gn ||fn f |/2, |gn | < M ) + (|gn ||fn f | > /2, |gn | M )
(|fn f | > /(2M ) (|gn | M )
Justify also
Finally, justify
(|f ||gn g|/2) = (|f ||gn g|/2, |f | < M ) + (|f ||fn f | > /2, |f | M )
(|gn g| > /(2M ) (|f | M )
Conclude by applying the measure to (|fn gn f g| > ), next by using
the inclusion in a smart way, and finally by letting n go in infinity and
only after, by letting M to go to infinity.
2 (f )
m(|f E(f )| > )
2
Let p 1.
Hint. For each n 0, for any c > 0, write and justify the inequality
|fn |1+r
Z Z Z
1
|fn | dm = dm |fn |1+r dm.
|f |>c |f |>c |fn |r cr |f |>c
Conclude.
Hint.
7. CONVERGENCE THEOREMS 327
Hint. In a first step, assume that the fn s are non-negative and that
the convergence hold on . By using (02.14) of Doc 02-01 of Chapter
?? consider, for each n, a sequence of non-negative simple functions
fk,r % fk as r +
so that for each k 1
fk,r fk .
Set
gn = max fk,n .
kn
Consider this formula and the one given by taking the order of the
integrals. In both inequalities, fix k and let b +. Next let k +,
to conclude.
and
Then :
(3) f is integrable
and
(4) we have
Z Z
fn dm f dm
Hint.
`n = inf gq 0
qn
Remind the definition of inferior limit ;
Conclude that Z Z
lim `n dm lim inf gn dm,
n+ n+
that is Z Z
lim inf gn dm lim inf gn dm
n+ n+
Replace gn by fn h to conclude.
Question (b). Apply the result of Question (a) to the sequence (fn )n1 .
Question (c). Combine Questions (a) and Questions (b).
330 7. CONVERGENCE THEOREMS
X Z Z (X )
fn dm = fn dm
n n
Exercise 7 Let be (an )n0 = ((an,p )p0 )p0 = (an,p )(n0,p0) a rect-
angular sequence of non-negative terms. By applying the Monotone
Convergence Theorem based on he counting measure on N, show that
XX XX
an,p = an,p
n0 p0 p0 n0
X Z Z (X )
fn dm = fn dm
n n
Exercise 9 Let be (ap )p0 = ((an,p )n0 )p0 = (an,p )(n0,p0) a rectan-
gular sequence such that
XX
|an,p | < .
p0 n0
(a) Suppose that for some > 0, for small enough that ]t0 , t0 +[
I), there exists g integrable such that
(t ]t0 , t0 + [), |f (t, )| g
is continuous at t0 and
Z Z Z
lim f (t, )dm() = lim f (t, )dm() = f (t0 , )dm()
tt0 tt0
and that for some > 0, for small enough that ]t0 , t0 + [ I),
there exists g integrable such that,
f (t + h, ) f (t, )
(|h| ),
g.
h
is differentiable t0 and
Z Z
0 d df (t, )
F (t0 ) f (t, )dm()|t=t0 = |t=t0 dm()
dt dt
a convergent series of functions for |t| < R, R > 0. Suppose that each
un (t) is differentiable and there exists g = (gn ) integrable that is
X
gn < +
n
such that
d
For all |t| < R, un (t) g.
dt
In all this text, a and b are two real numbers such that a < b and
F : [a, b] R is a non-constant non-decreasing function or a func-
tion of bounded variation on [a, b].
Exercise 1.
in with rational values of the ci,n s, and irrational values of the ci,n s.
Conclude.
Exercise 2. Any bounded function f on [a, b] is Riemann integrable
on [a, b] if and only it is almost-surely continuous with respect to the
Lebesgue measure.
We are going to use the functions and superior limits or inferior and
superior Baire functions defined in Exercise 8 in Doc 03-06 in Chapter
3 as follows. Put > 0,
f , (x) = sup{f (z); z [a, b]]x , x + [}
f (x) = inf{f (z); z [a, b]]x , x + [}.
The functions limit and superior limit functions are given by
f (x) = lim f (x) lim f , (x) = f (x).
0 0
with modulus
m(n ) = max (xi+1,n xi+1,n ) 0asn +.
0im(n)
mi,n = inf{f (z), xi,n z < xi+1,n } and Mi,n = sup{f (z), xi,n z < xi+1,n }
`(n)1 `(n)1
X X
hn = mi,n 1]xi,n ,xi+1,n ] and Hn = Mi,n 1]xi,n ,xi+1,n ] .
i=0 i=0
and
[
D= {x0,n , x1,n , ..., x`(n),n }.
k
(0) Explain simple sentences why f and f are bounded by M and
why D is countable.
hn (x) f (x).
and
Hn (x) f (x).
(3) Deduce that for any x [a, b] \ D,
Z `(n)1 `(n)1
X X
Hn d = Mi,n (xi+1,n xi,n ) < f (di,n )(xi+1,n xi,n ) +
i=0 i=0
and
Z `(n)1 `(n)1
X X
hn d = mi,n (xi+1,n xi,n ) > f (ci,n )(xi+1,n xi,n )
i=0 i=0
`(n)1
X
f (ci,n ) (F (xi+1,n ) F (xi,n ))
i=0
Z
f (x)d
[a,b]\D
Z
f (x)d
[a,b]\D
`(n)1
X
f (di,n )(xi+1,n xi,n ) +
i=0
7. CONVERGENCE THEOREMS 337
(a) On the whole real line, we have the integral of Lebesgue of a mea-
surable application a.e. defined on R if and only if
Z Z
f d < + and f + d < +
R R
338 7. CONVERGENCE THEOREMS
(b) The Riemann integral is not defined on the whole real line. Instead,
we have improper integrals obtained by limits.
The improper integral of f on R
Z +
(0.35) f (x) dF (x)
is defined as the limit of the integrals of
Z b
f (x) dF (x)
a
as a and b +, independently of a and b +.
(c) Here, we may have functions f not having a Lebesgues integral and
having an improper integral. Here is an example.
341
342 8. FINITE PRODUCT MEASURES
Conclusion.