Professional Documents
Culture Documents
Typeset by AMS-TEX
Typeset by AMS-TEX
Michael J. Johnson
Fall 2008
1. Chapters I and II
The first two chapters of our textbook are mostly review. I will ask the students to read
the following:
Chapter I sections 1,2,3,6
Chapter II sections 1,2,3,4,5
In addition to the above reading, I will discuss section 1.4, 1.6, 2.3, 2.5, 2.7
The extended real number system is obtained by appending to the real number
system the two elements +∞ and −∞. If x is any real number, then we agree that
−∞ < x < ∞ and define x + ∞ = ∞, x − ∞ = −∞, x · ∞ = ∞ if x > 0, x · −∞ = −∞ if
x > 0. Additionally, ∞ + ∞ = ∞ and −∞ − ∞ = −∞, but ∞ − ∞ is left undefined. We
do adopt the arbitrary convention that 0 · ∞ = 0.
Further Thoughts: (a) Is the extended real number system a field? (b) How would
you repair question 6 on page 37?
We know what finite means, of course (note that this includes the empty set). A set is
called countable if it is empty or it is the range of a sequence. In other words, a nonempty
set E is countable if there exists a function from N onto E. Note that every finite set is
also countable. The phrase countably infinite is used to indicate that a set is countable
but not finite.
Key Results:
1. Every subset of a countable set is countable.
2. A countable union of countable sets is countable.
Typeset by AMS-TEX
1
2 REAL ANALYSIS
Royden takes a different approach to the definition of a closed set than we take in Math
329. In Math 329 a set is closed if its complement is open, and then one proves as a
theorem that a set is closed if and only if it contains all of its limit points (recall that x is
a limit point of E if for every ε > 0 there exists y ∈ E such that |x − y| < ε; note that x
need not belong to E). In Royden’s book, a set is defined to be closed if it contains all of
its limit points and then obtains by theorem that the complement of an open set is closed
and vice-versa.
Regarding unions and intersections, the union of any collection of open sets results in
an open set and also the intersection of finitely many open sets results in an open set.
Similarly, the intersection of any collection of closed sets yields a closed set as does the
union of a finite number of closed sets.
Further Thought: Can you give an example where an infinite intersection of open
sets results in a set which is neither open nor closed?
Key Results:
1. Every open set can be written as the union of a countable collection of disjoint open
intervals.
2. (Lindelöf) If C is an infinite collection of open sets, then there exists a countable
sub-collection {Gi } of C such that
∪G∈C G = ∪∞
i=1 Gi .
3. (Heine-Borel) If F is closed and bounded, then every open covering of F has a finite
subcovering.
4. Let C be an infinite collection of closed sets such that every finite subcollection of
C has a nonempty intersection, and suppose that at least one of the sets in C is bounded.
Then ∩F ∈C F is nonempty.
Proposition. Let A be an algebra of sets and let A1 , A2 , . . . belong to A. Then there exist
disjoint sets B1 , B2 , . . . in A such that
∞
[ ∞
[
Bi = Ai .
i=1 i=1
Definition. The collection B of Borel sets is the smallest σ-algebra which contains all of
the open sets.
In order to begin to appreciate the diversity of sets in B, explain the notation Fσ
(countable unions of closed sets), Gδ (countable intersections of open sets), Fσδ and Gδσ .
Does Q belong to B? Yes, Q is an Fσ .
3. Outer Measure
For an interval I ⊂ R, let ℓ(I) ∈ [0, ∞] denote the length ofPI. The outer measure of a
∗
subset A ⊂ R, denoted m (A), is defined to be the infimum of n ℓ(In ), where
S the infimum
is taken over all countable collections of intervals {In } satisfying A ⊂ n In . It follows
immediately from the definition that m∗ (∅) = 0 and that A ⊂ B implies m∗ (A) ≤ m∗ (B).
Proof. We first consider the case I = [a, b]. One first shows that m∗ (I) ≤ ℓ(I) by consider-
ing the open inteval I1 = (a − ε, b + ε). If m∗ (I) < ℓ(I), then it follows (using Heine-Borel
Theorem) that there exists a finite collection of intervals I1 , I2 , . . . , Ik which cover I and
Pk
such that ℓ(I) > n=1 Ik , which is clearly a contradiction; therefore m∗ (I) = ℓ(I). One
can then consider any finite interval I by comparing it with a closed sub-interval J having
ℓ(J) > ℓ(I) − ε. And one handles infinite intervals in a similar fashion.
Proof. We consider the interesting case when m∗ (An ) < ∞ for all n. Fix ε > 0. For
each n,Pthere exists a countable collection of open intervals {In,i }i which covers An and for
which i m∗ (In,i ) ≤ m∗ (An )+2−n ε.SIt follows that the full
P collection {In,i } isP
a countable
∗
collection of intervals which covers n An and satisfies i,n m (In,i ) ≤ ε + n m∗ (An ).
The desired conclusion readily follows.
Two immediate consequences of this proposition are that the outer measure of any
countable set is 0, and consequently, any interval having a positive length is necessarily
uncountable.
MATH 510 5
4. Lebesgue Measure
The outer measure m∗ is not, unfortunately, countably additive on P(R); there is,
however, a smaller σ-algebra upon which it is countably additive.
Definition. A set E ⊂ R is measurable if
e for all A ⊂ R.
m∗ (A) = m∗ (A ∩ E) + m∗ (A ∩ E)
e
Note that “≤” is assured since A = (A ∩ E) ∪ (A ∩ E).
Lemma. If m∗ (E) = 0, then E is measurable.
Proposition. The family M of measurable sets is an algebra of sets.
Proof. That M is closed under complimentation follows from the symmetry in the defi-
nition of measurable. Now suppose that D and E are measurable sets and let A be any
subset of R.
e since D is measurable,
m∗ (A) = m∗ (A ∩ D) + m∗ (A ∩ D),
e ∩ E) + m∗ (A ∩ D
= m∗ (A ∩ D) + m∗ (A ∩ D e ∩ E),
e since E is measurable,
≥ m∗ (A ∩ [D ∪ E]) + m∗ (A ∼ [[D ∪ F ]),
e
where the inequality holds since A ∩ (D ∪ E) = [A ∩ D] ∪ [A ∩ E ∩ D].
Lemma. Let A be any set and let E1 , E2 , . . . , En be disjoint measurable sets. Then
n
! n
[ X
m∗ (A ∩ Ei ) = m∗ (A ∩ Ei ).
i=1 i=1
Lemma. The σ-algebra M of measurable sets contains all intervals E = (a, ∞), a ∈ R.
Proof. Let A be any subset of R and put A1 = A∩(a, ∞), A2 = A∩(−∞, a]. We must show
that m∗ (A) ≥ m∗ (A1 ) + m∗ (A2 ). Given ε > 0, there P exists a countable collection of open
intervals {In } which cover A and which satisfy n ℓ(In ) ≤ m (A) + ε. Put In′ = In ∩ E
∗
and In′′ = In ∩ Ee and note that ℓ(In ) = ℓ(In′ ) + ℓ(In′′ ) = m∗ (In′ ) + m∗ (In′′ ). Since A1 ⊂ ∪n In′
′′
and A2 ⊂ ∪n In , we have
X X
m∗ (A1 ) + m∗ (A2 ) ≤ m∗ (In′ ) + m∗ (In′′ ) ≤ · · · ≤ m∗ (A) + ε.
n n
Theorem. The Borel sets B are contained in the measurable sets M.
Proof. Homework 2.
Definition. The Lebesgue measure of a measurable set E, denoted m(E), is defined to
be the outer measure of E. In other words, the set function m : M → [0, ∞] is defined to
be the restriction of m∗ to M.
At this stage, what we have established is that M is a σ-algebra which is at least as
large as B, and our measure m : M → [0, ∞] is translation invariant, agrees with length
on intervals and is countably subadditive; that is, if {An } be a countable collection of
measurable sets, then
[ X
m( An ) ≤ m(An ).
n n
Our first task (and this was the purpose of defining M) is to show that Lebesgue measure
is in fact countably additive.
Theorem. Lebesgue measure is countably additive.
Proof. It follows from the above equality (with A = R) that Lebesgue measure is finitely
additive. Now, let E1 , E2 , . . . be pairwise disjoint measurable sets. Then for all n ∈ N
∞
[ n
[ n
X
m( Ei ) ≥ m( Ei ) = m(Ei )
i=1 i=1 i=1
S∞ P∞
Taking the supremum over n yields m( i=1 Ei ) ≥ i=1 m(Ei ) and the proof is completed
by using the countable subadditivity of Lebesgue measure.
MATH 510 7
m(E1 )−m(E) = m(E1 ∼ E) = lim m(Bn ) = lim [m(E1 )−m(En )] = m(E1 )− lim m(En ),
n→∞ n→∞ n→∞
5. A non-measurable set
A valid question at this point is whether or not every subset of R is measurable. The
answer to that question is, “It depends”. It depends on whether or not one accepts the
axiom of choice. Using the axiom of choice, we will construct a set P which is not Lebesgue
measurable.
We first define an equivalence relation on [0, 1] by x ≡ y if x − y is rational. This
equivalence relation partitions the set [0, 1] into equivalence classes and using the axiom
of choice we let P ⊂ [0, 1] be a set which contains exactly one element of each equivalence
class. Now, letSq1 , q2 , . . . be an enumeration of the rational numbers contained in [−1, 1],
∞
and put E = n=1 (P + qn ). We first note that E ⊂ [−1, 2] since P ⊂ [0, 1] and {qn } ⊂
[−1, 1]. We next claim that the sets {P + qn } are pairwise disjoint. To see this, suppose
x ∈ (P + qn ) ∩ (P + qm ), say x = p1 + qn = p2 + qm for some p1 , p2 ∈ P . It follows that
p1 ≡ p2 (since p1 − p2 = qm − qn ∈ Q) and hence that p1 = p2 . But this implies that
qn = qm and consequently that n = m. Lastly, we claim that [0, 1] ⊂ E. To see this, let
x ∈ [0, 1]. Then there exists some p ∈ P such that x ≡ p, say x − p = q ∈ Q. Since both x
and p are in [0, 1], it follows that q ∈ [−1, 1], say q = qn . Hence x ∈ P + qn ⊂ E.
8 REAL ANALYSIS
6. Measurable functions
Theorem. Let {fn } be a sequence of extended real-valued measurable functions with the
same domain of definition. Then the functions sup{f1 , f2 , . . . , fn }, inf{f1 , f2 , . . . , fn },
supn fn , inf n fn , lim supn fn , lim inf n fn are measurable.
Proof. If h(x) := sup{f1 (x), f2 (x), . . . , fn (x)}, then
n
[
{x : h(x) > α} = {x : fi (x) > α}
i=1
which is measurable. The next three functions are handled in a similar fashion. For the
function lim supn fn , we write
lim sup fn = inf hn , where hn = sup{fn , fn+1 , . . . }
n n
and easily see that it is measurable. The last function is handled in a similar fashion.
A property is said to hold almost everywhere (a.e.) if the set of points where it fails
to hold is (contained in a) set having measure 0. For example, we say that f = g a.e.
if f and g have the same domain and m{x : f (x) 6= g(x)} = 0. Similarly, we say that
a sequence of functions {fn } converges a.e. to a function g if there exists a set E, with
m(E)e = 0, such that {fn (x)} converges to g(x) for all x ∈ E.
Proposition. If f is a measurable function and f = g a.e., then g is measurable.
Proof. Assume f is a measurable function and f = g a.e. Then there exists a measurable
e = 0 such that f (x) = g(x) for all x ∈ E. For α ∈ R, we have
set E, with m(E)
{x : g(x) > α} = (E ∩ {x : f (x) > α}) ∪ Ee ∩ {x : g(x) > α}
which is measurable.
Question. Does there exist a function which is not measurable?
Answer: It depends on whether one accepts the uncountable axiom of choice.
The characteristic function of a set A, denoted χA , is measurable if and only if A is
measurable. So if we use the axiom of choice to construct the non-measurable set P , then
χP is a non-measurable function.
Reading Assignment. Ask the students to read the beginning of Chapter 6.
Proposition. Let E be a measurable set with finite measure and suppose that {fn } is a
sequence of measurable functions that converge to a real-valued function f a.e. on E. Then
for every ε > 0 and δ > 0, there exists a measurable set A ⊂ E, with m(A) < δ, and an
integer N such that
|f (x) − fn (x)| < ε for all x ∈ E ∼ A.
Proof. Put C = {x ∈ E : {fn (x)} converges to f (x)} and note that m(E ∼ C) = 0
(whence it follows that C is measurable). Fix ε > 0 and define
EN := {x ∈ E : |f (x) − fn (x)| ≥ ε for some n ≥ N }.
T
Then E1 ⊃ E2 ⊃ · · · and N EN ⊂ E ∼ C. By previous results (since m(E1 ) < ∞), it
follows that limN m(EN ) = 0. The desired conclusion now follows easily.
10 REAL ANALYSIS
Corollary (Egoroff ’s Theorem). Let E be a measurable set with finite measure and
suppose that {fn } is a sequence of measurable functions that converge to a real-valued
function f a.e. on E. Then for every δ > 0 there exists a measurable set A ⊂ E, with
m(A) < δ, such that fn converges to f uniformly on E ∼ A.
Proof is a homework problem.
Whereas step functions serve as the ’building blocks’ of Riemann’s theory of integration,
in Lebesgue’s theory, this role is played by simple functions. We thus
Pn accept the notion that
if φ is a simple function having canonical representation φ = i=1 αi χA ({αi } distinct
i
and {Ai } pairwise disjoint), and if φ vanishes outside a set of finite measure (ie m(Ai ) = ∞
implies ai = 0), then
Z X n
φ= αi m(Ai ).
i=1
Note that it’s possible that for some i we have αi = 0 and m(Ai ) = ∞; but this
R is precisely
where the convention 0 · ∞ = 0R comes into action. We also use the notation E φ, when E
is a measurable set, to denote φχE , where we note that φχE is again a simple function.
Of course simple functions have representations other than canonical and it is a fact that
if our simple function φ above can be written as
m
X
φ= ai χE ,
i
i=1
Proof. Assume f is measurable and |f (x)| ≤ M for all x ∈ E, where m(E) < ∞. Let
ε > 0. Then there exists N ∈ N such that M
N
m(E) < ε. We define measurable sets
(n − 1)M nM
En = {x : < f (x) ≤ }, for n = −N, −N + 1, . . . , N,
N N
and note that {En } is a finite collection of measurable, pairwise disjoint sets whose union
PN
equals E. It follows that n=−N m(En ) = m(E). Using these sets, we define simple
functions
XN XN
(n − 1)M nM
ψ(x) = χE and φ(x) = χ ,
N n N En
n=−N n=−N
Z Z N
X N
X
nM (n − 1)M M M
φ− ψ= − m(En ) = m(En ) = m(E) < ε.
E E N N N N
n=−N n=−N
R R
Therefore, L E
f =L f.
E
Definition. If f is a bounded measurable function defined on a measurable set E of finite
measure, we define the (Lebesgue) integral of f over E by
Z Z Z
f (x) dx = L f =L f.
E E E
Proposition.
R R Let f be a bounded function defined on a measurable set E of finite measure.
If L E f = L f , then f is measurable.
E
R R
Proof. Assume that L E f = L f . Then for each n ∈ N, there exist simple functions
E R R
φn and ψn , with ψn ≤ f ≤ φn , such that E φn − E ψn < n1 . Define φ∗ = inf n φn
and ψ ∗ = supn ψn (which are measurable functions). It follows from the above that
ψ ∗ ≤ f ≤ φ∗ on E. In order to show that f is measurable, it suffices to show that f = φ∗
a.e. This will be accomplished by showing that the set ∆ = {x : φ∗ (x) > ψ ∗ (x)} has
measure 0. We can write ∆ as
∞
[ 1
∆= {x : φ∗ (x) − ψ ∗ (x) > }.
k
k=1
1
∗ ∗
But {x : φ (x) − ψ (x) > ⊂ {x : φn (x) − ψn (x) > k1 } for all n and it’s easy to see that
k}
the measure of the latter set is less than nk . Hence the measure of the former is 0. So ∆
is a countable union of sets having measure 0 and therefore ∆ has measure 0.
Properties of the Lebesgue integral. If f and g are bounded measurable functions
defined
R on a set E ofR finite measure,
R then:
(i) E (af + bg) = a E fR + b ERg.
(ii) If f = g a.e., then RE f = RE g.
(iii) If f ≤ Rthen E f ≤ E g;
R g a.e.,
Hence E f ≤ e |f |.
R
(iv) If f (x) ∈ [c, d] for all x, then cm(E) ≤ E f ≤ dm(E).R R R
(v) If A and B are disjoint measurable subsets of E, then A∪B f = A f + B f .
R R
Proof. We can express (f + g) in two R ways. First of all it’s the infimum of φ over
φ
R ≥ f .
R But this is ≤ Rthe infimumR of (φ
R 1 + φ2 ) over φ 1 ≥ f and φ 2 ≥ g,R which equals
fR+ g. Therefore,
R R (f + g) ≤ f + g. Similarly, using supremeum of ψ, we arrive
at (f + g) ≥ f + g, which R completes the proof of (i).
Claim: If f ≥ 0 a.e., then f ≥ 0. R
proof. If φ ≥ f , then φ ≥ 0 a.e. and it follows that φ ≥ 0.
(ii) and (iii) follow easily from the claim. And (iv) and (v) are quite easy.
Bounded Convergence Theorem. Let {fn } be a uniformly bounded sequence of mea-
surable functions defined onR a set ER of finite measure. If {fn } converges to a bounded
function f a.e. on E, then E fn → E f as n → ∞.
Proof. We consider first the case when {fn (x)} converges to f (x) for all x ∈ E. There
exists M < ∞ such that |fn (x)| ≤ M for all x and n. It follows that f also satisfies this
ε
bound. Let ε > 0 and put δ = 2M . By previous theorem, there exists N and A ⊂ E, with
m(A) < δ, such that
ε
|fn (x) − f (x)| < for all x ∈ E ∼ A and n ≥ N.
2m(E)
R R
It now follows that E fn − E f < ε for all n ≥ N . The case when {fn (x)} converges a.e.
to f on E then follows from the above and from the homework problem that the integral
of a bounded measurable function over a set of measure 0 is 0.
14 REAL ANALYSIS
Examples. Below are listed several sequences of functions which converge a.e. to 0.
(a) fn = χ[0,1/n]
(b) gn = nχ[0,1/n]
√
(c) hn = nχ[0,1/n]
1
(d) kn = n χ[0,n]
1
(e) qn = χ
n3/2 [0,n]
Discuss whether the limit of the integral is 0 and whether or not the Bounded Convergence
Theorem applies. As other theorems are encountered, discuss whether they apply to any
of these examples.