Professional Documents
Culture Documents
18.125-Daniel W. Stroock A Concise Introduction To The Theory of Integration, Second Edition 1994 PDF
18.125-Daniel W. Stroock A Concise Introduction To The Theory of Integration, Second Edition 1994 PDF
Daniel W. Stroock
A Concise Introduction
to the Theory of Integration
second edition
Birkhauser
Boston • Basel •Berlin
1994
Daniel W. Stroock
Department of Mathematics
Massachusetts Institute of Technology
Cambridge, MA 02139
Stroock, Daniel M.
A concise introduction to the theory of integration I Daniel W.
Stroock. -- 2nd ed.
p. em.
Includes index.
ISBN 0-8176-3759-1 (acid-free paper)
1. Integrals, Generalized. 2. Measure Theory. I. Title.
QA312.S78 1994 94-6246
512'. 4--dc20 CIP
Center (CCC), provided that the base fee of $6.00 per copy, plus $0.20 per page is paid directly
Birkhauser Boston for libraries and other users registered with the Copyright Clearance
222 01923,
addressed directly to Birkhauser Boston, 675 Massachusetts Avenue, Cambridge, MA 02139,
to CCC, Rosewood Drive, Danvers, MA U.S.A. Special requests should be
U.S.A.
0-8176-3759-1
ISBN 3-7643-3759-1
ISBN
9 8 7 6 5 4 3 2 1
Contents
Preface . . . . . . . . . . . . . . Vll
v
Vl Contents
Index . 162
Solution to Selected Problems . 166
Preface to the First Edition
This little book is the outgrowth of a one semester course which I have
taught for each of the past four years at M.l . T. Although this class used to
be one of the standard courses taken by essentially every first year gradu
ate student of mathematics, in recent years (at least in those when I was
the instructor), the clientele has shifted from first year graduate students
of mathematics to more advanced graduate students in other disciplines.
In fact, the majority of my students have been from departments of engi
neering (especially electrical engineering) and most of the rest have been
economists. Whether this state of affairs is a reflection on my teaching,
the increased importance of mathematical analysis in other disciplines,
the superior undergraduate preparation of students coming to M.I.T in
mathematics, or simply the lack of enthusiasm that these students have
for analysis, I have preferred not to examine too closely. On the other
hand, the situation did force me to do a certain amount of thinking about
what constitutes an appropriate course for a group of non-mathematicians
who are courageous (foolish?) enough to sign up for an introduction to in
tegration theory offered by the department of mathematics. In particular,
I had to figure out what to do about that vast body of material which, in
standard mathematics offerings, is "assumed to have been covered in your
advanced calculus course" . Aspiring young mathematicians seldom chal
lenge even the most ridiculous declarations of this sort: the good ones look
it up, and the others trust that "it will not appear on the exam" . On the
other hand, students who are not heading into mathematics are less easily
shamed into accepting such claims; in fact, as I soon discovered, many of
them were attending my course for the express purpose of learning what
mathematicians call "advanced calculus" .
In view of the preceding comments about the origins of this text, it
should come as no surprise that the contents of this book are somewhat
different from that of many modern introductions to measure theory. In
deed, I believe that nothing has been done here "in complete generality" !
On the other hand, greater space than usual has been given to the prop
erties of Lebesgue ' s measure on �N . In particular, the whole of Chapter
IV [now, Chapter V ] is devoted to applications of Lebesgue ' s measure to
topics which are customarily "assumed to have been covered in your ad
vanced calculus course" . As a consequence, what has emerged is a kind
of hybrid in which both modern integration theory and advanced calculus
are represented. Because none of the many existing books on integration
theory contained precisely the mix for which I was looking, I decided to
add my own version of the subject to the long list of books for the next
guy to reject.
Cambridge, MA, January 1, 1990
Vll
Vlll Preface
Preface to the Second Edition
It is four years since the first edition of this book appeared, and, in that
time, there has been little, if any, change in either the basic material cov
ered or my attitude toward that material. On the other hand, experience
has taught me that my presentation of several points could be considerably
refined and that the inclusion of some additional topics would be desirable.
Thus, although they may not be immediately apparent, changes have been
made throughout. Among those which are obvious are the addition of two
new sections : Section 4.2, in which I prove the isodiametric inequality and
discuss Lebesgue ' s measure from the Hausdorff measure point of view, and
Section 3.4, in which I have given a proof ( based on the Hardy-Littlewood
maximal inequality ) of Lebesgue ' s Differentiation Theorem for �. These
additions made it desirable to reorganize the table of contents, with the
result that now product measures appear in Chapter IV and succeeding
chapters have been renumbered accordingly. Besides these new sections,
the exposition, particularly in what are now Chapters V and VII, has
been, I hope, improved. In addition, even where substantive alterations
are slight, I have made a great effort to remove some of the more egregious
errors with which the first edition was riddled. ( In particular, I believe
that I have, at last, mastered the spelling of Lebesgue ' s name. ) Finally, at
the behest of my students, I have attempted to solve some of the exercises,
and the fruits of my labor appear at the end of the book.
If I have successfully eliminated many of the errors in the first edition,
most of the credit should go to R.B. Burckel, who was kind enough to send
me a ( five page ) list of those which he found. In addition, I am indebted
to Ann Kostant at Birkhauser for her efforts, without which this second
edition would probably not have appeared.
Daniel W. Stroock, Cambridge, MA, December 1993
Chapter I
The C lassical Theory
1 .1 Riemann Integration.
We begin by recalling a few basic facts about the integration theory which
is usually introduced in advanced calculus. We do so not only for purposes
of later comparison with the modern theory but also because it is the theory
with which most computations are actually performed.
Let N E z+ (throughout z+ will denote the positive integers). A rectangle
in JRN is a subset I of JRN which can be written as the Cartesian product
flf[a k , b k ] of closed intervals [ak , b k ], where it is assumed that ak < b k for
each 1 < k < N. If I is such a rectangle, we call
N
and vol (I) IJ ( b k - ak)
k =l
the diameter and the volume of I, respectively. For purposes of this expo
sition, it will be convenient to also take the empty set to be a rectangle with
diameter and volume 0.
Given a collection C, we will say that C is non-overlapping if distinct
elements of C have disjoint interiors. The following obvious fact is surprisingly
difficult to prove.
1.1.1 Lemma. If C is a non-overlapping, finite collection of rectangles each
of which is contained in the rectangle J, then vol ( J ) > L:J E C vol (I) . On the
other hand, if C is any finite collection of rectangles and J is a rectangle which
is covered by C (i.e., J C U CJ, then vol ( J ) < L:J E C vol (I) .
PROOF: Without loss in generality, we will assume throughout that each of
the rectangles I E C has non-empty interior and is contained in the rectangle
J. Indeed, it'( is obvious� that: I ' s with empty interior do not contribute to the
sum, I C J has already been assumed in the first part of the lemma, and, in
'
'the second part, if I C]_ J, then one can replace I by I n J if I n J has interior
and eliminate I from C when I n J has no interior.
We begin by numbering the elements of C so that C == {I1 , . . . , In } , and
start with the case when N == 1. Thus, J == [a , b] and each IJL == [aJL , bJL ] for
some a < b and aJL < bJL . Next, choose c 1 < < c2n so that { c 1 , . . . , c2 n } ==
· · ·
2 I The Classical Theory
{ a 1 , . . . , an } U { b 1 , . . . , bn }. For each 1 < v < 2n - 1 and 1 < Jl < n - 1 , set
M ( v ) == {Jl : a JL < Cv < b JL} and N( Jl ) == {v : a JL < Cv < b JL} .
When C is non-overlapping and U C C J, one has that a < c1 < c2 n < b and
that card ( M ( v )) < 1 for each v. Hence, in this case:
n n n
L vol (IJL) == L( b JL - a JL) == L L ( cv+l - cv)
JL= l JL= l JL= l vEN( JL)
2n - 1
== L ( cv+l - cv )card ( M ( v ))
v= l
2n - 1
< L ( Cv+ 1 - Cv) < b - a == vol ( J) .
v=l
On the other hand, if has J == u� IJL' then cl == a, C2 n == b, and card (M ( )) > 1 ZJ
[a JL, b JL] x iJL, where J and the iJL ' s are rectangles in �N - l having non-empty
interiors. Next, choose { c1 , . . . , c2 n } and define M ( v ) and N(JL) accordingly,
as in the case when N == 1 . When we assume only that J == U� IJL, we have
c1 == a, c2 n == b, and J == U for each v withcv < c2 n .
JLEM( v)
Hence, by the induction hypothesis, in this case:
n n
JL= l
n
== L vol ( iJL) L ( cv+l - cv)
JL=l vEN( JL)
2 n -1
L ( cv+l - Cv) L vol ( iJL)
v= l JLEM( v)
2n - 1
> vol ( J) L ( cv+l - cv) == ( b - a ) vol ( J) == vol (J) .
v= l
1.1 Riemann Integration 3
To handle the non-overlapping case when U� IJL c J, first assume that the
IJL ' s themselves are mutually disjoint. Then, a < c 1 < · · · < c2n < b, the IJL ' s
A
are mutually disjoint, and U JLEM (v) C J if C11 < c2n· Hence, by the induction
hypothesis,
L vol (i JL ) < vol ( J)
!.tEM (v)
for each C11 < c2n; and so
n n
JL= 1 JL= 1
n
== L vol (f JL ) L ( Cv+ 1 - C11 )
JL= 1 vEN( JL )
2n-1
L ( Cv+ 1 - C11) L vol ( f JL )
v= 1 JLEM (v )
2n-1
< vol (J) L ( cv+ 1 - C11) < ( b - a)vol (J) == vol (J).
v= 1
Finally, note that when the IJL ' s are non-overlapping but not necessarily dis
joint, they can be made disjoint by an arbitrarily small diminution of their
sides. Hence, we can first make the necessary diminution and then pass to a
limit, thereby handling the case of general non-overlapping IJL ' s contained in
J. D
Given a collection C of rectangles I, we use S (C) to denote the set of all
maps � : C � U C such that � (I) E I for each I E C. Given a finite collection
C, an element � E S (C), and a bounded function f : U C � � ' we define the
Riemann sum of f over C relative to � to be
After summing the above over I1 E C 1 , one arrives at the required result.
Given the preceding, the rest is immediate. Namely, for any C 1 and C2 ,
Lemma 1. 1.5 really depends only on properties of our order relation and
not on the properties of vol(I) . In contrast, the next lemma depends on the
continuity of volume with respect to side-lengths of rectangles.
1.1.7 Lemma. Let C be a non-overlapping, finite, exact cover of the rectangle
J and f : J � � a bounded function. Then, for each E > 0, there is a 8 > 0
such that
U (f; C' ) <U (f; C ) + E C(f; C' ) > C(f ; C ) - E
and
whenever C ' is a non-overlapping finite exact cover of J with the property that
II C ' I I <8.
PROOF: In view of ( 1 . 1 .6) , we need only consider the Riemann upper sums.
Let J == flf[ck , dk] · Given a 8 > 0 and a rectangle I == flf[ak , bk] , define
IJ:(8 ) and I: ( 8 ) to be the rectangles
[cl, d 1 ] X · · · X [ak - 8, ak + 8] X · · · X [eN , dN ]
and
[cl, d1 ] X · · · X [bk - 8, bk + 8]
[eN , dN ] , X · · · X
respectively. Then, for any rectangle I' C J with diam(I') <8, either I' C I
for some I E C or
I ' c I: ( 8 ) u IJ:( 8 )
for some I E C and 1 <k <N. Now let C ' with IIC ' II <8 be given ; define
A == {I' E C' : I' c I for some I E C}
6 I The Classical Theory
and set B == C \ A. Then, by Lemma 1 . 1 . 1 ,
N
from which it is clear that there is a K < oo, depending only on C, such that
L vol (I' ) < K 8.
l'EB
Hence,
U (f; C ' ) - U (f; C) < U (f; C ' ) - U (f; C V C ' )
< L
l'EB
[( sup f(x) ) vol (I' ) - L ( sup f(x)) vol (In I' )]
xE l' I E C xE lnl'
< ll f ll u L vol (I' ) < K l l f l l u 8.
l'EB
lim
C
.C(J; C ) == sup .C(J; C) and lim
C
U (f; C) == inf U (f; C),
c
II II �O c II II �O
Exercises
min{/, g }, and, for any a, {3 E JR, af + {3g are all Riemann integrable on J. In
addition, check that
( (
(R) l (! V g)(x)dx > (R) l f(x)dx) V (R) l g(x)dx),
(R) l u 1\g)(x)dx < ( (R) l f(x)dx) ( (R) l g(x)dx), 1\
and
whenever II C II < 8. (We use sup 1 f and inf1 f to denote supx EJ f(x) and
infx E J f(x), respectively.) As a consequence, show that a bounded f on J is
Riemann integrable if it is continuous on J at all but a finite number of points.
(See Section 4. 1 for more information on this subject.)
1 . 1 . 12 Show that the condition in Exercise 1 . 1 . 10 can be replaced
Exercise
by the condition that for each E > 0 there exists some C for which ( 1 . 1 . 1 1)
holds.
1 .2 Riemann-Stieltjes Integration.
In Section 1 . 1 , we developed the classical integration theory with respect to the
standard notion of Euclidean volume. In the present section, we will extend the
classical theory, at least for integrals in one dimension, to cover more general
notions of volume.
Let J == [a, b] be an interval in � and cp and '¢ a pair of real-valued functions
on J. Given a non-overlapping, finite, exact cover C of J by closed intervals I
and a � E B(C ) , define the Riemann sum of cp over C with respect to 1/J
relative to � to be
on [a, b] , and
n
( 1 .2 .4) (R) 1
[a,b]
cp (x) d'lj;(x) = L cp (am )dm ,
m=O
where do == V;(a+) - V;(a) , dm == V;(am +) - V;(am - ) for 1 < m < n- 1 , and
dn == V;(b) - V;(b - ). (We have used f(x + ) and f(x - ) to denote the right and
left limits of f at x.)
(iii) If both (R) JJ 'PI (x) dV;(x) and (R) JJ 'P 2 (x) dV;(x) exist (i.e., cp 1 and cp 2
are both V;-Riemann integrable on J ) , then for all real numbers a and /3,
(acp 1 + (3cp 2 ) is V;-Riemann integrable on J and
(1 .2.5 )
1
(R) ( a cp 1 + f3cp2 )(x) d'lj;(x)
=a ( (R) 1 ip 1 (x) d'lj;(x) ) + (3 ( (R) 1 cp2 (x) d'lj;(x) ) .
1. 2 Riemann-Stieltjes Integration 9
If J == J1 U J2 where J1 n J2 == 0 and if cp is 'l/J -Riemann integrable on J,
0 0
(iv)
then c.p is 'l/J-Riemann integrable on both J1 and J2, and
(1 .2.6) (R) f cp(x) d'l/J (x) = (R) f cp (x) d'l/J (x) + (R) f cp(x ) d'l/J (x).
JJ } Jl JJ2
All the assertions made in Examples 1 .2.2 are reasonably straightforward
consequences of the definition of Riemann integrability. Not so obvious, but
terribly important, is the following theorem which shows that the notion of
Riemann integrability is symmetric in cp and 'l/J.
1.2. 7 Theorem (Integration by Parts) . If c.p is 'ljl-Riemann integrable on
J == [a , b], then 'ljJ is c.p-Riemann integrable on J and
(1 .2.8) (R) i '1/J (x) dcp(x) = '1/J (b) cp (b) - '1/J (a)cp(a) - (R) i cp(x) d'l/J (x) .
PROOF: Let C == {[am - 1 , a m ] : 1 < m <n} , where a == ao <···<a n == b;
and let � E 3 (C) with �( [a m - 1 , am ] ) == f3m E [am - 1 , am ] · Set f3o == a and
f3n+ 1 == b. Then
n
R( 'l/J lc.p ; C, �) == L 'l/J ( f3m) (c.p( am) - c.p ( am - 1 ))
m= 1
n n- 1
== L 'l/J ( f3m) c.p( am) - L 'l/J ( f3m + 1 )c.p ( am)
m= 1 m =O
n -1
== 'l/J ( f3n ) c.p ( an ) - L c.p ( am) ( 'l/J ( f3m + 1 ) - 'l/l( f3m)) - 'l/J ( /31 )c.p ( ao)
m= 1
n
== 'l/l (b )c.p (b) - 'l/l ( a )c.p( a) - L c.p( am) ( 'l/J ( f3m + 1 ) - 'l/l( f3m))
m =O
== 'lfJ (b)c.p (b) - 'lfJ (a)c.p(a) - R(c.p l 'l/J ; C' , �' ) ,
where C' == { [f3m - 1 , f3m ] : 1 < m < n + 1 } and�' E B(C') is defined by
�'( [/3m, f3m + 1 ] ) == am for 0 <m <n. Noting that II C' II <2 II C II , one now sees
if c.p is 'l/J-Riemann integrable, then 'ljJ is c.p-Riemann integrable and that ( 1 .2.8)
holds. D
It is hardly necessary to point out, but notice that when 'ljJ 1 and c.p
is continuously differentiable, (1 .2.8) becomes the Fundamental Theorem of
Calculus.
Although the preceding theorem indicates that it is natural to consider cp and
as
'ljJ playing symmetric roles in the theory of Riemann-Stieltjes integration, it
turns out that, in practice, one wants to impose a condition on 'ljJ which will
10 I The Classical Theory
guarantee that every cp E C ( J ) is Riemann integrable with respect to 1/J and
that, in addition,
( 1 .2.9 )
oo
for some K'l/J < and all cp which are ¢-Riemann integrable on J. Example
( i) in Examples 1 .2.2 tells us that one condition on 1/J which guarantees the
1/J-Riemann integrability of every continuous cp is that 1/J E C1 ( J ) . Moreover,
from ( 1.2.3 ) , it is an easy matter to check that in this case ( 1.2.9 ) holds with
K'l/J == 1 1 1/J' II u (b - a) . On the other hand, example (ii) makes it clear that 1/J
need not be even continuous, much less differentiable, in order that Riemann
integration with respect to 1/J have the above properties. The following result
emphasizes this same point.
1 .2. 10 Theorem. Let 1/J be non-decreasing on J. Then every cp E C( J ) is
¢-Riemann integrable on J. In addition, if cp is non-negative and ¢-Riemann
integrable on J, then (R) JJ cp (x) d'lj;(x) > 0. In particular, ( 1 .2.9 ) holds with
K1/J == fl. J 1/J .
PROOF: The fact that (R) JJ cp(x) d'lj;(x) > 0 if cp is a non-negative function
which is ¢-Riemann integrable on J follows immediately from the fact the
R ( cp l 'l/J; C, � ) > 0 for any C and � E B(C). Applying this to the function
II VJ II u - cp and using the linearity property in (iii) of Example 1 .2.2, we conclude
that ( 1 .2.9 ) holds with KV; == fl.J¢. Thus, all that we have to do is check that
every cp E C( J ) is ¢-Riemann integrable on J.
Let cp E C ( J ) be given and define
U ( cp i'I/J ; C) = L )sup cp) �1'1/J and .C( cp i'I/J ; C) = L( i �f cp) �1'1/J
JE C I IEC
for any � E B(C). In addition ( cf. Lemma 1 . 1.5 ) , for any pair C1 and C2 one
has that .C ( VJI ¢; cl) < u ( VJ I ¢; c2) . Finally, for any c '
where
w (8) sup { lcp ( y ) - cp(x) l : x , y E J and I Y - x l < 8}
is the modulus of continuity of cp . Hence
lim (u ( VJI ¢; C) - .C( VJI ¢; C) ) == o.
C
II II �O
1. 2 Riemann-Stieltjes Integration 11
But this means that for every t > 0 there is a 8 > 0 such that
U(cp l'l/J; C ) - U(cp l 'l/J; C' ) < U( cp l'l/J; C ) - .C ( cp l'l/J; C ) < t
no matter what C ' is chosen as long as IICII < 8. From these it is clear that
both
lim U( cp l'l/J ; C ) and lim £( cp l'l/J ; C )
II C II�O II C II �O
exist and are equal. D
One obvious way to extend the preceding result is to note that if cp is Rie
mann integrable on J with respect to both 'l/; 1 and 'l/;2 , then it is Riemann
integrable on J with respect to 'ljJ 'l/J2 - 'l/; 1 and
_
(R) 1 cp(x) d'lj;(x) = (R) 1 cp (x) d'lj; 2 (x) - (R) 1 cp1 (x) d'lj; 1 (x) .
(This can be seen directly or as a consequence of Theorem 1.2. 7 combined
with (iii) in Examples 1 .2.2.) In particular, we have the following corollary to
Theorem 1 .2. 10.
1.2. 1 1 Corollary. If 'ljJ == 'l/J 2 - 'l/; 1 where 'l/J 1 and 'l/J 2 are non-decreasing func
tions on J, then every cp E C( J) is Riemann integrable with respect to 'ljJ and
( 1 .2.9) holds with KV; == b,.J'lfJI + b,.J'lfJ 2 ·
We are now going to embark on a program which will show that, at least
0
among 'lj; 's that are right continuous on J and have left limits at each point
in J \ { J- }, the 'ljJ ' s in Corollary 1.2. 1 1 are the only ones with the properties
that every cp E C( J) is 'lj;-Riemann integrable on J and ( 1 .2.9) holds for some
oo.
KV; < The first step is to provide an alternative description of those 'ljJ ' s
which can be expressed as the difference of two non-decreasing functions. To
this end, let 'ljJ be a real-valued function on J and define
S( 'lj; ; C ) == L ID,. I'l/J I
lE C
for any non-overlapping, finite, exact cover C of J. Clearly
S( a'lj; ; C ) == l a iS( 'lj; ; C ) for all a E � '
S ('l/J 1 + 'l/J2; C ) < S ('l/J 1; C ) + S ( 'l/J2 ; C ) for all 'l/J 1 and 'l/J2 ,
and
if 'ljJ is monotone on J. Moreover, if C is given and C ' is obtained from C by
replacing one of the I 's in C by a pair { / 1 , I2 } , where I == I1 U I2 and I1 ni2 == 0,
0 0
where the C ' s run over all non-overlapping, finite, exact covers of J. Also, we
say that 'ljJ has bounded variation on J if Var( 'lj;; J) < It should be clear oo.
that if 'ljJ == 'lj;2 - 'l/J 1 for non-decreasing 'l/J 1 and 'l/J2 on J, then 'ljJ has bounded
variation on J and Var ( 'lj;; J) < tl.J 'l/Jl + tl.J 'l/J2 . What is less obvious is that
every 'ljJ having bounded variation on J can be expressed as the difference of
two non-decreasing functions. In order to prove this, we introduce
S+ ('lj;; C ) = L (�I'I/J)+
lE C
and
s_ ( '1/J; C ) == L (tl.1 '1/J) - ,
lE C
where a + - a V 0 and a - - ( a 1\ 0) for a E �. Also, we call
Var + ( 'lj;; J) sup S+ ('lj; ; C ) and Var _ ( 'lj;; J) sup S_ ( 'lj;; C )
c c
the positive variation and the negative variation of 'ljJ on J. Noting that
2 S± ( '1/J; C ) == S( 'lj;; C ) ± tl.J 'l/J
(1 .2. 13) s+ ( '1/J; c ) - s_ ( '1/J ; c) == tl.J'l/J
S+ ( '1/J; C ) + S_ ( 'lj;; C ) == S ( 'lj;; C )
for any C, we see that
C <- C' '
and that
Var + ('lj;; J) < oo {:=::::> Var('lj;; J) < oo {:=::::> Var _ ( 'lj;; J) < oo.
and
(1.2 . 16)
1. 2 Riemann -Stieltjes Integration 13
Hence,
Var (1/; ; J) <Var� (1/; ; J) ± �J1/J;
±
and so (1.2. 16) has been proved. Moreover, (1 . 2. 16) combined with the middle
relation in ( 1 . 2. 13) leads to
for any C. In particular, there is a sequence {Cn }1 such that S+ (1j; ; Cn) �
Var + (1/;; J ) as n � oo and, at the same time, S_ (1f; ; Cn) � Var_ (7j; ; J) .
Hence, by the last relation in ( 1 .2. 13) , we see that
---+ CX) S(1/; ; Cn) <Var(1/; ; J) .
Var + (1/; ; J) + Var _ (1/; ; J) <nlim
At the same time, by that same relation in (1 .2. 13) ,
for every C. When combined with the preceding, this completes the proof of
(1.2.15) . D
1.2.17 Lemma. If 1/J has bounded variation on [a, b] and a <c<b, then
Var (1/; ; [a, b] ) == Var (1/; ; [a, c] ) + Var (1/; ; [c, b] ) ,
± ± ±
and therefore also Var (1/; ; [a, b] )Var ( 1/;; [a, c] ) + Var(1/; ; [c, b] ) .
==
PROOF: Because of (1.2. 15) and ( 1 .2. 16) , we see that it suffices to check the
equality only for "Var" itself. But if C1 and C2 are non-overlapping, finite,
exact covers of [a, c] and [c, b] , then c == cl u c2 is a non-overlapping, finite,
exact cover of [a, b] ; and so
S(1/; ; C1 ) + S(1/; ; C2 ) == S (1/; ; C ) <Var(1/; ; [a, b] ) .
Hence Var(1/; ; [a, c] ) + Var(1/; ; [c, b] ) < Var(1/; ; [a, b] ) . On the other hand, if C
is a non-overlapping, finite, exact cover of [a, b] , then it is easy to construct
non-overlapping, finite, exact covers C1 and C2 of [a, c] and [c, b] such that
C <C1 u C2 . Hence,
S(1/; ; C) <S (1/; ; C 1 u C2 ) == S(1/;; C1 ) + S(1/; ; C2 ) <Var(1/;; [a, c] ) + Var(1/;; [c, b] ) .
Since this is true for every C, the asserted equality is now proved. D
14 I The Classical Theory
We have now proved the following decomposition theorem for functions hav
ing bounded variation.
1 . 2 . 18 Theorem. Let 1/J : J � � be given. Then 1/J has bounded variation
on J if and only if there exist non-decreasing functions 1/J 1 and 1/J2 on J such
that 1/J == 7j;2 - 7j; 1 . In fact, if 1/J has bounded variation on J == [a, b] and we
define 1/J ± (x) == Var ± (1/J; [a, x]) for x E J, then 1/J+ and 1/J - are non-decreasing
and 1/J ( x) == 1/J ( a ) + 1/J + ( x) - 1/J ( x) , x E J. Finally, if 1/J has bounded variation
on J, then every cp E C(J) is Riemann integrable on J with respect to 1/J and
_
{
card ( x E J : 1 '1/J (x) - (x + ) I V 1 ( x) - '1/J (x - ) I > E } ) <oo
'1/J '1/J for each E > 0.
where x == limn-H:x) Xn , and so no such sequence can exist. Thus 1/J must be
bounded. The proof that card ( {x E J : 1 1/J(x) - 1/J(x + ) l V 1 1/J(x) - 1/J(x - ) 1 >
E} ) < oo is similar. Namely, if not, then we could assume that there exists
a strictly decreasing sequence { xn} C J with limit x E J such that 1 1/J(xn) -
0
1/J(xn+) l V 1 1/J(xn) - 'l/J(xn - ) 1 > E for each n > 1. But then, for each n > 1, we
could find x� E (x , xn) and x� E (xn , X n + � ) n J so that l 'l/J(xn) - 1/J(x� ) l V
�
11/J(xn) - 1/J(x � ) l > ; and clearly this contradicts the existence in � of 1/J(x + ).
The preceding makes it obvious that 1/J can be discontinuous at only count-
- 0
ably many points. In addition it is clear that 1/J(x ± ) == 1/J(x ± ) for all x E J. To
prove the equality of Riemann integrals with respect to 1/J and 1/J of cp ' s which
are Riemann integrable with respect to both, note that, because 1/J coincides
- 0
is right-continuous on J,
PROOF: In view of what we already know, all that we have to do is check that
(R)
for each C and E > 0 there is a cp E C(J) such that II 'P II u == 1 and S (;j; ; C) <
JJ cp(x) d'lj;(x)+E. Moreover, because ;j; is right continuous, we may and will
assume that C == { [ck , ck +l]: 0 < k <n} where J- == co <···<Cn+l == J+
and ck is a point of continuity of 'ljJ for each 1 <k <n.
Given 0 <a <minl < k < n ck+�-ck , define 'Po: E C (J) so that
sgn (�[co ,cl] 'ljJ) for x E [eo , c1 - a] ,
'Po:(x) == sgn (�[ck,ck d'l/J ) for x E [ck +a, ck +l - a] and 1 <k <n,
+
L(R) 1.
n
= (�Po:(x)-sgn(�[q,ck+d'lj;)) d'lj;(x)
k =O [ck,Ck+I]
= t [ (R ) {
k = l J[ck -o:,ck]
(cpo:(x)- IPo: ( ck - a )) d'lj;(x)
For each 1 <k <n, either 'Po:_ cp0 ( ck - a ) on [ck - a, ck +a], in which case the
corresponding term does not contribute to the preceding sum, or 'Po:(ck ) == 0
and cp� - ('Po:(ck +a )-'Po: ( ck - a )) /2a on [ck - a, ck +a] . In the latter case,
we apply Theorem 1. 2.7 and equation ( 1 .2.3) to show that
1.2. 25 Exercise: Check all of the assertions in Examples 1.2.2. The only one
which presents a challenge is the assertion in (iv) that cp is Riemann integrable
on both J1 and J2 with respect to 1/J .
1/J
1 .2.26 Exercise: If is non-decreasing on J, show that a bounded function
cp is Riemann integrable on J with respect to if and only if for every E > 0
1/J
there is a 8 > 0 such that
(1.2.27) <E 6.11/J
{ JE C : sup 1 <p-inf! <p>E}
whenever C is a non-overlapping, finite, exact cover of J satisfying I I C II < 8.
Also, show that when, in addition, 'ljJ E C (J) , the preceding can be replaced
by the condition that, for each E > 0, ( 1.2.27) holds for some C. (Hint : for
the last part, compare the situation here to the one handled in Lemma 1.1. 7.)
1 .2.28 Exercise: If E C(J) , show that
1/J
Var ± ( '¢ ; J) == Clim o S± ( '¢ ; C) E (0, oo
II II
......
( ])
and conclude that Var( '¢ , J ) == lim 1 1c 11 S('lj;; C). Also, show that if 'lj; E C 1 (J) ,
...... 0
then
Var ± ('l/J; J) = (R) L '1/J '(x) ± dx
and therefore Var(1/; ; J) == (R) JJ 1 1/J' (x)! dx.
1 .2.29 Exercise: Let 'lj; be a function of bounded variation on the interval
d],
J == [c, and define the non-decreasing functions ¢ + and
in Theorem 1.2.19. Given any other pair of non-decreasing functions 'l/;1 and
1/J -
accordingly, as
1/;2 on J satisfying 'lj; == 'l/;2 - 'l/; 1 , show that 'l/J 2 - ¢+ and 'l/J 1
non-decreasing functions. In particular, this means that ¢+ <'l/J2 - 'l/J2 ( c) and
are both - 1/J-
'lj; <'l/;1 - 'l/;1 (c) whenever 'l/;2 and 'l/;1 are non-decreasing functions for which
'ljJ == '¢2 - ¢1. Using Lemma 1. 2.17 and the preceding, show that
_
±
'1/J ± (x+ ) - '1/J ± (x) '1/J (x+ ) - '1/J (x) x d),
=( ) , E [c,
and ±
'1/J± (x) - '1/J ± (x - ) '1/J (x) - '1/J (x - ) x
=( ) , E ( c, d] .
x
Conclude, in particular, that the jumps in � Var('lj;; [a , x]), from both the
right and left, coincide with the absolute value of the corresponding jumps in
1/J1/J 1/J x
then so are + and and therefore also Var [ c, .
_
( (1/J;x] ) ] )
'lj;. Hence, is continuous if E J � Var 1/; ; [c, is; and if 'ljJ is continuous,
·
Hint: In order to handle the last part, show that it is enough to check that
1/J+ (c + ) 1/J(1/J (c + ) 1/J ) .
== - 1/; (c) + Next, show that this comes down to checking
that f3 + ( c+) 1\ ( c+ ) == 0. Finally, define 1/; 1 and 1/;2 on [c, so that d ]
- x
'¢ 1 (c) == 0, 1/;2 (c) == 1/;(c) , and, for E (c, d], 1/J 1 (x)
== 'lj;_(x) -
f3 while 1/J 2 (x)
==
1/J 1/J 1/J
(c) + + ( ) + (3 ; and apply the first part of this exercise to see that <1/; 1 .
x _
18 I The Classical Theory
sup {(R) J[{o , 1) cp (x) d'ljJ (x) : cp E C(J) and l l cp llu = 1 } < Var(V;; J) .
Chapter I I
Lebesgue's Measure
P
the following ingredients. In the first place, one has to choose a partition of
E a typical value
r
ar r. P,
the space E into subsets E B. Secondly, given one has to select for each
r P P
of f on Thirdly, given both the partition and
the selection
rEP arE� r, Range ( f r )
one forms the sum
(2.0.1)
Finally, using a limit procedure if necessary, one removes the ambiguity (in
f r P
herent in the notion of typical ) by choosing the partitions in such a way
that the restriction of to each is increasingly close to a constant.
Obviously, even if we ignore all questions of convergence, the only way in
which we can make sense out of (2.0.1 ) is if we restrict ourselves to either
P.
finite or, at worst, countable partitions Hence, in general, the final limit
procedure will be essential. Be that as it may, when E is itself countable and
{x} xP {x} : xE
E B for every E E, there is an obvious way to avoid the limit step,
namely ones chooses == { E} and takes
(2.0.2) L f(x) JL ({x})
xEE
to be the integral. (We will ignore, for the present, all problems arising from
questions of convergence.) Clearly, this is the idea on which Riemann based his
20 II Lebesgue 's Measure
theory of integration. On the other hand, Riemann ' s is not the only obvious
way to proceed, even in the case of countable spaces E. For example, again
:
assuming that E is countable, let f E � � be given. Then Range( ! ) is
countable and, assuming that
Lebesgue would say that
r(a)
{ x E E : f( x ) == a}
E B for every E � 'a
(2.0.3)
aERange(f)
(2.0.4)
2 . 1 Existence.
Given a countable ( possibly overlapping) cover C of a subset r C � N by
rectangles I, define �(C ) == L:IEC vol ( I) E [0, oo] . We call
{
1r1e = in£ � ( C ) : r c Uc }
the outer or exterior Lebesgue measure of r. What we are going to do is
describe a family BR N for which the map
r E BR N � lrle
satisfies (2.0.4). (The notation here, in particular the bar, will be explained
in (ii) of Examples 3.1.5 and Exercise 3.1.9.) However, before starting on this
project, we first check that I I I e == vol (I) for rectangles I.
2. 1 . 1 Lemma. If r == U� Jm where the Jm 's are non-overlapping rectangles,
then 1r1e == 2:::� vol (Jm ) ·
22 II Lebesgue 's Measure
PROOF: Obviously 1r1 e < E� vol ( Jm) · To prove the opposite inequality, let
C == {It} ! be a cover of J . Given an E > 0, choose I£ for each f E z+ so that
It C l£ and vol (I£) < vol ( It ) + 2 - tE . Because r is compact, there exists an
L E z+ such that {I�, . . . , I�} covers r. In particular, by Lemma 1.1.1,
n n L
Given the preceding, one proves that loi i e == 0 by observing that 8I is the
union of 2N degenerate rectangles of the form [a1 , b1] · · · { ck} · · · [aN , bN] ,
x x x x
1r1e ==I Bi e ·
PROOF: Obviously the left hand side of ( 2.1.5) is dominated by the right hand
side. To prove the opposite inequality, assume that 1r1e < oo , let E > 0 be
given, and choose C =={In }! to be a cover of r for which 1r1e > �(C) - � · Next,
for each n > 1 , let I� be a rectangle satisfying I C J� and II�I e < IInl e + 2 -n -lE .
0
Having proved the first assertion, the second one follows by choosing a se
quence {G n }1 c <5 so that r c G n and IGnl e < l rl e + � for each n > 1 .
Clearly the set B n� G n will then serve. D
We are now ready to describe the class BRN (alluded to at the beginning of
this section), although it will not be immediately clear why it has the properties
which we want. Be that as it may, we will say that r C �N is Lebesgue
measurable (or, when it is clear that we are discussing Lebesgue ' s measure,
simply measurable) , and we will write r E BRN if for each E > 0 there is
an open G � r such that IG \ rl e < E . In order to distinguish I . l e from its
restriction to BRN , we will use 1r1 instead of 1r1e when r is measurable, and
we will call 1r1 Lebesgue's measure (or simply, the measure) of r.
24 II Lebesgue 's Measure
2 . 1 .6 Remark: At first sight one might be tempted to say that, in view of
Lemma 2. 1.4, every subset r is measurable. This is because one is inclined
to think that I G i e = I G \ r l e + l r l e when, in fact, I G i e < I G \ r l e + l r l e is
all that we know. Therein lies the subtlety of the definition! Nonetheless, it
is clear that every open G is measurable. Furthermore, if 1 r 1 e = 0, then r
is measurable since we can choose, for any E > 0, an open G � r such that
I G \ r l e < I G I < E. Finally, if r is measurable, then there is a B E <5 6 such that
r c B and I B \ r l e = 0. Indeed, simply choose {Gn}1 c <5 so that r c Gn
and I Gn \ r l e < � ' and take B == n� Gn ·
Our next result shows that many more sets are measurable.
2. 1 . 7 Lemma. If {rn}! is a sequence of measurable sets, then r == U� rn is
also measurable and, of course (cf. Lemma 2. 1.2),
(2.1.8)
that a cube Q in �N is a rectangle all of whose sides have the same length.
2. 1 .9 Lemma. If G is an open set in �' then G is the union of a countable
number of mutually disjoint open intervals. More generally, if G is an open
set in �N , then, for each 8 > 0, G admits a countable, non-overlapping, exact
cover C by cubes Q with diam (Q) < 8.
PROOF: If G C � is open and E G, let Ix be the open connected component
0
x. x,
{
Cn+ I = Q' E Kn + I : Q ' c G and (J' n Q = 0 for each Q E Q
m o
Cm } .
Note that if m < n, Q E Cm , and Q' E Cn, then either Q == Q' or Q n Q' == 0 .
0 0
is an n0 < m < n and a Q E Cm such that Q n Q' =I= 0 . But this means that
Q' C Q and therefore that x E Q C U C. Thus C covers G . D
2. 1 . 10 Lemma. If r is measurable, then so is its complement r C .
PROOF: We first check that every compact set K is measurable. To this end,
let E > 0 be given and choose an open set G � K so that IGI - I Ki e < E .
Set H == G \ K and choose a non-overlapping sequence {Qn}1 of cubes for
which H == u� Qn . By Lemma 2. 1.1, L � I Q m l == I U � Q ml · Moreover, since
K and U� Qm are disjoint compact sets, the last part of Lemma 2. 1.2 says
that I (U� Qm ) U K l e == I U � Qm l + I Ki e · Hence
compact, it follows from the preceding and Lemma 2.1.7 that F is measurable.
To complete the proof, first observe that, after another application of Lemma
2.1.7, we know that (cf. Remark 2.1.3) Fa C BRN · Next (cf. Remark 2.1.6)
choose B E <5 6 so that r c B and I B \ rl e == 0. Then, since BC E �a and
I B \ rl e == 0, rc == BC u (B \ r) is measurable. D
We are now very close to our goal. However, we still need the following
simple fact about double sums of non-negative numbers.
2. 1 . 1 1 Lemma. If { a m , n : m , n E z + } C [0, oo ) then ,
m == 1 n == 1 n == 1 m == 1
* In general, if E, p) is a metric space and a E E and r > 0, we will use B (a, r ) to denote
the open ball { x E E : p(a, x ) < r } .
26 II Lebesgue 's Measure
P ROOF: For each M, N E z + ,
M N N M
L L am, n > L L am, n == L L am, n ·
� �
m= 1 n= 1 m= 1 n= 1 n = 1 m= 1
Hence, by letting first M / oo and then N / oo , we conclude that
� � � �
m= 1 n= 1 n= 1 m= 1
The opposite inequality is checked by reversing the roles of m and n in the
preceding. D
2. 1 . 12 Theorem. The class BRN contains <5, is closed under countable unions,
complementation, and therefore - also under differences
- and countable intersec-
tions. Hence, <5 8 u �a c BRN ; in fact, r E BRN if and only if there exist
A E �a and B E <5 6 such that A C r C B and I B \ A I == 0, in which case
l r l == I A I == I B I . Finally, for any {rn}1 c BR N '
U rn L1 1 rn 1
� �
m= 1
l rm l <L
�
m= 1
I Km i + E = 1�� u Km + E < u rm + E .
m= 1 m= 1
�
That is, L:� l rm l < I U� rm l · Since the opposite inequality always holds,
(2. 1 . 13) is now proved for bounded rn ' s.
Finally, to handle the general case, set
A 1 == B(O, 1 ) and An + 1 == B(O, n + 1) \ B(O, n) .
2.1 Existence 27
Then
m= l m= l n= l n= l m= l
= � p ( rm nAn) � (p rm) nA n
1 =
1
=
PJ m l( U rm) nA n] u
ml r m . = 0
x r
E �N and itself is measurable.
Before concluding this preliminary discussion of Lebesgue ' s measure, it may
be appropriate to examine whether there are any non-measurable sets. It
turns out that the existence of non-measurable sets brings up some extremely
delicate points about the foundations of mathematics. Indeed, if one is willing
to abandon the full axiom of choice, then R. Solovay has shown that there is
a model of mathematics in which every subset of �N is Lebesgue measurable.
However, if one accepts the full axiom of choice, then the following argument,
due to Vitali, shows that there are sets which are not Lebesgue measurable.
The use of the axiom of choice comes in Lemma 2. 1.16 below; it is not used in
the proof of the next lemma, a result which is interesting in its own right.
{y X : y E
- X,
r r}
2. 1 . 15 Lemma. If is a measurable subset of � and 1 r 1 > 0, then the set
r-r contains the open interval ( - 8, 8 ) for some 8 > 0.
PROOF: Without loss in generality, we assume that < oo .
r 1r1
Choose an open set G � so that I G \ r 1 < ! l r l , and let C be a countable 0
d E R and ( d + A) n A ==
0, then
0
n 0
n r. If
0
2 I A I == l d + AI + I A I == l (d+A) uA I < l (d + i) u i1 .
28 II Lebesgue 's Measure
l ( d +
< i+)u i )
l l d l +
Hence, if I i i . ( +
At the same time, (d+ l) UI C (I - , d J + if d > 0 and d I U I C (d+ I - , J + )
== 0 ,
) (d +
0
A)nA
0
x [x x x Q.
axiom of choice, let A be a set which contains precisely one element from each
"'
of the equivalence classes ] [x E JR. It is then clear that A has the required
, x
properties. D
Exercises
2 . 1 . 18 Exercise:
and 1 r11< oo, show that
r 1 l 2
\ ==
rr12 l 1 r21 - 1 r11 ·
Let and be measurable subsets in JRN . If C
r More generally, show that if
r1 r2
1 r1 n r21 < oo , then 1 r1 r21
u == n 1 r1 1 + 1 r21 - 1 r1 r2 l ·
ing that 1 rm n rn l rn
2. 1 . 19 Exercise: Let { }1 be a sequence of measurable sets in �N . Assum
== o for m =!= n, show that == L: I U� rn l � l rn l ·
2 . 1 .20 Exercise: It is clear that any countable set has Lebesgue measure zero.
However, it is not so immediately clear that there are uncountable subsets of
lR whose Lebesgue measure is zero. We will show here how to construct such
a set. Namely, start with the set Co == [0, 1] and let C1 be the set obtained by
C0 C1 C
removing the open middle third of (i.e., == o \ (� , j) == [0, �] U [j , 1 ] .
Next, let C2 be the set obtained from C1 after removing the open middle third
)
C1
of each of the ( two ) intervals of which is the disjoint union. More generally,
given ck (which is the union of 2 k disjoint, closed intervals), let ck + l be the
set which one gets from Ck by removing the open middle third of each of the
intervals of which Ck is the disjoint union. Finally, set C == n � Ck. The set 0
C is called the Cantor set , and it turns out to be an extremely useful source
of examples. Here we will show that it is an example of an uncountable set of
Lebesgue measure zero.
2. 1 Existence 29
(i) Note that C is closed and that ICI < I Ck l == ( j ) k , k > 0. Conclude that
C E BR and that ICI == 0.
(ii) Let A denote the set of a: E {0, 1, 2} N with the properties that:
( ) n0 E {0, 1} and n0 == 1 only if nk == 0 for all k E z + ;
a
l=O
{ X : o (x) E A }
while
00
c\ n C�_ =
l= O
{X : o (x) E Ao and ak (x) E {0, 2} for every 0 < k < f(a (x) ) }·
(iii)To see that C is not countable, suppose that it were. Using (ii) and the
countability of Ao, show that one would then have a way of counting {0, 2}z+ .
Finally, recall Cantor ' s famous anti-diagonalization procedure for showing that
{0, 2}z+ cannot be counted.
30 II Lebesgue 's Measure
2.2 Euclidean Invar iance.
Although the property of translation invariance was built into our construc
tion of Lebesgue ' s measure, it is not immediately obvious how Lebesgue ' s mea
sure reacts to rotations of
�N , �N .
One suspects that, as the natural measure on
Lebesgue ' s measure should be invariant under the full group of Euclidean
transformations (i.e., rotations as well as translations ) . However, because our
definition of the measure was based on rectangles and the rectangles were inex
tricably tied to a fixed set of coordinate axes, rotation invariance is not as clear
as translation invariance. In the present section we will see how Lebesgue ' s
measure transforms under an arbitrary linear transformation of
tion invariance will follow as an immediate corollary.
and rota �N ,
We begin with a results about the behavior of measurable sets under general
transformations.
2.2. 1 Lemma. Let F C
(r n F) E1 r�a1 e ==whenever
�whenever r�M be closed and � : F � � N continuous. Then
E �a · Furthermore, if in addition, l � ( r n F) l e == 0
0, then �(r n F ) is measurable whenever r is. In particular,
if M < N and � is Lipschitz continuous with Lipschitz constant L (i.e. ,
land� (y)therefore L l y -measurable
- �(x) l �< takes x l for all x,subsets n F) l e < ( 2v!JVL ) N i r l e
y E F),ofthenF intol � (rmeasurable sets in � N .
PROOF: Remember that functions preserve unions. Hence, the class of sets r
for which �(rnF) E �a is closed under countable unions. Next note that if K
is compact, then, by continuity, so is � ( K F) . But every closed set in �N is
n
the countable union of compact sets, and therefore we see that � ( r F) E �a n
for every closed r. Finally, since every r E �a is a countable union of closed
sets, the first assertion is proved.
Next assume, in addition, that l � (r F ) l e == 0 whenever 1 r 1 e == 0. Given
n
a measurable r, choose A E Fa so that A r and l r \ A I == 0. Then
c
�(r n F ) == �(An F ) � (( r \A) F ) is measurable because �(A n F ) E �a
u n
and l � (( r \A) n F) l e == 0.
We now show that if � is Lipschitz continuous with Lipschitz constant L,
then l � (rnF) I e < ( 2v!JVL) N i r l e · But clearly it suffices to do this when r is a
cube Q with diameter less than 1. Indeed, if we knew it in this case and were
given r an arbitrary subset of �M with 1 r 1 e < then, by ( 2. 1 . 5 ) and Lemma
oo ,
2.1.cubes9, weQ with
could find, for any t > 0, a countable collection C of non-overlapping
diameter less than 1 such that r C U C and E Q EC I Q I < l r l e + t .
Hence, we could conclude that
Q EC e Q EC
< ( 2 v!JVL ) N L I Q I < ( 2 v!JVL ) N ( l r l e + t ) .
Q EC
Thus, let Q be a cube in �M with diameter D < 1. If Q n F == 0 , there is
nothing to do. If x E Q n F, note that <P( Q n F ) must be a subset of the ball
2. 2 Euclidean Invariance 31
in �N of radius L D around <P(p). Hence, <P(Q n F) is contained in the cube
N
IT [<P(x)k - L D , <P(x)k + L D] ,
1
and therefore
for x == E �N .
a(T) I Q I .
Step 3: For any linear transformation T and open G,
2.2.3 Exercise: Here are two rather easy applications of Theorem 2.2.2.
( i ) If H is a hyperplane in �N (i.e. , H == {y E � N : y - c ..l £} for some
c E RN and f E RN \ {0} ) , show that I H I == 0.
( ii ) If B(c, r ) is the open ball in �N of radius r and center c, show that
IB(c, r ) l == IB(c,r ) l == O N rN where O N I B(O, l) l -
2.2.4 Exercise: If VI , · · · , and v N are vectors in �N , the parallelepiped
spanned by {v i , · · · , V N } is the set
N i
P(v 1 , . . . , v N ) { � x vi : xi E [O, l] for all l < i < N . }
When N > 2, the classical prescription for computing the volume of a paral
lelepiped is to take the product of the area of any one side times the length of
the corresponding altitude. In analytic terms, this means that the volume is 0
if the vectors VI , . . . , v N are linearly dependent and that otherwise the volume
of P ( VI , . . . , v N ) can be computed by taking the product of the volume of
P (v i , . . . , V N - I ) , thought of as a subset of the hyperplane H ( v i , . . . , V N - I )
spanned by VI , . . . , V N - I , times the distance between the vector VN and the
hyperplane H ( v i , . . . , VN - I ) · Using Theorem 2.2.2, show that this prescrip
tion is correct when the volume of a set is interpreted as the Lebesgue measure
of that set.
Chapter III
Lebesgue Integration
3. 1 Measure Spaces.
In Chapter II we constructed Lebesgue ' s measure on �N . The result of
our efforts was a proof that there is a class BRN of subsets of �N and a map
r E BRN � 1 r 1 E [0, oo] such that: BR N contains all open sets; BR N is
closed under both complementation and countable unions; I I I == vol(I) for
all rectangles I; and I u� r n l L:� l rn l whenever { rn}1 is a sequence of
==
( d ) {rn}1 C 1i and rn / r �
(3.1.4)
When M(E) < oo, M is said to be a finite measure, and when J.-t(E) == 1
it is called a probability measure. Given a measurable space (E, B) and
a measure M on (E, B) , the triple (E, B, J.-t) is called a measure space. The
measure space (E, B, J.-t) is said to be a finite measure space or a probability
space according to whether M is a finite measure or a probability measure on
(E, B) .
3. 1 . 5 Examples: As we will show in Chapter VII, there is a general method
for producing lots of measures. However, at the moment we will have to settle
for the following examples.
( i ) Our basic examples of measures are those constructed by Lebesgue. Name
ly, when E == � N , B == BR N , and M == AR N , where AJRN is the measure defined
by AR N (r) == 1r1 for r E BR N .
( ii ) Given a measure
JL space ( E, B, M) , one can always extend J.-t as a n1easure J.-t
on the a-algebra B of sets r C E with the property that there exist A, B E B
such that A c r c B and JL J.-t(B \ A) == 0; indeed, one simply defines J.-t(r) ==
J.-t(A) . The a-algebra B is called the completion of B with respect to J.-t,
3.1 Measure Spaces 37
and the resulting measure space ( E, BJL , Jl ) is said to be complete. In this
connection, note that what we have been denoting by BR N is the completion
of the Borel algebra BR N over �N with respect to the restriction of Lebesgue ' s
measure AJRN to BR N . Thus we really should have been using the hideous
notation B�n:.J' , but, for obvious reasons of aesthetics, we will continue to reserve
BJRN for the completion of BJRN with respect to Lebesgue ' s measure.
(iii) An easy and useful source of examples of measure spaces are those in
which E is a countable set, B == P(E) , and
}
E C [O, oo] .
JL(r)
== L: xE Jl x , where
r E {Jlx : x
(iv) As a final example, we point out that measure spaces give rise to other
and E' E B is given, define B[E'] == {rnE' : r } JL )
measure spaces by means of restriction. Namely, if (E, B, is a measure space
E B . Then B[E'] is a a-algebra
over E' and (E', B[E'] , Jl r B[E']) is a measure space. (See Section 5.3 for a
refinement of this procedure.)
The following theorem gives some of the basic consequences of (3. 1.4).
3. 1.6 Theorem. Let (E, B, JL) be measure
then JL( r1 ) JL( r2 ) and, when JL (r1 )
<
a JL(r2
< oo,
space.
\r1 ) If
JL r
(r12,r
) 2
- E
JL( B
r
==1 and
)· Cr1 r 2
Moreover,
for {rn}1 C B:
==
n
JL(rn ) L1 JL(Am ) / L1 JL(Am ) JL(r).
CX)
==
This proves that the inequality in ( iii ) always holds and that the equality in
Dn 2:::� rn n rm )
( iv ) holds when J-L( ) < \ J-L( == 0 for all n > 2. D
Exercises
r E1 E2
spaces and that � : � has the property that
element in a collection C which generates B2 . Show that
q, - 1 (r)� - 1 (r)
E B 1 for every
E B 1 for
r E2
every E B2 . In particular, if E1 and are topological spaces and B 1 and B2
are the corresponding Borel algebras, show that q,r- 1 (r)
E B1 for every E B2 r
r q,
if is continuous. Conclude from this that X + E BR N for all X E �N and
E BR N ·
3. 1 . 1 1 Exercise: Let J-L be a measure on (� N , BR N ) which is translation in
r) J-L(r)).
variant ( i.e. , J-L(x + ==
that J-L == AR N on BR N .
In addition, assume that J-L( [O, 1] N ) == 1. Show
3.1 Measure Spaces 39
Hint: First check that Jl ( 8Q) == 0 for any cube Q. Second, show that
Jt ( [O, m,\] N ) == m N Jt ( [O, ,X] ) for any m E z+ and ,\ E �. From these, con
clude that Jt ( Q ) == I Q I for all cubes Q. Finally, deduce the required result.
3 . 1 . 1 2 Exercise: Given sets rn for n > 1 , define
CX) CX) CX) CX)
nlim n u rn and n ---+ CX)
---+ CX) rn == m=l n =m m =l n = m
Observe that
nlim
---+ CX) rn == {x : X E rn for infinitely many n E z+ }
and that
(3. 1. 13) n ---+ CX)
n ---+ CX)
with equality holding when {rn} 1 is monotone. One says that the limit
limn ---+ CX) rn exists if equality holds in (2. 1. 13) , in which case lim n ---+ CX) rn
limn ---+ CX) rn.
-
Let (E, B, Jt) be a measure space and {rn} 1 C B. Prove each of the follow
Ing.
( i)
and
( ii )
1 i n. Then one can interpret JL(A) as the probability that, when the
< <
numbers 1, ... , n are randomly ordered, none of them is placed in the correct
position. On the basis of this interpretation, one might suspect that JL(A)
should tend to 0 as n However, by direct computation, one can see that
---t oo .
this is not the case. Indeed, let ri be the set of E E such that ( i) i. Then
1r 1r ==
�i
Also, if is a measurable map on into
� 1 ( Eo , 80 ) ( Ei , Bi)
for i E {1, 2}, then we
define the tensor product of times to be the map � 2 � 1 Q9 � 2 : Eo
E1 E2 � 1 Q9�2 (x) (� 1 (x),�2 (x) ) , x Eo .
x given by == E
�
PROOF: To prove the first assertion, we need only note that if ri E Bi, i E
{1, 2}, then � 1 Q9 � 2 - 1 ( r1 r2 ) �1 1 ( r 1 ) n �2 1 ( r2 ) E Bo . As for the second
x ==
assertion, first note that G 1 G2 is open in E1 E2 for every pair of open sets
x x
x
2
Gopenin Ein1 Ei.EHence, time, with second countability, one can write every open
2 as theincountable union of sets of the form G 1 G2 where Gi is
x
source of concern.
Having adopted these conventions, we see that, for any pair of measurable
B)
functions !I and f2 on a measurable space (E, into ( lR, �) , Lemma 3.2.2
guarantees that the measurability of the JR-valued maps:
x E E � !I · !2 (x) - !I (x) !2 (x), .-..2
x E E � (!I + !2 ) (x) !I (x) + !2 (x) E lR if Range ( JI e; !2 ) C 1R ,
x E E � !I V !2 (x) !I (x) V !2 (x),
and
3.2 Construction of Integrals 43
fV
f0), I f I
- ( ! 1\ and == j +
(
+ f-. B)
Thus, of course, if is measurable on E, into ( lR, BIR ) , then so are j +
0, f- Finally, from now on we will call a
_
B)
measurable map on (E, into ( lR, BIR ) a measurable function on (E,
From the measure-theoretic standpoint, the most elementary functions are
B).
those which take on only a finite number of distinct values; thus, we will say
that such a function is simple . Note that the class of simple functions is closed
under the lattice operations " V " and "/\" , multiplication, and, when the sum
is defined, under addition. Aside from constant functions, the simplest of the
simple functions are those which take their values in 1 . Clearly there is a
{0, } lr
one-to-one correspondence between 1 -valued functions and subsets of E.
{0, }
r
Namely, with C E we associate the function defined by
= l r (x) { 0 r
1 if x E r
if X �
set r. lr
The function is called the indicator ( or characteristic ) function of the
The reason why simple functions play such a central role in measure theory
is that their integrals are the easiest to describe. To be precise, let ( E,
f
be a measure space and a non-negative ( i.e., a oo -valued ) measurable [0 , ] B, JL)
B)
function on ( E, which is simple. We then define the Lebesgue integral
of f on E to be
L JL(f ) a == a ,
JL( {x E E f (x) } ) There are various ways in which we will denote the
==
:
a
== a .
== a
PROOF: Let { a 1 , ... , a m } denote the distinct values of f and, for 1 < <
set rk { ! a k }. Since rk n rk ' 0 for =I=
== == == k k' ,
k m,
n n m m n
L£= 1 !3tJL(�£ ) £L= 1 !3£ kL= 1 JL( �£ n rk ) kL= 1 L£= 1 !3t JL(�£ n rk );
== ==
and so all we need to show is that 2:::; !3t JL( �£ n rk ) a k JL(rk ) for each 1 ==
1that< it <sufficesSince
k m. 2:::; 1 /3t l � t n rk a k l rk for each 1 < < we now see
==
to treat the case when f alr for some a E [0 , ] r E B, and
==
k m,
oo ,
{ � 1 , . . . , �n} C B [r]. Further, it is clear that we may assume that a =I= 0, since
the only way in which one could have 2::: ; 1 /3t l � t 0 is if f3t 0 whenever ==
�£r E=I=B,0 .andIn other words, what we still have to show is that, for any a E (0, oo],
{� 1 , . . . , �n} C B[r]:
n n
L!3 t JL( � t ) aJL(r)
== if L!3t l �l al r . ==
£= 1 £= 1
n ( 'T/1 , . . . , TJn ) E define ,8 2::: � TJ£ !3£ and
Set I == ( {0, 1 }) , and, for 'I] == I, 11 ==
� 11 n; � �ru ) , where � ( 1 ) - � and � ( o ) � C. Then �17 n �17 , 0 if
== 1 ==
'IJ =I= '1] 1 , and, because
u
11 EI:ru =1 }
{
for each 1 < f < n,
n n
L /311 1 �, L L TJtf3t 1 �1J L£=1 !3t l �l alr .
== == ==
and therefore
n n
L!3
£=1
t JL( � t ) L!3t L JL(
== � 11 ) L i311 JL( � 11 ) aJL( r ) . == == o
for > 1. Then each 'Pn is a non-negative, measurable, simple function, and
n
'Preasonable
/ n � oo . 'Pn of ff asuniformly in (lR, p) . Thus it would seem
n f as to define Inthefact,integral�
(3 . 2 . 5 )
Indeed, since 'Pn < 'Pn + 1 , Lemma 3 . 2 . 4 guarantees that this limit exists. How
ever, before adopting this definition, we must first check that the definition is
not too dependent on the choice of the approximating sequence. In fact, at the
moment, it is not even clear that this definition would coincide with the one
f
we have already given for simple ' s. This brings us to our second consistency
result, where, as distinguished from Lemma 3.2.3,
we must use countable, as
opposed to finite, additivity.
B,
3.2.6 Lemma. Let (E, J-L) be a measure space, and suppose that
'ljJ are non-negative measurable simple functions on E, If < ( B ). and
'P
for all n {
'P'P
n n}1
+ 1
n > 1 and if 'ljJ < lim n --H:x) 'P n , J
then 'ljJ d�-t < limn� CX) J 'P n
dJ-L. In particular,
for any non-negative, measurable function f and any non-decreasing sequence
{'l/Jn }1 oflimnon-negative,
n � oo,
measurable, simple functions '1/Jn which tend to f as
n� CX) J '1/Jn d�-t is the same as the limit in ( 3 . 2 . 5 ).
PROOF: We treat three cases.
Case 1: J-L('ljJ ) > 0. Then, for each M <
== oo oo ,
46 III Lebesgue Integration
then J.-t(E) < oo, and, because 1/J is simple, there exist t > and M < oo such
0
that t < 1/J < M. Now let < 8 < t be given, and define En == 4'n > 1/J - 8} .
0 {
Then En / E and so
nlim J
---+ CX) 'Pn dJ.L > nlim CX)
---+ 1En { 'Pn dJ.L > nlim [
---+ CX) {
1En
'1/J dJ.L - 8J.L(En) ]
[/
---+ CX) '1/J dJ.L - 1fEn '1/J dJ.L - 8J.L(En )
== nlim
C
]
C
> '1/J dJ.L - M }�� M ( En ) - 8J.L(E) = '1/J dJ.L - 8J.L(E) ,
J J
since J.-t(E) < oo and therefore (cf. (ii) in Theorem 3.1.6) J.-t (En ) � Because
0,
this holds for arbitrarily small 8 > we get our result upon letting 8 � D
C 0. 0.
The Lemma 3.2.6 allows us to complete the definition of the Lebesgue in
tegral for non-negative, measurable functions. Namely, if f on (E, J.-t) is a
non-negative, measurable function, then we define the Lebesgue integral of
B,
f on E with respect to J.-t to be the number in (3.2.5); and we will continue
to use the same notation to denote integrals. Not only does Lemma 3.2.6 guar
antee that this definition is consistent with our earlier one for simple f ' s, but
J
it also makes clear that the value of f dJ.-t does not depend on the particular
way in which one chooses to approximate f by a non-decreasing sequence of
non-negative, measurable, simple functions. Thus, for example, the following
extension of Lemma 3.2.4 is trivial.
3.2. 7 Lemma. If f and g are non-negative, measurable functions on the mea
sure space (E, B, J.-t) , then for every a, f3 E [0 , ] oo ,
Finally, if J.-L ( f > 0) > 0, then there exists an E > 0 such that J.-L ( f > E ) > E;
and so (3.2.9) implies that J f dJ.-L > E 2 > 0. D
The final step in the definition of the Lebesgue integral is to extend the
definition so that it covers measurable functions which can take both signs.
Then both
f
To this end, let be a measurable function on the measure space (E,
J f+ dJ.-L J f - dJ.-L J f dJ.-L
and are defined; and, if we want our integral to be
B, J.-L) .
linear, we can do nothing but take to be the difference between these
two. However, before doing so, we must make sure that this difference is well
defined. With this consideration in mind, we now say that
J j+ dJ.-L J f - dJ.-L
1\ < oo, in which case we define
exists if J f dJ.-L
if r1 and r2 are disjoint elements of B. Also, it is clear that, when f f dJ.-L exists,
(3.2.10) J f dM J l f l dJ.L . <
Once again, we need a consistency result before we know for sure that our
definition accomplishes what we wanted it to do; in this case, the preservation
of linearity.
3.2. 1 1 Lemma. Let f and g be measurable functions on (E, B, JL) for which
(
I f df-l and I g df-l exist and I f df-l , I g df-l ) E fti2. Then J-l ( f 0 g � fti2 ) = 0,
J{ /®gER2} ( ! + g) dJl exists, and
+ J
En{ f <O,f+g >O}
(g + - f - ) dJl
J j + dJL - J ! - dJl
En{f+g >O } En { f+g> O}
+ J g + dJL -
J
En{f+g> O} En { f+g >O}
g - dJL.
Similarly,
- fe u + g) - dJ-L = J J+ dJ-L - J J - df-l
En { f +g < O} En{f+g < O}
+ J J
En{f+g< O} En{f+g <O}
After adding these two, we get the required result. D
3.2 Construction of Integrals 49
Given a measurable function on (E, JL ) , definef B,
l f l u (J.t) j 1 ! 1 dJ.L.
=
Finally, since
50 III Lebesgue Integration
we can define ll [f]f'V II £ 1 (� ) == 11!11 £ 1 ( �) and thereby turn L 1 (J-L)/ �� into a bona
�
fide metric space in which the distance between [f]f'V and [g]f'V is given by
� �
we will continue to write L 1 (J-L) , even when we mean L 1 (J-L)/ � , and we will use
f instead of [ !] In particular, L 1 (J-L) becomes is this way a vector space over
�
rv •
� on which II! - g ll £ 1 (�) is a metric. As we will see in the next section (cf.
Corollary 3.3. 12) , this metric space is complete.
Exercises
3.of2measure
. 1 7 0, by itsShowintegrals.
Exercise: that an integrable function is determined, up to a set
To be more precise, let (E, B, J-L) be a measure
space and f and g a pair of functions from L 1 (J-L) . Show that f � g if and only
if fr f dJ-L fr g dJ-L for each r E B.
==
Hint: cp cp
Reduce the problem to showing that if E £ 1 (J-L), then J-L ( { < 0} ) 0 ==
if and only if fr dJ-L > 0 for every r E B.
cp
l (x) == 0 { if X��
limn ---+ CX) In ( X ) if XE�
is measurable on ( E, B) .
PROOF: We first suppose that {In}! is non-decreasing. It is then clear that
CX)
{ }!_�� fn > a } = U Un > a } E B, a E JR,
n= 1
and therefore ( cf. Exercise 3.2. 16) that limn ---+ CX) In is measurable. By replacing
In with. - In, .we see that the same conclusion holds in the case when {In}!
.IS non-Increasing.
Next, for an arbitrary sequence {In}! of measurable functions,
{11 v . . . v In n E z + }
:
nlim In == mlim
---+ CX) ninf
> m In
---+ CX)
is measurable; and, of course, the same sort of reasoning leads to the measur
ability of limn ---+ CX) In .
Finally, since ( cf. Exercise 3. 1 . 16)
� { x E E : nlim---+ CX) ln (x) exists } == { n�limCX) In == n�limCX) In } ,
it is an element of B; and from this it is clear that the function I described in
the last part of the statement is measurable. D
We are now ready to prove the first of three basic continuity theorems about
the Lebesgue integral. In some ways the first one is the least surprising in that
it really only echoes the result obtained in Lemma 3.2.6 and is nothing more
than the function version of (i) in Theorem 3. 1 .6.
3 . 3 . 2 Theorem ( The Monotone Convergence Theorem) . If {In}! is a
sequence of non-negative, measurable functions on the measure space (E, B, JL)
J
and if In / I point-wise as n � oo , then I dJl == limn ---+ CX) In dJL. J
52 III Lebesgue Integration
J J
PROOF: Obviously I dJl > limn-H)() In dJL. To prove the opposite inequal
ity, for each m > 1 choose a non-decreasing sequence { 'Pm , n} � of non 1
At the same time, because 1/Jn < In for all n E z + ' we know that
J I dJl < nlim---+ CX) J In dJl. D
In particular, if there exists a JL-integrable function g such that In < g for all
n > 1, then
PROOF: Assume that the In ' s are non-negative. To check the first assertion,
set hm == infn > m In · Then lm > hm / limn ---+ CX) In and so, by the Monotone
Convergence Theorem,
Next, drop the non-negativity assumption, but impose In < g for some
JL-integrable g. Clearly, I� g - In is non-negative,
lim ---+ CX) In and
n ---+ CX) I� == g - nlim
3. 3 Convergence of Integrals 53
Hence, the required result follows from the first part applied to { !� }1 . D
Before stating the third continuity result, we need to introduce a notion
which is better suited to measure theory than ordinary pointwise equality.
Namely, we will say that an x-dependent statement about quantities on the
measure space (E, B, JL) holds JL-almost JL everywhere if the set � of x for which
the statement fails is an element of B which has JL-measure 0 (i.e. , JL(�) == 0) .
Thus, if {/n}1 is a sequence of measurable functions on the measure space
(E, B, JL), we will say that {fn}1 converges JL-almost everywhere and will
write limn ---+ CX) fn exists ( a.e., Jl), if
JL( { x E E : nlim
---+ CX) fn ( ) does not exist}) == 0;
x
and we will say that {fn}1 converges JL-almost everywhere to J , and will
:
write fn -----+ f ( a.e., Jl ), if JL( { x E E f(x) =/= limn� fn (x) }) == 0. By Lemma
(X)
SUPn >l-- l fn (x) l < g (x) . Then E is measurable and JL (EC) == 0, and so integrals
over E are the same as those over E. Thus, without loss of generality, we
will assume that all our assumptions hold for every x E E. But then, f ==
limn ---+ oo fn, l f l < g and I f - fn l < 2g. Hence, by the second part of Fatou ' s
Lemma,
( 3.3.6)
= }!_.� j I fn i - I f I - l in - ! I dM = o.
and
l !n l - 1 ! 1 - l !n - !I I < l l !n l - l !n - !I I + I l l < 2 1 1 1 ,
(3.3.6) follows from Lebesgue ' s Dominated Convergence Theorem. D
We now have a great deal of evidence that almost everywhere convergence
of integrands often leads to convergence of the corresponding integrals. We
next want to see what can be said about the converse implication. To begin
with, we point out that
Indeed, define the functions
l fn i{£fn1 (JL}1)
-----+ 0 does not imply that
on [0, 1] so that, for m > 0 and 0 f
fn < < 2m ,
-----+ 0 ( a.e., JL) .
Hence,
JL ( J =1= g) == €lim JL (I J - g I > t) == o,
�0
and so f == g (a.e., JL). That is, convergence in JL-measure determines the
limit function to precisely the same extent as does either JL-almost everywhere
or I I · II £ 1 (J.L ) -convergence. In particular, from the standpoint of JL-integration
theory, convergence in JL-measure has unique limits.
The following theorem should help to explain the relationship between con
vergence in JL-measure and JL-almost everywhere convergence.
3.3. 7 Theorem. Let {fn}! be a sequence of �-valued measurable functions
on the measure space (E, B, JL) .
(i) There is an �-valued, measurable function f for which
( 3.3.8) m---+ (
limCX) Jl nsup I f - fnl > t
>m ) == 0, t> 0,
if and only if
(
1,.l---+imCX) Jl sup
j >i
I f - )
fni I > t == 0, t > O · '
we see that (3.3.9) does indeed imply that {fn}1 converges J.-t- almost every
where. In addition, if (cf. the last part of Lemma 3.3.1) f is an �-valued,
measurable function to which {fn}1 converges J.-t-almost everywhere, then
< sup l fn - fm l + l fm - f l < 2 sup l f fml (a.e., J-t ) ;
nsup
>- m l fn - f l n -> m -
-
n >m n
We now turn to part (ii) . To see that fn -----+ f in J.-t-measure implies (3.3. 10),
simply note that
Conversely, assume that ( 3.3. 10) holds, and choose 1 < n 1 < < ni < · · ·
· ·
· so
that
-i- 1 )
sup �-t ( l!n - fni > 2 I< 2-i- 1 , i > 1.
n>n · - t
Then
U> i { l fnJ+ l -
f > 2 -j - 1 }
n1 I
j
CX)
< L J-t ( l fnj + l -
f I > 2 -j - l ) < 2 - i
n1 ·
3. 3 Convergence of Integrals 57
1
From this it is clear that { fni } i satisfies ( 3.3. 9) and therefore that there is
an f for which (3.3.8) holds with {fn} replaced by {fn i }. Hence, fni f
------+
mlim (
---+ CX) JL nsup
>- m l in - ) ( {
! I > E == JL n sup l in - ! I > E == 0
m=l n >- m
})
for every E > 0, and therefore (3.3.8) holds. In particular, this means that
fn � f in JL-measure. D
Because it is quite important to remember the relationships between the
various sorts of convergence discussed in Theorem 3.3.7, we will summarize
them as follows:
ll fn - f i i£ 1 (J.L ) -----t 0 ===} fn -----t f in JL-measure
===} (
1,.l---+imCX) JL sup
) _t
• >. l fn1 - J l > E ) == 0, E > 0, for some subsequence {fni }
and
JL(E) < oo and fn -----t f (a.e., JL) ===} fn -----t f in JL-measure.
Notice that, when JL(E) == oo , JL-almost everywhere convergence does not im
ply JL-convergence. For example, consider the functions 1 [n , CX)) on � with
Lebesgue ' s measure.
as
We next show that, at least far as Theorems 3.3.3 through 3.3.5 are
concerned, convergence in JL-measure is just as good as JL-almost everywhere
convergence.
3.3. 1 1 Theorem. Let f and {fn}1 all be measurable, �-valued functions on
)
the measure space (E, B, JL , and assume that fn -----t f in JL-measure.
( )
Fatou's Lemma: If fn > 0 a.e. , JL for each n > 1, then f > 0 a.e. , JL and ( )
J
f djL < nlim fn djL .
---+ CX)
J
Lebesgue's Dominated Convergence Theorem: If there is an integrable
( ) J
g on (E, B, JL) such that I fn i < g a.e. , JL for each n > 1, then f is integrable,
limn ---+ CX) l l fn - J II L 1 (J.L ) == 0, and so J fn dJL � f dJL as n ---t oo .
58 III Lebesgue Integration
Lieb's Version of Fatou's Lemma: If
integrable and
sup n>1 l fn i £ 1 ( JL ) <
oo, then f is
}�� I l in l u c tt ) - l f l u c tt ) - l fn - f l u c tt ) }�� �� l fn l - 1 ! 1 - l fn - f l l u c tt ) 0
= =
In particular, l fn - f i £ 1 ( JL ) � 0 if l fn i £ 1 ( JL )
� l f i £ 1 (JL) �-
E
PROOF: Each of these results is obtained via the same trick from the corre
sponding result for JL-almost everywhere convergent sequences. Thus we will
prove the preceding statement of Fatou ' s Lemma and will leave the proofs of
the other assertions to the reader.
Assume that the fn ' s are non-negative JL-almost everywhere and that f �
f in JL-measure. Choose a subsequence
n
{ fn{mfn} mi } { fnm } J nnmmi
so that linlm --H:x) f dJL =
n Jn
lim � CX) f dJL. Next, choose a subsequence
nm of so that f �
f (a.e., JL) . Because each of the f · is non-negative (a.e., JL), it is now clear
that f > 0 ( a.e., JL). In addition, by restricting all integrals to the set E on
't
nm
3.3.2 to obtain
't
nm
which the f · ' s are non-negative and f · � J , we can apply Theorem
't
J }E t
n i m j nm
J df-l = ( J df-l < lim ( f df-l = l�CX) f djL = lim f dJL. D
� CX) JE
.,. jn n � CX)
PROOF: By Markov ' s inequality, we see that (3.3. 10) holds. Hence, we can
find a measurable f such that fn � f in JL-measure; and so, by Fatou ' s
Lemma,
I ! - fm I L 1 (JL) < nlim�CX) l fn - fm 1 £ 1 (JL) < n>supm l fn - fm I L 1 (JL) 0 �
Before closing this discussion, we want to prove a result which is not only
useful but also helps to elucidate the structure of £ 1 (JL) .
B,
3.3 . 13 Theorem. Let (E, JL) be a measure space, and assume that JL( E ) <
oo . Given a 1r-system C C P(E) which generates B,
denote by S the set of
functions 2::: � = 1 am 1 rm,
where n E z + , {am }!
C Q, and {rm }f
C CU
Then S is dense in L 1 (JL) . In particular, if C is countable, then L 1 (JL) is a
{E}.
separable metric space.
Convergence of Integrals
3. 3 59
PROOF: Denote by S the closure in £ 1 (JL) of S . It is then easy to see that S
is a vector space
- over �-- In particular, if f E £ 1 (JL) and both j + and f - are
elements of S , then f E S. Hence, we need only check that every non-negative
f E £ 1 (JL) is in S . Since every such f is the limit in £ 1 (JL) of simple elements
of £ 1 (JL) and since S is a vector space, we now see that it suffices to check that
lr E S for every r E B. But it is easy to see that the class of r C E for which
lr E S is a .X-system over E, and, by hypothesis, it contains the 1r-system C.
Now apply Lemma 3. 1 .3. D
3.3. 14 Corollary. Let (E, p)
be a metric space, and suppose that Jl is a mea
sure on (E, BE) with the property that there exists a non-decreasing sequence
of open sets En such that JL ( En ) < oo for each n > 1 and E == U� En. For
each n E z + , denote by ICn the set of bounded, p-uniformly continuous func
tions cp which vanish identically off En, and set JC == U n EZ+ ICn. Then JC is
dense in L 1 (JL) .
PROOF: We will show first that, for each n E z + '
........,
ICn { <p r En cp E ICn} :
is dense in £ 1 (En, BEn , Jln), where Jln denotes the restriction of Jl to BEn . In
view of Theorem 3.3. 13, ........, this will follow as soon as we show that l a is in the
G G
· I (J.Ln -closure of ICn for each open C En . If == En == E, then there
I ILl )
is no problem, since in that case l a 1 is both p-uniformly continuous and
G_
continuous function. Show that the Riemann integral (R) JJ f(x) dx of f over
J is equal to the Lebesgue integral JJ J (x) AJRN (dx) . Next, suppose that f E
L 1 (AJRN ) is continuous, and use the preceding to show that
J f(x) >.RN (dx)J /limR N (R) JJ{ f(x) dx ,
=
where the limit means that, for any E > 0, there exists a rectangle Jf. such that
j f(x) >.RN (dx) - (R) 1 f(x) dx < f
whenever J is a rectangle containing Jf. . For this reason, even when f is not
continuous, it is conventional to use J f(x) dx instead of J f dAR N to denote
the Lebesgue of f.
3.3. 19 Exercise: Let (E, B, JL) be a measure space and let {fn}1 be a se
quence of measurable functions on (E, B) . Next, suppose that {gn}1 C L 1 (JL)
and that gn � g E L 1 (JL) in L 1 (JL) . The following variants of Fatou ' s Lemma
and Lebesgue ' s Dominated Convergence Theorem are often useful.
( i ) If fn < gn (a.e., JL) for each n > 1, show that
j
nlim j
---+ CX) fn djL < nlim
---+ CX) fn dJL.
( ii ) If fn � f either in JL-measure or JL-almost everywhere and if I fn i < gn
( a.e., JL) for each n > 1, show that II fn - f II £ 1 (J.L) � 0 and therefore that
limn ---+ CX) J fn dJL == J f dJL.
3.3 Convergence of Integrals 61
3.3. 20 Exercise: Let (E, B, JL) be a measure space. A family JC of measurable
functions f on (E, B, JL) is said to be uniformly JL-absolutely continuous if
for each E > 0 there is a 8 > 0 such that fr I f I dJL < E for all f E JC whenever
r r
E B and JL( ) < 8; and it is said to be uniformly JL-integrable if for each
E > 0 there is an R < oo such that � / > R l f l dJL < E for all f E JC .
I
( i ) Show that JC is uniformly JL-integrable if it is uniformly JL-absolutely con
tinuous and
supIC l l f ii £ 1 (JL ) < oo .
/E
Conversely, suppose that JC is uniformly JL-integrable and show that it is then
necessarily uniformly JL-absolutely continuous and, when JL(E) < oo , that
sup / E IC l l f ii £ 1 (JL ) < oo .
( ii ) If sup / E IC J 1!1 1 + 6 dJL < oo for some 8 > 0, show that JC is uniformly
JL-integrable.
( iii ) Let {/n}1 C L 1 (JL) be given. If fn � f in L 1 (JL), show that {fn}! U {f}
is uniformly JL-absolutely continuous and uniformly JL-integrable. Conversely,
assuming that JL(E ) < oo , show that fn � f in L 1 (JL ) if fn � f in JL
measure and {fn}1 is uniformly JL-integrable.
( iv ) Assume that JL(E) == oo . We say that a family JC of measurable func
r
tions f on (E, B, JL) is tight if for each E > 0 there is a E B such that
JL( ) < oo and sup / E IC frc I! I dJL < E. Assuming that JC is tight, show that
r
JC is uniformly JL-integrable if and only if it is uniformly JL-absolutely contin
uous and sup / E IC ll f ii £ 1 (JL ) < oo . Next, show that JC is uniformly JL-integrable
if JC is tight and sup / E IC J 1! 1 1 + 6 dJL < oo for some 8 > 0. Finally, suppose
that {fn}1 C L 1 (JL) is tight and that fn � f in JL-measure. Show that
l l fn - f i i£ 1 (JL ) � 0 if and only if {fn} is uniformly JL-integrable.
3.3. 21 Exercise: Let (E, B, JL) be a finite measure space. Show that fn � f
in JL-measure if and only if J l fn - ! I 1\ 1 dJL � 0.
3.3. 22 Exercise: Let (E, p) be a metric space and {En}! a non-decreasing
sequence of open subsets of E such that En / E. Let Jl and v be two measures
on (E, BE ) with the properties that JL(En) V v(En) < oo for every n > 1 and
J cp dJL == J cp dv whenever cp is a bounded p-uniformly continuous cp for which
there is an n > 1 such that cp 0 off En. Show that Jl == v on BE .
3.3. 23 Exercise: Although almost everywhere convergence does not follow
from convergence in measure, it nearly does. Indeed, suppose that {fn}1 is a
sequence of measurable, �-valued functions on (E, B, JL) . Given an �-valued,
measurable function J, show that (3.3.8) holds, and therefore that fn � f
both (a.e., JL) and in JL-measure, if
00
where ( 3.4.1) is to be interpreted as the statement that, for almost every x E � '
there exists, for each E > 0, a 8 == 8 ( x , E) > 0 such that
};_ r ! J (t) - f( x ) l dt < E whenever i 3 is an open interval with I I I < 8.
X
I I I it
In other words, except on a set of Lebesgue measure 0, an integrable function
can be recovered by differentiating its indefinite integral.
In order to understand the strategy behind our proof, first note that (3.4.1)
is completely obvious when f is continuous. Hence, since ( cf. Corollary 3.3.14 )
the continuous elements of L 1 ( �) L 1 (,\R) are dense in L 1 (�), it suffices for us
to show that the set g of f E L 1 (�) for which (3.4. 1) holds is closed in L 1 (�) .
_
Clearly, (3.4.1) holds if and only if I D,.(j, E) I e == 0 for every E > 0. Moreover,
for any E > 0 and any J, g E L 1 (�):
D,. ( j, 3 E ) C { x : M (f - g) > E } U b,. (g, E) U { x : l g( x ) - f( x) ! > E } .
3.4 Lebesgue 's Differentiation Theorem 63
In particular, this means that if g E g, then
where, in the passage to the last line we have used l � (g, E) l e == 0 and Markov ' s
inequality. Finally, suppose that { gn }1 C g and that 9n � f in £ 1 (� ) .
Then, the preceding line of reasoning leads us to the conclusion that
� � ( / , 3E) I e < nlim ! {M(J - gn) > E} l e '
---+ CX)
and so we would be done if we knew that
( 3.4.3)
With the preceding in mind, we now turn our attention to the analysis of the
Hardy-Littlewood maximal function. To begin with, we first note that M f is
measurable, and therefore that we can drop the subscript "e" in ( 3.4.3). To
see this, observe that an alternative expression for M f is
sup 1 {
Mf(x) =
,a b E(O , CX)) a + b }( -a ,b) I J(x + t) l dt
and that, for each a, b E (0, oo ) and x < y ,
f I J( x + t) l dt - r I J( y + t) l dt < r I J(t) l dt .
r ,b)
J(-a r ,b)
J(-a J( x -a , y-a]U[x + b, y+ b)
Hence, by Exercise 3.3. 15, we know that, for each a , b E (0, oo ) ,
xER 1 r 1 1 ( x + t) 1 dt E R
f---+
a + b J( -a ,b )
is uniformly continuous and, therefore, for each a E � ' that
{x : Mf(x) > a} == U {
a , b E (O , CX))
x : a
1
+ i
b ( -a ,b ) l f(x + t) l dt > o: }
is open. We next observe that control on the size of M f will follow from control
on the one-sided maximal functions
M+ f(x) sup � { I J(t) l dt and M_f(x) sup � { I J(t) l dt.
h>O J[x , x +h) h>O J( x -h, x ]
64 III Lebesgue Integration
Indeed, for any I 3 x , let h+ and h_ be the lengths of [x, oo ) ni and ( -oo, x] n i ,
0 0 0
< �A �il
M+ f( x ) + M_ f(x) < M+ f(x) V M_ f( x) ,
as
Hence, we will see shortly, all that we need is the following wonderfully
simple observation.
3.4.5 Lemma (Sunrise Lemma) . * Let F : � � � be a continuous func
tion with the property that limx � ± CX) F (x) == =fOO . Set
G == {x : 3y > x F( y ) > F(x) }.
Then G is an open, and each non-empty, open, connected component of G is
a bounded interval (a, {3) with F(a) < F({3) .
PROOF: Clearly G is open. Next, suppose that (a, {3 ) is a non-empty, con
nected, open component of G, and take 1 E (a, {3). If either {3 == oo or {3 < oo
and F({3) < F(1) , then there exists a unique x E [1, {3) such that F(x) == F(1)
and F( y ) < F(1) for all y > x . But this would mean that, on the one hand,
x E G and, on the other hand, F( y ) < F(x) for all y > x , which is impossible.
Hence, we now know that {3 < oo and that F( 1) < F ( {3 ) for all 1 E (a, {3) .
Finally, from this it is clear that a > -oo and that F(a) < F({3). D
* The name derives from the following picture. The sun is rising infinitely far to the right
in mountainous (one-dimensional) terrain, F(x ) is the elevation at x, and G is the region in
shadow at the instant when the sun comes over the horizon.
3.4 Lebesgue 's Differentiation Theorem 65
Applying Lemma 3.4.5 to the function Ff. , we see that G€ {M+ f > t } is
either empty or (cf. the first part of Lemma 2. 1.9) is the union of countably
many disjoint, bounded, open intervals ( an , f3n ) satisfying
0 < F€ (f3n ) - F€ ( an ) = 1(O:n ,/3n ) i f(t) i dt - E (f3n - an )
for each n. Hence, either IG € 1 == 0 or, after summing the preceding over n , we
arrive at
( 3.4.7)
Since (3.4.7) certainly implies (3.4.3) , and (3.4.3) was the only missing in
gredient in the program with which this section began, the derivation of the
following statement is complete.
3.4.8 Theorem ( Lebesgue's Differentiation Theorem ) . For any Lebes
gue integrable function f on �' (3.4. 1) holds. In particular,
subset of JR. Indeed, all the assertions there are completely local and therefore
follow by replacing f with f l ( - R , R) , restricting ones attention to x E ( -R, R) ,
and then letting R / oo.
Second, one should notice that (3.4. 7) would be a trivial consequence of
Markov ' s inequality if we had the estimate l i M f i i £ 1 ( R ) < 2 II J II£ 1 (R ) · Thus, it
is reasonable to ask whether such an estimate is true. That the answer is a
resounding no can be most easily seen from the observation that, if ll f ii £ 1 ( R) f=
0, then a f( -r, r ) I J(t) l dt > 0 for some r > 0 and therefore Mf(x) > l xN-r
for all x E JR. That is, if f E £ 1 (JR) does not vanish almost everywhere, then
Mf is not integrable. (To see that the situation is even worse and that, in
general, M f need not be integrable over bounded sets, see Exercise 3.4. 12
below.) Thus, in a very real sense, (3.4. 7) is about as well as one can do.
(See Exercise 6.2.27 for an interesting continuation of these considerations.)
Because this sort of situation arises quite often, inequalities of the form in
( 3.4. 7) have been given a special name: they are called weak-type inequalities
to distinguish them from inequalities of the form li M J II £ 1 (R ) < C I I J I I£ 1 (R ) ,
which would be called a strong-type inequality.
Finally, it should be clear that, except for the derivation of (3.4. 7), the
arguments given here would work equally well in JR N . Thus, we would know
that, for each Lebesgue integrable f on JR N ,
( 3.4. 10) B lim 1 1r
� { x} I B }B I J ( y ) - f(x) l d y = 0 for almost every X E IR. N
if we knew that
c
(3.4.1 1) I {Mf > E } l < -E IIJ IIL 1 ( AR N ) '
where M f is the Hardy-Littlewood maximal function
Mf(x) �� � I IJ( y ) l dy
I L
and B denotes a generic open ball in JR N . It turns out that (3.4. 11), and
therefore (3.4.10), are both true. However, the proof of ( 3.4. 11 ) for N > 2 is
somewhat more involved than the one which we have given of (3.4.7)*.
Exercises
- 1 , X E ( 0, - l ) .
1(O,x)
f ( t) dt = log X
e
(ii) Assuming that f is continuous and vanishes off a compact set, first show
that
f€ (x) = rJ[o, CX) ) p( - t)f(x + d) dt + J[ro ,CX)) p(t)f(x - d) dt,
and then (using Exercise 3.3. 18 and Theorem 1.2.7) verify the following equal
ities:
(3.4.16) rJ[o, CX)) p( -t) f(x + Et) dt Jr(o, CX) ) tp' ( -t) ( ..!..tt J[rx ,x+t:t ) ! ( s) ds) dt
=
and
( 3.4.16 ' ) rJ[o, CX)) p(t)f(x - d) dt =
J( o , CX) )
- tp' (t) ..!..tt
r (j
(x-t:t , x] f(s) ds dt. )
Next (using Corollary 3.3. 14) argue that ( 3.4.16) and (3.4. 16 ' ) continue to hold
for every f E L 1 (1R) and x E Leb(J).
(iii) Combining part (i) with (3.4. 16) and (3.4. 16 ' ), conclude that
f.lim
�O ff. (x) -f(x)
== J tp ' (t) dt, for x Leb(J), E
and, after another application of Exercise 3.3.18 and Theorem 2. 1.7, note that
- J tp' (t) dt J p(t) dt
= = 1.
Chapter IV
Products of Measures
4. 1 Fubini's Theorem.
Just before Lemma 3.2.2, we introduced the product (E1 E2 , B1 B2 )x x
(E2 , 82 ) and (E1 , 8 1 ), respectively. Next, suppose that Jli , i E {1, 2}, is a finite
measure on ( Ei, 8i ). Then for every measurable function f on ( E1 x E2 , 8 1 x 82 )
which is either bounded or non-negative, the functions
rE 2
f(x l , x 2 ) v(dx l x dx 2 )
J 1 xE
(4.1.4) = L2 (L1 j(x 1 , x2 ) M 1 (dx 1 ) ) M2 (dx2 )
L1 (L2 J(x 1 , x2 ) 1-t2 (dx2 ) ) /-ll (dx l ) ·
=
and
70 IV Products of Measures
for r E B l X 82 . using the Monotone Convergence Theorem, one sees that both
v1 , 2 and v2 , 1 are finite measures on (E1 E2 , 8 1 82 ). Moreover, by the same
x x
sort of argument as was used to prove Lemma 4. 1.2, for every non-negative
measurable function on (E1 E2 , 81 82 ):
x x
and
j j dv2 , 1 l2 (l1 f(x 1 , x2 ) /-l2 (dx2 ) ) /-l 1 (dx 1 ).
=
that both v1 , 2 and v2 , 1 fulfill the requirements placed on v. Hence, not only
does v exist, but it is also equal to both v1 , 2 and v2 , 1 ; and so the preceding
equalities lead to (4.1.4). D
In order to extend the preceding construction to measures which need not be
finite, we must ( cf. Exercise 4.1. 12) introduce a qualified notion of finiteness.
Namely, we will say that the measure JL on (E, B) is a- fi nite and will call
(E, B, JL) a a-finite measure space if E can be written as the union of a
countable number of sets r E B for each of which JL(r) < oo . Thus, for
example, (� N , BRN , AR N ) is a a-finite measure space.
4.1.5 Theorem ( Tonelli's Theorem ) . Let (E1 , 8 1 , JL I ) and (E2 , 82 , JL 2 ) be
a-finite measure spaces. Then there is a unique measure v on (E1 E2 , 8 1 82 ) x x
such that v(rl X r2 ) == JL I (rl ) JL(r2 ) for all ri E Bi · In addition, for every non
negative measurable function f on ( E1 E2 , 8 1 82 ), J f( · , x 2 ) JL2 (dx 2 ) and
x x
X
( m , n) E z + and is therefore equal to Vo on 8 1 82 . D
The measure v constructed in Theorem 4. 1.5 is called the product of Jll
times JL2 and is denoted by Jl l Jl2 · x
4.1.6 Theorem (Fubini's Theorem) . Let (EI , 8 1 , Jll ) and (E2 , 82 , JL2 ) be
a-finite measure spaces and f a measurable function on (E1 x E2 , 8 1 x 82 ) .
Then the f is Jll x Jl2-integrable if and only if
if and only if
Next, set
and
and
( 4. 1.7)
r ft (X ! ) J.L 1 ( dx ! ) i
=
jA 1
and the same line of reasoning applies to f2 . D
Exercises
--
Show that both r(j) and r(j) are elements of B X B[o ,CX)) and, in addition,
that
( 4.1.9)
Hint : In proving measurability, consider the function (x , t ) E E x [0, oo) r-----+
f(x ) - t E ( - oo, oo] ; and get (4. 1.9) as an application of Tonelli ' s Theorem.
Clearly (4. 1.9) can be interpreted as the statement that the integral of a non
negative function is the area under its graph.
4. 1 Fubini 's Theorem 73
4. 1 . 10 Exercise: Let (E1 , 81 , J.-t 1 ) and (E2 , 82 , J.-t 2 ) be a-finite measure spaces
and assume that, for i E { 1, 2} , 8i == a(Ei; Ci), where Ci is a 1r-system con
taining a sequence {Ei, n}� 1 such that Ei == U� 1 Ei , n and J-t i(Ei , n) < oo,
n > 1. Show that if v is a measure on (E 1 x E2 , 81 82 ) with the property
x
that v(r1 X r2 ) == J.-l 1 (r1 ) J.-l 2 (r2 ) for all ri E Ci , then V == J.-l 1 X J.-l 2 . Use this fact
to show that, for any M, N E z + ,
4. 1 . 1 1 Exercise: Let (E1 , 8 1 , J.-t 1 ) and (E2 , 82 , J.-t2 ) be a-finite measure spaces.
Given r E 8 1 X 82 ' define
r(l ) (x2 ) { Xi E El : (x l , x2 ) E r } E B l for X 2 E E2
and
r(2 ) (x l ) { X2 E E2 : (x l , x 2 ) E r } for Xi E El .
Check both that r( i ) (xj) E 8i for each Xj E Ej and that Xj E Ej r-----+
J.-ti ( r( i ) (xj) ) E [O, oo] is measurable on (Ej, 8j) ({i, j} == {1, 2}). Finally, show
that JL 1 JL2 (r) = 0 if and only if JLi (r( i ) ( xi ) ) = 0 for ttralmost every xi E Ei ;
x
and, conclude that JL 1 (r(l ) ( x2 ) ) = 0 for tt2 -almost every x 2 E E2 if and only
if /L 2 (r(2) ( xt) ) = 0 for IL l -almost every Xi E El . In other words, r E Bl X 82
has J.-t 1 J.-t 2 -measure 0 if and only if �-t 1 -almost every vertical slice (J.-t 2 -almost
x
( Hint : Try r == {(x, x) : 0 < X < 1}.) In particular, there is no way that the
second equality in ( 4.1.4 ) can be made to hold. Notice that what fails here is
really the uniqueness and not the existence in Lemma 4. 1.3.
74 IV Products of Measures
4. 1.13 Exercise: Let (E, B) be a measurable space. Given -oo < a < b < oo
and a function f : (a, b) E � � with the properties that /( · , x) E C((a, b))
x
x x
C 1 ((a , b)) for each x E E, set f'(t, x) == d� f(t, x) , x E E, and show that f' is
·
(E, B) and that there is a g E L 1 (JL) such that I f( t, x ) I V I f' ( t, x ) I < g(x ) for all
(t, x ) E (a , b) E. Show not only that JE f( x) JL(dx) E C 1 ((a, b)) but also
x · ,
that
�l l
f(t, x) J.L (dx) = f ' (t, x) J.L (dx) .
is the radius (i.e., half the di amet er) of r. Notice (cf. ( ii ) in Exercise 2.2.3) that
what (4.2.1 ) says is that, among all the subsets of �N with a given diameter,
the ball of that diameter has the largest volume; it is for this reason that (4.2. 1)
is called the isodiametric inequality.
At first glance one might be inclined to think that there is nothing to (4.2.1).
Indeed, one might carelessly suppose that every r is a subset of a closed ball
of radius rad(r) and therefore that (4.2.1) is trivial. This is true when N == 1.
However, after a moment ' s thought, one realizes that, for N > 1, although
r is always contained in a closed ball whose radius is equal to the diameter
of r, it is not necessarily contained in one with the same radius as r. ( For
example, consider an equilateral triangle in �2 .) Thus, the inequality 1 r 1e <
n N ( 2rad ( r )) N is trivial, but the inequality in ( 4.2. 1) is not! On the other hand,
there are many r ' s for which (4.2.1) is easy. In particular, if r is symmetric in
the sense that r == - r { -X : X E r}, then it is clear that
x E r ===} 2 l x l == l x + x l < 2rad(r) and therefore r c B (O, rad(r) ) .
Hence ( 4.2.1) is trivial when r is symmetric, and so all that we have to do is
devise a procedure to reduce the general case to the symmetric one.
4.2 Steiner Symmetrization and the Isodiametric Inequality 75
The method with which we will perform this reduction is based on a famous
construction known as the Steiner symmetrization procedure. To describe
Steiner ' s procedure, we must first introduce a little notation. Given v from
the unit (.LV - 1 ) -sphere s N - 1 {x E �N : l x l == 1 }, let L(v) denote the line
{tv : t E �}, P(v) the (N - I ) -dimensional subspace {x E �N : x ..l v}, and
define
S(r; v) {x + tv : x E P(v) and l t l < �f(r; v, x) } ,
where
f(r; v, x) l {t E � : x + tv E r} l e
X
is the length of the intersection of the line + L(v) with r. Notice that,
in the creation S(r; v) from r, we have taken the intersection of r with
x + L(v) , squashed it to remove all gaps, and then slid the resulting inter
val along x + L(v) until its center point falls on x. In particular, S(r; v) is the
symmetrization of r with respect to the subspace P(v) in the sense that, for
each x E P(v),
(4.2.2) x + tv E S(r; v) ¢:::::;> x - tv E S(r; v);
what is only slightly less obvious is that S(r; v) possesses the properties proved
in the next lemma.
4.2.3 Lemma. Let r be a bounded element of BRN . Then, for each v E
s N - 1 , S(r; v) is also a bounded element of �N , rad (S( r; v) ) < rad ( r ) , and
I S(r; v) I == 1 r 1 . Finally, if R : �N � �N is rotation for which L(v) and r
a
are invariant (i.e., R ( L(v) ) == L(v) and R(r) == r), then RS(r; v) == S(r; v) .
PROOF: We begin with the observations that there is nothing to do when
N == 1 and that, because none of the quantities under consideration depends
on the particular choice of coordinate axes, we may and will assume not only
that N > 1 but also that v == eN _ (0, . . . , 0, 1 ) . In particular, this means, by
Lemma 4. 1 .2, that
� E IRN - l f(�) � l lr((�, t) ) dt E [0, oo)
�
We next turn to the proof that rad (S (r ; eN ) ) cannot be larger than rad(r) ;
and, in doing so, we will, without loss in generality, add the assumption that
r is compact. Now suppose that x , y E S(r; eN ) are given, and choose � ' 'fJ E
�N - l and s, t E � so that x == ( � , s) and y == ( TJ , t) . Next, set
M ± (x) == ± sup{ T : ( � , ± 7 ) E r} and M ± ( y ) == ± sup{ T : ( TJ , ±T ) E r},
and note that, because r is compact, all four of the points x ± (� ' M ± (x))
and y ± == ( TJ , M ± ( y )) are elements of r. Moreover, 2 l s l < M+ (x) - M - (x)
and 2 l t 1 < M + ( y ) - M - ( y ) ; and therefore
r
Section 2. 1, is completely coordinate free. Namely, we are going to show that,
for all C �N ,
and
HN (Qrn) < �HN(rn) rn
for all { } f' C P (R N ) .
Indeed, the first of these is completely trivial, and the second follows by choos
ing, for a given E > 0, {Cm }1 so that
rm
c U cm and n N (rad ( C )) N < H N m + T m f
L
CEC m
(r )
and noting that
Moreover, because
1r 1 e < L C i e for any contable cover C,
CEC
I
(4.2.7)
PROOF: If G == 0 , there is nothing to do. Thus, assume that G =I= 0 , and set
Go == G. Using Lemma 2. 1.9, choose a countable, exact cover C0 of G0 by
78 IV Products of Measures
non-overlapping cubes Q. Next, given Q E C0 , choose x E JRN and 8 E [0, oo )
so that
N i
Q == Il [x - 8, xi + 8] and set BQ == B (x , � ) .
1
Clearly, the BQ ' s are mutually disjoint closed balls. At the same time, there is
a dimensional constant a N E (0, 1) for which I BQ I > a N I Q I ; and therefore we
can choose a finite subset { Bo, I . . . , Bo, no } C { BQ : Q E Co } in such a way
that no
Go \ U Bo,m < ,BN I Go l where ,BN 1 - ¥- E (0, 1).
m= 1
Now set G 1 == G0 \ U�o Bo , m · Noting that G 1 is again non-empty and open,
we can repeat the preceding argument to find a finite collection of mutually
disjoint closed balls B1 , m C G 1 , 1 < m < n 1 , in such a way that
n1
G 1 \ U B 1 ,m < ,BN I G 1 I ·
m= 1
More generally, we can use induction on f E z + to construct open sets Gt C
Gt - 1 and finite collections Bt , 1 , , Bt , n�. of mutually disjoint closed balls B c
• • •
Gt so that
nt
I Gt + l l < ,BN I Gt l where Gt+ 1 == Gt \ U Bt ,m ;
m= 1
clearly the collection
:
{ Bt ,m f E N and 1 < m < n�_}
has the required properties. D
4.2.8 Theorem. The equality in (4.2.5) holds for any set r c RN .
PROOF: As we have already pointed out, the inequality 1r1e < H N ( r ) is an
immediate consequence of ( 4.2. 1 ) . To get the opposite inequality, first observe
that HN ( r ) == 0 if 1r1e == 0. Indeed, if 1r1e == 0, then, for each E > 0 we can
first find an open G � r with I G I < E and then, by Lemma 2.1.9, a countable,
exact cover C of G by non-overlapping cubes Q, which means that
any open superset of r with I G I < oo . By Lemma 4.2. 7, we can find a sequence
{Bn}! of mutually disjoint closed balls B C G for which
CX)
I G \ A I == 0 where A == U Bn.
1
1 1
for every open G � r ; and, after taking the infimum over such G ' s, we arrive
at the desired conclusion. D
Exercises
5.0 Introduction.
We have now developed the basic theory of Lebesgue integration. However,
thus far we have nearly no tools with which to compute the integrals which
we have shown to exist. The purpose of the present chapter is to introduce
a technique which often makes evaluation, or at least estimation, possible.
The technique is that of changing variables. In this introduction, we describe
the technique in complete generality. In ensuing sections we will give some
examples of its applications.
Let (E1 , B1 ) and (E2 , B2 ) be a pair of measurable spaces. Given a measure
M on (E 1 , B1 ) and a measurable map � on (E1 , B1 ) into (E2 , B2 ), we define the
pushforward or image �*M == M o � - 1 of M under � by �* M (r) == M ( � 1 (r) ) -
( 5.0.2 )
The reason why it is often useful to make this change of variables is that the
integral on the right hand side of ( 5. 1.1 ) can often be evaluated as the limit
of Riemann integrals to which all the fundamental facts of the calculus are
applicable.
In order to see how the right hand side of (5.1. 1) leads us to Riemann in
tegrals, we will prove a general fact about the relationship between Lebesgue
and Riemann integrals on the line. Perhaps the most interesting feature of this
result is that it shows that a complete description of the class of Riemann inte
grable functions in terms of continuity properties defies a totally Riemannian
solution and requires the Lebesgue notion of almost everywhere.
5 . 1 . 2 Theorem. Let v be a finite measure on ((a , b], B (a ,b]) , where - oo <
a < b < oo , and set 'lj;(t) == v((a, t]) for t E [a, b] ( '1/J (a) == v(0) == 0) . Then, 'ljJ
is right-continuous on [a , b ) , non-decreasing on [a, b] , '1/J (a) == 0, and, for each
t E (a, b] , 'lj;(t) - 'lj;(t-) == v( {t} ) , where 'lj;(t - ) lim s/ t 'lj;(s) is the left-limit
of 'ljJ at t. Furthermore, if cp is a bounded function on [a , b] , then cp is Riemann
integrable on [a , b] with respect to 'ljJ if and only if cp is continuous (a. e. , v) on
(a , b] ; in which case, cp is measurable on ( (a , b] , B {a ,b] ) and
(5. 1.3) 1(a ,� r.p d v = (R) �f[a ,� r.p (t) d'lj;(t) .
(See Exercise 7. 1.31 to learn how to go from a right-continuous, non-decreasing
'ljJ to a measure Jl · )
PROOF: It will be convenient to think of v as being defined on ( [a , b] , B [a ,b])
by v(r) v(r n (a, b] ) for r E B[ a ,b] . Thus, we will do so.
82 V Changes of Variable
Given m > 1, let Cm, n be the set of those I E Cn such that sup 1 cp - inf1 cp > � .
It is then easy to check that
CX) CX)
{t E (a, b] \ � : cp is not continuous at t} c u n U cm,n ·
m= l n= l
But, by Exercise 1.2.26,
---+- 1( a ,b]
CX) 1( a ,b] ---+- 1( a , b]
In particular, we conclude that
5.1 Lebesgue Integrals vs. Riemann Integrals 83
as n � oo. From this it is clear both that cp is Riemann integrable on [a , b]
with respect to 1/J and that (5 . 1 . 3 ) holds. D
We are now ready to prove the main result to which this section is devoted.
5.1.4 Theorem. Let (E, B, JL) be a measure space and f a non-negative,
measurable function on (E, B). Then t E (0, oo) � JL(f > t) E [0, oo] is a
right-continuous, non-increasing function. In particular, it is measurable on
( ( 0, oo), B( o , oo ) ) and has at most a countable number of discontinuities. Next,
assume that cp E C ( [0, oo)) nC 1 ( (0, oo)) is a non-decreasing function satisfying
cp(O) == 0 < <p ( t ) , t > 0, and set cp( oo) == lim t � oo cp ( t ) . Then
(5. 1.5) f r.p o f ( x) J-L( dx) = fo oo r.p ' ( t)J-L(f > t) AIR ( dt) .
JE J( , )
Hence, either JL(f > 8) == oo for some 8 > 0, in which case both sides of ( 5.1.5)
are infinite, or for each 0 < 8 < r < oo the map t E [8, r] � cp '(t)JL(f > t) is
Riemann integrable and
f r.p o f(x) J-L( dx) = lim (R) f r.p ' (t ) J-L(f > t) dt.
}E r/8 �oo0 }[8,r]
PROOF: It is clear that t E (0, oo) � JL(f > t) is right-continuous and non
increasing. Hence, if 8 == sup{ t E (0, oo) : JL(f > t) == oo } , then JL (f > t) == oo
for t E (0, 8) and t E (8, oo) � JL(f > t) has at most a countable number of
discontinuities. Furthermore, if
h (t ) == Jl ( f > ktl ) for t E ( � , ktl J , k > 0, and n > 1,
n
t) for each t E (O, oo). Hence, t E (O, oo) � JL(f > t) is measurable on
( ( 0, oo), B(o , oo ) ) .
We turn next to the proof of ( 5.1.5). Since (cf. Exercise 3.3. 18)
limo f
o:� limo (R) {6 r.p' ( t) dt = r.p( 8)
r.p' ( t) dt = o:�
}( o: , 8] l o:
and therefore
it is clear that both sides of (5. 1.5) are infinite when JL(f > 8) == oo for some
8 > 0. Thus we will assume that JL(f > 8) < oo for every 8 > 0. Then the
restriction of Jl J to B[8 , oo ) is a finite measure for every 8 > 0. Given 8 > 0, set
84 V Changes of Variable
'l/J8 (t) ==
J.t J ((8, t]) for t E [8, oo) and apply Theorem 5.1.2 and Theorem 1.2.7
to see that
r
/<r
1{8 < }<p o 1 dJ.L =
(8, r <p j
dJ.L J = (R) r <p (t) d'I/Jti (t)
) 1[8 r] ,
= <p (r) 'I/Jti (r) - (R) f '1/Jti (t) <p ' (t) dt
1[8,r]
= <p ( 8) '1/Jti ( r) + (R) f ( '1/Jti ( r) - '1/Jti ( t) ) <p 1 ( t) dt
1[8,r]
= <p (8) J.L (8 < f < r) + (R) f J.L (t < f < r) <p ' (t) dt
1[8,r]
== cp(8)�-t(8 < f < r) + j(8, r) J.t(t < f < r) cp' (t) AR(dt)
for each r E ( 8, oo) . Hence, after simple arithmetic manipulation and an
application of the Monotone Convergence Theorem, we get
{
1{8 < / < oo } ( <p o f - <p (8)) dJ.L = j(8, oo) cp' (t)�-t(t < f < oo) AR(dt)
after r / oo. At the same time, it is clear that
f ('P o J - <p (8)) dJ.L = [<p (oo) - <p (8)] M U = oo)
1{ / = oo }
== j( 8, oo)
J.t(f == oo) cp' (t) AR(dt);
and, after combining these, we now arrive at
{
1{! > 8 } ('P o f(x) - <p (8)) J.L (dx) = j(8,oo ) J.t(f > t) cp' (t ) AR(dt).
Thus, (5.1.5 ) will be proved once we show that
8lim r ('P 0
f(x) - <p (8) ) J.L (dx) = r <p f(x) J.L (dx). 0
0
� 1{ / > 8} 1 E
But if 0 < 81 < 82 < oo, then 0 < (cp o f - cp (82 ) ) 1 { /> 82 } < (cp o f
I
cp(8 ) ) 1 { / > 8 } , and so the required convergence follows by the Monotone Con
1
vergence Theorem.
Finally, to prove the last part of the theorem when J.t(f > 8) < oo for every
8 > 0, simply note that
r
J(O , oo ) <p lim
1 (t) J.L (f > t) AR(dt) = 6)0 j
r/ oo (li, r]
cp ' (t)�-t(f > t) AR(dt) ,
Exercises
Compare this result to the one obtained in the last part of Exercise 3.3. 16.
-1
surface measure AsN on s N - 1 to be the image under q, of N AR N restricted
to Bn ( o , 1 )\{ 0 } · Noting that q,(rx) = q,(x) for all r > 0 and x E �N \ {0} , we
conclude from Exercise 5.0.3 that
{ j o if!(x) dx = r N { j o if! (x) dx
1B ( O , r)\{ 0 } 1B (0, 1 )\{ 0 }
86 V Changes of Variable
and therefore that
r N
(5.2.1) {n j o if!(x) dx = N {sN- 1 j(w) >. gN- 1 (dw)
J ( O , r)\{ 0 } J
for every non-negative measurable f on ( S N - 1 , B8N-1 ). In particular, using
w
N--11 - AsN - 1 ( s N - 1 ) to denote the surface area of s N - 1 ' we have that
W� is the volume n N of the unit ball B(O, 1) in �N .
Next, define w : (O, oo) X s N - 1 � �N \ {0} by w(r, w) = rw. Note that
w is one-to-one and onto; the pair (r, w) w - 1 (x) = (lx l , �(x)) are called the
polar coordinates of the point x E � N \ {0}. Finally, define the measure RN
on ( (0, oo) , B( o , CX) ) ) by RN (r) = fr r N - 1 dr.
The importance of these considerations is contained in the following result.
5.2.2 Theorem. Referring to the preceding, one has that
ARN = w* ( RN X AsN- 1 ) on BR N \{ 0 } ·
a
In particular, if f is non-negative, measurable function on (�N , BR N ) , then
JR J(O , CX) )
(
r N j(x) dx = r r N - 1 rsN- j(rw) ).gN- 1 (dw) dr
l 1
)
(5.2.3)
(
= rsN- 1 r f(rw)r N - 1 dr AsN- 1 (dw) .
l J( o , CX))
)
PROOF: By Exercise 3.3.22 and Theorem 4.1.5, all that we have to do is check
that the first equation in ( 5.2.3 ) holds for every
f E Cc ( �N ) {! E C ( �N ) : f 0 off of some compact set}.
=
To this end, let f E Cc( �N ) be given and set F(r) = fn ( o ,r) f(x) dx for r > 0.
Then, by (5.2.1), for all r, h > 0:
F(r + h) - F(r) = f f(x) dx
jB ( O , r + h)\B (O , r)
J
B ( O , r + h)\B ( O , r)
f o \II ( r, if!(x)) dx
+ J
B ( O , r + h)\B ( O , r)
0
( f(x) - f w(r, �(x)) ) dx
=
(r + h) N - r N
N
i gN- 1 f o \II ( r, w) >. sN-l (dw) + o(h),
where "o ( h)" denotes a function which tends to 0 faster than h. Hence, F
is continuously differentiable on (0, oo) and its derivative at r E (0, oo) is
5. 2 Polar Coordinates 87
given by r N - 1 fsN- 1 f o 'll (r, w) AsN-1 (dw). Since F(r) -----+ 0 as r '\. 0, the
desired result now follows from Theorem 5. 1.2 and the Fundamental Theorem
of Calculus. D
Exercises
{ rN {
1( o, oo )
( 1[ - 1 , 1 ] x sN- 1 f ( )
r 3 (p, w)) J-L N (dp X dw ) dr
( 2)
r e - dx == rJR2 e - 2 dx == 27r r re - 2 dr == 27r
� 2
� r 2
1R 1 1( o, oo )
and conclude that for any N E z + and symmetric N N-matrix A which is
x
strictly positive definite ( i.e., all the eigenvalues of A are strictly positive),
(5.2.7)
Hint : try the change of variable �(x) == TA _ ! x.
t
( ii ) D efine r ( 1' ) == f( o, oo ) fY - 1 e - t d for 1' E (0, oo). Show that, for any 1' E
(0, oo ) , r(1' + 1) == 1'r( 1') · Also, show that r ( � ) == 1r � . The function r( · ) is
called the Euler ' s Gamma function. Notice that it provides an extension of
the factorial function in the sense that r( n + 1) == n! for integers n > 0.
( iii ) Show that
2{ 7r) N
2
WN - 1 = r ( � ) ,
and conclude that the volume O N of the N-dimensional unit ball is given by
7r N
2
f! N == r ( -N + 1 )
2 .
/3
( iv ) Given a , E (O, oo) , show that
fJ
Hint: Define 'lj;( s ) for s E � to be the unique t E (0, oo ) satisfying s
at ! - (3t - ! , and use part ( i ) of Exercise 5. 1 .6 to show that
1 [
2 (3 2
t - 1 exp - a t - - dt ==
] e - 2 o ,8 1 e - s ds.
2
( O ,CX))
2
t a R
* Because we will be dealing with balls in different dimensional Euclidean spaces here , we
will use the notation BJR( a , r) to emphasize that the ball is in � N .
90 V Changes of Variable
PROOF: By the Inverse Function Theorem,t for each x E
G there is an open
neighborhood u c G of X such that 4l r u is invertible and its inverse has
first derivatives which are bounded and continuous. Hence, G can be written
as the union of a countable number of open sets on each of which 4l admits
an inverse having bounded continuous first order derivatives; and so, without
loss in generality, we may and will assume that � admits such an inverse on
G itself. But, in that case, it is obvious that both 4l and 4l - 1 are continuous.
In addition, by Lemma 2.2. 1 , both take sets of Lebesgue measure 0 into sets
of Lebesgue measure 0. Hence, by that same lemma, we now know that both
4l and 4l - 1 take Lebesgue measurable sets into Lebesgue measurable sets. D
A continuously differentiable map 4l on an open set U C �N into �N is
called a diffeomorphism if it is injective (i.e., one-to-one ) and 8clt never
vanishes. If 4l is a diffeomorphism on the open set U and if W == 4l( U ), then
we say that 4l is diffeomorphic from U onto W . In what follows, for any
given set r C �N and 8 > 0, we use
r < 6) - { X E �N : I Y - x l < 8 for some y E r}
to denote the open 8-hull of r.
5.3.2 Theorem (Jacobi's Transformation Formula) . Let G
be an open
set in � N and 4l an element of C2 (G; �N ). If the Jacobian of cit never van
ishes, then, for every measurable function f on ( 4l(G), BR N [4l(G)] ) , f o cit is
measurable on ( G, BR N [G] ) and
(5.3.3) r
jif!(G)
J( y ) dy < 1G f 0 4l (x) 84l(x) dx
whenever f is non-negative. Moreover, if 4l is a diffeomorphism on G, then
(5.3.3) can be replaced by
( 5.3.4 ) r
jif!(G)
f( y ) dy = 1G f 0 4l(x) 84l(x) dx .
PROOF: We first note that (5.3.4 ) is a consequence of (5.3.3) when cit is one-to
one. Indeed, if 4l is one-to-one, then the Inverse Function Theorem guarantees
that 4l - 1 E C 2 (4l(G) ; �N ) . In addition,
(Cf. Section 2.2 for the notation here.) At the same time, there is an M < oo
(depending only on L, the lower bound on 8 4l, and the upper bounds on the
first derivatives of 4l) such that
PROOF: To see that M is the countable union of compacts, choose, for each
p E M, an r(p) > 0 and a function Fp so that (5.3.7) holds. Next, select a
countable subset {Pn}! from M so that
00
Hence, v E Ty (M) .
To prove the final assertion, note that a covering argument, just like the one
given at the beginning of this proof, allows us to reduce to the case when there
is an r > 0 and an a three times continuously differentiable F : M (2r) � �
such that I VF I is uniformly positive and M == {x E M (2r ) : F(x) == 0} . But
in that case, we see that
r(p) = x + t VF(x)
{ i V' F(x) l : x E r and lt l < p ,
}
and so the desired measurability follows as an application of Lemma 2.2 . 1 to
the Lipschitz function
D
AM (r) == plim 1
- AR N (r(p) )
( 5.3. 10) �O 2p
for bounded r E BR N with r c M.
Notice that, aside from the obvious question about whether the limit exists
at all, there is a serious question about the additivity of the resulting map
r � AM (r) . Indeed, just because r1 and r2 are disjoint subsets of M' it will
not be true, in general, that r1 (p) and r2 (p) will be disjoint. For example,
when M == s N - 1 and p > 1 ' r1 (p) and r2 (p) will intersect as soon as both are
non-empty. On the other hand, at least in this example, everything will be all
right when p < 1; and, in fact, we already know that (5.3. 10 ) defines a measure
when M == S N - 1 . To see this, observe that, when p E ( 0, 1) and M == S N - 1 ,
where the measure AsN- 1 is the one described in Section 4.2. Hence, after
letting p � 0, we see not only that the required limit exists but also gives the
measure AsN - 1 . In other words, the program works in the case M == s N - 1 ,
and, perhaps less important, the notation used here is consistent with the
notation used in Section 4.2.
In order to handle the problems raised in the preceding paragraph for general
hypersurfaces, we are going to have to reduce, at least locally, to the essentially
trivial case when M == �N- 1 {0}. In that case, it is clear that we can identify
x
M with �N- 1 and r(p) with r X ( -p, p) . Hence, even before passing to a limit,
we see that
In the lemmata which follow, we will develop the requisite machinery with
which to make the reduction.
5.3. 1 1 Lemma. For each p E M there is an open neighborhood U of 0 in
�N- 1 and a three times continuously differentiable injection (i.e. , one-to-one)
\}1 U -----+ M with the properties that p == w(O) and, for each E U, the set
: u
is one-to-one and has three continuous derivatives. Finally, because \}1 takes
its values in M, it is obvious that
(5.3. 13)
96 V Changes of Variable
Then 8 '}1 never vanishes, and there exists a unique twice continuously differ
entiable n : U ------+ s N - 1 with the properties that n(u) l_ Tw ( u ) (M) and *
det [ W , 1 . . . W , N - 1 n(u) T ] = 8W(u)
for every u E U. Finally, define
�(u, t) == W(u) + tn(u) T for (u, t) E U X �-
Then
(5.3. 14) 8 w(u, 0) == 8 w(u) , u E U,
and there exists an open set U in �N such that � r U is a diffeomorphism,
u == { u E �N - 1 : (u, 0) E U} , and w(U) == �(U) n M. In particular, if
x and y are distinct elements of \}1 ( U), then { x} (p) n \}1 ( U) is disjoint from
{ y } (p) n w(U) for all p > 0.
PROOF: Given a u E U and an n E s N - 1 which is orthogonal to Tw ( u ) (M) ,
{ \}1 1 ( u), . . . , \}1 , N - 1 ( u) , nT } is a basis for �N and therefore
,
Hence, (5.3. 14) is proved. In particular, this means, by the Inverse Function
Theorem, that, for each u E U, there is a neighborhood of (u, 0) in RN+ 1
on which \}1 is a diffeomorphism. In fact, given u E U, choose r and F for
p == w(u), and take p > 0 so that
'VF ( W ( w ))
Then, because n (w) = ± j F ( w ( )) j for all w E BR N- 1 (u, p) ,
V' w
F ( �(w, t) ) == ± t ! VF ( w(w)) ! + E(w, t)
for (w, t) E BR N- 1 (u, p) ( - � , � ) ,
x
where ! E(w, t) l < Ct2 for some C E (0, oo ) . Hence, by readjusting the choice of
p > 0, we can guarantee that \}1 r BIRN - 1 ( u, p) X ( - p, p) is both diffeomorphic
and satisfies
this would mean that \}1 ( w) == \}1 ( u) and therefore, since \}1 is one to one, would
lead to the contradiction that 0 == ! w - u l >
R�+ 1 • Hence, En + 1 > 0. Finally,
- -
to see that \}1 f Kn + 1 is one to one, we need only check that
(u, s) E (Un + 1 \ Un) X [ - En + 1 , En + 1 ] and (w, t) E Kn ===} �(u, s) =/= �(w, t) .
But, if l u - w l < R�+ 1 , then both (u, s) and ( t) are in BR N- 1 (un+ 1 , Pn + 1 )
w, x
( -Pn + 1 , Pn + 1 ) and � is one to one there. On the other hand, if l u - w l > R�+ 1 ,
then
w w
l �(u, s) - � ( , t) l > l w(u) - �( , t) l - l sl > 2En + 1 - En + 1 == En + 1 > 0. D
n- 1
Mn == (BRN (pn , rn) n M) \ u Mm for n > 2.
1
Finally, for each n E z + , define the finite measure Jln on (M, BRN [M] ) by
and set
(5.3.19)
In particular, we have now proved that the measure defined in (5.3.19) satisfies
(5.3. 10) and that AM is finite on compacts. Moreover, since (cf. Lemma 5.3.8)
M is a countable union of compacts, it is clear that there can be only one
measure satisfying (5.3. 10) .
Finally, if ( \}1' U) is a coordinate chart for M and r E BR N with r c \}1 ( U) is
bounded, then (5.3.18) with f == l r is an immediate consequence of (5.3.16).
Hence, (5.3. 18) follows in general by taking linear combinations and monotone
limits. D
The measure AM produced in Theorem 5.3.1 7 is called the surface measure
on M.
Exercises
5.3.20 Exercise: In the final assertion of part ( ii ) in Exercise 5.2.4 and again
in ( i ) of Exercise 5.2.6, we tacitly accepted the equality of 1r , the volume 02 of
the unit ball BR 2 (0, 1 ) in �2 , with the half-period of the sin and cos functions.
1r ,
1(0, 1 )
Show that
B ( a, {3) = rr(a
(a)r(/3)
+ {3)
where r( · ) is the Gamma function described in ( ii ) of Exercise 5.2.6. ( See part
( iv ) of Exercise 6.3.18 for another derivation.) The function B is called the
Beta function. Clearly it provides an extension of the binomial coefficients
in the sense that
m+n+ 1 m+n ( )
B (m + 1 , n + 1 ) - m
for all non-negative integers m and n.
Hint: Think of r(a) r({3) an integral in (s, t) over (O, oo) 2 , and consider
as
the map
( u , v ) E (0 , oo) (0 , 1 )
x
uv
f--+
u( 1 v)
E[ (0 , oo) ]
2•
( ii ) For ,\ > � show that
Hint : Use polar coordinates and then try the change of variable 4l{r) == 1 � r2 •
2
1(- 1,1)
(1 - e ) � - 1 d�WN .
WN - 1
=
Finally, check that this last result is consistent with part ( iii ) of Exercise 5.2.4.
102 V Changes of Variable
5.3.25 Exercise: Let U be a non-empty, open subset of JR N - 1 and f E
C3 (U ; JR) be given, take
M = { (u, f(u)) : u E U} and W(u) = [!�)] , u E U.
That is, M is the graph of f.
(i) Check that M is a hypersurface and that (U, w) is coordinate chart for M
which is global in the sense that M == w(U ) .
(ii) Show that
5.3.26 Exercise: Let G be a non-empty, open set in JRN , and assume that
M {x E G : F(x) == 0} f= 0 and that F , N never vanishes on M.
_
(i) Set U == {u E JR N - 1 : (u, t) E M for some t E JR}, and show that there
exists an f E C3 (U ; JR) with the property that F (u, f(u)) == 0 for all u E U.
In particular, M is the graph of f.
(ii ) Define \}1 from f as in Exercise 5.3.25, and conclude that
4l ( x ) ==
XN- 1
F( x)
5.4 The Divergence Theorem 103
and show that � is a diffeomorphism. As an application of Exercise 5.3.26,
show that, for each t E T, Mt is a hypersurface and that, for each cp E Cc (G) :
cpl\7
Mt1<p d >.. M,1RN -1
= l�(G) ( u, t) Fl
I F, N I o � - 1 (u, t) du, t E T.
G1cp (x) dx = f 1;
jfJ!(G) , N I
o � - 1 ( y ) dy
=
£ (lN -l N
)
l�(G) ( u , t) I ; I o � - 1 (u , t) du dt .
After combining this with part (i) , arrive at the following (somewhat primitive)
version of the co-area formula
(5.3.28)
(5.4.1)
Notice that if G is a smooth region, then, for each p E 8G, there is a unique
n(p) E s N - 1 n Tp ( 8G)_l_ with the property that, for some E > 0:
(5.4.2) {
p + � n (p ) E
GC if � E ( 0 ' E )
G if � E ( - t:, O).
104 V Changes of Variable
For obvious reasons, n (p) is called the outer normal to 8G at p. Notice
that x E 8G � n (x) E s N - 1 is locally ( i.e., on each compact ) Lipschitz
continuous, since if r and F are chosen for p so that (5.3.7) and (5.4. 1) hold,
then (cf. Lemma 5.3.8)
n(x) = I \1 F(x)
F(x) l ' X E BJRN (p, r) n aG.
Y'
Our main goal in this section will be to prove that if f E Cc (� N ; �) ( i.e.,
vanishes off some compact subset ) and G is a smooth region, then for every
w E sN- 1 :
d
(5.4.3 ) r f(x + �w) dx = r f(x) (w, n (x)) R N Aaa ( dx).
d
� la e = o la c
Observe that (5.4.3) is another way of seeing that surface measure is in truth
the derivative of ARN across the surface. Indeed, since there is no requirement
that f be differentiable, it must be Lebesgue ' s measure which is absorbing the
derivative on the left hand side of ( 5.4.3) .
The key to (5.4.3) is contained in the following lemma.
5 .4.4 Lemma. Let G be a smooth region. Then, for each p E 8G, there is a
f.
coordinate chart (w, U) for 8G and an > 0 with the properties that: U is
bounded, p E w(U), and the associated map
of) w(U) .
PROOF: To prove the first part, use Lemma 5.3. 1 1 to choose some coordinate
chart (4l, W) for 8G with p-E 4l(U) ,- assume that W is connected, and define
associated n (w) , w E W, W, and 4l as in Lemma 5.3. 12. Clearly, n (w) ==
± n ( 4l ( w)) , with the same choice of sign for every w E W. Hence, if necessary
after replacing w by W' == { w : ( w 1 , . . . ' - W N - 1 ) E w} and cit by
we may and
- -
will assume that n( w) ==- n ( 4l ( w)) for all w E W. In particular,
because 4l(W) n 8G == 4l(W) and 4l(w, t) -E G- for sufficiently small strictly
negative t ' s, we know that, for each ( w, t) E W, 4l( w, t) E G if and only if t < 0.
5.4 The Divergence Theorem 105
and
�2 (� ) L ( 1 c (x - �wn (x) ) - 1 a (x) ) f(x) dx.
In order to prove that (5.4.3) holds, we will show that
lim � 1 ( � ) = 0
e ---+ 0 �
(5.4.7)
� 2 (� ) = f(x) wn (x) A (dx);
lim
e ---+ O � 1 G
aa
and we will begin with the second, and easier part of ( 5.4. 7) . To this end, we
use Theorem 5.3.2 and Fubini ' s Theorem to write
� 2 (� ) =
fu g( � , u) du, 1� 1 < r,
where
g(� , u)
- 1 ) [1 ( - oo ,O) (t - �wn (W(u)) ) - 1 ( - oo ,o) (t) ] f ( --J, (u, t) ) 8--J, (u, t) dt.
( - t: , t:
Clearly,
x - �w E G but x - �wn ( Y ) � G ===} 0 < D (x - �wn (x) ) < E(x, � )
x - �w � G but x - �wn ( Y ) E G ===} E(x, � ) < D(x - �wn (x)) < 0.
Thus,
� � � ( � ) � < ll f ll u AR N (r( � ) )
where r( � ) {X E K I D (x - Wn(x)) I < I E(x, � ) I }.
= :
In order to estimate ARN ( r( � )) ' first observe that, for some cl < oo ,
which, together with ( 5.4.8 ) , leads to the existence of a c2 < 00 for which
But, since w - w0(x) ..l n(x) , this, in conjunction with Taylor 's Theorem, says
that
5.4 The Divergence Theorem 107
for some C < oo. In other words, we have now shown that
r( � ) c { x E K : I D (x - �wn(x)) i < ce }
C q, ( { (u, t) E fJ : l t - �wn (W(u)) l < ce } ) ·
Finally, set
1
Set n
'1/Jo ( x ) == dist ( x, HC ) and '1/Jm ( x ) == dist ( x, BJR N (pm , 3rm) C ) for 1 < m < n.
It is then clear that each '1/Jm is a non-negative, continuous function and that
n
Hence, if
'1/J m ( x )f( x
fm ( x ) = s x ) ' x E IR. N and 0 < m < n,
( )
then each fm is continuous, f == 2:� fm , fo vanishes off a compact subset of
8G C , and, for 1 < m < n, fm vanishes off of a COmpact subset of � ( U ) Prn Prn ·
Although ( 5.4.3 ) is the basic fact which we wanted to prove in this section,
it does not present the result in the form which is most frequently encountered
in applications. To see how to pass from ( 5.4.3 ) to the expression which we
are after, assume that f is continuously differentiable in a neighborhood of G,
and ( cf. Exercise 4. 1 . 13 ) note that ( 5.4.3 ) becomes
then
{ div F (x) dx = { ( F (x) , n(x)) JR N Aaa (dx) .
lc lac
Before dropping this topic, we will give some examples of the way in which
The Divergence Theorem is used in the analysis of partial differential equations.
Let � = �f" 1 8�::! denote the standard Laplacian. The following vari
ant on The Divergence Theorem provides one of the keys to the analysis of
equations in which � appears.
5.4. 12 Theorem (Green's Identity) . Let G be a smooth region in �N and
U an open neighborhood of G. If u and v are twice continuously differentiable
�-valued functions on U and either G is bounded or u has compact support in
U, then
fa u �v dx - fa v �u dx
(5.4.13) 1 u ov Aac (dx) - 1
== �
ou A ac (dx ) ,
v�
ac un ac un
where
of (x) d f(x
On � + � n( x ) ) �=O = (V' f(x) , n(x)) JR N
( 5.4.14) g( x ) _
{ - log l x l
- l xi 2 - N
if N ==
if
2
N>3
for X E �N \ {0} .
1 10 V Changes of Variable
Note that g and I Vg l are integrable on every compact subset of JRN . In addi
tion, the following facts about g are easy to verify:
(5.4. 15) N
flg(x) == 0 and l x i \7g(x) ==
-x {
if N == 2
(2 - N)x if N > 3
on JR N \ {0}.
Our first application allows us to solve the Poisson equation flu == - f.
5 .4. 16 Theorem. Set CN == 21r or (N - 2) W N - 1 (cf. Exercise 5.2.6) depending
on whether N == 2 or N > 3. Given f E c; ( lR N ; lR) ' define UJ on JRN by (cf.
(5. 1 . 14))
U J (X) =
r g(x - y )f( y ) dy .
_2._
CN }JRN
Then U J E C2 ( JRN ; lR ) and flu! == -f .
PROOF: First observe that another expression for UJ ( · ) is JJRN g( y )f( · - y ) dy ,
and it is clear ( cf. Exercise 4. 1 . 13) from this latter expression not only that
U J E C2 ( 1RN ; JR) but also that flu, (x) == JJRN g ( y )flf(x - y ) dy . Thus, all that
we need to do is check that JRN g( y )flf(x - y ) dy == - eN f(x).
Fix x and choose R > 1 so that f 0 off of B(x , R - 1) . For 0 < r < R, set
Gr == B(O, R) \ B(O, r) . Then
r N g ( y ) b.. f (x - y ) dy = rlim � O r g ( y ) b.. f (x - y ) dy ;
}R Jar
and, by Green ' s Identity and (5.4. 15) , for each 0 < r < R ( cf. Exercise 5.3.22) :
r g ( y ) b.. f (x - y ) dy
Jar
of (x - y ) AsN- 1 ( r) (dy ) -
== 1
8Gr
g( y ) -
0 n 1 8Gr
f(x - y ) �
-
0 n
(y ) Aaar (dy )
o f
= - 1
8B ( O , r)
g( y ) a p (x - y ) >. a B ( o, r) (dy )
+
i N-1 og ( y ) A B(O , r) (dy )
f(x - y ) -
0p a
S (r )
== - r N - 1 gN- 1 g(rw) -of (x + rw)AsN- 1 (dw)
1 0p
+r N - 1
gN- 1 f(x +irw) o
-g
0p
(rw)AsN- 1 (dw),
where g denotes differentiation in the outward radial direction and we have
P
used Exercise 5.3. 17 together with the fact that, for Gr , :n == - gp on s N - 1 (r).
But r N - 1 g(rw) � 0 uniformly as r � 0 and ( cf. (5.4. 15) )
N _ 1 o g -1 {
r -p ( rw) == - (N - 2) if N > 3.
if N == 2
o
5. 4 The Divergence Theorem 111
lim r g( y ) f}.j(x - y ) dy
r �O Ja r
CN
N-
l
u(Rw) AsN-1 (dw) ,
WN - 1 S 1
the second term tends to 0 as r � 0, while the third term tends to - cN u(O) . D
1 12 V Changes of Variable
Exercises
EC
and
Next, let F be general. Choose and fix some element y0 of C, and let { yk}1
be a dense sequence in c. Given m E z + ' choose Rm > 0 so that
for each x E C.
116 VI Some Basic Inequalities
PROOF: The convexity of C is obvious.
In order to prove that g is concave on C if H9 (x) is non-positive definite
at every x E C, we will use the following simple result about functions on
0
is impossible, since then we would have that u� ( ) > 0. { The astute reader
s
will undoubtedly see that this result could have been derived as a consequence
of the strong minimum principle in Exercise 5.4.19 for N == 1.)
Now assume that H9 ( x ) is non-positive definite for every x E C. Given
0
2u{O) == 2u t -2 t ( ) ==
(
2g 21 (x + tw) + 21 (x - tw) )
> g ( x + tw) + g( x - tw) == u(t) + u( - t),
from which would we would get the contradictory conclusion that u"(O) <
0. D
a:
6. 1 Jensen, Minkowski, and Holder 117
PROOF: In view of Lemma 6. 1.2, it suffices for us to check the first assertion.
To this end, let T == a + c be the trace and D == ac b2 the determinant of A.
-
PROOF: The case when p == 1 follows from (3.2.13). Also, without loss in
generality, we assume that ff and ff are JL-integrable and that !I and !2 are
[0, oo ) -valued.
Let p E ( 1, oo ) be given. If we assume that JL ( E ) == 1 and we take a == ! ,
then, by Lemma 6. 1.3 and Jensen ' s inequality,
[ (l fi dJ1) i + (l g dJ1) i r
More generally, if JL ( E ) == 0 there is nothing to do, and if 0 < JL ( E ) < oo we
can replace Jl by JL(E) and apply the preceding. Hence, all that remains is the
case when JL ( E ) == oo . But if JL ( E ) == oo , take En == {!I V !2 > � } , note that
JL ( En ) < nP J ff dJl + nP J ff dJl < oo , apply the preceding to JI , !2 , and Jl all
restricted to En , and let n ---t oo . D
for every p E ( 1, oo ) .
118 VI Some Basic Inequalities
PROOF: First note that if either factor on the right hand side of the above
inequality is 0, then !I f2 == 0 (a.e. , JL) , and so the left hand side is also 0.
Thus we will assume that both factors on the right are strictly positive, in
which case, we may and will assume in addition that both Jf and f� are
I
JL-integrable and that !I and f2 are both [0, oo )-valued. Also, just as in the
proof of Minkowski ' s inequality, we can reduce everything to the case when
JL(E) == 1. But then we can use apply Jensen ' s Inequality and Lemma 6. 1.3
with a == � to see that
(l Jf d11) (l J{ d11) ? D
*
Exercises
· · ·
n
< � L:� = l am , which is the statement that the arithmetic mean dominates the
geometric mean.
(ii) Let n E z + , and suppose that !I , . . . , f are non-negative, measurable
P E ( 1, oo ) satisfying
n
6. 1. 7 Exercise: When p == 2,
Minkowski ' s and Holder ' s inequalities are in
timately related and are both very simple to prove. Indeed, let !I and f2
be bounded, non-negative, measurable functions on the finite measure space
(E, B, JL) . Given any a f= 0, observe that
6. 2 The Lebesgue Spaces 119
from which it follows that
2 r h 12 df-l < t r tt df-l + �t r Ji df-l
JE JE JE
for every t > 0. If either integral on the right vanishes, show from the preceding
that JE f1 f2 dJl < 0. On the other hand, if neither integral vanishes, choose
t > 0 so that the preceding yields
(6. 1.8)
Hence, in any case, (6.1.8) holds. Finally, argue that one can remove the
restriction that f1 and f2 be bounded, and then remove the condition that
JL (E ) < oo . In particular, even if they are not non-negative, so long as ft and
fi are JL-integrable, conclude that f1 f2 must be JL-integrable and that (6. 1.8)
continues to hold.
Clearly (6.1.8) is the special case of Holder ' s inequality when p == 2. Because
it is a particularly significant case, it is often referred to by a different name
and is called Schwarz's inequality. Assuming that both ft and fi are JL
integrable, show that the inequality in Schwarz ' s inequality is an equality if
and only if there exist ( a , {3) E �2 \ {0} such that af1 + /3!2 == 0 ( a.e. , JL ) .
Finally, use Schwarz ' s inequality to obtain Minkowski's inequality for the
case when p == 2. Notice the similarity between the development here and that
of the classical triangle inequality for the Euclidean metric on � N .
6. 1.9 Exercise: There is a "better" proof of Jensen ' s inequality which is
based on the following geometric fact. Namely, if g is a continuous, concave
function on the closed, convex subset C in � N , then, for each p E C, there is a
v E �N such that the line L { ( x, g (p) + (v, x - p) R N ) : x E �N } lies above
6 { (x, t) E C x � : t < g(x) } in �N + l . That is, g(x) < g (p ) + (v, x - p)R N
for every x E C. Assuming this fact*, give another derivation of Jensen ' s
Inequality. ( Hint: Take p == J F dJL. )
* When C is the closure of its interior and g is smooth, this fact is an easy consequence of
Taylor 's Theorem. In general, it can be seen as an application of the Hahn-Banach Theorem
for JR N .
120 VI Some Basic Inequalities
for measurable functions f on (E, B) . Also, if f is a measurable function on
( E, B) define
3.2.14) of �-valued, measurable functions f satisfying ll f ll £v (J.L ) < oo, and, once
again, we will abuse notation by using f to denote its own equivalence class
[/] 1-L
I"V .
Next suppose that {In } ! C LP (Jl) for some p E [1 , oo] and that I is an �
valued measurable function on (E, B) .
(i) If p E [1, oo ) and fn � f in LP (JL) , then In � I in JL-measure. If
fn � f in L CX) (JL) , then fn � f uniformly off of a set of JL-measure 0.
(ii) If p E [ 1 , oo ] and In � f in JL-measure or ( a.e. , JL ) , then 11 / II L P(J.L) <
lim n---+ CX) II fn II LP(J.L) . Moreover, if p E [1 , oo ) and, in addition, there is a g E
LP (Jl) such that Ifn i < g ( a.e. , Jl) for each n E z+ ' then In � f in LP(JL) .
6.2 The Lebesgue Spaces 121
� oonlim J � oo J
l /n l p - 1 191 dJl == 0 == nlim l ln l l g l p - 1 dJL.
PROOF: Without loss in generality, we assume that all of the In 's as well as
g are non-negative. Given b > 0, we have that
J R:- 1 g dJ-L = }r{ Jn < 8g } ��- 1 g dJ-L + }r{ fn > 8g } ��- 1 g df-l
< 8P - 1 II g ll iv (JL ) + r �� - 1 g dJ-L + r �� - 1 g dJ-L.
}{ Jn >8 2 } }{ g <8 }
Applying Holder ' s inequality to each of the last two terms, we now see that
J ��- 1 g df-l < 8p- 1 II g ll iv (tt)
Since, by Lebesgue ' s Dominated Convergence Theorem, the first term in the
final brackets tends to 0 as n ---t 0, we conclude that
nl!__.� J ��- 1 g df-l < 8P- 1 ll g l l iv (tt) + �� II fn ll ivttt ) II l { g < 6 } gll LP(tt)
for every b > 0. Thus, after another application of Lebesgue ' s Dominated
Convergence Theorem, we get the first result upon letting b � 0.
122 VI Some Basic Inequalities
To treat the other case, apply the preceding with l!:,- 1 and gP- 1 replacing
In and g, respectively, and with p' in place of p. D
(6 . 2 . 5)
l l ci P - l - I e - l i P I < Kp ( l c - l l p - 1 + l c - 1 1 ) , cE �.
Finally, the existence of a Kp < oo for which this inequality holds can be easily
verified with elementary consideration of what happens when c is near 1 and
when l ei is near infinity.
Applying (6.2.6 ) with a == ln ( x ) and b == l ( x ) , we see that
( 6.2.8 )
(6.2.9)
In fact, if II!II L P(J.L ) > 0, then the supremum in (6.2.9) is achieved by the
function
l f l p - l sgn o f
g= .
ll f ll i,tl' )
(iii) More generally, for any f which is measurable on ( E, B) ,
(6.2. 10)
if p == 1 or if p E (1, oo ) and either J-L( I J I > 8) < oo for every 8 > 0 or J-L is
a-finite.
PROOF: Part (i) is an immediate consequence of Holder ' s inequality when
p E ( 1, oo ) . At the same time, when p E { 1, oo } , the conclusion is clear
without any further comment. Given (i) , (ii) is easy.
When p == 1, (iii) is obvious; and, in view of (ii) , the proof of (iii) for
p E (1, oo ) reduces to showing that, under either one of the stated conditions,
IIJI ILP(J.L) == oo implies that the right hand side of (6.2.10) is infinite. To this
end, first suppose that J-L( I f l > 8) < oo for every 8 > 0. Then, for each n > 1,
the function
1
'
Thus, Since II f'l/J n II L (J.L) == II 'l/Jn II pLP ' (J.L ) , we see that
Finally, suppose that J-L is a-finite and that J-L( I J I > 8) == oo for some 8 > 0.
Choose { En } ! C B so that En / E and J-L ( En ) < oo for every n > 1. Then it
is easy to see that limn-+ II f 9n I I L (J.L) == oo when
00 1
pI2
l l f ii £(P t ·P2 l ( J.t 1 , J.1 2 ) [l2 (l1 ! J(x 1 , x2 ) 1P1 JL 1 (dx 1 ) ) * tt2 (dx2 )] ,
and let £ (P I , p2 ) ( J.-t1 , J.-t 2 ) denote the mixed Lebesgue space of �-valued, 81 x
82 -measurable f ' s for which ll f ll £ c PI ·P2)(J.L I ,J.L 2 ) < oo . Obviously, when p 1 == p ==
P2 , II J II L c PI . P2 ) (J.L I ,J.L 2 ) == ll f ii £P(J.L I X J.L 2 ) and £ (P I , P2 ) (J.-t i , J.12 ) == LP(J.-t l x J.12 ) ·
6.2. 11 Lemma. For all f and g which are measurable on (E1 x E2 , 81 x 82 )
and all a, f3 E � '
l l af + f3g ii £(PI ·P2) (J.L I ,J.L 2 ) < l a l l lf ll £cPI . P2) (J.L I ,J.L 2 ) + l /31 I IYI I £(PI . P2) (J.L I ,J.L 2 )
(6.2. 12)
every measurable f E £ (P I ,p2 ) ( J.-t1 , J.-t 2 ) and E > 0, there is a 'ljJ E g such that
II ! - '¢ 11 £(PI . P 2 ) (J.L I ,J.L 2 ) < E.
PROOF: Note that
(6.2. 13)
Thus, we need only consider f ' s which are bounded. Finally, because Jl l x JL 2
is also a probability measure, Jensen ' s inequality and (6.2. 13) imply that
L am lrl , m r2 ,m
'ljJ == X
m=l
with ri,m E Bi is dense in Lq(JL 1 JL 2 ). Thus, we will be done once we check
x
that such a 'ljJ is an element of g. To this end, we use the same technique as we
did in the final part of the proof of Lemma 3. 2.3. That is, set I == ( {0, 1 } )
n
and, for 'IJ E I, define r1,17 == n � =l ri � ) where r < o ) rC and r< 1 ) r. Then
Since the r1 , 17 ' s are mutually disjoint, this completes the proof. D
For our purposes, the most important fact that comes out of these consid
erations is the following continuous version of Minkowski's inequality.
6.2. 14 Theorem. Let (Ei , Bi , Jli), i E { 1 , 2} , be a-finite measure spaces.
Then, for any 1 < P I < P2 < oo and any measurable function f on ( E1 x
1
[L1 � l rl , = (X 1 ) l cpm l i�2 (tt2 ) /Ll (dx1 )] Pl
P 2 1
Pl
=
[L1 (L2 � l r1 . = (x l ) cpm (x2 ) JL2 (dx2 ) ) � JL1(dx1 )]
==I '¢ I L(P2 ,p I ) (J.L2 1 ) .
, j.L
6.2. 15 Theorem. Let (E 1 , 8 1 , J.-L l ) and (E2 , 82 , J.1 2 ) be a pair of a-finite mea
sure spaces, and suppose that K is a measurable function on ( E1 E2 , 8 1 82 ) x x
which satisfies
M1 X2 E E2 I l K ( · , x2 ) 1 Lq(JL 1 )
sup < oo and M2 XI E El I K (x1 , · ) 1 Lq(JL2 )
sup < oo
=
l2 (l1 I K (x1 , x2 ) J (x2 W J.l l (dx l ) ) J.t2 (dx) r
1
= [l2 (l1 IK (x1 , x2 ) l ar ! J (x2 W J.ll (dx l ) ) J.l2 (dx2 )] Mfl l f l v'(�t2 )·
� P <
128 VI Some Basic Inequalities
At the same time, since p < r and therefore r ' < p' , we can apply Theorem
6.2. 14 to see that
by the same reasoning as we just applied to
l g I K I 1 -o: l £<rl ,pi ) (J.L 1 ,J.L2 ) I lI Kg IiKo: fI 1l -£o:<rI,vL)(<vJ.Ll,1r,J.Li )2()J.L,2 ,J.L 1 ) .
< Hence,
we find that
II YY KI KJII 1I £-1o:(J.Ll £)<r1 ,p1 )Mf(J.L 1 ,J.LMi2 ) - o:MiI J I -LoiP(iJ.LY I) £r1(J.L2 ) . g
< Combining these two, we arrive at
for all E Lr 1 ( J-LI ) with I Y I £r1 (J.L I )
< 1
and so ( 6.2. 17 ) now follows from part (iii) of Theorem 6.2.7. D
< 1;1
6. 2. 18 Corollary. Let everything be as in Theorem 6.2. 15, and, for measur
able f : E2 -----+ �' define
and
( 6.2. 19 )
for f E LP (�-t 2 ) . In particular, K maps LP (�-t 2 linearly into Lr (�-t 1 ). In fact, )
finto £LrP (J-t(�-t21)) whoseKJrestriction
E � E
Lr ( J-LI ) is the unique continuous mapping from LP (�-t2
to LP ( �-t 2 n Lq ( �-t 2 is given by the map K in
)
I
)
)
( 6. 2. 16 ) .
PROOF: ==
If r oo , and therefore p
assume that r and therefore p are finite.
== q',
there is nothing to do. Thus, we will
Let E f £ P (J-t 2
be given, and set ) 0 for n E I n == fl [
Because - n, n ] f z+ .
f(6.2.n 17L)P (J-t2 ) n L 00 (J-tI K2 )I ( I fn i , 6. 2. 20) ' fn LP (J-t2 ) n Lq (J-t2 ). I
p < q'
and E cf. Exercise E
Hence, by applied to and
r
j K ( x1I, x2 ) i l f( x2 ) l M 2 (dx2 )
{ x2 : I J (x2 )l < n}
In particular, by the Monotone Convergence Theorem, this proves both parts
of ( 6.2. 19 ) . Furthermore, if E P ) and J, g £ (�-t2 a, {3
E � ' then
f E (J-L2 ) n Lq (J-L2 )·
£P
I
choice of {fn }1 )
as above
Exercises
6.2.20 Exercise: Let ( E, B, J-L ) be a measure space and 1 < QI < Q2 < oo be
given. If f E Lq1 (J-L) nLq2 (J-L) , show that for any t E (0, 1)
1 t 1-t
(6.2.21) where - == - +
Pt QI Q2
--
(
Note that 5. 2. 21) says that p � - I f I LP (J..L)
log is a concave function of �.
6.2.22 Exercise: The following exercises give some insight into the £P-spaces
in various situations.
J-L)
(i) If ( E, B, is a probability space, show that p E [1 , oo ] �
f
non-decreasing function for any measurable on E, B ) . ( l f i
is a L v ( J. .L )
J-L I J I Lv (J..L) J-L ( {n})
(ii) Let E == z + and define on B == P ( E ) by
this case show that p E (1 , oo ] �
nf
== 1 for all E z + . In
is non-increasing for every on E.
J-L) I J I Loo (J..L) < l ffi Lv (J..L) ·
(iii) Let ( E, B,
function. Show that
be a measure space and : E � � is a B-measurable
limp/ CX) Further, assuming either
( )<
that �-t E oo or thatI J I L l (J..L) < I J I Loo (J..L)
oo, show that == limp / CX) l f/-Li L2 P(J..L) ·
( iv ) Let ( Ei , Bi ) , i E { 1 , 2}, be measurable spaces, and suppose that is a
f ( 2 2 )
a-finite measure on E , B . Using part (iii) , show that, for every measurable
2)
function on ( EI x E2 , BI x B , the function X I � I J (xi,I J I ·£2c)v1l .LPoo2 ) ((J.J..L.L21 ),J..L2 )
is
measurable on ( EI , BI ) · In particular, we could have defined
for all P I , P2 E [1 , oo] .
6.2. 23 Exercise: Let ( E, B,
L (J-L)
of P for some
J-L
p E (1, oo )
) f be a measure space, g a non-negative element
, and is non-negative, B-measurable function
for which there exists a C E (0, oo) such that
I I I iP(J.I) =p r
J( o, oo)
tp - 1 M U > t) dt
< Cp {
J( o, oo)
tP - 2 v(f > t) dt = C-p1
P
l f l iv� l ( v)"
Finally, note that
conclude that
l f l iv �l (J.t) = J fP - 1 g dJ.-l, and apply HOlder ' s inequality to
(6.2.25)
(ii) Under the condition that I J I Lv (JL) < oo , it is clear that (6. 2.25) implies
(6.2.26)
Now suppose that M(E) < oo . After checking that (6.2.24) for implies
(6.2.24) for fn f
1\ R, conclude that (6.2.26) holds first with replacing fn f f
f
and then, after R / oo , for itself. In other words, when M is finite, (6.2.24)
always implies (6.2.26) .
(iii) Even if M is not finite, show that (6.2.24) implies (6.2.26) as long as
M ( > E ) < oo for every E > 0.
f
Hint: Given E > 0, consider M E == M r B[{f
> E } ] , note that (6.2.24) with M
implies itself with ME , and use (ii) to conclude that (6.2.26) holds with ME in
place of M· Finally, let E � 0.
then f * g g * f and
==
( 6.3.4 )
Finally, the mapping ( J , g ) LP (�N ) Lq (� N )
E x � f*g Lr (�N ) is bilinear.
E
PROOF: We begin with the observation that there is nothing to do when == r
oo. r
Thus, we will assume throughout that and therefore also p and q are all
finite. Next, using the translation invariance of Lebesgue ' s measure, first note
that
qE ,
A(J, g ) A(g , f)
==
[ 1 oo )
and E
and then conclude that
set x , == for
==
g Lq (�N ) , K ( y) g (x - y ) x , y �N .
E
f *
Finally, given
Obviously,
g g * f .
I l K ( · , y ) I L q( R N ) I K ( ) I L q( R N ) l g i L q( R N ) < oo ;
,
yERN
sup == sup
xERN x ·
==
( ) E
Next, suppose that p [1 , oo ) is given. If g denotes the class of LP ( �N )
for which 6 . 3 . 6 holds, it is clear that Cc ( � N ) C Q . Hence, by v in Theorem() f E
LP ( � N ) . To this end, let
=={ fn}1
6.2.2, we will know that g LP ( � N ) as soon as we show that g is closed in
C g and suppose that � in LP ( �N ) . fn f
Then
as n ---t oo . D
6.3. 7 Theorem. Let p E [1 , ] f E LP (�N ) , and g E LP' (�N ) . Then
oo ,
(6 .3. 9) f* g(x) == O.
lim
l x 1 ---+ CX)
PROOF: The first assertion is again just an expression of translation invariance
for
that
ARfN*. g (6.3.8)
Further, is a simple application of Holder ' s inequality. To see
is uniformly continuous, first suppose that p E [1 , )
oo . Then, by
( 6 . 3 8) ( 6 . 3 6)
. and . ,
I Th (f *g ) - J * g l u == I (Th j - f) * g l u < I Th j - JI I LP(RN ) l g i LP' (RN ) �0
as lhl
argument.
0; and when p
---t ==
oo , simply reverse the roles of f g
and in this
(6.3. 12) ( J * g) f g
B aX i - - * ·
1 < i < N.
,t , - -
1 (
[0, 1 )
w, "
v g ( y + s tw ) ) R N d s
Hence, if w
=
JR N
t (x , y ) (J (x -
= )
=
aa =
J * ( a0 Yt ) , NN .
a E
Exercises
� (
( i ) Define the Gauss kernel r ( x ) = (21r) - exp _ l xt ) for X E JRN . Using
the result in part ( i ) Exercise 5.2.6, show that JR N 1' ( x ) dx == 1 and that
1' v's * 1'v't == 1'v'8+I t E ( 0, oo ) .
for s,
Clearly this says that the approximate identity { 1' v't : t E (0, oo ) } is a convolu
tion semigroup of functions. It is known as either the heat flow semigroup
or the Weierstrass semigroup.
( ii ) Define v on � by
try the change of variable � (�) -f--e , and use part ( iv ) of Exercise 5.2.6.
==
( iii ) Using part ( ii ) of Exercise 5.3.24, check that the function P on �N given
by
N+l
(1 + lxl ) - -
2 2 2 ' X E �N '
P (x ) ==
WN
-
(6.3.20)
Finally, using (6.3.20) together with the preceding parts of this exercise, show
that
(6.3.21) Ps * Pt == Ps+ t , s, t E (0, oo ) ;
and therefore that { Pt : t > 0} is a convolution semigroup. This semigroup
is known as the Poisson semigroup among harmonic analysts and as the
Cauchy semigroup in probability theory; the representation (6.3.20) is an
example of how to obtain one semigroup from another by the method of sub
ordination.
136 VI Some Basic Inequalities
a
(iv) For each > 0, define Yo:g (xlR) (r(a)[O, oo)) - 1 x0 - 1 e- x9o: (x)x 00.
: � so that == if x < 0
and (cf. (ii) in Exercise 5.2.6)
JR 9o: ( x ) dx 1.
==
o:
Next, check that
== for > Clearly,
* ( ) ( r( a ,B) f t o: - 1 ( 1 - t ) !3 - 1 dt ) ga + f3 (X ) ,
go: g{3 X - r(a) r(,B) j(O,l)
_ +
and use this, together with Exercise 6.3. 17, to give another derivation of the
formula, in (i) of Exercise 5.3.24, for the Beta function. Clearly, it is also shows
that {go: : a > 0} is yet another convolution semigroup, although this one is
not an approximate identity.
(6.3.23 )
Next, use (6.3.23 ) to show that for each p E [1, oo) there is a unique continuous
map JC JL : £P(JR N ) � LP(JRN ) such that JC JL f == f * Jl for f E Cc(� N ). Finally,
note that (6.3.23 ) continues to hold when f * Jl is replaced by JC JL f, but that
KJL J need not be continuous for every f E £P(JR N ).
6.3.24 Exercise: In many applications it is extremely important to have
compactly supported approximate identities.
(i ) Set
( r
CN ln( 0 , 1 )
== [ - 1
exp
1 - 1X
1 2 ] dx )
- 1
u u u
Value Property. Namely, show that if E C(G) satisfies ( 5.4. 18 ) whenever
B(x, R) c G, then E C00 (G) and is harmonic on G. The proof can be
accomplished in two steps. First show that if B(x,
Value Property implies that cf. part ( i )) ( C G, then the Mean 2t)
that u(O) == 1r1 . Use these observations, together with Theorem 6.3.7, to give
another proof of Lemma 2. 1 . 15.
�-t(r) [ � dx
= for r E B ( o ,oo) ,
and show that Jl is invariant under the multiplicative group in the sense
that
r
J( o, oo)
f(ax) �-t (dx) f(x) �-t (dx), a
= r
J( o , oo)
E (0, oo) ,
and
{ f (_!_) X
M ( dx ) { f(x) M ( dx )
=
J ( O , oo) J ( O ,oo)
for every B( o ,oo) -measurable
ble, JR-valued functions and f g, f : (O, oo ) [O, oo] .
set
� Next, for B( o ,oo) -measura
f g (x )
•
{ J f ( �) g ( y ) J.t ( dy )
==
( O ,oo ) when x E All- ( !, g)
0 otherwise,
and show that • f g g f. == • In addition, show that if p, q E [1 , oo ] satisfy
! ! + ! 1- -
> 0 then
r p
q '
f () g
for all E LP Jl and E L q (JL) . Finally, use these considerations to prove the
following one of G.H. Hardy ' s many inequalities :
P and
7. 1 An Existence Theorem.
In Chapter II we constructed Lebesgue ' s measure on � N , and in ensuing
chapters we saw how to construct various other measures from a given mea
sure. However, as yet, we have not discussed any general procedure for the
construction of measures ab initio; it is the purpose of the present section to
provide such a procedure.
The basic idea behind what we will be doing appears to be due to F. Riesz
and entails the reversal, in some sense, of the process by which we went in
Chapter III from the existence of a measure to the existence of integrals. That
is, we will suppose that we have at hand an integral and will attempt to show
that it must have come from a measure. Thus, we must first describe what we
mean by an integral.
Let E be a non-empty set. We will say that a subset L of the functions
f : E � is a lattice if f 1\ g and f V g are both elements of E L whenever
------+
I E L (A) � I( l ) -
a ERange(/)
the procedure which got us started in case (ii) does not work here since there
will seldom be many r C E for which l r E C(E ; �) . Thus, in any case, we
must learn first how to extend I to a larger class of functions f : E � � and
only then look for Jl.
Our extension procedure has two steps, the first of which is nothing but a
rerun of what we did in Section 3.2, and the second one is a minor variant on
what we did in Section 2. 1 .
7. 1 .3 Lemma. Let (E, L , I)be an integration theory, and define L u to be
the class of f : E � ( - oo , oo ] which can be written as the point-wise limit
of a non-decreasing sequence { 'Pn} r C L . Then L u is a lattice which is closed
under non-negative linear operations and non-decreasing sequential limits (i.e.,
{fn}r C Lu and fn / f implies that f E Lu )· Moreover, I admits a unique
extension to L u in such a way that I ( fn) / I(f) whenever f is the limit of a
non-decreasing {fn}r C L u . In particular, for all J, g E L u , - oo < I(f) <
I ( g ) if f < g and I(af + {3g) == ai ( f) + {3I (g ) for all a , {3 E [0, oo ) .
PROOF: The closedness properties of L u are obvious. Moreover, given that an
extension of I with the stated properties exists, it is clear that that extension
is unique, monotone, and linear under non-negative linear operations.
Just as in the development in Section 3.2 which eventually led to The Mono
tone Convergence Theorem, the proof ( cf. Lemma 3.2.6) that I extends to L u is
simply a matter of checking that the desired extension of I is consistent. Thus,
what we must show is that when '¢ E L and { 'Pn }r C L is a non-decreasing
sequence with the property that 'ljJ < limn� 'Pn point-wise, then I( '¢ ) <
(X)
limn� CX) I ( 'Pn). To this end, note that 'Pn == '¢ - ( '¢ - 'Pn) > '¢ - ( '¢ - 'Pn) + ,
( 'ljJ - 'Pn) + � 0, and therefore that
(7. 1 .9) f<g ===} I(J) < I(g) and I(f) < I(g),
JR2 (cf. Section 3.2),
.-..
(7. 1 . 10)
( I( J ), I(g) ) E i2 ===} I(f + g) < I(f) + I(g)
( I(J), I(g) ) E i2 ===} I(f + g) > I(f) + I(g) .
Finally,
'¢ ,
g < and I( 'ljJ) < oo. In particular, f + g < + 'ljJ for all E z + , and so
'Pn )
I(f + g) < limn -H:x) I( + I( 'ljJ) == -oo.
n
Finally, suppose that f E L u . Obviously, I(f) < I(f) . At the same time,
if
-(
{-cp'Pnn)} � 'Pn
==
C L is chosen so that
< f for each E z + )
'Pn
/ f, then (because
n
E L C L u and -cpn
I(f) > n ---+ - I ( - cpn) n ---+ I ( cpn)
lim
CX)
== limCX) == I(f). D
7.1 An Existence Theorem 143
From now on, we will use 9R(I) to denote the class of those f : E
==
which I(f) I( J) , and we define i : 9J1(I) JR so that I(f) i(J) � �
== == JR for
I(f) .
Obviously ( cf. (7 . 1 .8) )
(7. 1 . 12) E 9J1(I) ===} af E 9J1(I) and i ( a) ai(J) , a E JR.
f ==
Finally, let £ 1 (I) denote the class of JR-valued f E 9J1(I) with i( J ) E JR.
7. 1 . 13 Lemma. If f : E �
JR, then f E L 1 (I) if and only if, for each
E > 0, there exist cp, 1/J E L u such that -cp < f < 1/J and I( cp) + I( 1/J) < E. In
particular, f E £ 1 (I) ===} j + E £ 1 (I). Moreover, L 1 (I) is a vector space
and i is linear on L 1 (I). Finally, if {fn } ! C L 1 (I) and 0 < fn / f, then
- -
f E 9J1(I) and 0 < I(fn) / I(f) .
PROOF: First suppose that f E L 1 (I). Given E > 0, there exists (cp, 1j;) E L�
- -
such that -cp < f I(f) < -I(cp) + � ' and I(1j;) I(f) + � ; from which
< 1/J, <
it is clear that I( cp) + I( 1/J) < E. Conversely, suppose that f : E JR and ----t
that, for some E E (O, oo) , there exists (cp, 1j;) E L� such that -cp < f < 1/J and
I ( cp) + I ( 1/J) < E. Because I ( cp) 1\ I ( 1/J) > - oo, - oo < I ( 1/J) < E - I ( cp) < oo
and - oo < I(cp) < E - I(1j;) < oo. In addition, -I(cp) < I(f) < I(f) < I(1j;) .
Hence, not only are both I(f) and I(f) in JR, but also I(f) - I(f) < E, which
completes the proof of the first assertion. Next, suppose that f E L 1 (I) . To
prove that j + E L 1 (I) , let E E (O, oo) be given, and choose (cp, 'lj;) E L� so
that -cp < f < 1/J and I(cp) + I(1j; ) < E. Next, note that -cp - cp /\ 0 E L u ,
==
cp + cp V 0 E L u , and that cp - < j + < '¢+ . Moreover, because cp + 1/J > 0, it
==
is easy to see that -cp - + 7j; + < cp + 1/J, and therefore we know that
To see that £ 1 (I) is a vector space and that i is linear there, simply apply
(7. 1 .8) and (7. 1 . 10) . Finally, let {fn }1 be a non-decreasing sequence of non
==
negative elements of L 1 (I), and set f limn-H:x) fn · Obviously, limn � CX) i( Jn )
< I(f) < I(f) . Thus, all that we have to do is prove that I(f) < limn � CX) i ( Jn ) ·
To this end, set h 1 == ==
!1 , hn fn - fn - 1 for n > 2, and note that each
hn is a non-negative element of L 1 (I) . Next, given E > 0, choose, for each
m E z + , 1/Jm E Lu so that hm < 1/Jm and I(1/Jm ) < i(hm ) + 2 - m E. Clearly,
1/J L:� 1/Jm E L u and f < 1/J. Thus, I(f) < I(1j;) . Moreover, by Lemma 7. 1 .3
and the linearity of i on L 1 (I) ,
f (fn) == f ( JI ) + f (fn - fi ) / f ( JI ) + f ( J - fi ) ·
But, by (7. 1 . 10) , f == !I + (f - !I ) E 001 (I) and i ( J ) == i ( JI ) + i ( J - /I ) ·
Hence, the last assertion is now proved. In addition, if {fn}1 C L I (I) and
fn � 0, then I (fn) � 0 follows from the preceding applied to { - fn} 1, which
completes the proof that I is an integration theory. D
We are now ready to return to the problem, raised in the discussion following
Examples 7. 1 . 1 , of identifying of the measure underlying a given integration
theory (E, L, I) . For this purpose, we introduce the notation a(L) to denote
the smallest a-algebra over E with respect to which all of the functions in
the vector lattice L are measurable. Obviously, a (L) is generated by the sets
{f > a} as f runs over L and a runs over �.
7. 1 . 15 Theorem (Stone) . Let ( E, L, I) be an integration theory, and assume
that 1 E L. Then
(7. 1 . 16)
the mapping
(7. 1 . 17)
(7. 1 . 18)
To this end, for given f : E ------+ � and a E � ' consider the functions
9n [n(l - l /\ a)] /\ 1 , n E ll + .
If I E L 1 (I) , then each 9n is also an element of L 1 (I) , 9n / 1{/> a } as
n � oo , and therefore 1{/> a } E L 1 (I) . Thus, we see that every I E L 1 (I) is
1t-measurable. Next, for given I : E � [0, oo ) define
If I E L 1 (I) U L 1 (E, 1i, JLI), then (cf. the preceding and use linearity) In E
£ 1 (I ) n £ 1 (JLI ) , In / I, and so I E L 1 (E, 1t, I) n L 1 (JLI) and i(l) == I dJl i.
Hence, we have now proved (7. 1 . 19) .
JE
Our next goal is to show that
(7. 1 .20) == 1t == a ( £ 1 (I) ) .
a(L) JL I
Since L C £ 1 (I) and every element of £ 1 (I) is 1t-measurable, what we know
so far is that
a(L) c a ( L 1 (I) ) c 1t.
Thus, to prove (7. 1.20) , all we need to do is show that
(7. 1 .21 )
· · ·
increasing. Next, take cp == limn---+ CX) 'Pn and 'ljJ == limn---+ CX) 'l/Jn . Note that cp
and 'ljJ are in L 1 (I), -cp < 1 r < 'ljJ, and -i ( cp) == i ( 'ljJ) . In particular, since
-i(cp) < I (1r) < I (1r) < i('lf;) , this means that 1r E L 1 (I) and therefore
that r == { 1r > 0} E a ( L 1 (I) ) . To prove that r E a(L) JL1 , first note that every
element of Lu is a(L)-measurable. Hence, both cp and 'ljJ are a(L)-measurable,
and so both the sets C == { cp < 0} and - D == {-'ljJ > 1 } are elements of a (L) .
Finally, from -cp < 1r < 'ljJ and -I( cp) == I( 'ljJ ) , it is easy to check that
- < 1r < 1v < 'ljJ and therefore that JL(D \ C) JL== JL(D) - JL(C)
<
- < 1c
-cp
I('l/J) + I(cp) == 0, which completes the proof that r E a(L) I . Hence, we have
now proved ( 7. 1. 21 ) and therefore ( 7. 1 .20 ) .
146 VII A Little Abstract Theory
We have now completed the proof of everything except the concluding as
sertion of uniqueness. But if L C L I (v), then obviously a(L) C B. Moreover,
if J f dv == I(f) for all f E L, then we can prove that v f a(L) == J-LI f a(L) as
follows. Namely, it is clear that a(L) is generated by the 1r-system of sets r of
the form
r == { fi > a I , , ft > al },
· · ·
[
< k <l (fk - fk 1\ ak) 1\ 1,
9n == n I min ]
note that {gn}1 C L and 0 < 9n / 1r , and conclude that
v ( r ) == nlim j j
---+ CX) gn dJ-LI == J-LI (r) . D
---+ CX) gn dv == nlim
With the preceding result, we are now ready to handle the situations de
scribed in ( ii ) and ( iii ) of Examples 7. 1 . 1 .
7. 1 . 22 Corollary ( Caratheodory Extension ) . Let A be an algebra of sub
sets of E and suppose that J-L : A [0, oo ) is a finitely additive function (cf.
------+
( ii ) in Examples 7. 1 . 1) with the property that (7. 1 .2) holds. Then there is a
unique finite measure jl on (E, a(A)) with the property that jl coincides with
J-L on A.
PROOF: Define L(A) and I on L(A) as in ( ii ) of Examples 7. 1 . 1 . It is then
an easy matter to see that a(A) == a (L(A)) . In addition, as was shown in ( ii )
of Examples 7. 1 . 1 , I is an integral on L(A) . Hence the desired existence and
uniqueness statements follow immediately from Theorem 7. 1. 15. D
Before we can complete ( iii ) in Examples 7. 1 . 1 , we must first prove the
lemma alluded to there.
7. 1 . 23 Lemma ( Dini's Lemma) . Let {fn }�
be a non-increasing sequence
of non-negative, continuous functions on the topological space E. If fn � 0,
then fn ------+ 0 uniformly on each compact subset K C E (i.e., ll fn llu , K 0.)
------+
Cb (E; JR) lR
is a non-negative linear functional if A is linear and
A(f) > 0 for all f E Cb ( E; [0, oo ) ) . Furthermore, if A is a non-negative
�
linear functional on Ch (E; JR), we will say that A is tight if it has the property
that for every 8 > 0 there is a compact K8 C E and an A8 E (0, oo ) for which
A U li p 1 ( BF) where Bp II Bi
FE� iEF
and note that BJ is generated by A. Next, observe that the map J.L : A � [0, 1]
given by
JL ( An) > E > 0 for all E z + , we must produce a sequence {am}! such that
n
a I E E p1 ,
am E Epm \Fm_ 1 for m > 2, and ( ai , . . . , an) E Il pn ( An) for all E z + . n
Convergence Theorem,
J
Finally, since
{ g 1 (xF1 ) ILF1 ( dXF1 ) =
nlimCX) { fn (xFn ) ILFn ( dxFn ) = nlim ---+ p( An) > E,
h
. E F1 ---+ }FE Fn CX)
there exists an a I E E p1 such that 9I ( a I ) > E. In particular ( since 9I < !I ) , this
means that ai E Il p1 ( AI )· In addition, from (7. 1 .27) with m == 1 and X p1 == ai ,
it means that there exists an a2 E Ep2 \F1 for which 92 ( ai , a2 ) > E and therefore
( since 92 < !2) ( ai , a2) E Il p2 ( A2) · More generally, if ( ai , . . . , am ) E E pm and
9m (ai ' . . . ' am ) > E, then ( since 9m < fm) ( ai ' . . . ' am) E Il pm ( Am) and, by
(7. 1.27) , there exists an am + I E Epm + 1 \Fm such that 9m + I ( ai , . . . ' am ri ) > E.
Hence, by induction, we are done and we have proved the following theorem.
7. 1 . 28 Theorem. Let J be an arbitrary index set and, for each i E J, let
(Ei , Bi , Jli ) be a probability space. If E == fl i E J Ei and BJ is the a-algebra
over E generated by the sets rF in (7. 1 . 25) , then there is a unique probability
measure JL on ( E, BJ ) satisfying (7. 1.26) .
150 VII A Little Abstract Theory
Exercises
7. 1 .30 Exercise: Assume that E is a metric space. Show that the Borel field
BE coincides with a ( Cb(E; � )) . Next, assume, in addition, that E is locally
compact ( i.e. , every point x E E has a neighborhood whose closure is compact )
and show that BE == a ( Cc ( E; �) ) ( the space of f E C ( E; �) which vanish off
some compact subset of E ) .
I(cp) lim ( R )
R� CX) i
[ - R , R]
cp d1j; E �
exists.
(ii) Show that cp E Ch ( �; � ) I( cp) E � is a non-negative, linear functional.
r-----+
Further, check that, for each R > 0,
where
(iii) As a consequence of ( ii) and Theorem 7. 1 .24, show that there is a unique
measure J-l'lf; on ( �, BR ) with the property that �-t ( ( -oo, x] ) == 1/J(x) - 1/J( -oo)
for all x E �. Notice that the mapping 1/J r-----+ J-l 'lf; inverts the map discussed in
Theorem 5.4.2.
7.2 Hilbert Space and the Radon-Nikodym Theorem 151
(7.2 . 1)
(J , f) l 2 ( J.L )
1
I I ! I I L 2 ( J.L ) ==
(7.2.2)
= sup { ( !, g ) £2 ( 11 ) : g E L 2 ( J..L ) with ll g ll £2 ( 1' ) }
<1 .
Note that (J , g ) L 2 ( J.L ) plays the same role for L 2 ( JL ) that the Euclidean inner
product plays in �N . That is, by Schwarz ' s inequality ( cf. Exercise 6. 1 .7) ,
(7.2.4)
In fact, the unique f E F which satisfies (7.2.4) is the unique f E F such that
(g - f) ..l F. That is, f is the perpendicular projection of g onto F.
152 VII A Little Abstract Theory
(g - J, 1/J ) £2 (JL1/J)
== 0 for every
t
has a minimum at == 0. Hence, by the first derivative test, we see that
1/J
E F. Conversely, if E F and l_ F, f (g - f)
then, for any E F,
l g - 1/J I �2 (JL) I Y - JI I �2 (JL) + 2 (g - f, f - 1/J ) L2 (JL) + I / - 1/J I �2 (JL)
==
(7. 2 . 5) I 'P + 1/J I �2 (JL) + I 'P - 1/J I �2 (JL) 2 l cp i �2 (JL) + 2 I 1/J I �2 (JL) ·
==
2 ( l g - fn l i2 (J.I) - a2 ) + 2 ( l g - fm l i2 (J.I) - a2 ) ,
<
ln �lm
where we have used the fact that
>
Now let E 0 be given, choose N z+ E l g -
so that i � 2 ( JL ) 2 �
2
E F in order to get the last inequality.
fn <a + for
n > N,and conclude that l fn - fm i £2 (JL) < > N. D
E for m, n
A <p -
A ( cp )
k =0
( )
A(k)
and therefore that <p - ���j k E F. Hence,
The key to von Neumann ' s proof of these results is the observation that
everything can be reduced to consideration Jl ' s which are dominated by v, in
which case the existence of f becomes a simple application of Theorem 7.2.6.
7.2. 10 Lemma. Suppose that (E, B, v ) is a a-finite measure space and that
Jl is a finite measure on (E, B) which is dominated by v. Then there is a unique
[0, !]-valued h E L 1 (v) with the property that
and set A == � U �' . Then v( A) == J.la ( AC) == JL� ( AC) == 0; and therefore, for
any r E B,
first for all cp E £ 1 (JL) n £ 1 ( v ) and then for all non-negative, B-measurable cp ' s.
Now set � == { h < 1} and JLa (r) == JL ( � n r ) , r E B. Since
v ( E C ) = v(h = 1) = f h dv = f ( 1 - h) dJ.L = o,
J{h= 1 } J{h= 1 }
it is clear that JL - JLa is singular to v. At the same time, if f (1 - h) - 1 hlE ,
then, by (7.2. 13) with cp == ( 1 - h) - 1 1rnE ,
for each r E B. D
Given a finite measure JL and a a-finite measure v, the corresponding mea
sures JLa and JLa are called the absolutely continuous and singular parts
of JL with respect to v. Also, if JL is absolutely continuous with respect
to v, then the corresponding non-negative f E L 1 (v) is called the Radon
Nikodym derivative of JL with respect to v and is often denoted by � . The
choice of this notation is explained by part ( ii ) of the Exercise 7. 2. 14 which
follows.
156 VII A Little Abstract Theory
Exercises
Notice that each 'l/J k is continuous and non-decreasing from � onto [0, 1] . In
addition, check that i l '¢k +1 - '¢k l lu , IR = 2 �k ; and conclude from this that '¢k
converges uniformly on � to a continuous, non-decreasing 'ljJ : � [0, 1]
-----+
with the property that Jl'lf; (C) == 1 . At the same time, by Exercise 2 . 1 . 20,
AR (� \ C) == 0, and therefore 'ljJ is singular.
Notation
a+ & a
- The positive and negative parts of a E JIR § 1 .2
n-+(X)
-
E 3. 1 . 12
J-L
-
The completion of the a-algebra B with respect to the
B §3. 1
measure J-t
BlRN
-
159
160 Notation
1 1 / I I L v ( J.L ) The p-Lebesgue norm of f with respect to the measure J.L §3 . 2 & §5.2
p* J.L == J.L 0 q, - 1 The image of the measure J.L under the map tP §5. 1
-
r The closure of the set r
)
rC6 The open 6-hull of the set r §5 .3
The collections of all open sets and all countable intersec-
� & �6 §2. 1
tions of open sets
1 / dx
The Lebesgue integral of f over r E
-
BJRN
-
AE Lebesgue's measure restricted to E E BJRN
J.L 1 X J.L 2 The product of the measures J.L 1 and J.L 2 . §3.4
J.L << l/
To be read J.L is absolutely continuous with respect to v. §7.2
-
dJ.L The Radon-Nikodym derivative of J.L with respect to v §7.2
dv
J.L l_ V To be read J.L is singular to v. §7.2
J-L
r-v Equivalence relation determined by the measure J.L· §3.2
-
J.L The completion of the measure J.L · §3 . 1
The surface area of the sphere and the volume of the unit
W N - 1 & O, N ball in JR N
E. 5 . 2 . 6
-
lR The extended real line §3.2
JR2
( - oo oo
§3. 2
, ) removed
(R) 1 cp(x) d'ljl (x) The Riemann-Stieljes integral of cp with resp ect to 1/J § 1.2
TA
The linear transformation determined by the matrix A §2.2
z & z+ The set of all integers and its subset of positive integers
Index
A convex set, 1 1 4
convolution , 131
absolutely continuous, 60 for the multiplication group , 137
for measures , 1 53 Young's Inequality for, 1 3 1
for non-decreasing function, 1 57 convolution semigroup , 134
part of a measure, 1 55 Cauchy or Poisson, 135
uniformly, 6 1 Weierstrass, 135
absolutely continuous part coordinate chart , 95
for non-decreasing functions, 1 57 global, 102
algebra, 34 countably additive, 36
almost everywhere, 53 cover, 1
convergence, 53 exact, 3 , 24
approximate identity, 1 34 non-overlapping, 1 , 24
compactly supported , 136
atom , 1 56
D
atomic
non, 1 56 Daniell 's Theorem, 143
purely, 156 diameter, 74
axiom of choice, 27 of rectangle, 1
diffeomorphism, 90
B Dini 's Lemma, 146
discontinuous part
ball, 25 of non-decreasing function, 1 56
volume of, 88 distribution function of f
volume of in JR N , 86 in computation of integrals, 1 29
Beta function, 101 , 1 36 distribution of f , 8 1
Borel a-algebra or field over E , 35 i n computation of integrals , 83
Borel measurable , 35 divergence, 109
Borel-Cantelli Lemma, 39 Divergence Theorem , 109
c E
function ( continued) L
concave, 1 14
.X-system , 35
harmonic, 1 1 1
Laplacian, 109
measurable, 43
lattice, 1 39
modulus of continuity of, 10
vector, 1 39
fundamental solution, 109 integral on, 1 39
Fundamental Theorem of Calculus, 9 integration theory for, 139
lattice operations, 7
G £-system , 68
Lebesgue integral
Gamma function , 88 exists, 47
Gauss kernel, 135 notation for, 43
gradient , 92 Lebesgue measurable, 23
Green's Identity , 109 Lebesgue set , 67
Lebesgue spaces
LP (J.L) , 1 19
L 1 (J.L) , 49
H
£PI , p2
function L 1 (J.L) , 49
the space L 1 (J.L) , 49 (J.L l , J.L 2 ) , 1 24
uniformly, 6 1
integration by parts, 9 M
T v
u
Young's Inequality, 1 3 1
Young's inequality
uniform norm, 6, 140 for the multiplicative group , 138
Solution to Selected Problems
1 . 1 .9: To prove Theorem 1 . 1 .8, simply note that Lemma 1 . 1 . 7 says that
and that
lim £( ! ; C) == sup £(!; C) .
II C II �O c
U (f ; C) - C(J; C) < E 2
whenever I I C II < 8. Thus, if II C II < 8, then
E L
I E C ( E)
vol(J) < L (sup f - i�f f) vol(J)
IE C ( E) I
as long as II C II < 8.
Solution to Selected Problems 167
Then
U( f; Cf. ) - C (J; Cf. )
= L( s p f - i� f f vol( I) +
lE C e ( E ) �
) s p f - i �f f
lE C e \ Ce ( E ) �
L ( ) vol( I)
L
< 2 ll f l l u vol( J) + t
lE C e ( E )
vol( J) L
lE C e \ C e ( E )
<2 ll f ll u t + t i J I == t ( 2 ll f ll u + I J I) � o
ast � 0. Hence, infc U (f; C) == supc £(!; C) and so f is Riemann-integrable.
Finally, suppose that f is a bounded function on J which is continuous at all
but a finite number of points, a 1 , . . . , am . Given t > 0, choose non-overlapping
cubes Q 1 , . . . , Qm so that at is the center of Q l and vol(Q£) < � for each
1 < f < m. Next, observe that f is continuous on J J \ (U� Q£) and
therefore that
- f(x) : x, y E J and I Y - x l < 8 } < t
sup {f (y )
for some 8 > 0. Moreover, J admits a finite exact cover C by non-overlapping
� �
If II C 'II < 8 and A is the set of those I' E C ' for which there is an I E C with
I' C I, then for each I' E B = C \ A there is precisely one m E {1 , . . . , n - 1}
for which am E I' . In particular, because C ' is non-overlapping, B has at most
0
n elements. Moreover, if I' E B, am E I' , and we use L(I') and R(I') to denote
I' n [am - 1 , am J and I' n [am , am + 1 J , respectively, then
1 . 2.29: Let 'lj; 1 and 'lj;2 be given. Then, for any c < s < t < d ,
since both 'lj; 1 ( t ) - 'lj; 1 ( s ) and 'lj;2 ( t ) - 'lj;2 ( s ) are non-negative. Hence, for any
c < s < t < d and any non-overlapping exact cover C of [s, t] ,
+
'I/J2 ( t ) - 'I/J2( s ) = L AJ 'l/J2 > L ( AJ'l/J ) ;
lEC JEC
and so 'l/J2 ( t ) - 'lj; 2 ( s ) > 1/J+ ( t ) - 1/J+ ( s ) . Since � 1 1/J1 - � 1 1/J - == � 11/J 2 - �I'l/J+ for
any interval I C J , we now see that 'lj;2 - 1/J + and 'lj; 1 - 1/J - are non-decreasing.
Clearly var ('lj; ; [0, 1 ] ) == 2. On the other hand, for any cp E C ( [0, 1 ]) , one has
that R ( cp l'l/J; C, �) == 0 as long as � is not an endpoint of any I E C. Thus,
(R) f[o, I) cp (x) d'lj;(x) == 0 for every cp E C ( [0, 1 ]) .
of c�_, note that a is the left hand endpoint of one of the intervals I making
up Ct if and only if ak ( a ) E {0, 2} for 0 < k < f, ak ( a ) == 0 for k > f, in
which case the associated right hand endpoint is a + 3- l . Thus, X E c�_ if
and only if ak ( x ) == ak ( a ) , 0 < k < f, for such an a and there is a k > f
such that ak ( x ) f= 0. Once one has these facts, the remainder of (ii) is easy.
0
( vi , VI ) R N ( vi , V N ) RN 0
( v 2 , VI ) R N (v 2 , V N ) R N 0
== det
A is a a-algebra.
We next check that BE
C A, and, in view of the preceding paragraph, this
comes down to checking that � C A. But if r E � and we set Fn = x E: {
p ( x, rC ) > ! }, then Fn / r and so J..t ( Fn) / J..L ( r). Hence, for given E > 0,
Solution to Selected Problems 171
JL ( { X E Q o : Xi = ,8 } ) = JL ( { ( ,8 - Q ) ei + X : X E Qo and Xi = } ) = p Q
for every cube Q in �N ; and, since every open set G in �N is the countable
union of non-overlapping cubes, it follows immediately, from what we already
know, that JL(G) AJRN (G) for all open G ' s in � N . Thus, since, for every
==
n
(ii) Set B ==
n E z+ . U n> m r n · Then B � lim
Hence, if J;(B 1 ) < oo , then
m n---+ rn rn c Bn
CX) and for every
(iii) IfE � JL (rn) < oo , then J-L (U� rn ) < 00 ( and so cf. part (ii) ) :
J-L (n---+ rn) n---+ J-L (Bn) m---+ n> m J-L (rn) 0.
limCX) == limCX) < limCX) "'
�
==
L - (l ) ca r d ( F ) JL ( r F ) - L - l ) card (F) JL (r F n ( r n r n +d )
( u
0-#FCSn - 1 0-#FCSn - 1
n{ FCS,n+ln}CF+ I
L( - 1 ) ca rd (F) JL (rF ) ,
0#FCSn+ 1
where we have used
(mn ) m. (nn�m) .
and, for each non-empty
== ' ' sets
F C { 1,
F C { 1,
(r F )
. . . , n } , card
3.3. 15: To see that J.-L is a finite measure on ( E, B) , it suffices to check that it
is countably additive. Thus, let { rn } c; C B be a sequence of mutually disjoint
sets, and define
n
Fn == f L= 1 lrm for n E z + .
m
To check the absolute continuity assertion, suppose that there were an > 0 E
such that for every n .z + there exists a r n B for which v (r n) < 2 n and
E E
> E . Set r == limn ---. CX) rn · Since J.-L ( E ) < oo , one would know ( cf. (ii)
J.-L(rn)
-
of Exercise 3. 1. 12) that J.-L ( r ) > E . On the other hand, by the Borel-Cantelli
Lemma (cf. (iii) of Exercise 3. 1. 12) , one would also have that v ( r ) and therefore
dv
fr f both vanish. Since J.-L (r ) == fr f dv, this is clearly a contradiction.
3.3. 16: Clearly, by Markov ' s Inequality, > ,\ ) � 0 as ,\ J.-L (I f l � oo ; and
therefore, by the Lebesgue Dominated Convergence Theorem,
f 1 J 1 dJL o as .x oo .
1{ 1 / 1>>.. } ------+ ------+
and note that l { x E [0, 1 ] : f ( x ) > ,\} 1 == x(,\) , where ,\x(,\) == ( 1 - log x(,\) ) - .
1
Finally, if f is non-negative and measurable and one defines r n == {f E
(n - 1, n] } for n E .z+ , then
CX)
3.3. 19:Without loss in generality, we assume that all the 9n ' s are �-valued
and that, in part (i) , fn < 9n, and, in part (ii) , I fn i < 9n , everywhere.
To prove part (i) , first choose a subsequence { fn ' } of {fn} so that
J
' -----+- CX) fn ' dJl == nlim
nlim J ---+ CX) fn dJl ,
and second choose a subsequence {gn" } of {gn' } so that Yn " � g (a.e., JL).
Then, by Fatou ' s Lemma applied to hn 9n - fn > 0,
J g dJl - nlim J
-----+> CX) II
J
fn dJl == lim hn " dJl > lim hn " dJl
n -----+- CX)
J II
n -----+- CX)
==J J J
[g - n,�im-----+- CX) fn" ] dJl > g dJl - nlim ---+ CX) fn dJL.
Given the preceding, the proof of part (ii) in the case of almost everywhere
convergence is exactly the same as the derivation of Lebesgue ' s Dominated
Convergence Theorem from Fatou ' s Lemma. Namely, one sets hn == l fn - J l
and observes that hn < gn + g. The case of convergence in measure is then
handled in precisely the same way as it was in the proof of Theorem 3.3. 1 1 .
3.3.20: (i) If /C is uniformly JL-absolutely continuous and M sup / E K ll f iiL l (J.L )
< oo , choose, for a given E > 0, 8 > 0 so that sup / E K fr I l l dJl < E whenever
r E B satisfies JL(r) < 8 and choose R E (0, oo ) so that -% < 8. Then, by
Markov ' s Inequality, sup / E K JL( I f l > R) < 8 and so sup / E K � / I > R I ll dJl < E.
Next, suppose that /C is uniformly JL-integrable and define
A(R) supK { I J I dtt for R E (0, oo ) .
/ E 1{ 1/ I > R }
Clearly
supK f I! I dtt < Rtt (r) + A(R)
/ E 1r
for any r E B and R E (0, oo ) . Hence, if, for given E > 0, we choose R E (0, oo )
so that A(R) < � ' then fr I! I dJl < E for all f E /( and r E B with JL(r) < 2� ;
and so /C is uniformly JL-absolutely continuous. In addition, when JL(E) < oo ,
by choosing R E (0, oo ) so that A(R) < 1, we see that II ! II L l (J.L ) < RJL(E) + 1 <
oo for all f E /C.
{
1{ 1/ I > R } I J I dtt < R - o l 1/ I > R
J
1!1 1 + 6 dJL < R - 8 1!1 1 + 6 dJL.
(iii) Suppose that fn � f in L 1 (JL). Clearly f E L 1 (JL) and supn EZ+ ll !n i i L l (J.L )
< In addition, for given E > 0, choose m E z + so that ll !n - ! I I L l (J.L ) < �
00 .
n
for > m ; and, using Exercise 3.3. 15, choose 8 > 0 so that
n < m 1fr I fn i dtt < �
1 <max
Solution to Selected Problems 1 75
for all r E B with J.t ( r ) < b , and note that fr I l l d�-t < � whenever J.t ( r ) < 8.
Hence, for this choice of 8 > 0,
I-t-integrable, note that f is J.t-integrable, and ( cf. (i) above and Exercise 3.3. 15)
choose, for a given t > 0, a b > 0 so that
(iv) Tightness enables one to reduce each of these assertions to the finite
measure situation, in which case they have already been established.
3.3.22: Clearly the general case follows immediately from the case in which
�-t(E) V v(E) < oo; and therefore we will assume that J.t and v are both finite.
Thus, by Exercise 3. 1 .8, all that we have to do is check that �-t(G) == v(G) for
every open subset of E.
Let G be an open set in E, and define
cp ( x ) =
( dist ( x, GC )
1 + dist ( x, GC )
) :n
1
the point-wise limit of functions which are measurable on (E, B). Thus, since
f' ( , x) is continuous for each x E E, the measurability of f' follows from the
·
first part.
To prove the last assertion, let t E (0, 1) be given, and suppose that { tn } � C
(0, 1 ) \ { t } is a sequence which tends to t. Set In == [t, tn] or [tn, t] according
to whether tn > t or tn < t, and define
VJn (x) =
fn ( tn, x) - f(t, x) n E z + and E E.
x
tn - t '
Then VJn(x) � f'(t, x) and
l cpn( x) l I In l - l ( R) r f ' (s, x) ds < g (x)
=
}I n
for every x E E. Hence, by Lebesgue ' s Dominated Convergence Theorem,
JE f ( tn, X) J.L ( dx) - JE f ( t, x ) J.L ( dx) r cpn(x) ( dx)
= � r f' (t, x) J.L (dx);
tn - t J.L
JE JE
from which we see that t E (0, 1) � JE f(t, x) J,t( dx) is not only differen
tiable at t but also that its derivative is equal to the J,t-integral of f ' ( t, ) . ·
Finally, given the preceding, the continuity of the derivative is simply another
application of Lebesgue ' s Dominated Convergence Theorem.
5.2.4: (i) First, let r be a non-empty open subset of s N - l ' and set G == { X E
B ( O, 1) \ {0} : �(x) E r} . Then, because � maps B ( O, 1) \ {0} continuously
onto s N G is a non-empty open subset of �N ; and therefore AsN ( r)
-I , -1 ==
NARN ( G) > 0.
Next, let 0 be an orthogonal matrix and denote by R the corresponding
rotation To on � N . Then � o R Ro � on �N \ {0} , l n ( O , l) o R == l n ( o,l ) , and
==
from its definition. To prove the asserted orthogonality relations, define for
each e E � N \ {0} the rotation Re : �N �N by �
2( , x)RN
Re x - X - e 2 e ' X E m N . �
lel
Then, by rotation invariance,
Solution to Selected Problems 177
Similarly, for '11 ..l e ,
and so
(ii) Using Roto denote the rotation determined by the matrix Oo described
in the hint, we see, by rotation invariance and Tonelli's Theorem, that
1S 1 7r
(
r f dv = 21 {g r f Ro(w) dO v( dw)
1 1 1[0,2 1r]
0 )
for any non-negative, Borel measurable f on 8 1 . Next, for fixed w E 81 , choose
'TJw E [0, 2 7r ) so that
(iii) Let f
be a non-negative, continuous function on �N with compact support.
Then, by Tonelli ' s Theorem and Theorem 5.2.2,
J 2 N
p ) f (S (p,w) ) dp Ag N -1 (dw) dr
(1 - 2 -1
( O,CX) ) [- 1 , 1) x SN - 1
1 - p2 ) � F( p) dp
J (
[- 1 , 1 )
-1
where
F(p) J
dy
Hence,
p
(1 -2
Jx S N - 1 ) � f(S(p, w) ) dp A8N - 1 (8w) dr
-1
[- 1 , 1)
(R)
[-8( y ) , 8 ( y)]
(
Since, by part i) of Exercise 5 . 1 . 6,
(R) J f(y , 'l/Jy (p)) d'l/Jy (P) = (R) J f(y ,a)da
[- 8 ( y ) , 8(y)] ['l/ly { -8( y )) , 'l/ly (8(y))]
= r J ( y ,
JJR.l e7) de7
for each y E � N \ {0} , we now see that
{
J(o,oo) TN dr
x s N -1
[- 1 , 1 )
= r 1 j ( z)dz r
}JRN + ( r j ( rw)>. sN (dw) ) dr ;
J(o,oo) JsN f = TN
from which the desired result follows easily by taking to be of the form
1J( I z l ) g ( 1 � 1 )
·
5 .2.6: (iv) Define 1/J as in the hint and observe that
( )2
1/J s
1
==
s+ ( s 22 a a ) 2
------
+ 4 ,B
1
sE�
and therefore that
dd
-'lj;(s) 2
s
1
==
1
2a
Thus, by Exercise 5. 1 .6, for any R E (0, oo ) :
e2;13 j C� exp
2
[ -oh - � ] dt
[ '1/J( - R ) � , 'ljJ ( R ) � ]
1 1
2 /3 2
[- a '¢( s) - 1 ] d1j;(s)
== (R) 1[ - R,R]
exp �
'lj;( s) 2
�
=
2a 1 e-
_!_ (R) 8 2 2(s a ) 2 ds 1
[ - R, R]
1+
s
+ 4 ,B
1
==
[- R,R]
e - 8 2 ds ;
and so
t - ! [-oh - /3 2 ] dt e- 2 a /3 1 e - 8 2 ds ,
J t
[ 'l/J ( - R ) � , '1/J ( R ) � )
1 1
a exp =
[ - R ' R]
and, after differentiating with respect to ,B and applying Exercise 4. 1. 13, one
also has that
- 2 2 ] e- 2
J t 2 [- a t - -t dt ,8 1 e - 8 2 ds .
,3 o: f3 exp
[- R, R]
==
1 1
['l/J( - R ) � , '1/J ( R ) � )
3
5.3. 2 1 : Choose r > 0 and F : BJRN (p, r) � lR so that (5.3. 7) holds. Without
loss in generality, we will assume that r is taken so that F has bounded second
order derivatives on BJRN (p, r) . In particular, since F vanishes on BJRN (p, r ) n
M, there is a C < oo with the property that I F( y ) l < Cdist (y, M) for all
y E BJRN (p, � ) . Hence,
-
1. dist (p + �v) 1.
- F (p + �v) - F (p)
"2 "2
1m < oo ===} 1m < oo
e� o � e� o �
(O,CX)) 2
Now let � be the mapping suggested in the hint, and observe that � maps
1)
(O, oo) x (0, diffeomorphically onto (O, oo) 2 ) and that 8� , == Hence, (u v ) u .
,B = J
r (a) r ( ) (O, )J sa- l t f3- l e - ( s +t ) d s dt = JJ ( u v ) 0 - 1 ( u ( l - v )) f3- 1 u dudv
CX) 2 (O,CX)) (0, 1 )
X
Moreover, if � is the map in the hint, then, by Exercise 4. 1 .6, the integral on
the right is equal to
N
Hence, since ( cf. (iii) in Exercise 4. 2 . 16 ) WN- l = ;(;) , the desired result
follows.
Solution to Selected Problems 181
r(.X) { ( 1 + l x l 2 ) - A dx = { t A - l e- t ( { e - t l x l 2 dx ) dt
}JRN J(o , oo) }JRN
= J(o{ ,oo) tA - l ( � ) � e - t dt = tr � f (,\ - N ) · 2
6.2.22: (i) Let 1 < p < < oo and set q a == � - Then, since J,t(E) == 1, Jensen ' s
inequality applies and yields
for any measure Jl and any 1 < p < q < oo . Second, note that, for the particular
measure under consideration, II J II L oo ( JL ) < II J I I LP( JL ) for any p E [1, oo ] .
(
(iii) Since there is nothing to do when JL E) == 0, we will assume that JL E) E
(0, oo ] . To prove the first assertion, suppose that 0 < M < II J II L oo ( JL ) and set
(
r == { I l l > M} . Then JL(r) > o, and so
p ---+ 00 p ---+ 00
In other words, limp---+ oo II J IILv (JL) > M for every M E [0 , II J II L oo (JL) ) , and so
limp ---+ oo II J II LP(JL ) > II J II L oo (JL ) · To prove the second assertion, assume that
(
JL E) < oo or ll f ii£ 1 (JL ) < oo , and note that
that
l i f (x l , · 2 ) 11 L= (J.I) = nl�n�J f(x l , · 2 ) 1E2 , n ( 2 ) 11 L= (J.I)
•
== n ---+ oo oo I I f (X 1 ' . 2 ) E2 ( 2 ) I I LP ( JL )
lim lim
---+
p
1 ' n • .
182 Solution to Selected Problems
set
JL
to the case when is finite. Thus, we will assume that
An == {xA E E : JL ( {x} ) > � } An JL(E)
, and observe that card(An) <
< oo . Next,
nJL(E) .
Hence, since is the union over n E z + of the
JL
countable. Moreover, when is purely atomic,
A
s, it follows that must be
JL(AC) == 0
and therefore
'
JL(r) == L JL ({x} ) , r E BR ,
x E r nS
then A ==
r n A == 0 JL(r) =={
===}
x E S JL ( { x}) > 0 }
:
o.
is the set of atoms, and it is clear that
(
ii) Clearly,
'l/J( x ) -'l/J(
- oo ) == JL ( {t}) ==
tE D ( 'lj; ) n ( - CX) , x )
('l/J(t) - 'lj; (t-)) == 'l/Jd (x) .
t E D ( 'lj; ) n ( - CX) , x )
Solution to Selected Problems 183
< ( r
L Jr(am , bm ) n{ f <R} 1 dx + J(am , bm) n{ J > R} 1 dx )
L
< R ( bm - am ) + r f dx <
j{J > R}
€,
where, in the passage to the last line, we have used the fact that the intervals
are mutually disjoint. Conversely, suppose that V; is absolutely continuous.
Given r E BR with AR (r) == 0, choose, for a given E > 0, 8 > 0 so that
Next, choose an open set G =:) r so that ,\R (G) < 8 , and find (cf. Lemma
2. 1. 10) a sequence { ( am, ,Bm )} of mutually disjoint open intervals so that G ==
U( am, bm ) · Then L:( bm - am ) == AR ( G ) < 8 and so
and therefore VI
JL�,a while v2 == JL�,a· In particular, this means that
==
V; I V;a and that V;2 + V;3 V;a . Finally, because V;2 is continuous and V;3 is
== ==
purely discontinuous, this second equality means that V;a d '¢3,d V; 3 , from , == ==
which 'l/J2 'ljJa, is trivial.
== c
184 Solution to Selected Problems
2 - k note first that 'lfJk+ 1 JR. \ ck
7. 2 . 1 7: To prove that
'l/Jk ck
r�\ and that
l 'l/Jk + 1 - 'l/Jk l u,R
= 6 , --
r =