Vous êtes sur la page 1sur 36

CHAPITRE VI

Espaces de Lebesgue et mesures signees


Jusquici, nous avons considere des fonctions individuellement. Dans ce cha-
pitre et le suivant, nous porterons notre attention sur des familles enti`eres de fonc-
tions : des espaces de fonctions, ou espaces fonctionnels. Nous munirons ces
espaces de structures geometriques (par exemple une norme pour mesurer la taille
des fonctions, ou un produit scalaire pour denir lorthogonalite) et topologiques
(par exemple, la topologie induite par une norme). En caricaturant un peu, on peut
dire que letude des proprietes geometriques et topologiques des espaces fonctionnels
constitue lanalyse fonctionnelle.
Le but premier de lanalyse fonctionnelle est de mettre en place des schemas de
demonstrations intuitifs ou simples, similaires aux arguments geometriques ou topo-
logiques que lon fait dans un espace Euclidien (usage de coordonnees, orthogonalite,
construction de limites, etc.) On peut sans doute faire remonter ce point de vue `a
Fourier lui-meme.
Dans ce chapitre, nous introduirons deux types despaces fonctionnels. Dans un
premier temps, nous xerons une mesure, et nous construirons des espaces de fonc-
tions mesurables, denis par leur degre dintegrabilite : integrabilite de la puis-
sance p pour les espaces L
p
de Lebesgue. Apr`es avoir etudie les relations entre ces
espaces (ce qui nous m`enera ` a quelques considerations subtiles telles que linterpo-
lation entre espaces de Lebesgue), nous elargirons le cadre pour considerer lespace
de toutes les fonctions mesurables. Enn nous generaliserons encore en incluant les
fonctions mesurables dans un espace plus grand, dont les elements ne sont pas ` a
proprement parler des fonctions, mais plut ot des fonctions densembles : cest les-
pace des mesures signees ; nous verrons pourquoi on peut les considerer comme des
fonctions generalisees.
Les premi`eres questions que lon se pose sur les espaces fonctionnels concernent
la completude, la separabilite, la reexivite, luniforme convexite, lexistence de
syst`emes de coordonnees commodes. Nous repondrons `a certaines de ces questions
dans le present chapitre, et poursuivrons cette etude dans le chapitre suivant.
Dans ce chapitre, la section VI-1, qui introduit les espaces de Lebesgue et leurs
proprietes elementaires, est la plus importante. Les autres sections pourront etre
omises en premi`ere lecture, ou consultees en cas de besoin.
VI-1. Espaces L
p
de Lebesgue
VI-1.1. Denitions.
Definition VI-1 (espaces L
p
). Soit (X, ) un espace mesure.
- Pour tout p ]0, +[ on denit lespace de Lebesgue dordre p comme len-
semble des fonctions mesurables de X dans R telles que [f[
p
soit integrable.
198 CHAPITRE VI (8 mars 2007)
- On denit lespace de Lebesgue dordre comme lensemble des fonctions
mesurables de X dans R telles quil existe C < tel que [f[ C en-dehors dun
ensemble de mesure nulle.
- On denit lespace de Lebesgue dordre 0 comme lensemble des fonctions me-
surables de X dans R qui sont nulles en-dehors dun ensemble de mesure nie.
Lespace de Lebesgue dordre p sur (X, ) est note L
p
(X, ) (ou L
p
() ou L
p
(X, d)
ou L
p
(d) ou L
p
(X, ) ou L
p
(X, ), etc.). Sil ny a pas de confusion possible sur la
mesure , on pourra le noter L
p
(X) (ou L
p
(X) ou L
p
(X)) ; sil ny a pas de confu-
sion possible sur le couple (X, ) on pourra le noter tout simplement L
p
(ou L
p
ou
L
p
).
Remarque VI-2. Lespace L
p
() depend de ; cest evident pour p < ,
mais on se laisse parfois pieger dans le cas p = . Penser par exemple que |x
x
2
|
L

(
1/2
)
= 1/4...
Exemples VI-3. (i) Si X = N et est la mesure de comptage, lespace
L
p
(X, ) pour 0 p < + est lensemble des suites reelles (u
n
)
nN
telles que
(avec la convention 0
0
= 0)

nN
[u
n
[
p
< +.
Pour p = cest lensemble des suites reelles bornees.
Dans ce cas, on utilise traditionnellement les notations
p
ou
p
(N) pour
lespace de Lebesgue dordre p.
(ii) Soient B
1
= B
1
(0) R
n
, et
n
la mesure de Lebesgue dans R
n
. Alors,
la fonction f

: x [x[

appartient `a L
p
(B
1
,
n
) si et seulement si p <
n/, et et `a L
p
(R
n
B
1
,
n
) si et seulement si p > n/. Elle nappartient
`a aucun espace L
p
(R
n
,
n
). En pratique, pour verier lappartenance dune
fonction ` a un espace de Lebesgue, on est souvent amene `a etudier separement
lintegrabilite L
p
locale et lintegrabilite L
p
` a linni.
Remarques VI-4. (i) On rencontre exceptionnellement des espaces de Le-
besgue dordre negatif. La denition ne fait pas de myst`ere : f L
p
(p < 0) si
et seulement si 1/[f[ L
p
. Cette notion na gu`ere dinteret que si est nie.
(ii) Les espaces de Lebesgue constituent en general une tr`es bonne echelle pour
quantier lintegrabilite des fonctions mesurables ; mais parfois cette echelle
nest pas assez precise. On ne peut, par exemple, en termes dappartenance ` a
des espaces L
p
, faire la dierence entre des fonctions de reference telles que
h
,
: x
[log(1/[x[)]

[x[

pour des valeurs dierentes de . Dautres espaces fonctionnels plus ns


permettent de distinguer ces fonctions : par exemple, les espaces de Lorentz
L
p,q
. Si X = B
1
(0) R
n
est muni de la mesure de Lebesgue, alors la fonction
h
,
pour > 0 appartient `a L
p
si et seulement si p < n/; et `a L
p,q
si et
seulement si p < n/ ou p = n/ et q < 1/. Pour = 0, cette fonction
appartient `a L
p,
, que lon appelle aussi espace de Marcinkiewicz M
p
. La
ESPACES DE LEBESGUE ET MESURES SIGN

EES 199
denition des espaces de Lorentz est un peu compliquee et nous nen parlerons
quapr`es avoir discute du concept de rearrangement. A ce stade, on donnera
seulement la denition des espaces de Marcinkiewicz, qui est plus simple : Par
denition, f M
p
(X) (p 1) sil existe une constante C telle que
t 0,
_
x; [f(x)[ t

_
C
t
_
p
.
On notera alors |f|
L
p,
(X)
linmum des constantes C admissibles (cest un
abus de notation, car il ne sagit pas dune norme).
Exercice VI-5. En utilisant linegalite de Chebyshev, montrer que pour tout
p 1, L
p
(X) L
p,
(X), avec injection continue au sens o` u |f|
L
p, |f|
L
p.
Montrer, en considerant des puissances inverses, que cette inclusion est stricte dans
R
n
. Lespace L
p,
est donc un peu plus grand que lespace L
p
.
Remarquons enn que lon peut etendre facilement la denition des espaces L
p
`a des espaces de fonctions `a valeurs vectorielles, plus precisement `a valeurs dans
un espace muni dune distance invariante par translation.
Definition VI-6. Soit E un espace vectoriel ; on dit quune distance sur d est
invariante par translation si pour tous x, y, z E on a
d(x + z, y + z) = d(x, y).
Il est clair quune norme denit une distance invariante par translation. Mais
le concept de distance invariante par translation est beaucoup plus general : par
exemple, si N est une norme, alors N/(1 + N) est une telle distance.
Definition VI-7 (espaces L
p
`a valeurs vectorielles). Soient (X, ) un espace
mesure, et E un espace vectoriel muni dune distance d invariante par translation.
Pour tout p [0, +], on denit alors lespace L
p
(X; E) = L
p
(X, ; E) comme
lespace des fonctions mesurables f : X E telles que d(0, f) L
p
(X, ).
VI-1.2. Inegalite de Minkowski. Le point de depart de lanalyse fonction-
nelle des espaces de Lebesgue est linegalite suivante.
Theor`eme VI-8 (inegalite de Minkowski). Soit (X, ) un espace mesure, et soit
p [1, +[. Alors, pour toutes fonctions f, g mesurables X R,
__
[f + g[
p
d
_
1/p

__
[f[
p
d
_
1/p
+
__
[g[
p
d
_
1/p
,
o` u par convention [(+) +()[ = +. De plus, si p > 1 et si les deux integrales
apparaissant au membre de droite sont nies et non nulles, il y a egalite si et seule-
ment si il existe > 0 tel que f = g presque partout.
Il existe diverses demonstrations de linegalite de Minkowski ; on peut par exemple
la deduire de linegalite de Holder [Rudin p. 64 ; Lieb-Loss p. 48]. Nous allons donner
ci-apr`es une preuve leg`erement dierente, qui nutilise pas explicitement linegalite
de Holder. Nous allons demontrer en meme temps quelques variantes de linegalite
de Minkowski, selon un point de vue parall`ele `a notre presentation de linegalite de
Holder au paragraphe VI-2.1.
200 CHAPITRE VI (8 mars 2007)
Theor`eme VI-9 (variantes de linegalite de Minkowski). Soit p [1, +[.
(i) Soient (X, ) un espace mesure, f et g deux fonctions mesurables sur X, `a
valeurs dans R. Alors, pour tout ]0, 1[,
_
[f + g[
p
d
1

p1
_
[f[
p
d +
1
(1 )
p1
_
[g[
p
d.
(ii) Soient (X, ) un espace mesure, f
1
, . . . , f
k
des fonctions mesurables sur X,
`a valeurs dans R. Alors
_
_
[

i
f
i
[
p
d
_
1/p

i
__
[f
i
[
p
d
_
1/p
.
(iii) Soient (X, ) et (Y, ) deux espaces mesures -nis. Alors, pour toute fonc-
tion F mesurable de X Y dans R
+
+, on a
__
X
__
Y
F(x, y) d(y)
_
p
d(x)
_
1/p

_
Y
__
X
F(x, y)
p
d(x)
_
1/p
d(y).
(iv) Soient X et Y deux ensembles quelconques, et L un operateur lineaire, deni
sur un sous-espace vectoriel de lensemble des fonctions de X dans R, `a valeurs dans
lensemble des fonctions de Y dans R. On suppose que L est positif, i.e. Lf 0 si
f 0. Soient f, g 0 dans le domaine de L. Alors
L((f + g)
p
)
1/p
[L(f
p
)]
1/p
+ [L(g
p
)]
1/p
,
ce qui est une inegalite entre deux fonctions de Y dans R.
(v) Soient (X, ) un espace mesure, (E, | |) un espace vectoriel norme, et f, g :
X E des fonctions mesurables. Alors
__
|f + g|
p
d
_
1/p

__
|f|
p
d
_
1/p
+
__
|g|
p
d
_
1/p
.
(vi) Soient (X, ) un espace mesure, f, g : X C deux fonctions mesurables `a
valeurs complexes. Alors
__
[f + g[
p
d
_
1/p

__
[f[
p
d
_
1/p
+
__
[g[
p
d
_
1/p
.
De plus, si p > 1 et si les deux integrales apparaissant au membre de droite sont
nies et non nulles, il y a egalite si et seulement si il existe > 0 tel que f = g
presque partout.
Demonstration. Nous allons nous contenter de demontrer linegalite dans (i)
et den deduire linegalite de Minkowski du Theor`eme VI-8. Le reste (discussion des
cas degalite dans le Theor`eme VI-8, enonces (ii) `a (vi) du Theor`eme VI-9) est laisse
en exercice.
Pour demontrer (i), on ecrit dabord, par convexite de la fonction t [t[
p
,
[f(x)+g(x)[
p
= [(f(x)/)+(1)(g(x)/(1))[
p
[f(x)/[
p
+(1)[g(x)/(1)[
p
.
ESPACES DE LEBESGUE ET MESURES SIGN

EES 201
On int`egre ensuite contre , pour trouver
_
[f + g[
p
d
1

p1
_
[f[
p
+
1
(1 )
p1
_
[g[
p
.
On optimise alors en (on minimise le membre de droite). Linegalite de Min-
kowski est obtenue en utilisant ldentite elementaire
inf
01
_
a

p1
+
b
(1 )
p1
_
=
_
a
1
p
+ b
1
p
_
p
.
De mani`ere equivalente, on obtient linegalite souhaitee en posant
:=
__
[f[
p
_1
p
__
[f[
p
_1
p
+
__
[g[
p
_1
p
.

Remarque VI-10. Cette methode de preuve (demonstration dune inegalite


auxiliaire dependant dun param`etre, puis optimisation sur ce param`etre) est tr`es
repandue en analyse.
VI-1.3. Distances L
p
. Jusqu` a present nous avons seulement deni lensemble
des fonctions L
p
; maintenant nous allons munir cet ensemble dune structure qui,
selon les cas, sera soit une semi-distance, soit une semi-norme.
Theor`eme VI-11 (semi-distances L
p
). Soit (X, ) un espace mesure. Pour tout
p [0, +], on denit sur L
p
(X, ) une application N
p
, `a valeurs dans [0, ], par
les formules
N
p
(f) =
__
[f[
p
_
min(1,1/p)
(0 < p < );
N

(f) = inf
_
C;
_
x; [f(x)[ > C

= 0
_
;
N
0
(f) =
_
x; f(x) ,= 0

.
La quantite N

(f) est appelee supremum essentiel de [f[, ce que lon note esssup [f[.
Les quantites N
p
(f) sont egalement notees |f|
L
p
(X,)
ou |f|
L
p
(X)
ou |f|
L
p, etc.,
voire |f|
p
.
Lapplication N
p
denit alors sur L
p
(i) pour 1 p : une semi-norme, i.e.
N
p
(f) 0; N
p
(f + g) N
p
(f) + N
p
(g); N
p
(f) = [[N
p
(f);
(ii) pour 0 p < 1 : une application positive, homog`ene de degre p, veriant
linegalite triangulaire, i.e.
N
p
(f) 0; N
p
(f) N
p
(f) + N
p
(g); N
p
(f) = [[
p
N
p
(f).
En outre, pour tout p [0, +], une fonction f dans L
p
(X) verie N
p
(f) = 0
si et seulement si elle est nulle -presque partout.
202 CHAPITRE VI (8 mars 2007)
Demonstration. Les assertions dhomogeneite sont evidentes, ainsi que le trai-
tement des cas degalite. Les inegalites triangulaires sont donc le coeur de cette pro-
position. Pour p = 1, p = 0 ou p = , on les verie aisement ; pour 1 < p <
cest linegalite de Minkowski ; pour 0 < p < 1 cest une consequence immediate de
linegalite elementaire
(a + b)
p
a
p
+ b
p
.

Nous pouvons maintenant denir les espaces fonctionnels de Lebesgue. Pour ce


faire, on va transformer les semi-distances L
p
en distances, en quotientant lespace
par le noyau de N
p
.
Definition VI-12 (espaces de Lebesgue). Soit (X, ) un espace mesure, et soit
p [0, +]. On appelle espace de Lebesgue (quotiente) dordre p, et on note L
p
(X, )
ou L
p
() ou L
p
(X, d) ou L
p
(d) ou L
p
(X, ) .... ou L
p
(X) ou L
p
(X), ou simple-
ment L
p
ou L
p
, lespace vectoriel de toutes les classes dequivalence de fonctions
dans L
p
(X), pour la relation dequivalence denie par legalite -presque partout.
Si une classe dequivalence f est donnee, N
p
attribue la meme valeur ` a tous ses
representants ; on note cette quantite N
p
(f), ou |f|
L
p, ou |f|
p
, etc.
Lespace (L
p
(X, ), N
p
) ainsi deni est un espace vectoriel qui est
- norme pour 1 p ;
- muni dune distance invariante par translation pour 0 p < 1.
Remarques VI-13. (i) En clair, il y a deux espaces de Lebesgue L
p
. Le pre-
mier est lespace vectoriel des fonctions mesurables dont la puissance p est
integrable ; a priori, ce nest pas un espace norme. Le deuxi`eme est obtenu
`a partir du premier en identiant des fonctions qui concident presque par-
tout ; cest un espace norme. Cette identication nous m`ene dans un univers
peu rassurant o` u les fonctions ne sont pas denies partout, mais seulement
presque partout, et o` u la valeur dune fonction en un point donne nest jamais
determinee. Cependant, si on ne proc`ede pas `a cette identication, on ne peut
aller bien loin dans lanalyse fonctionnelle. Nous nessaierons pas de distinguer
les deux espaces par des notations dierentes ; dans la suite, la denomination
espace L
p
sera reservee au second. Certains auteurs tentent de dierencier
les deux espaces en utilisant le symbole L
p
pour lespace non quotiente, mais
la confusion est si repandue que nous nessaierons pas den faire autant. Il est
recommande de ne pas utiliser lespace quotiente si ce nest pas necessaire.
(ii) Si une fonction appartient `a L
p
, lensemble des points o` u elle est innie est de
mesure nulle. Quand on passe aux classes dequivalence par la relation degalite
presque partout, on peut donc supposer que les fonctions considerees sont `a
valeurs dans R plut ot que R.
(iii) Pour p [0, 1[ lespace L
p
, quotiente par la relation degalite presque par-
tout, est un espace vectoriel muni dune distance invariante, mais ce nest pas
un espace vectoriel norme : linegalite de Minkowski telle que nous lavons
enoncee na plus lieu. Il existe en fait une inegalite de Minkowski dans ce cas,
mais seulement pour des fonctions positives, et elle est renversee par rapport
`a celle que nous avons vue. On peut aller plus loin et montrer que L
p
nest pas
normable. Lexistence de la distance N
p
dans ce cas ne sut pas ` a en faire des
espaces fonctionnels agreables, de sorte quon ne les utilise presque jamais.
ESPACES DE LEBESGUE ET MESURES SIGN

EES 203
Pour conclure ce paragraphe, nous allons denir les semi-distances L
p
sur les
espaces de Lebesgue `a valeurs vectorielles L
p
(X; E).
Proposition VI-14 (espaces de Lebesgue `a valeurs vectorielles). Soit (X, )
un espace mesure, et soit E un espace vectoriel muni dune distance invariante par
translation : pour tout p [0, ] on denit
N
p
(f) := N
p
(d(0, f)).
Lapplication N
p
est alors une application positive, veriant linegalite triangulaire.
Si E est un espace vectoriel norme et d la distance associee `a la norme, N
p
est
homog`ene de degre min(p, 1), et en particulier denit une semi-norme pour p 1.
Si lon quotiente L
p
(X; E) par la relation degalite presque partout, on obtient
un espace vectoriel sur lequel N
p
denit une distance invariante par translation. Si
E est un espace vectoriel norme, et p 1, alors lespace L
p
(X; E) ainsi obtenu est
un espace vectoriel norme.
Beaucoup des proprietes que nous verrons par la suite se generalisent sans dif-
culte `a ce cadre ` a valeurs vectorielles ; nous nous contenterons den mentionner
certaines, sans demonstration. Le seul point un tant soit peu delicat dans le manie-
ment des espaces de Lebesgue `a valeurs vectorielles ne concerne pas les operations
dans les espaces L
p
, mais la construction de lintegrale.
VI-1.4. Theor`eme de convergence dominee L
p
. Avant daller plus loin,
nous allons examiner une variante simple et utile du theor`eme de convergence do-
minee, adaptee aux espaces de Lebesgue.
Theor`eme VI-15 (convergence dominee dans les L
p
). Soient (X, ) un espace
mesure et p ]0, +[. Soit (f
k
)
kN
une suite de fonctions mesurables de X dans R,
convergeant presque partout vers une fonction f. On suppose quil existe une fonction
g L
p
(X) telle que [f
k
[ g presque partout, pour tout k. Alors, f L
p
(X, ) et
_
[f
k
f[
p
d
k
0,
cest-`a-dire que f
k
converge vers f dans L
p
.
Demonstration. Il est clair que [f(x)[ g(x) pour presque tout x, et donc que
f L
p
. Pour obtenir le reste de lenonce, on applique le theor`eme de convergence
dominee `a la famille [f
k
f[
p
: cette famille est dominee par la fonction integrable
(2g)
p
, et converge presque partout vers 0, son integrale converge donc vers 0.
VI-1.5. Theor`eme de RieszFischer. Lanalyse etant basee pour une grande
part sur des procedes de limite et dapproximation, on netudie dordinaire les espaces
vectoriels normes que sils sont complets, i.e. toute suite de Cauchy converge. Le
theor`eme suivant assure la completude des espaces de Lebesgue.
Theor`eme VI-16 (theor`eme de completude de RieszFischer). Soit (X, ) un
espace mesure, et soit p [0, +]. Soit (f
k
)
kN
une suite de Cauchy dans L
p
(X, ).
Alors
(i) il existe f L
p
tel que f
k
f dans L
p
;
(ii) il existe une suite extraite de (f
k
), notee (f
k
), et une fonction g xee dans
L
p
, telle que
[f
k
[ g -presque partout;
204 CHAPITRE VI (8 mars 2007)
f
k
(x)
k

f(x) pour -presque tout x.


Corollaire VI-17 (statut des espaces L
p
). Soit (X, ) un espace mesure. Alors,
(i) pour tout p [1, +], lespace L
p
(X, ), muni de la norme L
p
, est un espace
de Banach, i.e. un espace vectoriel norme complet.
(ii) lespace L
2
(X, ), muni de la forme bilineaire symetrique
(f, g)
_
fg d
est en outre un espace de Hilbert, i.e. un espace vectoriel complet muni dune
forme bilineaire symetrique denie positive.
(iii) pour tout p [0, 1[, lespace L
p
(X, ), muni de la distance L
p
, est un espace
de Frechet, i.e. un espace vectoriel muni dune distance invariante par translation,
complet.
Remarque VI-18. La completude eventuelle de lespace X ne joue aucun role ;
ce qui est utilise en revanche de mani`ere cruciale, cest la completude de lespace
darrivee, ici R. Ces resultats se generalisent aux espaces de Lebesgue `a valeurs
vectorielles, L
p
(X; E), si E est
- un espace de Banach dans le cas (i) ;
- un espace de Hilbert dans le cas (ii) ;
- un espace de Frechet dans le cas (iii).
Lanalyse de Banach et lanalyse de Hilbert sont les branches les plus developpees
de lanalyse fonctionnelle. On en recensera dans le chapitre suivant les resultats les
plus fondamentaux, et on les appliquera aux espaces de Lebesgue. On ne parlera
pas du tout danalyse dans les espaces de Frechet, qui est plus delicate et dusage
beaucoup moins repandu.
Demonstration du theor`eme de RieszFischer. Soit (f
k
) une suite de
Cauchy dans L
p
; sa convergence sera assuree si on demontre lexistence dune sous-
suite convergente. Par recurrence, on construit une suite extraite, toujours notee
(f
k
), telle que
N
p
(f
k+1
f
k
) 2
k
.
Le probl`eme est de construire une limite `a cette suite. Pour cela nous distinguerons
plusieurs cas.
1. Supposons dabord 1 p < . On pose f
0
= 0, et
g
k
(x) :=
k

j=1
[f
j
(x) f
j1
(x)[, g(x) :=

j=1
[f
j
(x) f
j1
(x)[
Par convergence monotone,
_
g(x)
p
= lim
k
_
g
k
(x)
p
d;
et par inegalite de Minkowski,
|g
k
|
L
p |f
0
|
L
p +
k

j=1
|f
j
f
j1
|
L
p |f
0
|
L
p + 2,
ESPACES DE LEBESGUE ET MESURES SIGN

EES 205
on en deduit que g L
p
(X). En particulier, il existe un ensemble negligeable N tel
que g(x) < + pour tout x / N. Pour de tels x, la serie

(f
j
(x) f
j1
(x)) est
absolument convergente (par completude de R), et on pose
f(x) :=

j=1
(f
j
(x) f
j1
(x)) = lim
n
f
n
(x).
On denit ensuite f arbitrairement (par exemple f = 0) sur N. la suite (f
n
) est
alors dominee par une fonction L
p
et converge presque partout vers f, on en deduit
quelle converge vers f dans L
p
.
2. Pour p = , on sait quen-dehors dun ensemble de mesure nulle on a
[f(x)[ |f
0
|
L
+

k=0
|f
k
f
k+1
|
L
,
ce qui montre que f L

; en outre,
[f
n
(x) f(x)[

k=n
|f
k
f
k+1
|
L

n
0,
ce qui prouve la convergence de f
k
vers f dans L

.
3. Dans le cas o` u 0 < p < 1, on pose
g
k
(x) :=
_
[f
0
(x)[
p
+
k

j=1
[f
j
(x)f
j1
(x)[
p
_1
p
, g(x) :=
_
[f
0
(x)[
p
+

j=1
[f
j
(x)f
j1
(x)[
p
_1
p
.
Par convergence monotone, on a toujours
_
[g(x)[
p
= lim
k
_
[g
k
(x)[
p
d;
et cest cette fois linegalite triangulaire qui assure que
N
p
(g
k
) N
p
(f
0
) +
k

j=1
N
p
(f
j
f
j1
) N
p
(f
0
) + 2,
on en deduit que [g[
p
L
1
(X) et on conclut comme dans le cas 1 p < .
4. Enn, pour p = 0 on peut ecrire
_
X

k1
1
f
k
=f
k1
d =

k1
_
X
1
f
k
=f
k1
d < +;
en particulier, lensemble N des x X tels que f
k
(x) ,= f
k1
(x) pour une innite de
k est de mesure nulle. Pour tout x / N on sait que la suite (f
k
(x)) est constante ` a
partir dun certain rang, et en particulier converge vers une fonction que lon note
f(x). On redenit f = 0 sur N. Comme
lim
k
0

kk
0
_
X
1
f
k
=f
k1
d = 0,
on voit que pour k
0
assez grand la mesure de lensemble des x tels quil existe
un k k
0
pour lequel f
k
(x) ,= f
k1
(x) est arbitrairement petite. On conclut que
N
0
(f
k
0
f) est arbitrairement petit pour k
0
assez grand. La preuve est donc (cest
le cas de le dire) compl`ete.
206 CHAPITRE VI (8 mars 2007)
Remarque VI-19. Dans le cas o` u p = 1, on a retrouve une variante de la
reciproque du theor`eme de convergence dominee (Theor`eme III-19).
VI-1.6. Produit tensoriel despaces de Lebesgue. Soient (X
1
,
1
) et (X
2
,
2
)
des espaces mesures. Nous avons acc`es aux espaces L
p
(X
1
,
1
) et L
p
(X
2
,
2
), faits
de fonctions p-integrables dans la variable x
1
ou dans la variable x
2
. Quand on ma-
nipule des fonctions L
p
integrables dans les deux variables x
1
et x
2
, elles peuvent
etre
- donnees intrins`equement comme fonctions de x
1
et x
2
;
- construites `a partir de fonctions de x
1
et de fonctions de x
2
, et doperations
elementaires ou de passages ` a la limite.
Pour produire une fonction p-integrable dans les deux variables `a partir de fonc-
tions p-integrables dune variable, une operation elementaire particuli`erement simple
et naturelle consiste `a multiplier de telles fonctions. Soient donc f
1
L
p
(X
1
,
1
) et
f
2
L
p
(X
2
,
2
), on note
(f
1
f
2
)(x
1
, x
2
) = f
1
(x
1
) f
2
(x
2
).
Cette fonction est appelee produit tensoriel de f
1
par f
2
.
Nous avons donc deux espaces a priori interessants :
- lespace L
p
(X
1
X
2
,
1

2
) ;
- lespace L
p
(X
1
,
1
)L
p
(X
2
,
2
), qui par denition est ladherence dans L
p
(X
1

X
2
,
1

2
) de lespace vectoriel engendre par les produits tensoriels ; cest donc
lensemble de toutes les limites de combinaisons lineaires nies de produits tensoriels.
Le theor`eme suivant, que nous demontrerons au chapitre suivant, donne des
conditions susantes pour quil y ait identite entre ces deux notions, et pour que
toute fonction L
p
-integrable dans les deux variables puisse etre approchee par des
combinaisons lineaires de produits tensoriels :
Theor`eme VI-20. Soient (X
1
, d
1
) et (X
2
, d
2
) des espaces metriques separables,
equipes de mesures de Borel
1
et
2
, reguli`eres et -nies. On munit X
1
X
2
de la topologie produit ; alors pour tout p [1, +[, L
p
(X
1
,
1
) L
p
(X
2
,
2
) =
L
p
(X
1
X
2
,
1

2
).
On trouvera la demonstration en p. ??.
VI-1.7. Espaces de Lebesgue locaux. Il est souvent utile de travailler avec
des fonctions qui sont integrables, ou L
p
-integrables, sur des ensembles bornes (par
exemple) sans etre necessairement integrables sur tout lespace. Dans ce cours, on
adoptera la denition suivante.
Definition VI-21 (espaces de Lebesgue locaux). Soit (X, d) un espace metrique.
On note L
p
loc
(X) lensemble des fonctions mesurables X R qui sont L
p
-integrables
sur toutes les boules de X.
Bien noter que cette denition depend fortement de la metrique, pas seulement
de la topologie. On pourrait bien s ur denir les espaces locaux en utilisant des
ensembles compacts ; mais en pratique cest le concept precedent qui nous sera utile.
VI-2. Inegalites et relations entre espaces de Lebesgue
Dans cette section on va passer en revue des inegalites precieuses qui lient les
normes de Lebesgue L
p
pour des exposants p dierents.
ESPACES DE LEBESGUE ET MESURES SIGN

EES 207
VI-2.1. Inegalite de Holder L
p
et dualite des normes L
p
.
Theor`eme VI-22 (inegalite de Holder dans les espaces L
p
). Soit (X, ) un es-
pace mesure, et soient f, g deux fonctions mesurables de X dans R, p [1, +],
p

:= p/(p 1). Alors

_
X
fg d

_
X
[fg[ d |f|
L
p |g|
L
p

(o` u le membre de gauche est par convention + si fg nest pas integrable).


Plus generalement, soient f
1
, . . . , f
k
des fonctions mesurables, et p
1
, . . . , p
k
des
exposants dans [1, +], tels que

p
1
k
1. Alors
|

j
f
j
|
L
r

j
|f
j
|
L
p
j ,
1
r
=
k

j=1
1
p
j
.
Demonstration. Si r = , necessairement p = q = et linegalite est
evidente. Dans le cas contraire, il sut dappliquer linegalite de Holder habituelle
aux fonctions [f[
r
et [g[
r
, avec les exposants conjugues p/r et q/r (en eet, (r/p) +
(r/q) = 1).
Corollaire VI-23 (convergence de produits). Soient (X, ) un espace mesure,
p [1, ] et p

:= p/(p 1). Soient (f


n
) et (g
n
) des suites de fonctions mesurables,
telles que f
n
f dans L
p
(X, ) et g
n
g dans L
p

(X, ). Alors f
n
g
n
converge
vers fg dans L
1
, et en particulier
_
f
n
g
n
d
_
fg d.
Plus generalement, si on se donne k suites de fonctions mesurables (f
1,n
), . . . , (f
k,n
)
telles que
j, f
j,n
f
j
dans L
p
j
(),
avec

p
1
j
1. Alors

j
f
j,n

L
r
()

j
f
j
,
1
r
=
k

j=1
1
p
j
.
Demonstration. Il est clair que le deuxi`eme enonce implique le premier, et que
par recurrence, il sut de traiter le cas k = 2. On se donne donc deux exposants p et
q, et f
n
f dans L
p
, g
n
g dans L
q
, et on cherche ` a montrer que f
n
g
n
fg
dans L
r
, avec 1/r = (1/p) + (1/q). Pour cela on ecrit
|f
n
g
n
fg|
L
r |f
n
(g
n
g)|
L
r +|g(f
n
f)|
L
r |f
n
|
L
p|g
n
g|
L
q +|g|
L
p|f
n
f|
L
q .
Puisque la suite (f
n
) converge dans L
p
, elle est bornee dans cet espace ; on en deduit
que lexpression precedente converge vers 0 quand n .
Nous verrons au chapitre suivant que lespace L
p
peut etre identie `a lespace
des formes lineaires continues sur L
p

, p

:= p/(p 1), sous certaines restrictions sur


p (1 < p , X -ni pour p = ) ; on dit quil y a dualite entre les espaces L
p
et L
p

. Independamment de ce theor`eme non trivial, on peut demontrer simplement


certains liens tr`es utiles entre norme L
p
et norme L
p

, valables pour tous p [1, ].


208 CHAPITRE VI (8 mars 2007)
Theor`eme VI-24 (representation duale des normes L
p
). Soient (X, ) un espace
mesure, et p [1, [. Alors, pour tout f L
p
(),
|f|
L
p
()
= sup
__
fg d; |g|
L
p

()
= 1
_
= sup
g
L
p

()
=0
_
fg d
|g|
L
p

()
,
o` u p

:= p/(p 1) ]1, ]. En outre, le supremum peut etre restreint ` a lensembles


des fonctions g qui secrivent comme combinaisons lineaires (nies) de fonctions
indicatrices densembles mesurables de mesure nie.
Si (X, ) est -ni, cet enonce est egalement valable pour p = .
Demonstration. Si f = 0 (presque partout), lidentite est evidente ; on se
limite donc au cas o` u f ,= 0. Legalite entre les deux suprema est une consequence
de ce que | |
L
p est une norme. Linegalite de Holder se reecrit
_
fg d
|g|
L
p

()
|f|
L
p
()
,
pour tout g L
p

(), ce qui implique


sup
g
L
p

()
=0
_
fg d
|g|
L
p

()
|f|
L
p
()
.
Il sut donc de montrer que
(37) |f|
L
p
()
sup
g
L
p

()
=0
_
fg d
|g|
L
p

()
.
Commen cons par le cas o` u p < ; pour montrer (37) il sut de choisir g :=
[f[
p2
f L
p

().
Montrons maintenant, toujours dans le cas p < , que le supremum peut etre
restreint `a des fonctions tr`es simples. On sait que la partie positive f
+
de f est
limite dune suite croissante de fonctions simples h
k
; puisque f
+
L
p
(X, ), ces
fonctions sont L
p
-integrables, et par convergence monotone, h
k
converge vers f
+
dans L
p
. En appliquant le meme raisonnement ` a f

, on voit que f est limite dans L


p
dune suite f
k
de fonctions simples L
p
, qui secrivent forcement comme combinaisons
lineaires de fonctions indicatrices densembles mesurables de mesure nie. Il en est
de meme de g
k
:= [f
k
[
p2
f
k
. On a alors |f
k
|
L
p =
_
f
k
g
k
d. On ecrit, en utilisant
linegalite de Holder,
_
fg
k
d =
_
f
k
g
k
d +
_
(f f
k
) g
k
d |f
k
|
L
p |f f
k
|
L
p|g
k
|
L
p
.
Le premier terme du membre de droite tend vers |f|
L
p, tandis que le second tend
vers 0 puisque f
k
f dans L
p
. On en deduit que
liminf
_
fg
k
d |f|
L
p,
ce qui conclut la preuve.
Passons maintenant au cas o` u p = . Par denition de |f|
L
, pour tout >
0, lensemble Y

:= x; [f(x)[ > |f|


L
est de mesure strictement positive.
Comme X est -ni, on peut trouver dans Y

un sous-ensemble Z

de mesure nie
ESPACES DE LEBESGUE ET MESURES SIGN

EES 209
et strictement positive (il sagit l` a dune mani`ere tr`es faible dutiliser la -nitude).
On pose alors
g :=
1
Z
sign(f)
[Z

]
;
cest une fonction integrable, |g|
L
1 = 1 et
_
X
fg d =
1
[Z

]
_
Z
[f[ d
1
[Z

]
_
Z
(|f|
L
) d |f|
L
.
On conclut en faisant tendre vers 0.
VI-2.2. Relations dinclusion. Il est souvent crucial de garder en tete les
relations dinclusion entre espaces de Lebesgue. Nous limiterons la discussion au cas
o` u p 1. Si lespace X est de mesure nie, alors les espaces de Lebesgue L
p
(X) sont
embotes :
Theor`eme VI-25 (embotement decroissant des espaces de Lebesgue). Soit
(X, ) un espace mesure ni : [X] < +. Alors, d`es que q p 1 on a, pour
tout f mesurable de X dans R,
|f|
L
p |f|
L
q [X]
1
p

1
q
.
En particulier, les espaces de Lebesgue L
p
(X, ) (p 1) sont embotes dans le sens
decroissant :
q p 1 = L
q
L
p
,
et cette injection est continue.
Demonstration. Cest une consequence de linegalite de Holder : on ecrit
_
[f[
p
1
__
([f[
p
)
q/p
_
p/q
__
1
_
1p/q
et on el`eve les deux membres de linegalite `a la puissance 1/q.
Dans le cas general, les espaces de Lebesgue ne sont pas embotes, et il ny a pas
de r`egle generale. On peut dailleurs trouver des situations o` u lembotement a lieu,
mais dans le sens oppose `a celui que nous venons de decrire.
Theor`eme VI-26 (embotement croissant des espaces de Lebesgue). Soit (X, )
un espace mesure tel que
> 0; x X, [x] .
Alors, d`es que q p 1, pour tout f mesurable de X dans R on a
|f|
L
q
1

1
p

1
q
|f|
L
p.
En particulier, les espaces de Lebesgue L
p
(X, ) (p 1) sont embotes dans le sens
croissant :
q p 1 = L
p
(X) L
q
(X),
et linjection est continue.
210 CHAPITRE VI (8 mars 2007)
Demonstration. Sans perte de generalite, supposons f positive. Pour tout
x
0
X, on a
_
f
p
d [x
0
] f(x
0
)
p
f(x
0
)
p
.
En passant au supremum essentiel, on obtient
|f|
L
p
1/p
|f|
L
.
En reportant cette information dans linegalite
_
f
q
|f|
qp
L

_
f
p
,
on trouve
_
f
q

q
p
1
|f|
p
L
p|f|
qp
L
p ,
do` u lon deduit facilement le resultat.
Exemple VI-27. Soit X = B
1
(0) R
n
, muni de la mesure de Lebesgue
n
:
alors les espaces L
p
(B
1
) sont embotes dans le sens decroissant. En revanche, les
espaces
p
(N) sont embotes dans le sens croissant. Les espaces L
p
(R) en revanche
ne sont embotes ni dans le sens croissant, ni dans le sens decroissant.
Cependant, meme sils ne sont pas embotes, les espaces de Lebesgue sont en
interpolation :
Theor`eme VI-28 (interpolation des espaces de Lebesgue). Soit X un espace
mesure. Alors, d`es que 1 p q r , on a, pour toute fonction mesurable
f : X R,
(38) |f|
L
q |f|

L
p|f|
1
L
r
,
o` u est choisi de sorte que
1
q
=

p
+
1
r
.
En particulier,
L
p
L
r
L
q
,
et cette injection est continue. En outre, L
p
L
r
est dense dans L
q
.
Demonstration. La preuve de linegalite (38) consiste `a ecrire f
q
= f
a
f
b
, o` u
q = a + b, et ` a appliquer linegalite de Holder avec des exposants bien choisis ; il
sagit dun excellent exercice, vivement recommande au lecteur. On en deduit bien
s ur que L
p
L
r
est inclus dans L
q
. Linjection est continue si lon munit L
p
L
r
de sa norme naturelle |f|
L
p + |f|
L
r . Reste ` a prouver la densite : au vu des
relations dinclusion, on a L
1
L

L
p
L
r
L
q
, il sut donc de montrer que
L
1
L

est dense dans L


q
. Soit donc f L
q
, on pose f
k
:= f1
|f|k
. Alors f
k
est
borne par construction, et integrable puisque
_
[f[
q
k
q1
_
[f
k
[. En appliquant le
Theor`eme VI-15, on verie facilement que |f
k
f|
L
q 0 quand k .
Remarque VI-29. Nous examinerons en n de chapitre des theor`emes plus
generaux, dits dinterpolation, qui vont dans la meme direction.
Voici un corollaire simple et utile du theor`eme precedent.
ESPACES DE LEBESGUE ET MESURES SIGN

EES 211
Corollaire VI-30 (convergence via interpolation). Soit X un espace mesure, et
soient p, q deux exposants compris entre 1 et . Soit (f
n
)
nN
une suite de fonctions
mesurables convergeant vers f dans L
p
, et bornee dans L
q
. Alors, pour tout exposant
r compris entre p et q (exclus), la suite (f
n
) converge vers f dans L
r
.
VI-2.3. Continuite de la norme en p. Nous avons deni une famille de
normes L
p
pour un param`etre p variant contin ument entre 0 et . Une question
tr`es naturelle est la continuite de cette norme en le param`etre p.
Theor`eme VI-31 (continuite de la norme L
p
en p). Soient (X, ) un espace
mesure, et f : X R une fonction mesurable. Soit
J :=
_
p [0, ]; N
p
(f) < +
_
.
Alors J est un intervalle (eventuellement vide) et p N
p
(f) est continue sur
ladherence de J (` a valeurs dans [0, +]).
Remarques VI-32. (i) Remarquons que p N
p
(f) nest en general pas
continue sur [0, +] tout entier ; cest pourquoi nous nous restreignons ` a
ladherence de J. Par exemple, si lon consid`ere X = R, muni de la mesure
de Lebesgue, alors la fonction identiquement egale ` a 1 nappartient ` a aucun
autre espace de Lebesgue que L

, donc N
p
(f) = + pour tout p < +;
mais N

(f) = 1, il ny a donc pas continuite quand p . En fait, pour


tout p
0
> 0 on peut trouver, en jouant sur la decroissance `a linni et une
singularite en 0, une fonction qui appartienne ` a L
p
(R) uniquement si p = p
0
(exercice).
(ii) Linteret principal de ce theor`eme est sans doute la continuite en +. En
fait, dapr`es la demonstration qui suit, d`es quil existe q 1 tel que f L
q
(X),
alors
N
p
(f)
p
|f|
L
.
Cet enonce est parfois utile dans des probl`emes de recherche tr`es concrets (par
exemple le schema diteration de Moser en theorie des equations aux derivees
partielles).
(iii) Linegalite (38) entrane que log N
p
(f) est une fonction convexe de 1/p,
et on peut montrer que cette fonction est semi-continue inferieurement. Ces
proprietes impliquent que N
p
(f) est continue sur J (la convexite implique
seulement la continuite dans linterieur de J). Cependant, nous allons donner
une demonstration qui nutilise pas explicitement cet argument.
Demonstration. 1. Le fait que lensemble des valeurs de p o` u N
p
(f) < +
est un intervalle decoule facilement du Theor`eme VI-28. En fait on peut montrer
que la fonction log N
p
(f) est une fonction convexe de 1/p, ce qui implique aussi le
resultat.
2. Considerons dabord la continuite en p ,= 0, . Par continuite de lapplica-
tion p X
min(1,1/p)
pour p ]0, +[, il nous sut de prouver que pour toute suite
p
k
convergeant vers p, f L
p
k
,
_
[f[
p
k
d
k
_
[f[
p
d.
212 CHAPITRE VI (8 mars 2007)
Notons bien que lhypoth`ese f L
p
nest pas faite, de sorte que p pourrait etre
au bord de lintervalle J. On supposera par exemple que p
k
tend vers p en crois-
sant. Alors on a convergence monotone (lune croissante, lautre decroissante) de
[f[
p
k
1
|f|1
et [f[
p
k
1
|f|<1
vers [f[
p
1
|f|1
et [f[
p
1
|f|<1
respectivement. Le passage ` a la
limite croissante ne pose pas de probl`eme ; et puisque [f[
p
k
L
1
, on peut passer
aussi ` a la limite decroissante. On conclut que
_
|f|1
[f[
p
k

_
|f|1
[f[
p
;
_
|f|<1
[f[
p
k

_
|f|<1
[f[
p
.
Le theor`eme en decoule.
3. Un raisonnement du meme type permet de traiter le cas p = 0, en separant
les trois cas [f[ = 0, 0 < [f[ 1, [f[ > 1.
4. Passons maintenant au cas o` u p = . Soit q 1 tel que f L
q
. En utilisant
les identites elementaires
|f|
L
q = |[f[
q
|
1/q
L
1
; |[f[
q
|
L
= |f|
q
L
,
on voit que lon peut remplacer le probl`eme sur f par le probl`eme sur [f[
q
, et que
nous pouvons donc supposer sans perte de generalite
f L
1
; f 0.
On supposera egalement que f nest pas identiquement nulle, auquel cas la solution
est triviale ; donc |f|
L
,= 0.
5. Soit K > 0 tel que K < |f|
L
. Par denition du supremum essentiel, on a
a(K) := [f K] > 0;
il sensuit, par inegalite de Chebyshev,
|f|
L
p [a(K)M
p
]
1/p
= Ma(K)
1/p

p
M.
En faisant tendre M vers |f|
L
, on en deduit (que |f|
L
soit ni ou non)
liminf
p
|f|
L
p |f|
L
.
Si |f|
L
= +, ceci ach`eve la preuve.
6. Supposons maintenant que |f|
L
< +. Comme f L
1
, nous pouvons
utiliser, pour tout p 1, linegalite dinterpolation
|f|
L
p |f|
1/p
L
1
|f|
11/p
L

(qui se demontre tr`es simplement, sans meme que lon ait besoin de recourir ` a
linegalite de Holder). En faisant tendre p vers linni dans cette inegalite, on obtient
limsup
p
|f|
L
p |f|
L
,
ce qui conclut la preuve.
ESPACES DE LEBESGUE ET MESURES SIGN

EES 213
VI-2.4. Interpolation entre espaces de Lebesgue. Le Theor`eme VI-28
montre comment, ` a partir dinformations dans des espaces de Lebesgue L
p
et L
q
,
on peut parfois obtenir des informations dans des espaces de Lebesgue L
r
pour tout
r compris entre p et q. Nous allons maintenant voir des theor`emes plus generaux
qui rendent ce point de vue systematique. Dans la suite, on note L
p
(X) + L
q
(X)
lespace vectoriel de toutes les fonctions mesurables de la forme f +g, o` u f L
p
(X)
et g L
q
(X). En outre, si T est un operateur lineaire dun espace vectoriel norme
E dans un espace vectoriel norme F, on pose
|T|
EF
:= sup
x
E
=0
|Tx|
F
|x|
E
.
Les deux theor`emes qui suivent sont les deux principaux theor`emes dinterpola-
tion entre espaces de Lebesgue. Ils reposent sur des techniques tr`es dierentes, et ne
sont pas comparables. Le premier a donne naissance `a la theorie de linterpolation
complexe, et le second `a la theorie de linterpolation reelle, techniques dune
grande importance en analyse.
Theor`eme VI-33 (theor`eme dinterpolation de RieszThorin). Soient X et Y
deux espaces mesures et p
0
, p
1
, q
0
, q
1
des exposants compris entre 1 et au sens
large. Soit T un operateur lineaire continu de L
p
0
(X) dans L
q
0
(X), et de L
p
1
(X)
dans L
q
1
(Y ). Alors, pour tout ]0, 1[, loperateur T admet un unique prolongement
continu de L
p

(X) dans L
q

(Y ), o` u
1
p

=
1
p
0
+

p
1
,
1
q

=
1
q
0
+

q
1
.
En outre, si lon pose M

= |T|
L
p
L
q
, alors
M

M
1
0
M

1
.
Cas particulier important : Si 1 p q , et T est un operateur
lineaire, borne de L
p
dans L
p
et de L
q
dans L
q
, alors T se prolonge uniquement en
un operateur borne de L
r
dans L
r
, pour tout r [p, q].
Le Theor`eme de RieszThorin peut se reformuler comme suit : lensemble des
couples (1/p, 1/q) tels que T soit continu de L
p
dans L
q
est un ensemble convexe,
et log |T|
L
p
L
q est une fonction convexe du couple (1/p, 1/q). Ce theor`eme a pour
avantage de donner des bornes tr`es precises, qui sont optimales dans le cas general
(ce qui nexclut pas quon ne puisse les ameliorer quand on consid`ere un operateur
T particulier). Le Theor`eme qui suit ne donne pas de bornes aussi bonnes, mais
permet dinclure dans la discussion les espaces de Marcinkiewicz, dont nous avons
vu quils sont leg`erement plus gros que les espaces de Lebesgue ; ce ranement
sav`ere parfois precieux.
Theor`eme VI-34 (Theor`eme dinterpolation de Marcinkiewicz). Soient (X, )
et (Y, ) des espaces mesures, et soient p
0
, q
0
, p
1
, q
1
[1, +] avec q
0
,= q
1
, p
0
q
0
,
p
1
q
1
. Si T est lineaire continu de L
p
0
(X) dans L
q
0
,
(Y ) et de L
p
1
(X) dans
L
q
1
,
(Y ), alors pour tout ]0, 1[, loperateur T admet un unique prolongement
continu de L
p

(X) dans L
q

(Y ), o` u
1
p
=
1
p
0
+

p
1
,
1
q
=
1
q
0
+

q
1
.
214 CHAPITRE VI (8 mars 2007)
En outre, si lon note M
0
= |T|
L
p
0L
q
0
,, M
1
= |T|
L
p
1L
q
1
,, M

= |T|
L
p
L
q
,
alors il existe une constante C

, ne dependant que de , p
0
, p
1
, q
0
, q
1
, telle que
M

M
1
0
M

1
.
Cas particulier important : Soient (X, ) et (Y, ) des espaces mesures -
nis, et soit T un operateur lineaire continu de L
1
(X) dans L
1,
(Y ) et de L

(X)
dans L

(Y ). Alors, pour tout p ]1, +], il existe un unique prolongement de T en


un operateur continu de L
p
(X) dans L
p
(Y ). Plus precisement, il existe une constante
numerique C (C = e
1/e
2 convient) telle que pour tout p [1, +],
|T|
L
p
L
p
Cp
p 1
|T|
1/p
L
1
L
1,
|T|
11/p
L

L
.
Parlons maintenant des demonstrations de ces theor`emes. Cest Riesz qui eut le
premier lidee, vers 1926, de la technique dinterpolation entre espaces de Lebesgue,
et prouva le theor`eme maintenant appele theor`eme de RieszThorin. Vers la n des
annees 1930, Thorin mit au point la preuve que nous allons esquisser ci-apr`es, basee
sur lanalyse complexe ; `a peu pr`es au meme moment, Marcinkiewicz demontrait le
theor`eme qui porte son nom par des methodes tr`es dierentes. Un outil-cle dans le
theor`eme de RieszThorin est le lemme suivant, qui est bien s ur une variante du
principe du maximum pour les fonctions holomorphes (voir [Rudin] par exemple) :
Lemme VI-35 (Lemme des trois lignes). Soit S := x+iy; x [0, 1]; y R C
une bande du plan complexe, et soit f : S C une fonction continue bornee,
holomorphe dans linterieur de S. Alors,
(i) sup
S
[f[ = sup
S
[f[ ;
(ii) soit M

:= sup
yR
[f( + iy)[ ; alors
M

1
M
1
0
.
Demonstration. 1. Supposons dabord que f a pour limite 0 ` a linni, et soit
< |f|

; puisque f tend vers 0 ` a linni, il existe M R tel que [f[ (vu comme une
fonction sur R
2
) atteint son maximum sur [0, 1] [M, M]. On conclut la preuve de
(i) en appliquant le principe du maximum pour les fonctions holomorphes denies
sur des ouverts bornes.
2. Dans le cas general o` u f ne converge pas forcement vers 0, on sy ram`ene en
considerant z
0
tel que [f(z
0
)[ (1 )|f|

et en posant g(z) = e
(zz
0
)
2
f(z),
> 0. En appliquant le resultat precedent, on voit que [g(z)[ atteint son maximum
sur le bord; or ce maximum est au moins [g(z
0
)[ (1 )|f|

. En particulier,
sup
S
[f[ (1 )|f|

,
et on conclut (i) en faisant tendre vers 0.
3. Lenonce (ii) est obtenu ` a partir de (i) en posant h(z) = e
z
f(z), R.
Alors
M

sup
S
[h[ e

sup
S
[h[ e

max(M
0
, e

M
1
).
On choisit de sorte que
M
0
= e

M
1
,
ESPACES DE LEBESGUE ET MESURES SIGN

EES 215
i.e. e

= M
1
/M
0
. Lestimation ci-dessus devient alors
M

1
M
1
0
.

Demonstration du Theor`eme de RieszThorin. On note p = p

, q = q

;
et M
j
= |T|
L
p
j
L
q
j . On va utiliser le Theor`eme VI-24, sous la forme
|f|
L
q
()
= sup
g
L
q
=0
_
fg d
|g|
L
q

()
,
o` u le supremum est pris sur toutes les fonctions g qui sont combinaisons lineaires
de fonctions indicatrices densembles de mesure nie ; nous appellerons fonctions
simples de telles fonctions.
Montrer que T est borne L
p
L
q
avec norme au plus M

1
M
1
0
revient `a prouver
que
(39) |Tf|
L
q M

1
M
1
0
|f|
L
p
pour toute fonction f L
p
, ou, de mani`ere equivalente, pour toute fonction f simple.
Encore une fois, par densite et en traitant ` a part le cas p = , on voit quil sut
detablir (39) dans le cas o` u f est une fonction simple. Notre but est donc
(40)

_
(Tf)g

1
M
1
0
|f|
L
p|g|
L
q
.
Nous allons maintenant introduire un param`etre dinterpolation z S, et faire
varier toutes les quantites ci-dessus en fonction de z. Etant donnees deux fonctions
simples f et g, on pose donc
f
z
(x) = [f(x)[
p

1z
p
0
+
z
p
1

f(x)
[f(x)[
,
g
z
(y) = [g(y)[
q

1z
q

0
+
z
q

g(y)
[g(y)[
,
avec la convention 0/0 = 0. Ces fonctions f
z
sont simples, en particulier dans tous
les espaces L
r
, et il sensuit que Tf
z
L
q
0
L
q
1
pour tout z ; la fonction
: z
_
(Tf
z
)g
z
est donc bien denie. En decomposant f
z
et g
z
en combinaison lineaire de fonctions
indicatrices, on voit quen fait on peut ecrire sous la forme
(z) =

1kK
a

k
z+
k
k
, R, R;
en particulier est holomorphe et bornee dans S, et on peut appliquer le lemme des
trois lignes :
[()[
_
sup
tR
[(it)[
1
__
sup
tR
[(1 + it)[
1
_
.
Mais () nest autre que
_
Tfg. Par ailleurs,

_
Tf
it
g
it

|Tf
it
|
L
q
0 |g
it
|
L
q

0
|T|
L
p
0L
q
0 |f|
p/p
0
L
p |g|
q

/q

0
L
q

,
216 CHAPITRE VI (8 mars 2007)
et lon peut faire une majoration similaire pour les z = 1 + it. La conclusion en
decoule facilement.
Demonstration du theor`eme de Marcinkiewicz. Nous nous contenterons
de demontrer le cas particulier, qui est utile dans de nombreuses situations. Le
lecteur pourra essayer de reconstituer la demonstration generale en adaptant la tech-
nique utilisee ci-dessous ; ou consulter [Zygmund, tome II, chapitre XII, theor`eme
4.6].
Cette fois nous allons demontrer le theor`eme directement, sans passer par des
fonctions simples. La preuve fait intervenir deux idees principales :
- representer les normes des fonctions en jeu au moyen de la taille de leurs
ensembles de sur-niveau, i.e. le lieu des points o` u ces fonctions sont plus grandes
quun certain param`etre t,
- decomposer la fonction en jeu en la somme de deux fonctions appartenant aux
espaces que lon interpole, o` u les deux fonctions sont choisies independamment pour
chaque valeur du param`etre.
Ecrivons donc
|Tf|
L
M
1
|f|
L
, |Tf|
L
1, M
0
|f|
L
1.
La deuxi`eme inegalite se reecrit
t > 0, t[[Tf[ > t] M
0
|f|
L
1.
Sans perte de generalite on supposera que M
1
0
M

1
= 1 ; on peut toujours se ramener
`a ce cas en multipliant T par une constante convenable.
On se souvient de la formule 16 :
_
[f[
p
= p
_
+
0
[[f[ > t]t
p1
dt.
De meme,
_
[Tf[
p
= p
_
+
0
[[Tf[ > t]t
p1
dt.
Pour tout t 0 on ecrit alors
f = f
(t)
1
+ f
(t)
2
, f
(t)
1
= f1
|f|At
, f
(t)
2
= f
2
1
|f|>At
.
La borne L

entrane que pour tout t 0,


[Tf
(t)
1
[ M
1
At.
En particulier,
[[Tf[ > t] [[Tf
(t)
2
[ > (1 M
1
A)t].
En reportant cette inegalite dans la representation de
_
[Tf[
p
, on trouve
_
[Tf[
p
p
_
+
0
[[Tf
(t)
2
> (1 M
1
A)t]t
p1
dt
= (1 M
1
A)
1
p
_
+
0
_
(1 M
1
A)t[[Tf
(t)
2
> (1 M
1
A)t]
_
t
p2
dt
(1M
1
A)
1
pM
0
_
+
0
|f
(t)
2
|
L
1t
p2
dt = (1M
1
A)
1
pM
0
_
+
0
_
[f[1
|f|>At
t
p2
dt.
ESPACES DE LEBESGUE ET MESURES SIGN

EES 217
On applique alors Fubini et un changement de variable evident pour reecrire le
dernier terme sous la forme
(1 M
1
A)
1
pM
0
_
[f[
_
_
|f|/A
0
t
p2
dt
_
=
pM
0
(p 1)(1 M
1
A)A
p1
_
[f[
p
.
On pose M
1
A = , la constante apparaissant en facteur de
_
[f[
p
est minimale
pour = 1/p

, et vaut c
p
M
0
M
p1
1
, avec
c
p
=
p
p+1
(p 1)
p
=
_
p
1/p
p
p 1
_
p
,
que lon majore en utilisant p
1/p
e
1/e
. La preuve est compl`ete.
Pour conclure cette section, mentionnons une variante interessante du theor`eme
de RieszThorin, o` u lon sautorise une dependance de loperateur, est la suivante.
Convenons quune famille (T
z
) denit une famille holomorphe doperateurs si la
fonction z T
z
f est holomorphe pour tout f simple. On peut alors changer, dans
lenonce du Theor`eme de RieszThorin, loperateur T en une famille holomorphes
doperateurs T
z
; lhypoth`ese de bornes L
p
0
L
q
0
et L
p
1
L
q
1
sur T est alors
remplacee par une hypoth`ese similaire sur T
0
et T
1
respectivement.
Theor`eme VI-36 (theor`eme dinterpolation de Stein). Soient X et Y deux es-
paces mesures -nis, et p
0
, p
1
, q
0
, q
1
des exposants compris entre 1 et au sens
large. Soit (T
z
)
zD
une famille holomorphe doperateurs lineaires denis sur une
partie D du plan complexe incluant la bande S des nombres complexes dont la partie
reelle est comprise entre 0 et 1. On suppose que T
0
est borne de L
p
0
(X) + L
q
0
(Y )
dans L
p
1
(X) +L
q
1
(Y ), tel que T
1
est borne L
p
0
(X) L
p
1
(Y ), et L
q
0
(X) L
q
1
(Y ).
Alors,
T

est borne L
p
(X) L
q
(Y ),
En outre, si on pose M

= |T
z
|
L
p
L
q
, alors
M

M
1
0
M

1
.
La demonstration est similaire ` a celle du theor`eme de RieszThorin.
Exemple VI-37. Soit une mesure et w une fonction positive ; la famille doperateurs
T
z
: f w
z
f
satisfait aux hypoth`eses du theor`eme. Le theor`eme dinterpolation de Stein de-
vient alors un theor`eme dinterpolation entre espaces de Lebesgue `a poids.
Par exemple, si v est une fonction positive et si lon denit
|f|
L
p

= |fv

|
L
p,
alors on a, pour tout operateur lineaire S,
|S|
L
p

L
q

|S|
1
L
p
0

0
L
q
0

0
|S|

L
p
1

1
L
q
1

1
.
218 CHAPITRE VI (8 mars 2007)
VI-3. Espace des fonctions mesurables
Nous allons maintenant introduire une notion naturelle de convergence des fonc-
tions mesurables, ne presupposant aucune integrabilite, et etudier ses liens avec la
convergence L
p
.
VI-3.1. Convergence dans L. Une premi`ere idee qui vient `a lesprit consiste
`a utiliser la convergence presque partout, comme naturellement associee au cadre
de la theorie de la mesure. Cependant, cette notion presente de graves defauts : en
particulier, la convergence L
p
(1 p < ) nimplique pas la convergence presque
partout. En outre, la convergence presque partout nest pas associee `a une metrique :
en eet, on demontre facilement que dans un espace metrique, si une suite (f
n
) a la
propriete que toute sous-suite extraite admet une sous-sous-suite convergeant vers un
certain f, alors la suite f
n
enti`ere tend vers f. Or nous avons vu (Exemple III-18(i))
que cet enonce nest pas vrai pour la convergence presque partout.
La notion naturelle de convergence est en fait celle que nous venons dinvoquer
implicitement.
Definition VI-38 (convergence au sens des fonctions mesurables). Soient X et
Y deux espace mesures. On dit une famille (f
n
)
n1
de fonctions mesurables de X
dans Y converge vers f si de toute sous-suite extraite (f
n
) de (f
n
) on peut extraire
une sous-sous-suite extraite (f
n
) qui converge presque partout vers f.
Pour abreger, on pourra dire que f
n
converge presque partout ` a extraction
pr`es. Cette notion a en commun avec la notion de convergence presque partout la
propriete de stabilite par composition : si f
n
: X Y converge vers f et est
nimporte quelle fonction mesurable de Y dans un autre espace mesurable Z, alors
f
n
converge vers f.
Contrairement `a la convergence presque partout, la convergence presque partout
`a extraction pr`es est en general associee `a une metrique. Pour se souvenir que cette
notion de convergence est plus faible que toutes les convergences L
p
, nous lappelle-
rons convergence dans L.
Proposition VI-39 (convergence dans L et convergence en mesure). Soient
(X, ) un espace mesure fini, (Y, d) un espace metrique, et soit une fonction
strictement positive partout sur X, dintegrale convergente. Alors la formule
(f, g) :=
_
X
d(f(x), g(x))
1 + d(f(x), g(x))
(x) d(x)
denit une distance sur lespace L(X, ; Y ) des fonctions mesurables de X dans Y ,
quotiente par la relation degalite -presque partout. On note cet espace L(X, ) dans
le cas o` u Y est R muni de la distance euclidienne. Les trois assertions suivantes sont
equivalentes :
(i) (f
n
, f) 0 ;
(ii) de toute suite extraite (f
n
) on peut extraire une suite extraite (f
n
) qui
converge presque partout vers f ;
(iii) f
n
converge vers f en mesure sur les parties nies, i.e. pour toute partie A
de mesure nie on a
> 0,
_
x A; d(f
n
(x), f(x))

n
0.
ESPACES DE LEBESGUE ET MESURES SIGN

EES 219
Si Y est complet, lespace L ainsi deni est un espace metrique complet. Si Y =
R, alors L
1
L

est dense dans L.


Remarques VI-40. (i) Lexistence dune fonction integrable et stricte-
ment positive est garantie par lhypoth`ese de -additivite : soit (A
k
)
k1
une
famille densembles mesurables disjoints, de mesure nie, dont la reunion est
X, on peut poser

k
=

k1
1
A
k
k
2
[A
k
]
.
(ii) En theorie des probabilites ([X] = 1), la convergence en mesuxre est appelee
convergence en probabilite.
Demonstration. Nous donnerons la preuve uniquement dans le cas o` u Y = R.
Supposons que lassertion (i) du theor`eme est veriee, et soit (f
n
) une suite extraite
de (f
n
). La fonction positive integrable (x)[f
n
(x) f(x)[/(1 + [f
n
(x) f(x)[)
converge vers 0 dans L
1
(X), on peut donc extraire une sous suite n

pour laquelle
cette expression converge vers 0 presque partout. Comme est strictement positive
partout, on en deduit que f
n
converge presque partout vers f. Lassertion (ii) est
donc vraie.
Pour montrer que (ii) implique (i), on extrait une sous-suite n

quelconque, et
de cette sous-suite on extrait une sous-sous-suite pour laquelle la convergence a lieu
presque partout, et on applique le theor`eme de convergence dominee `a la famille
[f
n
f[/(1 + [f
n
f[), dominee par . On montre ainsi que (f
n
, f) 0.
Comme la sous-suite extraite f
n
etait arbitraire, et que denit une metrique, on
en deduit que (f
n
, f) 0.
Supposons de nouveau que lassertion (i) du theor`eme soit veriee, et soit B
n,
lensemble des x X tels que [f
n
(x) f(x)[ : alors
(f
n
, f)

1 +
_
Bn,
d,
et donc
_
Bn,
d
n
0.
Soit maintenant A une partie de mesure nie. Comme X est la reunion denombrable
croissante des 1/k, on peut trouver K = K() tel que
[ 1/K A] [A] ,
o` u est arbitrairement petit. On a alors
[B
n,
A] [B
n,
A 1/K] + K()
_
Bn,
d + .
A et xes, le premier terme du membre de droite tend vers 0 quand n ;
comme est arbitrairement petit, on conclut que
[B
n,
A]
n
0,
ce qui veut dire quil y a bien convergence en mesure sur toutes les parties de mesure
nie.
220 CHAPITRE VI (8 mars 2007)
Finalement, supposons lassertion (iii) du theor`eme veriee, et prouvons lasser-
tion (i). Pour tout > 0 on peut ecrire
(f
n
, f)

1 +
_
B
c
n,
d + [B
n,
]
_
d + [B
n,
].
Le premier terme est arbitrairement petit quand 0, et le deuxi`eme tend vers 0
quand n , etant xe. On en deduit que (f
n
, f) 0.
Montrons maintenant la completude de lespace (L, ). Soit (f
n
)
nN
une suite
de Cauchy pour ; Pour tout k N, on pose
A
k
:= x; (k + 1)
2
(x) < k
2
.
La famille (1
A
k
f
n
)
nN
est alors une suite de Cauchy. On pose (f, g) := [f g[/(1 +
[f g[). Quitte ` a extraire une sous-suite, on peut supposer que
_
A
k

=1
(f
n
(x), f
n1
(x)) d(x) < +.
Pour presque tout x A
k
on a donc convergence de la serie

(f
n
(x), f
n1
(x)), et
la suite (f
n
(x)) converge donc vers un nombre note f(x) (on utilise ici la completude
de (R, )). Par convergence dominee, on montre alors que
_
A
k
(f
m
(x), f
n
(x)) d(x)
n
_
A
k
(f
m
(x), f(x)) d(x).
Comme la suite (f
n
) est de Cauchy, le membre de gauche est arbitrairement petit
quand m est grand et n m. On conclut nalement que
_
A
k
(f
m
(x), f(x)) d(x)
m
0,
ce qui est bien s ur equivalent ` a
_
A
k
(f
m
(x), f(x)) d(x)
m
0.
On a donc, pour tout k
0
,

kk
0
_
(f
m
(x), f(x)) d(x)
m
0;
et dautre part, puisque L
1
(d),

k>k
0
_
(f
m
(x), f(x)) d(x)

k>k
0
_

k
0

0.
On conclut que
_
(f
m
(x), f(x)) d(x)
m
0.
Enn, dans le cas Y = R, montrons que L
1
L

est dense dans L. Soit f une


fonction mesurable ` a valeurs reelles, on pose
A
k
:= x X; [f(x)[ k et (x) k
1
.
Puisque f est `a valeurs reelles et strictement positive, les A
k
forment une famille
croissante dont lunion est egale ` a X tout entier, donc [X A
k
] 0. Soit > 0
ESPACES DE LEBESGUE ET MESURES SIGN

EES 221
arbitrairement petit, on choisit k tel que [X A
k
] < . Alors, pour toute fonction
g L
1
(d),
_
X\A
k
(f, g) d [A
k
] .
En particulier, (f, f1
A
k
) . La fonction f1
A
k
est bornee par construction, et elle
est egalement integrable puisque A
k
est de mesure nie (`a cause de lintegrabilite de
). Ceci conclut largument.
VI-3.2. Lien avec les autres notions de convergence. La convergence dans
L est une notion plus faible que la convergence au sens L
p
, mais elle lui est intime-
ment liee, comme le montre le theor`eme suivant, dans lequel nous nous limiterons
aux fonctions `a valeurs reelles.
Theor`eme VI-41 (convergence dans L et dans L
p
). Soit (f
n
)
nN
une suite de
fonctions mesurables `a valeurs relles sur un espace mesure (X, ) ; soit egalement f
une fonction mesurable `a valeurs reelles. Alors
(i) si f
n
f dans L
p
(X, ) (0 p ), alors f
n
f dans L(X, ).
(ii) si f
n
f dans L(X, ) et il existe g L
p
() (0 < p < ) tel que [f
n
[ g
pour tout n, alors f
n
f dans L
p
(X, ).
Demonstration. Lassertion (i) est facile : pour toute sous-suite extraite n

,
on a f
n
f dans L
p
, et on peut donc trouver une sous-sous-suite pour laquelle il
y ait convergence presque partout.
Pour prouver lassertion (ii), il sut de montrer que pour toute sous-suite ar-
bitraire n

, on a convergence dune sous-sous-suite f


n
vers f dans L
p
. On peut
supposer que f
n
converge presque partout vers f. La conclusion decoule alors du
theor`eme de convergence dominee, applique `a la suite [f
n
f[
p
, que lon peut ma-
jorer par la fonction integrable max(2, 2
p
)[g[
p
.
La condition de domination peut etre remplacee par une condition plus faible
qui suppose seulement certaines bornes en moyenne. On va utiliser ici la notion
dequi-integrabilite, etudiee dans la section III-5.
Theor`eme VI-42. Soient (X, ) un espace mesure -ni, p ]0, +[, et (f
n
)
nN
une suite de fonctions dans L
p
(X, ), convergeant dans L(X, ) vers une fonction
mesurable f. On suppose que ([f
n
[
p
) est equi-integrable et equi-integrable ` a linni.
Alors f
n
converge vers f dans L
p
(X, ).
Remarque VI-43. Dans le chapitre suivant, nous retrouverons le cas particulier
p = 1 de ce theor`eme comme une consequence du theor`eme de Schur.
Demonstration du Theor`eme VI-42. Soit > 0 ; on sait par hypoth`ese
quil existe M
1
> 0 et un ensemble A
1
de mesure nie, tels que pour tout n,
_
|fn|>M
1
[f
n
[
p
d +
_
X\A
1
[f
n
[
p
d .
Notons que cela impose bien s ur
_
[f
n
[
p
d M
1
[A
1
] + ;
222 CHAPITRE VI (8 mars 2007)
et par le lemme de Fatou on en deduit
_
[f[
p
d liminf
n
_
[f
n
[
p
< +.
Lespace X etant -ni, on peut donc trouver M
2
> 0 et un ensemble A
2
de mesure
nie, tels que
_
|f|>M
2
[f[
p
d +
_
X\A
2
[f[
p
d .
On pose A := A
1
A
2
, M := max(M
1
, M
2
).
On a alors
_
X\A
[f
n
f[
p
d max(2, 2
p
)
__
X\A
1
[f
n
[
p
d +
_
X\A
2
[f[
p
d
_
max(2, 2
p
).
La meme majoration est valable sur lensemble des x pour lesquels [f
n
(x)[ M ou
[f(x)[ M ; donc en particulier pour lensembles des x tels que [f
n
(x)f(x)[ 2M.
On conclut que
_
X
[f
n
f[
p
d
_
A{|fnf|2M}
[f
n
f[
p
d + 2 max(2, 2
p
).
On distingue alors deux cas.
Si p 1, on ecrit
_
A{|fnf|2M}
[f
n
f[
p
d (2M)
p1
(1 + 2M)
_
A{|fnf|2M}
[f
n
f[
1 +[f
n
f[
d,
et on conclut que
_
X
[f
n
f[
p
d (2M)
p1
(1 + 2M)(f
n
, f) + 2 max(2, 2
p
);
comme par hypoth`ese (f
n
, f) 0, on a bien la convergence de f
n
vers f dans
L
p
.
Si en revanche 0 < p < 1, on ecrit
_
A{|fnf|2M}
[f
n
f[
p
d
__
A{|fnf|2M}
[f
n
f[ d
_
p
[A [f
n
f[ 2M]
1p
(1 + 2M)
1/p
__
A{|fnf|2M}
[f
n
f[
1 +[f
n
f[
d
_
p
[A]
1p
.
On conclut que
_
X
[f
n
f[
p
d (2M)
p1
(1 + 2M)
1/p
[A]
1p
(f
n
, f) + 2 max(2, 2
p
);
ce qui entrane encore la convergence de f
n
vers f dans L
p
.
VI-4. Espaces de mesures
Dans cette derni`ere partie du chapitre, nous allons etudier les mesures signees,
qui constituent une generalisation des fonctions mesurables, et les mesures (signees)
nies, qui constituent une generalisation des fonctions sommables.
ESPACES DE LEBESGUE ET MESURES SIGN

EES 223
VI-4.1. Mesures signees. Si (X, ) est un espace mesure, et f une fonction
positive mesurable sur X, alors on peut denir sur X une nouvelle mesure, notee
f, par la formule
f[A] =
_
A
f d.
On voit donc que, d`es que lon a xe une mesure de reference , lensemble des
fonctions mesurables positives peut sidentier `a une partie de lensemble des me-
sures ; en ce sens, les mesures constituent une generalisation des fonctions mesurables
positives.
Une fonction mesurable quelconque peut toujours secrire comme dierence de
deux fonctions positives : f = f
+
f

; en outre, f
+
et f

sont etrang`eres, au sens


o` u elles ne sont jamais simultanement non nulles. Il est facile detendre cette notion
`a des mesures :
Definition VI-44 (mesures etrang`eres). Soit X un espace mesurable ; on dit
que deux mesures et sur X sont etrang`eres si elles sont concentrees sur des
ensembles disjoints ; en dautres termes, sil existe deux ensembles mesurables A et
B tels que A B = , A B = X, [A] = 0, [B] = 0.
Nous pouvons maintenant denir la notion de mesure signee, comme une gene-
ralisation du concept de fonction mesurable :
Definition VI-45 (mesure signee). Soit X un espace mesurable. On appelle
mesure signee sur X un couple = (
+
,

) de mesures etrang`eres sur X, appelees


respectivement partie positive et partie negative de . On notera formellement =

. On note alors [[ =
+
+

.
On dira que est nie (ou bornee) si
+
et

sont nies. On dira que est de


Borel si
+
et

le sont. On dira que est reguli`ere si


+
et

sont reguli`eres.
Remarque VI-46. Si A est mesurable et (
+
[A],

[A]) ,= (+, +), on peut


denir sans ambigute la quantite
[A] :=
+
[A]

[A] R;
mais si
+
[A] =

[A] = +, la valeur de [A] nest pas denie a priori. Cest


pourquoi lecriture
+

doit etre consideree comme formelle.


Exemples VI-47. Sur R,
0
est une mesure qui nest pas une fonction;
0

1
est
une mesure signee ;
0

0
ne constitue pas une mesure signee au sens de la denition
precedente (les deux mesures ne sont pas etrang`eres) ; :=

k0

2k

k0

2k+1
est une mesure signee, mais on ne peut attribuer aucune valeur ` a [R].
VI-4.2. Decomposition de Hahn. Soit = (
+
,

) une mesure signee sur


un ensemble mesurable X. Comme nous lavons remarque, il est en general impos-
sible de denir comme une fonction densembles denie sur les parties mesurables
de X. Cest cependant bien s ur le cas si
+
et

sont des mesures nies.


Le principal theor`eme en la mati`ere est le theor`eme de decomposition de Hahn.
Ce resultat montre que les mesures signees sont caracterisees par une propriete de
-additivite :
Theor`eme VI-48 (theor`eme de decomposition de Hahn). Soit (X, /) un espace
mesurable ; alors on peut identier
224 CHAPITRE VI (8 mars 2007)
- dune part, les fonctions densembles -additives sur /, `a valeurs dans R, cest-
`a-dire les fonctions : / R telles que pour toute famille (A
k
)
kN
densembles
mesurables deux `a deux disjoints,
[
_
A
k
] =

k
[A
k
];
- dautre part, les mesures signees nies (
+
,

) sur /;
via la formule [A] =
+
[A]

[A].
Remarque VI-49. Tout le travail dans ce theor`eme consiste `a decomposer en
sa partie positive et sa partie negative, do` u lappellation theor`eme de decomposition.
Il faut bien noter que le theor`eme contient lunicite de cette decomposition.
Remarque VI-50. Il est important, dans lenonce precedent, de considerer les
fonctions -additives `a valeurs dans R : le resultat serait faux avec R (une mesure
-additive nest pas pour autant nie !).
Demonstration. 1. Il est clair quune mesure signee nie denit une fonction
-additive densembles ; cest bien s ur la reciproque qui presente un interet.
2. Montrons maintenant lunicite de la decomposition eventuelle ; xest un exer-
cice tr`es simple mais un peu fastidieux. Soient
+
,

,
+
,

des mesures nies


veriant, au sens des fonctions -additives,

=
+

,
et telles que (
+
,

) dune part, (
+
,

) dautre part, forment des couples etrangers.


Introduisons S(
+
) et S(

) des ensembles mesurables tels que


+
[S(

)] = 0,

[S(
+
)] = 0, S(
+
) S(

) = X, S(
+
) S(

) = ; et de meme, des en-


sembles S(
+
) et S(

) avec des proprietes similaires vis-`a-vis de

. Lensemble
A := S(
+
) S(

) verie
[A] =
+
[S(

)] =

[S(
+
)];
la quantite [A] est donc `a la fois positive et negative, et donc nulle. On en deduit
que
+
[S(

)] = 0 =

[S(
+
)] ; et de meme,

[S(
+
)] =
+
[S(

)] = 0. Pour
tout A S(
+
) on a donc [A] =
+
[A], mais aussi [A] =
+
[A]

[A] =
+
[A] ;
on conclut que
+
et
+
concident sur S(
+
), et donc en fait
+
=
+
. De meme,

.
3. Soit une fonction -additive densembles ; pour tous ensembles (A
k
)
kN
,
la famille

[A
k
] doit etre commutativement convergente (sa convergence, et la
valeur de la somme, sont inchangees si lon permute les A
k
de mani`ere arbitraire).
Par un theor`eme classique sur les series `a valeurs reelles, elle doit etre absolument
convergente. En conclusion, pour toute famille densembles A
k
deux ` a deux disjoints,
on a

[[A
k
][ < +.
Soit alors (B
k
)
kN
une famille de parties mesurables quelconques ; en posant A
k
=
B
k
(B
0
B
1
. . . B
k1
) et en appliquant le resultat precedent, on obtient facilement
sup
kN
[[B
k
][ < +. En choisissant pour B
k
une famille qui maximise [[B][ parmi
tous les ensembles B mesurables, on conclut que est forcement bornee.
ESPACES DE LEBESGUE ET MESURES SIGN

EES 225
4. Dautre part, il est facile de verier que verie des proprietes de passage
`a la limite similaires `a celles des mesures : pour toute famille (A
k
) croissante, en
appliquant la relation de -additivite `a la famille (A
k
A
k1
), on obtient
[
_
A
k
] = lim
k
[A
k
].
Enn, en passant au complementaire et en utilisant [[X][ < +, on voit que pour
toute famille (A
k
) decroissante,
[

A
k
] = lim
k
[A
k
].
5. Soit maintenant
M := sup
AA
[A].
Dapr`es letape precedente, M < +; dautre part il est clair que M 0. Notre
but est de montrer que ce supremum est atteint par un ensemble mesurable S
+
, que
nous identierons ensuite comme un support de la partie positive de . Si M = 0,
il sut de poser S
+
= ; nous supposerons donc M > 0. Soit (A
k
)
kN
une famille
telle que
[A
k
]
_
1
1
2
k
_
M.
Posons
A := limsup A
k
=

N
_
k
A
k
.
La famille C

:=

k
A
k
etant decroissante, on sait que [A] = lim

[C

].
Dautre part, en appliquant de mani`ere repetee linegalite
[A
k
B] = [A
k
] + [B] [A
k
B] [A
k
] + [B] M [B] 2
k
M,
on voit que, pour tout m ,
[A

. . . A
m
] [A

]
m

k=
2
k
M [A

] 2
(1)
M.
En passant ` a la limite quand m , on en deduit
[C

] [A

] 2
(1)
M (1 3 2

)M.
Il ne reste plus qu`a faire tendre vers linni pour obtenir
[A] M.
En utilisant la denition de M, on conclut que [A] = M.
6. En conclusion, nous avons montre que atteint son maximum M = M
+
sur
une partie mesurable, que nous noterons S
+
. On pose alors S

= XS
+
, de sorte que
(S
+
, S

) realise une partition de X. Montrons maintenant que pour tout C S


+
on a [C] 0. Dans le cas contraire, on aurait
[S
+
C] = [S
+
] [C] > [S
+
] = M
+
,
ce qui contredirait la denition de M
+
. De meme, sil existait C S

tel que
[C] > 0, alors on aurait
[S
+
C] = [S
+
] + [C] > [S
+
] = M
+
,
226 CHAPITRE VI (8 mars 2007)
ce qui serait tout aussi impossible. On conclut que la restriction de aux parties
mesurables de S
+
est positive, tandis que la restriction de aux parties mesurables
de S

est negative. Il sensuit que (S


+
, ) et (S

, ) sont deux espaces mesures ;


on peut alors ecrire comme dierence de deux mesures :
[A] = [A S
+
] ([A S

]).
Les mesures
+
:= [ S
+
] et

[ S

] sont bien s ur nies et etrang`eres, ce qui


ach`eve la demonstration du theor`eme.
VI-4.3. Espace des mesures signees nies. Comme nous lavons vu, le
theor`eme de Hahn identie les mesures signees nies avec les fonctions -additives
densembles, `a valeurs reelles. Il est clair que ce dernier espace est un espace vec-
toriel, ce qui netait pas evident a priori pour les mesures signees nies. On peut
donc munir les mesures signees nies dune structure naturelle despace vectoriel : il
devient possible dajouter ou de soustraire des mesures signees, ou de les multiplier
par des nombres reels. Lecriture =
+

, qui jusquici etait purement formelle,


peut maintenant sinterpreter, dans le cas o` u
+
et

sont nies, comme une sous-


traction au sens usuel dans un espace vectoriel. La proposition suivante se demontre
sans diculte :
Proposition VI-51 (inegalites elementaires pour les mesures signees). Soient
X un espace mesurable, et deux mesures signees nies sur X, identiees ` a des
fonctions -additives densembles, ` a valeurs reelles ; alors
=
+

+
,

;
0, ()

; < 0, ()

= [[

;
()
+
=

; [ [ = [[;
( + )

; [ + [ [[ +[[.
Pour mesurer la taille dune mesure signee, un concept naturel est fourni par la
variation totale :
Definition VI-52 (variation totale). Soient X un espace mesurable, et une
mesure signee sur X ; soient
+
et

les parties positive et negative de . On appelle


variation totale de , et on note ||
V T(X)
ou simplement ||
V T
, la quantite positive
[[[X] =
+
[X] +

[X].
Si A est une partie mesurable de X, on notera ||
V T(A)
= [[[A].
Proposition VI-53 (proprietes de la variation totale). Soient X un espace me-
surable et une mesure signee sur X. Alors
(i) A ||
V T(A)
est une fonction -additive densembles (qui concide avec
[[) ;
(ii) Pour toute partie mesurable A de X,
[[A][ ||
V T
.
Plus generalement, pour toutes parties disjointes (A
k
)
kN
,

kN
[[A
k
][ ||
V T
.
ESPACES DE LEBESGUE ET MESURES SIGN

EES 227
(iii) ||
V T
= sup
|h|1
_
h d, o` u le supremum est pris sur toutes les fonctions
mesurables sur X (majorees en valeur absolue par 1) ; on peut egalement restreindre
le supremum aux fonctions mesurables valant 1.
(iv) ||
V T
= inf
_

+
[X] +

[X]; =
+

_
, o` u linmum est pris sur
tous les couples de mesures (
+
,

), non necessairement etrang`eres, telles que =

; en outre il y a egalite si et seulement si

.
Demonstration. Lenonce (i) est evident. Pour obtenir (ii), il sut decrire
[[A][ = [
+
[A]

[A][
+
[A] +

[A]
+
[X] +

[X].
Pour demontrer (iii), introduisons des ensembles disjoints S
+
et S

tels que

soit
supportee par S

. Il est alors clair que, d`es que [h[ 1, on a


_
S
+
h d =
_
S
+
h d
+

+
[S
+
] =
+
[X];
et de meme
_
S

h d

[X].
On conclut que
_
h d ||
V T
. Legalite est obtenue pour h = 1
S
+
1
S

, ce qui
ach`eve la preuve de (iii). Enn, pour demontrer (iv) il sut de demontrer que
=
+

=
+
[S

] +

[S

[S

].
Demontrons par exemple
+
[S
+
] +

[S
+
]
+
[S
+
]. Puisque
+
[S
+
] = [S
+
] =

+
[S
+
]

[S
+
], cette inegalite se reduit `a

[S
+
]

[S
+
], ce qui est evident.
Le traitement des cas degalite ne seectue sans dicute.
Nous allons maintenant decrire de mani`ere un peu plus precise lespace des me-
sures signees nies :
Theor`eme VI-54 (espace des mesures signees). Soit X un espace mesurable.
Lensemble des mesures signees nies sur X, muni de la variation totale, constitue
un espace de Banach, que lon note M(X). Pour toute mesure nie sur X, lespace
L
1
() sidentie isometriquement ` a un sous-espace de M(X) via linjection f
f : en particulier,
|f|
L
1
()
= |f|
V T
.
Demonstration. 1. Il est facile de verier que la variation totale denit bien
une norme, en utilisant la Proposition VI-51.
2. Montrons maintenant que M(X) est complet : soit (
k
)
kN
une famille de
mesures signees nies telles que
|
k

|
V T

k,
0.
Pour toute partie A mesurable, on a, dapr`es la Proposition VI-53(i),
[
k
[A]

[A][ |
k

|
V T

k,
0.
Il sensuit que la suite (
k
[A])
kN
est de Cauchy, et elle converge donc (par completude
de R!) vers un nombre reel que nous noterons [A].
228 CHAPITRE VI (8 mars 2007)
Montrons que lapplication ainsi denie est une mesure signee. Par le theor`eme
de Hahn, il sut de verier que cest une fonction -additive ; pour cela on se donne
une famille denombrbable densembles A
j
disjoints, et on ecrit la relation de -
additivite pour
k
:

k
[
_
A
j
] =

k
[A
j
].
On peut passer ` a la limite quand dans le premier terme ; pour passer ` a la
limite dans le deuxi`eme, et donc prouver la -additivite de , il sut detablir

j
[

[A
j
] [A
j
][

0.
Mais, les A
j
etant disjoints, on a, pour tout k , gr ace ` a la Proposition VI-53(ii),

j
[

[A
j
]
k
[A
j
][ |

k
|
V T
,
et le membre de droite converge vers 0 quand , uniformement en k. En faisant
tendre dabord k vers linni, puis , on obtient le resultat souhaite.
`
A ce stade nous savons quil existe une mesure signee telle que pour tout A
mesurable,
k
[A] converge vers [A] quand k . Pour prouver la completude, il
reste `a montrer que |
k
|
V T
tend vers 0. Soit h une fonction mesurable valant
1 sur X, et (k) := sup
k
|
k

|
V T
. On a, dapr`es la Proposition VI-53(ii),
_
h d
k

_
h d

(k).
La fonction h est de la forme 1
A
1
B
; on peut donc passer ` a la limite dans
_
h d

quand , et on trouve
_
h d
k

_
h d (k).
En prenant le supremum sur h et en appliquant la Proposition VI-53(ii) encore, on
conclut que |
k
|
V T
(k), ce qui conclut largument.
3. Reste ` a verier lidentite
|f|
L
1
(d)
= |f|
V T
pour toute mesure nie . Pour cela il sut de noter que f
+
et f

constituent
la decomposition de Hahn de la mesure signee f ; en utilisant la denition de la
variation totale on trouve donc
|f|
V T
= f
+
[X] + f

[X] =
_
f
+
d +
_
f

d =
_
(f
+
+ f

) d =
_
[f[ d.

VI-4.4. Theor`eme de Riesz pour les mesures signees. Comme nous lavons
vu au chapitre II, les mesures peuvent etre introduites soit ` a partir du concept de
-additivite, soit comme formes lineaires sur des espaces de fonctions continues, le
theor`eme de Riesz garantissant lequivalence de ces deux points de vue dans le cas
localement compact. Il en va de meme des mesures signees : nous les avons intro-
duites comme dierence de deux mesures, mais on aurait aussi pu les introduire `a
partir du point de vue des formes lineaires. Cest le contenu de lenonce suivant.
ESPACES DE LEBESGUE ET MESURES SIGN

EES 229
Theor`eme VI-55 (theor`eme de Riesz pour des mesures signees). Soit X un
espace topologique separe, localement compact. Alors on peut identier (mettre en
correspondance bijective et isometrique)
- dune part, les formes lineaires continues sur lespace C
c
(X) des fonctions
continues sur X `a support compact, muni de la norme de la convergence uniforme ;
- ou, de mani`ere equivalente, les formes lineaires continues sur lespace C
0
(X)
des fonctions continues sur X tendant vers 0 ` a linni, muni de la norme de la
convergence uniforme ;
- dautre part, les mesures de Borel signees, reguli`eres et nies sur X ; cest-
`a-dire de la forme
+

, o` u
+
et

sont des mesures de Borel reguli`eres nies


etrang`eres sur X ;
via la formule
f =
_
f d :=
_
f d
+

_
f d

.
En particulier
||
V T
= sup
__
X
f d; [f[ 1, f C
c
(X)
_
= sup
__
X
f d; [f[ 1, f C
0
(X)
_
.
Remarque VI-56. Si X est un espace topologique separe compact, alors on
peut bien s ur remplacer lespace C
c
(X) dans lenonce ci-dessus par C(X). En re-
vanche, si X nest pas compact, le theor`eme narme rien sur les formes lineaires
continues sur C
b
(X). En fait lidentication du dual de C
b
(X) est un probl`eme en
general insoluble (et dependant de laxiomatique).
Demonstration. 1. Soit dabord =
+

une mesure signee nie sur X ;


alors, pour toute fonction f C
c
(X),

_
f d

_
[f[ d
+
+
_
[f[ d

C|f|

,
o` u C =
+
[X] +

[X]. La fonctionnelle f
_
f d est donc bien une forme
lineaire continue sur C
c
(X).
2. Reciproquement, soit une forme lineaire continue sur C
c
(X) ; pour tout
f C
c
(X), f 0 on pose
f := sup
_
h; h C
c
(X); 0 h f
_
.
La fonctionnelle , denie sur lensemble des fonctions continues positives `a support
compact, est positive et croissante (f g = f g) ; montrons quelle est
sur-additive. Soient f
1
et f
2
deux fonctions continues positives ` a support compact,
soit > 0 et soient h
1
, h
2
deux fonctions continues `a support compact telles que
pour i = 1, 2,
0 h
i
f
i
, h
i
f
i
.
Alors h := h
1
+ h
2
est une fonction continue ` a support compact telle que 0 h
f
1
+ f
2
, et on a
h = h
1
+ h
2
f
1
+ f
2
2.
230 CHAPITRE VI (8 mars 2007)
En passant au supremum sur tous les h admissibles, on obtient
(f
1
+ f
2
) f
1
+ f
2
2.
En faisant nalement tendre vers 0, on conclut ` a la sur-additivite de . On peut
alors appliquer la Remarque II-55 (v) suivant lenonce du Theor`eme de Riesz II-
54 pour conclure que se represente par une mesure (positive) de Borel presque
reguli`ere, que nous noterons
+
.
3. Montrons maintenant que
+
est nie. Si 0 h f, alors bien s ur |h|


|f|

, et par continuite de il existe C > 0, independant de f et h, tel que h


C|f|

. En passant au supremum, on obtient f C|f|

, soit
_
f d
+
C|f|

.
Pour tout compact K X, on peut trouver une fonction f, continue ` a support
compact, qui soit comprise entre 0 et 1, identiquement egale ` a 1 sur K ; en appliquant
linegalite precedente ` a une telle fonction, on obtient

+
[K] C.
Par ailleurs, X etant ouvert et
+
etant presque reguli`ere, on a

+
[X] = sup
_

+
[K]; K compact
_
;
ce qui prouve
+
[X] C. On conclut que
+
est nie. Par la Remarque II-55 (iii)
suivant lenonce du Theor`eme II-54 (de Riesz),
+
est reguli`ere.
4. Il est maintenant facile de conclure la preuve : la mesure
+
construite
precedemment denit une forme lineaire continue sur C
c
(X), et il est clair que

+
.
La forme lineaire
+
est donc une forme lineaire positive sur C
c
(X), et une
nouvelle application du Theor`eme de Riesz nous permet de la representer par une
mesure de Borel presque reguli`ere, que nous noterons

. On montre, de meme que


precedemment, que

est nie et reguli`ere. Il sensuit que peut secrire sous la


forme
+

.
5. Il est evident que
||
V T
sup
__
X
f d; [f[ 1, f C
0
(X)
_
sup
__
X
f d; [f[ 1, f C
c
(X)
_
.
Pour conclure la demonstration, il sut donc detablir
||
V T
sup
__
X
f d; [f[ 1, f C
c
(X)
_
.
Pour cela, on decompose en partie positive et negative, et on utilise la regularite de

+
et

pour trouver des ensembles compacts K


+
et K

avec

[K

[X] .
Les ensembles compacts K
+
et K

etant disjoints, on peut trouver des ouverts O


+
et O

tels que K

et O
+
O

= (Cf. paragraphe I-2.3). Par le lemme


dUrysohn, on peut trouver
+
continue ` a valeurs dans [0, 1], identiquement egale ` a
1 sur K
+
et ` a support compact dans O
+
; et de meme

continue ` a valeurs dans


ESPACES DE LEBESGUE ET MESURES SIGN

EES 231
[0, 1], identiquement egale ` a 1 sur K

et ` a support compact dans O

. On pose alors
f =
+

, de sorte que
_
f d
+
[K
+
] +

[K

] ||
V T
(X (K
+
K

))
(
+
[X] ) + (

[X] ) 2 = ||
V T
4.
On conclut en faisant tendre vers 0.
VI-4.5. Representation duale de la variation totale. Comme corollaire du
Theor`eme VI-55 (Theor`eme de Riesz pour les mesures signees), nous avons obtenu
une representation duale de la variation totale :
||
V T
= sup
__
X
f d; [f[ 1, f C
0
(X)
_
(41)
= sup
__
X
f d; [f[ 1, f C
c
(X)
_
. (42)
Mais cette formule na ete etablie que dans le cas o` u X est localement compact, et en
fait elle peut facilement etre en defaut dans des espaces non localement compacts.
Pourtant, sous des hypoth`eses tr`es generale elle demeure vraie, pourvu que lon
remplace C
0
(X) par C(X).
Proposition VI-57. Soit X un espace metrique et une mesure (de Borel)
signee sur X, reguli`ere. Alors
||
V T
= sup
__
X
f d; [f[ 1, f C(X)
_
.
En particulier, cette formule est automatiquement veriee si est nie et X est un
espace polonais.
Demonstration. La premi`ere partie de lenonce implique la deuxi`eme puisque
toute mesure nie sur un espace polonais est reguli`ere (Theor`eme I-50). Dautre part
il est clair que
_
d ||
V T
pour tout continu ` a valeurs dans [1, 1] ; il sut
donc de prouver que ||
V T
sup
_
d, o` u le supremum est pris sur les fonctions
continues ` a valeurs dans [1, 1].
Soient S
+
et S

des ensembles disjoints tels que ||


V T
=
+
[S
+
] +

[S

].
Comme est reguli`ere, pour tout > 0 on peut trouver des compacts K
+
S
+
et
K

(bien s ur disjoints) tels que


||
V T

+
[K
+
] +

[K

] + ;
en particulier, la variation totale de sur le complementaire de K
+
K

est au plus
.
Sur chaque compact K

, on peut appliquer le theor`eme de Riesz : par exemple

+
[K
+
] = |
+
|
V T(K
+
)
= sup
_
_
d
+
; C(K
+
), || 1
_
.
On peut donc trouver

(continue sur K

et `a valeurs dans [1, 1]) tels que

[K

]
_
K

+ .
232 CHAPITRE VI (8 mars 2007)
(Quitte ` a remplacer

par sa partie positive, on peut supposer que ces fonctions


sont positives, donc ` a valeurs dans [0, 1].) Soit denie sur K
+
K

, qui vaut
+
sur K
+
et

sur K

: on a alors
||
V T

_
K
+
K

d + 3.
Par le Theor`eme dextension de TietzeUrysohn (rappele dans la sous-section I-2.3),
on peut prolonger en une fonction continue sur X, toujours notee , ` a valeurs dans
[1, 1]. On a alors
_
K
+
K

d
_
X
d +||
V T(X\(K
+
K

))

_
X
d + .
On conclut que
||
V T

_
X
d + 4,
et on ach`eve largument en faisant tendre vers 0.
VI-4.6. Espace des mesures de Radon. Auparavant nous avons concentre
notre attention sur les mesures signees nies. Les mesures de Radon constituent une
classe particuli`ere de mesures non signees, dusage courant en analyse, en relation
avec la theorie des distributions. Avant de les introduire, notons que leur denition
meme varie de mani`ere assez importante dun auteur ` a lautre.
Definition VI-58 (mesures de Radon). Soient X un espace localement compact,
muni de sa tribu borelienne, et un ouvert de X ; on appelle mesure de Radon sur
une mesure signee, localement nie (i.e. nie sur tout compact de ) et reguli`ere.
On notera M
loc
() lespace de ces mesures.
Autrement dit, les mesures de Radon sont localement des mesures nies reguli`eres,
mais leur variation totale peut etre innie. Ces mesures sont assez naturelles en ana-
lyse ; si lon munit C
c
() dune topologie adequate, dite topologie inductive, qui en
fait un espace complet, il sav`ere que (C
c
())

= M
loc
() (cest bien s ur un avatar
du theor`eme de Riesz). En dautres termes, les mesures de Radon sidentient donc
alors au dual de lespace des fonctions continues ` a support compact. Cest ce que
traduit lenonce suivant (non demontre dans ce cours) :
Theor`eme VI-59 (mesures de Radon comme formes lineaires). Soit X un espace
topologique separe, localement compact, dans lequel tout ouvert est union denombrable
de compacts. Pour tout compact K X, on note C
K
(X) lespace des fonctions
continues dans X, dont le support est contenu dans K. Alors lespace des mesures
de Radon sidentie ` a lespace des formes lineaires sur C
c
(X) dont la restriction ` a
C
K
(X) est continue, pour tout compact K X.