Professional Documents
Culture Documents
The Lebesgue Integral As A Riemann
The Lebesgue Integral As A Riemann
693
Vol. I0 No. 4 (1987) 693-706
ENRIQUE A. GONZALEZ-VELASCO
Department qf Mathematics
University of Lowell
Lowell, Massachusetts 01854 U.S.A.
IRecelved November 21, 1985 and in revised form December 30, 19861
ABSTRACT. The object of this paper is to develop a very direct theory of the Lebesgue
integral that is easily accessible to any audience familiar with the Riemann integral.
I. INTRODUCTION.
The problem of making the theory of Lebesgue integration accessible to a wide
audience, including students of mathematics, science and engineering, is not easily
solved. And yet, the Lebesgue integral is an indispensable tool in many branches of
mathematics and its applications, such as Fourier analysis and signal processing.
The inaccessibility of the theory is mainly due to the fact that the usual pre-
sentations, both those that are and those that are not based on measure theory, are
lengthy and indirect and rely on a number of new basic concepts that must be assimila-
ted first. For instance, in Royden [I] the general definition of the Lebesgue inte-
gral is preceded by definitions for simple functions, then for bounded functions over
a set of finite measure and then for nonnegative functions, and in each particular
case some amount of theory is elaborated. In Apostol [2] the general definition is
preceded by definitions for step functions and then for upper functions, and again a
certain amount of theory is developed in 4ach particular case. Furthermore, these
classic presentations represent a new start, with all knowledge of Riemann integra-
tion to be abandoned in favor of the new Lebesgue theory. To avoid this, McShane
[3] has recently developed a unified theory of Riemann and Lebesgue integration that
is, hopefully, elementary enough for presentation to a wide audience. While sharing
McShane’s concern and agreeing that he succeeds in constructing an appealing unified
theory, this author believes that, regarding simplicity and accessibility, the answer
lies elsewhere.
There is an entirely different approach to te definition of the Lebesgue in-
tegral, due to Mikusi6ski [4], which is very direct and does not need the previous
development of either measure theory or the Riemann integral. It is based, instead,
on a series representation of the function to be integrated, but, since this series
694 E.A. GONZALEZ-VELASCO
where the infimum is taken over all finite or countable collections of open rectan-
gles {Ri such that R i.
EC
It turns out that it is not always true that the outer measure of a finite union
of disjoint sets is the um of their outer measures. But this will always be true if
we restrict ourselves to sts of the following type.
DEFINITION 2. A set E nis called measurable if and only if for any set
S n m(S) m(SE} + m{S/hEC), where E c is the complement of E in Ifn.
E is measurable m{E) is called the Lebesgue measure of E.
Notice that n and the empty set are measurable with Lebesgue measures oo
LEBESGUE INTEGRAL AS A RIEMANN INTEGRAL 695
and zero respectively. It is also clear that a set is measurable if and only it its
complement is measurable and that if E and F are measurable with F C E then
m(F) < m(E).
THEOREM I.
(I) If E is a finite or countable set then m(E) O.
(2) If {Ei} is a finite or countable collection of measurable sets then their
union Ei is measurable and m{U E i) < m(E
i
If, in addition, the E
i
are
disjoint then equality holds.
(3) If {El} is a finite or countable collection of measurable sets then their
intersection
all i
(4)
then
If E
Ei
m(E
F
m(f]E i)
are measurable then E
and
m(E) and F C
is measurable.
F
E
as
n
If, in addition,
i --.
m(E
def
then
{x
I) <
m(E
E x
and
F)
F}
Ei+1 C
is
m(E)
E
i
m(F).
for
cn be a measurable set.
are measurable then
E f(x)
f:E
-f + g
B
y} is measurable.
is continuous then
is measurable.
f is
is
fN-- f
fN
on
- _ E.
f
n
For any
uniformly on
to partition its range, not its domain as in the Riemann theory. To be specific,
consider the case of a measurable set E with m(E) < and a measurable function
f:E-- whose values are between zero and M > O. If < M
0
YO < Y < Yk
is a partition of [0, M] {x
.
S.
and if we define e E f(x) > Yi} for i O,
k, then f is said to be integrable on E if and only if
k k
sup m(Si)(Yi- Yi-1 inf m(Si-1)(Yi- Yi-1 )’ (3.1)
i :I i:I
where the supremum and infimum are taken over all partitions of [0, M], and this
696 E.A. GONZALEZ-VELASCO
and
" i
k
m(Ei)Yi-1 i:I m(Si)(Yi- Yi-1 (3.2)
"
Now, if we define a function
k
i:I m(Ei)Yi
f:[O,
Z {:Ik
M]
m(Si-1 }(Y i
3 by f(y)
Yi-
m {x e E f(x) > y}
(3 3)
then
f is clearly bounded and decreasing and, thus, Riemann integrable on [0, M].
n m(E)<=o. Every bounded,
PROPOSITION I. Let E C ]R be a measurable set with
nonnegative measurable function f:E is integrable on E and
IEf: RI M
0 f (3.4)
are, respectively, the lower and upper Riemann sums of f with respect to the parti-
tion 0 < Y < M of [0, M]. The result follows because f is
YO < Yk
Riemann integrable on [0, M], Q.E.D.
If f is nonpositlve instead of nonnegative we would like its integral on E to
equal the opposite of the integral of -f, that is, we want
IEf :-RI M
0 -f R M
0
-f RI 0
M --f(-Y) dy (3.6)
This suggests that we define Mf(y) -M_f(-y) if y < O, and then the entire prece-
ding discussion motivates the following general definitions.
DEFINITION 4. Let E n be a measurable set and let f:E be a measu-
table function. The measure function of f on E is the function defined by
f
m{ x e E f{x)> y if y>O
f(Y) -m {x e E f(x)< y} if y< 0
(3.7)
and R 0 ’f (3.8)
RI o
- f or R Of: oo- (3.9)
LEBESGUE INTEGRAL AS A RIEMANN INTEGRAL 697
DEFINITION 5. Let E C n
be a measurable set, f:E-- a measurable func-
tion, and the measure function of f on E. Then the (Lebesgue} integral of f
f
on E is defined to be
E
f
if the right-hand side exists {that is if the two improper Riemann integrals over
(-4, O} and {0,} exist}
If, in addition, the right-hand side is finite then f
R
- f (3.10)
_
is said to be {Lebesgue} integrable on E nd we write f e [{E}.
EXAMPLE I. If E {x 0 < x < I} and f(x} I/-- we have f(y} 0
-2
if y < O, f{y} if 0 < y < and f(y) y if y I, and then
IE f
0
dy R iy_2 dy 2 (3 11}
o (3 12}
E f 0
dy +
1 dy
Examples and 2 show that the product of integrable functions need not be inte-
grable.
EXAMPLE 3. If E {x ]R 0 < x < I} and f(x) when x is rational and
f(x) 0 when x is irrational, then f{y) 0 for all y 0 and f O.
E
4.
EXERCISE 3. Show that if
BASIC PROPERTIES OF THE LEBESGUE INTEGRAL.
f > 0 and
E f 0 then m {x e E f(x) # O} O.
First we establish the basic properties of the measure function. We shall write
E
f instead of when we need to specify the domain E of f.
f
LEMMA I. Let E cn be a measurable set, let f,g:E be measurable
functions and let c e Then
(I} f<_ g f g.
(2) cf is measurable and cf(y} sgn(c}f(y/c} for all y O.
PROOF.
(I} If y > O, {x e E f(x) > y} xe E g(x} > y}
f(y) <_ g(y}. If
y < O, {x e E g(x} < y} {x e E f(x} < y} -g(y} -f{y} f(y} g(y}.
{2) We shall consider the case c < O, y > O, and the others are similar
sets in
Ei
LEMMA 2.
PROOF
n
If
If
if
{Ei}
E
y > O,
Ei
{yl
and if
m {x
f:E
-
is a finite or countable collection of disjoint measurable
E f(x} >
is a measurable function, then
y} m{.Tix e E
i
f{x} > y}
f
E
m {x e E.
1
f(x} > y} i. Similarly if y < 0 Q E D
698
f
E
COROLLARY I.
is a measurable function, then
PROOF.
on (0,)
THEOREM 5.
functions and let
(I) f
E
g
and
FL)(E
Let
If
c e
|E f
f
E-F
E,F
E,F
F) _ C ]R
IE
0
]R
g
n
E.A. GONZALEZ-VELASCO
f f
E F
f f+f
on
are measurable sets with
F
<_
E-F
E
on (0, } and
(-, O)
be measurable
Then, if the integrals below exist,
and if, in addition,
f
F
Then
E
f
E-F
]R
f
> 0
0
F
F
>_
then
E
f
E
on
and if
on
g
(0,)
Q.E.D.
L(E)
f:E
(-, 0).
f
be measurable
F
]R
<_
f (E).
(2)
(3)
IEcfF C cE
If
Ef and then
f [(E)
f [(E) cf (E).
then f i(F) and if, in addition, f > 0 then
def
(4) If c 0 and if fc min f, e} then
E
fc E
f as c ---oo
PROOF. () is obvious from Lemma ().
(2) Assume that c < 0 (proceed analogously if c > 0). By Lemma I(2),
I b
0 cf (y) dy I b
0 -f(y/c) dy c 0b/c f(u) du (4.2)
-
0
Similarly for the integral from to O. Adding the two proves (2).
(3) By Corollary I,
IO E
IO F
I F E
(4.4)
If the outer integrals are finite, so are the inner integrals. Thus, f e L(E)
f [(E). The last assertion follows from the last two inequalities on the right.
as c
(4)
- oo,
THEOREM 6.
Q.E.D.
Let
E
El,
-
c
EN
fc
c
f
- I"
be a finite collection of disjoint measurable sets
f E
f (4 5)
IE f cim(Ei) (4,7)
PROOF. The first assertion follows from Lemma 2 and Definition 5. Now, if c. >
E. Ei
0 then
otherwise.
f(y)
Then
m(E i) when 0.< y <
c. (here m(E.) can be ) and
f (y) 0
R ci Ei
Elf 0 f ci m(E i (4.8)
EXERCISE 4. If there are constants a,b e such that a f(x} b for all
x e E, then am(E)
EXERCISE 5. Let
rable functions If f
zero, then f
E c
f bm(E) and m(E)<
be a measurable set
Eand
f e [(E).
IE =IEEE n
Bn
let f,g:E
of
B be measu-
E of measure -
THEOREM 7. Let C be a measurable set and let f:E B be a measurable
function If
IE f exists, then
so that
(-, 0}
finite, that is
a b
and
holds when
f
0 Ifl
>_ 0 on
f e [(E}
a > 0
R 0 /f(-Y)
R 0
and
fl
b
dy :-/
(f(Y)- f(-Y))dy
0 .f(u) du
R 0
R
and when
dy
f
since
f
la
a
_
+
0
bl
(4.10)
(4.11)
on
and
b <_ O. Thus,
(4.12)
Q.E.D.
EXERCISE 6. Let R be a rectangle in Bn If f:R is Riemann integra-
ble then
5.
f e i(E) and
THE ADDITIVITY OF THE LEBESGUE INTEGRAL.
IE RIE
f f
This is one of the week points of the Lebesgue theory and it will not be
straightforward to establish this fact. We start by considering two particular cases:
those of piecewise continuous functions and nonnegative bounded functions.
PROPOSITION 2. Let E cn be a measurable set and let f,g:E B be measu-
rable functions each of which has a finite number of values. Then
IE (f + g)
IE IEg
f+ (5..I)
.
ci, N
sets F1, F of E and if g has only a finite number of values CI, C
N K
on disjoint subsets GI, G
K
of E, then f + g is the function whose values
are c + C
i j
on F
i
G
j"
Noticing that F
i
is the disjoint union jK=I Fi G j and
using Theorem 6 we have
E
(f g)
" " i j:1 (ci + Cj) m(Fif]G j)
700
Z i:IN
N
ci
E.A. GONZALEZ-VELASCO
Z j:1K m(FiGj . . K
j:1 Cj
N
i :I m(Gjf] F i
" i =I ci m(Fi)
K
j=1 Cj m(G
j
(5.2)
Q.E.D.
PROPOSITION 3. Let E c n be a measurable set and let f,g :E-- be non-
negatlve, bounded, measurable functions. Then
IE(f + g):
IE f + IEg (5.3)
PROOF. Let f have values in [0, M], M > O, and let 0 YO < Yl < < YW
M be a partition of [0, M]. Then define
F.I {x e E f(x) > yi }_ and a func-
tion
sf } by sf(x} Yi-1 if x e Fi_ Fi, i 1, k. Noticing that
YO
mlF k) 0 and using Theorem 6 we have
k
IESf Z i:i Yi-1 m(Fi-1 Fi)
iI Yi-1 (mlFi-1) mlF.))1
k
i:I (Yi Yi-1 m(Fi
k
i:I f(Yi)(Yl Yi-I
IE f (5.4)
IE (f + g)
IE f + IEg (5.7)
and the conclusion follows from the last two inequalities, Q.E.D.
THEOREM 8. Let E c n be a measurable set and let f,g [(E}. Then f + g
L(E) and
IE(f + g):
IEf IEg + (5.8)
LEBESGUE INTEGRAL AS A RIEMANN INTEGRAL 701
PROOF. Assume first that f and g are nonnegative and for M > 0 define fM
M
mln {f, M) and, similarly, g
M
and {f g}M Since fM g f + g, Proposi-
tlon 3 gives
E fM + IE gM E
(fM g M) < E
(f g) (5.9)
E fM + IE g
M
E’ f+I E g
M
E
(f + g)
M
(5.10)
IE (f + g)M fM gM fM IE E E
Hence
E
(f + g)
IEf IEg + (5.13)
IE+f E
+(f + g +
E
+ (-g):
E
+(f + g)
E
+g (5.14)
E- -:) I_
E
+gl +
E
_. 5.5)
Subtracting the last equation from the previous one and using Theorem 6 proves the
desired result in this case.
The two cases proved above imply the truth of the assertion in the general case
after decomposing E into the union of four disjoint subsets, on each of which f
and g do not change sign, Q.E.D.
6. THE CONVERGENCE THEOREMS.
In this section we study the validity of the limit f when fN
In the case of Riemann integration the uniform convergence of this sequence is a
f"
IE fN IE
sufficient condition. We start by proving a similar result for the Lebesgue integral.
PROPOSITION 4. Let S n
be a measurable set with m(S) < o and let {fN}
be a sequence of measurable functions such that [(S) and f e [(S)
fN fN
uniformly on S. Then
ISfN-- IS f (6.1)
For
f-
y >
fN0 andf+e’N > K,
f{y + ) m {x S f(x) > y + }
m {x e S f(x) > y}
and then
For y >
0 f
and
em(S) <_ i
N > K,
oo f oo0 gf (y + e) dy
_ i
(6.2)
(6.3)
fN(Y f+(Y)
m{x e S f(x) + e >y}
m {x e S f(x) > y e}
} (6.4)
f{y
and then
0
fN <- m(S)
: fN
e m(S) + (6.5)
0 f
Thus, given e > 0 there is a K Z+ such that
-m(S)
I,fN
0 0 Pf m(S) (6.6)
gf (6.7)
0 0
as N =o. Similarly,
RI O
pfN I 0 (6.8)
as
Q.E.D.
N . The last two limits and Definition 5 establish the desired convergence,
The following theorem is usually cited as one of the triumphs of the Lebesgue
theory because it replaces the uniform convergence of {fN by the less restrictive
condition that the
fN be unifdmly bounded. It also allows the domain of these
functions to have arbitrary Lebesgue measure.
THEOREM 9. (The Lebesgue dominated convergence theorem) Let E Cn be a
measurable set and let {fN } be a sequence of integrable functions on E that con-
verges to an integrable function f on E. If there is a function g [(E) such
LEBESGUE INTEGRAL AS A RIEMANN INTEGRAL 703
that
fNl <_ g for all N e .+ then
IEfN 1E f (6.9}
as N --oo,
and f measurable rather than
This theorem is sometimes stated with the fN
integrable, but, in fact, these functions must be integrable. For the fN this is so
because g 6 [(E) -g (E) and -g
IN g -g fN g" For f because
-g < g -g < f < g"
fN f and
fN <
The mechanism through which the uniform boundedness by the integrable function g
operates in this theorem can be better understood by means of the next two lemmas,
whose proof is temporarily postponed.
LEMMA 3. Let E n be a measurable set and let g e [(E). For any e > 0
there is a subset F of E with m(F) < oo such that
n g e (F) G
LEMMA 4. Let F c ]R be a measurable set, let and let be a
subset of F. For any > 0 there is a > 0 such that if m(G) < then
Ifl + 2 IE_F g
By Proposition 4, N can be chosen so large that the first term on the right is
smaller than , and, since e is arbitrary, the result follows, Q.E.D.
PROOF OF LEMMA 3. In view of Theorem 7 we need only consider the case g > O.
By Definition 5, given > 0 there is an a > 0 such that
la gE <
0
(6.13)
704 E.A. GONZALEZ-VELASCO
gE-F(y) 0 if y a. Then
a
E_Fg R 0 gE-F <_ R 0 gE <e (6.14)
Q.E.D.
_
PROOF OF LEMMA 4. In view of Theorem 7 we need only consider the case g O.
Given e > 0 there is an a > 0 such that
(6.15)
If
m(G7 <
G C F
, we have
we obtain
gG m(G7 and gG Mg-F Then, if we choose e/2a and if
IG g
RI aO ggG RIGa g
am(G} R[ F
a g
Q.E.D.
In some applications the sequence {fN } may not be uniformly bounded by an inte-
grable function. Such a case frequently occurs when the are the partial sums of
fN
a series of positive functions. In this type of situation Theorem 11 below is useful,
but in order to prove it we need some preparation. First we observe that the Lebesgue
integral of a nonnegative function can be characterized in terms of those of bounded
integrable functions.
LEMMA 5. Let E Cn be a measurable set and let f:E-- be a nonnegative
measurable function. Then
IE f suPlEg (6.177
where the supremum is taken over all bounded functions g e L(E7 such that 0 g f.
PROOF. If f e {E), given e > 0 there is a b > 0 such that
b
0 <_ IEf RIO f < e (6.18)
IE RIO g RI
g
b b
O f (6.19)
0
IE f IEg < (6.207
If f [(E) define E {x E f(x) > a} for each a > 0 and consider two
cases.
LEBESGUE INTEGRAL AS A RIEMANN INTEGRAL 705
__
{I} m(E < for all a > O. For any M > 0 there are a,b e such that
_
oo
a
0 < a < b and
b
la f > M (6.21}
b
m(E > a m(Ea + M (6.22)
0 a a f
(2) m(E o for some a > O. Given M > 0 let R be a rectangle so large
a
that m(RE
a
> M/a. If we define g(x) a if x e RE a and g(xl 0 otherwise,
then g is bounded, 0 g f and
IE IRfE
g
a
a am(Rf]E
a
> M (6.23}
Q.E.D.
THEOREM 10. (Fatou’s lena} Let E :21R n be a measurable set, let {fN) be a
sequence of nonnegative measurable functions on E Then for any
_
and let
/
fN f"
> 0 there is an M e 2Z such that
f
IE fN + e (6.241
for N > M.
PROOF. For any > O, Lemma 5 implies that there is a bounded function g
[(E}, such that 0 g f and
f-
IE g<-e 2
(6.25}
/
If we define gN min {g, fN} for each N 2Z then g is measurable because
{x e E :gNIx} > y} {x e E :g{xl > y}h{x e E :fN(x} > y} for each y > O, and
gN fN implies that
Also, since
rem implies that
gN
- g on E and IgNl
IEg
g, the Lebesgue dominated convergence theo-
(6.27}
Eg E fN 2
{6.28}
{6.29}
e (6 30)
f< Eg+ f +
E E N
{6.31)
E fN E
f
as N oo.
M < N N
PROOF
fM fN for fN <- f for all
(6.32)
(6.33)
f <
E fN
for N large enough. These two inequalities imply that
IE f (6.34)
as N oo, Q.E.D.
REFERENCES
I. ROYDEN, H.L. Real Analysis, 2nd. ed., Macmillan, New York, 1968
2. APOSTOL, T.M. Mathematical Analysis, 2nd. ed., Addison-Wesley, Reading, Mass.,
1974.
3. MCSHANE, E.J. ified Integration, Academic Press, Orlando, Fla., 1983.
4. MIKUSINSKI, J. The Bochner Integral, Birkhuser Verlag, Boston, 1978.
5. REY PASTOR, J. Elementos de la Teorla de Funciones, 3rd. ed., Ibero-Americana,
Madrid, 1953.
6. KESTELMAN, H. Modern Theories of .Integration, Oxford University Press, Oxford,
1937.