Herv Le Dret
12 dcembre 2015
2
Table des matires
1 Topologie 1
1.1 Espaces topologiques . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Espaces mtriques . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3 Espaces complets . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.4 Espaces compacts . . . . . . . . . . . . . . . . . . . . . . . . . . 31
1.5 Espaces sparables, espaces connexes . . . . . . . . . . . . . . . 47
1.6 Quelques remarques sur la topologie des ouverts de Rd . . . . . . 52
3
4 TABLE DES MATIRES
Topologie
U O,
[
j=1
1. Notons que = 0/ dfinit galement une famille finie, zro lments, et que i0/ Ui = X,
donc ce cas apparemment particulier, et qui napparat pas dans la dfinition telle quelle est crite
plus haut parce quil ne prsente pas grand intrt, nen est pas un. Dans le mme ordre dides,
0/ U = 0,
/ et la premire proprit de topologie peut tre considre comme redondante, une
petite rcriture prs. Mais on lcrit traditionnellement part et nous suivons la tradition.
1.1. Espaces topologiques 3
Le langage des voisinages est souvent utilis dans la littrature. Voici la dfini-
tion dun voisinage dun point dans le cadre des espaces topologiques.
Dfinition 1.1.2 Soit x un point dun espace topologique (X, O). On dit quune
partie V de X est un voisinage de x si et seulement si il existe un ouvert contenant x
et inclus dans V .
Proposition 1.1.2 Soit A une partie dun espace topologique (X, O), on considre
lensemble OA des parties V de A pour lesquelles il existe U appartenant O tel
que V = A U. Le couple (A, OA ) est un espace topologique.
U O U OA .
[ [ [ [
donc V = (A U ) = A
N N N N
Uj O U j OA .
\ \ \ \
donc Vj = (A U j ) = A
j=1 j=1 j=1 j=1
Les trois proprits requises pour parler de topologie sont donc bien satisfaites.
Convention : Sauf mention expresse du contraire, on considre toujours une partie
dun espace topologique comme munie de cette topologie, dite topologie induite.
Attention, les ouverts de A pour la topologie induite ne sont manifestement pas
ncessairement des ouverts de X ! Plus prcisment :
Dfinition 1.1.3 On dit quun espace topologique (X, O) est spar si et seulement
si pour tout couple (x, y) de points distincts de X, il existe deux ouverts U et V tels
que
x U , y V et U V = 0. /
est spare. Dans un espace topologique spar, tout singleton {x} est ferm,
et le complmentaire dun singleton est ouvert. Dans les applications, nous ne
considrerons essentiellement jamais despace topologique qui ne soit pas spar,
ce qui ne signifie pas que ces derniers soient dnus dintrt.
Exercice 1.1.3 Dmontrer que les trois topologies de lexercice 1.1.1 sont spa-
res.
Commentaires. Ladhrence dune partie A est donc lensemble des points qui
collent A au sens o tout voisinage dun de ces points contient aussi au moins
un point de A, alors que lintrieur de A est lensemble des points bien cals
dans A puisquau moins un de leurs voisinages est inclus dans A.
Exemples. Lintrieur des intervalles ]a, b[, [a, b[, ]a, b] et [a, b] pour la topologie
usuelle O0 sur R est lintervalle ]a, b[. Leur adhrence est lintervalle [a, b]. Leur
frontire est lensemble {a, b}. Quen est-il pour les deux autres topologies Od et
Og ?
Cet exemple ne doit pas faire croire que lintrieur dune partie A remplit
toujours pratiquement A et que A est toujours un ensemble petit . Ainsi, on
sait quun intervalle ouvert non vide de R contient toujours au moins un nombre
rationnel et un nombre irrationnel (en fait une infinit de chaque). Par consquent,
lensemble Q des nombres rationnels est dintrieur vide pour la topologie usuelle
de R, il est dense dans R et sa frontire est gale R, et la mme chose est vraie
pour son complmentaire, lensemble R \ Q des nombres irrationnels.
Dmonstration. Montrons dabord que A est un ferm car son complmentaire est
ouvert. Si x X \ A, il vient en niant la dfinition de A quil existe un ouvert U
contenant x et tel que A U = 0. / Donc U X \ A, lequel est par consquent ouvert.
Soit F lintersection de tous les ferms contenant A. Cest un ferm comme
intersection de ferms, et comme il contient A, cest le plus petit dentre eux.
En particulier, F A car A contient videmment A. Montrons que A F. Le
complmentaire de F est un ouvert et si x X \ F, il existe un ouvert U contenant
x tel que F U = 0./ A fortiori, A U = 0, / et donc
x 6= A, cest--dire A F.
De mme, A est un ouvert, puisque si x A, il existe un ouvert
U contenant x
et inclus dans A, donc tout autre point y de U est aussi dans A. Soit V la runion
de tous les ouverts inclus dans A. Cest un ouvert comme runion douverts,
et
comme
il est contenu dans A, cest le plus grand dentre eux. En particulier, A V
car A est videmment contenu dans A. Montrons que V A. Cestvident car si
x V A, on prend U = V dans la dfinition de lintrieur, et x A.
Commentaires. On aurait tout aussi bien pu dfinir ladhrence de A comme le
plus petit ferm contenant A et son intrieur comme le plus grand ouvert inclus dans
A,
et en dduire les caractrisations
de la dfinition 1.1.4. On a aussi clairement,
A = X \ Adh(X \ A), A = A A = X \ Int(X \ A) et A = (X \ A). Par ailleurs,
la frontire dune partie A est toujours un ferm car A = A (X \ A). Enfin une
partie est dense si et seulement si son complmentaire est dintrieur vide.
Lintrt du concept de topologie tel quil a t prsent ici, est quil permet de
dfinir de manire trs abstraite, donc trs gnrale et simple des notions familires.
Dfinition 1.1.5 Soient (X, O) et (Y, O) e deux espaces topologiques et f une ap-
plication de X dans Y . Considrons un point x0 de X. On dit que f est continue en
x0 si et seulement si, pour tout ouvert V de Y contenant f (x0 ), il existe un ouvert
U contenant x0 tel que
f (U) V.
Commentaires. En dautres termes, f est continue en x0 si pour tout voisinage V
de f (x0 ), on peut trouver un voisinage de x0 dont limage par f est incluse dans
le voisinage V , cest--dire, intuitivement, quau voisinage de x0 , lapplication f
prend des valeurs aussi proches que lon veut de f (x0 ) au sens de la topologie de Y
condition de se placer suffisamment prs de x0 au sens de la topologie de X.
Thorme 1.1.1 Soient (X, O) et (Y, O) e deux espaces topologiques et f une ap-
plication de X dans Y . Lapplication f est continue en tout point x de X si et
seulement si
V Oe , f 1 (V ) O,
cest--dire si et seulement si limage rciproque de tout ouvert est un ouvert. De
mme, f est continue en tout point de X si et seulement si limage rciproque de
tout ferm de Y est un ferm de X. On dit alors que f est continue sur X.
1.1. Espaces topologiques 7
U f 1 ( f (U)) f 1 (V ).
Thorme 1.1.2 Soient (X, O), (Y, O) e et (Z, O 0 ) trois espaces topologiques. On
considre une application f de X dans Y et une application g de Y dans Z. Soit x0
un point de X. Si f est continue en x0 et si g lest en f (x0 ), alors g f est continue
en x0 .
g f (U) g(V ) W,
do le thorme.
8 1. Topologie
de lanalyse, les suites sont bien souvent suffisantes. On rappelle quune suite
dlments de X nest rien dautre quune application de N dans X, mais que lon
utilise la notation indicielle plutt que la notation fonctionnelle.
Dfinition 1.1.8 Soit (X, O) un espace topologique et (xn )nN une suite dl-
ments de X. On dit que la suite (xn )nN converge vers un lment ` de X si et
seulement si
` = lim xn ou bien xn `,
n+ n+
Commentaire. Une suite converge donc vers une limite ` si et seulement si pour
tout voisinage de cette limite, partir dun certain rang, la suite ne sort jamais plus
de ce voisinage.
Proposition 1.1.5 Soit (X, O) un espace topologique spar et (xn )nN une suite
dlments de X. Il existe au plus un lment ` vrifiant la condition (1.1) ci-dessus.
Dmonstration. On raisonne par labsurde. Supposons que `1 6= `2 vrifient la
condition (1.1). Comme lespace X est spar, nous pouvons choisir deux ouverts
U1 et U2 tels que ` j U j et U1 U2 = 0.
/ Mais, il existe n1 tel que, pour tout n n1 ,
on ait xn U1 et n2 tel que, pour tout n n2 , on ait xn U2 . Par consquent,
pour tout n n0 = max(n1 , n2 ), xn U1 U2 , ce qui est impossible puisque cet
ensemble est vide. Contradiction.
Commentaire. Dans un espace topologique spar, on a donc unicit de la limite
dune suite convergente. Ce nest pas forcment le cas dans un espace topologique
qui nest pas spar.
Proposition 1.1.6 Soient (X, O) et (Y, O)e deux espaces topologiques. On consi-
dre une suite (xn )nN dlments de X convergeant vers ` et une application f de
X dans Y continue au point `. Alors
Dfinition 1.1.9 Soient (X, O) un espace topologique et (xn )nN une suite dl-
ments de X. On appelle valeur dadhrence de la suite (xn )nN tout lment y de X
tel que
U O tel que y U, n N, m n tel que xm U.
Proposition 1.1.7 Soit (xn )nN une suite dlments dun espace topologique
(X, O), lensemble des valeurs dadhrence de la suite (xn )nN est le ferm
A =
\
Adh{xm , m n}.
nN
y A n, y Adh{xm , m n}
n, U O tel que y U, m n tel que xm U,
d(x, y) = 0 x = y,
d(x, y) = d(y, x), (symtrie)
d(x, y) d(x, z) + d(z, y, ) (ingalit triangulaire)
Dfinition 1.2.3 Soit A une partie de X. On dit que A est une partie borne de X
si et seulement si il existe un rel strictement positif et un point x de X tels que A
soit inclus dans B(x, ).
Exercice 1.2.1 Soit A une partie non vide et borne dun espace mtrique (X, d).
Dmontrez quil existe un plus petit rel tel que
(x, y) A A , d(x, y) .
Thorme 1.2.1 Soit (X, d) un espace mtrique. Soit O lensemble des parties
U de X telles que, pour tout x U, il existe un rel strictement positif tel que
B(x, ) soit incluse dans U. Alors O est une topologie sur X.
Par dfinition de O, pour tout j, il existe un rel strictement positif j tel que
B(x, j ) soit incluse dans U j . Considrons = min1 jN j . Comme cest le
minimum dun nombre fini de nombres strictement positifs, on a > 0. Comme
j , on a B(x, ) B(x, j ), et la boule ouverte B(x, ) est incluse dans chacun
des U j donc dans leur intersection. On a donc bien dfini une topologie sur X.
Convention : Le plus souvent et sauf mention expresse du contraire, on munira
tout espace mtrique de la topologie ainsi dfinie. On dit que cest la topologie
mtrique associe la distance d.
1.2. Espaces mtriques 13
Proposition 1.2.1 Soit (X, d) un espace mtrique. Pour tout x de X et pour tout
rel 0, la boule B(x, ) est un ouvert et la boule B(x, ) est un ferm.
d(x, y)
d(z, y) d(x, y) d(x, z) > .
2
d(x,y)
De mme, si d(y, z) < 2 alors d(x, z) > d(x,y)
2 et par consquent,
d(x, y) d(x, y)
B x, B y, = 0.
/
2 2
Comme les boules ouvertes sont des ouverts de O, lespace topologique (X, O) est
donc spar.
Dfinition 1.2.4 On dit quun espace topologique (X, O) est mtrisable sil existe
une distance sur X dont la topologie mtrique associe concide avec O.
est une distance sur X et que les topologies dfinies par d et d f sont gales.
Dans les espaces mtriques, la convergence des suites peut ne sexprimer quen
termes de boules, cest--dire de distance, comme en tmoigne la proposition
suivante.
1.2. Espaces mtriques 15
Proposition 1.2.2 Soit (X, d) un espace mtrique, considrons une suite (xn )nN
dlments de X et ` un point de X. Alors
Proposition 1.2.4 Soit (xn )nN une suite dlments dun espace mtrique (X, d).
Un point y de X est une valeur dadhrence de la suite (xn )nN si et seulement si il
existe une application de N dans N strictement croissante telle que
lim x (p) = y.
p+
(0) = 0 et
(p) = min{m N qui satisfont (1.2) avec n = (p 1) + 1}.
Lapplication est bien dfinie, elle est par construction strictement croissante de
N dans lui-mme, donc (p) + quand p +. De plus, on a
1
d(x (p) , y) 0 quand p +.
(p 1) + 1
ii) Lapplication f est continue en x0 si et seulement si, pour toute suite (xn )nN
convergeant vers x0 , on a
f (xn ) f (x0 ).
n+
On peut sinterroger sur les effets dun changement de distance sur les proprits
dun espace mtrique.
Dfinition 1.2.6 Soit X un ensemble, on considre deux distances d et sur X.
On dit que les deux distances sont topologiquement (resp. uniformment, resp.
fortement) quivalentes si et seulement si lapplication Id est continue (resp.
uniformment continue, resp. lipschitzienne) de (X, d) dans (X, ) et de (X, )
dans (X, d).
Remarque. Pour deux distances topologiquement quivalentes, lapplication
identit est un homomorphisme de (X, d) dans (X, ). Les topologies mtriques
associes, donc les ouverts, les applications continues et les suites convergentes sont
les mmes. Par contre, deux distances qui ne sont pas topologiquement quivalentes
nengendrent pas les mmes topologies sur X.
x, , tel que d(x, y) < = (x, y) < et (x, y) < = d(x, y) < .
, tel que d(x, y) < = (x, y) < et (x, y) < = d(x, y) < .
d(xn , x) 0 (xn , x) 0.
On pourra galement vrifier avec profit que les deux distances dfinies prc-
demment sur RN sont fortement quivalentes. Elles dfinissent donc une seule et
mme topologie sur RN .
1.2. Espaces mtriques 19
S : R2 R P : R2 R
(u1 , u2 ) 7 u1 + u2 (u1 , u2 ) 7 u1 u2
Exercice 1.2.5 Soit A une partie non vide dun espace mtrique (X, d). Dmontrez
que lapplication
x 7 d(x, A)
est 1-lipschitzienne. Dmontrez que A est lensemble des points x de X tels
que d(x, A) = 0.
20 1. Topologie
Proposition 1.2.7 Soient A et B deux parties fermes non vides disjointes dun
espace mtrique (X, d). Il existe une fonction continue de (X, d) dans [0, 1] telle
que f|A = 0 et f|B = 1 et 0 < f (x) < 1 si x
/ A B.
df d(x, A)
f (x) =
d(x, A) + d(x, B)
convient bien.
Une consquence importante de ce rsultat est la possibilit de construire des
partitions de lunit. Voici ce dont il sagit.
Thorme 1.2.4 Soient (X, d) un espace mtrique et (Un )nN une famille dou-
verts localement finie (ce qui signifie que, pour tout point x de X, il existe un
voisinage V de x tel que Un V = 0/ sauf pour un nombre fini dindices n) tel que
[
Un = X.
nN
Alors il existe une famille de fonctions continues ( fn )nN de (X, d) dans linter-
valle [0, 1] telle que
x X, fn (x) = 1 et fn |X\Un = 0.
nN
df [
Fn = X \ Um .
m6=n
Enfin, si Fn = 0/ on pose n = 0.
Soit x un lment de X, il existe un ouvert V contenant x et tel que lensemble
{n N;Un V 6= 0} / soit un ensemble fini. La srie de fonctions n n est donc
en fait, sur louvert V , une somme finie de fonctions continues, donc une fonction
continue sur V . Par consquent, x tant quelconque, on a ainsi dfini une fonction
continue S sur X par
df
S(x) = n(x),
nN
la somme ne contenant quun nombre fini de termes non nuls en tout point x
(nombre qui peut bien sr varier avec x).
Soit I = {n N; Fn = 0}
S
/ lensemble des indices pour lesquels m6=n Um = X.
On voit que nN\I Un = X car pour tout n I et tout point x, x Um pour un
S
x X, S(x) > 0.
En effet, on a aussi S(x) = nN\I n (x) et si x est tel que S(x) = 0, cela implique
que x X \Un pour tout n N \ I. Or
\ [
(X \Un ) = X \ Un = 0, /
nN\I nN\I
Point ii) : considrons maintenant une suite de Cauchy (xn )nN et supposons
quelle ait une valeur dadhrence `. La suite tant de Cauchy, il existe un entier n0
tel que
n n0 , m n0 , d(xn , xm )
2
La suite ayant ` pour valeur dadhrence, il existe un entier n1 n0 tel que
d(xn1 , `) <
2
On en dduit alors que, pour tout entier n n0 , on a
do la proposition.
Si une suite convergente est toujours de Cauchy, la rciproque nest pas vraie en
gnral, cest--dire quil peut exister des suites de Cauchy sans valeur dadhrence.
On est donc amen poser la dfinition suivante, qui est extrmement importante
comme on pourra sen rendre compte dans la suite.
24 1. Topologie
Dfinition 1.3.2 Soit (X, d) un espace mtrique, on dit que cet espace est complet
si et seulement si toute suite de Cauchy est convergente.
Commentaire. Lintrt majeur de la notion despace complet vient du fait que
lon sait y dmontrer la convergence dune suite en utilisant une proprit qui
ne fait pas intervenir la limite, sur laquelle en gnral on ne sait rien a priori, ni
mme quelle existe ! La dfinition de la convergence dune suite fait par contre
elle intervenir la limite. Par consquent, dmontrer quune suite dans un espace
complet est de Cauchy est un moyen trs puissant de dmontrer lexistence mme
de cette limite. Cest pourquoi cette ide est la base dun trs grand nombre de
rsultats de convergence, aprs avoir dmontr une fois pour toutes que lespace
dans lequel on travaille est complet.
Proposition 1.3.4 Soient d et deux distances uniformment quivalentes sur X.
Si (X, d) est complet, alors (X, ) lest aussi.
Dmonstration. En effet, soit (xn )nN une suite de Cauchy de (X, ), daprs la
proposition 1.3.2, cest une suite de Cauchy pour la distance d. Mais comme (X, d)
est complet, cest une suite convergente pour d, donc pour puisque les distances d
et tant uniformment quivalentes, elles sont topologiquement quivalentes.
Un exemple fondamental despace complet est lespace R muni de la distance
usuelle d(x, y) = |x y|, ce qui dcoule de la proprit de borne suprieure satisfaite
par R (le dmontrer). Un exemple simple despace non complet est son sous-
espace Q, muni de la mme distance (considrer une suite de nombres rationnels
qui converge vers 2, par exemple la suite des nombres dcimaux 1, 1,4, 1,41,
1,414, . . .).
Nous allons maintenant examiner comment fabriquer des espaces complets
partir despaces complets dja connus. Autrement dit, on va chercher des oprations
sur les ensembles qui laissent stable la proprit despace complet.
Proposition 1.3.5 Soit (X1 , d1 ), , (XN , dN ) une famille de N espaces mtriques
complets. Soit X = X1 XN muni de la distance
ou bien encore
N 1
2
e 1 , , xN ), (y1 , , yN )) =
d((x d j (x j , y j )2 .
j=1
En corollaire, on voit que RN est complet pour chacune des trois distances que lon
y a introduites.
On dit quune application f dun ensemble X valeurs dans un espace mtrique
(Y, ) est borne si lensemble f (X) est born dans Y .
Lapplication fn0 tant borne, on en dduit que f lest galement par lingalit
triangulaire. Il faut maintenant vrifier que la suite ( fn )nN converge vers f dans
26 1. Topologie
lespace (B(X,Y ), D). Pour ce faire, passons la limite lorsque p tend vers linfini
dans lingalit (1.3), ce qui donne
> 0 , n0 N / n n0 , x X , ( fn (x), f (x)) ,
ce qui achve la dmonstration de la proposition pour les applications bornes en
prenant la borne suprieure par rapport x.
Dans le cas o X est un espace topologique, on a C (X,Y ) B(X,Y ), avec
la mme distance D, donc on sait dj que toute suite de Cauchy ( fn )nN dans
C (X,Y ) converge dans B(X,Y ) vers un certain f . Il nous reste montrer que sa
limite f est continue. Soit donc x0 X et B( f (x0 ), ) une boule ouverte de Y avec
> 0. Par lingalit triangulaire
( f (x), f (x0 )) ( f (x), fn (x)) + ( fn (x), fn (x0 )) + ( fn (x0 ), f (x0 ))
pour tout x et n. Comme fn f , on peut choisir n N tel que D( fn , f ) < 3 . Pour
cette valeur de n, il vient donc
2
( f (x), f (x0 )) < + ( fn (x), fn (x0 )).
3
La fonction fn est continue. Il existe donc un ouvert U de X contenant x0 tel que
pour tout x U, ( fn (x), fn (x0 )) < 3 . On en dduit donc que pour tout x U,
( f (x), f (x0 )) < ,
cest--dire que f est continue en x0 . Comme x0 est arbitraire, on a bien f
C (X,Y ).
Commentaire. Le lecteur attentif aura reconnu la gnralisation aux espaces
mtriques de la notion de convergence uniforme dune suite de fonctions et du fait
quune limite uniforme de fonctions continues est continue.
Proposition 1.3.7 Soient (X, d) un espace complet et A une partie de X. Alors
lespace (A, d) est complet si et seulement si A est une partie ferme de X.
Dmonstration. Supposons que A soit ferme. Soit (an )nN une suite de Cauchy
dlments de A. Cest aussi une suite de Cauchy dlments de X. Donc, puisque
X est complet, elle converge vers un lment a de X. Cet lment de X est limite
dune suite dlments de A qui est un ferm de X. Donc a appartient A, ce qui
prouve que A est complet.
Rciproquement, supposons que A soit complet. Considrons un lment x
de X tel quil existe une suite (an )nN dlments de A dont la limite soit x. La
suite (an )nN est une suite convergente (dans X), cest donc une suite de Cauchy
dans X, donc aussi dans A. Comme A est complet, la suite (an )nN converge dans
A. Lunicit de la limite dans lespace X entrane que x A, do la proposition.
1.3. Espaces complets 27
Une proprit fort utile des espaces complets est la possibilit de prolonger des
applications uniformment continues dfinies sur une partie dense.
Thorme 1.3.1 Soient (X, d) et (Y, ) deux espaces mtriques, A une partie
dense de X, et f une application uniformment continue de (A, d) dans (Y, ). Si
Y est complet, alors il existe une unique application uniformment continue f de
(X, d) dans (Y, ) telle que f|A = f .
> 0, tel que (a, b) A2 , d(a, b) < ( f (a), f (b)) < . (1.4)
Mais la suite (an )nN est de Cauchy car convergente. Donc il existe un entier n0
tel que
n n0 , m n0 , d(an , am ) < .
Donc la suite ( f (an ))nN est une suite de Cauchy de (Y, ). Comme ce dernier est
complet, elle converge vers une limite y.
La premire chose vrifier est que cette limite y est indpendante de la
suite (an )nN choisie. En effet, soient (an )nN et (bn )nN deux suites convergeant
vers x. Par un raisonnement analogue au prcdent, luniforme continuit de lap-
plication f sur A assure que
Donc la limite y est bien indpendante du choix de la suite (an )nN . Dfinissons
alors sans ambigut lapplication f par
f(x) = lim f (an ) pour toute suite (an )nN AN telle que lim an = x.
n n
lim an = x et lim bn = y.
n n
n n0 d(an , bn ) < .
28 1. Topologie
Comme 0 < k < 1, la suite (xn )nN est donc de Cauchy. Comme X est complet, elle
est convergente. Soit z sa limite. Lapplication f tant lipschitzienne, donc continue,
on obtient en passant la limite dans la relation de dfinition de la suite (xn )nN
que z = f (z), donc z est un point fixe de f .
Il nous reste dmontrer lunicit. Soient z1 et z2 deux points fixes de f .
Comme f est strictement contractante
B(x1 , 1 ) U1 B(x0 , 0 ).
1
j et B(x j , j ) U j B(x j1 , j1 ). (1.6)
j+1
Louvert Un+1 est dense, donc louvert Un+1 B(xn , n ) est non vide. Il existe donc
un rel strictement positif n+1 (que lon peut supposer infrieur 1/(n + 2)) et
un point xn+1 de X telles que
On a ainsi construit par rcurrence une suite (xn )nN dlments de X et une
suite (n )nN de rels strictement positifs qui tend vers 0 et telle que
m n , xm B(xn , n ). (1.7)
Comme la suite (n )nN tend vers 0, la suite (xn )nN est de Cauchy. Donc elle
converge dans X qui est complet. Appelons x sa limite. Daprs la relation (1.7), le
point x appartient B(xn , n ) pour tout entier n. Vu les relations (1.5) et (1.6), on a
\
n N, x V Uj .
jn
Lemme 1.3.1 Soit (X, d) un espace mtrique complet et (Fn )nN une suite dcrois-
sante de ferms non vides de X dont le diamtre tend vers 0. Il existe alors un
lment x de X tel que \
Fn = {x}.
nN
n , d(x, y) (Fn )
Corollaire 1.3.1 Soit (Fn )nN une suite de ferms dun espace mtrique com-
plet (X, d) dont la runion est X. Alors il existe un entier n0 tel que Int(Fn0 ) 6= 0.
/
Dfinition 1.4.1 Soit (X, O) un espace topologique. On dit que X est compact si
et seulement si de tout recouvrement de X par des ouverts, on peut extraire un
sous-recouvrement fini. Autrement dit, pour toute famille (U ) douverts de X
telle que [
X= U ,
32 1. Topologie
On dit quune partie A X est une partie compacte de X, lorsquelle est compacte
pour la topologie induite.
On ajoute parfois lhypothse de sparation la dfinition de la compacit, un
compact au sens prcdent sans hypothse de sparation tant alors qualifi de
quasi-compact.
La compacit dune partie A sexprime aussi de la faon suivante.
Proposition 1.4.1 Soient (X, O) un espace topologique et A une partie de X.
La partie A est un compact de X si et seulement si pour toute famille (U )
douverts de X telle que A U , il existe une famille finie ( j )1 jN telle
S
que A Nj=1 U j .
S
alors on a \
F 6= 0.
/
Dmonstration. On passe au complmentaire. Soit (F ) une famille de ferms
de X, posons U = X \ F , qui est un ouvert. On a alors
\ [
F = 0/ U = X.
Proposition 1.4.3 Soit (X, O) un espace topologique compact. Toute partie ferme
de X est compacte.
do la proposition.
Proposition 1.4.4 Soit (X, O) un espace topologique spar. Si A est une partie
compacte de X, alors A est un ferm de X.
N
\
V= Vj.
j=1
Exercice 1.4.2 Soit [a, b] muni de la distance d(x, y) = |x y|. Dmontrez que cet
espace topologique est compact. Pour cela, considrez un recouvrement (U )
de [a, b] et tudiez la borne suprieure de lensemble des x tels que lintervalle [a, x]
puisse tre recouvert par un nombre fini dlments U .
Exercice 1.4.3 On considre lespace topologique ([0, 1], Od ) (voir lexercice 1.1.1
pour la dfinition). Dmontrez que cet espace topologique nest pas compact.
Thorme 1.4.1 Soient (X, O) et (Y, O) e deux espaces topologiques et f une fonc-
tion continue de X dans Y . Si A est une partie compacte de X, alors f (A) est une
partie compacte de Y .
Proposition 1.4.5 Toute partie compacte dun espace mtrique est borne.
Dmonstration. En effet, f (X) est compact donc ferm et born (pour la distance
usuelle d(x, y) = |x y|). Comme il est born, il admet une borne infrieure et
une borne suprieure finies. Ces bornes sont des valeurs dadhrence, elles appar-
tiennent donc f (X) puisque celui-ci est ferm.
En particulier, infX f > et supX f < +. Si les fonctions continues dfinies
sur un compact ont, comme nous venons de le voir, des proprits remarquables, il
en va de mme des suites valeurs dans un espace compact.
Thorme 1.4.2 Soient (X, O) un espace topologique compact et (xn )nN une
suite dlments de X. Alors lensemble des valeurs dadhrence de (xn )nN est
non vide. De plus, si cet ensemble est rduit un seul lment `, alors on a
lim xn = `
n
Dmonstration. Posons
Fn = Adh{xm , m n}.
La suite (Fn )nN est une suite dcroissante de ferms non vides. Toute intersection
finie dlments de la suite (Fn )nN est par consquent un ensemble Fp , o p est
lindice maximum apparaissant dans la famille finie en question. Cette intersection
est donc non vide. Comme X est compact, on en dduit que
\
Fn 6= 0,
/
nN
par la proposition 1.4.2. Or la proposition 1.1.7 affirme que lensemble des valeurs
dadhrence est justement lintersection de tous les ensembles Fn , do le premier
point de ce thorme.
Pour dmontrer le second point, considrons un ouvert quelconque U contenant
` et posons
Fen = Adh{xm , m n} (X \U).
Le fait que ` soit la seule valeur dadhrence implique que lintersection des Fen est
vide. Donc, comme la suite (Fen )nN est une suite dcroissante, il existe un entier
n0 tel que Fen0 soit vide, encore par la proposition 1.4.2 ou plutt sa contrapose.
Cela signifie en particulier que
n n0 , xn U,
ce qui termine la dmonstration de ce thorme.
36 1. Topologie
On choisit = 1/n pour n N . Ceci nous donne une suite xn F telle que
n N , , B(xn , 1/n) 6 U .
Par hypothse, cette suite admet une valeur dadhrence, ce qui implique quil
existe une sous-suite note xn p et un x F tels que d(xn p , x) 0 quand p +.
Comme les U recouvrent F, il existe tel que x U . Soit > 0 tel
que B(x, ) U . Choisissons alors p assez grand pour que d(xn p , x) < /2 et
1/n p < /2. Pour tout y B(xn p , 1/n p ), on en dduit que d(y, x) d(y, xn p ) +
d(xn p , x) < , cest--dire
Thorme 1.4.4 Les compacts de lespace (R, O0 ) sont les parties fermes et
bornes pour la distance usuelle.
Dmonstration. Le seul point dmontrer est que toute suite borne (xn )nN admet
une valeur dadhrence. Toute famille majore de rels admet une borne suprieure.
Posons donc
Mn = sup xm .
mn
|x y|
e y) =
d(x,
1 + |x y|
il faut bien raliser que sauf dans le cas de Rd , muni dune de ses distances usuelles,
ainsi quun certain nombre dautres cas particuliers,
Corollaire 1.4.2 Soit A une partie dun espace mtrique (X, d). Le ferm A est
compact si et seulement si toute suite dlments de A possde une valeur dadh-
rence dans X.
Thorme 1.4.5 Soient (X1 , d1 ), , (XN , dN ) une famille finie despaces mtriques
compacts. Le produit X1 XN muni de lune quelconque des distances dfinies
dans lnonc de la proposition 1.3.5 est mtrique compact.
Corollaire 1.4.3 Les compacts de Rd sont les ferms borns (pour une des dis-
tances usuelles) de Rd .
1.4. Espaces compacts 39
Proposition 1.4.6 Soit (X, d) un espace mtrique compact, il est alors complet.
Dmonstration. Soit (xn )nN une suite de Cauchy de X. Comme lespace X est
compact, cette suite admet une valeur dadhrence et la proposition 1.3.3 nous
dit quune suite de Cauchy admettant une valeur dadhrence converge, do la
proposition.
La rciproque de cette proposition est bien sr fausse. Par exemple, R muni de
la distance d(x, y) = |x y| est un espace mtrique complet qui nest pas compact.
Cependant, dans le cas des espaces mtriques complets, on peut trouver une
caractrisation des ensembles compacts uniquement en termes de recouvrements
finis par des boules de mme rayon, mais arbitrairement petit.
Thorme 1.4.6 Soit (X, d) un espace mtrique complet, on considre une par-
tie A de X. Ladhrence de A est compacte si et seulement si
N
[
> 0, x j A, 1 j N tels que A B(x j , ). (1.8)
j=1
Dmonstration. Pour tout x X, comme f est continue au point x, pour tout > 0,
il existe x > 0 telle que lon ait
d(x, x0 ) < x ( f (x), f (x0 )) < .
2
= inf x j > 0.
1 jN
Soit (x, x0 ) X 2 tel que d(x, x0 ) < /2. Comme la famille (B(x j , x j /2))1 jN
recouvre X, il existe un indice j {1, , N} tel que B(x, /2) B(x j , x j ). Mais
alors, le point x0 appartient B(x j , x j ) et lon a ainsi
do le thorme.
Thorme 1.4.8 Soient (X, d) et (Y, ) deux espaces mtriques. Supposons que
(X, d) soit compact et (Y, ) complet. On considre une partie A de C (X,Y ),
lensemble des fonctions continues de X dans Y muni de la distance
Pour dmontrer ce thorme, nous allons tout dabord observer que la premire
hypothse se traduit par lquicontinuit uniforme
> 0, > 0 tel que (x, x0 ) X 2 , f A, d(x, x0 ) < ( f (x), f (x0 )) < .
(1.9)
La dmonstration de cette assertion est exactement la mme que celle du thorme
prcdent (exercice : crivez-la !). En dautres termes, sur un compact, toute partie
quicontinue est uniformment quicontinue. Remarquons quune famille finie est
automatiquement quicontinue et quune runion de deux familles quicontinues
est quicontinue.
Nous allons maintenant noncer un lemme montrant que les parties A qui
sont uniformment quicontinues ont une proprit trs spciale vis--vis de la
convergence.
Lemme 1.4.3 Soient A une partie uniformment quicontinue de C (X,Y ), ( fn )nN
une suite de fonctions de A, f C (X,Y ) et une partie dense de X. On a lqui-
valence suivante
x , fn (x) f (x) D( fn , f ) 0.
n n
En dautres termes, sur une partie uniformment quicontinue, la convergence
simple dune suite de fonctions sur une partie dense de X est quivalente la
convergence uniforme sur X !
Dmonstration. Il ny a quelque chose dmontrer que de gauche droite. Soit
un rel strictement positif arbitraire. Par hypothse, il existe un rel strictement
positif tel que
d(x, x0 ) < n N, ( fn (x), fn (x0 )) < et ( f (x), f (x0 )) < ,
3 3
(la partie A { f } est galement uniformment quicontinue).
Les boules centres sur les points de et de rayon recouvrent X par densit
de . On en extrait un recouvrement fini de boules (B(x j , ))1 jN avec x j .
Ainsi, par la proprit de recouvrement,
x X, k N , d(x, xk ) ,
do
x X, ( fn (x), f (x)) ( fn (x), fn (xk )) + ( fn (xk ), f (xk )) + ( f (xk ), f (x))
2
+ max ( fn (x j ), f (x j )).
3 1 jN
Par hypothse, et comme on na affaire qu un nombre fini de points, il existe n0
tel que
n n0 , max ( fn (x j ), f (x j )) < ,
1 jN 3
ce qui montre que fn converge uniformment vers f , do le lemme.
1.4. Espaces compacts 43
De mme, la suite f0 (n) (x1 ) reste dans un ensemble relativement compact, donc il
existe un point `(x1 ) de Y et une application 1 strictement croissante de N dans N
telle que
lim f0 1 (n) (x1 ) = `(x1 ).
n
Par construction, on a toujours
(n) = 0 n (n).
(n + 1) = 0 ( (n (n+1 (n + 1))) )
0 ( (n (n + 1)) ) > 0 ( (n (n)) ) = (n),
Lingalit ci-dessus tant vraie pour tout n, on obtient, en passant la limite quand
n ,
d(x p , xq ) < d(`(x p ), `(xq )) .
Lapplication ` tant uniformment continue sur la partie dense et lespace Y tant
complet, on peut appliquer le thorme 1.3.1 qui affirme que lon peut prolonger
` en une application uniformment continue sur X tout entier. On utilise alors le
lemme 1.4.3 pour conclure la dmonstration du thorme dAscoli.
Commentaire. Le procd dextraction de sous-suite qui aboutit la proprit 1.10
est un procd courant en analyse, appel procd diagonal. La suite finale extraite
sappelle suite diagonale car si lon range les valeurs fn (xk ) dans un tableau index
par N N, on voit que les indices de la suite extraite sen vont chacun vers linfini
diagonalement dans le tableau. Il sagit dun exemple typique dutilisation de la
dnombrabilit en analyse.
Exercice 1.4.7 Soient (X, d) et (Y, ) deux espaces mtriques compacts. Dmon-
trez que lensemble des fonctions k-lipschitziennes de (X, d) dans (Y, ) est com-
pact dans C (X,Y ).
Dmonstration. On commence par noter que pour tout > 0 et tout M > 0, il
existe un polynme P tel que P(t) |t| sur [M, M]. Pour cela, il suffit
de considrer le cas M = 1, par homothtie. On construit la suite de polynmes
suivante :
1
Q0 (t) = 0, Qn+1 (t) = Qn (t) + t Qn (t)2 .
2
Pour t 0, on a lidentit
1
t Qn+1 (t) = t Qn (t) 1 ( t + Qn (t)) .
2
On en dduit immdiatement par rcurrence que pour t dans lintervalle [0, 1], la
suite Qn (t) est croissante et que 0 Qn (t) < t pour 0 < t 1. On dduit de
lidentit ci-dessus que
t Qn+1 (t) 1
0 1 t,
t Qn (t) 2
et
f , g A, sup( f , g) = f + (g f )+ A ainsi que inf( f , g) A.
On considre alors f C(X, R) quelconque. Pour tout couple (x, y) de points
distincts de X, il existe un lment gx,y de A tel que gx,y (x) = f (x) et gx,y (y) = f (y).
En effet, A contient les constantes, est stable par multiplication par un scalaire et
spare les points.
On se donne > 0 et lon fixe x. Pour tout y X, il existe un voisinage V (y) tel
que pour tout y0 V (y), gx,y (y0 ) f (y0 ) + , par continuit de gx,y et de f . Comme
X est compact, on peut le recouvrir par un nombre fini de tels voisinages V (y1 ),
V (y2 ), . . . , V (y p ). On pose alors gx = inf1ip gx,yi . Par construction,
Corollaire 1.4.4 Soit f une fonction continue sur une partie compacte X de Rd
valeurs relles. Pour tout strictement positif, il existe un polynme d indtermi-
nes P et coefficients rels tel que
Autrement dit, les polynmes coefficients rels sont denses dans lespace des
fonctions relles continues sur un compact.
Le cas des fonctions valeurs complexes est lgrement diffrent.
On a un corollaire analogue.
Corollaire 1.4.5 Soit f une fonction continue sur une partie compacte X de Rd
valeurs complexes. Pour tout strictement positif, il existe un polynme P
coefficients complexes d indtermines tel que
On pose alors
D = {x j,n , 1 j J(n), n N}.
Cet ensemble D est dnombrable. Dmontrons quil est dense. Pour cela, consi-
drons un rel strictement positif arbitraire et un point x quelconque de X. On
choisit alors un entier n tel que 1n . Par dfinition des points x j,n , il existe un
entier j tel que d(x, x j,n ) < 1n do la densit de D.
Nous allons maintenant donner un exemple despace mtrique non sparable.
Proposition 1.5.4 Soit X lensemble des fonctions de [0, 1] dans [0, 1] muni de la
distance
d( f , g) = sup | f (x) g(x)|.
x[0,1]
Lemme 1.5.1 Soit (X, d) un espace mtrique. Sil existe une partie non dnom-
brable A et un rel strictement positif tels que
(x1 , x2 ) A2 , x1 6= x2 d(x1 , x2 ) ,
d(a1 , a2 )
d(a1 , z1 ) + d(a2 , z2 ) + d(z1 , z2 )
+ + d(z1 , z2 )
3 3
2
+ d(z1 , z2 ).
3
Donc z1 est diffrent de z2 . Lapplication a 7 z ainsi dfinie tant injective, si une
partie est dense, elle ne peut tre dnombrable.
Notons que lon peut par contre dduire immdiatement du thorme de Stone-
Weierstrass lnonc suivant.
Proposition 1.5.5 Si X est un compact de KN , K = R ou C, alors lespace C(X, K)
est sparable.
Dmonstration. Il suffit de remarquer que lensemble des polynmes coefficients
rationnels, lequel est dnombrable, est dense dans lensemble des polynmes pour
la distance de C(X, K). On en conclut quil est dense dans C(X, K) par un argument
de double limite.
50 1. Topologie
Dfinition 1.5.2 On dit quun espace topologique (X, O) est connexe sil satisfait
lune des trois proprits quivalentes suivantes :
i) Il nexiste pas de partition de X en deux parties ouvertes non vides.
ii) Il nexiste pas de partition de X en deux parties fermes non vides.
iii) Les seules parties la fois ouvertes et fermes de X sont 0/ et X.
Si A est une partie de X, on dira que A est une partie connexe si elle est connexe
pour la topologie induite.
Lquivalence entre i), ii) et iii) est claire. La caractrisation fort utile suivante
des connexes est parfois incluse dans leur dfinition.
Dfinition 1.5.3 On dit quun point x dun espace topologique (X, O) est connect
un autre point y de ce mme espace sil existe une partie connexe de X qui les
contient tous les deux.
Dmonstration. Il est clair que cette relation est rflexive x est connect x pour
tout x et symtrique si x est connect y alors y est connect x. Montrons
quelle est transitive. Soient trois points x, y et z tels que x est connect y et
y est connect z. Il existe donc une partie connexe A de X qui contient x et y
et une partie connexe B qui contient y et z. Mais A B est non vide puisquelle
contient y. Par consquent, le lemme 1.5.2 montre que A B est connexe. Cette
partie contenant x et z, on en dduit que x est connect z.
Dfinition 1.5.4 Une classe dquivalence pour cette relation sappelle une com-
posante connexe de X. Lespace X est runion disjointe de ses composantes
connexes. On appelle composante connexe de x la composante connexe de X
qui contient x.
Thorme 1.6.1 Soit A une partie ferme (pour la topologie induite) et borne
dun ouvert de Rd . Alors
Pour dmontrer que A est compacte, il suffit de dmontrer que A est une partie
ferme de Rd . Comme A est ferme dans , cela signifie quil existe un ferm B
de Rd tel que A = B . Soit /2 le ferm de Rd dfini par
df
/2 = {x Rd ; d(x, Rd \ ) /2},
(cest limage rciproque dun ferm par une application continue). Comme /2
et que A /2 , on a
A = A /2 = (B ) /2 = B ( /2 ) = B /2 .
Thorme 1.6.2 Soit un ouvert de Rd , il existe une suite de compacts (Kn )nN
de telle que nN Kn = , Kn Int Kn+1 et pour tout compact K de , il existe
S
n 1o
Kn B(0, n + 1) x Rd ; d(x, Rd \ ) > Int Kn+1 ,
n
do le premier point du thorme. Quant au second, il suffit dobserver que
[
Int Kn+1 =
nN
puisque Kn Int Kn+1 . Les ouverts (Int Kn+1 )nN recouvrent donc K, on en extrait
un sous-recouvrement fini et lon prend ladhrence du plus grand de ces ouverts,
qui est bien un certain Kn .
d 1 d
df 2 df df
kxk2 = |x j |2 , kxk = max |x j |,
1 jd
kxk1 = |x j |.
j=1 j=1
58 2. Espaces vectoriels norms, espaces de Banach
Ce sont trois normes sur Kd (qui concident avec la valeur absolue ou le module
pour d = 1). La premire dentre elles est la norme euclidienne ou hermitienne
usuelle.
Soit X un ensemble, on considre le K-espace vectoriel B(X, K) des fonctions
bornes de X valeurs dans K. On dfinit alors lapplication
f 7 sup | f (x)|.
xX
Thorme 2.1.1 Soit (X, ) un espace mesur. Pour tout rel p [1, +], on
considre lespace L p (X, d). Lapplication de L p (X, d) dans R+ dfinie
df
Z 1
p p
pour p < + par f 7 k f kL p = | f (x)| d(x) et
X
pour p = + par f 7 sup ess (| f |)
On rappelle que, pour p [1, +[, lespace L p (X, d) est lespace des classes
dquivalences des fonctions sur X valeurs dans K qui sont -mesurables et de
puissance p-ime -intgrable, modulo lgalit -presque partout. Pour p = +,
on remplace de puissance p-ime -intgrable , par -essentiellement borne
(i.e. borne en dehors dun ensemble de -mesure nulle). Nous reverrons tout ceci
en dtail au chapitre 5.
Proposition 2.1.1 Soit (E, k k) un espace norm, alors lapplication dfinie par
E E R+
(x, y) 7 kx yk
ainsi que
d d
0 N(x) |xi |N(ei ) N(ei ) kxk. (2.2)
i=1 i=1
60 2. Espaces vectoriels norms, espaces de Banach
Proposition 2.1.3 Soient E et F deux K-espaces vectoriels norms tels que E soit
de dimension finie. Toute application linaire de E dans F est continue.
Dmonstration. On note k kE et k kF les normes respectives de E et F. Soit
d la dimension de E et (e1 , e2 , . . . , ed ) une base de E. Comme toutes les normes
sur E sont quivalentes, on a max1id |xi | kxkE pour une certaine constante
> 0, o les xi sont les composantes de x sur la base choisie. On considre une
application linaire quelconque f de E dans F. Pour tout x E, on a
d d
x = xi ei do f (x) = xi f (ei ).
i=1 i=1
Donc, pour toute suite xn telle que kxn kE 0, on a bien k f (xn )kF 0, ce qui
montre la continuit de f .
2.1. Dfinition des espaces vectoriels norms 61
x = xi0 + y1 .
yk = xik + yk+1 .
62 2. Espaces vectoriels norms, espaces de Banach
On en dduit que
kx zk kE k 0 quand k +.
La suite (zk )kN converge donc vers x et comme M est ferm, on en dduit que
x M, cest--dire B(0, 1) M = B(0, 1). Ceci implique immdiatement par ho-
mothtie que E = M.
Commentaires. Un corollaire immdiat du rsultat prcdent est quun compact
dun espace norm de dimension infinie est ncessairement dintrieur vide. En
dautres termes, un point nadmet aucun voisinage compact (on dit quun tel espace
nest pas localement compact). Un autre corollaire est quune suite borne dans
un espace norm de dimension infinie peut parfaitement navoir aucune valeur
dadhrence et quune fonction continue sur la boule unit ferme na aucune
raison dy tre borne, ou datteindre ses bornes si elle est borne.
Dfinition 2.1.4 Soit A une partie dun espace vectoriel norm (E, k k). On dit
que A est totale si lespace vectoriel engendr par A est dense dans E.
Proposition 2.1.5 Dans un espace vectoriel norm sparable, il existe une partie
totale libre au plus dnombrable.
Dmonstration. Soit (xn )nN une partie dnombrable dense de E. Il existe au moins
un xn non nul. On note xn0 le premier dentre eux. On procde ensuite par rcurrence.
Supposons extraite de la suite (xn )nN une sous-suite libre (xn p )0pq telle que
vect {xi , 0 i nq } = vect {xn p , 0 p q}. Alors, soit vect {xn p , 0 p q} = E,
auquel cas E est de dimension finie et lon a termin, soit il existe n > nq tel que
xn 6 vect {xn p , 0 p q}. On prend pour xnq+1 le premier de ces vecteurs. La
famille (xn p ) pN rpond la question.
Exercice 2.1.1 Soit (en )nN la famille dfinie par en (p) = n,p . Dmontrez que
cette famille est totale dans ` p (N).
Dmonstration. Soit f une application linaire de E dans F qui ne soit borne sur
aucun ouvert. En particulier, elle nest pas borne sur la boule unit et il existe une
suite (xn )nN dlments de E telle que
x E, k f (x)kF CkxkE .
Thorme 2.1.4 Soient ((E j , k k j ))1 jN une famille despaces vectoriels nor-
ms et (F, k k) un espace vectoriel norm. On considre une application N-linaire
de E1 EN dans F. Cette application f est continue de E1 EN dans F
si et seulement si
Dmonstration. Il est trs facile de montrer que L (E, F) est un espace vectoriel.
Vrifions les trois proprits dfinissant une norme.
Supposons que k f kL (E,F) = 0. Ceci implique que f (x) = 0 pour tout x de la
boule unit ferme. Alors, pour tout x 6= 0, y = x/kxkE est dans cette boule, do
Par consquent, f = 0.
Soient f L (E, F) et K, on a
k f (x)kF = | |k f (x)kF .
Il en rsulte que
sup k f (x)kF = | | sup k f (x)kF ,
kxkE 1 kxkE 1
do lhomognit positive.
Enfin, soient f1 et f2 deux lments de L (E, F). On a
do lingalit triangulaire.
Une consquence immdiate des rsultats qui prcdent.
Corollaire 2.1.2 Soit f L (E, F), alors
et k f kL (E,F) est la plus petite constante telle que cette ingalit ait lieu.
On voit donc galement que
k f (x)kF
k f kL (E,F) = sup = sup k f (x)kF .
xE\{0} kxkE kxkE =1
Thorme 2.2.1 Soit (X, ) un espace mesur. Pour tout rel p appartenant
lintervalle [1, +], lespace (L p (X, d), k kL p ) est un espace de Banach.
Dmonstration. Soit une suite de Cauchy ( fn )nN de L (E, F). Daprs la dfi-
nition de la norme sur lespace L (E, F), on en dduit que, pour tout x de E, la
suite ( fn (x))nN est une suite de Cauchy de F. Lespace F tant suppos complet,
il existe, pour tout x de E, un lment de F, que nous notons f (x) tel que
Lunicit de la limite assure trs facilement que f est une application linaire.
Comme la suite ( fn )nN est de Cauchy, elle est borne (proposition 1.3.1). Il existe
donc une constante C telle que
sup k fn (x)kF C.
nN
kxkE 1
sup k fn (x)kF C,
nN
68 2. Espaces vectoriels norms, espaces de Banach
do en passant la limite en n,
k f (x)kF C.
Ceci tant vrai pour tout x de la boule unit de E, en prenant la borne suprieure, il
vient
sup k f (x)kF C.
kxkE 1
Par un passage la limite analogue celui effectu plus haut lorsque m tend vers
linfini, on obtient
sup k fn (x) f (x)kF ,
kxkE 1
Exercice 2.2.1 Soient E et F deux espaces norms tels que F soit complet. On
considre une suite borne ( fn )nN dans L (E, F). On suppose quil existe un
sous-espace vectoriel G de E, dense dans E et une application linaire f de G
dans F telle que
x G, lim fn (x) = f (x).
n
Exercice 2.2.2 Soient E et F deux espaces vectoriels norms tels que E soit un
espace de Banach. Si est une isomtrie de E dans F, alors (E) est ferm dans F.
Les deux thormes suivants sont des consquences importantes du tho-
rme 1.3.3 de Baire. Le premier est le thorme de Banach-Steinhaus ou principe
de la borne uniforme.
Thorme 2.2.4 Soient E et F deux espaces norms avec E complet, et ( f )
une famille quelconque dlements de L (E, F). Supposons que, pour tout x de E,
la famille ( f (x)) soit borne dans F. Alors la famille ( f ) est borne
dans L (E, F).
Dmonstration. Considrons les ensembles F ,p dfinis par
F ,p = {x E tels que k f (x)kF p}.
Ces ensembles F ,p sont des ferms de E en tant quimages rciproques de ferms
par une application continue. Donc les ensembles Fp dfinis par
df \
Fp = F ,p
Dmonstration. Tout dabord, il est clair par unicit de la limite que f est une
application linaire.
Comme pour tout x de E, la suite ( fn (x))nN est convergente par hypothse, elle
est borne dans F. On peut donc lui appliquer le thorme de Banach-Steinhaus.
Par passage la limite dans la borne uniforme, on obtient alors que,
2p0
x B(0, 1) , k f (x)kF ,
et f est donc continue.
Dmontrons maintenant la majoration de la norme de f . Soit x un lment de
la boule unit de E. On peut alors crire
k f (x)kF = lim k fn (x)kF
n
= lim inf k fn (x)kF
n
lim inf k fn kL (E,F) (car kxkE 1).
n
En dautres termes, une application linaire continue bijective entre deux espaces de
Banach est automatiquement un isomorphisme : il nest nul besoin de vrifier que
f 1 est continue. Le thorme de Banach est une consquence facile du thorme
de lapplication ouverte suivant.
f (xk ) y + y0 et f (xk0 ) y0 .
tel que
xn+1 BE (0, 2(n+1) ) et
yn f (xn+1 )
< 2(n+1) .
F
G( f ) = {(x, y) E F; y = f (x)}.
et soit xn une suite de Cauchy pour cette norme. Il sensuit que cest une suite
de Cauchy pour la norme de E et que f (xn ) est une suite de Cauchy dans F. Par
74 2. Espaces vectoriels norms, espaces de Banach
Corollaire 2.3.1 Lensemble U(E) des lments inversibles de L (E) est un ouvert
et lapplication Inv dfinie par
U(E) U(E)
u 7 u1
est continue.
ku u1
0 IdkL (E) < 1.
+
ku1
n Id kL (E) k(un Id)k kL (E)
k=1
+ kun Id kL (E)
kun Id kkL (E) = 1 kun Id kL (E) 0 quand n +.
k=1
Exercice 2.3.1 Dmontrer que lapplication Inv est analytique sur U(E).
appartient U(F ).
3) Soit f0 C (I, E), posons f = A 1 f0 . Calculez A 0 (t) A (t) f (t). Quel
thorme connu a-t-on ainsi redmontr ?
Il est clair que toute valeur propre appartient au spectre. Par contre, le spectre
nest pas toujours rduit aux seules valeurs propres.
En dimension finie, il nexiste quune seule faon de ne pas tre inversible pour
une application linaire. En effet, soit u une application linaire de E dans E, avec
dim E < +. Lalgbre linaire lmentaire dit que
Lapplication u1 est une isomtrie, cest--dire que ku1 (x)k = kxk, donc injective,
mais elle nest pas surjective. Dans ce cas, 0 Sp(u1 ) mais 0 nest pas valeur
propre.
On a aussi le dcalage gauche u2 dfini par
u2 : E E
(xn )nN 7 (yn )nN , yn = xn+1 .
2.3. Inverses et spectre dans L (E) 77
Lapplication u2 est surjective, mais pas injective. Mais cette fois-ci 0 est une valeur
propre.
Proposition 2.3.1 Soient E un espace de Banach sur K et u un lment de L (E).
Le spectre de u est un compact inclus dans la boule ferme de centre 0 et de rayon
kukL (E) .
Dmonstration. En effet, lapplication Lu dfinie par
Lu : K L (E)
7 u Id
est une application continue de K dans L (E). Or, par dfinition de Sp(u), le spectre
est limage rciproque par lapplication continue Lu du ferm L (E) \U(E), donc
le spectre est ferm. De plus, si | | > kukL (E) , crivons
1
u Id = Id u .
Comme Id 1 u B(Id, 1), elle est inversible, et donc u Id aussi, cest--dire
6 Sp(u).
Donc lapplication 7 v(Lu1 (x)) est une fonction entire borne sur C, donc
constante daprs le thorme de Liouville, donc nulle daprs la limite ci-dessus.
On en dduit que Lu1 = 0, ce qui est absurde. Il en rsulte que le spectre de u nest
pas vide.
78 2. Espaces vectoriels norms, espaces de Banach
Attention ! Le corps de base est trs important dans les questions de spectre et ceci
na rien avoir avec la dimension infinie. Pour sen convaincre, il suffit dobserver
quune rotation de R2 dangle non congru 0 modulo a un spectre vide sur R
(ses valeurs propres sont complexes).
Exercice 2.4.1 Dmontrez que si limage de u est de dimension finie, alors u est
compact.
Dmonstration. En effet, si A est une partie borne de E, il existe > 0 tel que A
BE (0, 1). Mais alors ladhrence de u(A) est incluse dans Adh(u(BE (0, 1))) qui
est compacte, do la proposition.
2.4. Oprateurs compacts 79
Ainsi donc, pour tout y de u(A), il existe x A tel que y = u(x) et donc un indice j
tel que
Exercice 2.4.2 Soit (X, d) un espace mtrique compact. On considre sur lespace
C (X, K) des fonctions hlderiennes dexposant ]0, 1] de X dans K, la norme
| f (x) f (y)|
k f k = sup | f (x)| + sup
xX (x,y)X 2 d(x, y)
x6=y
rvle peu utile dans la pratique. Le dual topologique est par contre extrmement
utile dans bien des situations. Dans la suite, lorsque nous dirons simplement dual,
il sagira toujours du dual topologique.
Notons dabord que, daprs la proposition 2.2.1, le dual E 0 de nimporte quel
espace vectoriel norm E, est un espace de Banach.
Ltude et la description de cet espace E 0 donne parfois lieu des problmes
redoutables. Toutefois, dans de nombreux cas, nous verrons quil est possible de
reprsenter trs concrtement le dual dun espace vectoriel norm.
Il existe une forme bilinaire naturelle sur le produit dun espace et de son dual.
Proposition 3.1.1 Soit E un espace vectoriel norm. Alors lapplication h, i
dfinie par
h, i : E 0 E K
df
(`, x) 7 h`, xi = `(x).
est une forme bilinaire continue. On lappelle le crochet de dualit.
Dmonstration. Il est bien clair que nous avons affaire une forme bilinaire sur
E 0 E. De plus, par dfinition de la norme sur E 0 , on a
B (y) : E K
(3.1)
x 7 hB (y), xi = B(y, x)
Dmonstration. Cest trs simple. Tout dabord, il est clair que tout le monde est
bien linaire comme annonc. Comme la forme bilinaire B est continue, il existe
une constante C telle que
kB (y)kE 0 CkykF ,
do la proposition.
3.2. Identification dun dual laide dun espace de Banach 85
En clair, cela signifie que B identifie E 0 F sil existe une constante C > 0 telle
que, pour toute forme linaire continue ` sur E, il existe un lment y de F et un
seul tel que,
Donc la forme bilinaire B est continue et kB (y)k(` p (N))0 = kyk` p0 (N) (en prenant,
0
si p0 est fini, la suite xn = yn |yn | p 2 si yn 6= 0, 0 sinon, et si p0 = +, on choisit
un entier n tel que |yn | kyk` (N) et lon considre la suite de `1 (N) qui vaut
toujours 0, sauf xn = yn /|yn |). Lapplication B est isomtrique, donc injective.
Dmontrons quelle est surjective. Soit une forme linaire continue sur ` p (N).
0
Cherchons un lment y de ` p (N) telle que
Il sagit maintenant de dmontrer dans un premier temps que la suite y = (yn )nN
0
dfinie par (3.4) est bien un lment de ` p (N), puis que B (y) = .
Traitons dabord le cas p = 1. Pour tout entier n, on a
Ils sont bien dans ` p (N), puisquils nont quun nombre fini de termes non nuls
(on ne sait encore rien sur y !). Remarquons que par construction
p 0 1 0
|xr,n | p = |yn | p1 = |yn | p et xr,n yn = |yn | p1 +1 = |yn | p pour tout n r.
Dun autre ct, la forme linaire tant continue sur ` p (N), on a galement
r
0
|yn| p = |(xr )| kk(` p (N))0 kxr k` p (N)
n=0
r 1
p0 p
= kk(` p (N))0 |yn| . (3.5)
n=0
Divisant (3.5) par le dernier terme du membre de droite (sil est non nul, sinon
il ny a rien dmontrer), on en dduit que
r 1 1
p0 p
|yn| kk(` p (N))0 .
n=0
3.2. Identification dun dual laide dun espace de Banach 87
0
Cette ingalit tant vraie pour tout entier r, la suite y appartient bien ` p (N) et
lon a
kyk` p0 (N) kk(` p (N))0 .
Soit enfin x ` p (N) quelconque et notons xk la suite tronque au rang k (i.e.
xk,n = xn si n k, xk,n = 0 si n > k). Il est clair que xk x dans ` p (N) quand
k +. De plus, comme plus haut, B (y)(xk ) = h, xk i. La continuit de et de
B (y) implique que B (y)(x) = h, xi = (x).
0
Commentaire. Lidentification du dual de ` p avec ` p par lintermdiaire de la
forme bilinaire B(y, x) = nN xn yn tant une isomtrie, on a souvent tendance
0
dire par abus de langage que le dual de ` p est purement et simplement ` p et que
le crochet de dualit est simplement la forme bilinaire B elle-mme. Cet abus de
langage ne prsente aucun danger, autant donc sy habituer tout de suite.
Exercice 3.2.1 Soit c0 (N) lespace de Banach dfinie par
df df
c0 (N) = {x = (xn )nN ; lim xn = 0} muni de la norme kxk` (N) = sup |xn |.
n nN
Exercice 3.2.2 Soit s un rel quelconque, on dfinit lespace `2,s (N) par
df s
`2,s (N) = {u = (un )nN ; ((1 + n2 ) 2 un )nN `2 (N)}.
et on le munit de la norme
df
1
2 s 2 2
kuk`2,s (N) = (1 + n ) |un| .
nN
88 3. Dualit dans les espaces de Banach
1) Dmontrez que B1 identifie (`2,s (N))0 `2,s (N) et que B2 identifie (`2,s (N))0
`2,s (N).
2) Exhibez une isomtrie linaire surjective de `2,s (N) dans `2,s (N).
Mentionnons quil existe une topologie sur E 0 dont les suites convergentes sont
exactement celles qui convergent faiblement- au sens prcdent. On lappelle la
topologie faible- sur E 0 . Cest une topologie qui nest pas mtrisable en dimension
infinie. Comme son tude en tant que topologie nest pas cruciale pour la suite
du cours, nous ne lintroduirons pas ici. La notion pratique qui va nous servir est
uniquement celle de convergence faible-.
La convergence faible- apparat comme la convergence simple des formes
linaires vues comme applications de E dans K. Lautre notion que nous connais-
sons dj sur E 0 , la convergence au sens de la norme duale, est la convergence
3.3. Une notion affaiblie de convergence dans E 0 89
Thorme 3.3.1 Soient E un espace de Banach et (`n )nN une suite dlments
de E 0 . Supposons que, pour tout x de E, la suite (h`n , xi)nN converge et dsignons
par h`, xi sa limite. Alors la suite (`n )nN est une suite borne de E 0 , ce qui implique
en particulier que ` appartient E 0 . De plus, on a
Ceci nest quune traduction dans le cadre des formes linaires du thorme de
Banach-Steinhaus 2.2.1. Remarquons que lon ne suppose pas ` E 0 , ce qui
explique que lhypothse nest pas `n * `, mme si lon se retrouve in fine dans ce
cadre. Lingalit peut naturellement tre stricte (chercher un exemple).
Proposition 3.3.1 Soient (xn )nN et (`n )nN deux suites de E et de E 0 , E tant un
espace de Banach. Si `n * ` et kxn xkE 0 alors h`n , xn i h`, xi.
La suite (h`0 m (n) , xm+1 i)nN est une suite borne de K. Il existe donc une
fonction strictement croissante m+1 de N dans N et un lment m+1 de K tels
que
lim h`0 m+1 (n) , xm+1 i = m+1 .
n
Posons (n) = 0 n (n). Comme nous lavons dj vu page 43 lors de la
dmonstration du thorme dAscoli, lapplication est strictement croissante. De
plus, on a h`(n) , x j i j quand n + pour tout j, puisquil sagit pour tout j
dune suite extraite ( partir du rang n = j) dune suite convergente.
Considrons lapplication ` dfinie de {x p , p N} dans K par
`(x p ) = p .
df
Comme |h`(n) , x p ih`(n) , xq i| Mkx p xq kE avec M = supnN k`n kE 0 , passant
la limite on obtient
(on ne sait pas encore que ` est linaire). Do, comme `(x p ) = p , en passant aux
valeurs absolues ou modules,
2.
Par consquent, pour tout n n0 ,
|`(x) `(n) (x)| < ,
cest--dire
x E, h`(n) , xi `(x),
et le thorme est dmontr.
Remarques. Il est toujours vrai que les boules fermes du dual dun espace de
Banach E sont compactes pour la topologie faible-, sans hypothse de sparabilit
sur E, cest le thorme de Banach-Alaoglu. Par contre, si on ne fait pas cette
hypothse de sparabilit, on ne peut pas dire que toute suite borne de E 0 admet
une sous-suite faiblement- convergente. En effet, ces compacts ne sont pas en
gnral mtrisables. On peut montrer que la restriction de la topologie faible-
toute boule du dual dun espace E sparable est une topologie mtrisable, ce qui
montre bien que le thorme 3.3.2 est un cas particulier du thorme de compacit
plus gnral que lon vient de mentionner. Tout ceci nempche bien sr pas la
topologie faible- de ne pas tre mtrisable sur tout le dual en dimension infinie.
`( x + y) = `(x) + `(y).
Une forme sesquilinaire sur E est appele produit scalaire si elle est hermi-
tienne, dfinie, positive, cest--dire vrifie
(x, y) E 2 , f (x, y) = f (y, x) (hermitienne),
x E, f (x, x) R+ (positive),
f (x, x) = 0 x = 0 (dfinie).
Dans les deux cas, un espace vectoriel sur K muni dun produit scalaire est
appel un espace prhilbertien.
Remarques. On note trs souvent un produit scalaire (|) ou (, ) et kxk2 = (x|x).
Un espace prhilbertien rel de dimension finie est appel espace euclidien alors
quun espace prhilbertien complexe de dimension finie est appel espace hermi-
tien. Notons que lon rencontre aussi dans la littrature la convention inverse pour
la dfinition de la sesquilinarit, savoir antilinarit par rapport la premire va-
riable et linarit par rapport la deuxime variable. Les deux conventions ont leurs
avantages et leurs inconvnients, la thorie sous-jacente tant fondamentalement la
mme.
Convention. Par abus de langage et pour ne pas ddoubler les dmonstrations
qui sont identiques dans le cas rel et le cas complexe, on conviendra quune
application antilinaire entre deux espaces vectoriels sur K est une application
linaire ordinaire si K = R et antilinaire au sens ci-dessus si K = C. On prendra
la convention analogue pour les formes sesquilinaires/bilinaires. Ces conventions
sont cohrentes avec le fait que = si R. On notera e et m les parties
relle et imaginaire de .
Exercice 4.1.1 Soit (E, k k) un espace vectoriel norm sur K. Supposons que
x + y
2
x y
2
2 1 2 2
(x, y) E , (kxk + kyk ) =
+
2 2 2
Dmontrez quil existe une forme sesquilinaire telle que lon ait kxk2 = (x|x). Il
est conseill de distinguer le cas o K = R, plus facile, de celui o K = C.
aA
q
Dmonstration. Introduisons les sommes partielles Sq = p=0 x p . Supposons
dabord que la srie n xn soit convergente dans H et notons S = lim Sq sa somme.
Par orthogonalit deux deux des vecteurs, le thorme de Pythagore assure que
q
kx pk2 = kSqk2. (4.1)
p=0
Le membre de droite de lingalit ci-dessus converge vers kSk2 , donc est major
indpendemment de q. Par consquent, la srie termes positifs n kxn k2 est
majore donc converge.
Rciproquement, si la srie n kxn k2 converge, alors on a
q+q0
2
kSq+q0 Sq k = kx pk2
q+1
kx pk2 0 quand q +.
q+1
La suite des sommes partielles est donc une suite de Cauchy et comme H est
complet, elle est convergente.
Enfin, en passant la limite dans lgalit (4.1) ci-dessus, on achve la dmons-
tration du thorme.
Exercice 4.2.1 Soit (xn )nN une suite dlments dun espace de Hilbert H telle
que
kxnk2 < .
n=0
On suppose quil existe un entier N0 tel que, si |n m| N0 , alors xn et xm sont
orthogonaux. Dmontrez qualors la srie n xn est convergente et quil existe une
constante C, ne dpendant que de N0 telle que lon ait
2
xn
C kxn k2 .
nN nN
Thorme 4.2.2 Soit C une partie convexe ferme dun espace de Hilbert H. Pour
tout point x de H, il existe un unique point de C, not pC (x) et appel projection de
x sur C, tel que
kx pC (x)k = inf kx yk.
yC
98 4. Espaces de Hilbert rels et complexes
On utilise nouveau lidentit du paralllogramme pour dire que, pour tout couple
dentiers (n, m), on a
yn + ym
2
kyn ym k2 = 2kx yn k2 + 2kx ym k2 4
x
.
2
La partie C tant convexe, le milieu de yn et de ym appartient aussi C. Ainsi, lon a
Vu la dfinition de la suite (yn )nN , ceci implique que cette suite est de Cauchy.
Lespace H tant de Hilbert, il est complet. Comme la partie C est ferme, elle est
complte et donc la suite (yn )nN converge dans C, ce qui conclut la dmonstration
de ce thorme.
Exercice 4.2.2 Soient C une partie convexe ferme et x un point dun espace de
Hilbert H. Dmontrez que pC (x) est lunique point de C tel que, pour tout point y
de C, on ait
e(x pC (x)|pC (x) y) 0.
Exercice 4.2.3 Soit C une partie convexe ferme dun espace de Hilbert H. D-
montrez que lapplication pC est lipschitzienne de rapport 1.
Presque toutes les proprits importantes des espaces de Hilbert peuvent tre
vues comme des corollaires du thorme 4.2.2 ci-dessus.
Corollaire 4.2.1 Soit F un sous espace vectoriel ferm dun espace de Hilbert H.
Lapplication pF est linaire continue de H dans F et lon a
H = F F et x = pF (x) + pF (x).
4.2. Proprits des espaces de Hilbert 99
e(x pF (x)|y) = 0.
Corollaire 4.2.2 Soit A une partie quelconque dun espace de Hilbert H. Cette
partie A est totale si et seulement si A = {0}.
Exercice 4.2.4 Soit A une partie quelconque dun espace de Hilbert H. Dmontrez
que
(A ) = vect(A).
Dmonstration. Considrons une partie dnombrable totale libre (an )nN . Nous
allons utiliser le procc dorthogonalisation de Schmidt. Rappelons ce procd.
On pose
a0
e0 =
ka0 k
Supposons dfinis des vecteurs (e j )0 jn vrifiant la relation (4.2) et tels que
vect{a0 , , an } = vect{e0 , , en }.
Posons
n
fn+1
en+1 = avec fn+1 = an+1 (an+1 |e j )e j .
k fn+1 k j=0
La vrification de lhypothse de rcurrence est immdiate. Le thorme est ainsi
dmontr.
Thorme 4.2.4 Soit H un espace de Hilbert sparable et (en )nN une base hil-
bertienne de H. Lapplication I dfinie par
I : H `2 (N)
x 7 ((x|en ))nN
est une bijection linaire isomtrique. En particulier, on a les identits de Bessel et
de Parseval
x = (x|en )en et kxk2 = |(x|en )|2 .
nN nN
La srie termes positifs nN |(x|en )|2 est majore, donc convergente, cest--dire
que I (x) appartient `2 (N).
Par le thorme 4.2.1, la srie nN (x|en )en converge dans H. Soit x sa somme.
Daprs le calcul prcdent, (x xN |en ) = 0 pour tout n N. Passant la limite
quand N +, on en dduit que x x appartient lorthogonal de la base
hilbertienne, lequel est rduit au vecteur nul puisquil sagit dune partie totale.
Ceci nous donne lidentit de Bessel, puis celle de Parseval en rappliquant le
thorme 4.2.1.
Linjectivit de lapplication I et le fait quil sagit dune isomtrie rsultent
simplement de lidentit de Parseval. Sa surjectivit dcoule du thorme 4.2.1. Le
thorme 4.2.3 est ainsi dmontr.
Remarques. Une consquence facile du thorme prcdent est que
Le thorme 4.2.3 peut tre interprt comme signifiant que, dun certain point
de vue, il ny a quun seul espace de Hilbert sparable de dimension infinie, cest
`2 (N). Par contre, cet espace a plusieurs ralisations concrtes comme L2 (, dx)
par exemple. On peut galement trouver des espaces de Hilbert non sparables,
mais leur utilit dans les applications est pour le moins limite. Le concept de base
hilbertienne sadapte galement au cas non sparable.
Il est important de ne pas confondre base hilbertienne et base algbrique. La
dcomposition dun vecteur sur une base algbrique ne fait intervenir quun nombre
fini de vecteurs de cette dernire. Lexistence de bases algbriques pour les espaces
de dimension infinie dpendant de laxiome du choix, il est en gnral impossible
dexhiber explicitement une base algbrique. Par contre, dans le cas dune base
hilbertienne, la dcomposition dun vecteur utilise une infinit de termes, et il sagit
dune galit avec une srie convergente. On exhibe galement trs explicitement
des bases hilbertiennes dans les espaces hilbertiens courants.
On peut donner comme application de lexistence de base hilbertienne le
thorme suivant.
Dmonstration. Daprs le thorme 2.4.2, on sait que toute limite de suite dop-
rateurs compacts, donc en particulier de rang fini, est un oprateur compact.
Rciproquement, soit A un oprateur compact. Limage A(B) par A de la
boule unit B de H est une partie totale de im A. Comme ladhrence de A(B) est
102 4. Espaces de Hilbert rels et complexes
df
compacte, lespace H0 = im A est un espace de Hilbert sparable. Il admet donc
une base hilbertienne. Dsignons par pn la projection orthogonale sur lespace
engendr par les n premiers vecteurs de cette base. Nous allons dmontrer que
df
la suite des oprateurs An = pn A (qui sont videmment de rang fini) converge
vers A.
Soit un rel strictement positif. Loprateur A tant compact, il existe une
famille finie (x j )1 jN telle que
x B , j {1, , N } / kAx Ax j k <
3
Donc, pour tout x appartenant la boule unit, on a
2
kAn x Axk sup kAn x j Ax j k +
1 jN 3
Mais, pour tout indice j, lim pn (Ax j ) = Ax j . Donc, il existe un entier n0 tel que
n
n n0 sup kAn x j Ax j k <
1 jN 3
Dmonstration. Le fait que k (x)kH 0 kxk, donc en particulier que (x) est une
forme linaire continue, rsulte de lingalit de Cauchy-Schwarz. Le fait que
est antilinaire est vident. De plus,
D x E
(x), = kxk,
kxk
y H, `(y) = (y|x).
Il faut galement noter que le thorme de Riesz implique que la norme duale
sur H 0 est une norme hilbertienne, ce qui nest aucunement vident a priori. En
particulier, on a un produit scalaire naturel sur H 0 dfini par
B : L2 (X, d) L2 (X, d) KZ
( f , g) 7 f (x)g(x) d(x)
X
Be : L2 (Rd , (1 + | |2 )s d ) L2 (Rd , (1 + | |2 )s d ) KZ
( f , g) 7 f ( )g( )d
Rd
df df
Ms ( f )( ) = (1 + | |2 )s f ( ) et Ms ( f )( ) = (1 + | |2 )s f ( ).
4.3. Dualit des espaces de Hilbert 105
do le corollaire.
Dans un espace de Hilbert, on dispose dune nouvelle notion de convergence
affaiblie.
Dfinition 4.3.1 Soient (xn )nN une suite dlments dun espace de Hilbert H
et x un lment de H. On dit que la suite (xn )nN converge faiblement vers x et lon
note xn * x si et seulement si
Comme pour la convergence faible- sur un dual, il existe une topologie sur H,
dite topologie faible, dont les suites convergentes sont exactement celles dfinies
ci-dessus. Pour la mme raison, nous ntudierons pas cette topologie faible.
La dfinition ci-dessus peut tre reformule par
xn * x (xn ) * (x),
Thorme 4.3.2 Soient (xn )nN une suite dlments dun espace de Hilbert H
et x un lment de H. On a alors
Le deuxime point est ainsi dmontr. Le troisime point est encore un corollaire du
thorme de Banach-Steinhaus. En effet, nous avons not que xn * x est quivalent
(xn ) * (x), ce qui implique que (xn ) est borne dans H 0 . Or, le thorme de
reprsentation de Riesz dit que est un isomtrie.
Exemple. Soit H un espace de Hilbert de dimension infinie et sparable. Consid-
rons une base hilbertienne (en )nN de H. Daprs le thorme 4.2.4, pour tout x
de H, la suite ((x|en ))nN appartient `2 (N). Donc elle tend vers 0. Voil un
exemple de suite faiblement convergente vers 0 qui ne converge pas au sens de la
norme vers 0 puisque ken k = 1.
Proposition 4.3.1 Soient (xn )nN et (yn )nN deux suites dlments de H telles
que
xn x et yn * y quand n +.
Alors, on a (xn |yn ) (x|y).
Ce nest quune rcriture dans le cadre hilbertien de la proposition 3.3.1.
Exercice 4.3.1 Trouvez deux suites (xn )nN et (yn )nN dlments de H telles que
Exercice 4.3.2 Dmontrez que, dans un espace de Hilbert H, si une suite (xn )nN
tend faiblement vers x, alors,
Thorme 4.3.3 Soit (xn )nN une suite borne dun espace de Hilbert spa-
rable H, on peut en extraire une sous-suite faiblement convergente.
Thorme 4.3.4 Soit H un espace de Hilbert, ` une forme linaire continue sur H
et a une forme bilinaire continue sur H telle quil existe > 0 tel que
v H, a(u, v) = `(v),
admet une solution unique. De plus, lapplication qui ` associe u est linaire
continue de H 0 dans H.
on en dduit que
donc (vn )nN est de Cauchy dans H. Il existe donc v H tel que vn v dans H,
ce qui implique que A(vn ) A(v) = ` dans H 0 . En dautres termes, on vient de
108 4. Espaces de Hilbert rels et complexes
(Ax|By) = (A1 (Ax)|y) = (x|y) dune part, et dautre part (Ax|By) = (x|A By),
do A B = Id. De mme
Dmonstration. Soit A un oprateur compact et (xn )nN une suite qui tend faible-
ment vers x. Daprs la proposition 4.4.1 applique A , on a Axn * Ax. Dun
autre ct, la suite (xn )nN est borne, donc la suite (Axn )nN est relativement
compacte. Soit (n p ) pN une sous-suite telle que Axn p y. Clairement, comme a
fortiori Axn p * y, on a y = Ax, ce qui montre que la suite (Axn )nN na quune
seule valeur dadhrence. Comme elle est dans un compact, elle converge vers
cette valeur dadhrence.
ii) Lespace vectoriel ker (A j Id) est de dimension finie si j est non nul.
iii) Il existe une base hilbertienne (e j ) jN de H forme de vecteurs propres et
lon a
x H, Ax = j (x|e j )e j et kAxk2 = j2 |(x|e j )|2 ,
jN jN
En effet, sil nexistait aucune telle constante C, on construirait une suite (xn )nN
telle que
1
kxn k = 1 et kAxn xn k .
n
Extrayant si besoin est une sous-suite, on peut aussi bien supposer quil existe
x B(0, 1) tel que xn * x. Comme A est compact, on en dduit que Axn Ax au
sens de la norme. Par consquent
Soit alors un lment du spectre non nul qui nest pas une valeur propre. Daprs
ce qui prcde, appartient aussi au spectre et nest pas une valeur propre. Par
consquent,
H = (ker (A Id)) = im(A Id),
cest--dire que limage de A Id est dense. Comme elle est ferme, on en dduit
que A Id est surjective, donc que nappartient pas au spectre, contradiction.
Les lments non nuls du spectre de A sont donc tous des valeurs propres.
Notons enfin que si 1 6= 2 sont deux valeurs propres distinctes, les vecteurs
propres x1 , x2 qui leur sont associs sont orthogonaux. En effet
Rsumons ce que nous avons montr jusqu prsent. Le spectre de A est form
de 0 et de valeurs propres relles non nulles, associes des vecteurs propres
deux--deux orthogonaux. Comme H est sparable, ceci implique que les valeurs
propres sont en nombre au plus dnombrable. Soit il nen existe quun nombre
fini non nulles, et on a termin le premier point, soit on en a une suite ( j ) jN .
Donnons nous (e j ) jN une suite de vecteurs propres orthonorms correspondants.
La suite (e j ) jN tend faiblement vers 0. Comme A est compact, la suite (Ae j ) jN
tend vers 0 en norme. Mais comme Ae j = j e j , on en dduit que
| j | ke j k 0.
Par dfinition, il existe une suite (xn )nN dlments de la sphre unit telle que
lim (Axn |xn ) = 0
n
On peut trouver un x dans B(0, 1) et une sous-suite tels que xn p * x. Comme
loprateur A est compact, on en dduit que Axn p Ax. Daprs la proposition 4.3.1,
il vient alors
(Axn p |xn p ) (Ax|x) = 0 .
Bien sr, x 6= 0 puisque 0 est strictement positif. De plus, si lon avait kxk < 1,
alors on aurait x x 0
A = > 0 ,
kxk kxk kxk2
Remarque. Mis part 0, le spectre dun oprateur ne contient donc que des valeurs
propres. La valeur 0 peut ou peut ne pas tre valeur propre. Si elle ne lest pas,
alors A est injective. Si elle lest, sa multiplicit peut prendre toutes les valeurs
possibles : nimporte quel nombre entier strictement positif si A nest pas injective,
mais ker A est de dimension finie, et + si ker A est de dimension infinie.
Chapitre 5
Les espaces L p
Dfinition 5.1.1 Soit X un ensemble. On dit quune partie M P(X) est une
-algbre (ou tribu) sur X si elle satisfait les trois proprits
Lensemble X appartient M ,
Si A M alors X \ A M .
Si (A j ) jN est une famille dnombrable dlments de M , alors
+
Aj M .
[
j=1
Le couple (X, M ) est appel espace mesurable. Les lments de M sont appels
les ensembles mesurables de X.
Noter les analogies et les diffrences entre cette notion et celle de topologie
introduite au chapitre 1. Les proprits suivantes des ensembles mesurables sont
lmentaires : 0/ M , nj=1 A j M , +
j=1 A j M et j=1 A j M .
n
tant donne une partie A de P(X), il existe une plus petite -algbre qui
contient A . On lappelle la -algbre engendre par A . Elle est construite sim-
plement, mais de faon pas trs explicite, en prenant lintersection de toutes les
-algbres qui contiennent A . Dans le cas o X est aussi un espace topologique,
muni dune topologie O, la -algbre B engendre par les ouverts de O est ap-
pele tribu borlienne. Ses lments sont des borliens. Il est facile de voir que
116 5. Les espaces L p
Par consquent,
et lon a gagn si lon montre que f 1 (]a, +]) est mesurable. Or,
[a + 1/n, +] do f 1 (]a, +]) = f 1 ([a + 1/n, +])
[ [
]a, +] =
n=1 n=1
qui est une union dnombrable densemble mesurables. On note alors que tout
ouvert V de R est runion dnombrable dintervalles ouverts, V = n=1 ]an , bn [,
donc f 1 (V ) = n=1 f 1 (]a , b [) est mesurable. Pour conclure, on remarque
n n
que les ouverts de R ne sont rien dautre que les ouverts de R, ventuellement
complts par {} ou {+}. Or, prenant a = +, on sait dj que f 1 ({+})
est mesurable, et comme f 1 ({}) = f 1 (R) \ nN f 1 ([n, +]), lensemble
f 1 ({}) est aussi mesurable.
5.1. Rappels sur la thorie de la mesure et lintgration 117
Remarque. Pour les fonctions valeurs dans R, il suffit de montrer que pour tout
a R, lensemble f 1 ([a, +[) (ou f 1 (]a, +[)) est mesurable.
Les fonctions mesurables ont de nombreuses proprits de stabilit.
Dmonstration. ii) est vident. iii) dcoule de i) et de ii). Pour montrer i), il suffit
de remarquer que tout ouvert de R2 est runion dnombrable de rectangles ouverts
et que ( f , g)1 (]a, b[ ]c, d[) = f 1 (]a, b[) g1 (]c, d[).
Une consquence utile de ii) est que si f est mesurable valeurs dans R, alors
| f |, f+ et f sont mesurables valeurs dans R+ = [0, +]. De mme, si f est me-
surable valeurs dans C, alors | f |, e f+ , e f , m f+ et m f sont mesurables
valeurs dans R+ . Remarquons que lensemble des fonctions mesurables valeurs
dans un espace vectoriel topologique est un espace vectoriel.
Une autre caractristique de la mesurabilit des fonctions est sa trs grande
stabilit par passage la limite, la grande diffrence de la continuit.
En dautres termes, une fonction tage est une fonction mesurable qui ne prend
quun nombre fini de valeurs. Il est facile de voir que toute fonction tage scrit
sous la forme f = m i=1 i 1Ei o les i sont les valeurs prises par f , les ensembles
Ei forment une partition mesurable de X et 1Ei dsigne la fonction caractristique
de Ei , qui vaut 1 en tout point de Ei et 0 ailleurs. Rciproquement, toute fonction
qui peut scrire sous cette forme (sans que les Ei ne forment ncessairement
une partition de X) est une fonction tage. Les fonctions tages permettent
dapprocher les fonctions mesurables gnrales.
Lemme 5.1.1 Soit f une fonction mesurable de X valeurs dans R+ . Il existe une
suite croissante de fonctions tages valeurs dans R+ qui converge simplement
vers f .
(2n )2 1
df j
fn = 1 h j j+1 h + 2n 1 f 1 ([2n ,+]) .
j=0 2n f 1 2n , 2n
Il est clair quil sagit de fonctions tages. Les valeurs que peut prendre fn vont de
0 2n par incrments de 1/2n . Si x est tel que f (x) est fini, alors il existe n0 tel que
pour tout n n0 , on peut encadrer f (x) par de telles valeurs, cest--dire quil existe
un unique 0 j (2n )2 1 tel que j/2n f (x) < ( j + 1)/2n . Par consquent, on
a pour tout n n0 , 0 f (x) fn (x) 1/2n . Donc fn (x) f (x) et fn (x) f (x).
Si f (x) = +, alors trivialement fn (x) f (x), et comme x f 1 ([n, +]) pour
tout n, fn (x) = 2n f (x).
Il reste montrer quil sagit dune suite croissante. Si f (x) = +, cest clair
daprs ce qui prcde. Si f (x) est fini, alors il existe n0 tel que pour tout n n0 ,
f (x) 2n auquel cas fn (x) = 2n est croissante. Puis pour n n0 + 1 il existe
0 j (2n )2 1 tel que j/2n f (x) < ( j + 1)/2n . On a alors fn (x) = j/2n . Si
2 j/2n+1 f (x) < (2 j + 1)/2n+1 , alors fn+1 (x) = 2 j/2n+1 = fn (x), par contre si
(2 j + 1)/2n+1 f (x) < (2 j + 2)/2n+1 , alors fn+1 (x) = (2 j + 1)/2n+1 > fn (x).
Dans les deux cas, on a bien fn+1 (x) fn (x).
5.1. Rappels sur la thorie de la mesure et lintgration 119
Remarque. Si f est de plus borne, alors il est clair que la suite fn converge
uniformment vers f .
Dfinition 5.1.4 Soit (X, M ) un espace mesurable. On appelle mesure positive sur
M toute application de M valeurs dans [0, +], dnombrablement additive,
cest--dire telle que pour toute famille dnombrable (A j ) jN dlments disjoints
de M , on ait
+
[ +
A j = (A j ),
j=1 j=1
et telle quil existe A M tel que (A) < +. Le triplet (X, M , ) est appel
espace mesur.
Thorme 5.1.1 Il existe une mesure positive sur une -algbre M de Rd note
Ld telle que
i) M contient les borliens.
ii) Pour tout pav P, Ld (P) = vol P.
iii) La mesure Ld est invariante par translation, i.e., pour tout A dans M et
tout x dans Rd , A + x M et Ld (A + x) = Ld (A).
iv) Si est une mesure de Borel positive invariante par translation et finie sur
tout compact, alors il existe c 0 telle que (A) = cLd (A) pour tout borlien A.
R R
ii) si f1 f2 alors ARf1 d A f2 Rd ;
iii) Rpour tout 0, RA f d =R A f d et
iv) A ( f1 + f2 ) d = A f1 d + A f2 d. R
De plus, f fixe, on a videmment que f (A) = A f d est une mesure
positive sur X. Nous pouvons maintenant dfinir lintgrale de Lebesgue dune
fonction mesurable valeurs dans R+ .
Dfinition 5.1.6 Soit f une fonction mesurable de X dans R+ . On appelle int-
grale de f sur A la quantit
Z Z
f d = sup s d; s fonction tage valeurs dans R+ , s f .
A A
Par dfinition, cette intgrale est un lment de R+ . Elle satisfait visiblement les
proprits i) iii) et la nouvelle dfinition concide avec la dfinition prcdente
quand f est une fonction tage valeurs dans R+ .
Dans le cas
R
o X = Rd et = Ld est la mesure de Lebesgue, on note lintgrale
simplement A f dx.
Toute la puissance de lintgrale de Lebesgue tient au thorme absolument
remarquable suivant, le thorme de convergence monotone de Lebesgue.
Thorme 5.1.2 Soit ( fn )nN une suite croissante de fonctions mesurables sur X
valeurs dans R+ . Cette suite converge simplement vers une fonction mesurable f
et lon a Z Z
fn d f d quand n +.
X X
En = {x X; fn (x) s(x)}.
existe n0 tel que x En pour tout n n0 . Par consquent, on vient de montrer que
X = nN En . Or fn fn 1En , donc
Z Z Z
fn d fn d s d = s (En ),
X En En
soit Z Z
lim fn d s (X) = s d.
n X X
Prenant dabord la borne suprieure du membre de droite sur tous les < 1, puis
sur toutes les fonctions s, on obtient le thorme.
Remarque. En particulier, on peut appliquer le thorme de convergence monotone
la suite
R
de fonctions
R
tages
R
construite au Lemme 5.1.1. Ceci implique dailleurs
que X f1 d + X f2 d = X ( f1 + f2 ) d, i.e., la proprit iv).
Lemme 5.1.2 (de Fatou) Soit ( fn )nN une suite de fonctions mesurables de X
dans R+ . On a Z Z
(lim inf fn ) d lim inf fn d .
X n n X
On pose alors
Z Z Z Z Z
f d = (e f )+ d (e f ) d + i (m f )+ d i (m f ) d.
X X X X X
(faire bien attention que le membre de gauche na de sens que pour les fonctions
intgrables, alors que le membre deRdroite est
dfini pour toute fonction
R mesu-
rable). En effet, soit R tel que X f d = ei X f d. Il vient X f d =
R
R i R i
R i
R
X e f d = X e(e f ) d X |e f | d = X | f | d.
Le thorme de convergence domine de Lebesgue qui suit est lun des plus
importants en analyse.
Thorme 5.1.3 Soit ( fn )nN une suite de fonctions mesurables sur X valeurs
dans C qui converge simplement
et telle quil existe une fonction g sur X valeurs dans R+ intgrable telle que
lon ait
x X, | fn (x)| g(x),
alors f est intgrable et lon a
Z
| fn f | d 0 quand n +.
X
En particulier, Z Z
fn d f d.
X X
Dmonstration. Cest une consquence immdiate du lemme de Fatou. On sait que
f est mesurable et la majoration uniforme des fn par g montre quelle est intgrable.
Comme | fn f | 2g, on voit que 2g| fn f | 0 et limn+ (2g| fn f |) = 2g.
Par le lemme de Fatou, il vient
Z Z Z Z
2g d lim inf (2g | fn f |) d = 2g d lim sup | fn f | d .
X n+ X X n+ X
124 5. Les espaces L p
R
Comme X 2g d < +, on en dduit que
Z
lim sup | fn f | d 0,
n+ X
et une suite positive dont la limite suprieure est ngative tend bien sr vers 0. On
remarque ensuite que
Z Z Z Z
f d f d = ( f f ) d | fn f | d 0.
n n
X X X X
Proposition 5.1.4 La relation dgalit -presque partout est une relation dqui-
valence sur lensemble des fonctions mesurables.
dune mme classe dquivalence sont indiscernables au sens suivant : si F est une
fonction continue de C dans R et si f g, alors
Z Z
F f d = F g d.
X X
R R
En effet, X (F f F g) d = N (F f F g) d (N) supN |F f F
g| = 0 avec la convention 0 = 0. De telles quantits intgrales ne dpendent
donc que de la classe dquivalence, et non pas dun reprsentant particulier de
cette classe. Elles passent au quotient par la relation dquivalence, cest--dire
sont en fait dfinies sur lensemble des classes dquivalence modulo lgalit
-presque partout.
Convention importante. On peut en gnral sans grand danger confondre une
fonction mesurable sur X et sa classe dquivalence modulo lgalit -presque
partout, et lon parle couramment de fonction , alors que lobjet dont on parle
est en ralit une classe dquivalence. Cet abus de langage permet dviter une
certaine lourdeur, il est pratiqu de faon quasi-systmatique mais il convient de
garder en arrire-plan de son esprit que cest bien un abus de langage. En effet,
dans certaines situations trs particulires, il peut advenir que lon soit contraint
de considrer non pas une classe dquivalence, mais un de ses reprsentants. Ce
ne sera pas le cas dans ce cours. Une autre facette de cette convention est que
lon identifie systmatiquement les fonctions continues leur classe dquivalence
modulo lgalit -presque partout. Cest en ce sens que lon pourra ventuellement
parler dinjection de lespace des fonctions continues dans un espace de type L p
(au moins pour certaines mesures).
Remarque tout aussi importante. Le lemme de Fatou et les thormes de conver-
gence monotone et domine restent valables si lon remplace les diverses limites et
majorations ponctuelles par des limites et des majorations -presque partout.
Lingalit de Hlder joue un rle crucial dans la thorie des espaces L p . Dans
toute la suite du cours, nous prendrons la convention suivante :
df p df df
Si p ]1, [, p0 = , si p = 1, p0 = +, et si p = + , p0 = 1.
p1
Lemme
R
5.1.3 Soit f une fonction mesurable sur X valeurs dans R+ telle que
X f d = 0. Alors f = 0 -presque partout.
126 5. Les espaces L p
1/p 0 1/p0
Dmonstration. Soit A = X f p d et B = X g p d
R R
. Si A = 0, alors
f = 0 -presque partout, donc f g aussi et lingalit est vrifie. Si A > 0 et
B = +, il ny a rien dmontrer. Plaons-nous donc dans le cas o 0 < A, B < +
et posons F = f /A et G = g/B. Il vient immdiatement
Z Z
p 0
F d = G p d = 1.
X X
Pour tout x X tel que 0 < F(x) < + et 0 < G(x) < +, on pose
s = p ln F(x) et t = p0 ln G(x).
cest--dire
1 1 0
F(x)G(x) F(x) p + 0 G(x) p .
p p
Cette ingalit reste trivialement vraie si au moins un de ses termes vaut 0 ou +.
Lintgrant sur X, on obtient
1 1
Z Z Z
0
FG d F p d + G p d = 1
X p X p0 X
Commentaires. Remarquons que chacun des termes de cette ingalit peut prendre
la valeur +.
Une consquence importante de lingalit de Hlder est lingalit de Min-
kowski.
La signification de la quantit k f kL (X,d) quand elle est finie est que | f | ne peut
dpasser strictement cette valeur que sur un ensemble de mesure nulle, mais que | f |
dpasse toute valeur qui lui est strictement infrieure sur un ensemble de mesure
strictement positive. Quand elle est infinie, | f | prend des valeurs aussi grandes
que lon veut sur des ensembles de mesure strictement positive. Cest pourquoi on
lappelle aussi la borne suprieure essentielle de | f |, sup ess | f |. Il est facile de voir
que quand S f nest pas vide, k f kL (X,d) S f et que | f (x)| -presque partout
si et seulement si k f kL (X,d) .
k f kL p (X,d) < +.
Cette fonction est bien dfinie -presque partout comme srie termes positifs
et prend ses valeurs dans [0, +]. De plus, cest une limite ponctuelle de fonc-
tions mesurables, elle est donc mesurable. Comme kgkL p (X,d) k 2
k=0 2
(Minkowski + Fatou), g appartient en fait L p (X, d). En particulier g est finie
-presque partout.
Par consquent, il existe un ensemble -ngligeable N tel que g(x) < + si
x 6 N et pour x en dehors de cet ensemble la srie
u(x) = ( fnk+1 fnk )(x)
k=0
est absolument convergente. Elle dfinit donc une fonction mesurable et, comme
|u(x)| g(x), appartenant L p (X, d). Pour conclure, il suffit de montrer que
fnk (u+ fn0 ) dans L p (X, d) quand k +. Or fnk fn0 = k1 l=0 ( f nl+1 f nl )(x),
donc fnk (u + fn0 ) 0 -presque partout. De plus, | fnk (u + fn0 )| p (|u| +
|g|) p avec u et g dans L p (X, d). Le thorme de convergence domine de Le-
besgue montre donc que k fnk (u + fn0 )kL p (X,d) 0 quand k +.
Le cas p = + est plus simple. Soit Ak et Bm,n les ensembles sur lesquels
| fk (x)| > k fk kL (X,d) et | fm (x) fn (x)| > k fm fn kL (X,d) respectivement. Ces
ensembles sont de mesure nulle et sont en nombre dnombrable. Par consquent,
leur runion E est de mesure nulle. En dehors de E, les suites fn (x) sont de Cauchy
dans R ou C et bornes par sup k fk kL (X,d) . Elles y convergent donc vers une
fonction f borne par sup k fk kL (X,d) . Si on dfinit f (x) = 0 pour x E, alors
f L (X, d) et k fn f kL (X,d) 0 par construction.
Remarque. Quand X = N et est la mesure de comptage, alors L p (X, d) = ` p
que lon retrouve donc comme cas particulier.
On dduit facilement de lingalit de Hlder le
5.1. Rappels sur la thorie de la mesure et lintgration 129
Corollaire 5.1.2 Soient (X, ) un espace mesur, p [1, +], f une fonction
0
de L p (X, d) et g une fonction de L p (X, d). Alors, le produit f g appartient
L1 (X, d) et Z
| f g|d k f kL p kgkL p0 .
X
On en dduit aussi facilement le corollaire suivant.
Corollaire 5.1.3 Soient p et q deux lments de [1, +] tels que
1 1
+ 1
p q
et dfinissons r [1, +] par
1 1 1
= +
r p q
Alors lapplication
L p Lq Lr
( f , g) 7 f g
est une application bilinaire continue.
Dmonstration. Le rsultat est vident si p = q = r = +. Sinon on peut supposer
que p < + et lon applique lingalit de Hlder avec s = p/r. Il vient
Z
| f g|r d k f krL p kgkrLq ,
X
Thorme 5.1.5 Soient 1 p < + et ( fn )nN une suite de fonctions de L p (X, d).
Si, pour -presque tout x de X,
et sil existe une fonction g de L p (X, d) telle que, pour -presque tout x de X, on
ait
| fn (x)| g(x),
alors, on a
f Lp et lim k fn f kL p = 0.
n
130 5. Les espaces L p
Corollaire 5.1.4 Lespace L (X, d) L p (X, d) est dense dans L p (X, d).
fn = 1| f |n f .
Comme une fonction de L p est finie -presque partout, il est clair que, pour presque
tout x, on a
lim fn (x) = f (x).
n
De plus, on a clairement lingalit
pour p < + et Z
sup ess f = sup f g d
g0,kgkL1 1 X
5.1. Rappels sur la thorie de la mesure et lintgration 131
pour p = +.
Soit maintenant f valeurs complexes et appartenant L p , alors
Z
k f kL p = sup f g d .
kgk 0 1 X
Lp
(E ) > 0.
fn = 1En { f n} f .
On a Z
fnp d (En )n p < +,
X
donc fn appartient L p . On peut alors dfinir
pp0
gn = 1En { f n} k fn kL p fnp1
(le premier facteur dans lexpression de gn tant inutile pour p > 1). Il est galement
0
clair que gnp = k fn kp p
L p f n pour p > 1 et gn = 1En { f n} pour p = 1, do kgn kL p0 =
1 (au moins pour n assez grand dans le deuxime cas).
132 5. Les espaces L p
p
0
La dfinition des fonctions fn et gn montre que f gn = fn gn = k fn kL pp fnp , donc
pp0 p pp0
Z Z
f gn d = fnp d k fn kL p = k fn kL p = k fn kL p .
X X
On en dduit que
Z Z p
fnp d sup f g d .
X X
g0,kgk
L p0 1
do le lemme.
Noter les prcautions prises dans le cas positif pour prendre en compte la
possibilit que les intgrales prennent la valeur +. Si lon part directement de
p
0
f L p , f positive, il suffit de prendre tout de suite g = k f kL pp f p1 . Mais on
dmontre alors quelque chose de strictement plus faible.
Nous rappelons maintenant sans dmonstration quelques thormes utiles.
Thorme 5.1.7 (de drivation sous le signe somme) Soient (X, ) un espace
mesur, un ouvert de Rd et f une application mesurable de X dans K.
Si, pour presque tout x de X, la fonction
z 7 f (z, x)
5.1. Rappels sur la thorie de la mesure et lintgration 133
x 7 f (z, x) et x 7 Dz f (z, x)
alors lapplication Z
z 7 f (z, x) d(x)
X
est diffrentiable sur et lon a
Z Z
D f (z, x) d(x) = Dz f (z, x) d(x).
X X
Thorme 5.1.8 (de Fubini positif) Soient (X1 , 1 ) et (X2 , 2 ) deux espaces me-
surs -finis et F une fonction mesurable positive de X1 X2 dans [0, +]. On a
Z Z Z
F(x1 , x2 ) d1 (x1 ) d2 (x2 ) = F(x1 , x2 ) d2 (x2 ) d1 (x1 )
X1 X2 X X
Z 1 Z 2
= F(x1 , x2 ) d1 (x1 ) d2 (x2 ).
X2 X1
Notons quune bonne partie de la difficult que nous ludons ici rside dans la
dfinition de la mesure produit 1 2 et dune -algbre adquate sur X1 X2 .
En appliquant ce thorme, on rsout lexercice suivant.
Exercice 5.1.1 Soit f une fonction mesurable sur un espace mesur (X, ). On a
Z +
k f kLp p = p p1 (| f | > )d .
0
Thorme 5.1.9 (de Fubini) Soient (X1 , 1 ) et (X2 , 2 ) deux espaces mesurs
-finis et F une fonction mesurable sur X1 X2 . Si la fonction F appartient
L1 (X1 X2 , d1 d2 ), alors
i) Pour presque tout point x1 de X1 , la fonction F(x1 , ) appartient L1 (X2 , d2 ),
la fonction X2 F(x1 , x2 ) d2 (x2 ) appartient L1 (X1 , d1 ) et
R
Z
F(x , x ) d (x ) kFkL1 (X1 X2 ,d1 d2 ) .
1 2 2 2
X2 L1 (X1 ,d1 )
134 5. Les espaces L p
Cette forme linaire est continue sur L2 (X, d ), car par lingalit de Cauchy-
Schwarz,
Z 1/2 Z 1/2
|`( f )| f 2 d d
X X
Z 1/2
f 2 d ((X))1/2 = k f kL2 (X,d ) ((X))1/2 .
X
= r + s . (5.2)
ce qui donne
Z Z k+1
(1 gk+1 ) d = gi d.
AR A i=1
alors que || est une mesure positive finie. Ceci conduit la dcomposition de
Jordan dune mesure relle, en posant
1 1
+ = (|| + ) et = (|| ) si bien que = + et || = + + .
2 2
Les mesures + et sont deux mesures positives finies appeles variations
positive et ngative de . Une mesure complexe se dcompose en parties relle et
imaginaire qui toutes deux admettent une dcomposition de Jordan, soit au total
quatre mesures positives finies. Vu les considrations prcdentes, le thorme de
Radon-Nykodym reste vrai pour de telles mesures.
Pour clore cette section, nous allons dfinir quelques espaces fonctionnels, les
espaces L p locaux. Ici, X sera un espace mtrique -compact muni de la tribu
borlienne et une mesure de Borel positive finie sur tous les compacts de X (une
telle mesure est appele mesure de Radon), donc -finie.
p
Dfinition 5.1.11 Lespace not Lloc (X, d) des fonctions localement L p sur X
est lensemble des fonctions mesurables f sur X telles que, pour tout compact K
de X, on ait
f L p (K, d).
p
Remarque. Attention, Lloc (X, d) nest pas un espace norm de faon naturelle,
au sens o sa topologie naturelle, que nous ne prcisons pas ici, nest pas en
gnral engendre par une norme, sauf si X est lui-mme compact, auquel cas
p
Lloc (X, d) = L p (X, d).
q p
Proposition 5.1.5 Si p q, alors Lloc (X, d) est inclus dans Lloc (X, d).
Remarque. Il est bien clair que cette notion ne dpend que de la classe dqui-
valence de f modulo lgalit -presque partout, et non pas du reprsentant f
choisi pour tester lannulation sur un ouvert. Le support dune fonction localement
intgrable est donc toujours un ferm, le plus grand ouvert en question existant
bien, cest la runion de tous les ouverts o f sannule -presque partout.
On peut caractriser le support dune fonction f laide dintgrales. Pour cela,
on suppose que X est localement compact, cest--dire que chaque point est le
centre dune boule ferme qui est compacte. Cest naturellement le cas dans Rd .
Proposition 5.1.6 Soit f une fonction de Lloc 1 (X, d). Un point x de X nappartient
pas au support de f si et seulement il existe un rel r > 0 tel que, pour toute fonction
mesurable borne nulle en dehors de la boule B(x, r), on ait
Z
f d = 0.
X
Dmonstration. Si x / Supp f , il existe r > 0 tel que f|B(x,r) = 0 -presque partout.
Rciproquement, soit x ayant la proprit de lnonc. On peut choisir r assez
petit pour que K = B(x, r) soit compact. Pour toute fonction borne et nulle en
dehors de K, f est donc intgrable sur X et
Z Z
f d = f d.
X K
On applique alors le lemme 5.1.4 sur K. Il vient
Z
k f kL1 (K,d) = sup f d = 0,
kkL 1 K
mentalement de la mesure . Cest pourquoi elle peut jouer des tours par rapport
lintuition. Par exemple, si X = R et = 0 la masse de Dirac en 0, alors le
support de la fonction f (x) = 1 pour tout x R est le ferm {0} ! En effet, elle
est bien nulle -presque partout sur R , vu que (R ) = 0, et elle nest pas nulle
-presque partout sur R, vu que (R) = 1. Quand est la mesure de Lebesgue sur
un ouvert de Rd , la notion de support dune fonction Lloc 1 () est plus conforme
tant tout--fait analogue. Ces hypothses ne sont pas essentielles, et lon peut
aisment gnraliser ce qui suit avec quelques amnagements, mais cest le cadre
dans lequel on appliquera ces rsultats ultrieurement. On admettra tout dabord
un rsultat de thorie de la mesure.
On dit que est une mesure rgulire. Rappelons que la tribu borlienne est la plus
petite -algbre qui contient tous les ouverts. On la complte en lui ajoutant tous
les ensembles qui sont compris au sens de linclusion entre deux borliens dont
la mesure de leur diffrence ensembliste est nulle. Du thorme 5.2.1, on dduit
lnonc fondamental suivant.
Thorme 5.2.2 Soit p [1, +[, lespace Cc () des fonctions continues sup-
port compact dans est dense dans L p (, d).
K AU et (U \ K) < p .
f|\U = 0 et f|K = 1.
Comme U est compact, f est support compact dans . De plus, on voit facilement
que
|1A f | 1U\K et donc que |1A f | p 1U\K .
Do il vient
k1A f kL p < .
140 5. Les espaces L p
Comme Kn A est born, on sait lapprocher par une suite de fonctions continues
support compact par ltape prcdente. Un argument de double limite permet
donc dapprocher 1A dans L p .
Une fois que lon sait approcher une fonction caractristique dun borlien
de mesure finie, on sait approcher une fonction tage non nulle sur un ensemble
de mesure finie. En effet, une telle fonction est une combinaison linaire de fonc-
tions caractristiques de borliens de mesure finie, et lingalit triangulaire et la
positivit homogne de la norme permettent de conclure dans ce cas.
Soit alors f L p (, d) positive. On considre les fonctions tages fn dfinies
par la formule du lemme 5.1.1 pour n 1. Celles-ci sont telles que limn fn (x) =
f (x) et fn (x) f (x) pour tout x dans . Le thorme de convergence domine
assure que fn f dans p p
hL quand h n +. Les fonctions fn tant dans L , les
ensembles An, j = f 1 2jn , j+1 2n et An = f 1 ([2n , +]) correspondant des
valeurs strictement positives sont de mesure finie (attention, An,0 peut ne pas tre
de mesure finie, mais 0 1An,0 est excellemment approch par la fonction continue
support compact 0). On est donc dans la situation prcdente et lon sait, pour
chaque n fix approcher fn dans L p (, d) par une suite de fonctions continues
support compact. Un argument de double limite permet donc dapprocher f dans
L p.
Pour conclure, il suffit de remarquer que f = f+ f .
Remarque. Les fonctions continues support compact ne sont clairement pas
denses dans L (X, d). Quelle est leur adhrence ?
Dmonstration. Soit (Kn )nN une suite exhaustive de compacts dans . Daprs
le thorme prcdent, lensemble nNC(Kn ) est dense dans L p (, d). Or pour
chaque n, C(Kn ) est sparable pour la topologie de la norme uniforme, donc a
fortiori pour la topologie L p , en raison du thorme de Weierstrass et en approchant
chaque polynme coefficients rels par une suite de polynmes coefficients
rationnels. Un argument de suite diagonale permet donc de conclure.
Remarque. Rappelons que L (, dLd ) est un exemple despace de Banach
concret non sparable.
0
5.3. Dualit entre L p et L p 141
0
5.3 Dualit entre L p et L p
Le thorme principal et dailleurs unique de cette section est le thorme
suivant, qui dit comment lon peut reprsenter une forme linaire continue sur les
espaces L p lorsque p est rel. Nous traiterons le cas des fonctions valeurs relles,
le cas complexe tant tout--fait analogue. Pour simplifier, nous nous plaons
toujours dans le cas o est un ouvert de Rd .
Thorme 5.3.1 Soient p [1, +[ et B la forme bilinaire dfinie par
0
B : L p (, d) L p (, d) RZ
(g, f ) 7 f (x)g(x) d.
0
Alors la forme bilinaire B identifie le dual de L p (, d) L p (, d).
Dmonstration. On va donner une preuve de ce thorme fondamental qui repose
sur le thorme de Radon-Nykodym. On a dj not que, comme est finie sur
les compacts, elle est -finie. Par lingalit de Hlder, lapplication B (voir
section 3.2) est isomtrique, donc injective. On va montrer quelle est surjective.
Commenons par le cas o () < +. Soit une forme linaire conti-
nue sur L p (, d). Pour tout A mesurable, comme (A) < +, on a 1A
L p (, d) et lon est en droit de poser
(A) = (1A ).
Montrons que est une mesure relle. Si A B = 0,
/ alors 1AB = 1A + 1B , do
par linarit de ,
(A B) = (A) + (B).
On en dduit que est additive. Montrons quelle est aussi dnombrablement
additive. Soit (An )nN une famille dnombrable disjointe densembles mesurables,
et notons Bk = ki=0 Ai et B = +
S S
i=0 Ai . Il vient
1/p
k1B 1Bk kL p = (B \ Bk ) 0 quand k +,
142 5. Les espaces L p
puisque est une mesure finie (cest ici que lon a utilis ici le fait que p < +).
La continuit de implique donc que
k
(Ai) = (Bk ) (B) quand k +,
i=0
Par linarit, pour toute fonction f tage, de la forme f (x) = ki=1 ai 1Ai (x), on
obtient Z
( f ) = g(x) f (x) d. (5.3)
Par une approximation supplmentaire, cette galit reste vraie pout tout f
L (, d), cf. la dmonstration du lemme 5.1.1. La suite fn de fonctions tages
qui y est construite tend vers f dans L p (, d), do la convergence du membre de
gauche, et uniformment, do la convergence de lintgrale du membre de droite
car g L1 (, d).
0
Il faut maintenant montrer que g L p (, d) et que lgalit (5.3) reste vraie
pour tout f L p (, d). On pose signet = 1 si t < 0 et signet = 1 si t 0. On
distingue deux cas suivant les valeurs de p.
Dans le cas o p = 1, si lon prend f = signe g1A , on dduit de (5.3) que
Z
|g(x)| d kk(L1 )0 k1A kL1 = kk(L1 )0 (A),
A
do immdiatement
kgn kL p0 kk(L p )0 .
0 0
La suite |gn | p converge en croissant vers |g| p , donc par le thorme de convergence
monotone, on obtient
0
g L p (, d) et kgkL p0 kk(L p )0 .
Il est maintenant trivial de vrifier que (5.3) reste vraie pour tout f L p (, d)
puisque L (, d) est dense dans L p (, d) et que les deux membres sont de
formes linaires continues sur L p (, d). Lingalit de Hlder implique alors
kgkL p0 = kk(L p )0 , ce qui termine la dmonstration dans le cas () < +.
On passe au cas gnral comme dans la dmonstration du thorme de Radon-
Nykodym.
Remarques. On na pas vraiment utilis le fait que est un ouvert de Rd . Le
thorme reste vrai plus gnralement au sens o le dual de L p (X, d) est bien
0
L p (X, d) pour 1 p < + si est -finie. Notons aussi que L1 (, d) nest pas
en gnral (sauf pour certaines mesures trs particulires) le dual de L (, d) :
il existe des formes linaires continues sur L (, d) qui ne sont pas reprsentes
par une fonction de L1 (, d). Donnons en un exemple. Supposons que =
]1, 1[ et dfinissons ( f ) = f (0) pour tout f C ([1, 1]). Cest une forme
linaire continue sur le sous-espace vectoriel C ([1, 1]), donc par le thorme de
Hahn-Banach, elle admet un prolongement continu L (, dx) tout entier. Il est
facile de voir que cette forme linaire nest pas reprsente par une fonction g de
L1 (, dx).
Dveloppons en quelques mots une description possible du dual de L (, dx).
Nous avons vu que tout lment de L (, dx)0 donne naissance une mesure
finiment additive et que cette mesure est borne puisque pour tout A mesurable,
|(A)| kkL (,dx)0 . Par ailleurs, si (A) = 0, alors (A) = 0 galement. On
peut montrer que de telles mesures ont une variation totale finie et dfinir partir
de l une notion dintgrale de fonctions mesurables bornes en prolongeant par
continuit la formule vidente pour les fonctions tages. Le dual de L est identifi
de la sorte lespace des mesures finiment additives, bornes, norm par la variation
totale de lespace
R
entier, travers cette notion dintgrale. Le crochet de dualit est
donc h, f i = f d.
par le thorme
R
de Fubini positif
R
5.1.8. Or le changement de variable z = x y
montre que Rd | f (x y)| dx = Rd | f (z)| dz. Par consquent,
Z
| f (x y)| |g(y)| dxdy = k f kL1 kgkL1 < +
Rd Rd
do
| f (x y)| |g(y)| L1 (Rd Rd ).
Les conclusions du thorme 5.1.8 entranent immdiatement la premire partie du
thorme.
Le mme changement de variable montre que
Z Z
f ? g(x) = f (x y)g(y) dy = f (z)g(x z) dz = g ? f (x).
Rd Rd
0
Thorme 5.4.2 Soient f une fonction de L p et g une fonction de L p . La formule
Z
df
( f ? g)(x) = f (x y)g(y) dy
Rd
0
dfinit une application bilinaire continue de L p L p dans L .
y 7 f (x y)g(y)
|( f ? g)(x)| k f kL p kgkL p0 ,
do le thorme.
Remarque. Le choix dun reprsentant de f fournit un reprsentant de f ? g. En
effet, si f = f 0 presque partout, alors clairement, f ? g = f 0 ? g presque partout. Par
contre, les reprsentants de la convolue ainsi obtenus sont tous borns partout, et
pas seulement presque partout. En fait, il est facile de voir que f ? g est continue
0
borne par densit de Cc (Rd ) dans L p et L p .
Le thorme ci-dessus se gnralise encore. On peut dfinir la convolution de
deux fonctions si elles appartiennent des espaces L p convenables. Plus prcis-
ment :
1 1 1
1+ = + (5.4)
r p q
y 7 f (x y)g(y)
Majorons I,1 ( f , g). Pour ce faire, on choisit les deux paramtres et pour
que les divers exposants qui apparaissent soient agrables. Plus prcisment, on
prend
r p rq
= et = ,
r1 r1
qui sont bien compris entre 0 et 1 car r > p et r > q. Il rsulte de ce choix et de la
relation (5.4) que
+ = 1.
p q
Lingalit de Hlder entrane alors que
Z Z Z
p p q q
| f (x y)| |g(y)| dy | f (x y)| dy |g(y)| dy
Rd Rd Rd
= k f kL p kgkLq .
(1 )r + = p et que (1 )r + = q.
lim k ? f f kL p = 0.
0
Cette fonction est bien dfinie pour R assez grand, elle est dintgrale 1, support
dans la boule de centre 0 et de rayon R. De plus,
Z Z 1
d
k R, kL1 = 1 (y) dy |( 1 z)| dz
|z|R B(0,R)
Z
d
+ |( 1 z)| dz
|z|>R
Z 1 Z
= 1 (y) dy |(x)| dx
B(0,R) |x|R
Z
+ |(x)| dx 0 quand R +
|x|>R
5.4. Convolution et rgularisation 149
Comme nous allons le voir, le thorme 5.4.5 est extrmement important pour
la rgularisation des fonctions localement intgrables. En effet, le thorme de dri-
vation sous lintgrale assure que si est une fonction indfiniment diffrentiable
support compact, alors la fonction ? f est aussi indfiniment diffrentiable.
Ainsi lon aura approch au sens de L p toute fonction de L p , pour p rel, par une
suite de fonctions C .
Par consquent,
Z
| ? f (xn ) ? f (x)| |(xn y) (x y)|| f (y)| dy.
K
1 (Rd ),
Soit M = maxSupp ||. Comme f appartient L p (Rd ), elle est dans Lloc
donc intgrable sur K. Comme est continue, on a donc
K 0 = x (x Supp )
5.4. Convolution et rgularisation 151
Une fois que lon a construit cette fonction particulire, on en a en fait norm-
ment notre disposition.
Corollaire 5.4.2 Pour tout rel p 1, lespace D(Rd ) est dense dans L p (Rd ).
g = ? g.
Corollaire 5.4.3 Pour tout rel p 1, lespace D() est dense dans L p ().
lim k fn f kL p () = 0.
n
df
Posons alors fn, = ? fn . Cette fonction est indfiniment diffrentiable sur
Rd . De plus, son support est inclus dans le compact Kn + B(0, ), cest--dire
lensemble des points distance au plus de Kn . Daprs la proposition 1.6.1
page 53, il existe n > 0 tel que pour n , alors le compact Kn + B(0, ) est
inclus dans , do le corollaire.
Remarque. Une autre application de la rgularisation est la construction de parti-
tions de lunit de classe C .
Chapitre 6
do la proposition.
Tout ceci est bel et bien, mais nous sommes toujours dans le cadre classique
des fonctions. Voyons un autre exemple qui montre que ces considrations amnent
naturellement sortir de ce cadre. Soient f une fonction positive de L1 (Rd ) dint-
grale 1, nulle en dehors dune boule et (n )nN une suite de nombre rels tendant
vers 0, et considrons la suite dfinie par
x
df d
fn (x) = n f ,
n
cf. le thorme 5.4.5. Cette suite est borne dans L1 (Rd ), nanmoins, pour nim-
1 (Rd )
porte quelle sous-suite (n p ) pN , il nexiste aucune fonction fe appartenant Lloc
telle que, pour toute fonction D(Rd ), on ait
Z Z
lim fn p (x)(x) dx = fe(x)(x) dx.
p Rd Rd
Proposition 6.1.2 Soit ( fn )nN une suite de fonctions de L1 (Rd ) positives et din-
tgrale 1 telle que, pour tout entier n, le support de fn soit inclus dans une boule
de rayon n , la suite de rels strictement positifs (n )nN vrifiant lim n = 0. On
n
a alors Z
C0 (Rd ), lim fn (x)(x) dx = (0).
n Rd
Cette suite nest mme pas borne dans L1 (R). Nanmoins, soit une fonction
156 6. Distributions sur un ouvert de Rd
de D(R), alors on a
Z Z
hgn , i = (0) gn (x) dx + 0 (0) xgn (x) dx
R R Z
+ ((x) (0) x 0 (0))gn (x) dx.
R
Le premier terme est nul cause de la parit des fonctions gn . Le second terme
vaut 0 (0). Quant au troisime, il est major par
k 00 kL k 00 kL
Z
x2 gn (x) dx = .
2 R 3n
La convergence mise en vidence ici
hgn , i 0 (0)
est la convergence vers une forme linaire dfinie sur les fonctions de classe C1 .
Comme dans le cas prcdent, la notion de convergence ponctuelle ne donne aucun
renseignement pertinent. Par contre, la limite peut sinterprter en disant que la
limite dune charge totale n positive situe entre 0 et 1/n et dune charge totale n
ngative situe entre 1/n et 0 est un diple de moment 1.
Une des raisons majeures pour introduire les distributions est que celles-ci
permettent de formuler et de rsoudre bon nombre de problmes dquations aux
drives partielles. Nous allons voir que lon peut driver indfiniment toute distri-
bution, mme sil sagit dune fonction qui nest pas drivable au sens classique.
Donnons un exemple tir de la physique. Soit un ouvert born de R3 . On
suppose que la frontire de est couverte dune fine couche de mtal totalement
conductrice. On place en un point x0 de , par ailleurs suppos vide, une charge
lectrique ponctuelle, disons un lectron, et lon veut calculer le potentiel lectrique
qui stablit dans . La physique nous dit quil sagit dune fonction u dfinie
sur telle que u = 0 sur , qui est une surface quipotentielle, et telle que
2
u = qx0 o le Laplacien est loprateur diffrentiel = 3i=1 x2 , q est la charge
i
de llectron et x0 est la masse de Dirac en x0 , objet que nous avons dj rencontr
en tant que mesure, et qui revient ici en tant que distribution comme limite de
densits de charges qui se concentrent en x0 et dont la dfinition comme forme
linaire est hx0 , i = (x0 ). Or cette masse de Dirac nest absolument pas une
fonction. On voit donc mal comment u pourrait tre une fonction classiquement
deux fois drivable. Donner un sens lquation de Laplace prcdente dans un
contexte classique nest pas ais. Par contre, celle-ci se formule trs naturellement
dans le cadre des distributions o la drivation est un jeu denfant.
Prenons un second exemple, encore issu de la physique. Considrons une corde
lastique infiniment longue et infiniment mince et intressons-nous aux dplace-
ments transverses de faible amplitude de cette corde. On cherche donc une fonction
6.2. Dfinition des distributions et premires proprits 157
df || f
f = .
x11 xdd
Dfinition 6.2.2 Une forme linaire u sur D() est appele distribution sur si
et seulement si, pour tout compact K de , il existe un entier N et une constante C
(qui dpendent a priori de K) tels que
Rciproquement, si une forme linaire u sur D() satisfait la proprit (6.2) pour
toute suite (n )nN qui converge dans D(), alors cest une distribution.
Dmonstration. Soit u une distribution et (n )nN une suite qui converge vers
dans D(). Par la dfinition 6.2.3, il existe un compact K qui contient tous les
supports des n ainsi que celui de . On peut donc trouver un entier N et une
constante C tels que lingalit (6.1) a lieu. Or n est aussi support dans K,
donc
|hu, n i hu, i| = |hu, n i| C sup k (n )kL ,
||N
Dfinition 6.2.4 Soit u une distribution sur . Elle est dite dordre fini si et seule-
ment si il existe un entier N0 tel que lingalit (6.1) soit vraie avec N = N0 pour
tout compact K de . Lordre de la distribution u est alors dfini comme tant le
plus petit entier positif vrifiant cette proprit.
Voyons tout de suite quelques exemples. Soit 0 la forme linaire dfinie par
0 : D(Rd ) K
7 (0).
De toute vidence, cette forme linaire est une distribution sur Rd dordre 0. On
lappelle la masse de Dirac en 0. De mme, la forme linaire 00 dfinie par
00 : D(R) K
7 0 (0).
pour toute fonction-test . Or pour que lintgrale ait un sens, il faut bien que la
fonction f soit dans L1 (K) pour tout compact K de puisque les fonctions-test
sont support compact. Cest le minimum que lon puisse exiger. Nous considrons
1 () comme des distributions grce au thorme suivant.
toujours les fonctions Lloc
Thorme 6.2.1 Soit lapplication linaire dfinie par
1 () D 0 ()
: Lloc Z
f 7 ( f ) : 7 f (x)(x) dx
160 6. Distributions sur un ouvert de Rd
Lapplication est une injection. De plus, elle est continue au sens o, pour tout
compact K de , on a
Dmonstration. Vrifions dabord que ( f ) est bien une distribution. Cest clair
car si DK , alors
Z
|h( f ), i| | f (x)(x)| dx k f kL1 (K) kkL ,
Bien que lon puisse dfinir sur lespace des distributions une topologie pour la-
quelle les suites convergentes sont prcisment les suites satisfaisant la dfinition
ci-dessus, nous nous limiterons ce concept de suite convergente qui est suffisant
dans la plupart des applications. Cette dfinition de la convergence est exactement
analogue la notion de convergence faible- dans le dual dun espace vectoriel
norm que nous avons dj rencontre. Ceci nest bien sr pas fortuit.
Proposition 6.2.2 Soit p un lment de ]1, ], on considre une suite borne ( fn )nN
de fonctions de L p () et f une distribution sur . On a alors
fn f dans D 0 () f L p () et fn * f .
D(), lim h fn , i = h f , i.
n
La suite ( fn )nN tant borne dans L p , il existe une constante C telle que
Z
D(), fn (x)(x) dx CkkL p0 .
D(), |h f , i| CkkL p0 .
La distribution f est donc une forme linaire sur D() qui est continue pour la
0
topologie de la norme L p . Comme par hypothse, p > 1, on a p0 < +, donc D()
0
est dense dans L p (). Daprs le thorme de prolongement 2.2.2, cette forme
0
linaire admet un unique prolongement en une forme linaire continue sur L p (),
note fe. Daprs le thorme 5.3.1, il existe alors une fonction f appartenant
L p () telle que
Z
p0
g L (), f (x)g(x) dx = h fe, gi.
Daprs le thorme 6.2.1, ceci signifie que lon peut identifier la distribution f
la fonction f , ce que lon abrge usuellement en dclarant que f appartient
lespace L p (). On peut donc crire que
Z Z
D(), lim fn (x)(x) dx = f (x)(x) dx.
n
Dmonstration. Tout dabord, u est bien une forme linaire sur D(). Utilisons la
proposition 6.2.1. Soit (n )nN une suite qui converge vers dans D(). Il est
peu prs vident que n galement dans D(). Comme u est une distribution,
on en dduit que hu, n i hu, i. Comme la conjugaison est continue de C dans
C, on voit que hu, n i hu, i et u est une distribution.
On voit que lide sous-jacente est de travailler par transposition, en passant
toute la difficult (ventuelle) sur la fonction-test.
1 (), la conjugaison
Il convient de vrifier que, lorsque f est une fonction Lloc
au sens des distributions concide avec la conjugaison ordinaire pour les fonctions.
En effet, pour toute fonction-test ,
Z Z
h( f ), i = h( f ), i = f dx = f dx = h( f ), i,
n
D j u, n = u, u, = D j u, .
xj xj
On conclut laide de la proposition 6.2.1.
164 6. Distributions sur un ouvert de Rd
La drive dune distribution est donc toujours dfinie et cest une distribution.
Il convient de vrifier si cette dfinition ainsi que la notation affrente est
cohrente avec la notion de drivation usuelle quand celle-ci sapplique. Cest
lobjet de la proposition suivante.
f
Dj f = .
xj
f Df E
Z
D(), hD j f , i = (x)(x) dx = , ,
xj xj
un u
un u dans D 0 () = dans D 0 ().
xj xj
Lopration de drivation peut bien sr tre itre. On peut donc dfinir les drives
partielles successives tout ordre par la formule
h u, i = (1)|| hu, i .
f g
Z Z
(x)g(x) dx = f (x) (x) dx.
xj xj
Dmonstration. Cest tout aussi clair que prcdemment. Par ailleurs, on tend
ainsi aux distributions la dilatation usuelle. En effet, pour tout fonction f localement
intgrable, on a
Z x Z
d
h f , i = h f , A i = f (x) dx = f ( x)(x) dx,
Rd Rd
Aa (x) = (x + a).
La dilatation et la translation sont des cas particuliers de changements de
variables pour les distributions.
(A ) = C (J(1(x))1) ( 1).
6.3. Oprations sur les distributions 167
| |
1
( ) = (1 )P ( (1 )i ),
||=1
en posant x = (y).
On peut multiplier toute distribution par une fonction de classe C .
df
(x) = (x).
168 6. Distributions sur un ouvert de Rd
(u ? ) = ( u) ? = u ? ( ).
u ? (x + hn ei ) u ? (x)
hu, i (x+)i = hu, i (x + )i = hi u, (x+)i,
hn
do le rsultat pour les drives dordre 1. Le cas gnral sen dduit par rcur-
rence.
Remarque. Ce rsultat implique en particulier que u ? est une fonction locale-
ment intgrable, donc aussi une distribution. Laction de cette distribution sur les
fonctions-test sexprime galement par transposition.
hu ? , i = hu, ? i.
Proposition 6.3.4 Pour tout u D 0 (Rd ), il existe une suite (un )nN de fonctions
de D(Rd ) telle que
un u dans D 0 (Rd ).
n ? dans D(Rd ).
n dans D(Rd Rd ).
o (|) dsigne le produit scalaire usuel sur Rd . Les coefficients de Fourier sont
donns par
Z
2
c = L2d ei L ((x|)+(y| )) (x,
e y) dxdy
ZK
2
2d
=L ei L ((x|)+(y| )) (x, y) dxdy.
Rd Rd
En intgrant cette formule k fois par parties, on voit que pour tout k, il existe une
constante Ck telle que pour tous multi-indices et , on ait
|c | Ck (1 + || + | |)k .
Posant 2 2
n (x, y) = c ei L (x|) (x)ei L (y| ) (y),
max(||,| |)n
puis u1 u2 sur D(1 ) D(2 ) par linarit (le rsultat ne dpendant pas de la
dcomposition), puis par densit sur D(1 2 ). Ceci permet dailleurs dtablir
que
hu1 u2 , i = hu1 , 1 i = hu2 , 2 i
6.4. Exemples de distributions et dquations dans D 0 171
o
1 (x) = hu2 , (x, )i, 2 (y) = hu1 , (, y)i
formule que lon a utilis dans le cas particulier de u 1 plus haut.
partir du produit tensoriel de deux distributions, il est possible de dfinir la
convolution de deux distributions avec une plus grande gnralit que ce que lon a
expos plus haut. Nanmoins, il nest pas possible de convoluer deux distributions
quelconques. Pour que leur convolution soit dfinie, les deux distributions doivent
satisfaire des conditions de support, notion que nous rencontrerons un peu plus
loin.
Cette srie (de Fourier) tant normalement convergente, elle dfinit une fonction
continue sur R. Par contre, la srie des drives nest pas normalement convergente,
et il nest pas clair que f soit drivable au sens classique. Les choses saggravent
au fur et mesure que lon drive la srie terme terme. Par contre, nous pouvons
driver autant de fois que nous le souhaitons la fonction f condition de le faire
au sens des distributions. En effet, pour toute fonction-test , on a
!
N
1
Z Z
lim n2 sin(nx) (x) dx = f (x)(x) dx,
N R R
n=1
Daprs la continuit de la drivation dans D 0 (R), qui est une banalit, rappelons-le,
on en dduit que, pour tout entier `, on a
N
1 dl dl f
n2 dxl sin(n ) dxl dans D 0 (R).
n=1
174 6. Distributions sur un ouvert de Rd
j {1, , d} , x j u = 0 K, u = 0 .
Par le thorme de drivation sous le signe somme, et du fait que n est support
compact, on voit que j D(Rd ), do
d
hu, i = (0)hu, n i + hu, x j j i.
j=1
hu, i = n (0),
On a donc bien x vp 1x = 1.
df
D(), hu| , i = hu, i.
Le fait que la forme linaire u| est bien une distribution est lmentaire.
Dfinition 6.5.2 Soit u une distribution sur , on appelle support de u et lon note
Supp u le complmentaire du plus grand ouvert inclus dans tel que u| = 0.
Daprs le thorme 6.2.1, ceci signifie exactement que, pour presque tout x de ,
on a que f (x) = 0. Ceci montre bien que la dfinition de support dune distribution
concide bien avec la dfinition usuelle dans le cas des fonctions localement
intgrables.
Dfinition 6.5.3 Une distribution sur dont le support est un compact de est
assez logiquement appele distribution support compact. Lespace vectoriel des
distributions support compact est dsign par E 0 ().
Nous allons maintenant voir que lespace des distributions support compact
peut sidentifier au dual de lespace des fonctions indfiniment diffrentiables sur
. Pour cela, commenons par dmontrer le lemme suivant.
Lemme 6.5.1 Soient u une distribution support compact sur et une fonction
de D() valant identiquement 1 sur le support de u. Alors, on a
Dmonstration. Notons tout dabord quune telle fonction existe car le support
de u est compact. Il suffit dcrire que, pour toute fonction-test , on a
hu, i = 0,
do le lemme.
Proposition 6.5.1 Soit u une distribution support compact. Il existe une unique
forme linaire ue dfinie sur C () (lensemble des fonctions indfiniment dif-
frentiables sur ) prolongeant u et telle quil existe un compact K 0 , une
constante C et un entier N tels que
C (), |he
u, i| C sup | (x)|.
xK 0
||N
C (), |he
u, i| C sup k ( )kL .
||N
C (), |he
u, i| C sup | (x)|. (6.3)
xK 0
||N
Proposition 6.5.2 Soit ue une forme linaire sur C () continue au sens de (6.3).
Alor ue dfinit par restriction une distribution support compact.
Dmonstration. Il est tout fait clair que la restriction de ue D() dfinit un
lment u de D 0 (). De plus, si le support de est contenu dans le complmentaire
de K 0 , alors est nulle sur K 0 et lestimation (6.3) implique trivialement que
hu, i = 0. Par consquent, u est support dans K 0 .
Remarque Lespace C () tant parfois not E (), la notation E 0 () utilise
pour les distributions support compact insiste sur le fait que lon identifie les
formes linaires sur C () continues cest--dire vrifiant (6.3) et les
distributions sur support compact. Naturellement, tout ceci peut tre mis dans
un cadre topologique rigoureux.
Mentionnons dans le mme ordre dides la proprit de faisceau des distri-
butions : on peut recoller deux (ou plus) distributions dfinies sur deux (ou
plus) ouverts qui concident au sens de la restriction sur leur intersection, en une
distribution sur la runion des ouverts. Plus prcisment,
Proposition 6.5.3 Soient 1 et 2 deux ouverts, u1 D 0 (1 ) et u2 D 0 (2 ) deux
distributions telles que u1|1 2 = u2|1 2 . Alors il existe une unique distribution
u D 0 (1 2 ) telle que u|1 = u1 et u|2 = u2 .
Dmonstration. Soit (1 , 2 ) une partition de lunit C associe aux ouverts 1 et
2 , cest--dire que Supp i i , 0 i 1 et 1 + 2 = 1. Notons = 1 2 .
Pour tout D(), on dfinit
hu, i = hu1 , 1 i + hu2 , 2 i.
On vrifie facilement que u D 0 (). Calculons sa restriction aux ouverts i . Si
appartient D(1 ), alors 2 appartient D(1 2 ). On voit donc dans ce cas
que
hu2 , 2 i = hu2|1 2 , 2 i = hu1|1 2 , 2 i = hu1 , 2 i,
do
hu, i = hu1 , 1 i + hu1 , 2 i = hu1 , (1 + 2 )i = hu1 , i,
et donc u|1 = u1 , et de mme sur 2 .
Il faut maintenant sassurer de lunicit de u. Soit v D 0 () une distribution
qui rponde la question. Pour tout D(), on a = (1 + 2 ) = 1 + 2
avec i D(i ). On a donc
Transformation de Fourier
D(Rd ), lim (
b )=0 (7.3)
| |
182 7. Transformation de Fourier
|(1 + | |2 )(
b )| k(Id )kL1 .
Exercice 7.1.1 Dmontrez par une mthode analogue que, si est une fonction
indfiniment diffrentiable support compact sur Rd , alors, pour tout entier N, il
existe une constante C telle que
b )| C(1 + | |2 )N .
|(
F ( f ? g) = fbgb.
df
F (x, y) = ei(x| ) f (x y)g(y) = ei(xy| ) f (x y)ei(y| ) g(y)
7.1. Dfinition sur lespace L1 . 183
La fonction g est bien videmment drivable et lon peut crire en justifiant ais-
ment la drivation sous le signe somme et lintgration par parties
Z
0 2
g ( ) = ixeix ex dx
ZR
1 d x2
= ieix
(e ) dx
R 2 dx
1 d ix x2
Z
= i e e dx
2 R dx
1
Z
2
= i2 eix ex dx
2 R
= g( ).
2
Cette quation diffrentielle est facile rsoudre. On a
2
g( ) = g(0)e 4 .
Il est classique que Z
2
g(0) = ex dx = .
R
La proposition 7.1.2 assure alors le rsultat en dimension 1. En dimension d
quelconque, il suffit dobserver que
d a 2
ix a2 |x|2
e e = eix j j e 2 x j
j=1
Comme par hypothse f est dans L1 (Rd ), on peut donc appliquer le thorme de
convergence domine de Lebesgue pour obtenir
Z Z
d i(x| ) b d
(2) e f ( ) d = (2) lim ei(x| ) G
b ( ) fb( ) d . (7.7)
Rd 0 Rd
pour une fonction f telle que f et fb soient dans L1 . Ce thorme signifie quune
fonction f dans L1 telle que fb soit aussi dans L1 (par exemple une fonction indfi-
niment diffrentiable support compact comme le montre lexercice 7.1.1) scrit
comme une superposition doscillations les fonctions ei(x| ) la transforme
de Fourier de f apparaissant alors comme la densit doscillation la frquence .
Remarquons pour finir quune fonction de L1 dont la transforme de Fourier est
dans L1 est ncessairement continue et nulle linfini.
Le thorme dinversion de Fourier a une consquence trs importante, le
thorme de Fourier-Plancherel.
d
Thorme 7.2.2 Lapplication (2) 2 F se prolonge de L1 L2 L2 en une
isomtrie bijective de L2 dans L2 .
La dmonstration repose sur le lemme suivant, trs simple mais crucial.
Lemme 7.2.1 Soient f et g deux fonctions de L1 ; on a
Z Z
fb(x)g(x) dx = f (x)b
g(x) dx.
Rd Rd
Comme clairement (x) = (x), on obtenu que
k(2)d/2 k
b 2L2 = kk2L2
k ukk,S kukk+||,S .
On peut voir lespace S comme lintersection pour tous les entiers k des es-
paces Sk (Rd ) forms des fonctions u, k fois continment diffrentiables et telles
que kukk,S soit finie. Chacun de ces espaces, une fois muni de la norme corres-
pondante, est un espace de Banach. La structure despace vectoriel topologique
comme intersection dcroissance dune famille dnombrable despaces de Banach
est un cas particulier de ce que lon appelle structure despace de Frchet (laquelle
ne sera pas aborde en tant que telle dans ce cours). Elle permet de munir lespace
vectoriel obtenu par intersection dune structure despace mtrique complet. La
distance dans S est
Il faut noter que la topologie de (S , d) nest pas une topologie despace vectoriel
norm.
Donnons maintenant quelques exemples dlments de S . Les fonctions ind-
finiment diffrentiables support compact sont bien sr des lments de S . De
2
plus, les gaussiennes, cest--dire les fonctions du type ea|x| avec a strictement
positif, sont aussi des lments de S .
Pour comprendre les calculs destimations que lon effectue couramment sur
lespace S , on peut sappuyer sur la proposition suivante. On note provisoirement
|x| = (|x1 |, |x2 |, . . . , |xd |).
Proposition 7.3.1 Soit q une fonction de Rd dans R telle quil existe un polynme
P sur Rd coefficients positifs avec |q(x)| P(|x|). Alors il existe une constante C
et un entier k tels que, pour tout u S ,
x Rd , |q(x)u(x)| Ckukk,S .
C(N, )
x Rd , | u(x)| ,
(1 + |x|2 )N
F (D f )( ) = fb( ) et F (x f )( ) = (D ) fb( ).
De mme, on a
i(x| )
Z Z
i(x| )
F (x f )(x) =
e x f (x) dx = e f (x) dx
Rd Rd i
Z
= (D )
ei(x| ) f (x) dx = (D ) fb( ),
Rd
d+1
En majorant le terme (1 + |x|2 ) 2 |x u(x)|, il vient
Z
d+1
| ub( )| Ck kukk+d+1,S (1 + |x|2 ) 2 dx
Rd
Ck kukk+d+1,S
x
1
x
x (u n ) = x 1 u C x u || ,
n 0< n n
avec C = di=1 Cii . Par construction de ,
x 2 max | | d i 2d maxi,x |i |
i,x i
x 1 u |x u(x)| kukk+1,S ,
n n n
i=1
Remarque. On peut vrifier que cette proprit de densit est exactement celle
correspondant la distance sur S .
On peut dmontrer maintenant la proposition suivante qui gnralise la propo-
sition 7.1.1 dautres contextes.
( f , g) 7 F ( f g) (2)d fb? gb
ainsi que
gkL2 (2)d k f kL2 kgkL2 .
k fb? gbkL k fbkL2 kb
De manire analogue, dans le deuxime cas, on a
ainsi que
Do la proposition.
7.4. Distributions tempres 193
Soit un nombre complexe quelconque. La fonction dfinie par x 7 eix (x) est
une fonction C support compact. On peut donc prolonger la fonction b tout le
plan complexe C par la formule
Z
b )=
( eix (x) dx.
R
De plus, le thorme de drivation sous lintgrale nous assure que cette fonction
est holomorphe. La seule fonction holomorphe dont les zros ne sont pas isols est
la fonction nulle, do le lemme.
Le rsultat prcdent est en rapport avec le principe dincertitude : on ne peut
pas localiser une fonction simultanment en espace et en frquence.
Dfinition 7.5.1 On appelle espace des fonctions croissance modre (ou lente)
et lon dsigne par OM lespace des fonctions f indfiniment diffrentiables sur Rd
telles que
On dsigne par LS 1 lespace des fonctions localement intgrables telles que, pour
k kk,S k kk+||,S .
h u, i = (1)|| hu, i,
h f u, i = hu, f i,
1 par
iii) la convolution par une fonction f de LS
h f ? u, i = hu, f ? i,
F (D u) = ub et F (x u) = (D) ub.
hF (D u), i = hD u, bi
= hu, (D) bi.
(D) b = F (x ).
Do il rsulte que
hF (D u), i = hu, F (x )i
u, ( )i
= hb
= h ub, i.
Comme la dmonstration de la seconde relation est en tout point analogue, elle est
laisse au lecteur.
Ces relations sont extrmement importantes dans les calculs pratiques de trans-
forme de Fourier. Par exemple, calculons la transforme de Fourier de la masse
de Dirac 0 . Par dfinition de la transformation de Fourier, on a
Z
hb0 , i = h0 , bi = b(0) = (x)dx = h1, i
Rd
b0 = 1. (7.10)
Lutilisation pratique des formules ci-dessus est trs souvent couple avec des
rsolutions dquations simples sur les distributions.
Parmi toutes les applications de la transformation de Fourier, citons en exemple
celle-ci.
Thorme 7.5.2 Soit f S 0 (Rd ), il existe une unique distribution u de S 0 (Rd )
solution de
d
2
( + 1)u = f o = 2
j=1 x j
7.5. Oprations et transformation de Fourier sur les distributions tempres 199
F (( + 1)u) = (1 + | |2 )b
u.
( + 1)u = f (1 + | |2 )b
u = fb.
Espaces de Sobolev
Dans ce cours, nous nous limiterons aux espaces de Sobolev models sur L2 .
Proposition 8.1.2 Soit m est un entier positif. Lespace H m (Rd ) est lespace des
fonctions u de L2 (Rd ) dont toutes les drives dordre infrieur ou gal m sont
des distributions appartenant L2 (Rd ). De plus, la norme
df
kuk2H m =
e
k uk2L2
||m
munit lespace H m dune structure despace de Hilbert et cette norme est quiva-
lente la norme k kH m dfinie laide de la transformation de Fourier.
assure que la norme e k kH m provient dun produit scalaire. De plus, il existe une
constante C telle que
d 1 2|| 2 m 2||
R , C 1 + | | (1 + | | ) C 1 + | | .
0<||m 0<||m
(8.2)
Comme la transformation de Fourier est, une constante prs, une isomtrie de L2
sur L2 , alors on a
u L2 ub L2 .
Donc, on en dduit que
u H m tel que || m, u L2 .
Enfin, lingalit (8.2) assure lquivalence des normes grce au fait que la trans-
formation de Fourier est une isomtrie une constante prs.
Remarques. Cette proposition nous indique comment on peut dfinir des espaces
de Sobolev dindice entier positif models sur les espaces L p pour p [1, +]. Il
suffit de dfinir lespace W m,p (Rd ) comme lespace des fonctions u de L p (Rd ) dont
toutes les drives dordre infrieur ou gal m sont des distributions appartenant
L p (Rd ), muni de la norme idoine.
8.1. Dfinition des espaces de Sobolev sur Rd 203
Exercice 8.1.1 Dmontrez que lespace S est inclus dans lespace H s , et ce pour
tout rel s.
d
Exercice 8.1.2 Dmontrer que la masse de Dirac 0 appartient lespace H 2
d
pour tout rel strictement positif , mais que 0 nappartient pas lespace H 2 .
Exercice 8.1.5 Soit s un rel de lintervalle ]0, 1[. Dmontrer que lespace H s est
lespace des fonctions u de L2 telles que
|u(x) u(y)|2
Z
dxdy < +.
Rd Rd |x y|d+2s
Dmontrer de plus quil existe une constante C telle que, pour toute fonction u
de H s , on ait
|u(x) u(y)|2
Z
1
C kuk2H s kuk2L2 + dxdy Ckuk2H s .
Rd Rd |x y|d+2s
Thorme 8.1.1 Soit s un rel quelconque. Lespace D(Rd ) est dense dans H s (Rd )
et la multiplication par une fonction de S est une application continue de H s dans
lui-mme.
En utilisant que S est inclus dans H s , que, daprs la proposition 7.3.3, D est
dense dans S , et que la transformation de Fourier est un isomorphisme de S dans
lui-mme, on a, pour toute fonction de S ,
Z
( )(1 + | |2 )s ub( ) d = 0.
Rd
Comme S est dense dans L2 , ceci entrane que lon a (1 + | |2 )s ub( ) = 0, donc
ub = 0, donc u = 0.
Dmontrons maintenant le second point du thorme. Cette dmonstration
est prsente ici titre culturel. Dans les calculs qui suivent, la constante C est
gnrique et sa valeur peut changer dune occurrence lautre. Soit une fonction
de S .
Daprs la proposition 7.3.4, on sait que
cu = (2)d b ? ub.
On souhaite montrer quil existe une constante C telle que k ukH s CkukH s . Il
sagit donc de majorer la norme L2 de la fonction dfinie par
Z
s
2
U( ) = (1 + | |) 2 |b( )| |b
u()| d
Rd
U( ) = U1 ( ) +U2 ( ) avec
Z
s
U j ( ) = (1 + | |2 ) 2 |b( )| |b
u()| d.
I j ( )
1 3
|| | | ||.
2 2
On en dduit que, pour tout rel s, il existe une constante C telle que, pour tout
couple ( , ) tel que appartienne I1 ( ),
(1 + | |2 )s C(1 + ||2 )s .
Il vient que
Z
s
U1 ( ) C |b( )|(1 + ||2 ) 2 |b
u()| d = Cb ? w( ),
Rd
8.1. Dfinition des espaces de Sobolev sur Rd 205
s
u()|. Comme b appartient S , en particulier b appartient
o w() = (1 + ||2 ) 2 |b
L1 , donc
kU1 kL2 CkbkL1 kwkL2 = CkbkL1 kukH s ,
par le thorme 5.4.3.
Par ailleurs, si appartient I2 ( ), on a
1 3
| | | | | | et || 2| |.
2 2
s s
Distinguons deux cas. Si s 0, alors (1 + | |2 ) 2 C(1 + | |2 ) 2 , do
Z
s
U2 ( ) C |b( )|(1 + | |2 ) 2 |b
u| d = Cw ? ub( ),
Rd
s
o w( ) = |b( )|(1 + | |2 ) 2 L1 puisque S . On en dduit comme prc-
demment que U2 L2 avec
kU2 kL2 CkwkL1 kb
ukL2 CkwkL1 kukH s ,
do le rsultat dans ce cas.
s s
Si maintenant s < 0, on note que lon a toujours (1 + | |2 ) 2 C(1 + | |2 ) 2 ,
s s
mais aussi que (1 + ||2 ) 2 C(1 + | |2 ) 2 . Par consquent, on peut crire
Z
s
U2 ( ) C |b( )|(1 + ||2 ) 2 |b
u()|d,
Rd
Exercice 8.1.7 Soit s un rel strictement suprieur 1/2. Dmontrez que lappli-
cation restriction dfinie par
: D(Rd ) D(Rd1 )
7 () : (x2 , , xd ) 7 (0, x2 , , xd )
1
se prolonge en une application continue de H s (Rd ) dans H s 2 (Rd1 ).
Indication : On crira que
Z
1
FRd1 (0, 2 , , d ) = (2) b 1 , 2 , , d )d1 .
(
R
206 8. Espaces de Sobolev
alors le thorme 8.1.2 est dmontr. En effet, comme on sait que F est un
isomorphisme de H s sur Ls2 , daprs la proposition 3.4.2 page 92, lapplication
linaire t F est un isomorphisme de (Ls2 )0 sur (H s )0 . Daprs le corollaire 4.3.3
page 104, on sait dj que B est un isomorphisme de (Ls2 )0 sur Ls
2 .
ht F B F u, i = hF B F u, F i
= B (F u, F )
ht F B F u, i = hB (u), i,
do le thorme.
Thorme 8.2.1 Si s > d/2, alors lespace H s est sinjecte continment dans
lespace des fonctions continues nulles linfini. Si 0 s < d/2, alors lespace H s
sinjecte continment dans Ls o s = d2s2d
.
Dmonstration. Rappelons que lon dit quun espace E sinjecte continment dans
un espace F si E F (algbriquement, ou parfois un isomorphisme prs) et que
linjection de E dans F est continue, cest--dire quil existe une constante C telle
que pour tout u E, kukF CkukE .
Le premier point du thorme est trs facile dmontrer. crivons pour tout u
dans H s ,
u( )| = (1 + | |2 )s/2 (1 + | |2 )s/2 |b
|b u( )|. (8.5)
Le fait que s > d/2 implique que la fonction
7 (1 + | |2 )s/2
Or on sait que si ub est dans L1 , alors u est une fonction continue qui tend vers zro
linfini avec
kukL (2)d kb ukL1 , (8.6)
do le premier point.
La dmonstration du second point est plus dlicate et est prsente ici titre
culturel. Les constantes C qui apparaissent sont gnriques, et peuvent varier dune
ligne lautre.
On utilise alors le rsultat de lexercice 5.1.1 page 133 que nous rappelons.
Pour tout p dans lintervalle ]1, +[, on a, pour toute fonction mesurable f ,
Z
k f kLp p =p p1 m(| f | > )d ,
0
u = u1,A + u2,A avec u1,A = F 1 (1B(0,A) ub) et u2,A = F 1 (1Bc (0,A) ub).
(8.7)
2 1
Comme la fonction 1B(0,A) ub est L et support compact, elle est dans L , donc
u1,A est borne par transformation de Fourier inverse. Plus prcisment,
ku1,A kL (2)d kd
u1,A kL1
Z
d
= (2) | |s | |s |b
u( )| d
B(0,A)
Z 1
2
(2)d | |2s d kukH s
B(0,A)
d
= CA 2 s kukH s . (8.8)
donc m(|u| > ) m(2|u1,A | > ) + m(2|u2,A | > ). Daprs lingalit (8.8)
ci-dessus, si lon pose
2 s
d2s
d
A = =
2CkukH s 2CkukH s
alors
m |u1,A | > = 0.
2
8.2. Injections de Sobolev 209
4|u2,A (x)|2
Z
dx
{2|u2,A |> } 2
ku2,A k2L2
=4
2
df d
| | A C( ) = 2CkukH s | | s .
C( )
Z Z
s 3
kuksLs C u( )|2 d
d |b
Rd 0
d(s 2)
Z
s 2
Ckuk Hs | | s u( )|2 d CkuksH s ,
|b
Rd
d(s 2)
car s = 2s.
210 8. Espaces de Sobolev
2d
s =
d 2s
est lutilisation dun argument dhomognit. En effet, soit v une fonction sur Rd ,
dsignons par v la fonction v (x) = v( x). On a
d
kv kLs = s kvkLs .
en posant Z
df
kvk2H s = | |2s |b
v( )|2 d .
Rd
Si lon a une ingalit dinjection continue, les deux quantits k k2L p et k k2H s
doivent tre comparables pour tout . On en dduit que lon doit avoir 2d s =
d + 2s. Lexposant s est donc le seul pour lequel une telle injection peut avoir
lieu. Ceci ne montre videmment pas quelle a bien lieu.
2d
Notons que lon a 2 d2s +, la borne infrieure tant atteinte pour s = 0.
Linjection de Sobolev permet donc de gagner de lintgrabilit ds que lindice de
drivation s est strictement positif.
B : H m () D() K
(u, ) 7 hu, i
r pr = IdH m () .
= sup |hu, i|
kkH m () 1
= kukH m () . (8.11)
hr pr(u), f i = hpr(u), f i
= hu, f i,
do le lemme.
Comme la norme L2 () est plus grande que la norme H m (), il est clair que
n u au sens de la norme de H m ().
Montrons maintenant lingalit de Poincar, qui est un rsultat trs important.
Thorme 8.3.3 Soit un ouvert de Rd born dans une direction. Il existe une
constante C telle que
d 1
2
u H01 (), kukL2 C k j uk2L2 .
j=1
par Fubini. Comme D() est dense dans H01 (), le thorme est dmontr dans
le cas o louvert est born dans la direction x1 . Le cas gnral sen dduit par
rotation.
Lingalit de Poincar implique de manire vidente le corollaire suivant.
Dans le cas dun ouvert born dans une direction, on a donc le choix dutiliser
la norme H m entire ou bien la semi-norme ci-dessus, et il en va de mme pour
calculer les normes duales sur H m .
Pour conclure ce chapitre sur les espaces de Sobolev, nous allons noncer et
admettre le thorme de Rellich, un rsultat de compacit trs important.
Corollaire 8.3.2 Soit (un )nN une suite borne de fonctions de H01 (), il existe
une sous-suite nl et une fonction u de H01 () telles que
u = f .
hu, i = 0.
216 9. Deux exemples de rsolution dEDP
Comme u appartient H01 (), ses drives appartiennent L2 (). Il en rsulte que
Z
u(x) (x) dx = 0. (9.1)
Lapplication Z
h 7 u(x) h(x) dx
est une application linaire continue sur H01 (), donc lidentit (9.1) ci-dessus est
vraie pour toute fonction h de lespace H01 (), donc en particulier pour h = u. On
en dduit que u = 0, et donc daprs lingalit de Poincar, que u = 0, ce qui
tablit lunicit.
Lexistence utilise de manire cruciale le concept de dualit. Soit f un lment
de H 1 (). Le thorme 8.3.1 affirme que la forme linaire dfinie par
h f , i
est une forme linaire continue sur H01 (). Dautre part, lingalit de Poincar
implique que lapplication dfinie de H01 () dans R+ par
Z
u |u|2 dx
est une norme hilbertienne sur H01 (). Le thorme 4.3.1 de reprsentation de
Riesz assure quil existe une fonction u de H01 () telle que, pour toute fonction v
de H01 (), on ait Z
h f , vi = u(x) v(x) dx.
Cette relation est en particulier vraie pour toute fonction v = appartenant D().
Par dfinition de la drive des distributions, on a donc
d d
u 2u
Z
h f , vi = u(x) (x)dx = h , i= h , i = hu, i,
j=1 xj xj j=1 x2j
cest--dire prcisment u = f au sens des distributions.
Remarquons que ce thorme donne une description des lments de H 1 ().
Soit f une distribution de H 1 (), alors f est somme de drives secondes (au
sens des distributions) de fonctions de H01 () et aussi une somme de drives
premires de fonctions de H 0 () = L2 ().
On aurait aussi pu utiliser le thorme de Lax-Milgram au lieu du thorme de
reprsentation de Riesz, mais ce ntait gure utile dans ce cas particulier.
9.2. Rsolubilit locale des oprateurs elliptiques 217
Pu = a (x) u
||m
P( ) = a (x)
||m
Dans la premire partie, on dmontre une ingalit relative aux fonctions de D(),
dite estimation a priori . Dans la seconde partie, on utilise le concept de dualit
pour dduire de lingalit prcdemment dmontre lexistence de la solution.
Commenons par lestimation a priori.
P0 = a (x0 ) ;
||m
Loprateur P tant suppos elliptique, il existe un rel c tel que lon puisse crire
pour tout Rd
2
2m 2
| | c a (x0 )
||=m
2
= c2 im a (x0 )
||=m
2
= c2 a (x0 )(i ) a (x0 )(i )
||m ||m1
2 2
2c2
a (x0 )(i ) + 2c 2
a (x0 )(i )
||m ||m1
do
kk2H m C1 kP0 k2L2 +C2 kk2L2 .
Or, lingalit de Poincar dmontre dans le thorme 8.3.3 affirme que, pour
toute fonction appartenant D(B(x0 , R)),
kk2L2 CRkk2L2 .
Ainsi donc
k(P0 P)kL2 C5 sup k kL2 |a (x0 ) a (x)|
xB(x0 ,R)
||m
C6 kkH m sup |a (x0 ) a (x)|.
xB(x0 ,R)
||m
220 9. Deux exemples de rsolution dEDP
Il vient alors
1
kkH m C3 kPkL2 + kkH m .
2
Le lemme est dmontr.
On introduit ladjoint formel de loprateur P
P u = ( ) (a u).
||m
Dmonstration. Il suffit dobserver que si P est elliptique, alors P lest aussi car,
daprs la formule de Leibniz,
P u = a ( ) u + b u,
||=m | |m1
kv p vq kH m (B(x0 ,R)) CkP (v p vq )kL2 (B(x0 ,R)) = Ckg p gq kL2 (B(x0 ,R)) .
9.2. Rsolubilit locale des oprateurs elliptiques 221
Comme la suite (gn )nN est convergente dans L2 (B(x0 , R)), elle est de Cauchy.
Il rsulte de lingalit ci-dessus que la suite (vn )nN est galement une suite de
Cauchy dans lespace H m (B(x0 , R)). Donc, il existe une fonction v appartenant
H0m (B(x0 , R)) telle que lon ait
Loprateur P est un oprateur continu de H m (B(x0 , R)) dans L2 (B(x0 , R)). Donc
on a
g = P v,
do g E.
Dmonstration du thorme 9.2.1. Nous allons maintenant construire la solu-
tion u par le biais dune forme linaire continue sur E. Soit f une distribution
de H m (B(x0 , R)) ; on considre la forme linaire L dfinie par
L : E R
g = P v 7 h f , vi.
Daprs le corollaire 9.2.1, la fonction v de H0m (B(x0 , R)) telle que P v = g est
unique et la forme linaire L bien dfinie.
De plus, on a, pour tout v H0m (B(x0 , R)),
Donc la forme linaire L est continue sur E. Soit L la forme linaire dfinie sur
lespace L2 (B(x0 , R)) par
L|E = L et L|E = 0.
La forme linaire L est continue sur L2 (B(x0 , R)). Daprs le thorme de repr-
sentation de Riesz, il existe une fonction u de L2 (B(x0 , R)) telle que, pour toute
fonction g de L2 (B(x0 , R)), on ait
Z
L(g) = g(x)u(x) dx.
B(x0 ,R)
Cette relation est en particulier vraie pour les fonctions g appartenant E. Donc,
pour toute fonction appartenant D(B(x0 , R)), on a
Z
(P )(x)u(x) dx = h f , i.
B(x0 ,R)
222 9. Deux exemples de rsolution dEDP
et donc
D(B(x0 , R)), hPu, i = h f , i,
cest--dire que Pu = f au sens des distributions.
Remarque. On note que E est en gnral un sous-espace strict de L2 (B(x0 , R)). En
effet, dans le cas m = 2, P = P = , on peut montrer que P est un isomorphisme
entre H 2 (B(x0 , R)) H01 (B(x0 , R)) et L2 (B(x0 , R)) alors que E = P(H02 (B(x0 , R))).