Vous êtes sur la page 1sur 26

CHAPITRE II

Integration selon Lebesgue et selon Riesz


Dans ce chapitre, nous allons denir lintegrale de Lebesgue pour une large classe
de fonctions, que nous appellerons sommables au sens de Lebesgue. Nous nous pla-
cerons dans un cadre abstrait, qui inclura comme cas particulier lintegration des
fonctions continues. Le point de depart sera la notion de fonction mesurable, intro-
duite dans la section II-1 ; on denira ensuite lintegrale dans la section II-2, et on
veriera dans la section II-3 quelle constitue une forme lineaire.
Il existe un autre point de vue pour lintegration, qui consiste `a prendre les fonc-
tions continues comme point de depart. Le theor`eme de Riesz, qui est lobjet de
la section II-4, assure que ces deux points de vue sont equivalents (modulo quelques
subtilites), sous certaines hypoth`eses topologiques sur lespace ambiant. La plus res-
trictive de ces hypoth`eses est la condition de compacite locale, qui est satisfaite
par R
n
ou par nimporte quelle variete Riemannienne de dimension nie, mais mise
en defaut par de nombreux espaces interessants, au premier rang desquels se trouve
lespace de Wiener.
Ce chapitre se conclut par quelques mots sur lintegration ` a valeurs vectorielles,
qui sera abordee plus en detail dans un chapitre ulterieur.
II-1. Fonctions mesurables
On cherche `a denir une large classe de fonctions susceptibles detre integrees,
que nous appellerons fonctions mesurables. Il est souhaitable que cette classe de
fonctions contienne au moins les fonctions indicatrices densembles mesurables, et
(dans un cadre topologique) les fonctions continues.
En topologie, o` u les parties ouvertes jouent un role privilegie, on dit quune
fonction entre deux espaces topologiques est continue si limage reciproque de tout
ouvert est un ouvert. En theorie de la mesure, on adopte une demarche similaire
pour denir les fonctions mesurables.
II-1.1. Denition.
Definition II-1 (fonctions mesurables). Soient X et Y deux espaces mesurables,
et f : X Y . On dit que f est mesurable si limage reciproque f
1
(B) de nimporte
quelle partie mesurable B Y est une partie mesurable de X.
Exemple II-2. Lexemple le plus simple est la fonction indicatrice f = 1
A
dun
ensemble mesurable A : cest la fonction qui vaut 1 sur A et 0 sur le complementaire.
Limage reciproque dun ensemble quelconque par f est lun des quatre ensembles
, X, A, X A, qui sont tous bien s ur mesurables.
Nous verrons dans la suite des crit`eres pratiques de mesurabilite, permettant de
construire de tr`es nombreuses fonctions mesurables. En fait, comme on le commen-
tera dans la Remarque II-19, la mesurabilite est la r`egle plut ot que lexception.
66 CHAPITRE II (7 mars 2007)
Remarques II-3. (i) Soient X un espace mesurable, Y un ensemble quel-
conque, et f : X Y une fonction quelconque. Il est toujours possible de
munir Y dune -alg`ebre pour laquelle f soit une fonction mesurable. Il suf-
t pour cela de denir une partie mesurable comme une partie dont limage
reciproque est mesurable. On pourra verier `a titre dexercice que cela denit
bien une tribu. Cette tribu est la plus grande qui rende f mesurable : toute
tribu plus petite a la meme propriete. On lappelle tribu image de / par f et
on la note souvent f
#
/.
(ii) Soient maintenant X un ensemble quelconque, Y un espace mesurable, et
f : X Y une fonction quelconque. Il est encore possible de munir X dune
-alg`ebre pour laquelle f soit une fonction mesurable. Il sut pour cela de
considerer les images reciproques des ensembles mesurables. Cette tribu est
la plus petite qui rende f mesurable : toute tribu plus grande a la meme
propriete. On lappelle tribu engendree par f ; nous aurons loccasion de revenir
sur cette notion.
(iii) De meme que limage dun ouvert par une application continue nest en
general pas ouverte, limage dun ensemble mesurable par une application me-
surable f nest en general pas mesurable. Cest cependant le cas si f : X Y
est une application bijective entre deux espaces Polonais X et Y munis de
leur tribu borelienne : sous ces hypoth`eses, limage de tout ensemble mesurable
par f est mesurable (voir [Parthasarathy]). En particulier, la reciproque dune
bijection mesurable entre espaces Polonais est automatiquement mesurable.
Le crit`ere pratique qui suit est dusage constant.
Proposition II-4 (crit`ere pratique de mesurabilite). Soient (X, /) et (Y, B)
deux espaces mesurables, et f : X Y . On suppose que la tribu B est engendree
par une famille T de parties de Y : B = (T). Alors f est mesurable si et seulement
si pour tout F T, f
1
(F) est mesurable.
Demonstration. Denissons
( :=
_
B B; f
1
(B) /
_
= f
#
/.
En utilisant les formules
f
1
(Y B) = f
1
(Y ) f
1
(B), f
1
_
_
B
k
_
=
_
f
1
(B
k
),
on montre que ( est une tribu. Comme elle contient T, elle contient egalement
(T) = B.
Exemples II-5. (i) Lexemple le plus courant est le suivant : si X et Y sont
deux espaces topologiques, munis de leur tribu borelienne, et f : X Y
est une fonction quelconque, alors f est mesurable si et seulement si limage
reciproque de tout ouvert de Y est un Borelien de X. On dit alors que f est
borelienne. En particulier, toute fonction continue est borelienne.
(ii) Dans le cas o` u Y = R
n
, pour montrer quune fonction f : X Y est mesu-
rable, il sut de verier que limage reciproque de tout pave est un Borelien
de X. Par exemple, si on reussit `a montrer que cest une union denombrable
dintersections denombrables dunions denombrables de fermes...
INT

EGRATION SELON LEBESGUE ET SELON RIESZ 67


(iii) Dans le cas o` u Y = R, il sut de verier que limage reciproque de tout
intervalle semi-ouvert, de la forme I = [y, +[, est un Borelien. En particulier,
toute fontion semi-continue inferieurement (ou superieurement) est borelienne.
Mais en general la classe des fonctions boreliennes est beaucoup plus large.
(iv) Dans le cas o` u Y est un espace produit, muni de la topologie produit, il
sut de verier que limage reciproque de tout pave est mesurable. Pour un
produit inni, il sut de verier que limage reciproque de tout cylindre est
mesurable.
On va voir au paragraphe suivant comment on peut, via des operations simples,
construire de tr`es nombreuses fonctions boreliennes qui ne sont pas du tout conti-
nues, ni continues par morceaux. Toutefois, sous certaines hypoth`eses topologiques,
les fonctions boreliennes peuvent etre bien approchees par des fonctions conti-
nues, et encore mieux par des fonctions semi-continues ; les theor`emes de Lusin et
Vitali-Caratheodory, que nous evoquerons dans la section II-4.4, en sont une bonne
illustration.
II-1.2. Stabilite des fonctions mesurables. Il est tr`es facile de construire
des fonctions discontinues en manipulant des fonctions continues et un peu de theorie
des ensembles : il sut par exemple de denir une fonction separement sur [a, b]
et ]b, c]. En revanche, en manipulant des fonctions mesurables et des ensembles
mesurables, on ne peut gu`ere construire que des fonctions mesurables !
Proposition II-6 (restriction). Soient (X, /) et (Y, B) deux espaces mesurables,
et A une partie mesurable de X. Soit f : X Y une application mesurable. On
munit A de la tribu induite par /, i.e. lensemble de tous les elements de / qui
sont inclus dans A. Alors la restriction de f `a A est une application mesurable de
A dans Y .
Demonstration. Cest un simple jeu de maniement des axiomes.
Proposition II-7 (recollement). Dans un espace mesurable X, soit (A
k
)
kN
une famille denombrable de parties mesurables disjointes, telle que X = A
k
. Soit
egalement Y un espace mesurable. Sur chaque A
k
(considere comme espace mesu-
rable), on se donne une fonction mesurable f
k
: A
k
Y . Soit f la fonction qui pour
tout k concide avec f
k
sur A
k
. Alors f est mesurable.
Demonstration. Limage reciproque dun ensemble mesurable B par f est
lunion des ensembles mesurables f
1
k
(B), cest donc un ensemble mesurable.
Proposition II-8 (produit inni de fonctions mesurables). Soient (X
t
)
tT
et
(Y
t
)
tT
des espaces mesures, dependant dun param`etre t T, et soient (f
t
)
tT
des fonctions mesurables de X
t
dans Y
t
respectivement. On munit X =

X
t
et
Y =

Y
t
de la tribu produit, i.e. la plus petite tribu qui rende mesurable tous les
cylindres. Alors lapplication f =

f
t
est mesurable de X dans Y .
En particulier, si f
1
, . . . , f
k
sont des applications mesurables denies sur X
1
, . . . , X
k
respectivement, ` a valeurs dans Y
1
, . . . , Y
k
respectivement, alors lapplication f =
(f
1
, . . . , f
k
) est mesurable de X
1
. . . X
k
dans Y
1
. . . Y
k
.
Demonstration. Par le crit`ere II-4, il sut de montrer que limage reciproque
de tout cylindre est mesurable ; on peut meme se limiter `a le faire pour les cylindres
68 CHAPITRE II (7 mars 2007)
engendres par des paves :
C(B
t
1
, . . . , B
t
K
) =
_
y Y ; k 1, . . . , K, y
t
k
B
t
k
_
,
o` u K est arbitraire et chaque B
t
k
est une partie mesurable de Y
t
k
(pour alleger
lecriture, on na pas incorpore dans les notations le fait que le cylindre depend
explicitement du choix de t
1
, . . . , t
K
, et pas seulement des ensembles B
t
1
, . . . , B
t
K
).
On verie aisement que
f
1
(C(B
t
1
, . . . , B
t
K
)) = C(A
t
1
, . . . , A
t
K
), A
t
k
= f
1
k
(B
t
k
).
Cest en particulier un ensemble mesurable.
Proposition II-9 (composition). Soient f : X Y et g : Y Z deux applica-
tions mesurables entre espaces mesurables, alors leur composition gf est mesurable.
Demonstration. Cest une consequence immediate de la denition.
Corollaire II-10. Soient X, Y et Z des espaces mesurables, tels que Y et Z
sont des espaces topologiques munis de leur tribu borelienne, soient f : X Y une
application mesurable, et : Y Z une application continue. Alors f : X Z
est une application mesurable.
Demonstration. Cest une consequence de la proposition precedente, com-
binee avec lexemple II-5(i).
A laide de ces crit`eres simples, il est facile de trouver beaucoup doperations
elementaires qui preservent la notion de mesurabilite. La proposition suivante ras-
semble les plus courantes.
Proposition II-11 (operations elementaires). Soient X un espace mesure, et
f, g deux fonctions mesurables de X dans R (muni de la tribu borelienne). Alors les
fonctions f + g, f g, fg, min(f, g), max(f, g) et, si g ne sannule pas, f/g sont
mesurables.
Demonstration. On applique le corollaire II-10 avec les applications continues
addition, soustraction, etc. Noter que min(f, g) = (f +g)/2 [f g[/2.
Outre ces operations elementaires, une operation frequemment utilisee pour denir
des fonctions est la limite (ou ses avatars tels que serie, etc.). Pour parler de limites,
il sera bien commode de remplacer R par R = R , dont on fait un espace
topologique en decidant que les intervalles ]a, +[ et ]a, +] (a R) engendrent
les ouverts. La restriction de cette topologie ` a R est la topologie usuelle ; en eet,
les intervalles ]a, +[ engendrent la topologie usuelle de R. On note que R est un
espace metrique compact. On munira toujours R de sa tribu borelienne. La raison
pour considerer R plut ot que R est simple : bien souvent, une fonction admettra en
certains points une limite dans R et non dans R.
Proposition II-12 (Boreliens de R). Les Boreliens de R sont engendres par les
intervalles de la forme [a, +] (a R), ou par les intervalles de la forme ]a, +].
Demonstration. Il sut par exemple de verier que la tribu engendree par
les intervalles [a, +] contient tous les intervalles de la forme ]a, +[. En prenant
le complementaire de [a, +] on obtient un intervalle [, a[ ; en prenant linter-
section de [, b[ et de [a, +] on obtient un intervalle [a, b[ ; en prenant lunion
INT

EGRATION SELON LEBESGUE ET SELON RIESZ 69


des [a +1/k, b[ (k N) on obtient lintervalle ouvert ]a, b[ ; enn ]a, +[ est lunion
denombrable des intervalles ]a, k[.
Remarque II-13. Attention aux operations dans R : loperation (x, y) x +y
nest pas bien denie dans R tout entier `a cause de lindetermination (+)+().
Ainsi, si f et g sont deux fonctions `a valeurs dans R, on ne peut pas armer que
f + g soit mesurable. Si on sait que f et g prennent leurs valeurs dans R +,
alors f +g est bien mesurable ; mais f g nest pas forcement deni...
Theor`eme II-14 (stabilite par limite). (i) Soit (f
n
)
nN
une famille de fonc-
tions mesurables sur un espace mesurable X, `a valeurs dans R. Alors les fonctions
liminf f
n
et limsup f
n
sont mesurables.
(ii) En particulier, si la famille (f
n
) converge simplement, i.e. pour chaque x la
suite f
n
(x) converge dans R, alors la fonction limf
n
est mesurable.
(iii) Si la famille (f
n
) converge dans R sur une partie C de X, et g est une
fonction mesurable quelconque de X (par exemple la fonction nulle), alors la fonction
f denie par
_
f(x) = limf
n
(x) si x C
f(x) = g(x) sinon
est mesurable de X dans R.
Les enonces (ii) et (iii) restent vrais si lon remplace R par R.
Remarque II-15. On rappelle que la limite superieure (respectivement inferieure)
dune suite delements de R est sa plus grande (respectivement plus petite) valeur
dadherence dans R. La limite superieure et la limite inferieure existent toujours
dans R, pas forcement dans R.
Demonstration. Soit (f
n
) une famille de fonctions mesurables, on va montrer
par exemple que limsup f
n
est mesurable. Il sut de montrer que pour tout R,
lensemble C

:= x X; limsup f
n
(x) , avec R, est mesurable. Dire que
x appartient `a C

