Measure
Measure
Rabah Djabri
            University of Bejaia
     Department of Operations Research
Introduction 1
1 Measurable spaces                                                                                                                                                          4
  1.1 Sets and maps .       .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .    4
  1.2 σ-algebras . . . .    .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .    7
  1.3 Borel σ-algebras      .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   10
  1.4 Partitions . . . .    .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   .   11
2 Measure spaces                                                                                                                                                            13
  2.1 Measures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                                                                              13
  2.2 Examples of measures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                                                                                13
  2.3 Lebesgue measure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .                                                                                14
3 Measurable functions 16
4 Lebesgue integration                                                                                                                                                      19
  4.1 Integral of a measurable function . . . . . . . . . . . . . . . . . . . . . . . . . . .                                                                               19
  4.2 The monotone convergence theorem . . . . . . . . . . . . . . . . . . . . . . . . .                                                                                    25
  4.3 The dominated convergence theorem . . . . . . . . . . . . . . . . . . . . . . . . .                                                                                   26
A Exercises 27
B Past exams 47
                                                                        1
Notation
A               σ-algebra
P(X)            Power set of X, i.e. the set of subsets of X
(X, A)          Measurable space
(X, A, µ)       Measure space
B(T )           Borel σ-algebra of the topology T
Sg(X)           Collection of σ-algebras on X
Tp(X)           Collection of topologies on X
E(X, A, R)      Space of simple functions f : (X, A) → (R, BR )
E + (X, A, R)   Space of nonnegative simple functions f : (X, A) → (R, BR )
M(X, A, R)      Space of measurable functions f : (X, A) → (R, BR ).
M+ (X, A, R)    Space of nonnegative measurable functions f : (X, A) → (R, BR )
M(X, A, R)      Space of measurable functions f : (X, A) → (R, BR )
M+ (X, A, R)    Space of nonnegative measurable functions f : (X, A) → (R, BR )
Lp (X, A, µ)    Space of µ-integrable functions f : (X, A) → (R, BR ), 1 ≤ p ≤ ∞.
Lp (X, A, µ)    Space of equivalence classes of µ-integrable functions
σ(A)            Generated σ-algebra
λ∗              Outer measure
Part(X)         Set of partitions of X
M(λ∗ )          Collection of subsets of R which       ∗
                                                S are λ -measurable
Ai ↑ A          A1 ⊆ A2 ⊆ · · · ⊆ An ⊆ · · · et Ti Ai = A
Ai ↓ A          A1 ⊃ A2 ⊃ · · · ⊃ An ⊃ · · · et i Ai = A
                                             2
Introduction
These lecture notes are an introduction to measure theory and integration. The main objective
of the course is to introduce the fundamental concepts of measure theory and integration such
as σ-algebra, measure space, measurable function, Lebesgue integration, etc. This will allow
students to have the mathematical tools necessary for understanding many parts of applied and
pure mathematics they may encounter during their studies. The plan of the course is as follows:
                                              3
Chapter 1
Measurable spaces
A ∩ B = {x : x ∈ A ∧ x ∈ B}.
A ∪ B = {x : x ∈ A ∨ x ∈ B}.
If we
    S have an arbitrary
               S        family of sets {Aα : α ∈ I} indexed by a set I, then their union denoted
by α∈I Aα or {Aα : α ∈ I}, is given by
                               [
                                     Aα = {x : (∃α ∈ I)(x ∈ Aα )}.
                               α∈I
                                 A − B = {x : x ∈ A ∧ x ∈
                                                        / B}.
                                     Ac = {x : x ∈ X ∧ x ∈
                                                         / A}.
                                                 4
We say that a set A is included in the set B, which is denoted by A ⊆ B if
(∀x)(x ∈ A =⇒ x ∈ B).
A = B ⇐⇒ A ⊆ B ∧ B ⊆ A.
P(X) = {S : S ⊆ X}.
If we have a sequence of sets (An )n≥1 , then its limit inferior is defined by
                                                      ∞ \
                                                      [ ∞
                                       lim inf An =             Ai ,
                                                      n=1 i=n
If we have a real sequence (xn )n≥1 , then its limit inferior is defined by
                                                  5
    • A ⊆ B, then sup A ≤ sup B,
    • sup A = − inf −A,
    • sup(A ∪ B) = max(sup A, sup B),
    • sup(A ∪ B) = sup A + sup B − min(sup A, sup B),
    • inf(A ∪ B) = inf A + inf B − max(inf A, inf B),
    • lim sup xn = − lim inf −xn .
 Proposition 1.2. We have
• ∨(A ∪ B) = ∨{∨(A), ∨(B)} (∨ is associative),
• ∧(A ∪ B) = ∧{∧(A), ∧(B)} (∨ is associative),
• (a ∧ b)c = (ac) ∧ (bc) ( c ≥ 0),
• (a ∨ b)c = (ac) ∨ (bc) ( c ≥ 0),
• (a ∧ b) ∨ c = (a ∨ c) ∧ (b ∨ c),
• (a ∨ b) ∧ c = (a ∧ c) ∨ (b ∧ c),
• |a| = (−a) ∨ a.
 Let f : X → Y be map. The set X is called the domain of f , and Y is called the codomain of f .
 If f (x) = y, then y is the image of x by the function f , and x is a preimage of y by the function
 f . The image of a subset A of X by the map f , denoted by f (A), is given by
The inverse image (or the preimage) of a subset B of Y , denoted by f −1 (B), is given by
                                          A × B = {(a, b) : a ∈ A, b ∈ B},
                                    Y
                                          Aα = {(aα )α∈I : (∀α ∈ I)(aα ∈ Aα )} .
                                    α∈I
   2. f −1                    −1
           T         T
             α∈I Aα =   α∈I f    (Aα ),
    3. (f ◦ g)−1 (A) = g −1 [f −1 (A)],
    4. f −1 (Ac ) = [f −1 (A)]c ,
    5. If A ⊆ B, then f −1 (A) ⊆ f −1 (B),
                                                          6
  6. A ⊆ f −1 [f (A)].
Proposition 1.4. We have the following:
          S          S
  1. A ∩ ( α∈I Bα ) = α∈I (A ∩ Bα ),
          T          T
  2. A ∪ ( α∈I Bα ) = α∈I (A ∪ Bα ),
               c T
                 = α∈I Bαc ,
      S
  3.    α∈I Bα
               c S
                 = α∈I Bαc .
      T
  4.    α∈I Bα
1.2     σ-algebras
Definition 1.1. A σ-algebra on a set X is a collection A of subsets of X such that:
   • X ∈ A,
   • if A ∈ A, then Ac ∈ A,
                                   S∞
   • if {An , n ∈ N∗ } ⊆ A, then    n=1   An ∈ A.
An element of A is called a measurable subset of X. In this case we say that (X, A) is a measurable
space.
Definition 1.2. We give the following definitions:
  1. We say that A ⊆ P(X) is an algebra on X iff:
        • X ∈ A,
        • if A ∈ A, then Ac ∈ A,
        • if A, B ∈ A, then A ∪ B ∈ A.
  2. We say that A ⊆ P(X) is a ring iff :
        • A is nonempty,
        • if A, B ∈ A, then A − B ∈ A,
        • if A, B ∈ A, then A ∪ B ∈ A.
  3. We say that A ⊆ P(X) is a σ-ring iff:
        • A is nonempty,
        • if A, B ∈ A, then A − B ∈ A,
                                     S∞
        • if {An , n ∈ N∗ } ⊆ A, then n=1 An ∈ A.
  4. We say that A ⊆ P(X) is a π-system iff:
        • A is nonempty,
                                                    7
         • if A, B ∈ A, then A ∩ B ∈ A.
  5. We say that A ⊆ P(X) is a λ-system (or a Dynkin system) iff:
         • X ∈ A,
         • if A, B ∈ A, and B ⊆ A, then A − B ∈ A,
         • if {An , n ∈ N∗ } ⊆ A and Ai ↑ A, then A ∈ A.
  6. We say that A ⊆ P(X) is a monotone class iff:
         • if {An , n ∈ N∗ } ⊆ A and Ai ↑ A, then A ∈ A,
         • if {An , n ∈ N∗ } ⊆ A and Ai ↓ A, then A ∈ A.
  1. ∅ ∈ A,
                                            Sn
  2. if {Ai , i = 1, 2, . . . , n} ⊆ A, then i=1 Ai ∈ A,
                                       T∞
  3. if {An , n ∈ N∗ } ⊆ A, then n=1 An ∈ A,
  4. if A and B, then A − B ∈ A,
                                                             T
  5. if {Aα , α ∈ I} a family of σ-algebras on X, then            α∈I   Aα is a σ-algebra on X.
Definition 1.3. Let T a collection of subsets of X. Then the σ-algebra generated by T , denoted
by σ(T ), is defined as                \
                              σ(T ) =     {A : T ⊆ A ∈ Sg(X)} .
  1. We have                          \
                                 x∈       A ⇐⇒ (∀A)(A ∈ A ⇒ x ∈ A).
              T
     Let x ∈ B. If A ∈ A then A ∈ B and hence x ∈TA.
     Therefore (∀A)(A ∈ A ⇒ x ∈ A) and hence x ∈ A.
     Thus                               \           \ 
                                (∀x) x ∈    B⇒x∈      A .
     Hence                                      \        \
                                                    B⊆       A.
                                                    8
  2. We have                         [
                              x∈         A ⇐⇒ (∃A)(A ∈ A and x ∈ A).
             S
     Let x ∈ A. We have (∃A)(A ∈ A and x ∈ A).     S
     We have (∃A)(A ∈ B and x ∈ A), which means x ∈ B. Then
                                      [      [
                                         A⊆     B.
  3. We have                          [
                                x∈    B ⇐⇒ (∀B)(B ∈ B ⇒ x ∈ B).
                                                         S
     If x ∈ A then x ∈ B for all B since A ⊆ B. Hence x ∈ B. Hence
                                                \
                                            A⊆     B.
                                                     9
  4. We have S ⊆ σ(S) par 1. Since T ⊆ S then T ⊆ σ(S). Then
σ(T ) ⊆ σ(S)
by 2.
  1. ∅, X ∈ T ,
  2. if A, B ∈ T , then A ∩ B ∈ T ,
                               S
  3. if {Aα : α ∈ I} ⊆ T , then α∈I Aα ∈ T .
An element of T is called an open subset of X. In this case we say (X, T ) a topological space.
Definition 1.5 (Borel σ-algebra ). Let (X, T ) be a topological space. The σ-algebra σ(T ) is
called the Borel σ-algebra on (X, T ). It is denoted by B(X, T ). An elements of σ(T ) is called a
Borel set or is Borel measurable.
Proposition 1.8. Let I = {(a, ∞) : a ∈ R} and J = {(a, b) : a, b ∈ R, a < b}. Then
σ(I) = σ(J ) = BR .
Lemma 1.2. If An ∈ Sg(X), then
                                     ∞                       ∞
                                                !        "              #
                                     [                       [
                                 σ         An       =σ             σ(An ) .
                                     n=1                     n=1
Lemma 1.3. Let fn : (X, A) → (R, B) a sequence of increasing measurable functions such that
sup fn = f. Then
                    S∞
  1. f −1 (a, ∞) = n=1 fn−1 (a, ∞).
                   S∞
  2. f −1 (B) ⊆ σ n=1 fn−1 (B) .
                                
Definition 1.6 (Product σ-algebra). Let (X, A) and (Y, B) two measurable spaces. The
product σ-algebra A ⊗ B on X × Y is defined by
A ⊗ B = σ{A × B : A ∈ A, B ∈ B}.
                                                    10
Definition 1.7. Let f : X1 → X2 be a function and A2 a σ-algebra on X2 . Then the inverse
image σ-algebra A2 by f , denoted by f −1 (A2 ), is given by
f −1 σ(D) = σf −1 (D).
σf −1 (D) ⊆ f −1 σ(D)
f −1 σ(D) ⊆ σf −1 (D)
We conclude that
                                        f −1 σ(D) = σf −1 (D).
1.4      Partitions
Definition 1.8. Let X be a set; we say that {A1 , A2 , . . . , An } is a partition of X iff:
   • Ai ̸= ∅ for all i.
     S
   • {A1 , A2 , . . . , An } = X.
     T
   • {Ai , Aj } = ∅ for i ̸= j.
Definition 1.9. Let A, B ⊆ P(X) and α, β be partitions of X; we define:
   • ∨A = σ(A).
   • A ∧ B = σ(A) ∩ σ(B).
   • A ∨ B = σ(A ∪ B).
   • α#β = {A ∩ B : A ∈ α, B ∈ β}.
                                                  11
  2. σ(A1 ∪ A2 · · · ∪ An ) = σ(σ(A1 ) ∪ σ(A2 ) · · · ∪ σ(An )).
  3. σ(A1 ∪ A2 · · · ∪ An ) = σ(η1 (A1 ) ∪ η2 (A2 ) · · · ∪ ηn (An )).
  4. σ(A ∩ B) ⊆ σ(A) ∩ σ(B).
  1. α#β ≥ α, β.
  2. if α ≤ β and β ≤ γ, then α ≤ γ
  3. α#β = α ⇐⇒ β ≤ α
  4. (α#β)#γ = α#(β#γ)
  5. (α ∨ β) ∨ γ = α ∨ (β ∨ γ)
  6. (α ∧ β) ∧ γ = α ∧ (β ∧ γ)
   We have:
  2. The family
                                    B = {[−∞, a), (a, b), (b, ∞], a, b ∈ R}
     is a base for the topology R̄.
                                                    12
Chapter 2
Measure spaces
2.1     Measures
Definition 2.1. Let (X, A) be a measurable space. A positive measure (X, A) is a map µ : A →
[0, ∞] such that:
  1. µ(∅) = 0
The second condition is called σ-additivity. In this case (X, A, µ) is a measure space.
  3. Counting measure: Consider the measurable space (X, P(X)). We define the map µ :
     P(X) → [0, ∞] by
                                    (
                                     card(A)     if A is finite,
                            µ(A) =
                                     ∞           otherwise.
                                                13
  4. The Lebesgue measure on Rn , which generalizes the notion of length, of area, and of volume
     will be treated in the next chapter.
  5. if {An : n ∈ N∗ } ⊆ A, then
                                             ∞                  ∞
                                                        !
                                             [                  X
                                         µ         An       ≤         µ(An ),
                                             n=1                n=1
                                                    14
                                       S∞         P∞
  3. if {An : n ∈ N∗ } ⊆ P(X), then µ ( n=1 An ) ≤ n=1 µ(An ) (σ-subadditivity).
Definition 2.4. Let X be a set with outer measure µ∗ . We say that a subset A ⊆ X is
µ∗ -measurable if
                     (∀B ⊆ X) (µ∗ (B) = µ∗ (B ∩ A) + µ∗ (B ∩ Ac )) .
That is
                              (∀B ⊆ X) (µ∗B (X) = µ∗B (A) + µ∗B (Ac )) .
Definition 2.5. We define λ∗ by
                                       λ∗ : P(R) → [0, ∞]
                                         (∞                          )
                                          X
                              ∗
                             λ (A) = inf     ℓ(In ), (In )n≥1 ∈ K(A)
                                              n=1
                                          ∞
                        (                                                                  )
                                          [
              K(A) =     (In )n≥1 : A ⊆       In , In = (an , bn ), an , bn ∈ R, an ≤ bn       ,
                                          n
with ℓ(In ) = bn − an . If bn = an , then In = ∅. Hence if (In )n≥1 ∈ K(A), on dit que (In )n≥1 is
a cover of A with open bounded intervals. Here K(A) is the collection of covers of A by open
bounded intervals.
Proposition 2.1. Consider the map λ∗ : P(R) → [0, ∞] given by
                                   (∞                          )
                                    X
                        ∗
                       λ (A) = inf      ℓ(In ), (In )n≥1 ∈ K(A) .
                                           n=1
Then
  1. λ∗ (∅) = 0,
  2. λ∗ {a} = 0,
  3. if A is countable, then λ∗ (A) = 0,
  4. λ∗ ([0, ∞)) = ∞.
Theorem 2.2 (The Carathéodory theorem). We have:
  1. λ∗ is an outer measure on R.
  2. If I = (a, b), then λ∗ (I) = ℓ(I) = b − a.
  3. The collection M(λ∗ ) ∈ Sg(R) and BR ⊆ M(λ∗ ), where
                                                    15
Chapter 3
Measurable functions
Definition 3.1. Let (X, A) and (Y, B) be two measurable spaces. A map f : (X, A) → (Y, B) is
said to be measurable iff
                              (∀B) B ∈ B =⇒ f −1 (B) ∈ A .
                                                          
Definition 3.2. Let (X, S) and (Y, T ) be topological spaces. Let B(S) and B(T ) be the corre-
sponding Borel σ-algebras. If f : (X, B(S)) → (Y, B(T )) is measurable, then we say that f is a
Borel function.
  2. f ∧ g, f ∨ g.
       f
  3.   g   if g(x) ̸= 0 for any x.
4. f + = f ∨ 0, f − = (−f ) ∨ 0, |f | = f + + f − .
Proposition 3.3. Let (X, A) be measurable space and (Y, T ) a topological space. Let f, g : X →
R be measurable functions and φ : R2 → Y a continuous function. Then the function h : X → Y
is measurable where h(x) = φ[f (x), g(x)].
Proof. Let F = (f, g). Then F : X → R2 , and h = φ ◦ F . Let I and J be intervals of R and
D = I × J ⊆ R2 . Then f −1 (D) = f −1 (I) ∩ f −1 (J) ∈ A.
                                                                             g        f
Proposition 3.4. Let (X, A), (Y, B), (Z, C) be measurable spaces. If (X, A) → (Y, B) → (Z, C)
are measurable, then f ◦ g is measurable.
Lemma 3.1. Let f : X → Y be a function and D ⊆ P(Y ). Then
                                                  16
On the other hand consider the collection B given y
and hence
                                   f −1 [σ(D)] ⊆ σ[f −1 (D)].
We conclude that
                                   f −1 [σ(D)] = σ[f −1 (D)].
Proposition 3.5. Suppose that σ(D) = B. Then f : (X, A) → (Y, B) is measurable iff
                             (∀B) B ∈ D =⇒ f −1 (B) ∈ A .
                                                        
Then
                                          f −1 (D) ⊆ A.
Therefore we have
                f −1 (D) ⊆ A =⇒ σf −1 (D) ⊆ A
                             =⇒ f −1 σ(D) ⊆ A (car        f −1 σ(D) = σf −1 (D))
                             =⇒ f −1 (B) ⊆ A.
Proposition 3.6. Let (X, A) be a measurable space and A ⊆ X. Consider the characteristic
function χA : (X, A) → (R, BR ) defined by
                                            (
                                              1 if x ∈ A,
                                   χA (x) =
                                              0 if x ∈
                                                     / A.
                                                 17
        • If 0 ∈      / B, then χ−1
               / B, 1 ∈          A (B) = ∅.
                                    (∀B ∈ BR ) χ−1
                                                           
                                                A (B) ∈ A .
                                              18
Chapter 4
Lebesgue integration
and
                                      Im(g) = {βj : j ∈ J}.
Hence f + g, f g, λf are measurable and
and
                                 Im(f g) ⊆ {αi βj : i ∈ I, j ∈ J},
and
                                    Im(λf ) = {λαi : i ∈ I}.
We can easily see that Im(f + g) and Im(f g) and Im(λf ) are finite, and hence
f + g, f g, αf ∈ E(X, A, R).
Proposition 4.2. Let Pn f ∈ E(X, A, R), and suppose that Im(f ) =S{α
                                                                  n
                                                                    1 , α2 , . . . , αn }. If Ai =
f −1 {αi }, then f = i=1 αi χAi , and Ai ∩ Aj = ∅ for i ̸= j, and i=1 Ai = X. (The α1 are
supposed to be distinct.)
                                                19
                                                                                         Pn
Definition 4.2. Let (X, A, µ) be a measure space and f ∈ E + (X, A, R). If f =            i=1   αi χAi , we
define the volume of f with respect to µ by
                                                 n
                                                 X
                                      v(f ) =          αi µ(Ai ).
                                                 i=1
Proof. We have to prove that the definition is good, that is it does not depend on the way it is
expressed above.
  1. Suppose that {Ai : i ∈ I}, {Bj : j ∈ J} are finite partitions of X such that
                                         X            X
                                    f=      αi χAi =      βj χBj .
                                         i∈I                   j∈J
     We have
                                     {αi : i ∈ I} = {βj : j ∈ J},
     and if Ai ∩ Bj ̸= ∅, then αi = βj . We have
                              X               X
                                  αi µ(Ai ) =    αi µ(Ai ∩ X)
                               i∈I               i∈I
                                                                                    
                                                 X                         [
                                             =         αi µ Ai ∩ (              Bj )
                                                 i∈I                       j∈J
                                                                                    
                                                 X                [
                                             =         αi µ            (Ai ∩ Bj )
                                                 i∈I              j∈J
                                                 X          X
                                             =         αi         µ (Ai ∩ Bj )
                                                 i∈I        j∈J
                                                 XX
                                             =                αi µ (Ai ∩ Bj )
                                                 i∈I j∈J
                                                 XX
                                             =                βj µ (Ai ∩ Bj )
                                                 i∈I j∈J
                                                 X          X
                                             =         βj         µ (Ai ∩ Bj )
                                                 j∈J        i∈I
                                                                                     !
                                                 X                [
                                             =         βj µ             (Ai ∩ Bj )
                                                 j∈J              i∈I
                                                 X
                                             =         βj µ (Bj ) .
                                                 j∈J
     Hence
                             {Ai ∩ B c , Ai ∩ B : i ∈ I} − {∅} ∈ Part(X).
                                                  20
     Therefore                            X                        X
                                g+h=              αi χAi ∩B c +           (αi + β)χAi ∩B .
                                          i∈I                       i∈I
     We have
                            X                             X
               v(g + h) =         αi µ(Ai ∩ B c ) +             (αi + β)µ(Ai ∩ B)
                            i∈I                           i∈I
                            X                                        X
                        =         αi [µ(Ai ) − µ(Ai ∩ B)] +                [αi µ(Ai ∩ B) + βµ(Ai ∩ B)]
                            i∈I                                      i∈I
                            X                      X
                        =         αi µ(Ai ) + β           µ(Ai ∩ B)
                            i∈I                     i∈I
                            X
                        =         αi µ(Ai ) + βµ(B)
                            i∈I
                        = v(g) + βµ(B).
     The sets here are supposed to be of finite measure, and in the case when some sets are of
     infinite measure then this case is trivial.
                                                 Pn
  3. Now by recurrence we conclude that if f = i=1 αi χAi , then
                                                            n
                                                            X
                                                  v(f ) =         αi µ(Ai ).
                                                            i=1
v(f ) ≤ v(g).
3. Easy.
                                                          21
  2. A function f ∈ M(X, A, R) is said to µ-integrable iff f + and f − are µ-integrable, and we
     define the integral of f with respect to µ by
                                 Z           Z           Z
                                     f dµ =       +
                                                 f dµ −      f − d µ.
                                         X                 X               X
Proposition 4.4. Let f : (X, A) → (R, BR ) be a nonnegative measurable. Then there exists a
                                                              s.c.
sequence of nonegative simple functions (fn )n≥1 such that fn → f.
Hence                                             n
                                               n2   −1
                                                Xi
                                      fn =         χ
                                                  n J(n,i)
                                                           + nχJ(n) .                                           (4.2)
                                         i=0
                                                2
where J(n, i) = f −1 (I(n, i)) I(n, i) = 2in , i+1   and J(n) = f −1 [n, ∞).
                                                  
                                                2n
                                                           22
Proposition 4.5. Let (X, A, µ) be a measure space and f ∈ E + (X, A, R). Then
                                     Z
                                        f d µ = v(f ).
                                            X
Proof. Let s ∈ ER+ (X, A, R). Hence if s ≤ f then v(s) ≤ v(f ). Therefore
                                                                               R
                                                                                   X
                                                                                       f d µ ≤ v(f ).
However v(f ) ≤ X f d µ. Hence        Z
                                         f d µ = v(f ).
                                            X
Definition 4.4. Let (X, A, µ) be a measure space and f, g : X → R two measurable functions.
  1. If f ∼ g, g ∼ h, then f ∼ h.
  2. If f1 ∼ f2 , g1 ∼ g2 , then f1 + g1 ∼ f2 + g2 .
  3. If f1 ∼ f2 , g1 ∼ g2 , then f1 g1 ∼ f2 g2 .
Proposition 4.7. Let (X, A, µ) be a measure space and f, g ∈ M+ (X, A, R), then:
     R                    R          R
  1. X αf + βg d µ = α X f d µ + β X g d µ,
                    R         R
  2. If f ≤ g, then X f d µ ≤ X g d µ,
                        R
  3. If µ(A) = 0, then A f d µ = 0,
        R
  4. If X f d µ = 0, then f = 0 µ − ae.
                            R        R
  5. If f = g µ − ae, then X f d µ = X g d µ.
Proof.
  1.
       Therefore                            Z               Z
                                                   f dµ ≤       g d µ.
                                             X              X
                                                     23
               R              R
  3. We have     A
                     f dµ =   X
                                  f χA d µ .
                                                        n
                                                        X
                                                 s=           αi χBi .
                                                        i=1
     If x ∈
          / A then s(x) = 0; and if Bi ̸= ∅ then Bi ⊆ A or αi = 0.
     Let x ∈ Bi and suppose that αi ̸= 0. Then we would have s(x) = αi > 0, i.e. x ∈ A.
     Therefore
                                                        n
                                                        X
                                               v(s) =         αi µ(χBi )
                                                        i=1
                                                        Xn
                                                   ≤          αi µ(χA )
                                                        i=1
                                                   = 0.
     Hence
     R       for any function s ∈ E + (X, A, R) such that s ≤ f χA , we have v(s) = 0. Hence
       X
         f χA d µ = 0 and therefore          Z
                                                        f dµ = 0
                                                   A
  4. Let
                                                                                        1
                         A = {x : f (x) > 0}            and         An = {x : f (x) >     }.
                                                                                        n
                   n = 1∞ and An ⊆ An+1 for n ≥ 1.
                   S
     Hence A =
     Let fn = n1 χAn . Since fn ≤ f then X fn d µ ≤ X f d µ by property 2.
                                          R            R
     Hence
                                                 f = 0 µ − ae .
  5. Let
                                          A = {x : f (x) − g(x) ̸= 0}
     Hence
                                               f = g + (f − g)χA
Proposition 4.8. Let (X, A, µ) be a measure space and f, g ∈ L1 (X, A, µ), then:
                                                    24
       R                  R          R
  1.     αf + βg d µ = α X f d µ + β X g d µ,
         X
                    R         R
  2. If f ≤ g, then X f d µ ≤ X g d µ,
                        R
  3. If µ(A) = 0, then A f d µ = 0,
                            R       R
  4. If f = g µ − ae, then X f d µ = X g d µ.
Proof.
  1.
  2.
  3.
  4. Let
                                      A = {x : f (x) − g(x) ̸= 0}
       Then
                                         f = g + (f − g)χA
Proof. We have fi ↓ f
Theorem 4.2 (Fatou’s lemma). Let (X, A, µ) be a measure space and
                                         +      
                           fn : (X, A) → R , BR+
                                                             n≥1
Proof.
                                               25
4.3      The dominated convergence theorem
Theorem 4.3 (The dominated convergence theorem). Let (X, A, µ) be a measure space
and
                          (fn : (X, A) → (R, BR ))n≥1
a sequence of measurable functions such that:
  1. limn→∞ fn = f
  2. there exists a nonnegative function g ∈ L1 (X, A, µ), |fn | ≤ g for all n ≥ 1.
Then f ∈ L1 (X, A, µ), and fn ∈ L1 (X, A, µ) for all n ≥ 1, and
                                      Z             Z
                                 lim      fn d µ =     f dµ
                                     n→∞    X                X
Proof.
Proposition 4.9. Let (fn )n≥1 a sequence of nonnegative measurable functions on I ⊆ R. Then
                                     ∞                     ∞ Z
                               Z                !
                                     X                     X
                                           fn       dλ =             fn d λ.
                                 I   n=1                   n=1   I
Proof.
                                                     26
Appendix A
Exercises
University of Bejaia
Department of OR
Master 1 MF
Measure and integration
Academic year : 23/24
                                      Example sheet No. 1
                                                1  5
                                                          
Exercise
      1.   Let A = [0,2], B = [1, 3], C =    2, 2      , An = [0, n], Bn = [−n + 1, n],
Dn = n1 , 2 , Hn = 0, n1 .
  1. Determine: A ∪ B, A ∩ B, (A ∩ B) ∪ C, Ac .
                S∞       S∞        S∞        T∞
  2. Determine: n=1 An , n=1 Bn , n=1 Dn , n=1 Hn .
                                  g   f
Exercise 2. Consider: X → Y → Z. Prove that:
  1. f −1                     −1
          S        S
            α∈I Aα =    α∈I f    (Aα ),
  2. f −1                     −1
          T          T
            α∈I Aα =    α∈I f    (Aα ),
  3. (f ◦ g)−1 (A) = g −1 [f −1 (A)],
  4. f −1 (Ac ) = [f −1 (A)]c ,
  5. if A ⊆ B, then f −1 (A) ⊆ f −1 (B),
  6. A ⊆ f −1 [f (A)].
                                                     27
University of Bejaia
Department of OR
Master 1 MF
Measure and integration
Academic year : 23/24
                                                         28
University of Bejaia
Department of OR
Master 1 MF
Measure and integration
Academic year : 23/24
  2. if A, B ∈ A and A ⊆ B, then
                                                µ(A) ≤ µ(B),
  5. if {An : n ∈ N∗ } ⊆ A, then
                                               ∞                  ∞
                                                          !
                                               [                  X
                                          µ          An       ≤         µ(An )
                                              n=1                 n=1
                                                      29
                                                                         g         f
Exercise 3. Let (X, A), (Y, B), (Z, C) be measure spaces. Consider (X, A) → (Y, B) → (Z, C)
where f and g are measurable. Prove that f ◦ g is measurable.
Exercise 4. Let (X, A) be a measure space and A ⊆ X. Consider the characteristic function
χA : (X, A) → (R, BR ) defined by
                                           (
                                            1  if x ∈ A,
                                  χA (x) =
                                            0  if x ∈
                                                    / A.
                                                1 + nx2
                                 fn (x) =                 ,   n ∈ N∗ .
                                               (1 + x2 )n
                                   R
Using the DCT, compute limn→∞          I
                                           fn d λ.
                                                     30
University of Bejaia
Department of OR
Master 1 MF
Measure and integration
Academic year : 23/24
                              Supplementary exercises
Exercise 1. Prove that:
     T               T
  1.   α∈I Aα × B =     α∈I (Aα × B)
     S               S
  2.   α∈I Aα × B =     α∈I (Aα × B)
Exercise
      T 2. Aα S= [α, ∞), α ∈ R.
Find : α∈R Aα , α∈R Aα .
Exercise 4. Consider the measurable space (X, P(X)). We define the map µ : P(X) → [0, ∞]
as
                                  (
                                     card(A)    if A is finite,
                           µ(A) =
                                     ∞          otherwise.
Prove that:
  1. λ∗ (∅) = 0,
  2. λ∗ {a} = 0,
  3. if A is countable, then λ∗ (A) = 0,
  4. λ∗ ([0, ∞)) = ∞.
                                                 31
  1. Prove that if f, g ∈ E(X, R) then f + g, f g ∈ E(X, R).
  2. Prove that χA∪B = χA + χB − χA∩B .
Exercise 7. Let (fn )n≥1 a sequence of nonnegative measurable functions on I ⊆ R. Show that
                                    ∞                     ∞ Z
                               Z               !
                                    X                     X
                                          fn       dλ =             fn d λ.
                                I   n=1                   n=1   I
                                                    32
                                      Solutions No. 1
Exercise 1.
  1. We have:
     (a) A ∪ B = [0, 2] ∪ [1, 3] = [0, 3]
     (b) A ∩ B = [0, 2] ∩ [1, 3] = [1, 2]
     (c) (A ∩ B) ∪ C = 12 , 52
                              
         Therefore
                                                    ∞
                                                    [
                                                          An = R.
                                                    n=1
     (b) We have
                                    ∞
                                    [
                               x∈         Bn ⇐⇒ (∃n ≥ 1)(x ∈ An )
                                    n=1
                                                ⇐⇒ (∃n ≥ 1)(−n + 1 ≤ x ≤ n)
                                                ⇐⇒ (∃n ≥ 1)(n ≥ max(x, 1 − x)
                                                ⇐⇒ x ∈ R.
         Therefore
                                                    ∞
                                                    [
                                                          Bn = R.
                                                    n=1
      (c) We have
                                       ∞
                                       [
                                 x∈         Dn ⇐⇒ (∃n ≥ 1)(x ∈ Dn )
                                      n=1
                                                                             
                                                                        1
                                                  ⇐⇒ (∃n ≥ 1)             ≤x≤2
                                                                        n
                                                  ⇐⇒ x ∈ (0, 2],
                                                                                  1
         (for the last step if x ∈ (0, 2], then choose n such that n >            x,   and then we get
         1
         n ≤ x ≤ 2). Therefore
                                             ∞
                                             [
                                                Dn = (0, 2].
                                                  n=1
                                                   33
                         T∞                         T∞
                  T∞ x ∈
     (d) If x < 0 then / n=1 Hn . We have 0 ∈ n=1 Hn since 0 is in every Hn . If x > 0
                / n=1 Hn because for n > x1 , i.e. n1 < x, we have x ∈
         then x ∈                                                    / Hn . Therefore
                                                      ∞
                                                      \
                                                              Hn = {0}.
                                                     n=1
Exercise 2.
  1. We have
                                                 !
                                      [                                     [
                             −1
                       x∈f                  Aα       ⇐⇒ f (x) ∈                 Aα
                                      α∈I                                 α∈I
                                                     ⇐⇒ (∃α ∈ I)(f (x) ∈ Aα )
                                                     ⇐⇒ (∃α ∈ I)(x ∈ f −1 (Aα ))
                                                            [
                                                     ⇐⇒ x ∈    f −1 (Aα ).
                                                                      α∈I
     Then                                                 !                                     !
                                             [                               [
                                      −1                                               −1
                     (∀x) x ∈ f                      Aα        ⇐⇒ x ∈              f        (Aα ) .
                                             α∈I                             α∈I
     Then                                                 !
                                             [                    [
                                      −1
                                  f                  Aα       =         f −1 (Aα ).
                                            α∈I                   α∈I
  2. We have
                                                 !
                                      \                                   \
                            −1
                      x∈f                   Aα       ⇐⇒ f (x) ∈                 Aα
                                  α∈I                                     α∈I
                                                     ⇐⇒ (∀α ∈ I) (f (x) ∈ Aα )
                                                     ⇐⇒ (∀α ∈ I) x ∈ f −1 (Aα )
                                                                               
                                                            \
                                                     ⇐⇒ x ∈    f −1 (Aα ).
                                                                    α∈I
     Therefore                                            !                                     !
                                             \                               \
                                      −1                                               −1
                     (∀x) x ∈ f                      Aα        ⇐⇒ x ∈              f        (Aα ) .
                                             α∈I                             α∈I
     Hence                                                !
                                             \                    \
                                  f −1               Aα       =         f −1 (Aα ).
                                            α∈I                   α∈I
  3. We have
                           x ∈ (f ◦ g)−1 (A) ⇐⇒ (f ◦ g)(x) ∈ A
                                                          ⇐⇒ f [g(x)] ∈ A
                                                          ⇐⇒ g(x) ∈ f −1 (A)
                                                          ⇐⇒ x ∈ g −1 [f −1 (A)]
                                                      34
     Hence
                                       (f ◦ g)−1 (A) = g −1 [f −1 (A)].
4. We have
                                  x ∈ f −1 (Ac ) ⇐⇒ f (x) ∈ Ac
                                                      ⇐⇒ f (x) ∈
                                                               /A
                                                           / f −1 (A)
                                                      ⇐⇒ x ∈
                                                      ⇐⇒ x ∈ [f −1 (A)]c
     Then
                              (∀x) x ∈ f −1 (Ac ) ⇐⇒ x ∈ [f −1 (A)]c .
                                                                    
     Therefore
                                            f −1 (Ac ) = [f −1 (A)]c .
5. We have
                             x ∈ f −1 (A) =⇒ f (x) ∈ A
                                             =⇒ f (x) ∈ B              (since A ⊆ B)
                                                             −1
                                             =⇒ x ∈ f             (B).
     Hence
                                             f −1 (A) ⊆ f −1 (B).
A ⊆ f −1 [f (A)].
Exercise 3.
  1. We have
                                            !                                              !
                                 [                                              \
                      x∈A∩             Bα       ⇐⇒ x ∈ A and x ∈                      Bα
                                 α∈I                                            α∈I
                                                ⇐⇒ (x ∈ A) and (∃α ∈ I)(x ∈ Bα )
                                                ⇐⇒ (∃α ∈ I)(x ∈ A and x ∈ Bα )
                                                ⇐⇒ (∃α ∈ I)(x ∈ A ∩ Bα )
                                                       [
                                                ⇐⇒ x ∈    (A ∩ Bα ) .
                                                                 α∈I
     Hence                                               !
                                                [                [
                                   A∩               Bα       =         (A ∩ Bα ).
                                             α∈I                 α∈I
                                                     35
2. We have
                                 !                                                !
                      \                                                \
              x∈A∪          Bα       ⇐⇒ x ∈ A or x ∈                         Bα
                      α∈I                                              α∈I
                                     ⇐⇒ (x ∈ A) or ((∀α ∈ I) (x ∈ Bα ))
                                     ⇐⇒ (∀α ∈ I) ((x ∈ A or x ∈ Bα )
                                     ⇐⇒ (∀α ∈ I) (x ∈ (A ∪ Bα ))
                                            \
                                     ⇐⇒ x ∈    (A ∪ Bα ) .
                                                      α∈I
  Hence                                       !
                                     \                \
                          A∪             Bα       =         (A ∪ Bα ) .
                                  α∈I                 α∈I
3. We have
                                       !c
                            [                                  [
                     x∈           Bα        ⇐⇒ x ∈
                                                 /                 Bα
                            α∈I                              α∈I
                                            ⇐⇒ (∀α ∈ I)(x ∈
                                                          / Bα )
                                            ⇐⇒ (∀α ∈ I)(x ∈ Bαc )
                                                   \
                                            ⇐⇒ x ∈    Bαc .
                                                             α∈I
  Hence                                         !c
                                     [                   \
                                           Bα        =         Bαc .
                                     α∈I                 α∈I
4. We have
                                       !c
                            \                                \
                     x∈           Bα        ⇐⇒ x ∈
                                                 /                 Bα
                            α∈I                             α∈I
                                            ⇐⇒ (∃α ∈ I) (x ∈
                                                           / Bα )
                                            ⇐⇒ (∃α ∈ I) (x ∈ Bαc )
                                                   [
                                            ⇐⇒ x ∈    Bαc .
                                                            α∈I
  Therefore                                     !c
                                     \                   [
                                           Bα        =         Bαc .
                                     α∈I                 α∈I
                                            36
                                       Solutions No. 2
Exercise 1.
                                         n
                                               !            
                               [         [             [
                                  Ai =     Ai ∪          Ai 
                                     i≥1         i=1                   i≥n+1
                                                 n
                                                            !
                                                 [
                                           =           Ai         ∪∅
                                                i=1
                                               n
                                               [
                                           =         Ai .
                                               i=1
                          S
     By Axiom 3 we have       i≥1   Ai ∈ A, and hence
                                                 n
                                                 [
                                                       Ai ∈ A.
                                                 i=1
A − B ∈ A.
  4. Since (∀α ∈ I)(Aα ∈ Sg(X)) for each, then (∀α ∈ I)(X ∈ Aα ). Hence
                                                \
                                           X∈      Aα
                                                            α∈I
     Let A ∈ α∈I Aα . Hence (∀α ∈ I)(A ∈ Aα ), and hence (∀α ∈ I)(Ac ∈ Aα ) since
              T
     Aα ∈ Sg(X) for all α ∈ I. Therefore
                                              \
                                         Ac ∈   Aα .
                                                            α∈I
                         T
     Let {Ai : i ≥ 1} ⊆ α∈I Aα . Hence (∀α ∈ I) ({Ai : i ≥ 1} ⊆ Aα ), and therefore (∀α ∈
         S
     I)    i≥1 Ai ∈ Aα . Hence
                                       [       \
                                          Ai ∈     Aα .
                                               i≥1           α∈I
                                                T
     From the preceding we conclude that            α∈I     Aα ∈ Sg(X).
Exercise 2.
                                                     37
  1. (a) We have                             \
                                   σ(T ) =       {A : T ⊆ A ∈ Sg(X)} .
         Since for all A ∈ {A : T ⊆ A ∈ Sg(X)} we have T ⊆ A, then
                                        \
                                    T ⊆    {A : T ⊆ A ∈ Sg(X)} ,
         i.e.
                                                 T ⊆ σ(T ).
                           T
     (b) We have σ(T ) =       D where
                                   D = {A : T ⊆ A ∈ Sg(X)}
                                                     T
         If A ∈ Sg(X) and T ⊆ A, then {A} ⊆ D. Hence D ⊆ A. Therefore
σ(T ) ⊆ A.
σ(T ) ⊆ σ(S)
         by 2.
  2. By the second property we have
                                             σ(A) ⊆ A.
     But by the first property we have
                                             A ⊆ σ(A).
     Hence
                                             σ(A) = A.
Exercise 3.
  1. The σ-algebras on X = {a, b, c} are
                                      A1 = {∅, X}
                                      A2 = P(X)
                                      A3 = {∅, X, {a}, {b, c}}
                                      A4 = {∅, X, {b}, {a, c}}
                                      A5 = {∅, X, {c}, {a, b}} .
                                             B1 = {∅, Y }
                                             B2 = P(Y ).
Exercise 4.
                                               38
  1. We have
                                 σ(T ) = σ({{a}})
                                         \
                                       =    {A : T ⊆ A ∈ Sg(X)}
                                         \
                                       =    {A1 , A3 }
                                      = A3 .
2. We have
                                 σ(S) = σ({{a}})
                                        \
                                      =    {A : S ⊆ A ∈ Sg(X)}
                                        \
                                      =    {A2 }
                                      = A2
                                      = P(X).
X1 ∈ A1 . (A.1)
                                               39
                                        Solutions No. 3
Exercise 1. Consider (X, P(X)), a ∈ X. We define the map δa : P(X) → R+ by
                                         (
                                          1    if a ∈ A,
                                δa (A) =
                                          0    if a ∈
                                                    / A.
                                         X                                X
                                                δa (Ai ) = δa (Am ) +            δa (Ai )
                                          i≥1                             i̸=m
                                                           =1+0
                                                           = 1.
                                          S
            ii. Case 2: Suppose that a ∈/ i≥1 Ai .
                       S               S         
                If a ∈
                     / i≥1 Ai then δa     i≥1 A i   = 0.
                On the other hand we have
                                             [
                                        a∈
                                         /         Ai =⇒ (∀i ≥ 1) (a ∈
                                                                     / Ai )
                                             i≥1
Exercise 2.
  1. If A1 , A2 , . . . , An ∈ A with Ai ∩ Aj = ∅ for i ̸= j, then
                                               n
                                                    !      n
                                               [          X
                                           µ     Ai =         µ (Ai )
                                                i=1           i=1
                                                      40
  Let Ai = ∅ for i ≥ n + 1. Then
                                                         ∞
                                n
                                           !                        !
                                [                        [
                            µ         Ai       =µ              Ai
                                i=1                      i=1
                                                   ∞
                                                   X
                                               =         µ (Ai )
                                                   i=1
                                                   Xn                   ∞
                                                                        X
                                               =         µ (Ai ) +              µ (Ai )
                                                   i=1                  i=n+1
                                                   Xn                    X∞
                                               =         µ (Ai ) +              µ (∅)
                                                   i=1                  i=n+1
                                                   Xn                    X∞
                                               =         µ (Ai ) +              0
                                                   i=1                  i=n+1
                                                   Xn
                                               =         µ (Ai ) .
                                                   i=1
2. Let A, B ∈ A and A ⊆ B.
  We have B = A ∪ (B − A) and A ∩ (B − A) = ∅. Hence
                                    µ(B) = µ (A ∪ (B − A))
                                               = µ(A) + µ (B − A)
  If µ(B) = ∞ then µ(A) ≤ µ(B). If µ(B) < ∞ then µ(A) < ∞ and µ(B − A) < ∞. And
  therefore µ(B) − µ(A) = µ(B − A) ≥ 0, i.e. µ(A) ≤ µ(B).
  Therefore if A, B ∈ A and A ⊆ B then µ(A) ≤ µ(B).
3. If moreover we have µ(B) < ∞ then
                                                    41
                                                              
                                  n
                                  [                    [
                             µ       Ai  = µ              Bi 
                              i≥1                      i≥1
                                                 X
                                             =         µ (Bi )
                                                 i≥1
                                                          n
                                                          X
                                             = lim              µ (Bi )
                                                 n→∞
                                                          i=1
                                                          Xn
                                             = lim              [µ (Ai+1 ) − µ (Ai )]
                                                 n→∞
                                                          i=1
                                             = lim µ (An ) .
                                                 n→∞
5. Let {An : n ∈ N∗ } ⊆ A.
                                 Sn
  Let B1 = A1 and Bn+1 = An+1 − ( i=1 Ai ) for i ≥ 1.
                S        S
  Hence we have i≥1 Ai = i≥1 Bi and Bi ∩ Bj = ∅ for i ̸= j.
  Since Bn ⊆ An then µ(Bn ) ≤ µ(An ). Therefore
                                   ∞                            ∞
                                         !                                 !
                                   [                            [
                               µ      An = µ                          Bn
                                       n=1                      n=1
                                                          ∞
                                                          X
                                                      =         µ (Bn )
                                                          n=1
                                                          X∞
                                                      ≤         µ (An ) .
                                                          n=1
  Therefore
                                        ∞                  ∞
                                                  !
                                        [                  X
                                  µ          An        ≤         µ(An ).
                                       n=1                 n=1
                                                 42
                 T∞                  S∞
     Therefore      n=1   An = A1 − ( n=1 Bn ). Therefore
                                   ∞                      ∞
                                        !                      !
                                   \                      [
                               µ      An = µ(A1 ) − µ       Bn
                                  n=1                           n=1
                                            = µ(A1 ) − lim µ(Bn )
                                                             n→∞
                                            = µ(A1 ) − lim [µ(A1 ) − µ(An )]
                                                             n→∞
                                            = lim µ(An ).
                                              n→∞
     Therefore
                                            ∞
                                                       !
                                            \
                                        µ         An       = lim µ(An ).
                                                             n→∞
                                            n=1
                                                                               g   f
Exercise 3. Let (X, A), (Y, B), (Z, C) be measure spaces. Consider (X, A) → (Y, B) → (Z, C)
where f and g are measurable. Prove that f ◦ g is measurable.
   Let C ∈ C. Then
                                 (f ◦ g)−1 (C) = g −1 f −1 (C) .
                                                              
   Hence
                             (∀C) C ∈ C =⇒ (f ◦ g)−1 (C) ∈ A .
                                                                 
Hence f ◦ g is measurable.
Exercise 4.
Let B ∈ BR , then
                                 χ−1
                                  A (B) = {x : x ∈ X, χA (x) ∈ B}.
                                    (∀B ∈ BR ) χ−1
                                                           
                                                A (B) ∈ A .
     This means that χA is measurable. From the preceding we conclude that χA is measurable
     iff A is measurable.
                                                   43
Exercise 5. Let fn : [0, 1] → R be the function given by
                                             1 + nx2
                                 fn (x) =              ,       n ∈ N∗ .
                                            (1 + x2 )n
   We have
                               1 + nx2
                      fn (x) =
                              (1 + x2 )n
                            = exp ln(1 + nx2 ) − n ln(1 + x2 )
                                                             
                                                                
                                            1    2                2
                            = exp ln n        +x      − n ln(1 + x )
                                            n
                                                                    
                                               1    2               2
                            = exp ln n + ln      + x − n ln(1 + x )
                                               n
                                  "                                      !#
                                        ln n ln n1 + x2
                                                         
                                                                      2
                            = exp n          +             − ln(1 + x )
                                         n          n
Hence for x = 0 we have limn→∞ fn (x) = 1 and for x ̸= 0 we have limn→∞ fn (x) = 0. Hence
                                         lim fn = χ{0} .
                                        n→∞
We have (∀n ≥ 1) (|fn | ≤ g) where g = χ[0,1] . This can be proved by proving first by induction
that (1 + x2 )n ≥ 1 + nx2 for all x. Then we get
                                                  1 + nx2
                                       fn (x) =
                                                 (1 + x2 )n
                                                 1 + nx2
                                               ≤
                                                 1 + nx2
                                               = 1.
Since the function fn is continuous on [0, 1], then fn is measurable for all n. The function g is
measurable nonnegative and integrable over [0, 1].
   Therefore by the dominated convergence theorem we have
                                    Z              Z
                                lim      fn dλ =           lim fn dλ
                               n→∞ [0,1]            [0,1] n→∞
                                                   Z
                                                =         χ{0} dλ
                                                       [0,1]
                                                  = λ({0})
                                                  = 0.
                                                  44
Let I = [0, 1], A = I − Q, B = I ∩ Q. Hence g = χA . We have A ∪ B = I and A ∩ B = ∅. Hence
                                     1 = λ(I)
                                         = λ(A ∪ B)
                                         = λ(A) + λ(B).
                                              45
                    Solutions to supplementary exercises
Exercise 1.
  1. We have
                                              !
                                    \                                 \
                   (x, y) ∈              Aα       × B ⇐⇒ x ∈              Aα and y ∈ B
                                   α∈I                              α∈I
                                                           ⇐⇒ (∀α ∈ I)(x ∈ Aα ) and y ∈ B
                                                           ⇐⇒ (∀α ∈ I)(x ∈ Aα and y ∈ B)
                                                           ⇐⇒ (∀α ∈ I) ((x, y) ∈ Aα × B)
                                                                       \
                                                           ⇐⇒ (x, y) ∈    (Aα × B).
                                                                          α∈I
     Hence                                             !
                                          \                       \
                                                  Aα       ×B =         (Aα × B).
                                          α∈I                     α∈I
  2. We have
                                              !
                                   [                                [
                   (x, y) ∈              Aα       × B ⇐⇒ x ∈              Aα et y ∈ B
                                   α∈I                              α∈I
                                                           ⇐⇒ (∃α ∈ I)(x ∈ Aα ) and y ∈ B
                                                           ⇐⇒ (∃α ∈ I) (x ∈ Aα and y ∈ B)
                                                           ⇐⇒ (∃α ∈ I) ((x, y) ∈ Aα × B)
                                                                       [
                                                           ⇐⇒ (x, y) ∈    (Aα × B).
                                                                          α∈I
     Hence                                             !
                                          [                       [
                                                  Aα       ×B =         (Aα × B).
                                          α∈I                     α∈I
Exercise 2.
                        T
  1. Suppose that x ∈       α∈R   Aα . Hence we have x ∈
                                                       / Ax+1 = [x + 1, ∞). Therefore
                                                \
                                                   Aα = ∅.
                                                       α∈R
  2. We have
                                         [
                                   x∈          Aα ⇐⇒ (∃α ∈ R)(x ∈ Aα )
                                         α∈R
                                                    ⇐⇒ (∃α ∈ R) (x ∈ [α, ∞))
                                                    ⇐⇒ x ∈ R.
     Therefore                                         [
                                                             Aα = R.
                                                       α∈R
                                                           46
Appendix B
Past exams
Exercise 2. (6 marks) Let (X, A), (Y, B), (Z, C) be measurable spaces, f a map from X to Y ,
and g a map from Y to Z.
  1. What do we mean by : f is measurable?
  2. If f and g are measurable, prove that g ◦ f is measurable.
  3. Give the definition of a measure space.
                                               47
  4. Give the Lebesgue measure of the following sets:
     (1, 5), (−∞, −2), {1, 2, 7}.
Exercise 3. (4 marks) Let (X, A) be a measurable space and A ⊆ X. Consider the characteristic
function χA : (X, A) → (R, BR ) defined by
                                            (
                                             1    if x ∈ A,
                                   χA (x) =
                                             0    if x ∈
                                                       / A.
                                              48
                                                  Solutions
Exercise 1. The marks are distributed as: 1 + 1 + 2 + 1, 5 + 1, 5 + 1 + 2.
  1. We have
                                                      !
                                            [                                     [
                                   −1
                             x∈f                 Aα       ⇐⇒ f (x) ∈                    Aα
                                         α∈I                                      α∈I
                                                          ⇐⇒ (∃α ∈ I) (f (x) ∈ Aα )
                                                          ⇐⇒ (∃α ∈ I) x ∈ f −1 (Aα )
                                                                                    
                                                                 [
                                                          ⇐⇒ x ∈    f −1 (Aα ) .
                                                                            α∈I
     Then                                                         !                                    !
                                                  [                                  [
                                            −1                                                −1
                           (∀x) x ∈ f                     Aα           ⇐⇒ x ∈             f        (Aα ) .
                                                  α∈I                               α∈I
     Then                                                         !
                                                  [                        [
                                            −1
                                        f                 Aα          =         f −1 (Aα ).
                                                  α∈I                     α∈I
     by Ax 2. Since                                               !c
                                                   ∞
                                                   [                       ∞
                                                                           \
                                                              c
                                                          A            =         An ,
                                                  n=1                      n=1
     we conclude
                                                          ∞
                                                          \
                                                                  An ∈ A.
                                                        n=1
                                                          c
  4. We have A − B = A ∩ B c = (Ac ∪ B) . Since A ∈ A, hence Ac ∈ A by Ax 2. Since
                                                    c
     Ac , B ∈ A, then Ac ∪ B ∈ A, and hence (Ac ∩ B) ∈ A, i.e. A − B ∈ A.
  5. σ{A, B} = {[3, 5], (5, 7), [7, 9], [3, 7), (5, 9], [3, 5] ∪ [7, 9], [3, 9], ∅} .
  6. σ{A} = {[3, 5], (5, 9], [3, 9], ∅} .
  7. If we take X = {a, b, c}, A = {∅, X, A, B}, B = {∅, X, C, D}, with A = {a, b}, B = {c},
     C = {a, c}, D = {b}. Hence A ∪ B = {∅, X, A, B, C, D}. We see that A and B σ-algebras
     on X, but A ∪ B is not a σ-algebra on X since B ∪ D ∈/ A ∪ B.
                                                           49
Exercise 2. The marks are distributed as: 1 + 2 + 1, 5 + 1, 5.
  1. Let (X, A) and (Y, B) be measurable spaces. A function f : (X, A) → (Y, B) is mesurable
     iff
                                  (∀B) B ∈ B =⇒ f −1 (B) ∈ A .
                                                                
     that g ◦ f is measurable.
  3. A positive measure on a easurable space (X, A) is a map µ : A → [0, ∞] such that:
        • µ(∅) = 0
                                                                S∞              P∞
        • If {An : n ∈ N∗ } ⊆ A, Ai ∩ Aj for i ̸= j, then µ (    n=1   An ) =    n=1   µ(An ).
  4. The Lebesgue measure of the following sets:
     λ(1, 5) = 5 − 1 = 4, λ(−∞, −2) = ∞, λ{1, 2, 7} = 0 car {1, 2, 7} is countable.
                                    (∀B ∈ BR ) χ−1
                                                           
                                                A (B) ∈ A .
                                                50
University de Bejaia                                                            5 March 2022
Department de OR
Level: Master 1 MF
Academic year: 21/22
Module: Measure and integration
Duration: 1 h 30 min
                                   Examination paper
Exercise 1. (7 marks) Let f : R → R be the function given by
                                           p
                                    f (x) = 1 + 2x2 .
  1. Determine f −1 ((−∞, 0]), f −1 ((2, 5]), f ([−1, ∞)).
  2. Give the definition of the σ-algebra generated by T denoted by σ(T ), where T ⊆ P(X).
  3. Suppose that X = R, A = (−∞, 1), B = {1}, then determine σ{A, B}.
  4. Determine f −1 (A) where A = σ{A, B}.
Exercise 2. (7 marks)
  1. Define a measure space (X, A, µ).
  2. Give the Lebesgue measure of the following sets:
                                               51
                                            Solutions
Exercise 1. The marks are distributed as: 3 + 1 + 1, 5 + 1, 5.
  1. We have
                                x ∈ f −1 ((−∞, 0]) ⇐⇒ f (x) ∈ (−∞, 0]
                                                      ⇐⇒ f (x) ≤ 0
                                                         p
                                                      ⇐⇒    1 + 2x2 ≤ 0
                                                      ⇐⇒ 2x2 ≤ −1
                                                      ⇐⇒ x ∈ ∅.
     Then f −1 ((−∞, 0]) = ∅.
     We have
                      x ∈ f −1 ((2, 5]) ⇐⇒ f (x) ∈ (2, 5]
                                                p
                                        ⇐⇒ 2 < 1 + 2x2 ≤ 5
                                          3
                                        ⇐⇒  < x2 ≤ 12
                                          2 h
                                                √     √   √ √ i
                                      ⇐⇒ x ∈ − 12, − 26 ∪ − 26 , 12 .
                              h √     √     √ √ i
     Therefore f −1 ((2, 5]) = − 12, − 26 ∪ − 26 , 12 .
     For all x ∈ [−1, ∞) we have       f (x) ∈ [1, ∞). If y ∈ [1, ∞), we have to find x such that
     y = f (x). We have
                                                           p
                                    y = f (x) ⇐⇒ y =        1 + x2
                                                ⇐⇒ y 2 = 1 + 2x2
                                                            1−y 2
                                                ⇐⇒ x2 =       2
                                                            q
                                                                1−y 2
                                                ⇐⇒ x = ±          2 .
     Hence for y ∈ [1, ∞), there exists x ∈ [−1, ∞) such that y = f (x). Then f (R) = [1, ∞).
  2. The σ-algebra σ(T ) is given by
                                        \
                              σ(T ) =       {A : A ∈ Sg(X) and T ⊆ A} .
  3. We have
         σ{A, B} = {∅, R, (−∞, 1), {1}, (1, ∞), (−∞, 1], [1, ∞), (−∞, 1) ∪ (1, ∞)} .
  4. We have
                                    f −1 (A) = f −1 σ{A, B}
                                              = σf −1 {A, B}
                                              = σ{f −1 (A), f −1 (B)}
                                              = σ{∅, {0}}
                                              = {∅, R, {0}, R∗ }.
                                                 52
Exercise 2. The marks are distributed as 1 + 2 + 1, 5 + 1 + 1, 5.
  1. Let (X, A) be a measurable space. A positive measure on (X, A) is a map µ : A → [0, ∞]
     such that:
      (a) µ(∅) = 0,
                                                                                     S∞               P∞
      (b) if {An : n ∈ N∗ } ⊆ A, Ai ∩ Aj = ∅ for i ̸= j, then µ (                      n=1   An ) =    n=1   µ(An ).
     In this case we say (X, A, µ) is a measure space.
  2. The Lebesgue measure:
  3. Let f1 and f2 be functions defined on R and given f1 (x) = cos(3x) and f2 = exp(2x − 1).
     Then
                                     f = f1 χ(−∞,1) + f2 χ[1,∞) .
     The functions f1 , f2 , χ(−∞,1) and χ[1,∞) are measurable since f1 , f2 are continuous and
     (−∞, 1), [1, ∞) ∈ BR . Hence f is measurable since it is the sum of product of measurable
     functions.
  4. The function f is not simple since the number of its values is not finite (Im(f ) = [−1, 1] ∪
     [e, ∞)).
  5. Since g, h ∈ E(X, A, R), hence g, h are measurable, and therefore h2g+1 is measurable (since
     the product, sum and quotient of measurable functions are measurable). Suppose that
Im(g) = {αi : i ∈ I}
     and
                                                   Im(h) = {βj : j ∈ J}
     where I, J finite. Hence
                                                              (                            )
                                                  g                    αi
                                      Im                    ⊆               : i ∈ I, j ∈ J       .
                                               h2 + 1               βj2 + 1
                               
                          g
     Therefore Im       h2 +1       is a finite set. From the preceding we conclude that
                                                       g
                                                           ∈ E(X, A, R).
                                                    h2 + 1
                                                                53
1. The dominated convergence theorem:
   Let (X, A, µ) be a measure space, and
   (a) limn→∞ fn = f ,
   (b) there exists a nonnegative function g ∈ L1 (X, A, µ), |fn | ≤ g for all n ≥ 1.
  Then f ∈ L1 (X, A, µ), and fn ∈ L1 (X, A, µ) for all n ≥ 1, and
                                     Z            Z
                                lim     fn d µ =       f d µ.
                                       n→∞   X               X
             cos(1−n2 x)       1                      1                       cos(1−n2 x)
2. We have        n2       ≤   n2 .   Since limn→∞    n2   = 0, then limn→∞        n2       = 0, and
                           2
                 cos(1−n x)
  hence limn→∞        n2       = 0. Then
                                                       1
                                           lim fn =      χ[−1,2] .
                                          n→∞          2
3. We have
                                                                     
                                                1  cos 1 − n2 x
                                      |fn (x)| ≤ +
                                                2       n2
                                              1   1
                                             ≤  + 2
                                              2   n
                                              3
                                             ≤ .
                                              2
  Let g = 32 χ[−1,2] . Then |fn | ≤ g for all n ≥ 1 . The function g is measurable and integrable
  since
                                  Z               Z
                                                          3
                                          g dλ =            χ[−1,2] d λ
                                   [−1,2]          [−1,2] 2
                                                  3
                                                = ×3
                                                  2
                                                  9
                                                = .
                                                  2
  Now we can apply the dominated convergence theorem and we obtain
                              Z              Z
                                                     1
                          lim       fn d λ =           χ[−1,2] d λ
                         n→∞ [−1,2]           [−1,2] 2
                                             1
                                           = ×3
                                             2
                                             3
                                           = .
                                             2
                                                 54
University de Bejaia                                                              7 July 2022
Department de OR
Level: Master 1 MF
Academic year: 21/22
Module: Measure and integration
Duration: 1 h 30
f (x) = x2 − x − 2.
  1. Determine f + et f − .
  2. Determine f −1 ((−∞, 0]), f −1 ((−2, 0]), f (R).
  3. Suppose that X = R, A = (−∞, −3), B = {0}, then determine σ{A, B}.
  4. Determine f −1 (A) where A = σ{A, B}.
Exercise 2. (7 marks)
  1. Define a measure space (X, A, µ).
  2. Give the Lebesgue measure of the following sets:
     [0, 3), {1, 3, 9},   (−∞, −1),   (−∞, 3] ∩ Q.
                                               55
                                        Solutions
(a) We have
           Then
                                        f −1 ((−∞, 0]) = [−1, 2].
      (b) We have
           Therefore
                                         f −1 ((−2, 0]) = [−1, 2].
      (c) We have
                                           f (R) = − 89 , ∞ .
                                                          
2. We have
σ{A, B} = {∅, R, (−∞, −3), {0}, [−3, 0) ∪ (0, ∞), (−∞, −3) ∪ {0}, [−3, ∞), R∗ }.
3. We have
                                  f −1 (A) = f −1 σ{A, B}
                                          = σf −1 {A, B}
                                          = σ{f −1 (A), f −1 (B)}
                                          = σ{∅, {0}}
                                          = {∅, R, {0}, R∗ }.
                                              56
Exercise 2. The marks are distributed as: 1 + 2 + 2 + 2.
  1. Let (X, A) be a measurable space. A positive measure on (X, A) is a ma µ : A → [0, ∞]
     such that:
      (a) µ(∅) = 0,
                                                                 S∞         P∞
      (b) if {An : n ∈ N∗ } ⊆ A, Ai ∩ Aj = ∅ for i ̸= j, then µ ( n=1 An ) = n=1 µ(An ).
     Then we say (X, A, µ) is measure space.
  2. The Lebesgue measure:
                                                    λ([0, 3)) = 3 − 0 = 3,
                                   λ({1, 3, 9}) = 0           ({1, 3, 9} is countable),
                                                     λ((−∞, −1)) = ∞,
                             λ((−∞, 3] ∩ Q) = 0               ((−∞, 3] ∩ Q is countable).
  3. Let f1 and f2 be functions defined on R and given by f1 (x) = |x| and f2 = sin(|x + 1|).
     Hence
                                  f = f1 χ(−∞,√3) + f2 χ[√3,∞) .
     The functions f1 , f2 , χ(−∞,1) and χ[1,∞) are measurable and f1 , f2 are continuous and
           √    √
     (−∞, 3), [ 3, ∞) ∈ BR . Then f is measurable since it is the sum of products of measurable
     functions.
  4. The function f is not simple since the number of its values is not finite (Im f = [−1, ∞)).
  2. We have
                                                                         1
                                                     |fn (x)| ≤
                                                                    n2   + 3n
                                                                  ≤ 1.
     Let g = χ[−3,5] , then |fn | ≤ g for all n ≥ 1. The function g is measurable and integrable
     since
                                    Z               Z
                                           g dλ =         χ[−3,5] d λ
                                          [−3,5]                   [−3,5]
                                                             = 8.
     Now we can apply the dominated convergence theorem and we get
                                   Z               Z
                               lim       fn d λ =       0 dλ
                                         n→∞        [−3,5]                  [−3,5]
= 0.
                                                             57
Bibliography
[1] J. L. Doob, Measure Theory, Graduate Texts in Mathematics 143, Springer, New York,
    1994.
58