, cest dire que pour tout k, f


n
(x) prend une innite de fois une
valeur superieure ou egale ` a 1/k, ou encore : pour tout k, pour tout n il existe
m n tel que f
m
(x) 1/k. Autrement dit,
C

kN

nN
_
mN
f
1
m
_
[ 1/k, +]
_
,
et C

est bien mesurable, ce qui conclut la demonstration du point (i).


On en deduit en particulier que lensemble C des points de convergence est mesu-
rable : en eet, C est lunion de trois ensembles qui dapr`es (i) sont tous mesurables :
- lensemble o` u f
n
+, i.e. liminf f
n
= +;
- lensemble o` u f
n
, i.e. limsup f
n
= ;
- lensemble o` u f
n
converge dans R, i.e. liminf f
n
< + et limsup f
n
> et
limsup f
n
liminf f
n
= 0.
On peut donc considerer C comme espace mesure, et on en deduit facilement (ii)
gr ace ` a la Proposition II-6. On prouve (iii) de meme, en appliquant la proposition II-
7.
70 CHAPITRE II (7 mars 2007)
Exercice II-16. Dapr`es le theor`eme precedent, si une famille de fonctions (f
n
)
converge en tout point dans R, la limite est une fonction mesurable. Demontrer
ce resultat sans faire reference `a des liminf et limsup, via le crit`ere : une suite
de nombres reels converge si et seulement si elle est de Cauchy. En deduire une
generalisation du point (ii) dans laquelle lespace darrivee R est remplace par un
espace metrique complet arbitraire.
Exemples II-17. (i) Soit f : R R une fonction derivable, alors sa derivee
est mesurable. En eet, cest la limite simple de la suite de fonctions continues
g
k
(x) = k[f(x + 1/k) f(x)].
(ii) Une serie de Fourier convergente denit une fonction mesurable. Rappelons
que de telles fonctions peuvent ne pas etre continues.
(iii) Lintegrale de Riemann etant denie par un procede de limite, les fonctions
denies comme des integrales de Riemann ` a param`etre sont mesurables. Nous
verrons au Chapitre III que cet enonce se generalise `a des integrales ` a param`etre
denies dans le cadre de la theorie de Lebesgue.
Citons pour conclure un dernier resultat de stabilite de la mesurabilite, que nous
admettrons (voir la demonstration dans [Parthasarathy]).
Theor`eme II-18 (mesurabilite de linverse). Soient X et Y deux espaces Polo-
nais, munis de leurs tribus boreliennes respectives, et f une bijection mesurable de
X dans Y . Alors f
1
est mesurable.
Remarques II-19. (i) En consequence des theor`emes de stabilite que nous
avons enonces, la plupart (sinon la totalite) des fonctions que lon est amene
`a construire pour resoudre des probl`emes concrets dans R ou R
d
sont mesu-
rables. Cela ne veut pas dire quil faille forcement se dispenser de montrer
la mesurabilite, quand on applique un theor`eme du cours ! Cependant, dans
la quasi-totalite des probl`emes que lon rencontre en analyse reelle, toutes les
fonctions sont mesurables et, le plus souvent, on ne se donne meme pas la peine
de le mentionner. Cette r`egle admet quelques exceptions ; nous en reparlerons
dans le chapitre IV.
(ii) La situation est un peu dierente en theorie des probabilites, surtout dans
letude des processus stochastiques. Dune part, dans ce contexte on consid`ere
souvent des produits innis, parfois indexes par un ensemble non denombrable,
pour lesquels la mesurabilite peut etre une propriete non triviale. Dautre part,
dans ce domaine on est souvent amene `a denir des tribus plus ou moins
grandes, embotees les unes dans les autres, et la mesurabilite par rapport aux
plus ces tribus pourra etre facilement violee. Voici un exemple classique : soit
X = 0, 1
N
, que lon interpr`ete comme lespace des suites de resultats obtenus
quand on fait une innite denombrable de tirages pile ou face (0 pour face,
1 pour pile). On decide naturellement que toutes les parties de 0, 1 sont
mesurables. Il est naturel dintroduire une fois pour toutes la tribu produit
(inni) sur X, qui rend mesurables toutes les applications coordonnees
k
:
x x
k
. Cependant, dans une perspective stochastique, on pref`ere souvent
munir X de la famille de tribus embotees (/
n
)
nN
, o` u /
n
est la tribu engendree
par les applications
1
, . . . ,
n
(constituee des parties cylindriques dont la base
est un sous-ensemble arbitraire des n premiers facteurs). Un indice n etant xe,
INT

EGRATION SELON LEBESGUE ET SELON RIESZ 71


il existe bien s ur de tr`es nombreuses fonctions qui ne sont pas /
n
-mesurables
(` a commencer par
n+1
).
(iii) Si X est un espace topologique, muni de sa tribu borelienne, on a vu que
toute limite simple dune suite de fonctions continues est mesurable. Il est
naturel de se demander si la reciproque est vraie ; dans un tel cas on pour-
rait denir les fonctions mesurables comme les limites de fonctions continues.
La reponse est negative : on ne peut pas en general approcher une fonction
mesurable par des fonctions continues. Cependant, sous certaines hypoth`eses
topologiques (compacite locale, par exemple), la reponse devient positive si
on sautorise ` a oublier un ensemble de mesure nulle : cest un corollaire du
theor`eme de Lusin, que nous demontrerons ` a la n de ce chapitre. Nous men-
tionnerons egalement le theor`eme de Vitali-Caratheodory, qui montre que
lon peut approcher une fonction mesurable par des fonctions semi-continues
plus grandes, ou plus petites, au prix dune erreur arbitrairement petite sur
lintegrale.
II-1.3. Tribu engendree par une fonction mesurable.
Theor`eme II-20 (tribu engendree par une fonction). (i) Soient X un espace
quelconque et Y un espace mesurable, et soit f une application quelconque de X
dans Y . Il existe alors une plus petite tribu sur X qui rende f mesurable ; on la note
(f). Elle est faite de tous les ensembles f
1
(B), o` u B est une partie mesurable
quelconque de Y .
Si au depart X est un espace mesurable, muni dune tribu /, et f est mesurable,
alors (f) /.
(ii) Plus generalement, soient X un espace quelconque, (Y
t
)
tT
une famille des-
paces mesurables indexes par un ensemble T arbitraire ; pour tout t T on se donne
une fonction f
t
: X Y
t
. Alors il existe une plus petite tribu sur X qui rende
mesurables toutes les applications f
t
; on la note ((f
t
)
tT
). Si X est au depart
un espace mesurable, muni dune tribu /, et chacune des f
t
est mesurable, alors
((f
t
)
tT
) /.
Demonstration. Lenonce (i) est une consequence immediate des denitions,
et des formules
f
1
_

B
k
_
=

f
1
(B
k
); f
1
_
_
B
k
_
=
_
f
1
(B
k
).
Pour lenonce (ii), on construit la tribu ((f
t
)
tT
) comme lintersection de toutes les
tribus contenant toutes les tribus (f
t
).
Intuitivement, la tribu engendree par une fonction mesurable f est faite des
parties dont la denition ne fait intervenir que les valeurs de f ; une fonction
mesurable pour la tribu (f) est donc une fonction qui ne depend que de f une
propriete quil peut etre utile de formaliser dans des contextes tr`es varies. Essayons
de caracteriser ces fonctions. Pour se convaincre que le probl`eme est assez subtil,
expliquer pourquoi la demonstration ci-dessous est incompl`ete.
Pretendu Theor`eme II-21 (fonctions mesurables pour (f)). Soient X un
espace quelconque, et Y et Z deux espaces mesurables. On se donne f une fonction
quelconque de X dans Y , et on munit X de la tribu (f). On suppose en outre que
les singletons de Z sont mesurables. Alors les fonctions mesurables de X dans Z
72 CHAPITRE II (7 mars 2007)
sont exactement les fonctions de la forme f, o` u est une fonction mesurable de
Y dans Z.
pretendue demonstration. Soit g une fonction mesurable de X dans Z. On
pose B = f(X). On va construire une fonction mesurable sur B telle que g = f.
On pourra ensuite attribuer une valeur quelconque ` a sur Y B.
Soit maintenant z Z, par hypoth`ese z est mesurable, et A
z
:= g
1
(z) est
un element de (f), il secrit donc f
1
(B
z
) avec B
z
mesurable, que lon peut choisir
inclus dans B. Les B
z
sont deux ` a deux disjoints : si y B
z
B
z
avec z ,= z

, alors
on ecrit y = f(x), do` u x f
1
(B
z
) f
1
(B
z
) = g
1
(z) g
1
(z

) = . Ils
recouvrent par ailleurs B, puisque tout element y de B secrit sous la forme f(x),
on peut alors poser z = g(x) et on a x A
z
, do` u x f
1
(B
z
), do` u f(x) B
z
.
Tout y B appartient donc `a un unique B
z
, et on peut alors poser (y) = z.
Nous verrons plus loin comment demontrer rigoureusement un enonce un peu
moins ambitieux.
II-1.4. Fonctions mesurables et completion. Le theor`eme suivant fait le
lien entre fonctions mesurables pour une tribu, et fonctions mesurables pour la tribu
completee.
Theor`eme II-22 (mesurabilite pour la tribu completee). Soit (X, /, ) une
tribu, et / la completion de / pour ; soit f une fonction mesurable pour la tribu
/. Alors il existe une fonction g, mesurable pour la tribu /, telle que f = g -presque
partout.
Nous demontrerons ce theor`eme dans la section II-2.2, gr ace ` a une tr`es ecace
methode dapproximation des fonctions mesurables.
II-2. Construction de lintegrale
De la meme facon que les ensembles mesurables sont ceux dont on denit la
mesure, les fonctions mesurables sont celles dont on esp`ere denir lintegrale.
Cependant, nous ne parviendrons pas ` a denir une integrale pour toutes les
fonctions mesurables. Lintegrale peut bien s ur diverger (valoir formellement +),
mais ce nest pas tr`es grave : on peut attribuer la valeur +. Plus grave est la
possibilite de compensation entre valeurs positives et valeurs negatives. Dans le
cas de lintegrale de Riemann, on connat bien les dicultes liees au maniement
des integrales semi-convergentes, pour la denition desquelles divers procedes de
limite ad hoc (qui setendent mal `a des espaces plus generaux que R) sont necessaires.
Dans la theorie de Lebesgue, nous eluderons cette diculte en ne considerant que
des integrales absolument convergentes.
On commencera par denir lintegrale dune fonction positive : cette quantite
sera toujours bien denie, pourvu que lon admette la valeur +. Comme dans
lenonce du theor`eme II-14, il est commode de considerer des fonctions `a valeurs
dans [0, +].
II-2.1. Fonctions simples. Comme dans la theorie de Riemann, nous allons
denir la valeur de lintegrale dune fonction en lapprochant par des fonctions par-
ticuli`erement simples, pour lesquelles la valeur de lintegrale est indiscutable.
INT

EGRATION SELON LEBESGUE ET SELON RIESZ 73


Definition II-23 (fonction simple). Soit X un espace mesurable. On appelle
fonction etagee, ou fonction simple, une fonction de la forme
f =
N

k=1

k
1
A
k
,
o` u les
k
sont des nombres positifs et les A
k
forment une partition nie de X.
Remarque II-24. La condition de positivite est imposee uniquement parce que
nous avons pour but de denir dabord lintegrale des fonctions positives.
Les crit`eres suivants sont presque evidents et laisses en exercice.
Proposition II-25 (reformulation de la simplicite). (i) Soit (A
k
)
1kN
une fa-
mille nie de parties mesurables dun espace mesurable X, et (
k
)
1kN
une famille
de nombres reels positifs ; alors f =

k
1
A
k
est simple.
(ii) Une fonction f est simple si et seulement si elle est mesurable, positive et
prend un nombre ni de valeurs.
La denition de lintegrale dune fonction simple tombe sous le sens :
Definition II-26 (integrale dune fonction simple). Une fonction simple f etant
donnee sur lespace mesure (X, ), avec les notations de la Denition II-23, on pose
_
f d =
N

k=1

k
[A
k
],
avec la convention 0 (+) = 0.
Remarque II-27. Cette denition est independante du choix des
k
et des A
k
,
comme on pourra le verier en exercice (fastidieux et pas si facile). Si lon impose que
les
k
soient tous distincts et les A
k
disjoints, on a alors unicite de la representation
de f sous la forme

k
1
A
k
.
Proposition II-28 (additivite de lintegrale des fonctions simples). Soient f et
g deux fonctions simples, alors pour tous , R
+
, la fonction f +g est simple,
et
_
(f +g) d =
_
f d +
_
g d.
En particulier, si f =

1kN

k
1
A
k
, alors
_
f d =

k
[A
k
],
que les A
k
forment une partition ou non.
Demonstration. Ecrivons f =

a
j
1
A
j
, g =

b
k
1
B
k
, o` u les (A
j
) et les B
k
forment deux partitions de X. Alors f +g =

jk
(a
j
+b
k
)1
A
j
B
k
est bien une
74 CHAPITRE II (7 mars 2007)
fonction simple, et la valeur de son integrale est

jk
(a
j
+b
k
)[A
j
B
k
] =

j
a
j
(

k
[A
j
B
k
]) +

k
b
k
(

j
[A
j
B
k
])
=

j
a
j
[A
j
(B
k
)] +

k
b
k
[(A
j
) B
k
]
=

j
a
j
[A
j
] +

k
b
k
[B
k
].

II-2.2. Approximation des fonctions mesurables. Il est bon de savoir que


toute fonction mesurable positive peut etre approchee par des fonctions simples.
Plus precisement, nous allons demontrer lenonce suivant.
Theor`eme II-29 (approximation par des fonctions simples). Soit f une fonction
mesurable sur un espace X, ` a valeurs dans R
+
+. Alors il existe une suite
croissante (
n
)
nN
de fonctions simples, qui converge simplement vers f.
Si f est bornee par M, on peut en outre imposer
n

n1
M/2
n
,
0
= 0 ; et
si f est non bornee, on peut imposer
n

n1
1
|f|n
+ 2
n
.
Si X est muni dune mesure -nie , on peut en outre imposer ` a chaque
n
detre nulle en-dehors dun ensemble de mesure nie.
Demonstration. Soit
n
= 2
n
, on pose
n
(x) = k
n
si f(x) [k
n
, (k +1)
n
[
et f(x) < n;
n
(x) = n si f(x) n. Il est facile de verier que
n
(x) converge vers
f(x) pour tout x. Dautre part, si f(x) [k
n
, (k +1)
n
[, alors f(x) [2k
n+1
, (2k +
2)
n+1
[, donc
n+1
(x) vaudra soit 2k
n+1
, soit (2k+1)
n+1
, soit (2k+2)
n+1
, et dans
tous les cas sera superieur ou egal ` a
n
(x).
Dans le cas o` u on se donne une mesure -nie , on a X = X
n
, avec [X
n
] <
+, et on peut poser
n
=
n
1
Xn
pour prouver la derni`ere partie de lenonce.

n+1
f
f

n
Fig. 1. Approximation dune fonction mesurable par des fonctions simples
Corollaire II-30 (une fonction mesurable est combinaison innie de fonc-
tions indicatrices). Soit f une fonction mesurable sur un espace X, ` a valeurs dans
INT

EGRATION SELON LEBESGUE ET SELON RIESZ 75


R
+
+. Alors il existe des nombres positifs (c
k
)
k1
et des ensembles mesurables
(A
k
)
kN
tels que
f =

k=1
c
k
1
A
k
.
Exercice II-31. Utiliser une variante de la construction precedente pour mon-
trer que lon peut choisir la famille (c
k
) a priori parmi lensemble des suites qui
convergent vers 0, et dont la serie diverge (par exemple, c
k
= 1/k fait laaire).
Pour illustrer linteret de ce theor`eme dapproximation, nous allons lutiliser pour
resoudre le probl`eme aborde dans le paragraphe II-1.3, dans un cadre leg`erement
restreint ; et pour demontrer le Theor`eme II-22.
Theor`eme II-32 (fonctions mesurables pour (f)). Soient X un espace quel-
conque, Y un espace mesurable, et Z = R (muni de sa tribu borelienne). On se donne
f une fonction quelconque de X dans Y , et on munit X de la tribu (f). Alors les
fonctions mesurables de X dans Z sont exactement les fonctions de la forme f,
o` u est une fonction mesurable de Y dans Z.
Demonstration. 1. Soit g une fonction simple de X dans R
+
. Comme g prend
un nombre ni de valeurs, la tentative de demonstration presentee au paragraphe II-
1.3 aboutit (pourquoi ?) et permet de construire une fonction mesurable, telle que
g = f.
2. Si maintenant g est une fonction positive arbitraire, on peut construire une
famille g
n
de fonctions simples, (f)-mesurables, convergeant simplement vers g. En
particulier, il existe
n
mesurable tel que g
n
=
n
f. La fonction := limsup
n
est mesurable, et pour tout x X on a
g(x) = limg
n
(x) = lim
n
(f(x)) = limsup
n
(f(x)) = (limsup
n
)(f(x)) = (f(x)).
3. Enn, si g est une fonction arbitraire, on peut ecrire g

f, do` u
g = (
+

) f.
Remarque II-33. Cette preuve se generalise au cas o` u Z est un espace Polonais
arbitraire. En eet, on a vu dans lExercice II-16 que toute limite de fonctions
mesurables, ` a valeurs dans un espace metrique complet, est mesurable. Dautre
part, une fonction mesurable f : X Z etant donnee, o` u Z est un espace metrique
separable, on peut modier la preuve du theor`eme dapproximation II-29 pour
montrer que f = limf
n
, o` u chaque f
n
ne prend quau plus une innite denombrable
de valeurs. Ces enonces sont susants pour conclure.
Demonstration du Theor`eme II-22. En decomposant f en parties posi-
tives et negatives, on se ram`ene au cas o` u f est positive. Soit f une fonction mesu-
rable pour la tribu /; dapr`es le Corollaire II-30, on peut ecrire
f =

k=1
c
k
1
A
k
,
o` u les c
k
sont des nombres positifs, et les A
k
sont des elements de /. Par denition
de la tribu completee, pour tout k on peut ecrire A
k
= B
k
E
k
, E
k
N
k
, avec
B
k
, E
k
/ et [N
k
] = 0. On pose alors N := N
k
, et g =

c
k
1
B
k
.
76 CHAPITRE II (7 mars 2007)
Le theor`eme dapproximation des fonctions mesurables par des fonctions simples
rend plausible lidee que lon peut construire lintegrale des fonctions mesurables
positives ` a partir de lintegrale des fonctions simples ; cest eectivement ce que
nous allons faire.
II-2.3. Integrale des fonctions positives.
Definition II-34 (integrale dune fonction positive). Soit (X, ) un espace me-
sure, et f une fonction mesurable sur X, `a valeurs dans R
+
+. On appelle
integrale de f pour la mesure , et on note
_
f d =
_
X
f d =
_
X
f(x) d(x) =
_
X
f(x) (dx)
le nombre
sup
__
g d; g simple; 0 g f
_
[0, +].
Remarque II-35. (i) Le supremum est pris sur une classe de fonctions non
vide, puisque la fonction nulle est admissible.
(ii) Si f est une fonction simple, cette denition concide avec celle que nous
avons donnee au paragraphe precedent.
(iii) Nous verrons dans le chapitre suivant que
_
f d = lim
n

kN
1
2
n

__
x; f(x)
k
2
n
__
,
ce qui justie lintuition suggeree par la gure 1. En ce sens, lintegrale de
Lebesgue est bien un procede de sommation par tranches.
(iv) Si A est une partie mesurable de X, on peut considerer A comme un espace
mesure et denir
_
A
f comme lintegrale de la restriction de f `a A.
Definition II-36 (fonctions integrables). Si f est une fonction mesurable posi-
tive dintegrale nie, on dit quelle est integrable, ou sommable.
La proposition suivante rassemble quelques proprietes elementaires de lintegrale.
Comme les ensembles negligeables (de mesure nulle) ne jouent aucun role dans la
valeur de lintegrale, il est commode de lexprimer en utilisant la terminologie ci-
apr`es.
Definition II-37 (presque partout). Soit (X, ) un espace mesure. On dit
quune propriete est vraie presque partout, ou -presque partout, ou d-presque par-
tout, ou p.p., ou -p.p., ou d-p.p., si lensemble des elements de X qui ne verient
pas cette propriete est de mesure nulle.
Proposition II-38 (Proprietes elementaires de lintegrale des fonctions posi-
tives). Soient (X, ) un espace mesure, et f, g deux fonctions positives mesurables
sur X.
(i) Si
_
f d < +, alors f est nie presque partout ;
(ii) Si
_
f d = 0, alors f est nulle presque partout ;
(iii) Si f g presque partout, alors
_
f
_
g. En particulier, si g est sommable,
alors f lest aussi. Par ailleurs, si f = g presque partout, alors
_
f =
_
g.
INT

EGRATION SELON LEBESGUE ET SELON RIESZ 77


(iv) Si A et B sont deux parties mesurables disjointes, et f est une fonction
mesurable positive, alors
_
AB
f =
_
A
f +
_
B
f.
Demonstration. (i) Si A = f
1
(+) est de mesure strictement positive, alors
la famille de fonctions simples (k1
A
)
kN
montre que le supremum dans la denition
de lintegrale de f est inni, do` u
_
f = +.
(ii) Supposons que
_
f = 0 ; soit > 0. Si la mesure de F

:= x; f(x)
etait strictement positive, on pourrait construire une fonction simple valant sur
F

, positive et dintegrale strictement positive, minorant f, donc lintegrale de f


serait strictement positive. Cest faux par hypoth`ese, donc F

est de mesure nulle.


En consequence, lensemble des points o` u f nest pas nulle est de mesure nulle, car
cest la reunion denombrable des F
1/k
(k N), qui sont tous de mesure nulle.
Enn, (iii) est evident par construction : si f g presque partout, soit une
fonction simple minorant f, on redenit sur lensemble negligeable o` u f > g, en
lui attribuant la valeur 0 sur cet ensemble. La fonction ainsi obtenue est simple,
minore g et a meme integrale que . On passe ensuite au supremum sur toutes les
fonctions simples minorant f.
II-2.4. Integrale des fonctions sommables.
Definition II-39 (fonctions sommables). On appelle fonction sommable une
fonction mesurable ` a valeurs dans R telle que [f[ est sommable. Alors la partie
positive f
+
= max(f, 0) de f, et sa partie negative f

= max(f, 0), etant majorees


par [f[, sont toutes deux sommables, et on pose
_
f d =
__
f
+
d
_

__
f

d
_
.
Remarque II-40. Plus generalement, on peut denir
_
f d dans R d`es que
lune au moins des fonctions f
+
et f

est sommable.
La proposition suivante est presque une trivialite.
Proposition II-41 (proprietes elementaires de lintegrale des fonctions som-
mables). Soit (X, ) un espace mesure, et f une fonction mesurable de X dans R.
Alors,
(i) Si [f[ est majore par une fonction sommable, alors f est sommable ;
(ii) Si f est sommable, alors

_
f


_
[f[;
(iii) Si f et g sont deux fonctions sommables, et f g presque partout, alors
_
f
_
g.
(iv) Si A et B sont deux parties mesurables disjointes, et f est une fonction
sommable, alors
_
AB
f =
_
A
f +
_
B
f.
Exemple II-42. Si X est de mesure nie, toute fonction bornee est sommable.
En eet, [f[ est alors majore par une fonction constante c, dont lintegrale vaut
c[X].
78 CHAPITRE II (7 mars 2007)
II-3. Lintegrale est une forme lineaire positive
On rappelle quune forme lineaire L sur un espace vectoriel E est une application
lineaire de E dans R compatible avec les operations daddition et de multiplication
par un scalaire. Quand lespace E est un espace de fonctions `a valeurs reelles, on
dit que L est positive si elle prend des valeurs positives sur toutes les fonctions
positives.
Dans le cas present, il est trivial que lintegrale dune fonction sommable positive
est positive. Il est ` a peine moins trivial que
_
(f) =
_
f pour toute fonction f
sommable et pour tout scalaire . La relation capitale
_
(f +g) = (
_
f) + (
_
g) est
en revanche beaucoup plus subtile !
II-3.1. Addition des fonctions positives.
Theor`eme II-43 (addition des integrales des fonctions positives). Soient f et g
deux fonctions positives mesurables sur un espace mesure (X, ). Alors
_
(f +g) d =
_
f d +
_
g d.
En particulier, f +g est sommable si (et seulement si) f et g le sont.
Demonstration. 1. Si
_
f = + ou
_
g = +, alors par comparaison on
sait que
_
(f +g) = + et il ny a rien `a demontrer. Supposons donc que ces deux
integrales sont nies. Soient et des fonctions simples telles que 0 f,
0 g, et
_
f
_
+,
_
g
_
+. Dapr`es la Proposition II-28, + est
simple, et
_
f +
_
g
_
+
_
+ 2 =
_
( +) + 2
_
(f +g) + 2.
En faisant tendre vers 0, on obtient
_
f +
_
g
_
(f +g).
2. Par la Proposition II-29, on peut trouver des suites croissantes (
k
) et (
k
) de
fonctions simples telles que 0
k
f, 0
k
g, convergeant simplement vers
f et g respectivement. Soit (0, 1) arbitraire, on pose
A
k
:=
_
x;
k
(x) (1 )f(x),
k
(x) (1 )g(x)
_
.
Les A
k
forment une famille croissante ; si f(x) + g(x) < +, alors x A
k
pour
k assez grand (cest evident si f(x) = 0, tandis que si f(x) ,= 0 la limite de
k
(x)
est strictement plus grande que (1 )f(x)). On a donc X = A
k
Z, o` u Z est
lensemble des x pour lesquels f(x) = + ou g(x) = +. Puisque f et g sont
sommables, Z est un ensemble negligeable.
Soit une fonction simple minorant f + g. Par additivite de lintegrale des
fonctions simples,
_
f +
_
g
_

k
+
_

k

_
A
k

k
+
_
A
k

k
=
_
A
k
(
k
+
k
).
Par la denition de A
k
et la positivite de lintegrale, on a
_
A
k
(
k
+
k
)
_
A
k
(1 ) = (1 )
_
A
k
.
INT

EGRATION SELON LEBESGUE ET SELON RIESZ 79


Ecrivons sous la forme

1jJ

j
1
B
j
. Alors on a, puisque les A
k
forment une
famille croissante et que [X (A
k
)] = 0,
_
A
k
=

j
[A
k
B
j
]
k

j
[(A
k
) B
j
] =

j
[(A
k
) B
j
] =
_
.
En passant ` a la limite quand k dans linegalite
_
f +
_
g (1 )
_
A
k
,
on trouve donc
_
f +
_
g (1 )
_
X\Z
= (1 )
_
X
.
En faisant tendre vers 0, on obtient
_
f +
_
g
_
.
Puisque est une fonction simple arbitraire minorant f +g, on a nalement
_
f +
_
g
_
(f +g).

Remarque II-44. Dans le chapitre suivant, nous utiliserons un raisonnement


exactement similaire pour demontrer le theor`eme dit de convergence dominee de
Lebesgue. En fait, dans la plupart des ouvrages de reference on demontre dabord le
theor`eme de convergence dominee, et on en deduit ensuite ladditivite de lintegrale.
II-3.2. Generalisation : fonctions sommables. Comme consequence facile
du Theor`eme II-43, nous allons etablir la linearite de lintegrale des fonctions som-
mables.
Theor`eme II-45 (linearite de lintegrale). Soient (X, ) un espace mesure ; f,
g deux fonctions sommables sur X, `a valeurs dans R; et , deux scalaires. Alors
f +g est sommable, et
_
(f +g) d =
__
f d
_
+
__
g d
_
.
En particulier, lintegrale est une forme lineaire positive sur lespace vectoriel
des fonctions sommables.
Demonstration. On note dabord que
_
(f) d = (
_
f d), et
_
(g) d =
(
_
g d). Il sut donc de montrer que si f et g sont sommables de signe quelconque,
alors
_
(f +g) d = (
_
f d) + (
_
g d). Pour cela on ecrit
(f +g)
+
(f +g)

= f +g = (f
+
f

) + (g
+
g

),
do` u (quand f et g sont nies, ce qui est vrai en-dehors dun ensemble de mesure
nulle)
(f +g)
+
+f

+g

= f
+
+g
+
+ (f +g)

;
on int`egre alors les deux membres en utilisant le Theor`eme II-43 :
_
(f +g)
+
d +
_
f

d +
_
g

d =
_
f
+
d +
_
g
+
d +
_
(f +g)

d.
80 CHAPITRE II (7 mars 2007)
Toutes ces quantites sont nies puisque [f[ et [g[ sont integrables, on en deduit donc
_
(f +g)
+
d
_
(f +g)

d =
_
f
+
d
_
f

d d +
_
g
+
d
_
g

d,
soit
_
(f +g) d =
_
f d +
_
g d.
Le raisonnement precedent montre bien que lintegrale par rapport ` a est une
forme lineaire. La positivite quant ` a elle est evidente : si f est mesurable positive,
alors
_
f d 0.
Definition II-46 (espace de Lebesgue). Lespace vectoriel des fonctions som-
mables est note L
1
, ou L
1
(X), ou L
1
(), ou L
1
(d), ou L
1
(X, ), ou L
1
(X, d) et
appele espace de Lebesgue dexposant 1.
Remarque II-47. Soient f et g deux fonctions sommables, et R. Alors
_
[f[ =
_
[[[f[ = [[
_
[f[;
_
[f +g[
_
[f[ +[g[ =
_
[f[ +
_
[g[.
Lapplication
f
_
[f[,
denie sur L
1
(d), est donc proche de satisfaire les axiomes requis par une norme : il
lui manque seulement la propriete
_
[f[ = 0 = f = 0. Mais cette derni`ere identite
est clairement fausse : on sait que
_
[f[ = 0 si et seulement si la fonction f est
nulle hors dun ensemble de mesure nulle (pour ), ce qui nimpose pas `a f detre
identiquement nulle.
Si lon veut transformer L
1
en espace vectoriel, muni de la norme
_
[f[, il faut
donc quotienter par la relation dequivalence concider presque partout. Deux fonc-
tions qui ne di`erent que par un ensemble de mesure nulle seront alors considerees
identiques. Insistons sur le fait que cette operation de quotient nest utile que
si lon veut mettre ` a prot la structure despace vectoriel norme de lespace ainsi
obtenu.
II-3.3. Action sur les fonctions continues. On a vu que si X est un espace
mesure de mesure nie, alors les fonctions bornees sont integrables. Denissons la
norme de la convergence uniforme sur lespace C
b
(X) des fonctions continues
bornees de X dans R par la formule
|f|

:= sup
xX
[f(x)[.
On a alors lenonce suivant.
Proposition II-48 (lintegrale appartient `a (C
b
)

). Soit une mesure de Borel


sur un espace X de mesure nie. Alors denit une forme lineaire positive continue
sur lespace vectoriel C
b
(X) des fonctions continues bornees sur X, norme par la
norme de la convergence uniforme.
Remarque II-49. On rappelle que la norme de la convergence uniforme est
denie par
|f|

:= sup
xX
[f(x)[.
INT

EGRATION SELON LEBESGUE ET SELON RIESZ 81


Demonstration. Bien s ur, toute fonction continue est borelienne, donc mesu-
rable, et toute fonction mesurable bornee est integrable. En outre, on a

_
f


_
[f[
_
|f|

= [X] |f|

.
Il sensuit que lintegrale est bien une forme lineaire continue sur C
b
(X), dont la
norme est majoree par le nombre positif [X].
On peut construire ainsi de nombreuses formes lineaires continues sur C
b
(X),
mais il nest pas clair que ce soient les seules, meme dans des cas simples comme X =
R
d
. Pour sen convaincre, le lecteur averti pourra utiliser le theor`eme dextension de
Hahn-Banach pour prolonger lapplication limite ` a linni, denie sur le sous-
espace ferme des fonctions qui convergent `a linni, en une application limite ` a
linni denie pour toutes les fonctions continues bornees ! Une telle application
nest pas une mesure. Cest en revanche une mesure niment additive !
Cependant, si X est compact, le theor`eme de representation de Riesz assure que
toutes les formes lineaires continues sur C(X) correspondent ` a des mesures. Dans ce
cas, bien s ur, toutes les fonctions continues sont bornees. Nous allons donner dans
la prochaine section un enonce un peu plus general.
Remarque II-50. Un lecteur aux fortes convictions pourra objecter aux argu-
ments ci-dessus, car lexistence de lapplication limite `a linni repose sur lutilisa-
tion du theor`eme de Hahn-Banach, qui lui-meme utilise laxiome du choix. Nous re-
parlerons bient ot de ces subtilites logiques. En tous les cas, la construction precedente
montre au moins quil est impossible dexclure lexistence de formes lineaires conti-
nues qui ne soient pas des mesures, sauf `a changer laxiomatique traditionnelle.
II-4. Le theor`eme de Riesz
Ce theor`eme est fondamental car il presente une autre approche, alternative ` a
celle de Lebesgue, de la construction dune integrale abstraite.
II-4.1. Enonce du theor`eme. Commen cons par quelques denitions.
Definition II-51 (espaces de fonctions continues). Soit X un espace topologique
arbitraire. Si f : X R est une fonction continue, on appelle support de f le plus
petit ferme en-dehors duquel f est identiquement nulle. On note C(X) lespace des
fonctions continues de X dans R, C
b
(X) lespace des fonctions continues bornees
sur X, et C
c
(X) lespace des fonctions continues `a support compact sur X.
Enn, on note C
0
(X) lespace des fonctions f continues sur X qui tendent vers 0
`a linni, au sens o` u pour tout > 0 on peut trouver un compact K X en-dehors
duquel [f[ . Clairement,
C
c
(X) C
0
(X) C
b
(X) C(X).
Les espaces C
c
(X), C
0
(X) et C
b
(X), munis de la norme de la convergence uniforme,
sont des espaces vectoriels normes.
Remarque II-52. Lespace C
c
(X) nest pas a priori complet (au sens usuel) :
par exemple, on peut facilement construire une fonction sur R, ` a support non com-
pact, qui soit limite uniforme de fonctions continues ` a support compact. Dans un
espace localement compact, la completion de C
c
(X) est lespace C
0
(X) des fonctions
continues qui tendent vers 0 ` a linni. Lespace C
b
(X), en revanche, est complet.
82 CHAPITRE II (7 mars 2007)
La denition suivante, interne ` a ce cours, servira uniquement dans cette section,
pour abreger quelques formulations.
Definition II-53 (presque regularite). Soit une mesure de Borel sur un espace
topologique X. On conviendra de dire que est presque reguli`ere si pour tout Borelien
A de X,
[A] = inf
_
[O]; O ouvert; A O
_
(regularite exterieure) et pour tout ouvert B de X,
[B] = sup
_
[K]; K compact; K B
_
.
Theor`eme II-54 (theor`eme de representation de Riesz). Soit X un espace to-
pologique separe, localement compact. Alors on peut identier (mettre en correspon-
dance bijective)
- dune part, les formes lineaires sur C
c
(X), positives ;
- dautre part, les mesures de Borel sur X, presque reguli`eres et nies sur les
compacts ;
via la formule
f =
_
f d.
Avant de continuer, voici une liste de commentaires sur cet enonce, qui admet
quelques variantes plus ou moins subtiles.
Remarques II-55 (Commentaires sur le Theor`eme de Riesz). (i) Lhypoth`ese
de compacite locale est fondamentale. Lespace de Wiener W = C([0, 1]; R
n
); (0) =
0 ne la remplit pas : on verie aisement que ses compacts sont tous dinterieur
vide. Lespace C
c
(W) est donc reduit `a 0 ! Pourtant il existe des mesures non
triviales sur W, telles que les mesures de Dirac, ou la cel`ebre mesure de Wiener.
(ii) Dans lenonce, on ne peut pas remplacer C
c
(X) par lespace plus gros C
b
(X).
On peut en revanche le remplacer sans dommage par lespace C
0
(X), completion
de C
c
(X).
(iii) Dans la denition de presque regularite on a impose que lidentite [A] =
sup K A[K] soit veriee pour tout ouvert. En fait cette identite sera alors
veriee automatiquement pour tout ensemble mesurable de mesure nie. En
particulier, si une mesure produite par le Theor`eme de Riesz est de masse
totale nie, alors elle est reguli`ere. Cette remarque sav`erera utile plus tard
dans la demonstration du Theor`eme VI-55 ; il ne faut cependant pas y attacher
une grande importance, car en pratique, dans la grande majorite des cas la
regularite est automatique, par exemple grace aux Theor`emes II-58 et II-59
presentes dans la sous-section suivante.
(iv) On peut, si on le souhaite, completer la mesure gr ace au Theor`eme I-76,
et obtenir donc une mesure compl`ete.
(v) La preuve ne necessite pas vraiment la linearite de lapplication : il sut de
savoir que est une fonctionnelle positive, croissante (f g = f g) et
sur-additive ((f +g) f +g) sur lespace des fonctions continues positives
`a support compact. Cette remarque aussi sera utile pour la demonstration du
Theor`eme VI-55.
INT

EGRATION SELON LEBESGUE ET SELON RIESZ 83


Voici maintenant deux remarques dordre plus general :
Remarque II-56. Si [X] = +, la forme lineaire denie par nest pas
continue sur C
c
(X) considere comme espace vectoriel norme (norme de la conver-
gence uniforme). En revanche, on peut munir C
c
(X) dune topologie alternative bien
choisie, de sorte que soit une forme lineaire continue en un sens bien precis. Je
nen dirai pas plus sur ce probl`eme, dont la solution peut etre consideree comme le
point de depart de la theorie des distributions [Schwartz].
Remarque II-57. Le nom de theor`eme de representation de Riesz est egalement
donne `a un autre theor`eme, tr`es dierent (description du dual dun espace de Hil-
bert, voir Chapitre VI). Cette concidence na rien de surprenant, Riesz etant, avec
Banach, lun des principaux fondateurs de lanalyse fonctionnelle moderne.
Avant de passer ` a la preuve du Theor`eme II-54, je vais maintenant donner
quelques enonces simplies qui evitent de se preoccuper de la regularite des me-
sures en jeu.
II-4.2. Enonces simplies. Lhypoth`ese de regularite est souvent veriee au-
tomatiquement, sous des hypoth`eses peu contraignantes sur X. On pourra donc
retenir les variantes explicitees ci-apr`es, qui nutilisent pas explicitement ce concept.
Theor`eme II-58 (theor`eme de representation de Riesz, version simpliee). Soit
X un espace topologique separe, localement compact, dans lequel tout ouvert est
union denombrable de compacts. Alors on peut identier
- dune part, les formes lineaires positives sur C
c
(X) ;
- dautre part, les mesures boreliennes sur X, nies sur les compacts ;
via la formule
f =
_
f d.
Ces mesures sont automatiquement reguli`eres.
Theor`eme II-59 (theor`eme de representation de Riesz, cas metrique compact).
Soit X un espace topologique metrique compact. Alors on peut identier
- dune part, les formes lineaires positives sur C(X) ;
- dautre part, les mesures boreliennes nies sur X ;
via la formule
f =
_
f d.
Ces mesures sont automatiquement reguli`eres, et ces formes lineaires sont automa-
tiquement continues.
Demonstration. Les Theor`emes II-58 et II-59 sobtiennent en combinant le
theor`eme de representation de Riesz avec les theor`emes de regularite I-52 et I-50,
respectivement.
On trouvera une demonstration compacte ( !), en apparence assez delicate, du
Theor`eme de Riesz, dans [Rudin, pp. 40-47]. Pour les besoins de ce cours, nous
allons etablir ce theor`eme comme une consequence relativement simple du Theor`eme
de Caratheodory generalise etabli au Chapitre I, Theor`eme I-64 ; on remarquera
dailleurs que la demonstration de [Rudin] reprend plusieurs des arguments utilises
dans la preuve du Theor`eme I-64. Notons au passage linteret du Theor`eme I-64 :
84 CHAPITRE II (7 mars 2007)
demontrer le theor`eme de Riesz via le Theor`eme de Caratheodory lui-meme, sous
la forme du Theor`eme I-62, est un casse-tete formidable ! Une variante de cette
derni`ere demarche est menee `a bien dans [Dudley], via un intermediaire delicat
appele theor`eme de Daniell-Stone, qui traite de prolongement des fonctionnelles
lineaires positives (voir aussi [Rudin, p. 398] ; in ne, la demonstration du Theor`eme
de Riesz y fait intervenir le theor`eme de convergence uniforme de Dini.
II-4.3. Preuve du theor`eme de Riesz. Soit X un espace separe, localement
compact, et soit une mesure nie sur les compacts. Si f est une fonction continue
`a support compact K, elle est bornee par la fonction sommable |f|

1
K
, donc som-
mable. La forme lineaire denie par f :=
_
f d est donc bien denie sur C
c
(X),
et elle est evidemment positive.
Cest bien s ur la reciproque qui est delicate. Soit une forme lineaire positive
sur C
c
(X), montrons quil existe au plus une mesure , satisfaisant aux hypoth`eses
du Theor`eme de Riesz, qui puisse la representer. Soient
1
et
2
deux mesures
admissibles, et soit K un compact. Comme
1
est nie sur les compacts, et presque
reguli`ere, au sens de la Denition II-53, on sait quil existe un ouvert O contenant K
tel que
1
[K]
1
[O], o` u > 0 est arbitrairement petit. Par le lemme dUrysohn,
on peut construire une fonction continue encadree par les fonctions indicatrices
1
K
et 1
O
. On a donc

2
[K] =
_
1
K
d
2

_
d
2
=
_
d
1

_
1
O
d
1
=
1
[O]
1
[K] +.
On conclut en faisant tendre vers 0 que
2
[K]
1
[K], et par symetrie
1
[K] =

2
[K]. Il sensuit que
1
et
2
concident sur les compacts ; comme elles sont presque
reguli`eres, elles concident egalement sur les ouverts, et par suite (toujours par
presque regularite) sur tous les ensembles mesurables. Cela prouve lunicite de .
Passons maintenant ` a la construction de . Lidee est encore une fois dapprocher
les fonctions indicatrices des ouverts par des fonctions continues. Pour tout ensemble
ouvert O, on pose donc
[O] = sup
_
f; f C
c
(X); 0 f 1
O
_
.
Le probl`eme est maintenant de prolonger `a la tribu borelienne tout enti`ere. Comme
lensemble T de tous les ouverts de X est stable par intersection nie, le Theor`eme I-
64(ii) assure lexistence dun tel prolongement si la condition (6) est satisfaite pour
tous A, B ouverts.
Dans un premier temps, verions que est denombrablement sous-additive sur
lensemble des ouverts : si (O
k
)
kN
est une famille douverts, et O := O
k
, alors
[O]

k
[O
k
]. En eet, soit f une fonction ` a support compact, 0 f 1
O
, et soit
K son support. K etant inclus dans lunion des O
k
, on peut appliquer le theor`eme I-
34 de partition de lunite pour trouver des fonctions continues
i
1
, . . . ,
in
, telles que
0
i
j
1,
i
j
a son support inclus dans O
i
j
et

i
j
= 1 sur K. En particulier,
f = (

i
j
)f =

j
g
j
,
INT

EGRATION SELON LEBESGUE ET SELON RIESZ 85


o` u chaque fonction g
j
est `a support compact dans O
i
j
, et prend ses valeurs dans
[0, 1]. On en deduit que
f =

j
g
j

j
[O
i
j
]

k
[O
k
].
En passant au supremum sur f, on conclut que
[O]

k
[O
k
].
Comme la famille T est egalement stable par union denombrable, la denition
de la mesure exterieure se simplie : dans le contexte present,

[A] = inf
_
[O]; O ouvert, A O
_
.
En particulier, il est clair que

concide avec sur T. Donc, si A et B sont deux


ouverts de X, linegalite
[A] [A B] +

[A B]
est consequence de la sous-additivite de

. Il nous reste uniquement ` a verier


linegalite inverse, `a savoir : pour tous ouverts A et B de X,
(9) [A B] +

[A B] [A].
Nous allons demontrer cette inegalite en deux etapes.
Etape 1 : est sur-additive (et donc additive) sur T. Soient U et V deux ouverts
disjoints, nous allons voir que
[U] +[V ] [U V ],
ce qui est un cas particulier de (9). Soient f et g deux fonctions continues `a supports
compacts inclus dans U et V respectivement, ` a valeurs dans [0, 1]. Les supports de
f et g etant disjoints, la fonction continue f + g est toujours ` a valeurs dans [0, 1] ;
et bien s ur, son support est inclus dans U V . Il sensuit
f + g = (f +g) [U V ].
On conclut en passant au supremum sur toutes les fonctions f et g admissibles.
Etape 2 : cas general. Cest seulement `a ce niveau de la construction que lhy-
poth`ese de compacite locale va intervenir. Soient deux ouverts A et B de X, et soit
f une fonction ` a support compact K A B, ` a valeurs dans [0, 1]. Dapr`es le
Lemme I-35, il existe un compact K

et un ouvert O

tels que
K O

A B.
En particulier,
f [O

].
Par ailleurs,
A B = A (A B) A K

,
et A K

est un ouvert, do` u

[A B]

[A K

] = [A K

].
On a nalement
f +

[A B] [O

] +[A K

].
86 CHAPITRE II (7 mars 2007)
Les ouverts O

et A K

sont disjoints et leur union est incluse dans A; gr ace au


resultat de lEtape 1, on peut completer linegalite precedente comme suit :
f +

[A B] [O

] +[A K

] = [O

(A K

)] [A],
ce qui ach`eve la demonstration du theor`eme.
Les Remarques II-55 ne necessitent pas de justication, sauf le point (iii) que je
vais maintenant considerer.
Demonstration de la Remarque II-55(iii). Soit / la famille de toutes les
parties mesurables, et B lensemble de toutes les parties A / tels que (a) [A] <
; (b) [A] = sup [K]; Kcompact A. Le but est de montrer que B est
exactement lensemble de toutes les parties de mesure nie. Nous allons proceder en
deux temps.
1. On verie que A C B, pour tout compact C et pour tout A /. Pour
cela, on introduit
( :=
_
A /; A C B pour tout compact C
_
.
Il est clair que ( contient X ; et plus generalement tous les fermes (car lintersection
dun ferme et dun compact est compacte). Si lon montre que ( est une classe
monotone, alors le Theor`eme ?? (Lemme de classe monotone) impliquera que (
concide avec la tribu engendree par les fermes, qui est / tout enti`ere.
Montrons donc que ( est une classe monotone. Si (A

)
N
est une famille crois-
sante delements de (, et C est un compact, pour tout N et pour tout > 0 on
peut trouver un compact K

tel que [(A

C) K

] 2

. Quitte ` a remplacer K

par K
1
. . . K

, on peut supposer que la suite (K

) est croissante ; et on a toujours


[(A

C) K

] . La suite ([K

])
N
est croissante et majoree par [AC], elle
converge donc, et il existe
0
N tel que pour tout
0
on ait [K K

0
] . On
conclut facilement que [(A

C)K

0
] 2, et la meme estimation vaut pour AC,
o` u A est lunion des A

. La conclusion est que ( est stable par limite croissante.


Soient maintenant A et B dans (, soit C un compact et soit > 0. Soit K AC
un compact tel que [(AC) K] . Par ailleurs il existe un ouvert O contenant
B C tel que [O (B C)] . On en deduit que [(A B) O (K O)]
[(A C) K] + [O (B C)] 2. On en deduit que A B (, et ( est
donc stable par dierence. Ceci ach`eve de prouver que ( est une classe monotone,
et conclut largument.
2. On verie que tout A / de mesure nie est en fait un element de B. Soit
en eet A une telle partie, et soit > 0. Il existe un ouvert O contenant A tel que
[O] [A] + . Il existe un compact K contenu dans O tel que [O] [K] ;
en particulier [O K] 2. Puisque A K B (par letape 1), il existe un
compact K

contenu dans A K tel que [(A K) K

] . On en deduit que
[A K

] [(AK) K

] +[A K] [(AK) K

] +[O K] +2 = 3,
ce qui ach`eve largument.
II-4.4. Complement : approximation des fonctions mesurables par des
fonctions continues ou semi-continues. Le theor`eme de Riesz montre que sous
certaines hypoth`eses topologiques, on peut choisir les fonctions continues comme
point de depart de la theorie de lintegration, au lieu des fonctions simples. On peut
se demander si cette idee peut etre poursuivie plus loin, et sil est possible detablir
un analogue du theor`eme dapproximation par des fonctions simples, exprime en
INT

EGRATION SELON LEBESGUE ET SELON RIESZ 87


termes de fonctions continues. Les theor`emes de Lusin et de Vitali-Caratheodory
donnent une reponse positive `a cette question. Tous deux sautorisent une erreur
arbitrairement petite, au sens de la mesure.
Theor`eme II-60 (Theor`eme de Lusin). Soit X un espace topologique separe
localement compact, et soit une mesure de Borel reguli`ere sur X. Soit f : X R
une fonction mesurable, nulle en-dehors dun ensemble de mesure nie. Alors,
(i) pour tout > 0 il existe une fonction continue f

, `a support compact, telle


que
inf f inf f

sup f

sup f
et f

concide avec f en-dehors dun ensemble de mesure inferieure ou egale `a .


(ii) En-dehors dun ensemble de mesure nulle, f est limite dune suite (f
n
) de
fonctions continues ` a support compact, prenant toutes leurs valeurs dans [inf f, sup f].
En utilisant de mani`ere anticipee le theor`eme de convergence dominee, qui sera
demontre dans le chapitre suivant, on peut deduire du theor`eme precedent le corol-
laire suivant :
Corollaire II-61 (Densite des fonctions continues). Soit X un espace topo-
logique separe localement compact, et soit une mesure de Borel reguli`ere sur X,
-nie. Alors, pour toute fonction integrable f sur X on peut trouver une suite
(f
n
)
nN
de fonctions continues ` a support compact, telle que
_
[f
n
f[ d
n
0.
Demonstration du Theor`eme II-60. Nous allons demontrer les deux enonces
en meme temps, en construisant une famille (f
n
)
nN
de fonctions continues `a support
compact, toutes comprises entre inf f et sup f, telles que [x; f(x) ,= f
n
(x)]
1/n, et pour presque tout x X, f(x) = f
n
(x) pour n assez grand.
Supposons dabord que f est la fonction indicatrice dun ensemble mesurable
A de mesure nie. Comme est reguli`ere, il existe une suite (K
n
)
nN
de compacts
inclus dans A, et une suite (O
n
)
nN
douverts contenant A, tels que [O
n
K
n
] 1/n.
Sans perte de generalite, on peut supposer la suite (K
n
) croissante et la suite (O
n
)
decroissante. Par le Lemme dUrysohn I-33, pour chaque n il existe une fonction
continue
n
, ` a support compact dans O
n
, ` a valeurs dans [0, 1], identiquement egale
`a 1 sur K
n
. La fonction
n
concide avec f en-dehors de O
n
K
n
, qui est de mesure
inferieure ou egale ` a 1/n. En outre, si lon pose G = O
n
et F = K
n
, N = G F,
alors [N] = 0 ; tout x X N appartient `a K
n
pour n assez grand, ou ` a X O
n
pour n assez grand, et dans tous les cas on a alors
n
(x) = f(x). En conclusion,
(
n
)
nN
remplit le cahier des charges.
Par combinaison lineaire, le resultat setend instantanement au cas o` u f est une
fonction simple, nulle en-dehors dun ensemble de mesure nie. Soit maintenant f
une fonction mesurable positive bornee, nulle en-dehors dun ensemble S de mesure
nie ; sans perte de generalite on suppose f 1 ; on sait alors que f est limite
dune suite croissante (g
k
)
kN
de fonctions simples, nulles en-dehors de S, telles que
g
k
g
k1
2
k
. Chacune de ces fonctions est egalement limite dune famille (
k,n
)
n1
de fonctions continues `a support compact, telles quil existe une famille decroissante
de parties mesurables A
k,n
veriant
x;
k,n
(x) ,= g
k
(x) g
k1
(x) A
k,n
; [A
k,n
] 2
k
/n.
88 CHAPITRE II (7 mars 2007)
On denit alors
f
n
(x) =

k=0

k,n
(x).
Par convergence uniforme, f
n
est continue ; elle est bornee par sup f, et concide avec

(g
k
g
k1
) = f en-dehors de lensemble A
n
:=
k
A
k,n
, dont la mesure est au plus

k=0
2
k
/n = 2/n. En outre, la famille des A
n
est decroissante, son intersection
est donc de mesure nulle, et tout x X (A
n
) verie f
n
(x) = f(x) pour n = n(x)
assez grand. La famille (f
n
) remplit donc toutes les conditions souhaitees.
Si f est positive mais non bornee, on denit E
m
:= x X; f(x) m. Comme
f est mesurable et ` a valeurs dans R, lintersection decroissante des E
m
est vide, et
par -additivite [E
m
] 0 quand m . On peut alors eectuer un raisonnement
similaire au raisonnement ci-dessus. Enn, si f nest pas positive, on separe f en
partie positive et negative f
+
et f

, et on conclut en appliquant le theor`eme `a f


+
et
f

separement.
Demonstration du Corollaire II-61. Par hypoth`ese, on peut ecrire X comme
la reunion croissante des X
k
(k N), avec X
k
mesurable et [X
k
] < +. Soit
g
n
= f1
Xn
1
|f|n
. Puisque f est integrable, [f[ est ni -presque partout, et donc
g
n
converge presque partout vers f. Le theor`eme III-11 de convergence dominee de
Lebesgue implique alors
_
[f g
n
[ d 0.
Pour chaque n, la fonction g
n
est nulle en-dehors de lensemble de mesure nie
X
n
, et bornee par n. Par le theor`eme de Lusin, on peut trouver une fonction f
n
continue ` a support compact, bornee par n, qui concide avec g
n
en-dehors dun
ensemble A
n
de mesure inferieure `a 1/n
2
). En particulier,
_
[g
n
f
n
[ sup([f
n
[ +[g
n
[) [A
n
]
2n
n
2
0.
Il sensuit que
_
[f f
n
[ 0.
Remarque II-62. Ce theor`eme de densite est tr`es general, mais pas tr`es expli-
cite. Nous verrons plus tard que dans le cas o` u X = R
n
, on peut construire, grace
`a loperation de convolution, des approximations beaucoup plus explicites dune
fonction integrable.
Dans le theor`eme de Lusin, il est en general impossible dimposer f

f, alors
que lon peut le faire quand on approche f par une famille de fonctions simples. Le
theor`eme suivant remedie partiellement ` a ce probl`eme.
Theor`eme II-63 (Theor`eme de Vitali-Caratheodory). Soit X un espace topo-
logique localement compact, et soit une mesure de Borel reguli`ere sur X. Soit
f : X R une fonction mesurable. Alors, pour tout > 0 il existe des fonctions f
+
et f

, telles que f

f f
+
, f

est semi-continue superieurement et majoree, f

est semi-continue inferieurement et minoree, et


_
f
+
d
_
f
_
f

d +.
INT

EGRATION SELON LEBESGUE ET SELON RIESZ 89


Demonstration. Quitte ` a separer f en parties positive et negative, on peut
supposer f 0. En approchant f par une suite de fonctions simples, on constate
que lon peut ecrire
f =

i=1
c
i
1
E
i
,

i=1
c
i
[E
i
] < +.
Pour chaque i on choisit un ouvert O
i
contenant E
i
, et un compact K
i
contenu dans
E
i
, tels que
[O
i
K
i
] /2
i+1
.
On pose alors
f

i=1
c
i
1
K
i
, f
+
=
N

i=1
c
i
1
O
i
,
o` u N est choisi de telle sorte que

i=N+1
c
i
[E
i
] /2.
On verie facilement que f
+
et f

verient toutes les conditions requises.


II-5. Integration `a valeurs vectorielles
Jusquici, nous avons seulement cherche `a integrer des fonctions `a valeurs dans
R ou R. Il est facile den deduire une theorie de lintegration des fonctions ` a valeurs
dans un espace vectoriel de dimension nie, par exemple R
n
ou C : il sut dintegrer
composante par composante. On demontre facilement la proposition suivante.
Proposition II-64 (integration ` a valeurs dans un espace vectoriel de dimension
nie). Soient (X, ) un espace mesure, et E = R
n
(resp. E = C), muni dune norme
(resp. du module complexe) [ [. On dit quune fonction mesurable f : X E est
integrable, ou sommable, si la fonction [f[, denie sur X et `a valeurs dans R
+
, est
sommable. Une base (e
k
)
1kn
de E en tant que R-espace vectoriel etant donnee, on
peut decomposer la fonction f sous la forme
f =

f
k
e
k
,
o` u les fonctions f
k
sont mesurables de X dans R. Si f est sommable, toutes les
fonctions f
k
le sont, et on denit
_
X
f d =

__
X
f
k
d
_
e
k
.
Le vecteur ainsi deni ne depend pas du choix de la base (e
k
), et loperation dintegration
ainsi construite satisfait aux r`egles de calcul suivantes : pour toutes fonctions som-
mables f et g, et pour tout R (resp. C),
_
(f) d =
_
f d,
_
(f +g) d =
_
f d +
_
g d,

_
f d


_
[f[ d.
90 CHAPITRE II (7 mars 2007)
En outre, si E = R
n
et [ [ est la norme euclidienne (resp. E = C et [ [ est
le module), il ne peut y avoir egalite dans la derni`ere inegalite que si limage de f
est, hors dun ensemble negligeable, contenue dans une droite de R
n
(resp. de C, vu
comme R-espace vectoriel).
On peut maintenant se poser la question de lintegration de fonctions ` a valeurs
dans des espaces vectoriels plus generaux, eventuellement de dimension innie. Cest
ce que lon appelle la theorie de lintegration `a valeurs vectorielles, ou theorie
de lintegrale de Bochner. Cette question est assez naturelle quand on consid`ere
des fonctions `a plusieurs variables comme des fonctions dune variable ` a valeurs
vectorielles, demarche classique en theorie des equations aux derivees partielles par
exemple, ou en theorie de linterpolation.
La denition de la sommabilite tombe sous le sens : une fonction mesurable f de
X dans un espace vectoriel abstrait E muni dune norme | | est dite integrable si la
fonction |f| est integrable sur X. Cependant, il est beaucoup plus delicat de denir
lintegrale de f : on ne peut pas, en general, se contenter de la denir composante
par composante.
On peut developper la theorie de lintegration ` a valeurs vectorielles dune mani`ere
assez similaire `a la theorie de lintegration des fonctions ` a valeurs reelles, avec
quelques subtilites cependant. Par exemple, pour passer de lintegrale des fonctions
`a valeurs positives ` a lintegrale des fonctions ` a valeurs reelles, nous avons tout sim-
plement utilise le fait que tout nombre reel peut secrire comme dierence de deux
nombres positifs. Mais si lespace des valeurs est un espace fonctionnel E, il nest
pas forcement vrai que toute fonction de E puisse secrire comme dierence de deux
fonctions de E `a valeurs positives. On peut parfois elargir E pour sy ramener ; on
peut aussi developper la theorie directement, sans passer par les fonctions positives.
Ce faisant, on peut etre amene `a modier leg`erement la denition des fonctions
simples pour que leur integration soit toujours possible, en consid`ererant unique-
ment des combinaisons lineaires de fonctions indicatrices densembles de mesure
nie, etc.
Il arrive aussi que les deux demarches (passage par les fonctions ` a valeurs posi-
tives, ou approche directe) soient possibles ; au Chapitre ?? on etudiera un exemple,
le Theor`eme de Desintegration de la mesure, quil est plus facile de traiter de mani`ere
directe.
Les resultats principaux de la theorie de lintegrale de Bochner sont tr`es similaires
aux resultats classiques que nous avons etudies jusqu`a present, ne reservent gu`ere
de surprise, et peuvent presque toujours etre formules in ne dans le langage de
lintegrale classique : ainsi, lassertion u L
1
(X; C(Y )) peut se transcrire en
_
X
_
sup
Y
[u(x, y)[
_
d(x) < +;
quant ` a lintegrale vectorielle
_
X
u(x, ) d(x), on peut toujours se la representer
comme la fonction qui ` a y associe
_
X
u(x, y) d(x). Avec de tels reexes, le lec-
teur ne devrait pas rencontrer de dicultes dans linterpretation des resultats de
lintegration ` a valeurs vectorielles.
Sans developper la theorie compl`ete, nous montrerons au chapitre VII comment
denir une theorie simple et satisfaisante dintegration ` a valeurs vectorielles qui
couvre la plupart des espaces habituels. Pour cela, nous attendrons detre un peu
plus aguerris dans le domaine de lanalyse fonctionnelle.