Beruflich Dokumente
Kultur Dokumente
notes de cours
Table des mati`eres
1 Vocabulaire 2
1.1 Distances et normes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Convergence ; continuite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1 Suites convergentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.2 Applications continues . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.3 Applications lipschitziennes . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Vocabulaire topologique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3.1 Ouverts et fermes dun espace metrique . . . . . . . . . . . . . . . . . . . . . 7
1.3.2 Adherence, interieur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3.3 Fronti`ere ; connexite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4 Distances equivalentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.4.1
Equivalence des normes en dimension nie . . . . . . . . . . . . . . . . . . . 15
1.5 Sous-espaces, produits . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.5.1 Sous-espaces dun espace metrique . . . . . . . . . . . . . . . . . . . . . . . 17
1.5.2 Produits nis despaces metriques . . . . . . . . . . . . . . . . . . . . . . . . 17
1.6 Parties denses dun espace metrique . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.7 Separabilite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2 Espaces complets 23
2.1 Denition et exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2 Theor`eme du point xe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.2.1 Theor`eme de Cauchy-Lipschitz . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3 Theor`eme des fermes emboites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.3.1 Projection sur un convexe ferme . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.4 Theor`eme de Baire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.4.1 Fonctions continues nulle-part derivables . . . . . . . . . . . . . . . . . . . . 33
2.4.2 Limites simples de fonctions continues . . . . . . . . . . . . . . . . . . . . . 34
3 Espaces metriques compacts 36
3.1 Denition et exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.2 Theor`eme des compacts emboites . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.3 Fonctions continues sur un compact . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.3.1 Image continue dun compact . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.3.2 Optimisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.3.3 Continuite uniforme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.4 Produits de compacts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.4.1 Produits nis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.4.2 Produits denombrables ; procede diagonal . . . . . . . . . . . . . . . . . . . . 45
3.5 Propriete de Borel-Lebesgue . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.5.1 Ideaux maximaux de ((K) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.6 Precompacite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3.6.1 Enveloppe convexe dun compact . . . . . . . . . . . . . . . . . . . . . . . . 51
3.6.2 Regularite des mesures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
3.7 Theor`eme de Riesz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4 Applications lineaires continues 55
4.1 Crit`ere de continuite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
4.1.1 Lespace norme L(E, F) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
4.2 Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
4.2.1 Normes doperateurs en dimension nie . . . . . . . . . . . . . . . . . . . . . 58
4.2.2 Projections orthogonales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
4.2.3 Operateurs ` a noyau . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
4.3 Prolongement par densite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
4.4 Familles bornees dapplications lineaires continues . . . . . . . . . . . . . . . . . . . 67
4.4.1 Convergence forcee . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
4.4.2 Theor`eme de Banach-Steinhaus . . . . . . . . . . . . . . . . . . . . . . . . . 70
4.5 Theor`emes de limage ouverte et du graphe ferme . . . . . . . . . . . . . . . . . . . 72
4.5.1 Theor`eme de limage ouverte . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
4.5.2 Caracterisations de la surjectivite . . . . . . . . . . . . . . . . . . . . . . . . 75
4.5.3 Theor`eme du graphe ferme . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
5 Dualite 79
5.1 Le dual dun espace vectoriel norme ; exemples . . . . . . . . . . . . . . . . . . . . . 79
5.1.1 Dual dun espace de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
5.1.2 dual de L
p
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
5.1.3 dual de ((K) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
5.2 Theor`eme de Hahn-Banach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
5.2.1 Fonctionnelles sous-lineaires . . . . . . . . . . . . . . . . . . . . . . . . . . . 83
5.2.2
Enonce du theor`eme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
5.2.3 Preuve du theor`eme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
5.3 Consequences du theor`eme de Hahn-Banach . . . . . . . . . . . . . . . . . . . . . . 89
5.3.1 Le dual separe les points . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
5.3.2 Crit`ere de densite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
5.3.3 Separation des ensembles convexes . . . . . . . . . . . . . . . . . . . . . . . 91
5.4 Adjoint dun operateur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
5.4.1 Cas general . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
5.4.2 Cas hilbertien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96
5.4.3 Norme dun operateur auto-adjoint . . . . . . . . . . . . . . . . . . . . . . . 97
5.5 Convergence faible . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
2
6 Espaces de fonctions continues 101
6.1 Theor`eme de Stone-Weierstrass . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
6.2 Theor`eme dAscoli . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
6.2.1
Equicontinuite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 105
6.2.2 La version de base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
6.2.3 Ranements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
6.2.4 Une application . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
6.3 Fonctions continues sur un ouvert de R
d
. . . . . . . . . . . . . . . . . . . . . . . . 111
6.3.1 Topologie de la convergence uniforme sur tout compact . . . . . . . . . . . . 111
6.3.2 Fonctions holomorphes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
7 Operateurs compacts 115
7.1 Generalites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
7.2 Operateurs de Hilbert-Schmidt . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
7.2.1 Generalites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
7.2.2 Exemple fondamental . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 120
7.3 Diagonalisation des operateurs compacts . . . . . . . . . . . . . . . . . . . . . . . . 121
7.3.1 Preliminaires sur les valeurs propres . . . . . . . . . . . . . . . . . . . . . . . 121
7.3.2 Cas auto-adjoint . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123
7.3.3 Cas normal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 124
7.4 Applications du theor`eme de diagonalisation . . . . . . . . . . . . . . . . . . . . . . 125
7.4.1 Decomposition de Schmidt . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
7.4.2 Noyaux et sommes de series . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
7.4.3 Syst`emes de Sturm-Liouville . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
3
Chapitre 1
Vocabulaire
1.1 Distances et normes
Denition 1.1.1 Une distance sur un ensemble E est une application d : E E R
+
veriant
les proprietes suivantes :
(1) d(a, b) = d(b, a) pour tous a, b E ;
(2) d(a, b) = 0 si et seulement si a = b ;
(3) d(a, c) d(a, b) +d(b, c) pour tous a, b, c E.
Un espace metrique (E, d) est un ensemble E muni dune distance d.
Si on interpr`ete la distance comme un temps de parcours, la propriete de symetrie (1) signie que
le parcours en question est enti`erement reversible : il est aussi rapide daller de a vers b que de
revenir en a ` a partir de b. La propriete (2) signie que la distance d est susamment ne pour
distinguer les points de E. Linegalite (3) porte le nom dinegalite triangulaire. Elle signie quil
est toujours plus rapide daller directement dun point a ` a un point c que de passer par un point
intermediaire b.
Si a, x, y sont 3 points de E, alors, dapr`es linegalite triangulaire, on a d(x, a) d(y, a) d(x, y).
Par symetrie, on en deduit linegalite triangulaire inverse :
[d(x, a) d(y, a)[ d(x, y) .
Exemples
(1) Sur R, la distance usuelle est denie par d(x, y) = [x y[.
(2) Si T est un plan euclidien muni dun rep`ere orthonorme, on denit une distance sur T en
notant d(A, B) la longueur du segment [A; B]. En identiant T ` a R
2
de mani`ere evidente, on a
d(A, B) =
_
(x
B
x
A
)
2
+ (y
B
y
A
)
2
. De mani`ere equivalente, si on identie T ` a C, alors d est
donnee par d(a, b) = [b a[, o` u on a note [z[ le module dun nombre complexe z. On dit que d est
la distance euclidienne sur R
2
, ou encore la distance usuelle sur C.
(3) Si E est un ensemble quelconque, on denit une distance sur E en posant d(a, a) = 0 et
d(a, b) = 1 si a ,= b. On dit que d est la distance discr`ete sur X.
(4) Soit E lensemble de toutes les stations du metro parisien. On denit une distance sur E en
notant d(a, b) la longueur du plus court trajet entre a et b, exprimee en nombre de stations.
4
Denition 1.1.2 Soit E un espace vectoriel sur K = R ou C. Une norme sur E est une application
[[ . [[ : E R
+
veriant les proprietes suivante :
(1) [[x[[ = 0 si et seulement si x = 0.
(2) [[x +y[[ [[x[[ +[[y[[ pour tous x, y E
(3) [[x[[ = [[ [[x[[ pour tous x E et K.
Un espace vectoriel norme (E, [[ . [[) est un espace vectoriel E muni dune norme [[ . [[.
Il y a une evidente similarite formelle entre la denition dune distance et les 2 premi`eres proprietes
intervenant dans la denition dune norme. De fait, on a le resultat suivant, dont la preuve est
immediate.
Proposition 1.1.3 Si [[ . [[ est une norme sur un espace vectoriel E, alors on denit une distance
sur E en posant d(a, b) = [[b a[[. On dit que d est la distance associee `a la norme [[ . [[.
Notons que la distance associee `a une norme [[ . [[, outre le fait detre une distance, verie 2 pro-
prietes supplementaires :
elle est invariante par translation (d(a +p, b +p) = d(a, b) pour tout p E) ;
elle est homog`ene (d(a, b) = [[ d(a, b)).
La deuxi`eme propriete montre en particulier que la distance discr`ete sur un espace vectoriel E ,= 0
nest pas associee ` a une norme.
Exemple 1 La valeur absolue est une norme sur R, le module est une norme sur C.
Exemple 2 Normes sur K
d
Si p [1; [, on denit une norme [[ . [[
p
sur K
d
en posant
[[x[[
p
=
_
d
i=1
[x
i
[
p
_
1/p
.
Pour p = 2 , la norme [[ [[
2
sur R
d
est la norme euclidienne sur R
d
.
La norme [[ [[
sur K
d
est denie par
[[x[[
= max [x
i
[; 1 i n .
Exemple 3 Espaces pre-hilbertiens
Soit H un K-espace vectoriel. Si , ) est un produit scalaire sur H, alors on denit une norme sur
H en posant
[[x[[ =
_
x, x) .
Une propriete importante reliant la norme et le produit scalaire est linegalite de Cauchy-
Schwarz : si x, y H, alors
[x, y)[ [[x[[ [[y[[ .
Un espace vectoriel norme dont la norme provient dun produit scalaire est qualie despace pre-
hilbertien. Par exemple, (K
d
, [[ . [[
2
) est pre-hilbertien.
5
Exemple 4 Espaces de fonctions bornees
Une partie A dun espace vectoriel norme (F, [ . |) est dite bornee sil existe une constante C <
telle que |x| C pour tout x A. Une fonction f : T F est dite bornee si son image est une
partie de F.
Si T est un ensemble quelconque, on note
(T, K) en posant
[[f[[
= sup [f(t)[; t T .
En prenant T = 1; . . . ; d, on retrouve la norme [[ . [[
sur K
d
.
Plus generalement, si F est un espace vectoriel norme, on note
= sup[[f(t)[[; t T.
Exemple 5 Espaces L
p
Soit (T, /, ) un espace mesure. Pour p [1; [, la norme naturelle sur lespace de Lebesgue
L
p
(T, ) est donnee par
[[f[[
p
=
__
T
[f(t)[
p
d(t)
_
1/p
.
Pour p = , la norme naturelle sur L
= supess [f(t)[; t T ,
o` u supess est la borne superieure essentielle. Pour p = 2, la norme provient du produit scalaire
deni par
f, g) =
_
X
f(t)g(t) d(t) .
Deux cas particuliers importants sont `a isoler :
Lorsque X = 1; . . . ; d et que est la mesure de decompte, L
p
(T, ) sidentie `a K
d
et on
retrouve la denition de [[ . [[
p
donnee plus haut.
Lorsque T = N et que est `a nouveau la mesure de decompte, alors les espaces L
p
(T, ) siden-
tient ` a des espaces de suites : pour p < , on a
L
p
(N, )
p
(N) :=
_
x = (x
n
) K
N
;
0
[x
n
[
p
< +
_
,
et pour p = , on a
L
(N, )
(N) :=
_
x = (x
n
) K
N
; sup
n
[x
n
[ < +
_
.
Pour p = 2, la norme provient donc du produit scalaire deni par
x, y) =
0
x
n
y
n
.
Notons enn que lespace
(N, K) !
6
1.2 Convergence ; continuite
1.2.1 Suites convergentes
Denition 1.2.1 Soit (E, d) un espace metrique. On dit quune suite (x
n
) de points de E converge
vers un point a E si d(x
n
, a) tend vers 0 quand n tend vers linni.
Autrement dit, (x
n
) converge vers x si et seulement si la propriete suivante a lieu :
> 0 N n N d(x
n
, a) < .
La denition est donc formellement identique `a celle de la convergence dune suite de nombres reels :
on remplace simplement [x
n
a[ par d(x
n
, a).
Remarque 1 Comme dans le cas des suites numeriques, une suite ne peut pas converger simul-
tanement vers deux points dierents. Il ny a donc aucune ambiguite `a dire que a est la limite de
la suite (x
n
), et `a ecrire a = lim
n
x
n
.
Preuve. Supposons quune suite (x
n
) converge vers deux points distincts a et b. Comme d est
une distance, := d(a, b) est strictement positif. Comme (x
n
) converge ` a la fois vers a et vers b, on
a ` a la fois d(x
n
, a) < /2 et d(x
n
, b)/2 pour n assez grand. Dapr`es linegalite triangulaire, on en
deduit d(a, b) < , ce qui est absurde.
Remarque 2 Dans un espace vectoriel norme, toute suite convergente est bornee. La reciproque
est fausse.
Exemple 1 Une suite (z
n
) C converge pour la distance usuelle si et seulement si les suites
(Re(z
n
)) et (Im(z
n
)) convergent.
Exemple 2 Si on munit K
d
de la norme [[ . [[
. Une suite (f
n
)
si et seulement si (f
n
) converge uniformement vers f. Pour cette raison, la norme [[ . [[
est
qualiee de norme de la convergence uniforme.
Exemple 4 Soit (
1
([0; 1]) lensemble des fonctions f : [0; 1] K de classe (
1
. On denit une
norme [[ . [[
C
1 sur C
1
([0; 1]) en posant
[[f[[
C
1 = [[f[[
+[[f
[[
.
Alors, une suite (f
n
) (
1
([0; 1]) converge vers une fonction f (
1
([0; 1]) au sens de la norme
[[ . [[
C
1 si et seulement si (f
n
) converge uniformement vers f et (f
n
) converge uniformement vers f
.
Exemple 5 Une suite (x
n
) converge vers a pour la distance discr`ete si et seulement si on a x
n
= a
` a partir dun certain rang.
7
1.2.2 Applications continues
Denition 1.2.2 Soient E et F deux espaces metriques. On dit quune application f : E F est
continue en un point a E si f(x) tend vers f(a) lorsque x tend vers a, autrement dit si la
propriete suivante a lieu :
> 0 > 0 x E d(x, a) d(f(x), f(a)) < .
On dit que lapplication f est continue sur E si elle est continue en tout point de E.
A nouveau, cette denition est formellement identique ` a celle de la continuite pour les fonctions
dune variable reelle.
Exemple 1.2.3 Sur E = K
d
muni de la norme [[ . [[
pour tous x, y K
d
. Par consequent, la
i-`eme application coordonnee est continue.
Comme dans le cas des fonctions dune variable reelle, on montre que la continuite est compatible
avec les operations algebriques : la somme et le produit de deux fonctions numeriques continues sont
continues, linverse dune fonction continue qui ne sannule pas est continue. De meme, la composee
de deux applications continues est continue. On en deduit en particulier le resultat suivant :
Corollaire 1.2.4 Soit f : A K, o` u A K
d
. Si f(x
1
, . . . , x
d
) sexprime par une formule
algebrique en fonction de x
1
, . . . , x
d
, alors f est continue sur (A, [[ . [[
).
Le resultat suivant, qui est dusage constant, caracterise la continuite en termes de suites.
Proposition 1.2.5 Soient E, F deux espaces metriques, et soit a E. Pour une application f :
E F, les proprietes suivantes sont equivalentes :
(1) f est continue en a ;
(2) pour toute suite (x
n
) E convergeant vers a, la suite (f(x
n
)) converge vers f(a).
Preuve. Limplication (1) (2) decoule tr`es facilement des denitions. Inversement, supposons que
(1) ne soit pas veriee. Cela signie quil existe un nombre
0
> 0 veriant la propriete suivante :
pour tout > 0, on peut trouver x() E tel que d(x(), a) < et d(f(x(), f(a))
0
. En
posant
n
= 2
n
et x
n
= x(
n
), on obtient une suite (x
n
) qui converge vers a et telle que (f(x
n
)) ne
converge pas vers f(a). Ainsi, (2) nest pas veriee. On a donc montre par contraposee que (2)
entrane (1).
1.2.3 Applications lipschitziennes
Soient (E, d
E
) et (F, d
F
) deux espaces metriques. Une application f : E F est dite lipschitzienne
sil existe une constante k < telle que
d
F
(f(x), f(y)) k d
E
(x, y)
8
pour tous x, y E. Si k est une telle constante, on dit que f est k-lipschitzienne. Si on pose
Lip(f) = sup
_
d
F
(f(x), f(y))
d
E
(x, y)
; x, y E, x ,= y
_
alors la constante k = Lip(f) verie la propriete precedente, et est visiblement la plus petite
constante veriant cette propriete. On dit que Lip(f) est la constante de Lipschitz de lap-
plication f. Par denition de Lip(f), on a donc lequivalence suivante :
_
d(f(x), f(y)) k d(x, y) pour tous x, y E
_
_
f est lipschitzienne et Lip(f) k
_
.
Il est clair que toute application lipschitzienne est continue, mais la reciproque est fausse. Par
exemple la fonction x
x est continue sur R
+
, mais elle nest pas lipschitzienne car
x/x tend
vers + quand x tend vers 0. Voici deux exemples importants de fonctions lipschitziennes.
Exemple 1 Soit I un intervalle de R et soit f : I R une fonction derivable. Alors f est
lipschitzienne si et seulement si f
[[
.
Preuve. Si f
[[
[[
Lip(f).
Exemple 2 Soit (E, d) un espace metrique. Pour tout point a E, lapplication x d(x, a)
est 1-lipschitzienne. Plus generalement, soit A une partie de E. Pour tout x E, on denit la
distance de x `a A par
d(x, A) = inf d(x, z); z A
Alors la fonction d( . , A) est 1-lipschitzienne, et donc continue.
Preuve. Soient x, y E. Pour tout point z A, on a d(x, A) d(x, z) d(x, y)+d(y, z). En prenant
la borne inferieure en z A dans le membre de droite, on en deduit d(x, A) d(x, y)+d(y, A), do` u
d(x, A) d(y, A) d(x, y). Par symetrie, on a en fait [d(x, A) d(y, A)[ d(x, y), ce qui termine
la demonstration.
remarque. La meme preuve montre plus generalement si (f
i
)
iI
est une famille de fonctions k-
lipschitziennes sur (E, d) et si (f
i
) est minoree en tout point, alors la fonction inf
i
f
i
est k-lipschitzienne.
De meme, si (f
i
)
iI
est une famille de fonctions k-lipschitziennes majoree en tout point, alors la
fonction sup
i
f
i
est k-lipschitzienne.
1.3 Vocabulaire topologique
1.3.1 Ouverts et fermes dun espace metrique
Dans toute cette section, (E, d) est un espace metrique.
9
Denition 1.3.1 Soit a E, et soit r 0. La boule ouverte de centre a et de rayon r est
lensemble
B(a, r) := x E; d(x, a) < r .
La boule fermee correspondante est lensemble B
f
(a, r) := x; d(x, a) r
Exemples
(1) Dans R, la boule ouverte B(a, r) est lintervalle (ouvert !) ]a r; a + r[ ; la boule fermee est
lintervalle [a r; a +r].
(2) Dans C = R
2
muni de la distance usuelle, les boules sont des disques.
(3) Dans R
2
muni de la norme [[ . [[
) O, et on prend r = r
/2.
Proposition 1.3.3 Toute boule ouverte est un ensemble ouvert.
Preuve. Soit O = B(a, r) une boule ouverte, et soit x un point quelconque de B. On a d(x, a) < r
donc on peut trouver > 0 tel que + d(x, a) < r. Dapr`es linegalite triangulaire, on a alors
B(x, ) B(a, r) = O. Comme x est un point quelconque de O, cela prouve que O est un ouvert
de E.
Proposition 1.3.4 La famille des ouverts de (E, d) verie les proprietes suivantes.
(1) et E sont des ouverts de E.
(2) Une reunion quelconque douverts est encore un ouvert.
(3) Une intersection nie douverts est encore un ouvert
10
Preuve. La partie (1) est evidente, et la partie (2) decoule directement des denitions. Pour
demontrer (3), il sut de montrer que lintersection de 2 ouverts de E est encore un ouvert :
on proc`ede ensuite par recurrence. Soient donc O
1
et O
2
deux ouverts de E. Si x O
1
O
2
, on peut
trouver r
1
> 0 tel que B(x, r
1
) O
1
, et r
2
> 0 tel que B(x, r
2
) O
2
. Si on pose r = min(r
1
, r
2
),
alors r > 0 et B(x, r) O
1
O
2
. Cela prouve que O
1
O
2
est un ouvert de E.
Corollaire 1.3.5 Un ensemble O E est ouvert pour la distance d si et seulement si O est une
reunion de boules ouvertes.
De facon generale, on appelle topologie sur un ensemble E toute famille de parties de E contenant
et E, stable par reunions quelconques, et stable par intersections nies. Ainsi, la famille de tous
les ouverts dun espace metrique (E, d) est une topologie sur E, quon appelle la topologie denie
par d. Notons une propriete importante veriee par cette topologie.
Remarque Si x, x
tels que
x O, x
et O O
= .
Preuve. Il sut de prendre O = B(x, r) et O
= B(x
).
Une topologie veriant cette propriete est dite separee. Un exemple de topologie non separee
(si E contient au moins 2 points) est la topologie dit grossi`ere, o` u les seuls ouverts sont et E.
Denition 1.3.6 Soit (E, d) un espace metrique. On dit quun ensemble C E est ferme dans
E sil verie la propriete suivante : chaque fois quune suite (x
n
) delements de C converge dans E,
sa limite appartient encore `a C.
Exemple 1 Dans R, un intervalle est ferme si et seulement si cest un intervalle ferme.
Exemple 2 Toute boule fermee est un ensemble ferme. En particulier, les singletons sont des
ensembles fermes.
Preuve. Si (x
n
) converge vers x et d(x
n
, a) r pour tout n, alors, par continuite de lapplica-
tion u d(u, a), on obtient d(x, a) r en passant ` a la limite. Cela prouve quune boule fermee
B
f
(a, r) est un ensemble ferme. Enn, un singleton est une boule fermee de rayon r = 0.
Exemple 3 Soit [a; b] un intervalle ferme borne. Notons (([a; b]) lensemble des fonctions continues
f : [a; b] K. Alors (([a; b]) est un sous-espace vectoriel ferme de
([a; b], K). Le fait quil soit ferme est la traduction du theor`eme
bien connu suivant : une limite uniforme de fonctions continues est continue.
Exemple 4 Soit c
0
= c
0
(N) lensemble de toutes les suites x = (x(i)) K
N
veriant lim
i
x(i) =
11
0. Alors c
0
est un sous-espace ferme de (
(N), [[ . [[
).
Preuve. Soit (x
n
) une suite delements de c
0
convergeant vers un point x
pour la norme
[[ . [[
). En eet, on a V =
f
1
(]0; +[), o` u f : R
2
R est lapplication continue denie par f(x, y) = y
2
x. Comme ]0; +[
est un ouvert de R, lensemble V est bien ouvert dans R
2
.
(2) La parabole T = (x, y) R
2
; y
2
= x est un ferme de R
2
. En eet, avec les notations
precedentes, on a T = f
1
(0).
(3) Si T : E F est une application lineaire continue entre deux espaces vectoriels normes, alors
le noyau de T est un sous-espace vectoriel ferme de E. En eet, on a Ker(T) = T
1
(0), et 0
est ferme dans F.
1.3.2 Adherence, interieur
Dans cette section, (E, d) est un espace metrique.
Denition 1.3.10 On dit quun point x E est adherent `a un ensemble A E si toute boule
ouverte B(x, ) rencontre A, autrement dit, si pour tout > 0, on peut trouver un point a A
tel que d(x, a) < . Lensemble de tous les points de E adherents `a une partie A de E est appele
l adherence de A dans E, et se note A. Par denition, on a donc A A.
Exemples
(1) Dans R, ladherence dun intervalle est lintervalle ferme correspondant.
(2) Dans (R
2
, [[ . [[
n
= 2
n
, n N, on peut trouver un point x
n
A tel que d(x
n
, x) < 2
n
: cela prouve (3).
Corollaire 1.3.12 Un ensemble C E est ferme si et seulement si C = C.
Preuve. Dapr`es (3), un ensemble C est ferme si et seulement si C C, do` u le resultat puisquon
a toujours C C.
Proposition 1.3.13 Si A est une partie de E, alors A est un ferme de E. Plus precisement, A est
le plus petit ferme de E contenant A.
Preuve. On a bien s ur A A. Pour montrer que A est ferme, xons une suite (x
n
) A convergeant
vers un point x E. Comme x
n
A, on peut, pour chaque n N, trouver un point x
n
A tel que
d( x
n
, x
n
) < 2
n
. Alors la suite ( x
n
) converge vers x car d( x
n
, x) < 2
n
+d(x
n
, x), ce qui prouve que
x A. Ainsi, A est un ferme de E. Enn, si C est un ferme de E tel que A C, alors A C = C,
ce qui prouve la minimalite de A.
13
Corollaire 1.3.14 Si A, B sont des parties de E, alors A B = A B.
Preuve. On a A AB, donc A A B; de meme pour B, do` u AB A B. De plus, AB
est ferme en tant que reunion de 2 fermes, et A B contient A B, donc A B A B par
minimalite de A B.
Denition 1.3.15 On dit quun point a E est interieur `a une partie A E sil existe r > 0 tel
que B(a, r) A; on dit encore que A est un voisinage de a dans E. Lensemble de tous les points
interieurs `a un ensemble A sappelle l interieur de A dans E et se note
A. Par denition, on a
donc
A A.
Par denition de linterieur, un ensemble O E est ouvert si et seulement si O
O. Comme on a
toujours
A A, on en deduit le resultat suivant.
Proposition 1.3.16 Un ensemble O E est ouvert si et seulement si
O = O, autrement dit, si et
seulement si O est un voisinage de chacun de ses points.
Toujours par denition de linterieur, on constate quun point a E nest pas interieur ` a un
ensemble A si et seulement si a est adherent ` a E A. Autrement dit, on a
A = E (E A) .
On en deduit aussitot le resultat suivant, qui peut bien s ur aussi se demontrer directement.
Proposition 1.3.17 Si A est une partie de E, alors
A est un ouvert de E. Cest le plus grand
ouvert de E contenu dans A.
Les deux resultats suivants sont souvent utiles. Le premier est faux dans un espace metrique general,
par exemple dans un espace discret.
Proposition 1.3.18 Dans un espace vectoriel norme, ladherence dune boule ouverte non vide est
la boule fermee correspondante, et linterieur dune boule fermee est la boule ouverte correspondante.
Preuve. Soit B = B(a, r) une boule ouverte non vide (r > 0) dans un espace vectoriel norme E,
et soit B
f
la boule fermee correspondante. Comme B
f
est fermee et contient B, on a B B
f
.
Inversement, soit x B
f
. Pour tout n N, le point x
n
= (1 2
n
)x + 2
n
a appartient ` a B car
[[x
n
a[[ = (1 2
n
)[[x a[[ < r. Comme la suite (x
n
) converge vers x, on a donc x B.
Montrons maintenant que linterieur de la boule fermee B
f
est la boule ouverte B. On a B
B
f
car B est un ouvert contenu dans B
f
. Inversement, soit x
B
f
, et soit > 0 tel que B(x, ) B
f
.
Pour > 0 assez petit, le point y = x + (x a) appartient `a B(x, ), et donc [[y a[[ r, ou
encore (1 +)[[x a[[ r. On a donc [[x a[[ < r, autrement dit x B.
Proposition 1.3.19 Soit E et F deux espaces metriques. Pour une application f : E F, les
proprietes suivantes sont equivalentes :
(1) f est continue ;
(2) pour tout ensemble A E, on a f(A) f(A).
14
Preuve La preuve de (1) entrane (2) est tr`es simple en utilisant des suites : si x A et si
(x
n
) A converge vers x, alors f(x
n
) tend vers f(x) par continuite de f et donc f(x) f(A). On
peut aussi demontrer cette implication en utilisant uniquement la caracterisation de la continuite
en termes dimages reciproques ; cest un exercice instructif. Inversement, supposons (2) veriee.
Soit C un ferme quelconque de F, et posons A = f
1
(C). Par (2), on a f(A) C = C, et donc
A f
1
(C) = A. Ainsi, A = f
1
(C) est ferme dans E, pour tout ferme C F, ce qui prouve que
f est continue.
1.3.3 Fronti`ere ; connexite
Denition 1.3.20 Si A est une partie de E, la fronti`ere de A dans E est lensemble A := A
A.
Par exemple, dans (R
2
, | . |
[[ . [[
2
d [[ . [[
.
La preuve est laissee en exercice.
Exemple 2 Sur E = (([0; 1]), les normes [[ . [[
et [[ . [[
1
ne sont pas equivalentes.
Preuve. Si f (([0; 1]), alors [[f[[
1
=
_
1
0
[f(t)[ dt [[f[[
= 1 pour tout n.
1.4.1
Equivalence des normes en dimension nie
Le resultat suivant est fondamental.
Theor`eme 1.4.4 Sur un espace vectoriel de dimension nie, toutes les normes sont equivalentes.
Preuve. Comme tout C-espace vectoriel est egalement un R-espace vectoriel, on peut supposer que
le corps de base est R. Soit donc E un R-espace vectoriel de dimension nie, et xons en une base
(e
1
, . . . , e
d
). On identie E ` a R
d
via cette base, ce qui permet de considerer la norme [[ . [[
sur E.
On va montrer que toute norme sur E est equivalent `a [[ . [[
d
1
x(i)e
i
E, alors
[[x[[
d
i=1
[[x(i)e
i
[[ =
d
i=1
[x(i)[ [[e
i
[[ .
On en deduit
[[x[[ C [[x[[
,
o` u C =
d
1
[[e
i
[[. Il reste donc ` a trouver une deuxi`eme constante c telle que [[ . [[ c [[ . [[
. On
aura besoin pour cela de deux lemmes.
Lemme 1.4.5 Lapplication [[ . [[ est continue sur (E, [[ . [[
).
Preuve. Pour x, y E, on a [ [[x[[ [[y[[ [ [[x y[[ C[[x y[[
, do` u le resultat.
17
Lemme 1.4.6 Toute suite bornee dans (E, [[ . [[
), et ecrivons x
n
=
d
1
x
n
(i)e
i
. Par denition de
la norme [[ . [[
, chaque suite (x
n
(i))
nN
est bornee dans R. Dapr`es le theor`eme de Bolzano-
Weierstrass, la suite (x
n
) poss`ede une sous-suite (x
n
) telle que (x
n
(1)) converge. De meme, (x
n
)
poss`ede une sous-suite (x
n
) telle que (x
n
(2)) converge ; alors (x
n
(1)) converge egalement, en tant
que sous-suite de (x
n
(1)), donc (x
n
(i)) converge pour i = 1, 2. En repetant d fois ce raisonnement,
on voit quon aboutit ` a une sous-suite ( x
n
) de (x
n
) telle que ( x
n
(i)) converge pour i = 1, . . . , d.
Ainsi ( x
n
) converge coordonnee par coordonnee, autrement dit converge dans (E, [[ . [[
).
On peut maintenant achever la preuve du Theor`eme 1.4.4.
Posons S
= x E; [[x[[
= 1, et c = inf [[x[[; x S
. Par denition, on a
_
_
_
x
||x||
_
_
_ c pour
tout x ,= 0, do` u [[x[[ c [[x[[
= lim[[x
n
[[
= 1, donc x ,= 0,
et dautre part [[x[[ = lim[[x
n
[[ = c, donc c ,= 0 puisque x ,= 0 et que [[ . [[ est une norme.
Corollaire 1.4.7 Un espace vectoriel E de dimension nie poss`ede une unique topologie despace
vectoriel norme, quon appelle la topologie usuelle de E. Si E = K
d
, cette topologie est celle de
la convergence coordonnee par coordonnee.
Par exemple, on peut parler de la convergence dune suite de matrices sans quil soit necessaire de
denir explicitement une norme sur /
d
(K) : une suite de matrices converge si et seulement si elle
converge coecients par coecients.
Corollaire 1.4.8 Soit E un espace vectoriel norme de dimension nie, et soit e = (e
1
, . . . , e
d
) une
base de E. Soit egalement f : E K. Si f(x) sexprime par une formule algebrique en fonction
des coordonnees de x dans la base e, alors la fonction f est continue.
Preuve. Par equivalence des normes, on peut se ramener au cas o` u E = (K
d
, [[ . [[
), pour lequel le
resultat a dej`a ete demontre.
Par exemple, lapplication determinant est continue sur /
d
(K) car le determinant dune ma-
trice M est fonction polynomiale des coecients de M.
Corollaire 1.4.9 Dans un espace vectoriel norme de dimension nie, toute suite bornee poss`ede
une sous-suite convergente.
Preuve. On peut se ramener `a (R
d
, [[ . [[
1
(K
) est un ouvert de /
d
(K). Montrons que cet ouvert est dense.
Soit M /
d
(K), et pour t [0; 1], soit M(t) la matrice tM + (1 t)Id. La fonction P denie
par P(t) = det(M(t)) est polynomiale, et P(0) = 1 ,= 0. Par consequent, P na quun nombre ni
de racines. On peut donc trouver une suite (t
n
) tendant vers 1 telle que P(t
n
) ,= 0 pour tout n.
Alors M(t
n
) est inversible pour tout n, et M(t
n
) tend vers M(1) = M. Comme M est une matrice
quelconque, on a bien montre que GL
d
(K) est dense dans /
d
(K).
Exemple 3 Lensemble des fonctions continues `a support compact est dense dans L
p
(R
d
), pour
tout p [1; [.
Preuve. Par compact, on entend ici ferme borne. La demonstration utilise les deux faits suivants.
21
Fait 1 (regularite de la mesure de Lebesgue)
Pour tout borelien A R
d
de mesure nie, on peut trouver un compact K et un ouvert O tels que
K A O et m(O K) est arbitrairement petite.
Fait 2 Soit (E, d) un espace metrique. Si C
1
sont deux fermes de E tels que C
0
C
1
= , alors on
peut trouver une fonction continue f : E [0; 1] valant 0 sur C
0
et 1 sur C
1
. Par exemple, on peut
prendre
f(x) =
d(x, C
0
)
d(x, C
0
) +d(x, C
1
)
.
On sait que les fonctions etagees sont denses dans L
p
. Pour obtenir la densite des fonctions continues
` a support compact, il sut donc de montrer que si f L
p
(R
d
) est etagee et si > 0 est donne,
alors on peut trouver une fonction continue ` a support compact telle que [[f [[
p
< . Fixons
f.
Ecrivons f =
i
1
A
i
, o` u la somme est nie et les A
i
sont des boreliens deux ` a deux disjoints.
Comme f L
p
et p < , les ensembles A
i
sont de mesure nie. Par regularite de la mesure de
Lebesgue, on peut trouver des compacts K
i
et des ouverts O
i
tels que K
i
A
i
O
i
et m(O
i
K
i
)
est arbitrairement petite. On peut ensuite choisir des fonctions continues f
i
: R
d
[0; 1] telles que
f
i
= 1 sur K
i
et f
i
est ` a support compact contenu dans O
i
: on applique le fait 2 avec C
1
= O
i
et C
2
= R
d
W
i
, o` u W
i
est un ouvert contenant K
i
tel que W
i
est compact et contenu dans O
i
;
` a ce stade du cours, lexistence dun tel ouvert na en fait rien devident (voir 3.3.2, exemple 2).
Alors la fonction =
i
f
i
est continue `a support compact, et [[f[[
p
est arbitrairement petite.
Exemple 4 Si [a; b] R est un intervalle ferme borne, alors lensemble des fonctions polynomiales
est dense dans (([a; b]) pour la norme [[ . [[
nN
Q
n
est denombrable, on en deduit sans peine le resultat.
Exemple 4 Si [a; b] est un intervalle ferme borne, alors lespace (([a; b]) est separable.
Preuve. Dapr`es le theor`eme de Weierstrass et la densite de Q dans R, les fonctions polynomiales ` a
coecients rationnels sont denses dans (([a; b]).
On dit quune famille douverts B dun espace metrique E est une base pour la topologie de
E si tout ouvert de E est reunion douverts appartenant ` a la famille B. Il revient au meme de dire
que pour tout ouvert O E et pour tout point x O, on peut trouver un ouvert B appartenant ` a
la famille B tel que x B O.
Proposition 1.7.2 Pour un espace metrique (E, d), les proprietes suivantes sont equivalentes :
(1) E est separable ;
(2) la topologie de E poss`ede une base denombrable douverts.
Preuve. Supposons E separable, et xons un ensemble D E denombrable et dense dans E. Notons
B la famille de toutes les boules ouvertes de la forme B(z, r), ou z D et r Q. La famille B est
denombrable. Si O est un ouvert de E et si x O, on peut trouver un nombre rationnel r > 0
tel que B(x, 2r) O, puis un point z D dans la boule ouverte B(x, r). Alors x B(z, r) et
B(z, r) B(x, 2r) O. Cela montre que B est une base pour la topologie de E.
Supposons maintenant que la topologie de E poss`ede une base denombrabe B. Pour tout ouvert non
vide B B, choisissons un point x
B
B, et posons D = x
B
; B B. Alors D est denombrable,
et il est visiblement dense dans E : tout ouvert O ,= contient un ouvert B B, donc un point
x
B
D.
Corollaire 1.7.3 (propriete de Lindelof )
Soit E un espace metrique separable. Si (O
i
)
iI
est une famille douverts de E, alors il existe un
ensemble denombrable J I tel que
iJ
O
i
=
iI
O
i
.
Preuve. Soit B une base denombrable pour la topologie de E. Notons
B la famille de tous les
ouverts B B contenus dans un certain O
i
, et pour B
B, choisissons un indice i
B
tel que
B O
i
B
. Enn, posons, J = i
B
; b
B. Lensemble J est denombrable, et on a tout fait pour
avoir
iJ
O
i
=
iI
O
i
.
Corollaire 1.7.4 Soit (E, d) un espace metrique separable. Pour tout > 0 donne, lespace E est
reunion denombrable de boules ouvertes de rayon .
Preuve. Pour x E, posons O
x
= B(x, ). Alors E =
xE
O
x
, donc il sut dappliquer le corollaire
precedent.
Corollaire 1.7.5 Tout sous-espace dun espace metrique separable est separable.
23
Preuve. Soit E un espace metrique separable, et soit A E. Si B = (B
i
)
iI
est une base denombrable
pour la topologie de E, alors la famille B
A
= (B
i
A)
iI
est une base denombrable pour la topologie
de A.
Proposition 1.7.6 Tout produit ni despaces metriques separables est separable.
Preuve. Si E
1
, . . . , E
k
sont separables, et si D
i
est denombrable et dense dans E
i
, alors D
1
. . . D
k
est denombrable et dense dans E
1
. . . E
k
.
Corollaire 1.7.7 Si E
1
et E
2
sont deux espaces metriques separables, alors la tribu borelienne de
E
1
E
2
est egale `a la tribu produit Bor(E
1
) Bor(E
2
).
Preuve. Comme E
1
E
2
est separable, la propriete de Lindel of entrane que tout ouvert de E
1
E
2
est
reunion denombrable de paves ouverts V
1
V
2
. Ces paves ouverts appartiennent `a Bor(E
1
)Bor(E
2
),
donc tout ouvert de E
1
E
2
appartient ` a Bor(E
1
) Bor(E
2
). Par consequent, on a Bor(E
1
E
2
)
Bor(E
1
) Bor(E
2
). Linclusion inverse est toujours veriee, que les E
i
soient separables ou non.
Proposition 1.7.8 Dans un espace metrique separable, toute famille douverts non vides deux `a
deux disjoints est denombrable.
Preuve. Soit E un espace metrique separable, et soit D une partie denombrable dense de E. Enn,
soit (O
i
)
iI
une famille douverts non vides de E deux `a deux disjoints. Comme D est dense dans
E, on peut, pour chaque i I, choisir un point x
i
D tel que x
i
O
i
. Comme les O
i
sont deux
` a deux disjoints, on a x
i
,= x
j
si i ,= j, autrement dit lapplication i x
i
est injective. On a donc
trouve une injection de I dans lensemble denombrable D, ce qui prouve que I est denombrable.
Corollaire 1.7.9 Dans un espace pre-hilbertien separable, toute famille orthonormale de vecteurs
est denombrable.
Preuve. Soit (x
i
)
iI
une famille orthonormale dans un espace pre-hilbertien separable H. Si i ,= j,
alors, dapr`es le theor`eme de Pythagore, on a [[x
i
x
j
[[
2
= [[x
i
[[
2
+[[x
j
[[
2
= 2, donc [[x
i
x
j
[[ =
2.
Par consequent, les boules ouvertes B
i
= B(x
i
,
(N), [[ . [[
2, alors (r
n
) est de Cauchy dans
Q mais ne converge pas dans Q.
25
Exemple 3 Tout espace vectoriel norme de dimension nie est complet.
Preuve. Par equivalence des normes, on peut se ramener au cas de (R
d
, [[ . [[
). Si une suite
(x
n
) est de Cauchy dans (R
d
, [[ . [[
).
Exemple 4 Soit T un ensemble quelconque. Si (F, | . |
F
) est un espace de Banach, alors les-
pace
. En particulier,
(T, F), [[ . [[
).
Pour tout point t T et pour tous p, q N, on a [[f
p
(t) f
q
(t)[[
F
[[f
p
f
q
[[
par denition de la
norme [[ . [[
.
Comme (f
n
) est de Cauchy pour [[ . [[
(T, F).
Soit > 0. Comme (f
n
) est de Cauchy pour [[ . [[
.
On traduit souvent la completude de
+[[f
[[
.
Preuve. Soit (f
n
) (
1
([a; b]) une suite de Cauchy pour [[ . [[
C
1. Par denition de [[ . [[
C
1, on
voit que les deux suites (f
n
) et (f
n
) sont uniformement de Cauchy. Ces deux suites sont donc uni-
formement convergentes : il existe deux fonctions f et g telles que f
n
f uniformement et f
n
g
uniformement. Dapr`es un theor`eme bien connu, on peut armer que f est de classe (
1
et f
= g.
Ainsi, f
n
f uniformement et f
n
f
) est complet.
Plus generalement, si E est un espace metrique, F un espace de Banach, et si on note (
b
(E, F)
lensemble de toutes les fonctions f : E F continues bornees, alors (
b
(E, F) est complet pour la
norme [[ . [[
.
Preuve. (
b
(E, F) est ferme dans (
(E, F), [[ . [[
, [[ . [[
).
Corollaire 2.1.4 Si E est un espace vectoriel norme, alors tout sous-espace vectoriel de E de
dimension nie est ferme dans E.
Dapr`es la proposition precedente, un ouvert dun espace metrique complet nest a priori pas complet
pour la distance induite. On a cependant le resultat suivant, qui montre en particulier que la
completude nest pas une propriete topologique mais bien une propriete metrique, cest-`a-dire une
propriete du couple (E, d).
Remarque 2.1.5 Soit (E, d) un espace metrique, et soit O un ouvert de E. Pour x, y O, posons
(x, y) = d(x, y) +
1
d(x, E O)
1
d(y, E O)
.
(1) est une distance sur O, equivalente `a la distance d.
(2) Si (E, d) est complet, alors O est complet pour .
La preuve est un exercice instructif.
On dit quune serie
x
n
dans un espace vectoriel norme E est absolument convergente si
la serie numerique
[[x
n
[[ est convergente. Le resultat suivant est fondamental.
Theor`eme 2.1.6 Si E est un espace de Banach, alors toute serie absolument convergente `a termes
dans E est convergente dans E.
27
Preuve. Soit E un espace de Banach, et soit
x
n
une serie absolument convergente ` a termes dans
E. Pour n N, posons S
n
=
n
0
x
k
. Pour p < q, on a
[[S
q
S
p
[[ =
_
_
_
_
_
q
p+1
x
k
_
_
_
_
_
p+1
[[x
k
[[ .
Comme la serie
[[x
n
[[ est convergente, cela prouve que la suite (S
n
) est de Cauchy dans E. Comme
E est complet, on a donc montre que la serie
x
n
est convergente dans E.
Il se trouve que le theor`eme precedent caracterise les espaces de Banach :
Proposition 2.1.7 Soit E un espace vectoriel norme. Si toute serie absolument convergente `a
termes dans E est convergente, alors E est complet.
Preuve. Supposons que toute serie absolument convergente ` a termes dans E soit convergente. Soit
(x
n
) une suite de Cauchy dans E. En prenant = 2
n
dans la denition dune suite de Cauchy, on
voit quon peut trouver une suite strictement croissante dentiers (p
n
) telle que [[x
q
x
p
n
[[ 2
n
pour tout n et pour tout q > p
n
. En particulier, on a [[x
p
n+1
x
p
n
[[ 2
n
, donc la serie
(x
p
n+1
x
p
n
) est absolument convergente. Cette serie est donc convergente dans E, et comme on
a
n1
0
(x
p
k+1
x
p
k
) = x
p
n
x
p
0
pour tout n 1, on en deduit que la suite (x
p
n
) converge vers
un certain x E. En utilisant ` a nouveau la denition dune suite de Cauchy, on montre alors sans
diculte que la suite (x
n
) tout-enti`ere converge vers x.
Exemple 1 Completude de L
1
Comme illustration de la propriete precedente, demontrons la completude de lespace L
1
(T, ). Soit
f
n
une serie absolument convergente `a termes dans L
1
: on a donc par denition
0
[[f
n
[[
1
< .
Posons g(t) =
0
[f
n
(t)[. La fonction g est une fonction mesurable positive bien denie, ` a valeurs
eventuellement innies. De plus, dapr`es le theor`eme dinterversion serie-integrale, on a
_
T
g d =
0
_
T
[f
n
[ d =
0
[[f
n
[[
1
< . Ainsi, g est integrable, donc en particulier nie presque partout.
La serie
f
n
(t) est donc presque partout absolument convergente, donc presque partout conver-
gente, et la fonction f =
0
f
n
, maintenant bien denie, est integrable puisque [f[ g. Pour tout
n N, on a [[
n
0
f
k
f[[
1
k>n
[[f
k
[[
1
, ce qui prouve que la serie
f
n
converge en norme L
1
vers f.
Exemple 2 Quotients
Soit X un espace vectoriel norme, et soit E un sous-espace vectoriel de X. Si x X, alors la
distance de x ` a E,
d(x, E) = inf|x z|; z E ,
ne depend que de la classe de x dans lespace vectoriel quotient X/E. On denit donc sans ambiguite
une application | . |
X/E
: X/E R
+
par la formule
|[x]| = d(x, E) ,
o` u on a note [x] la classe de x dans X/E. On verie sans diculte quon a |u|
x/E
= [[ |u|
X/E
pour u X/E et K, et |u + v|
X/E
|u|
X/E
+ |v|
X/E
pour u, v X/E. Si E est de plus
28
ferme dans X, alors |u|
X/E
ne peut valoir 0 que si u = 0, car pour x X, on a d(x, E) = 0
si et seulement si x E = E. Ainsi, | . |
X/E
est une norme sur lespace quotient X/E, quon
appelle la norme quotient associee ` a la norme donnee sur X. Par denition de la norme quotient,
lapplication lineaire quotient
: X X/E
verie (
B
X
) =
B
X/E
. En particulier, est continue et || = 1 (voir le chapitre 4).
Proposition 2.1.8 Si X est un espace de Banach et si E est un sous-espace ferme de X, alors
lespace quotient X/E est un espace de Banach pour la norme quotient | . |
X/E
.
Preuve. Soit
u
n
une serie absolument convergente ` a termes dans X/E. La denition de la norme
quotient montre que pour tout n N, on peut trouver x
n
X tel que (x
n
) = u
n
et |x
n
| <
|u
n
|
X/E
+2
n
. Alors la serie
x
n
est absolument convergente, donc elle converge dans X puisque
X est un espace de Banach. Comme est lineaire continue, on en deduit que la serie
u
n
converge
dans X/E, avec
0
u
n
= (
0
x
n
).
2.2 Theor`eme du point xe
Le theor`eme suivant est dune tr`es grande utilite.
Theor`eme 2.2.1 (theor`eme du point xe)
Soit (E, d) un espace metrique complet, et soit Z un ensemble contenant E. Soit egalement : E
Z. On suppose que verie les deux proprietes suivantes.
(1) E est stable par , autrement dit (E) E ;
(2) est contractante pour la distance d, cest-`a-dire lipschitzienne de rapport k < 1.
Alors poss`ede un unique point xe a E. De plus, pour tout point x
0
E, la suite des iterees
(
n
(x
0
)) converge vers a.
Preuve. Soit x
0
E, et posons x
n
=
n
(x
0
), n N. Pour tout i 1, on a d(x
i+1
, x
i
) =
d((x
i
), (x
i1
)) k d(x
i
, x
i1
). Par recurrence, on en deduit d(x
i+1
, x
i
) k
i
d(x
1
, x
0
) pour tout
i N. Par consequent, si p < q, alors
d(x
q
, x
p
)
q1
i=p
d(x
i
, x
i+1
)
pi<q
k
i
d(x
1
, x
0
).
Comme k < 1, la serie
k
i
est convergente. Par consequent, linegalite precedente montre que la
suite (x
n
) est de Cauchy pour d, et converge donc vers un point a E puisque E est complet.
Comme est Lipschitzienne, elle est continue sur E, donc a est un point xe de . Enn, si b est
un autre point xe, alors d(a, b) = d((a), (b)) k d(a, b) ; et comme k < 1, cela nest possible
que si d(a, b) = 0, autrement dit b = a.
Corollaire 2.2.2 Avec les notations precedentes, on suppose seulement que verie (1) et quil
existe un entier p 1 tel que
p
est contractante. Alors poss`ede un unique point xe, et pour
tout point x
0
E, la suite (
n
(x
0
)) converge vers ce point xe.
29
Preuve. Sous ces hypoth`eses, lapplication
p
poss`ede un unique point xe a. Si on pose b = (a),
alors b est aussi point xe de
p
, donc b = a par unicite ; ainsi, a est un point xe de . Tout
point xe de est egalement point xe de
p
, donc egal `a a, donc a est le seul point xe de
. Enn, si x
0
E, alors chaque suite (
i+kp
(x
0
))
kN
, i 0; . . . ; p 1, converge vers a (car
i+kp
(x
0
) = (
p
)
k
(x
i
), o` u x
i
=
i
(x
0
)), donc la suite (
n
(x
0
))
nN
converge vers a.
2.2.1 Theor`eme de Cauchy-Lipschitz
Le theor`eme du point xe poss`ede dinnombrables applications spectaculaires. On va en donner
seulement une ici : le theor`eme de Cauchy-lipschitz.
Soit X un espace de Banach, et soit f : [t
0
; t
0
+ ] B(x
0
, r) X, o` u x
0
X, t
0
R
et , r > 0. On sinteresse au probl`eme de Cauchy
()
_
x
.
Si x ((I, B(x
0
, r)) et t, t
I alors :
[[(x)(t) (x)(t
)[[ =
_
_
_
_
t
t
f(s, x(s)) ds
_
_
_
_
t
t
[[f(s, x(s))[[ ds
M [t t
[
r ,
30
la derni`ere inegalite venant de lhypoth`ese (2). On en deduit dune part que (x) est M-lipschitzienne,
et donc continue ; et dautre part, en prenant t
= t
0
, quon a |(x)(t) x
0
| r pour tout t I.
Par consequent, envoie E = ((I, B(x
0
, r)) dans lui-meme.
Montrons maintenant que poss`ede une iteree contractante. Lhypoth`ese (1) signie quil existe une
constante C telle que [[f(s, u) f(s, v)[[ C [[u v[[ pour tout s I et pour tous u, v B(x
0
, r).
On en deduit que si x, y E, alors on a
[[(x)(t) (y)(t)[[
_
t
t
0
[[f(s, x(s)) f(s, y(s))[[ ds
_
t
t
0
[[x(s) y(s)[[ ds
C [t t
0
[ [[x y[[
_
t
t
0
[[(x)(s) (y)(s)[[ ds
_
t
t
0
C [s t
0
[ [[x y[[
ds
=
C
2
|tt
0
|
2
2
[[x y[[
;
puis par recurrence :
[[
p
(x)(t)
p
(y)(t)[[
C
p
[t t
0
[
p
p!
[[x y[[
C
p
p
p!
[[x y[[
p
p!
tend vers 0 quand p tend vers linni, cela prouve que poss`ede
une iteree contractante. Ainsi, toutes les hypoth`eses du theor`eme du point xe sont veriees, et la
demonstration est terminee.
Variante. On denit une nouvelle norme | . |
= supe
Ct
|x(t)|; t I .
On verie sans diculte que | . |
_
t
t
0
C |y(s) x(s)| ds
_
t
t
0
Ce
Cs
ds
|y x|
= [e
Ct
e
Ct
0
[ |y x|
(1 e
C
) |y x|
,
31
do` u le resultat.
Remarque Dans le cas dune equation dierentielle lineaire x
A
k
k!
.
2.3 Theor`eme des fermes emboites
Proposition 2.3.1 (theor`eme des fermes emboites)
Soit (E, d) un espace metrique complet, et soit (F
n
) une suite de fermes non vides de E. On suppose
que la suite (F
n
) est decroissante et que le diam`etre de F
n
tend vers 0 quand n tend vers linni.
Alors lintersection des F
n
est non vide, reduite `a un seul point,
Preuve. La condition sur les diam`etres entrane que lintersection des F
n
ne peut pas contenir plus
dun point. En eet, si a, b sont deux points de
n
F
n
, alors d(a, b) diam(F
n
) pour tout n N,
et donc d(a, b) = 0.
Pour n N, choisissons un point x
n
F
n
. Si p < q, alors x
p
et x
q
appartiennent ` a F
p
puisque
F
q
F
p
, donc d(x
p
, x
q
) diam(F
p
). Par consequent, la suite (x
n
) est de Cauchy, et converge donc
vers un point x
E. Pour n xe, on a x
p
F
n
si p n, et donc x
F
n
car F
n
est ferme. Ainsi,
x
n
V
|n
est un singleton, que lon peut noter (). Dapr`es (2),
lapplication : 0 ; 1
N
X est injective.
2.3.1 Projection sur un convexe ferme
Comme autre illustration du theor`eme des fermes emboites, on va demontrer le tr`es important
resultat suivant.
Theor`eme 2.3.2 Soit H un espace de Hilbert, et soit C H un ensemble convexe ferme. Pour
tout point a H, il existe un et un seul point x C tel que [[x a[[ = d(a, C)
Preuve. Quitte ` a remplacer C par C a, on peut supposer a = 0. Il sagit alors de montrer auil
existe un et un seul point x C tel que [[x[[ = inf [[u[[; u C. Notons m cette borne inferieure, et
pour n N, posons F
n
= x C; [[x[[ m+2
n
. Alors les F
n
sont des fermes de lespace metrique
complet C, non vides par denition de m. La suite (F
n
) est decroissante, et
n
F
n
est exactement
lensemble des points x C veriant [[x[[ = m. Dapr`es le theor`eme des fermes emboites, il sut
donc de verier que le diam`etre de F
n
tend vers 0 quand n tend vers linni.
Soient n N xe, et soient x, y F
n
. Dapr`es lidentite du parall`elogramme, on a
_
_
_
_
x y
2
_
_
_
_
2
=
1
2
([[x[[
2
+[[y[[
2
)
_
_
_
_
x +y
2
_
_
_
_
2
.
Comme C est convexe, on a
x+y
2
C et donc
_
_
x+y
2
_
_
m. Par denition de F
n
, on en deduit
_
_
_
_
x y
2
_
_
_
_
n
=
_
(m+ 2
n
)
2
m
2
_
1/2
.
Comme x et y sont arbitraires dans F
n
, on a donc diam(F
n
)
n
, ce qui termine la demonstration.
Remarque. ` a titre dexercice, on pourra demontrer la generalisation suivante de lidentite du pa-
rall`elogramme : si x
1
, . . . , x
N
sont des points quelconques de lespace de Hilbert H, alors
1
2
N
{1;1}
N
|
N
i=1
i
x
i
|
2
=
N
i=1
|x
i
|
2
.
33
2.4 Theor`eme de Baire
Le resultat suivant est dune tr`es grande importance.
Theor`eme 2.4.1 (theor`eme de Baire)
Soit (E, d) un espace metrique complet, et soit (O
n
)
nN
une suite douverts de E. Si tous les ouverts
O
n
sont denses dans E, alors G =
nN
O
n
est encore dense dans E. En particulier, on a
n
O
n
,= .
Preuve. Il sagit de montrer que si O E est un ouvert non vide, alors G O ,= . Fixons un tel
ouvert O.
Comme O
0
est un ouvert dense de E, lensemble O
0
O est un ouvert non vide. Soit x
0
O
0
O,
et choisissons r
0
2
0
tel que B(x
0
, r
0
) O
0
O.
Comme O
1
est dense dans E, on a O
1
B(x
0
, r
0
) ,= et on peut donc trouver x
1
et r
1
2
1
tels
que B(x
1
, r
1
) B(x
0
, r
0
) O
1
= B(x
0
, r
0
) O
1
O.
Par recurrence, on voit quon peut construire une suite de boules ouvertes B
n
= B(x
n
, r
n
) veriant
les proprietes suivantes :
_
_
_
(1) B
n+1
B
n
;
(2) r
n
2
n
;
(3) B
n
O
n
O.
Dapr`es (1), (2) et le theor`eme des fermes emboites, on a alors
n
B
n
,= . Dapr`es (3), on en deduit
G O ,= .
Corollaire 2.4.2 Soit (E, d) un espace metrique complet. Si (F
n
) est une suite de fermes dinterieurs
vides dans E, alors
nN
F
n
est encore dinterieur vide. Par consequent, si (F
n
) est une suite de
fermes de E telle que
n
F
n
= E, alors il existe au moins un entier n tel que
F
n
,= .
Preuve. Cest immediat par passage aux complementaires, puisquun ensemble A est dense dans E
si et seulement si E A est dinterieur vide.
Corollaire 2.4.3 Soit (E, d) un espace metrique complet. Si (F
n
) est une suite de fermes de E
telle que
nN
F
n
= E, alors :=
F
n
est un ouvert dense dans E.
Preuve. Lensemble est ouvert en tant que reunion douverts. De plus, on a
E =
_
_
n
F
n
_
_
_
n
F
n
_
_
n
(F
n
F
n
) .
Les ensembles C
n
= F
n
F
n
sont des fermes dinterieurs vides, donc E
n
C
n
est egalement
dinterieur vide dapr`es le theor`eme de Baire. Par consequent, est dense dans E
On dit quun espace metrique X est un espace de Baire sil verie le theor`eme de Baire.
Corollaire 2.4.4 Si (E, d) est un espace metrique complet, alors tout ferme de E est un espace de
Baire, et tout ouvert de E egalement.
Preuve. Un ferme de E est complet pour la distance d, donc est un espace de Baire. Si O est un
ouvert de E, on a vu quil existe une distance sur O equivalente ` a d telle que (O, ) soit complet,
donc O est un espace de Baire. On peut aussi demontrer le resultat directement : si (
n
) est une
34
suite douverts denses de A, alors les
n
sont des ouverts de E car A est ouvert dans E. Les en-
sembles O
n
=
n
(EA) sont donc des ouverts de E, et on verie sans diculte quils sont denses
dans E. En appliquant le theor`eme de Baire aux O
n
, on obtient que (E A)
n
n
est dense dans
E, do` u on tire que
n
n
est dense dans A.
Remarques
(1) Lensemble G =
n
O
n
apparaissant dans lenonce du theor`eme de Baire na aucune raison
detre un ouvert de E.
(2) Bien entendu, le theor`eme de Baire est valable si, au lieu dune suite (O
n
)
nN
, on consid`ere
une famille douverts (O
i
)
iI
indexee par un ensemble I (ni ou) denombrable. En revanche, le
resultat est compl`etement faux pour une famille non denombrable douverts. Pour le voir, il sut
de considerer la famille (O
x
)
xR
, o` u O
x
= R x. Les O
x
sont des ouverts denses de R, mais
lintersection de tous les O
x
est vide.
2.4.1 Fonctions continues nulle-part derivables
Comme premi`ere application frappante du theor`eme de Baire, on va demontrer le resultat suivant.
Notons (([0; 1]) lespace des fonctions continues f : [0; 1] K, muni de la norme [[ . [[
; on a vu
plus haut que (([0; 1]) est un espace de Banach.
Theor`eme 2.4.5 Lensemble des fonction continues nulle part derivable est dense dans (([0; 1]).
En particulier, il existe des fonctions continues nulle part derivables.
Preuve. Pour n N, posons
|
n
=
_
f (([0; 1]); x [0; 1] sup
y=x
[f(y) f(x)[
[y x[
> n
_
.
Fait 1 Chaque |
n
est un ouvert de (([0; 1]).
Preuve. Fixons n, et posons T
n
= (([0; 1]) |
n
. Par denition, une fonction f appartient ` a T
n
si et seulement si et seulement si il existe un point x [0; 1] tel que la propriete suivante ait lieu :
() y [0; 1] [f(y) f(x)[ n[x y[ .
Notons F lensemble des couples (x, f) [0; 1] (([0; 1]) veriant la propriete (). Comme lap-
plication (x, f) f(x) est continue sur [0; 1] (([0; 1]), on voit que lensemble F est un ferme de
[0; 1] (([0; 1]) ; et par denition de F, on a lequivalence
f T
n
x [0; 1] (x, f) F.
Comme [0 ; 1] est compact, on en deduit (cf lexemple 3.3.3 traite plus loin) que T
n
est ferme dans
(([0; 1]), et donc que |
n
est ouvert.
Fait 2 Chaque |
n
est dense dans (([0; 1]).
35
Preuve. On sait que lensemble des fonctions lipschitziennes est dense dans (([0; 1] : cela vient
par exemple du fait que toute fonction continue est limite uniforme de fonctions anes par mor-
ceaux, ou du theor`eme de Weierstrass. Pour montrer que |
n
est dense dans (([0; 1]), il sut donc
de montrer quon peut approcher toute fonction lipschitzienne g : [0; 1] R par un element de |
n
.
Fixons g, et xons > 0. On cherche f |
n
telle que [[f g[[
.
Comme g est lipschitzienne, il existe une constante C < telle que
g(y) g(x)
y x
C
pour tous x, y [0; 1], x ,= y.
Soit M > 0 `a xer ulterieurement, et soit : [0; 1] R une fonction continue ane par morceaux
de pente partout superieure ` a M et veriant [[[[
. Si x est un point quelconque de [0; 1], alors on peut trouver y ,= x tel que
(y) (x)
y x
M .
On en deduit
f(y) f(x)
y x
g(y) g(x)
y x
M C
> n
si on a choisi M > n+C. Comme le point x est arbitraire, on en deduit que la fonction f appartient
` a |
n
. Cela termine la preuve du fait 2.
Dapr`es le theor`eme de Baire lintersection de tous les ouverts |
n
est dense dans (([0; 1]). Comme
il est clair quune fonction f
n
|
n
nest derivable en aucun point, cela termine la preuve du
theor`eme.
Le theor`eme precedent est un peu mysterieux, car il arme quil existe beaucoup de fonctions
continues nulle part derivables, mais nen exhibe aucune. Voici un exemple explicite : la fonction
: R R denie par
(x) =
0
2
n
sin(4
n
x)
est continue par convergence normale de la serie. Elle est egalement nulle part derivable, ce qui na
rien devident.
2.4.2 Limites simples de fonctions continues
On sait que si une suite (f
n
) de fonctions continues converge simplement vers une fonction f, alors
f nest pas necessairement continue. On a cependant le resultat suivant.
Theor`eme 2.4.6 Soit (E, d) un espace metrique complet, et soit (f
n
) une suite de fonctions conti-
nues, f
n
: E R. On suppose que la suite (f
n
) converge simplement vers une fonction f : E R.
Alors lensemble des points de continuite de f est dense dans E ; en particulier, f poss`ede au moins
1 point de continuite.
36
Preuve. Notons Cont(f) lensemble des points de continuite de f. Pour > 0, posons
O
pN
O
1/p
= Cont(f) .
Dapr`es le theor`eme de Baire, il sut donc de montrer que chaque ouvert O
n
F
n
= E. Dapr`es
le theor`eme de Baire (voir 2.4.3), on en deduit que =
F
n
est dense dans E. On va montrer
que W est contenu dans O
.
37
Chapitre 3
Espaces metriques compacts
3.1 Denition et exemples
Denition 3.1.1 Soit (E, d) un espace metrique.
(1) On dit quun point x E est une valeur dadherence dune suite (x
n
) E sil existe une
sous-suite de (x
n
) qui converge vers x.
(2) Lespace metrique E est dit compact si toute suite (x
n
) E poss`ede au moins une valeur
dadherence dans E.
(3) On dit quun ensemble A E est un compact de E si lespace metrique (A, d) est compact.
Notons que, contrairement `a la completude, le fait quun espace metrique (E, d) soit compact ou
non ne depend que de la topologie denie par la distance d.
Exemple 1 Tout intervalle ferme borne [a ; b] R est compact : cest le theor`eme de Bolzano-
Weierstrass.
Les remarques qui suivent sont importantes.
Remarque 3.1.2 Si une suite de Cauchy dans (E, d) poss`ede une valeur dadherence, alors elle
converge vers cette valeur dadherence. Par consequent, tout espace metrique compact est complet.
La preuve est laissee en exercice.
Exemple 2 R est complet pour la distance usuelle, mais il nest pas compact. Par exemple, la
suite (x
n
) denie par x
n
= n ne poss`ede aucune sous-suite convergente.
Remarque 3.1.3 Soit E un espace metrique.
(1) Tout ensemble compact A E est ferme.
(2) Si E est compact, alors tout ferme de E est compact.
(3) Si E est un espace vectoriel norme, alors tout sous-ensemble compact de E est ferme borne.
Preuve. (1) Soit A un compact de E, et soit (x
n
) un suite de points de A convergeant vers un point
x E. Par compacite de A, la suite (x
n
) poss`ede une valeur dadherence dans A. Mais x est la
38
seule valeur dadherence possible pour (x
n
), par unicite de la limite. Donc x A, ce qui prouve
que A est ferme dans E.
(2) Supposons E compact et A ferme dans E. Si (x
n
) est une suite de points de A, alors (x
n
) poss`ede
une valeur dadherence x E car E est compact, et on a x A car A est ferme. Par consequent,
A est compact.
(3) On sait dej`a quun compact de E est ferme dans E. Si A E est non borne, alors on peut
construire une suite (x
n
) A telle que [[x
n
[[ > n pour tout n N. Alors aucune sous-suite de
(x
n
) nest bornee, donc (x
n
) ne poss`ede aucune valeur dadherence. Par consequent, A nest pas
compact. Ainsi, tout ensemble compact est borne.
Exemple 3 La boule unite de
2
(N) est fermee et bornee dans
2
(N), mais elle nest pas com-
pacte.
Preuve. Pour n N, notons e
n
2
(N) le vecteur dont toutes les composantes sont nulles sauf
la n-i`eme qui vaut 1. Alors [[e
n
[[
2
= 1 pour tout n, et [[e
p
e
q
[[
2
=
2 si p ,= q. Par consequent,
(e
n
) est une suite de B
n
) de (x
n
) telle
que d(x
n
, a) pour tout n N. Comme E est compact, la suite (x
n
) poss`ede une sous-suite (x
n
)
qui converge vers un point b E. Alors b est une valeur dadherence de (x
n
), et d(b, a) > 0,
donc b ,= a, ce qui est absurde par hypoth`ese.
Remarque 3.1.5 Toute reunion nie densembles compacts est un compact. En particulier, tout
ensemble ni est compact.
Preuve. Soient K
1
, . . . , K
m
des compacts dun espace metrique E, et soit K =
m
1
K
i
. Si (x
n
) est
une suite de points de K, alors lun des K
i
doit contenir une innite de termes de la suite (x
n
). Il
existe donc un indice i
0
et une sous suite (x
n
) de (x
n
) tels que x
n
K
i
0
pour tout n. Comme K
i
0
est
compact, la suite (x
n
) poss`ede une valeur dadherence x K
i
0
. Alors x K et x est egalement une
valeur dadherence de (x
n
) : cela prouve que K est compact. Ainsi, toute reunion nie de compacts
est un compact. Comme un singleton est visiblement compact, on en deduit que tout ensemble ni
est compact.
39
Exemple 5 Soit (E, d) un espace metrique. Si (x
n
) est une suite de points de E convergeant
vers un point x E, alors K = x x
n
; n N est un compact de E.
La preuve est un exercice instructif. Elle serait plus simple en utilisant la propriete de Borel-
Lebesgue, dont on parlera plus loin.
Denition 3.1.6 Soit (E, d) un espace metrique. On dit quun ensemble A E est relativement
compact dans E si A est un compact de E.
Par exemple, lintervalle ]0 ; 1[ est relativement compact dans R, mais il nest pas compact.
La denition de la relative compacite se reformule comme suit.
Remarque 3.1.7 Soit (E, d) un espace metrique. Un ensemble A E est relativement compact
dans E si et seulement si toute suite (x
n
) A poss`ede au moins une valeur dadherence dans E.
Preuve. Si A est relativement compact, alors A est compact, donc toute suite (x
n
) A A poss`ede
au moins une valeur dadherence dans A E. Inversement, supposons que toute suite (x
n
) A
poss`ede au moins une valeur dadherence dans E. Soit (x
n
) une suite de points de A. Par denition
de ladherence, on peut, pour chaque n N, trouver un point y
n
A tel que d(x
n
, y
n
) < 2
n
.
Par hypoth`ese, la suite (y
n
) A poss`ede une sous-suite (y
n
k
) qui converge vers un point a E.
Alors a A puisque les y
n
k
sont dans A, et comme d(x
n
k
, y
n
k
) tend vers 0, la suite (x
n
k
) converge
egalement vers a. On a donc montre que toute suite (x
n
) A poss`ede une valeur dadherence dans
A, autrement dit que A est compact.
3.2 Theor`eme des compacts emboites
Le resultat suivant est evidemment `a comparer au theor`eme des fermes emboites 2.3.1.
Proposition 3.2.1 Soit (E, d) un espace metrique compact. Si (F
n
) est une suite decroissante de
fermes non vides de E, alors
nN
F
n
,= . De mani`ere equivalente, si (F
n
) est une suite decroissante
de fermes de E telle que
n
F
n
= , alors lun des F
n
est dej`a vide.
Preuve. Pour tout n N, choisissons un point x
n
F
n
. Comme E est compact, la suite (x
n
) poss`ede
une sous-suite (x
n
k
) convergeant vers un point x
E. Pour n N xe, on a n
k
n si k est assez
grand, et donc F
n
k
F
n
. Ainsi, x
n
k
F
n
pour k assez grand, donc x
= lim
k
x
n
k
F
n
car F
n
est
ferme. Le point x appartient donc `a tous les F
n
.
Corollaire 3.2.2 (theor`eme des compacts emboites)
Soit (E, d) un espace metrique. Si (K
n
) est une suite decroissante de compacts non vides de E,
alors
n
K
n
,= .
Preuve. On applique la proposition `a lespace metrique compact K
0
et aux ensembles F
n
= K
n
K
0
,
qui sont fermes dans K
0
car compacts.
Corollaire 3.2.3 Soit (E, d) un espace metrique, et soit O un ouvert de E. Si (K
n
) est une suite
decroissante de compacts de E telle que
n
K
n
O, alors lun des K
n
est dej`a contenu dans O.
40
Preuve. On applique le corollaire precedent ` a
K
n
= K
n
O. Chaque
K
n
est compact, car ferme
dans le compact K
n
.
Comme application du theor`eme des compacts emboites, on va demontrer le resultat suivant.
Proposition 3.2.4 (theor`eme de Dini)
Soit K un espace metrique compact, et soit (f
n
) une suite de fonctions continues sur K, `a valeurs
reelles. On suppose que la suite (f
n
) est monotone, et converge simplement vers une fonction f
continue. Alors la convergence est en fait uniforme.
Preuve. Soit > 0, et pour n N, posons
F
n
= x K; [f
n
(x) f(x)[
Comme f et les f
n
sont continues, les F
n
sont des fermes de K ; et comme la suite (f
n
) est monotone
et a pour limite f, la suite (F
n
) est decroissante. De plus, on a
n
F
n
= x; n f
n
(x) =
puisque la suite (f
n
) converge simplement vers f. Dapr`es le theor`eme des compacts emboites, il
existe un entier N tel que F
N
= . Alors F
n
= pour tout n N. Autrement dit, si n N, alors
[f
n
(x) f(x)[ < pour tout x K. Cela prouve que la suite (f
n
) converge uniformement vers f.
Voici enn une reciproque parfois utile au theor`eme des compacts emboites.
Remarque 3.2.5 Soit (E, d) un espace metrique. On suppose que toute suite decroissante de fermes
non vides de E a une intersection non vide. Alors E est compact.
Preuve. Soit (x
n
) une suite de points de E, et notons vad((x
n
)) lensemble des valeurs dadherence
de (x
n
). On verie sans diculte majeure quon a
vad((x
n
)) =
n
x
p
; p n .
Si on pose F
n
= x
p
; p n, alors les F
n
sont des fermes non vides de E et la suite (F
n
) est
decroissante. Par consequent, vad((x
n
)) =
n
F
n
est non vide, ce qui est le resultat souhaite.
3.3 Fonctions continues sur un compact
Les resultats quon demontre ici sont simples mais fondamentaux.
3.3.1 Image continue dun compact
Theor`eme 3.3.1 Soit K un espace metrique compact, et soit F un espace metrique. Si f : K F
est continue, alors f(K) est un compact de F.
Preuve. Soit (y
n
) une suite de points de f(K). Pour tout n N, choisissons un point x
n
K tel
que f(x
n
) = y
n
. Comme K est compact, la suite (x
n
) poss`ede une sous-suite (x
n
k
) convergeant vers
un point x K. Comme f est continue, y
n
k
= f(x
n
k
) tend vers y := f(x) quand k tend vers linni.
Ainsi, y est une valeur dadherence de (y
n
) appartenant `a f(K). Cela termine la demonstration.
41
Voici deux exemples dutilisation du theor`eme 3.3.1. On donnera dautres applications ` a la section
suivante.
Le premier exemple montre quune bijection continue dun espace metrique compact sur un espace
metrique est necessairement un homeomorphisme.
Exemple 3.3.2 Soient E et F deux espaces metriques, avec E compact. Si f : E F est une
bijection continue, alors f
1
est continue.
Preuve. Posons g = f
1
. Si C est un ferme de E, alors C est compact puisque E lest, donc
g
1
(C) = f(C) est compact, et est donc ferme dans F. Cela prouve que g est continue.
Si E nest pas suppose compact, alors on ne peut pas conclure `a la continuite automatique
de f
1
. Par exemple, lapplication f : [0; 2[ T denie par f(t) = e
it
est une bijection continue
de [0; 2[ sur T, mais f
1
nest pas continue. En eet, e
i
n
tend vers 1 quand n tend vers linni,
mais f
1
(e
i
n
) =
1
n
tend vers 0 et f
1
(e
i
n
) = 2
1
n
tend vers 2.
Le deuxi`eme exemple montre que la projection dun ferme dun espace produit le long dun compact
est encore un ferme. Ce resultat, plus general que 3.3.1 est souvent utile.
Exemple 3.3.3 Soient E et K deux espaces metriques, avec K compact. Soit egalement C une
partie de K E, et posons
K
C = x E; u K (u, x) C .
Si C est ferme dans K E, alors
K
C est un ferme de E.
Preuve. Il nest pas dicile de demontrer directement ce resultat, en utilisant seulement la denition
de la compacite : la preuve serait identique ` a celle de 3.3.1. On va donner ici une demonstration
volontairement alambiquee.
Notons : K E E la deuxi`eme application coordonnee. Par denition, on a
K
C = (C).
Lapplication est continue, et poss`ede la propriete suivante : pour tout compact E, lensemble
1
() est un compact de KE. En eet, on a
1
() = K, et on verra plus loin quun produit de
deux compacts est compact. Soit maintenant (x
n
) une suite de points de
K
C = (C) convergeant
vers un point x E. Alors = x x
n
; n N est un compact de E, donc
1
() est un
compact de K E dapr`es ce quon vient de voir, et donc
C = C
1
() egalement puisque C
est ferme dans K E. Comme lapplication est continue, on en deduit que (
C) est un compact
de E, et est donc ferme dans E. Comme x
n
(
C) pour tout n, on a donc x (
C), et donc
x (C) =
K
C. Cela prouve que
K
C est un ferme de E.
Remarque 1. Une application f : X Y entre deux espaces metriques est dite propre si pour
tout compact Y , lensembe f
1
() est un compact de X. La demonstration precedente a en
fait etabli que toute application continue et propre f : X Y change les fermes en fermes. A titre
dexercice, on pourra verier quune application continue f : R
d
R
k
est propre si et seulement si
on a lim
x
|f(x)| = .
Remarque 2. Si f : K F est une application continue, alors le graphe de f est un ferme de
K F, et f(K) =
K
G
f
. Par consequent, 3.3.3 est plus general que le theor`eme 3.3.1.
42
3.3.2 Optimisation
Le resultat suivant est une consequence immediate de 3.3.1, mais il est susamment important
pour etre enonce separement.
Theor`eme 3.3.4 Si K est un espace metrique compact, alors toute fonction continue f : K R
est bornee et atteint ses bornes.
Preuve. Lensemble f(K) est un compact de R, donc il est borne, ce qui prouve que f est bornee,
et ferme, ce qui prouve que f atteint ses bornes.
Corollaire 3.3.5 Soit E un espace vectoriel norme de dimension nie. Si f : E R est une
fonction continue veriant lim
||x||
f(x) = +, alors f est minoree atteint sa borne inferieure.
Preuve. Par hypoth`ese, on peut trouver R > 0 tel que f(x) > 1 + f(0) si [[x[[ > R. On a alors
inf
E
f = inf
B
f, o` u B est la boule fermee B(0, R). Comme E est de dimension nie, B est compacte,
donc on peut appliquer 3.3.4.
Autre preuve. On peut aussi demontrer 3.3.5 directement, sans utiliser 3.3.4. Posons m = inf f
[; +[, et choisissons une suite (
n
) R strictement decroissante ayant pour limite m. Pour
n N, posons
K
n
= x; f(x)
n
.
Comme f est continue, les K
n
sont des fermes de E, et ils sont egalement bornes car lim
||x||
f(x) =
+; comme E est de dimension nie, les K
n
sont donc compacts. De plus, les K
n
sont non vides
car
n
> m pour tout n, et la suite (K
n
) est visiblement decroissante. Dapr`es le theor`eme des
compacts emboites, on a donc
n
K
n
,= . Il existe ainsi un point x E tel que f(x) m, ce qui
prouve en meme temps que m > , autrement dit que f est minoree, et que f atteint sa borne
inferieure.
Donnons maintenant quelques illustrations de 3.3.4.
Exemple 0 Si K est un compact de := z C; Re(z) > 0, alors il existe > 0 tel que
Re(z) pour tout z K. Si K est un compact du disque unite ouvert D C, alors il existe r < 1
tel que K D(0, r).
Preuve. Dans le premier cas, la fonction continue f(z) = Re(z) atteint sa borne inferieure sur
K. Dans le deuxi`eme cas, on consid`ere f(z) = [z[.
Exemple 1 Soit X un espace vectoriel norme, et soit E X un sous-espace vectoriel de di-
mension nie. Pour tout point a X, il existe un point x E tel que [[x a[[ = d(a, E).
Preuve. On applique 3.3.5 ` a la fonction f : E R
+
denie par f(x) = [[x a[[.
Exemple 2 Soit O un ouvert de R
d
. Si K est un compact contenu dans O, alors on peut trou-
ver un ouvert W tel que W est compact et K W W O.
43
Preuve. Si O = R
d
, il sut de prendre pour W une boule ouverte contenant K. Supposons O ,= R
d
.
La fonction x d(x, R
d
O) est continue et strictement positive sur K. Par compacite, on peut donc
trouver > 0 tel que d(x, R
d
O) pour tout x K. Posons alors W = x R
d
; d(x, K) < /2.
Lensemble W est ouvert par continuite de lapplication distance, et on a K W W O. Enn,
W est ferme dans R
d
, et il est egalement borne car K est borne ; par consequent, W est compact.
Autre preuve. Voici la preuve habituelle, qui utilise la propriete de Borel-Lebesgue (voir la section
3.5). Pour tout point x K, on peut trouver un voisinage ouvert V
x
de x tel que V
x
est compact et
contenu dans : il sut de poser V
x
= B(x, r
x
), o` u r
x
est choisi susamment petit. La famille dou-
verts (V
x
)
xK
recouvre le compact K, donc on peut trouver x
1
, . . . , x
p
tels que K V
x
1
. . . V
x
p
,
et W := V
x
1
. . . V
x
p
convient.
Exemple 3 Toute matrice symetrique reelle est diagonalisable en base orthonormee.
Preuve. Il sut en fait de montrer que toute matrice symetrique reelle poss`ede au moins une
valeur propre reelle : on conclut ensuite par une recurrence classique.
Soit A /
d
(R) une matrice symetrique reelle. Notons [[ . [[ la norme euclidienne, , ) le produit
scalaire usuel sur R
d
, et posons
= sup Ax, x); [[x[[ = 1 .
La fonction f denie par f(x) = Ax, x) est continue sur R
d
, car f(x) est fonction polynomiale des
coordonnees de x. De plus, la sph`ere unite S = x; [[x[[ = 1 est fermee et bornee dans R
d
; elle est
donc compacte. Il existe donc un point x
0
S telle que Ax
0
, x
0
) = . Si maintenant on note B la
forme bilineaire symetrique denie par B(x, y) = x Ax, y) et la forme quadratique associee,
alors est positive par denition de , et (x
0
) = 0. Dapr`es linegalite de Cauchy-Schwarz, on a
[B(x
0
, y)[
2
B(x
0
, x
0
) B(y, y) = 0 ,
et donc B(x
0
, y) = 0 pour tout y R
d
. Autrement dit, on a
x
0
Ax
0
, y) = 0
pour tout y R
d
. On en deduit Ax
0
= x
0
, donc est valeur propre de A puisque x
0
,= 0.
3.3.3 Continuite uniforme
On dit quune application f : E F entre deux espaces metriques est uniformement continue
si elle verie la propriete suivante :
> 0 x, y K d
E
(x, y) d
F
(f(x), f(y)) < .
Autrement dit, f est uniformement continue si elle est continue et si, pour > 0 donne, le de
continuite en un point x E ne depend pas du point considere, mais seulement de .
Luniforme continuite est en general une propriete strictement plus forte que la continuite : par
exemple, la fonction x x
2
est continue sur R, mais elle nest pas uniformement continue.
44
Theor`eme 3.3.6 Soient K et F deux espaces metriques. Si K est compact, alors toute application
continue f : K F est uniformement continue.
Preuve. Supposons K compact. Fixons > 0, et pour n N
, posons
F
n
=
_
x K; y K d(x, y)
1
n
et d(f(x), f(y))
_
.
Comme f est continue, lensemble C
n
= (x, y) K K; d(x, y)
1
n
et d(f(x), f(y)) est
un ferme de K K. Comme K est compact, on en deduit que chaque F
n
est un ferme de K : cela
decoule de 3.3.3, ou directement de 3.3.1 en observant que F
n
est limage du compact C
n
par la
premi`ere projection
1
: K K K ; lensemble C
n
est compact car ferme dans K K, qui est
compact (voir 3.4). De plus, la suite (F
n
) est decroissante, et on a
n
F
n
= car f est continue.
Par consequent, lun des F
n
est dej`a vide, ce qui signie exactement que la denition de luniforme
continuite est satisfaite avec =
1
n
.
Autre preuve. Supposons K compact, et xons f : K F continue. Par labsurde, supposons
que f ne soit pas uniformement continue. Il existe alors
0
> 0 et deux suites (x
n
), (y
n
) K tels
que d(x
n
, y
n
) tend vers 0 quand n tend vers linni, mais d(f(x
n
), f(y
n
))
0
pour tout n N.
Comme K est compact, on peut supposer que la suite (x
n
) converge vers un point a K. Alors
(y
n
) converge egalement vers a puisque d(x
n
, y
n
) tend vers 0. Comme f est continue en a, les suites
(f(x
n
)) et (f(y
n
)) doivent converger toutes les deux vers f(a), et donc d(f(x
n
), f(y
n
)) doit tendre
vers 0, ce qui contredit lhypoth`ese faite.
Troisi`eme preuve. On utilise le lemme de Lebesgue 3.5.2. Fixons > 0. Par hypoth`ese, tout point
z K poss`ede un voisinage ouvert V
z
tel que d(f(x), f(y)) < pour tous x, y V
z
. Alors la
famille (V
z
)
zK
est un recouvrement ouvert de lespace metrique compact K. Dapr`es le lemme de
Lebesgue, on peut trouver > 0 tel que tout ensemble A K de diam`etre inferieur ou egal ` a est
contenu dans lun des V
z
. Il est clair que convient.
Quatri`eme preuve. On utilise le lemme suivant, qui a un interet propre.
Lemme 3.3.7 Soient (E, d) et (F, d) deux espaces metriques. Si f : E F est une application
continue, alors il existe une fonction continue : E]0; []0; [ veriant la propriete suivante :
pour tout x E et pour tout > 0, le nombre (x, ) est un de continuite pour f au point x,
associe `a .
Admettant provisoirement le lemme, soit f : K F continue, o` u K est un espace metrique
compact, et soit : K]0; []0; [ donnee par le lemme. Pour tout > 0 xe, la fonction
x (x, ) est continue sur le compact K, donc elle atteint sa borne inferieure, qui est par suite
strictement positive. Ainsi, (x, ) est minoree par une constante () > 0, ce qui prouve que f est
uniformement continue.
Preuve du lemme. Soit f : E F continue. Alors lensemble
C = (x, y, ) E E]0; [; d(f(x), f(y))
45
est un ferme de E E]0; [, et on a (x, x, ) , C pour tout couple (x, ) E]0; [. Si on
munit E E]0; [ de la distance denie par
((x, y, ), (x
, y
)) = max(d(x, x
), d(y, y
), d(,
)) ,
qui est bien une distance produit, alors
(x, ) := dist((x, x, ), C)
est donc strictement positif pour tout (x, ) E]0; [. La fonction : E]0; []0; [ ainsi
denie est continue, et elle convient par denition. En eet, si y E, alors d(x, y) = ((x, x, ), (x, y, )).
Par consequent, si d(x, y) < (x, ), alors ((x, x, ), (x, y, )) < dist((x, x, ), C) et donc (x, y, ) ,
C, autrement dit d(f(x), f(y)) < .
Voici un exemple dutilisation du theor`eme 3.3.6.
Corollaire 3.3.8 Si K est un espace metrique compact et si F est un espace vectoriel norme, alors
toute fonction continue f : [a; b] F est limite uniforme de fonctions boreliennes etagees. Si K est
un intervalle compact [a ; b] R, alors toute fonction continue f : [a ; b] F est limite uniforme
de fonctions en escalier.
Preuve. Soit f : K X continue, et xons > 0. Comme K est compact, lapplication f est
uniformement continue. On peut donc trouver > 0 tel que [[f(s) f(t)[[ d`es que d(x, y) .
Par precompacite (voir la section 3.6), on peut recouvrir K par des boules B
1
, . . . , B
N
de diam`etre
inferieur `a . Si on pose A
1
= B
1
et A
i+1
= B
i+1
ji
B
j
_
, alors les A
i
forment une partition de K
en boreliens de diam`etre inferieur `a . Dans le cas o` u K est un intervalle [a ; b], on peut directement
denir une partition de K en intervalles A
i
de diam`etre inferieur `a : il sut de choisir N assez
grand et de poser A
i
=
_
a + (i 1)
ba
N
; a +i
ba
N
. En choisissant un point a
i
f(A
i
) pour chaque
A
i
non vide, la fonction =
i
a
i
1
A
i
est borelienne etagee (en escalier si K = [a ; b] et les A
i
sont
des intervalles), et on a [[ f[[
par denition de .
3.4 Produits de compacts
3.4.1 Produits nis
Proposition 3.4.1 Si E
1
, . . . , E
k
sont des espaces metriques compacts, alors lespace produit E =
E
1
. . . E
k
est compact.
Preuve. Par recurrence, il sut de traiter le cas k = 2. Soit (x
n
) une suite de points de E = E
1
E
2
;
on ecrit x
n
= (x
n
(1), x
n
(2)). Comme E
1
est compact, la suite (x
n
(1)) poss`ede une sous-suite conver-
gente : on peut donc trouver une sous-suite (x
n
) de (x
n
) telle que la suite (x
n
(1)) converge dans
E
1
. De meme, comme E
2
est compact, on peut trouver une sous-suite (x
n
) de (x
n
) telle que la suite
(x
n
(2)) converge dans E
1
; alors la suite (x
n
(1)) converge dans E
1
car elle est extraite de (x
n
(1)).
Ainsi, la suite (x
n
) converge coordonnee par coordonnee, autrement dit converge dans lespace
produit E.
Voici une application de ce resultat .
46
Proposition 3.4.2 Si K est un compact de R
d
, alors lenveloppe convexe de K est encore un
compact.
Preuve. Rappelons que lenveloppe convexe de K, notee conv(K) est le plus petit convexe de
R
d
contenant K ; de mani`ere equivalente, conv(K) est lensemble de tous les points x R
d
qui
secrivent sous la forme
x =
m
i=1
i
x
i
,
o` u les points x
i
appartiennent ` a K, les
i
sont positifs et
m
1
i
= 1. Par exemple, lenveloppe
convexe de 3 points A, B, C dans R
2
est le triangle ABC. A priori, on autorise des combinaisons
convexes o` u lentier m peut etre arbitrairement grand. Cependant, dapr`es le theor`eme de Ca-
ratheodory, il sut dans R
d
de se restreindre ` a des combinaisons convexes de seulement d + 1
points : un point x est dans lenveloppe convexe de K si et seulement si il est combinaison convexe
de d + 1 points de K (ces points pouvant bien s ur dependre de x).
Posons alors
=
_
= (
1
, . . . ,
d+1
) [0; 1]
d
;
d+1
i=1
i
= 1
_
,
et denissons : K
d+1
par
(, x) =
d+1
i=1
i
x
i
.
Lapplication est continue, et on a (K
d+1
) = conv(K) dapr`es le theor`eme de Caratheodory.
Comme est compact (car ferme borne dans R
d+1
) et K egalement, lespace metrique K
d+1
est compact, donc conv(K) = ( K
d+1
) est compact.
3.4.2 Produits denombrables ; procede diagonal
Le resultat suivant est un cas particulier du Theor`eme de Tikhonov. Il est dune grande utilite, et
le principe de diagonalisation qui est `a la base de la demonstration est egalement tr`es important.
Theor`eme 3.4.3 (Tikhonov)
Soit (K
i
)
iN
une suite despaces metriques compacts, et soit K =
iN
K
i
. Si (x
n
) est une suite de
points de K, alors (x
n
) poss`ede une sous-suite qui converge coordonnee par coordonnee.
Preuve. On ecrit chaque point x K sous la forme x = (x(0), x(1), . . .). Soit (x
n
) une suite de
points de K. Comme K
0
est compact, la suite (x
n
(0)) poss`ede une sous-suite convergente : on peut
donc trouver un ensemble inni N
0
N tel que la suite (x
n
(0))
nN
0
converge dans K
0
vers un
certain point x(0). De meme, la suite (x
n
(1))
nN
0
poss`ede une sous-suite convergente puisque K
1
est compact, donc on peut trouver un ensemble inni N
1
N
0
tel que la suite (x
n
(1))
nN
1
converge
dans K
1
; alors la suite (x
n
(0))
nN
1
est egalement convergente, car elle est extraite de (x
n
(0))
nN
0
.
Par recurrence, on voit quon peut construire une suite decroissante (N
k
) de parties innies de N
telle que la propriete suivante ait lieu : pour tout k N et pour tout i k, la suite (x
n
(i))
nN
k
converge dans K
i
vers un certain point x(i). Choisissons n
0
N
0
et denissons une suite (n
k
) par
la recurrence
n
k+1
= min n N
k+1
; n > n
k
,
47
ce qui est possible car les ensembles N
i
sont innis. Alors (n
k
) est strictement croissante et n
k
N
k
pour tout k. Pour i N xe, on a n
k
N
i
pour tout k i car N
k
N
i
, donc la suite (x
n
k
(i))
kN
est extraite de (x
n
(i))
nN
i
` a partir dun certain rang. Par consequent, (x
n
k
(i))
kN
converge vers
x(i) pour tout i N; autrement dit, la suite (x
n
k
) converge coordonnee par coordonnee vers
x := (x(0), x(1), . . .) K.
On utilisera plusieurs fois la consequence suivante du theor`eme de Tikhonov. Introduisons dabord
une denition : soit (f
n
) est une suite de fonctions denies sur un ensemble T, `a valeurs dans K; on
dit que la suite (f
n
) est simplement bornee si pour tout t T, la suite (f
n
(t)) est bornee dans
K.
Corollaire 3.4.4 Soit T un ensemble, et soit (f
n
) une suite de fonctions sur T, `a valeurs dans K.
On suppose que la suite (f
n
) est simplement bornee. Si D est une partie denombrable de T, alors
(f
n
) poss`ede une sous-suite (f
n
k
) telle que (f
n
k
(t)) converge dans K pour tout t D.
Preuve.
Ecrivons D = t
i
; i N. Par hypoth`ese, pour tout i N, il existe une constante M
i
telle que [f
n
(t
i
)[ M
i
pour tout n N. Posons alors K
i
= z K; [z[ M
i
, i N, et
x
n
= (f
n
(t
0
), f
n
(t
1
), . . .)
i
K
i
. Les K
i
sont compacts, et en appliquant le theor`eme de Tikhonov
` a (x
n
), on obtient directement le resultat souhaite.
Remarques
(1) Si (E
i
, d
i
)
iN
est une suite despaces metriques, il est possible de munir lespace produit E =
iN
E
i
dune distance pour laquelle les suites convergentes sont exactement les suites qui convergent
coordonnee par coordonnee. Par exemple, on peut poser
d(x, y) =
i=0
2
i
min(1, d
i
(x(i), y(i))) .
La topologie produit de E est alors bien denie, et le theor`eme de Tikhonov senonce tr`es simple-
ment : si (K
i
) est une suite despaces metriques compacts, alors K =
i
K
i
est compact.
(2) Il est egalement possible de denir une topologie produit raisonnable sur un produit arbitraire
despaces topologiques E =
iI
E
i
, et on verra `a la section suivante que la notion de compacite
a egalement un sens dans un espace topologique general. Dans ce cadre elargi, le theor`eme de
Tikhonov est vrai en toute generalite : tout produit de compacts est compact.
(3) Le corollaire 3.4.4 vaut plus generalement pour des fonctions f
n
: T F ` a valeurs dans un
espace vectoriel norme F de dimension nie.
3.5 Propriete de Borel-Lebesgue
Soit E un espace metrique. On dit quune famille (O
i
)
iI
de parties de E est un recouvrement
de E si
iI
O
i
= E. Un recouvrement (O
i
)
iI
est dit ouvert si tous les O
i
sont des ouverts de E.
Un sous-recouvrement dun recouvrement (O
i
)
iI
est un recouvrement de la forme (O
i
)
iJ
, o` u
J I. On dit quun recouvrement (O
i
)
iI
est ni si lensemble dindices I est ni.
48
Exemples
(1) Si, pour tout x E, on choisit un voisinage ouvert V
x
de x dans E, alors la famille (V
x
) est
un recouvrement ouvert de E. Cet exemple est tautologique, mais cest presque toujours de cette
facon que lon construit des recouvrements ouverts.
(2) Si D est une partie dense de E, alors, pour tout > 0, la famille (B(z, ))
zD
est un recouvre-
ment ouvert de E.
Le theor`eme suivant est fondamental.
Theor`eme 3.5.1 Pour un espace metrique E, les proprietes suivantes sont equivalentes.
(1) E est compact.
(2) Tout recouvrement ouvert de E poss`ede un sous-recouvrement ni.
La propriete (2) porte le nom de propriete de Borel-Lebesgue. Il faut noter que cette propriete
est denie uniquement en termes de la topologie de E. Cela permet de donner un sens ` a la notion
de compacite dans un espace topologique non necessairement metrique. Il est tr`es instructif de sas-
treindre ` a demontrer certains resultats des sections precedentes (compacts et fermes, image continue
dun compact, produit de deux compacts) en utilisant uniquement la propriete de Borel-Lebesgue.
Preuve de limplication (2) entrane (1). Supposons la propriete (2) veriee. Dapr`es 3.2.5, pour
montrer que E est compact, il sut de montrer que si (F
n
) est une suite decroissante de fermes de
E telle que
n
F
n
= , alors lun des F
n
est vide ; xons une telle suite (F
n
). Posons O
n
= E F
n
.
Comme
n
F
n
= , on a
n
O
n
= E ; par consequent, la famille (O
n
)
nN
est un recouvrement ouvert
de E. Dapr`es (2), on peut trouver un ensemble ni J N tel que
nJ
O
n
= E. Comme de plus la
suite (O
n
) est croissante, on a alors O
N
= E, o` u N est le plus grand element de J. Ainsi, F
N
= ,
ce qui termine la demonstration. .
Pour la preuve de la deuxi`eme implication, on a besoin de deux lemmes.
Lemme 3.5.2 (lemme de Lebesgue)
On suppose E compact. Si (O
i
)
iI
est un recouvrement ouvert de E, alors il existe un nombre > 0
tel que la propriete suivante ait lieu : tout ensemble A E de diam`etre inferieur `a est contenu
dans lun des O
i
.
Preuve. On raisonne par labsurde. Si un tel nexiste pas, alors on peut, pour tout n N, trouver
un ensemble A
n
E de diam`etre inferieur `a 2
n
et qui ne soit contenu dans aucun O
i
. Choisissons
pour tout n N un point x
n
A
n
. Comme E est compact, la suite (x
n
) poss`ede une sous-suite
(x
n
k
) qui converge vers un point x E. Comme les O
i
recouvrent E, on peut trouver i
0
I tel que
x O
i
0
. Comme O
i
0
est ouvert, on peut trouver > 0 tel que B(x, ) O
i
0
. Pour k assez grand, on
a x
n
k
B(x, /2) et diam(A
n
k
) < /2, do` u A
n
k
B(x, ) O
i
0
: cela contredit le choix de A
n
k
.
Lemme 3.5.3 Si (E, d) est compact, alors, pour tout > 0, on peut recouvrir E par un nombre
ni de boules ouvertes de rayon .
Preuve. Fixons > 0. On raisonne par contraposee en supposant que la conclusion nest pas vraie.
Soit x
0
E : la boule B(x
0
, ) ne recouvre pas E, donc on peut trouver un point x
1
E B(x
0
, ),
49
autrement dit un point x
1
E tel que d(x
0
, x
1
) . Par hypoth`ese, B(x
0
, ) B(x
1
, ) ne re-
couvre pas E, donc on peut trouver un point x
2
E (B(x
0
, ) B(x
1
, )), autrement dit veriant
d(x
2
, x
i
) pour tout i < 2. Par recurrence, on voit quon peut construire une suite (x
n
) E telle
que d(x
n
, x
i
) si i < n. On a ainsi d(x
p
, x
q
) d`es que p ,= q, ce qui montre que la suite (x
n
)
ne poss`ede aucune sous-suite convergente. Par consequent, E nest pas compact.
Preuve de limplication (1) entrane (2). Supposons E compact, et soit (O
i
)
iI
un recouvrement
ouvert de E. Dapr`es le lemme 3.5.2, on peut trouver > 0 tel que tout ensemble de diam`etre
inferieur `a 3 est contenu dans lun des O
i
, et dapr`es le lemme 3.5.3, on peut trouver des boules
ouvertes B
1
, . . . , B
m
de rayon telles que E =
m
1
B
k
. Pour tout k 1; . . . ; m, la boule B
k
est
de diam`etre inferieur `a 3, donc on peut choisir un indice i
k
I tel que B
k
O
i
k
. Si on pose
J = i
1
; . . . ; i
m
, alors J est ni et
iJ
O
i
= E. Cela termine la demonstration.
Corollaire 3.5.4 Soit E un espace metrique. Un ensemble A E est compact si et seulement la
propriete suivante a lieu : pour toute famille (O
i
)
iI
douverts de E telle que A
i
O
i
, on peut
trouver un ensemble ni J I tel que A
jJ
O
j
.
Preuve. Cela vient du fait que les ouverts de A sont exactement les ensembles du type OA, o` u O
est un ouvert de E.
3.5.1 Ideaux maximaux de ((K)
Comme illustration de la propriete de Borel-Lebesgue, on va determiner les ideaux maximaux de
lanneau commutatif ((K) = ((K, R), o` u K est un espace metrique compact.
Rappelons quun ideal dun anneau commutatif (A, +, .) est une partie I de A veriant les proprietes
suivantes :
I est un sous-groupe additif ;
pour tout a A, on a aI I.
On dit quun ideal I A est maximal si I ,= A et si I nest strictement contenu dans aucun ideal
J ,= A.
Soit K un espace metrique compact. Pour tout point a K, lensemble
I
a
= f ((K); f(a) = 0
est visiblement un ideal de lanneau ((K), et I
a
,= ((K). De plus I
a
est egalement maximal. En
eet, si J est un ideal de ((K) contenant strictement I
a
, alors il existe une fonction g J telle que
g(a) ,= 0. Pour toute fonction f ((K), la fonction u = f
f(a)
g(a)
g appartient `a I
a
, donc ` a J, et par
consequent f = u +
f(a)
g(a)
g J : ainsi, on a J = ((K).
Proposition 3.5.5 Tout ideal maximal de ((K) est de la forme I
a
, pour un certain point a K.
50
Preuve. Il sut de montrer que tout ideal I ,= ((K) est contenu dans un certain I
a
, autrement dit
que si I est un ideal de ((K) et I ,= ((K), alors il existe un point a K tel que toutes les fonctions
de I sannulent en a.
Soit I un ideal de ((K). On raisonne par contraposee en supposant que pour tout point x X,
il existe une fonction f
x
I telle que f
x
(x) ,= 0 : on doit alors montrer que I = ((K). Pour tout
x K, la continuite de f
x
permet de trouver un voisinage ouvert V
x
de x tel que f
x
ne sannule
pas sur V
x
. La famille (V
x
)
xK
est un recouvrement ouvert du compact K, donc on peut trouver
x
1
, . . . , x
m
tels que K =
m
1
V
x
i
. Posons V
i
= V
x
i
et f
i
= f
x
i
. Alors la fonction
f =
m
i=1
f
2
i
appartient `a I. De plus, f ne sannule pas sur K : si x K, alors x est dans un certain V
i
, et on a
donc f(x) f
i
(x)
2
> 0 car f
i
ne sannule pas sur V
i
. Ainsi, la fonction f est inversible dans ((K)
et appartient `a lideal I : cela prouve que I = ((K).
3.6 Precompacite
Un espace metrique (E, d) est dit precompact si, pour tout > 0, on peut recouvrir E par un
nombre ni densembles de diam`etre inferieur `a . Une partie A de E est dite precompacte pour d
si lespace metrique (A, d) est precompact.
Les remarques suivantes sont tr`es simples mais importantes.
Remarque 3.6.1 Pour un espace metrique (E, d), les proprietes suivantes sont equivalentes :
(1) (E, d) est precompact ;
(2) Pour tout > 0, on peut recouvrir E par un nombre ni de boules ouvertes de rayon .
Preuve. Il est clair que (2) entrane (1) (en prenant /3...) Pour la reciproque, il sut de remarquer
que si A est un ensemble de diam`etre (strictement) inferieur `a et si on on choisit un point a A,
alors A B(a, ).
Un nombre > 0 etant donne, on dit quun ensemble R E est un -reseau pour un ensemble
A E si on a A
xR
B(x, ), autrement dit, si pour tout point x E, on peut trouver un point
z R tel que d(x, z) < . Par exemple, si <
2 , alors Z
2
est un -reseau pour R
2
.
Remarque 3.6.2 Soit (E, d) un espace metrique. Pour une partie A de E, les proprietes suivantes
sont equivalentes :
(1) A est precompacte pour d ;
(2) Pour tout > 0, A poss`ede un -reseau ni ;
(3) Pour tout > 0, A poss`ede un -reseau ni forme de points de A.
La preuve est laissee en exercice.
Remarque 3.6.3 Une partie A dun espace metrique (E, d) est precompacte si et seulement si A
est precompacte.
51
Preuve. Il est clair que si A est precompacte, alors A egalement puisque A A. Pour la reciproque,
il sut dobserver que si A
m
1
C
i
, alors A
m
1
C
i
, et quon a diam(C
i
) = diam(C
i
).
Proposition 3.6.4 Tout espace metrique compact est precompact.
Preuve. Si (E, d) est un espace metrique compact et si > 0 est donne, alors la famille (B(x, ))
xE
est un recouvrement ouvert de E. Le resultat decoule donc de la propriete de Borel-Lebesgue.
Corollaire 3.6.5 Toute partie relativement compacte dun espace metrique est precompacte.
Proposition 3.6.6 Tout espace metrique precompact est separable.
Preuve. Supposons (E, d) precompact. Pour tout n N, on peut recouvrir E par un nombre ni de
boules ouvertes de rayon 2
n
, autrement dit on peut ecrire E =
aD
n
B(a, 2
n
), o` u D
n
E est
un ensemble ni. Alors D =
n
D
n
est denombrable, et on verie sans diculte que D est dense
dans E.
Corollaire 3.6.7 Tout espace metrique compact est separable.
Remarque. A titre dexercice, on pourra montrer quun espace metrique (E, d) est separable si et
seulement si il verie la propriete suivante : pour tout > 0, on peut recouvrir E par une famille
denombrable de boules ouvertes de rayon .
Le resultat suivant est fondamental et montre limportance de la notion de precompacite.
Theor`eme 3.6.8 Pour un espace metrique (E, d), les proprietes suivantes sont equivalentes :
(1) E est compact ;
(2) (E, d) est precompact et complet.
On a dej` a montre quun espace metrique compact est precompact et complet. Pour la reciproque,
il sut manifestement de demontrer le lemme suivant.
Lemme 3.6.9 Un espace metrique est precompact si et seulement si toute suite (x
n
) E poss`ede
une sous-suite de Cauchy.
Preuve. Supposons E precompact, et xons une suite (x
n
) E. Par precompacite, on peut recouvrir
E par un nombre ni densembles de diam`etre inferieur ` a 2
0
. Lun au moins de ces ensembles, note
E
0
, contient une innite de termes de la suite (x
n
) ; on dispose donc dun ensemble inni N
0
N tel
que x
n
E
0
pour tout n N
0
. Par recurrence, on construit une suite decroissante (E
k
) de parties
de E et une suite decroissante (N
k
) de parties innies de N veriant les proprietes suivantes : E
k
est de diam`etre inferieur ` a 2
k
, et x
n
E
k
pour tout n N
k
. Par diagonalisation, on peut donc
construire une suite dentiers strictement croissante (n
k
) telle que x
n
i
E
k
si i k. Pour p < q, on
a alors x
n
p
, x
n
q
E
p
car E
q
E
p
, et donc d(x
n
p
, x
n
q
) diam(E
p
) = 2
p
. Cela montre que la suite
(x
n
k
) est de Cauchy.
Pour la reciproque, dont on na pas besoin pour demontrer (2) entrane (1), il sut dexaminer
la preuve du lemme 3.5.3.
Corollaire 3.6.10 Si (E, d) est un espace metrique complet, alors les parties precompactes de (E, d)
sont exactement les parties relativement compactes de E.
Preuve. Si A E est precompacte pour d, alors A est precompacte, et compl`ete pour d car fermee
dans E ; par consequent, A est relativement compacte dans E. La reciproque a dej` a ete demontree.
52
3.6.1 Enveloppe convexe dun compact
Rappelons que si X est un espace vectoriel norme, alors lenveloppe convexe fermee dun en-
semble A E, notee conv(A), est le plus petit convexe ferme de X contenant A. On voit facilement
que lenveloppe convexe fermee de A est ladherence de lenveloppe convexe de A :
conv(A) = conv(A) .
En general, lenveloppe convexe dun compact K X na aucune raison detre compacte si X est
de dimension innie. On a cependant le resultat suivant.
Proposition 3.6.11 Soit X un espace de Banach. Si K est un compact de X, alors conv(K) est
encore un compact.
Preuve. On veut montrer que conv(K) est relativement compact dans X. Comme X est un espace
de Banach, il sut de montrer que conv(K) est precompact. Fixons > 0.
Comme K est compact, il est precompact. Soit R un -reseau ni pour K. Comme R est ni,
lensemble C = conv(R) est un compact de X : en eet, si on note d le nombre delements de R
et si on pose = = (
1
, . . . ,
d
) [0; 1]
d
;
d
1
i
= 1, alors C est limage du compact R
d
par lapplication continue denie par (, x) =
d
1
i
x
i
. Soit S un -reseau ni pour C. On va
montrer que S est un 2-reseau pour conv(K), ce qui ach`evera la demonstration.
Soit x conv(K). Par denition de lenveloppe convexe, on peut ecrire x comme combinaison
convexe de points de K :
x =
m
i
x
i
,
o` u les
i
sont positifs,
i
= 1, et les points x
i
appartiennent ` a K. Pour tout i 1; . . . ; m, on
peut trouver un point u
i
R tel que [[u
i
x
i
[[ < , puisque R est un -reseau pour K. Alors le
point x =
i
u
i
appartient `a C, et on a [[ x x[[
i
[[u
i
x
i
[[ < . Comme S est un -reseau
pour C, on peut trouver un point v S tel que [[v x[[ < . On a alors [[v x[[ < 2.
3.6.2 Regularite des mesures
Rappelons le resultat suivant de theorie de la mesure.
Proposition 3.6.12 Soit (E, d) un espace metrique, et soit une mesure borelienne positive nie
sur E. Pour tout borelien A E, on a
(A) = inf (O); O ouvert, O A = sup(F); F ferme, F A
La preuve consiste ` a montrer que lensemble des boreliens A veriant les deux proprietes precedentes
est une tribu, et que tout ouvert de E verie ces deux proprietes. La preuve du premier point nest
pas tr`es dicile, et pour le deuxi`eme point, il sut dobserver que tout ouvert O E est reunion
denombrable de fermes : si O est ouvert, alors
O = x E; d(x, E O) > 0 =
_
nN
x; d(x, E O) 2
n
.
Comme application de la notion de precompacite, on va demontrer le resultat suivant.
53
Proposition 3.6.13 Soient (E, d) un espace metrique complet separable, et une mesure borelienne
positive nie sur E. Pour tout borelien A E, on a
(A) = sup (K); K compact, K A .
Preuve. Traitons dabord le cas A = E. Fixons > 0 : on cherche un compact K E tel que
(K) > (E). Posons F
0
= E. Comme E est separable, on peut trouver une famille denombrable
(x
i
)
iI
telle que E =
iI
B(x
i
, 2
1
). Comme est une mesure et (E) < , on peut trouver un
ensemble ni J I tel que (
iJ
B(x
i
, 2
1
)) > (E) 2
1
. Posons F
1
=
iJ
B(x
i
, 2
1
). Alors
F
1
est ferme en tant que reunion de fermes, on a (F
1
) > (E)2
1
, et on peut recouvrir F
1
par un
nombre ni de boules de rayon 2
1
. On reapplique le raisonnement precedent ` a F
1
, qui est separable,
et ainsi de suite. On construit ainsi une suite decroissante (F
n
) de fermes de E veriant les proprietes
suivantes : (F
n+1
) > (F
n
) 2
n1
, et F
n
est recouvrable par un nombre ni de boules de rayon
2
n
. Posons alors K =
n
F
n
. Lensemble K est un ferme de E car intersection de fermes, et on a
tout fait pour quil soit precompact. Comme E est suppose complet, K est donc un compact de E.
De plus, on a (F
n
) > (E)
n
1
2
k
pour tout n 1, et donc (K) = lim
n
(F
n
) (E) .
La demonstration est donc terminee dans le cas o` u le borelien A est egal ` a E.
Dans le cas general, on commmence par choisir un ferme F A tel que (F) > (A) . Alors
lespace metrique (F, d) est complet (car F est ferme dans E) et separable, donc on peut appliquer
ce qui prec`ede : il existe un compact K F tel que (K) > (F) . On a ainsi (K) > (A) 2,
ce qui termine la demonstration.
Remarque 3.6.14 La proposition precedente reste valable si on suppose seulement que la mesure
est -nie.
La preuve est laissee en exercice.
3.7 Theor`eme de Riesz
On a vu au tout debut du chapitre que dans un espace vectoriel norme de dimension nie, tous les
ensembles fermes bornes sont compacts. Le resultat suivant montre que cela est toujours faux en
dimension innie.
Theor`eme 3.7.1 (theor`eme de Riesz)
Soit X un espace vectoriel norme. Si la boule unite de X est compacte, alors X est de dimension
nie.
On va donner deux demonstrations de ce theor`eme. La premi`ere repose sur le lemme suivant.
Lemme 3.7.2 (lemme de Riesz)
Soit X un espace vectoriel norme, et soit E un sous-espace vectoriel ferme de X, avec E ,= X.
Pour tout > 0, on peut trouver un point x X tel que [[x[[ = 1 et d(x, E) > 1 .
Preuve. Fixons > 0. Fixons egalement > 0 et un point a X E. Comme E est ferme dans
X, le nombre d(a, E) est strictement positif, et on peut donc trouver un point u E tel que
[[a u[[ < (1 + )d(a, E). Posons alors x =
au
||au||
. On a [[x[[ = 1. De plus, comme u E et
comme E est un espace vectoriel, on a d((a u), E) = d(a, E) pour tout > 0. On en deduit
54
d(x, E) =
1
||au||
d(a, E), et donc d(x, E) >
1
1+
. Par consequent, le point x convient si est choisi
assez petit.
Remarque. Si E est de dimension nie, on peut en fait trouver un point x X tel que |x| = 1 et
d(x, E) = 1. La preuve est la meme que plus haut, en remarquant quil existe un point u E tel
que |u a| = d(a, E).
Premi`ere preuve du theor`eme de Riesz. On raisonne par contraposee en supposant X de dimension
innie. Soit x
0
X veriant [[x
0
[[ = 1. Alors E
0
= Vect(x
0
) est un sous-espace vectoriel ferme de
X (car il est de dimension nie), et on a E
0
,= X car X est de dimension innie. Dapr`es le lemme
de Riesz, on peut donc trouver un point x
1
X tel que [[x
1
[[ = 1 et d(x
1
, E
0
) > 1/2 ; en particulier,
on a [[x
1
x
0
[[ > 1/2. On pose alors E
1
= Vect(x
0
, x
1
), et on reapplique ce raisonnement avec E
1
au lieu de E
0
, ce qui donne un point x
2
X tel que [[x
2
[[ = 1 et [[x
2
x
i
[[ > 1/2 pour i = 0, 1. Par
recurrence, on voit ainsi quon peut construire une suite (x
n
) X telle que [[x
n
[[ = 1 pour tout n
et [[x
n
x
i
[[ > 1/2 si i < n. On a alors [[x
p
x
q
[[ > 1/2 d`es que p ,= q. La suite (x
n
) est donc une
suite de points de la boule unite B
X
qui ne poss`ede aucune sous-suite convergente (en fait, aucune
sous-suite de Cauchy). Par consequent, B
X
nest pas compacte.
Pour la deuxi`eme preuve du theor`eme de Riesz, on a besoin du lemme suivant.
Lemme 3.7.3 Soit E un espace vectoriel norme de dimension nie d sur R. Pour N N
donne,
il faut au moins N
d
boules de rayon 1/N pour recouvrir la boule unite de E.
Preuve. Soit B
1
, . . . , B
k
des boules de rayon 1/N recouvrant la boule unite B
E
: il faut montrer
quon a k N
d
. Comme les boules B
i
recouvrent a fortiori B
E
, on peut supposer que les B
i
sont
des boules fermees.
Notons m la mesure de Lebesgue sur E : de facon precise, on xe une base de E, et on note m
la mesure sur E obtenue ` a partir de la mesure de Lebesgue sur R
d
en identiant E ` a R
d
via cette
base. Comme B
E
i
B
i
, on a
m(B
E
)
k
i=1
m(B
i
) .
De plus, chaque boule B
i
est une translatee de la boule
1
N
B
E
. On a donc m(B
i
) = m
_
1
N
B
E
_
=
1
N
d
m(B
E
) pour tout i 1; . . . ; k, et par consequent
m(B
E
)
k
N
d
m(B
E
) .
Comme m(B
E
) ,= 0, cela termine la demonstration.
Deuxi`eme preuve du theor`eme de Riesz. Supposons que la boule unite de X soit compacte. Alors
B
X
est precompacte, donc on peut la recouvrir par un nombre ni de boules de rayon 1/2 ; on note
x
1
, . . . , x
k
les centres de ces boules. Si E est un sous-espace vectoriel de X de dimension nie et
contenant x
1
, . . . , x
k
, alors B
E
B
X
, donc B
E
est recouverte par les ensembles B
i
= B
E
B(x
i
, 1/2),
qui sont des boules de E de rayon 1/2. Dapr`es le lemme precedent, on a donc 2
dim(E)
k, autre-
ment dit dim(E) M =
Logk
Log2
. Ceci etant vrai pour tout sous-espace vectoriel de X de dimension
nie contenant x
1
, . . . , x
k
, on en deduit que X lui-meme est de dimension nie d M.
55
Remarque 3.7.4 On a en fait montre que si la boule unite de X est precompacte, alors X est de
dimension nie.
56
Chapitre 4
Applications lineaires continues
4.1 Crit`ere de continuite
Pour une application lineaires entre deux espaces vectoriels normes, la continuite se caracterise de
mani`ere tr`es simple.
Theor`eme 4.1.1 Soient E et F deux espaces vectoriels normes. Pour une application lineaire
T : E F, les proprietes suivantes sont equivalentes.
(1) T est continue.
(2) Il existe une constante C < telle que [[T(x)[[ C [[x[[ pour tout x E.
Preuve. Supposons T continue, donc en particulier continue en 0. Comme T(0) = 0, la denition
de la continuite appliquee avec = 1 montre quil existe > 0 tel que [[T(y)[[ 1 pour [[y[[ .
En posant y =
x
||x||
et en utilisant la linearite de T, on en deduit que pour tout x ,= 0, on a
[[T(x)[[
1
[[x[[. Cette inegalite est encore valable pour x = 0, donc (2) est veriee avec C =
1
.
Inversement, si (2) est veriee, on a [[T(x) T(y)[[ = [[T(x y)[[ C [[x y[[ pour tous x, y E.
Cela prouve que T est lipschitzienne, et donc continue.
Corollaire 4.1.2 En dimension nie, toutes les applications lineaires sont continues. De facon
precise, si E est un espace vectoriel norme de dimension nie et si F est un espace vectoriel norme,
alors toute application lineaire T : E F est continue.
Preuve. Par equivalence des normes, on peut se ramener au cas o` u E = (K
d
, [[ . [[
). Notons
(e
1
, . . . , e
d
) la base canonique de K
d
. Si x =
d
1
x
i
e
i
E, alors
[[T(x)[[ = [[
d
i=1
x
i
T(e
i
)[[
i=1
[x
i
[ [[T(e
i
)[[
_
d
i=1
[[T(e
i
)[[
_
[[x[[
.
57
Par consequent, le crit`ere de continuite est satisfait avec C =
i
[[T(e
i
)[[.
De la preuve de 4.1.1, on deduit egalement le corollaire suivant.
Corollaire 4.1.3 Une application lineaire est continue si et seulement si elle est continue en 0. Il
revient encore au meme de dire que T est bornee sur la boule B(0, ), pour un certain > 0. Si tel
est le cas, alors T est en fait lipschitzienne, et elle est donc bornee sur toute partie bornee de E.
Dans les cas des formes lineaires, on dispose dun autre crit`ere de continuite, parfois utile.
Proposition 4.1.4 Soit E un espace vectoriel norme. Une forme lineaire : E K est continue
si et seulement si son noyau est ferme dans E.
Preuve. Si est continue, alors Ker() =
1
(0) est ferme dans E. Inversement, supposons que
ne soit pas continue. Alors nest pas bornee sur la boule unite de E, donc on peut trouver
une suite (x
n
) E telle que [[x
n
[[ 1 et [(x
n
)[ > 2
n
pour tout n N. En posant y
n
=
x
n
(x
n
)
,
on a alors (y
n
) = 1 et [[y
n
[[ < 2
n
. Soit a E tel que (a) = 1. Pour tout n N, on a alors
a y
n
Ker(). Comme y
n
tend vers 0, on en deduit que a est adherent `a Ker() : cela prouve
que Ker() nest pas ferme dans E puisque a , Ker().
Corollaire 4.1.5 Si est une forme lineaire non continue sur un espace vectoriel norme E, alors
Ker() est dense dans E.
Preuve. Si nest pas continue, alors Ker() nest pas ferme, donc Ker() est un sous-espace
vectoriel de E contenant strictement Ker(). Comme Ker() est un hyperplan (un sous-espace de
codimension 1), on a donc Ker() = E.
4.1.1 Lespace norme L(E, F)
Si (E, [[ . [[
E
) et (F, [[ . [[
F
) sont deux espaces vectoriels normes, on note L(E, F) lespace vectoriel
constitue par toutes les applications lineaires continues de E dans F. Lorsque E = F, on ecrit L(E)
au lieu de L(E, E).
Si T L(E, F), alors, dapr`es le theor`eme precedent, on peut poser
[[T[[ = sup
_
[[T(x)[[
F
[[x[[
E
; x E, x ,= 0
_
.
Par homogeneite des normes, on a egalement
[[T[[ = sup [[T(x)[[
F
; [[x[[
E
= 1 = sup [[T(x)[[
F
; [[x[[
E
1 .
Notons enn que [[T[[ est en fait la constante de Lipschitz de T : cela decoule du fait quon a
[[T(x y)[[ = [[T(x) T(y)[[ pour x, y E.
Avec cette notation, le theor`eme 4.1.1 se reformule comme suit :
58
Theor`eme 4.1.6 Soit C R
+
. Pour une application lineaire T : E F, les proprietes suivantes
sont equivalentes :
(1) [[T(x)[[ C [[x[[ pour tout x E ;
(2) T est continue et [[T[[ C.
La preuve du resultat suivant est laissee en exercice
Proposition 4.1.7 Lapplication [[ . [[ denie plus haut est une norme sur lespace vectoriel L(E, F).
On dit que [[ . [[ est la norme subordonnee aux deux normes [[ . [[
E
et [[ . [[
F
En general, lorsquon veut montrer quune application lineaire est continue et calculer sa norme,
on proc`ede en deux etapes : on commence par majorer la norme, ce qui se fait souvent assez
mecaniquement, puis on essaye de la minorer, ce qui peut etre plus delicat.
Le resultat suivant montre que les normes doperateurs se comportent bien vis ` a vis de la com-
position.
Proposition 4.1.8 Soient E, F, G trois espaces vectoriels normes. Si S L(E, F) et T L(F, G),
alors TS := T S L(E, G) et [[TS[[ [[T[[ [[S[[ .
Preuve. TS est lineaire, et pour x E, on a [[TS(x)[[ [[T[[ [[S(x)[[ [[T[[ [[S[[ [[x[[.
Corollaire 4.1.9 Si T L(E, E), alors [[T
n
[[ [[T[[
n
pour tout n N.
Corollaire 4.1.10 Lapplication (S, T) TS est continue sur L(E, F) L(F, G).
Preuve. Si S
n
tend vers S et T
n
tend vers T, alors les inegalites
[[T
n
S
n
TS[[ [[T
n
(S
n
S)[[ +[[(T
n
T)S[[
[[T
n
[[ [[S
n
S[[ +[[S[[ [[T
n
T[[
prouvent que T
n
S
n
tend vers TS, car la suite (T
n
) est bornee.
Theor`eme 4.1.11 Soient E et F deux espaces vectoriels normes. On suppose que lespace F est
complet. Alors lespace L(E, F) est complet.
Preuve. Soit (T
n
) une suite de Cauchy dans L(E, F). Pour x E xe et p, q N, on a
[[T
q
(x) T
p
(x)[[ [[T
q
T
p
[[ [[x[[ .
Par consequent, la suite (T
n
(x)) est de Cauchy dans lespace de Banach F. Elle est donc convergente
dans F, et on peut poser T(x) = lim
n
T
n
(x). Lapplication T : E F ainsi denie est lineaire
car les T
n
le sont. De plus, la suite (T
n
) est bornee dans L(E, F) puisquelle est de Cauchy. Si on pose
M = sup
n
[[T
n
[[, alors [[T
n
(x)[[ M[[x[[ pour tout x E et pour tout n, do` u [[T(x)[[ M[[x[[
pour tout x E. Cela prouve que T est continue. Enn, si x E et n N, alors
[[(T
q
T
n
)(x)[[ [[T
q
T
n
[[ [[x[[
n
[[x[[
pour tout q n, o` u on a pose
n
= sup
qn
[[T
q
T
n
[[. On en deduit [[(T T
n
)(x)[[
n
[[x[[ pour
tout x E, do` u [[T T
n
[[
n
. Comme
n
tend vers 0 puisque la suite (T
n
) est de Cauchy, cela
prouve que T
n
tend vers T pour la norme de L(E, F).
59
Corollaire 4.1.12 Si E est un espace vectoriel norme, alors L(E, K) est un espace de Banach.
Voici deux exemples dapplication du theor`eme precedent.
Exemple 1 Soit X un espace de Banach. Si T L(X) verie [[T[[ < 1, alors Id T est in-
versible dans L(X), et
(Id T)
1
=
k=0
T
k
,
o` u la serie converge en norme dans L(X).
Preuve. La serie
T
k
est absolument convergente car [[T
k
[[ [[T[[
k
et [[T[[ < 1 ; elle est donc
convergente dans L(X), puisque cet espace est complet. Si on pose S =
0
T
k
et S
n
=
n
0
T
k
alors on a S
n
(Id T) = Id T
n+1
= (Id T)S
n
pour tout n N. Comme T
n+1
tend vers 0 et
comme le produit est continu sur L(X) L(X), on en deduit S(Id T) = Id = (Id T)S. Cela
prouve que Id T est inversible dans L(X), dinverse S.
Exemple 2 Soit X un espace de Banach. Si T L(X), alors on peut denir lexponentielle
de loperateur T par la formule
e
T
=
0
T
n
n!
,
o` u la serie converge dans L(X).
Preuve. La serie
T
n
n!
converge absolument car
0
||T
n
||
n!
0
||T||
n
n!
= e
||T||
< .
4.2 Exemples
4.2.1 Normes doperateurs en dimension nie
On a vu quen dimension nie, toutes les applications lineaires sont continues. Par consequent,
lespace L(K
d
) sidentie ` a lespace des matrices carrees /
d
(K). A toute norme sur K
d
correspond
donc une norme subordonnee sur /
d
(K). La proposition suivante donne trois exemples o` u la norme
subordonnee est bien identiee.
Proposition 4.2.1 Pour p 1; 2; , notons [[[ . [[[
p
la norme subordonnee `a la norme | . |
p
.
Soit M = (m
ij
) /
d
(K).
(1) On a [[[M[[[
= max
1id
d
j=1
[m
ij
[ et [[[M[[[
1
= max
1jd
d
i=1
[m
ij
[ .
(2) En notant M
= (m
ji
)), on a
[[[M[[[
2
= Max
; valeur propre de M
M .
60
Preuve. (1) Posons C = max
i
j
[m
ij
[. Pour x K
d
, la i-`eme composante de Mx est (Mx)
i
=
j
m
ij
x
j
. On a donc
[(Mx)
i
[
d
j=1
[m
ij
[ [x
j
[ [[x[[
j
[m
ij
[
pour tout i 1; . . . ; d, do` u [[Mx[[
C [[x[[
C. Inversement, soit i
0
tel que C =
j
[m
i
0
j
[. Notons e le vecteur (
1
, . . . ,
d
), o` u
j
K verie [
j
[ = 1 et
j
m
i
0
j
= [m
i
0
j
[.
Alors [[e[[
= 1 et (Me)
i
0
= C, donc [[[M[[[
[[Me[[
M est autoadjointe (A
1
, . . . ,
d
les valeurs propres associees. Posons egalement = Max
1
; . . . ;
d
. Pour x =
d
1
x
j
f
j
,
on a
|Mx|
2
2
= Ax, x) =
d
j=1
j
[x
j
[
2
do` u, par denition de :
|Mx|
2
2
d
j=1
[x
j
[
2
= |x|
2
2
.
On a donc [[[M[[[
2
. Pour linegalite inverse, on prend x = f
j
, ce qui donne [[[M[[[
2
2
|Mf
j
|
2
2
=
j
pour tout j 1 ; . . . ; d et donc [[[M[[[
2
.
4.2.2 Projections orthogonales
Dans cette section, H est un espace de Hilbert reel ou complexe. On note , ) le produit scalaire
sur H. Dans le cas complexe, on adopte la convention suivante : x, y) est lineaire par rapport `a y
et antilineaire par rapport `a x.
Theor`eme 4.2.2 Soit E un sous-espace vectoriel ferme de H.
(1) Pour tout x H, il existe un unique vecteur z E tel que [[x z[[ = d(x, E). Ce vecteur est
note p
E
(x).
(2) Le vecteur p
E
(x) est caracterise par les deux proprietes suivantes : p
E
(x) E et xp
E
(x) E
.
(3) Lapplication p
E
: H E est une projection lineaire continue, de norme 1. On dit que p
E
est
la projection orthogonale de H sur E.
Preuve. La partie (1) a dej` a ete demontree dans le chapitre sur les espaces complets.
Pour demontrer (2), on se place dabord dans le cas dun espace de Hilbert reel. Fixons x H et
denissons f : E R par f(z) = [[z x[[
2
. Il est bien connu (et facile ` a montrer) que lapplication
f est dierentiable sur E et que sa dierentielle est donnee par
Df(z) . h = 2 z x, h) .
Comme f atteint sa borne inferieure au point p
E
(x), on a Df(p
E
(x)) = 0, donc p
E
(x) x est
orthogonal ` a E. Inversement, si z E et si z x est orthogonal ` a E, alors u = z p
E
(x) =
61
(z x) +(xp
E
(x)) est orthogonal `a E. Comme u E, on a donc u = 0, autrement dit z = p
E
(x).
On a donc demontre (2) dans le cas dun espace de Hilbert reel. Dans le cas complexe, ce qui prec`ede
montre que p
E
(x) est caracterise par le fait quon a Re x p
E
(x), h) = 0 pour tout h E. En
remplacant h par ih, on obtient aussi Imxp
E
(x), h) = 0, do` u nalement xp
E
(x), h) = 0 pour
tout h E, ce qui termine la demonstration.
La linearite de p
E
decoule directement de (2) : si x, y H, alors p
E
(x) + p
E
(y) est un vecteur de
E tel que x + y (p
E
(x) + p
E
(y)) est orthogonal ` a E, donc p
E
(x) + p
E
(y) = p
E
(x + y) ; de meme
pour p
E
(x). De plus, on a p
E
(x) = x pour tout x E = Im(p
E
), donc p
E
est une projection. Si
x H, alors les vecteurs x p
E
(x) et p
E
(x) sont orthogonaux. Dapr`es le theor`eme de Pythagore,
on a donc
[[x[[
2
= [[x p
E
(x)[[
2
+[[p
E
(x)[[
2
.
En particulier, on a [[p
E
(x)[[ [[x[[, ce qui prouve que lapplication lineaire p
E
est continue avec
[[p
E
[[ 1. Mais comme p
E
(x) = x si x E, on a aussi [[p
E
[[ 1, do` u nalement [[p
E
[[ = 1.
Corollaire 4.2.3 Pour tout sous-espace vectoriel E H, on a H = E E
. En particulier, si E
est un sous-espace ferme de H, alors H = E E
.
Preuve. Si E est ferme, on a H = EE
puisque p
E
est une projection dimage E et de noyau E
.
Dans le cas general, on observe quon a E
= E
= 0.
4.2.3 Operateurs `a noyau
Dans cette section, (, ) est un espace mesure. On suppose que la mesure est -nie, pour pouvoir
appliquer le theor`eme de Fubini. On xe un noyau sur , cest-` a-dire une fonction mesurable
K : K.
Si f : K est une fonction mesurable, on pose
T
K
f(x) =
_
_
_
__
[K(x, y)[
p
d(y)
_
[[f[[
p
q
pour tout x . En integrant cette inegalite par rapport ` a x, on en deduit
_
_
_
. Par consequent, T
K
f(x) est bien deni presque partout
et appartient ` a L
, avec |T
K
f|
|K|
pour
tout (x, y) .
Corollaire 4.2.7 Si K L
2
( ), alors K denit un operateur borne de L
2
dans L
2
, avec
[[T
K
[[ [[K[[
2
.
Exemple (operateur de Volterra)
Pour tout p [1 ; ], on denit un operateur lineaire continu de L
q
([0; 1]) dans L
p
([0; 1]) en posant
V
p
f(x) =
_
x
0
f(y) dy ,
63
et on a |V
p
| 2
1/p
. Cet operateur sappelle loperateur de Volterra. Il envoie en fait L
q
([0; 1])
dans (([0; 1]).
Preuve. On applique la proposition au noyau K L
p
deni par K(x, y) = 1
[0;x]
(y), dont la norme
L
p
vaut 2
1/p
. Pour montrer que V
p
f est toujours une fonction continue, on peut par exemple
utiliser le theor`eme de continuite pour les integrales ` a param`etres : pour x
0
[0; 1] xe, la fonc-
tion x 1
[0;x]
(y)f(y) = 1
[y;1]
(x)f(y) est continue en x
0
pour tout point y ,= x
0
, donc pour
presque tout y [0; 1], et on peut majorer [K(x, y)[ par [f(y)[, fonction integrable sur [0 ; 1] car
L
q
([0; 1]) L
1
([0; 1]). Dans le cas q > 1, on a une preuve plus simple, qui donne une information
plus precise : en utilisant linegalite de H older pour majorer [V
p
f(x
) V
p
f(x)[ = [
_
x
x
f(y) dy[, on
trouve [V
p
f(x
) V
p
f(x)[ |f|
q
[x
x[
1/p
; la fonction V
p
f est donc
1
p
-Holderienne.
Theor`eme 4.2.8 (test de Schur)
Soit p [1 ; ], et soit q lexposant conjugue. On suppose quil existe une fonction mesurable
strictement positive w : R et une constante C < telles que les deux proprietes suivantes
soient veriees :
(1)
_
[K(x, y)[
1/q
w(y)
1/pq
[K(x, y)[
1/p
[f(y)[
w(y)
1/pq
d(y)
__
[K(x, y)[w(y)
1/p
d(y)
_
1/q
__
[K(x, y)[
[f(y)[
p
w(y)
1/q
d(y)
_
1/p
C
1/q
w(x)
1/pq
__
[K(x, y)[
[f(y)[
p
w(y)
1/q
d(y)
_
1/p
.
En elevant ` a la puissance p, en integrant par rapport ` a x et en utilisant le theor`eme de Fubini, on
en deduit
_
__
[f(y)[
p
w(y)
1/q
__
[f(y)[
p
w(y)
1/q
Cw(y)
1/q
d(y)
= C
p
q
+1
[[f[[
p
p
.
Par consequent, K denit un operateur borne de L
p
dans L
p
, avec [[T
K
[[ C
1
q
+
1
p
= C.
64
Corollaire 4.2.9 On suppose quil existe une fonction mesurable strictement positive : R
et une constante C < telles que les deux proprietes suivantes soient veriees :
(1)
_
)
2
(N
) en posant
T(x)
i
=
j=1
1
i +j
x
j
.
Preuve. On prend ici = N
K est
deni par K(i, j) =
1
i+j
.
Soit : N
i
, i N
. Pour i N
j
_
j
j1
dt
(i +t)
t
conduisent ` a linegalite
j=1
K(i, j)
j
_
0
dt
(i +t)
t, on trouve ensuite
_
0
dt
(i +t)
t
= 2
_
0
du
i +u
2
=
65
Ainsi, on a obtenu
j=1
K(i, j)
j
i
pour tout i N
T[[ = [[T[[.
Preuve. Comme E est dense dans X, il y a necessairement unicite dun prolongement continu de T.
Soit x un point quelconque de X. Comme E est dense dans X, on peut trouver une suite (z
n
) E
qui converge vers x. Alors la suite (z
n
) est de Cauchy, et comme [[T(z
q
) T(z
p
)[[ [[T[[ [[z
q
z
p
[[
pour tous p, q N, on en deduit que la suite (T(z
n
)) est de Cauchy dans Y . Comme Y est suppose
complet, la suite (T(z
n
)) est donc convergente dans Y . De plus, si (z
n
) est une autre suite de
points de E convergeant vers x, alors la suite z
0
, z
0
, z
1
, z
1
, . . . converge aussi vers x, donc la suite
T(z
0
), T(z
0
), T(z
1
), T(z
1
), . . . est convergente dapr`es ce qui precede, et par consequent les suites
(T(z
n
)) et (T(z
n
)) ont la meme limite. On peut donc poser
T(x) = lim
n
T(z
n
), o` u (z
n
) est
nimporte quelle suite de points de E convergeant vers x. On verie sans peine que lapplication
T
est lineaire. Enn, avec les notations precedentes, on a [[T(z
n
)[[ [[T[[ [[z
n
[[ pour tout n N, donc
[[
f est uniformement continue. La preuve est essentiellement la meme que celle donnee dans le cas
lineaire.
Exemple 1 Integrale vectorielle
Soit (K, d) un espace metrique compact, et soit X un espace de Banach. Notons c(K, X) les-
pace vectoriel constitue par toutes les fonctions boreliennes etagees : K X. Si c(K, X)
66
alors
=
N
1
a
i
1
A
i
,
o` u les A
i
sont des boreliens de K, non necessairement disjoints, et les a
i
sont des vecteurs de X. Si
maintenant est une mesure borelienne nie sur X, alors on montre que le vecteur x =
N
1
(A
i
)a
i
ne depend pas de la decomposition de sous la forme
a
i
1
A
i
. On peut donc poser
_
K
d =
N
i=1
(A
i
) a
i
.
Lemme 4.3.2 Lapplication
_
K
d est lineaire continue de (c(K, X), [[ . [[
) dans X, de
norme egale ` a (K).
Preuve. La linearite est evidente une fois quon sait que
_
d ne depend pas de la decomposition
de sous la forme
a
i
1
A
i
. Si c(K, X), on peut ecrire =
i
a
i
1
A
i
, o` u les A
i
sont des
boreliens de K deux `a deux disjoints. On a alors
_
_
_
_
K
d
_
_
_ =
_
_
_
i
(A
i
) a
i
_
_
_
i
(A
i
) [[a
i
[[
i
(A
i
)
_
[[[[
(K)[[[[
.
Par consequent, lapplication lineaire
_
K
d est continue, de norme au plus egale ` a (K).
Pour linegalite inverse, il sut de considerer une fonction constante (et non nulle).
Dapr`es le lemme et le theor`eme de prolongement par densite, on peut donc prolonger lappli-
cation
_
K
d ` a c(K, X), o` u c(K, X) est ladherence de c(K, X) dans
) dans X.
(2) Pour toute fonction f ((K, X), on a
_
_
_
_
_
K
f d
_
_
_
_
_
K
[[f(t)[[ d(t) .
(3) Si x
,
_
K
f d
_
=
_
K
x
, f(t)) d(t) .
67
Preuve. La partie (1) decoule du theor`eme de prolongement par densite. Pour (2) et (3) on com-
mence par prouver le resultat pour une fonction c(K, X), puis on conclut par approximation.
Les details sont laisses en exercice.
Exemple 2 Transformation de Fourier-Plancherel
Si f est une fonction integrable sur R, sa transformee de Fourier est la fonction
f : R K
denie par
f() =
_
R
f(x) e
ix
dx .
On sait quen general, la fonction
f est continue et tend vers 0 ` a linni, mais quelle na aucun
raison detre elle-meme integrable. Cependant, si f, en plus detre integrable, est aussi de carre
integrable, alors on peut montrer que
f est elle aussi de carre integrable, et quon a
_
R
[
f()[
2
d = 2
_
R
[f(x)[
2
dx .
On en deduit que la restriction de lapplication lineaire f
f ` a lespace L
1
L
2
envoie L
1
L
2
dans L
2
et est continue de (L
1
L
2
, [[ . [[
2
) dans (L
2
, [[ . [[
2
). Dapr`es le theor`eme de prolongement
par densite, il existe donc une application lineaire continue T : L
2
(R) L
2
(R) telle que Tf =
f si
f L
1
L
2
. Cette application T est la transformation de Fourier-Plancherel.
Il faut prendre bien garde au fait que si f L
2
, alors on ne peut pas ecrire Tf() =
_
R
f(x)e
ix
dx
pour R. Cette formule na de sens que si f est de plus integrable. On peut seulement dire
que Tf est la limite en norme L
2
des
f
n
, o` u (f
n
) est nimporte quelle suite delements de L
1
L
2
convergeant vers f en norme L
2
. Par exemple, on peut prendre f
n
= f 1
[n;n]
. On a alors
f
n
() =
_
n
n
f(x)e
ix
dx
pour tout R, ce qui permet decrire
Tf() = lim
n
_
n
n
f(x)e
ix
dx au sens L
2
.
Si on oublie le facteur 2, la transformation de Fourier-Plancherel devient une isometrie de L
2
(R)
dans L
2
(R). En particulier, T est injective et limage de T est fermee dans L
2
. Mais par ailleurs,
il decoule de la formule dinversion de Fourier que limage de T contient toutes les fonctions de la
classe de Schwartz
o(R) :=
_
(
(R); lim
|x|
[x[
k
(n)
(x) = 0 pour tous k, n N
_
.
Comme on sait que o(R) est dense dans L
2
(R) (voir 4.4.4 pour une demonstration), on en deduit
que limage de T est dense dans L
2
. Au total, T est bijective de L
2
sur L
2
. Enn. si o(R),
68
alors (x) =
1
2
T (x) dapr`es la formule dinversion de Fourier. Autrement dit, on a T
1
(x) =
1
2
T(x) pour o(R). Comme o(R) est dense dans L
2
, on en deduit que pour g L
2
, on a
egalement T
1
g(x) =
1
2
Tg(x) presque partout.
En resume, on a donc le resultat suivant.
Theor`eme 4.3.4 Lapplication 1 =
1
2
T est une isometrie bijective de L
2
(R) sur L
2
(R), din-
verse donnee par 1
1
g(x) = 1g(x). En particulier, T est un isomorphisme de L
2
sur L
2
qui
preserve lorthogonalite, et on a T
4
= id.
4.4 Familles bornees dapplications lineaires continues
4.4.1 Convergence forcee
Le resultat suivant est simple, mais extremement utile.
Lemme 4.4.1 Soient E et F deux espaces vectoriels normes, et soit (T
i
)
i0
une suite dapplication
lineaires continues, T
i
: E F.On fait les hypoth`eses suivantes :
(a) La suite (T
i
) est bornee en norme ;
(b) T
i
(z) tend vers 0 pour tout z D, o` u D est une partie dense de E.
Alors T
i
(x) tend vers 0 pour tout x E.
Preuve. Soit x E, et xons > 0. Posons egalement M = sup
i
[[T
i
[[. Comme D est dense dans E,
on peut trouver z D tel que [[x z[[ . On a alors
[[T
i
(x)[[ [[T
i
(z)[[ +[[T
i
(z x)[[ [[T
i
(z)[[ +M
pour tout i N. Comme T
i
(z) tend vers 0, on en deduit
lim
i
[[T
i
(x)[[ M
pour tout > 0. Cela termine la demonstration.
Remarque On a enonce le resultat pour une suite (T
i
), mais il ressort clairement de la demonstration
que le meme resultat vaut pour une famille (T
i
) indexee par exemple par un intervalle de R, lindice
i ayant vocation ` a tendre vers une des bornes de lintervalle.
Exemple Unites approchees
On sait que L
1
(R) est muni dune structure dalg`ebre commutative, la multiplication etant donnee
par le produit de convolution . On sait egalement que la transformation de Fourier change le pro-
duit de convolution en produit ordinaire : si f, g L
1
(R), alors
f g =
f g. On en deduit que
lalg`ebre L
1
(R) ne poss`ede pas delement unite pour le produit . En eet, si e etait une telle unite,
on aurait e() g() = e() pour toute fonction g L
1
(R) et pour tout R, et donc e 1 car pour
tout R, on peut trouver une fonction g L
1
(R) telle que g() ,= 0 (par exemple, la fonction
indicatrice de lintervalle [ 1; + 1]). Mais ceci est impossible car e doit tendre vers 0 ` a linni.
On va voir quon peut cependant pallier ` a labsence dunite.
69
On dira quune suite (k
i
) L
1
(R
d
) est une unite approchee si elle verie les proprietes suivantes,
o` u [ . [ est une norme quelconque sur R
d
, par exemple la norme euclidienne.
(a) La suite (k
i
) est bornee en norme L
1
.
(b) On a
_
R
d
k
i
(u) du = 1 pour tout i.
(c) Pour tout > 0, on a lim
i
_
|u|
[k
i
(u)[ du = 0.
La meme denition vaut pour une famille (k
i
)
iI
parametree par un intervalle de R, le param`etre
i etant destine `a tendre vers une des bornes de lintervalle. Le resultat suivant justie lexpression
unite approchee.
Theor`eme 4.4.2 Soit (k
i
)
iI
L
1
(R
d
) une unite approchee.
(1) Si f : R
d
K est continue `a support compact, alors k
i
f tend vers f uniformement.
(2) Si f L
p
(R
d
), 1 p < , alors k
i
f tend vers f en norme L
p
.
Preuve. (1) Soit f : R
d
K continue ` a support compact. Alors f est bornee et uniformement
continue. Pour x R
d
, on a dapr`es (b) :
f k
i
(x) f(x) =
_
R
d
f(x u)k
i
(u) du f(x)
=
_
R
d
_
f(x u) f(x)
_
k
i
(u) du .
On en deduit
[f k
i
(x) f(x)[
_
R
d
[f(x u) f(x)[ [k
i
(u)[ du.
Soit maintenant > 0, et soit > 0 tel que [f(u) f(v)[ si [u v[ ; un tel existe par
uniforme continuite de f. Pour tout x R
d
et pour tout i, on a alors
[f k
i
(x) f(x)[
_
|u|<
[k
i
(u)[ du +
_
|u|
[f(x u) f(x)[ [k
i
(u)[ du
C + 2[[f[[
_
|u|
[k
i
(u)[ du ,
o` u on a pose C = sup
i
[[k
i
[[
1
. Comme le membre de droite ne depend pas de x, on obtient donc
[[k
i
f f[[
C + 2[[f[[
_
|u|
[k
i
(u)[ du
pour tout i I. Grace ` a (a) et (b), on en deduit
lim
i
[[k
i
f f[[
C
pour tout > 0. Cela prouve que k
i
f tend vers f uniformement.
Pour demontrer (2), on peut supposer que toutes les fonctions k
i
ont leur support contenu dans
70
la boule unite B R
d
. En eet, il dcoule de (c) que 1
B
k
i
k
i
tend vers 0 en norme L
1
, et par
consequent, si on pose m
i
=
_
B
k
i
et
k
i
=
1
m
i
1
B
k
i
(ce qui est possible ` a partir dun certain rang
dapr`es (c)), alors
k
i
k
i
=
1
m
i
(1
B
k
i
k
i
) +
_
1
m
i
1
_
k
i
tend vers 0 dans L
1
, gr ace ` a (a) et (b).
On en deduit dune part que la famille (
k
i
) verie les memes hypoth`eses que (k
i
), et dautre part
que (k
i
k
i
) f tend vers 0 en norme L
p
pour toute fonction f L
p
, puisque |(k
i
k
i
) f|
p
|k
i
k
i
|
1
|f|
p
. Si on sait demontrer le resultat pour (
k
i
), on saura donc le faire pour (k
i
).
Fixons p [1 ; [, et considerons les operateurs T
i
: L
p
(R
d
) L
p
(R
d
) denis par
T
i
(f) = k
i
f f .
Les T
i
sont bien denis, et linegalite [[k
i
f[[
p
[[k
i
[[
1
[[f[[
p
montre que T
i
est un operateur lineaire
continu, de norme au plus egale ` a [[k
i
[[
1
+ 1. Par consequent, la suite (T
i
) est bornee en norme. De
plus, si f est continue `a support compact, alors T
i
(f) tend vers 0 uniformement, dapr`es le cas (1).
Comme de plus les T
i
(f) ont leur support contenu dans le compact xe B + supp(f), on en deduit
que T
i
(f) tend vers 0 en norme L
p
, pour toute fonction f continue ` a support compact. Comme
lensemble des fonctions continues ` a support compact est dense dans L
p
(R
d
), on peut donc conclure
que T
i
(f) tend vers 0 en norme L
p
pour toute fonction f L
p
. Cela termine la demonstration.
Exemple. Si k est une fonction integrable sur R
d
veriant
_
R
d
k = 1, alors on verie sans di-
culte que la famille (k
)
>0
denie par
k
(u) = n
d
k(u)
est une unite approchee dans L
1
(R
d
) (ici, le param`etre a vocation `a tendre vers linni). De plus,
si k est de classe (
(x) =
_
R
d
k
(x y)(y) dy
montre que si : R
d
K, est continue ` a support compact, alors toutes les fonctions k
sont
(denies partout et) de classe (
`a support compact.
Remarque. Lapproximation par convolution a une propriete interessante : si la fonction prend
ses valeurs dans un certain convexe ferme C K, alors on peut lapprocher par des fonctions (
` a support compact prenant egalement leurs valeurs dans C. Il sut pour cela de considerer les
aproximations k
(x) =
_
K
(x y) d
(x), o` u
.
Comme les fonctions continues `a support compact sont denses dans L
p
si p < , le corollaire
precedent entrane :
Corollaire 4.4.4 Si 1 p < , alors lensemble des fonctions de classe (
n
F
n
= X car la famille
(T
i
) est simplement bornee. Comme X est un espace de Banach, le theor`eme de Baire assure que
lun des F
n
est dinterieur non vide. On peut donc trouver un entier N, un point x
0
X et un
nombre r > 0 tels que
x B(x
0
, r) i I [[T
i
(x)[[ N .
Par linearite de T, la meme inegalite est valable pour x B(x
0
, r) = B(x
0
, r). En ecrivant
h =
1
2
((x
0
+h) + (x
0
+h)), on en deduit que pour h B(0, r) et i I, on a
[[T
i
(h)[[
1
2
([[T
i
(x
0
+h)[[ +[[T
i
(x
0
+h)[[) N .
On obtient ainsi [[T
i
[[ N/r pour tout i I, ce qui termine la demonstration.
Corollaire 4.4.6 Soit (T
n
) une suite dapplications lineaires continues, T
n
: X Y , o` u X est
un espace de Banach et Y un espace vectoriel norme. On suppose que la suite (T
n
) est simplement
convergente, autrement dit que T
n
(x) converge dans Y pour tout x X. Alors T = lim
n
T
n
est une
application lineaire continue.
Preuve. Il est clair que T est lineaire. De plus, la suite (T
n
) est simplement bornee, donc bornee en
norme dapr`es le theor`eme de Banach-Steinhaus. Si on pose C = sup
n
[[T
n
[[, alors [[T
n
(x)[[ C [[x[[
pour tout n et pour tout x X, donc [[T(x)[[ C [[x[[ pour tout x X. Par consequent, T est
continue.
72
Exemple Divergence des series de Fourier
Comme application du theor`eme de Banach-Steinhaus, on va demontrer un resultat negatif concer-
nant la convergence des series de Fourier.
Si f : R C est une fonction 2-periodique integrable sur [; ], ses coecients de Fou-
rier sont denis (pour k Z) par
c
k
(f) =
1
2
_
f(t)e
ikt
dt .
Les sommes partielles de Fourier de la fonction f sont les polynomes trigonometriques S
n
f
denis par
S
n
f(t) =
|k|n
c
k
(f) e
ikt
.
On sait par exemple que si f est de classe (
1
, alors S
n
f tend vers f uniformement. En revanche,
on a le resultat suivant.
Proposition 4.4.7 Il existe une fonction continue 2-periodique f : R C telle que la suite
(S
n
f(0)) nest pas bornee. En particulier, S
n
f(0) ne converge pas vers f(0).
La preuve repose sur un calcul classique : pour n N, on a
S
n
f(x) = D
n
f(x) :=
1
2
_
f(t)D
n
(x t) dt ,
o` u D
n
est le noyau de Dirichlet, deni par
D
n
(t) =
|k|n
e
ikt
=
sin(n +
1
2
)t
sin
t
2
Comme D
n
est une fonction paire, on a donc
S
n
f(0) =
1
2
_
f(t)D
n
(t) dt .
Notons (
2
lespace vectoriel constitue par les fonctions continues 2-periodiques f : R C. Alors
(
2
est un sous-espace vectoriel ferme de (
(R, C), [[ . [[
n
(f) = S
n
f(0) .
Lemme 4.4.8
n
est une forme lineaire continue sur (
2
, avec [[
n
[[ = [[D
n
[[
1
=
1
2
_
[D
n
(t)[ dt.
Preuve du lemme. On a [
n
(f)[ [[f[[
[[D
n
[[
1
, donc la forme lineaire
n
est continue, de
norme au plus egale ` a [[D
n
[[
1
. Inversement, il est facile de construire une suite (f
k
) (
2
telle que
[[f
k
[[
f
k
(t)D
n
(t) dt tend vers
1
2
_
[D
n
(t)[ dt = [[D
n
[[
1
quand
73
k tend vers linni. Comme [[f
k
[[
sin(n +
1
2
)t
sin
t
2
dt
2
_
0
[ sin(n +
1
2
)t[
t
dt
car [ sin u[ u si u 0. On en deduit
_
[D
n
(t)[ dt 2
_
(n+
1
2
)
0
[ sin u[
u
du,
et donc lim
n
[[D
n
[[
1
= +. Cette contradiction ach`eve la preuve.
4.5 Theor`emes de limage ouverte et du graphe ferme
4.5.1 Theor`eme de limage ouverte
Theor`eme 4.5.1 (theor`eme de majoration automatique)
Soient X et Y deux espaces de Banach, et soit T L(X, Y ). On suppose que T est surjective. Alors
il existe une constante C < veriant la propriete suivante : pour tout y Y , il existe un x X
tel que T(x) = y et [[x[[ C [[y[[. Ainsi, on peut choisir un antecedent de y par T en controlant sa
norme.
La demonstration est basee sur deux lemmes. Dans ce qui suit, on note B
E
la boule unite fermee
dun espace vectoriel norme E.
Lemme 4.5.2 Soient X un espace vectoriel norme et Y un espace de Banach. Si T L(X, Y )
est surjectif, alors T(B
X
) est dinterieur non vide dans Y .
Preuve. Comme T est surjectif et X =
nN
nB
X
, on a
Y =
_
nN
T(nB
X
) ,
donc a fortiori Y =
n
T(nB
X
). Comme Y est un espace de Banach, le theor`eme de Baire assure que
lun des ensembles fermes F
n
= T(nB
X
) est dinterieur non vide dans Y . Comme on a F
n
= nT(B
X
),
cela montre que T(B
X
) est dinterieur non vide.
74
Lemme 4.5.3 Soient X un espace de Banach et Y un espace vectoriel norme. Soit egalement
T L(X, Y ), et soit M R
+
. On suppose que T(MB
X
) contient la boule B
Y
. Alors, pour tout
C > M, T(CB
X
) contient B
Y
.
Preuve. Il sut de montrer que pour tout k < 1, on a B
Y
T(
M
1k
B
X
). Fixons k < 1 et y B
Y
. Par
hypoth`ese, on peut trouver x
0
X tel que [[x
0
[[ M et [[yT(x
0
)[[ k. Alors y
1
=
1
k
(yT(x
0
))
B
Y
, donc on peut trouver x
1
X tel que [[x
1
[[ M et [[y
1
T(x
1
)[[ k. En multipliant par k, on
obtient alors
[[y T(kx
1
+x
0
)[[ k
2
.
On pose alors y
2
=
1
k
2
_
y T(kx
1
+x
0
)
_
, on rep`ete le raisonnement precedent, et ainsi de suite. On
voit ainsi quon peut construire par recurrence une suite (x
n
) X telle que [[x
n
[[ M et
[[T(k
n
x
n
+. . . +kx
1
+x
0
) y[[ k
n+1
pour tout n N. La serie
k
n
x
n
est absolument convergente car [[k
n
x
n
[[ M k
n
et k < 1. Comme
X est un espace de Banach, cette serie converge dans X et on peut donc poser
x =
0
k
n
x
n
.
Comme T est continue, linegalite precedente montre quon a T(x) = y. De plus, on a aussi [[x[[
M
0
k
n
=
M
1k
. Comme y B
Y
est arbitraire, cela termine la demonstration.
Remarque. On a un enonce analogue avec des boules ouvertes (qui se deduit du lemme precedent) :
si T(B(0, M)) contient
B
Y
, alors T(B(0, M)) contient dej`a
B
Y
.
Preuve de 4.5.1. Soit T L(X, Y ) surjectif. Dapr`es le lemme 4.5.2, T(B
X
) est dinterieur non
vide. On peut donc trouver y
0
Y et r > 0 tels que B(y
0
, r) T(B
X
). Comme T est lineaire,
(T(B
X
)) est un ensemble convexe et symetrique par rapport ` a 0, et on en deduit que T(B
X
) contient
lensemble
1
2
(B(y
0
, r) B(y
0
, r)), autrement dit B(0, r) T(B
X
). Ainsi, on a B
Y
T(MB
X
), o` u
M =
1
r
. Dapr`es le lemme 4.5.3, on en deduit que si C > M, alors T(CB
X
) contient B
Y
. Par
homogeneite, cela termine la demonstration.
Corollaire 4.5.4 (theor`eme disomorphisme de Banach)
Soient X et Y deux espaces de Banach. Si T L(X, Y ) est bijectif, alors T
1
est continu.
Preuve. Si T est bijectif, la conclusion du theor`eme secrit : [[T
1
(y)[[ C [[y[[ pour tout y Y .
Corollaire 4.5.5 Soient X et Y deux espaces de Banach. Pour un operateur T L(X, Y ),les
proprietes suivantes sont equivalentes.
(1) T est injectif et `a image fermee ;
(2) Il existe une constante c > 0 telle que [[T(x)[[ c [[x[[ pour tout x X.
75
Preuve. Supposons (2) veriee. Alors T est visiblement injectif. De plus, si (y
n
) = (T(x
n
)) est une
suite de points de Im(T) convergeant vers y Y , alors les inegalites [[x
p
x
q
[[ c
1
[[y
p
y
q
[[
montrent que la suite (x
n
) est de Cauchy dans X, donc convergente dans X puisque X est un
espace de Banach. Si on pose x = limx
n
, alors y = T(x) par continuite de T, donc y Im(T). Par
consequent, T est `a image fermee.
Inversement, supposons que T soit injectif et ` a image fermee. Alors Z = Im(T) est un espace de
Banach, car cest un sous-espace ferme de lespace de Banach Y , et T est une bijection lineaire
continue de X sur Z. Dapr`es le theor`eme disomorphisme de Banach, T
1
est continue sur Z, ce
qui est exactement la condition (2).
Le theor`eme de majoration automatique porte habituellement le nom de theor`eme de limage
ouverte. Cela tient au corollaire suivant.
Corollaire 4.5.6 Soient X et Y deux espaces de Banach. Si T L(X, Y ) est surjectif, alors T est
une application ouverte : pour tout ouvert O X, lensemble T(O) est un ouvert de Y .
Preuve. Soit O un ouvert de X, et soit y T(O). On cherche r > 0 tel que B(y, r) T(O).
Soit x X tel que T(x) = y. Pour tout r > 0, on a B(y, r) = T(x) + r
B
Y
, et donc B(y, r)
T(x) + rT(C
B
X
) = T(B(x, Cr)), o` u la constante C est donnee par le theor`eme de majoration
automatique. Comme O est ouvert, on peut maintenant choisir r > 0 tel que B(x, Cr) O, et on
a alors B(y, r) T(O).
Exemple Non surjectivite de la transformation de Fourier
Si f L
1
(R), sa transformee de Fourier est la fonction
f : R R denie par
f() =
_
R
f(x)e
ix
dx .
On sait que
f est une fonction continue, tendant vers 0 `a linni. De plus, on a [[
f[[
[[f[[
1
. Par
consequent, si on note (
0
(R) lespace des fonctions continues g : R R tendant vers 0 `a linni,
muni de la norme [[ . [[
f[[
76
pour toute fonction f L
1
(R). On va montrer que cela nest en fait pas vrai.
Pour > 0, notons g
la fonction (integrable) valant 1 sur [1+; 1], nulle hors de [1; 1+],
et ane sur les intervalles [1 ; 1 +] et [1 ; 1 +]. Un calcul sans diculte majeure montre
quon a
g
=
1
2
1
[1;1]
1
[;]
.
En utilisant la formule u v = u v, on en deduit
g
(x) =
1
2
sin x
x
sin(x)
x
= f
(x) .
La fonction f
=
1
2
.
Comme [[g
[[
[[
1
2C pour tout > 0. Mais
[[f
[[
1
=
1
_
0
[ sin x[ [ sin(x)[
x
2
dx ,
et comme [ sin(x)[
2
x si x [0 ;
2
], on en deduit
[[f
[[
1
2
_
2
0
[ sin x[
x
2
x dx =
2
_
2
0
[ sin x[
x
dx .
Comme
| sin x|
x
nest pas integrable `a linni, on a donc lim
0
[[f
[[
1
= +, et cette contradiction
ach`eve la preuve.
4.5.2 Caracterisations de la surjectivite
Le theor`eme suivant donne plusieurs caracterisations de la surjectivite pour un operateur lineaire.
Theor`eme 4.5.8 Soient X et Y deux espaces de Banach. Pour un operateur T L(X, Y ), les
proprietes suivantes sont equivalentes :
(1) T est surjectif ;
(2) Il existe une constante C < telle que pour tout y Y , on peut trouver x X veriant
[[x[[ C[[y[[ et T(x) = y ;
(3) Il existe une constante C < telle que T(CB
X
) contient B
Y
;
(4) Il existe deux constantes C < et k < 1 telles que pour tout y B
Y
, on peut trouver x X
veriant [[x[[ C et [[T(x) y[[ k.
Preuve. On a dej` a montre que (1) entrane (2). Il est clair que (2) entrane (3), et que (3) entrane
(4). Enn, la preuve du lemme 4.5.3 a etabli que si (4) est veriee, alors B
Y
T(
C
1k
B
X
). En
particulier, (4) entrane (1).
77
Exemple 1 Quotients de
1
(N)
Comme exemple dutilisation de la propriete (3), on va montrer que tout espace de Banach
separable est un quotient de
1
(N). Ainsi, lespace
1
(N) est en un certain sens universel parmi
les espaces de Banach separables.
Proposition 4.5.9 Si X est un espace de Banach separable, alors il existe une surjection lineaire
continue de
1
(N) sur X.
Preuve. Soit x
n
; n N un ensemble denombrable et dense dans la boule unite de X. Si =
(
n
)
1
(N), alors la serie
n
x
n
est absolument convergente, donc convergente dans X puisque
X est un espace de Banach. On peut donc denir T :
1
(N) X par
T() =
n
x
n
.
Lapplication T est visiblement lineaire. De plus, T est continue et [[T[[ 1 car [[T()[[
0
[
n
[ [[x
n
[[ [[[[
1
pour tout
1
(N). Enn, par denition de T, on a T(e
n
) = x
n
pour
tout n N, o` u on a note e
n
le n-i`eme vecteur de la base canonique de
1
(N). Par consequent,
T(B
1) contient x
n
; n N, et est donc dense dans B
X
. On peut donc appliquer le theor`eme
precedent pour conclure que T est surjectif.
Exemple 2 Theor`eme dextension de Tietze
Comme exemple dutilisation de la propriete (4), on va maintenant demontrer le resultat suivant.
Theor`eme 4.5.10 (theor`eme dextension de Tietze)
Soit (E, d) un espace metrique, et soit C un ferme de E. Si f : C R est une fonction continue
bornee, alors f se prolonge en une fonction continue bornee denie sur E tout entier ; autrement
dit, il existe une fonction continue bornee
f : E R telle que
f
|C
= f.
Preuve. Si F est un espace metrique, notons (
b
(F) lespace vectoriel constitue par toutes les fonc-
tions continues bornees : F R. Alors (
b
(F) est un sous-espace ferme de (
(F, R), [[ . [[
), donc
cest un espace de Banach pour la norme [[ . [[
. Soit T : (
b
(E) (
b
(C) loperateur de restriction,
deni par T() =
|C
. Il est clair que T est lineaire continu, de norme au plus egale `a 1. Il sagit de
montrer que loperateur T est surjectif. Dapr`es le crit`ere (3) du theor`eme precedent (avec C = 1
et k = 2/3), il sut pour cela de verier le fait suivant.
Fait Si f : C [1; 1] est continue, alors il existe une fonction continue
f : E [1; 1] telle que
[
f
+
(x) =
d(x, C
0
)
d(x, C
0
) +d(x, C
1
)
78
Par denition, on a donc
f
+
(x) = 1 si x C verie f(x) 2/3, et
f
+
(x) = 0 si x C verie
f(x) 1/3. De meme, il existe une fonction continue
f
(x) = 0 si
f(x) 1/3 et
f
. La fonction
f
est continue, et ` a valeurs dans [1; 1]. Si x C, on a
f(x) = 1 si f(x) 2/3,
f(x) = 1 si
f(x) 2/3,
f(x) = 0 si [f(x)[ 1/3, 0
f(x) 1 si 1/3 f(x) 2/3, et 1
f(x) 0 si
2/3 f(x) 1/3. On constate donc quon a [
) (E, [[ . [[
1
) est continue
car [[ . [[
1
[[ . [[
) (E, [[ . [[
1
), donc
le graphe de i
1
: (E, [[ . [[
1
) (E, [[ . [[
). Mais i
1
nest
pas continue car les normes [[ . [[
1
et [[ . [[
, et on munit E
, y
, z
les elements de E
, et x
sur un vecteur x E.
Le resultat suivant a dej`a ete demontre.
Theor`eme 5.1.1 Si E est un espace vectoriel norme, alors E
| = |
aa
| = 0.
5.1.2 dual de L
p
Soit (, /, ) un espace mesure. Pour simplier les enonces qui vont suivre, on supposera que la
mesure est -nie, bien que cela ne soit pas toujours necessaire.
Lemme 5.1.4 Soit p [1 ; ], et notons q lexposant conjugue (
1
p
+
1
q
= 1). Si g L
q
(, ), alors
on denit une forme lineaire continue
g
: L
p
(, ) K en posant
g
(f) =
_
fg d.
De plus, on a [[
g
[[ = [[g[[
q
.
Preuve. Si f L
p
(), alors, dapr`es linegalite de H older, on a
_
[fg[ d [[f[[
p
[[g[[
q
.
En particulier, la fonction fg est -integrable, donc lapplication
g
est bien denie. Comme
g
est
visiblement lineaire, linegalite precedente montre quelle est continue, avec [[
g
[[ [[g[[
q
.
Pour montrer quon a en fait [[
g
[[ = [[g[[
q
, on traite dabord le cas 1 < p < , donc 1 < q < . Par
homogeneite, peut supposer [[g[[
q
= 1. Soit : K une fonction mesurable telle que [(x)[ 1
et g = [g[. Posons f = [g[
q/p
. Alors [f[
p
= [g[
q
, donc f L
p
et [[f[[
p
= [[g[[
q/p
q
= 1. De plus, on
a fg = [g[ [g[
q/p
par denition de , autrement dit fg = [g[
q
car 1 +
q
p
=
p+q
p
= q. Par consequent,
on a
g
(f) =
_
fg = [[g[[
q
q
= 1. On en deduit [[
g
[[ 1 = [[g[[
q
, do` u nalement [[
g
[[ = [[g[[
q
.
Montrons maintenant que dans le cas p = 1, q = , on a [[
g
[[ = [[g[[
. Pour linegalite inverse, il sut de montrer que pour tout nombre < [[g[[
, on
peut trouver f L
1
telle que [[f[[
1
1 et [
_
.
Le cas p = , q = 1 est laisse en exercice.
Digression. En echangeant les roles de p et q, on voit quon a montre le resultat suivant : si (, )
est un espace mesure -ni et si f : [0 ; ] est une fonction mesurable, avec f L
p
, alors
__
f(t)
p
d(t)
_
1/p
= sup
__
fg d; 0 g L
q
, |g|
q
1
_
.
82
Ce resultat est en fait valable meme si f , L
p
(auquel cas les deux membres de legalite precedent
valent +). Pour le voir, il sut dappliquer le theor`eme de convergence monotone `a une suite
(f
n
) L
p
convergeant en croissant vers f ; par exemple, on peut poser f
n
= 1
n
1
|f|n
f, o` u (
n
)
est une suite croissante densembles mesurables de mesure nie telle que
n
n
= .
Comme application, on peut par exemple demontrer une version assez generale de linegalite de
Minkowski : si (X, ) et (Y, ) sont deux espaces mesures -nis et si u : X Y [0 ; ] est
mesurable, alors
__
X
__
Y
u(x, y) d(y)
_
p
d(x)
_
1/p
_
Y
__
X
u(x, y)
p
d(x)
_
1/p
d(y) .
Il sut dappliquer lidentite precedente ` a f
1
(x) =
_
Y
u(x, y) d(y), dutiliser le theor`eme de Fubini,
puis de reappliquer lidentite precedente `a f
2
(y) =
_
X
u(x, y) d(x).
On admettra le resultat suivant, meme si sa demonstration nest pas demesurement compliquee.
Theor`eme 5.1.5 Si p < , alors toute forme lineaire continue sur L
p
(, ) est du type
g
, pour
une unique fonction g L
q
(, ).
Corollaire 5.1.6 Si p < , alors L
p
()
sidentie isometriquement `a L
q
(), o` u q est lexposant
conjugue de p.
Remarque. Pour p = , ce resultat est faux, sauf cas trivial : si L
(R),
alors la fonction F : R R denie par F(x) =
_
x
0
f(t) dt est lipschitzienne, avec [[F[[
Lip
[[f[[
.
Il se trouve que ce resultat evident poss`ede une reciproque :
Proposition 5.1.7 Si F : R R est une application lipschitzienne, alors il existe une fonction
f L
F .
83
Comme [
_
R
F
h
[ [[F
h
[[
[[[[
1
C [[[[
1
, on obtient donc
(
1
c
(R)
_
R
F
C [[[[
1
.
Autrement dit, lapplication lineaire L : (
1
c
(R) K denie par L() =
_
R
F
est continue
sur ((
1
c
(R), [[ . [[
1
). Comme (
1
c
(R) est dense dans L
1
(R), le theor`eme de prolongement par densite
permet detendre L en une forme lineaire continue
L L
1
(R)
.
En posant G(x) =
_
x
0
f(t) dt, en ecrivant (x) =
_
x
=
_
R
G
2
,
o` u
1
et
2
sont des mesures boreliennes positives nies.
(2) On appellera mesure complexe sur K toute application : Bor(K) C de la forme =
1
+i
2
, o` u
1
et
2
sont des mesures reelles.
Exemple Soit une mesure borelienne positive sur K. Si f : K C est une fonction borelienne
-integrable, alors lapplication
f
: Bor(K) C denie par
f
(A) =
_
A
f d
est une mesure complexe sur K. Si f est `a valeurs reelles, alors
f
est une mesure reelle.
Preuve. Si f est une fonction positive, alors il est bien connu que
f
est une mesure positive,
nie car f est -integrable. Dans le cas general, on ecrit f = f
1
+ if
2
, o` u f
1
, f
2
sont des fonctions
reelles, puis f
i
= f
+
i
f
i
, o` u f
+
i
= max(f
i
, 0) et f
i
= min(f
i
, 0), et on obtient une decomposition
convenable pour
f
.
On peut en fait montrer que toute mesure complexe sur K est du type precedent. Mais la preuve
est loin detre immediate, et on naura pas besoin de ce resultat.
Si =
1
2
est une mesure reelle, alors les mesures
1
et
2
telles que =
1
2
ne sont
pas determinees de mani`ere unique par . On a cependant le resultat suivant.
Remarque Soit une mesure reelle sur K. Si f : K R est une fonction borelienne bornee,
alors le nombre
_
K
f d
1
_
K
f d
2
depend uniquement de et non de la decomposition de sous
la forme =
1
2
, o` u les
i
sont des mesures positives.
84
Preuve. Si =
1
2
=
2
, alors les deux mesures positives
12
=
1
+
2
et
21
=
1
+
2
sont
egales. On a donc
_
K
f d
12
=
_
K
f d
21
, do` u le resultat.
La remarque precedente permet de denir sans ambiguite lintegrale
_
K
f d lorsque est une
mesure reelle et f est une fonction borelienne bornee sur K. On peut alors denir lintegrale de f
par rapport ` a une mesure complexe =
1
+i
2
en posant
_
K
f d =
_
K
f d
1
+i
_
K
f d
2
.
Il ny a cette fois aucune ambiguite a priori, car
1
et
2
sont uniquement determinees par :
1
est la partie reelle de et
2
est sa partie imaginaire.
Dans la suite, K est un espace metrique compact. On note ((K) lespace des fonctions conti-
nues f : K K, muni de la norme [[ . [[
_
K
f d
(K)|f|
C
_
.
On dit que p
C
est la jauge du convexe C, ou encore la fonctionnelle de Minkowski de C.
Preuve. Comme 0
C, tout point x E est absorbe par le convexe C : si on choisit r > 0
tel que B(0, r) C, alors
r
||x||
x C. Par consequent, lensemble > 0; x/ C est non vide,
donc p
C
(x) est bien deni pour tout x E. Il est facile de voir que p
C
(x) = p
C
(x) pour tout
x E et pour tout > 0. On a de plus p(0) = 0 car
0
C et
y
C. En ecrivant
x +y
+
=
+
x
+
+
y
=
x
+ (1 )
y
,
on voit que
x+y
+
est combinaison convexe de deux elements de C, et par consequent
x+y
+
C. Par
denition de p
C
, on en deduit
p
C
(x +y) +,
pour tout couple (, ) tel que
x
C et
y
: E K telle que
|V
= et [[
[[ = [[[[.
Preuve du corollaire. On doit distinguer le cas reel du cas complexe.
Cas 1 : K = R. Posons C = [[[[. En appliquant le theor`eme avec p = C [[ . [[, on obtient une
86
forme lineaire
: E R qui prolonge et verie
(x) C [[x[[ pour tout x E. On a alors aussi
(x) =
(x) C [[ x[[ = C [[x[[, do` u [
[[ [[[[, do` u [[
[[ = [[[[.
Cas 2 : K = C. Posons
R
= Re(). Alors
R
: V R est une forme R-lineaire continue, et
on a [[
R
[[ [[[[ car [
R
(x)[ [(x)[ pour tout x V . Dapr`es le cas 1, il existe donc une forme
R-lineaire continue
R
: E R qui prolonge
R
et verie [[
R
[[ [[[[. On denit alors
: E C
par
(x) =
R
(x) i
R
(ix) .
Il est clair que
est une forme R-lineaire continue. De plus, on a
(ix) =
R
(ix)i
R
(x) = i
(x)
pour tout x E, donc
est C-lineaire. Enn, si x V , alors
(x) =
R
(x) i
R
(ix)
= Re((x)) iRe((ix))
= Re((x)) iRe(i(x)),
la derni`ere egalite venant de la C-linearite de . Comme Re(iz) = Im(z) pour tout nombre
complexe z, on obtient donc
(x) = (x) pour tout x V ; autrement dit,
prolonge .
Il reste ` a voir quon a [[
(x)[ =
(x). On a alors [
(x)[ =
(x) = Re(
(x)) puisque [
(x)[ =
R
(x). On en deduit [
(x)[ [[
R
[[ [[x[[ [[[[ [[x[[ pour tout x E, do` u [[
[[ [[[[.
Linegalite inverse est evidente puisque
prolonge .
5.2.3 Preuve du theor`eme
Dans toute la suite, la fonctionnelle sous-lineaire p : E R et la forme lineaire : V R sont
xees. On dira quune forme lineaire : W R denie sur un sous-espace vectoriel W E est
un prolongement admissible de si prolonge (autrement dit W V et
|W
= ) et si on a
(x) p(x) pour tout x W.
Par hypoth`ese, elle-meme est un prolongement admissible de . Le theor`eme de Hahn-Banach
arme tr`es exactement lexistence dun prolongement admissible de deni sur E tout entier.
1 Debut de la preuve
Le lemme suivant est le point cle de la preuve du theor`eme de Hahn-Banach.
Lemme 5.2.4 Soit : W R un prolongement admissible de . Si e E et e , W, il existe une
forme lineaire
: W Re R qui prolonge et est encore un prolongement admissible de .
Preuve. Si
est une forme lineaire sur W Re prolongeant , alors, pour x = w +e W Re,
on a
(x) = (w) +,
o` u =
(e). Il sagit donc de prouver quil existe un nombre reel tel que
(w) + p(w +e)
87
pour tout couple (w, ) WR. Linegalite est veriee pour = 0, car elle se reduit ` a (w) p(w),
w W. On cherche donc R tel que
> 0 w W (w) p(w e) ,
ce qui secrit encore
(, w) ]0; [W
_
w
_
p
_
w
e
_
p
_
w
+e
_
_
w
_
.
Pour montrer lexistence dun nombre veriant cette propriete, il sut visiblement de prouver
quon a
sup(u) p(u e); u W infp(v +e) (v); v W .
Mais cette derni`ere inegalite est bel et bien veriee, car pour (u, v) W W, on a
(u) + (v) p(u +v) p(u e) +p(v +e) ,
et donc (u) p(u e) (v) (v +e). Cela termine la preuve du lemme.
2 Interlude : lemme de Zorn
Le lemme de Zorn est une des formes equivalentes de laxiome du choix. Il va intervenir de facon
essentielle dans la preuve du theor`eme de Hahn-Banach.
Rappelons quune relation dordre sur un ensemble c est une relation binaire sur c veriant
les proprietes suivantes :
(1) x _ x pour tout x c (reexivite)
(2) Si x _ y et y _ x, alors x = y (antisymetrie)
(3) Si x _ y et y _ z, alors x _ z (transitivite)
Denition 5.2.5 Soit (c, _) un ensemble ordonne.
(1) On dit quune partie / de c est totalement ordonnee par _ si tous les elements de / sont
comparables pour _, autrement dit, si pour tous x, y /, on a x _ y ou y _ x.
(2) On dit que lordre _ est inductif si toute partie totalement ordonnee de c poss`ede un majorant
dans c ; autrement dit, si pour toute partie totalement ordonnee / c, il existe un point z c tel
que a _ z pour tout a /.
(3) On dit quun point z c est un element maximal de c sil nexiste aucun point x c tel que
z _ x et x ,= z.
Les exemples suivant permettront peut-etre de clarier ces denitions.
Exemple 1 Soit un ensemble contenant au moins 2 points, et soit c = T(), lensemble de
toutes les parties de . On ordonne c par inclusion :
A _ B A B.
Alors c nest pas totalement ordonne, mais il poss`ede un plus grand element, ` a savoir . De ce fait,
c poss`ede un unique element maximal, et lordre _ est inductif.
88
Exemple 2 Soit c lensemble des compacts de R, ordonne par inclusion. Alors c nest pas to-
talement ordonnee, il ne poss`ede aucun element maximal, et lordre _ nest pas inductif.
Exemple 3 Soit E un espace metrique contenant au moins 2 points, et soit c lensemble des
compacts non vides de E. On ordonne c par inclusion inverse :
K _ L K L.
Alors c nest pas totalement ordonne, lordre _ est inductif, et les elements maximaux sont les
singletons.
Voici maintenant lenonce du lemme de Zorn.
Lemme de Zorn Tout ensemble ordonne inductif poss`ede un element maximal.
Le lemme de Zorn intervient dans toutes les mathematiques. Une de ses particularites agreables est
quil est toujours tr`es facile ` a utiliser. En voici trois applications, quon ne detaillera pas.
Exemple 1 Tout espace vectoriel poss`ede une base.
Pour la preuve, on prend pour c lensemble de toutes les familles libres de lespace vectoriel considere,
et on ordonne c par inclusion : (e
i
)
iI
_ (f
j
)
jJ
si et seulement si e
i
; i I f
j
; j J. On
verie sans diculte que lordre est inductif, et quune famille libre maximale est necessairement
une base.
Exemple 2 Tout espace de Hilbert poss`ede une base hilbertienne.
La preuve est identique, en prenant pour c lensemble des familles orthonormales de lespace de
Hilbert considere.
Exemple 3 Dans un anneau commutatif, tout ideal est contenu dans un ideal maximal.
Pour la preuve, on prend pour c lensemble de tous les ideaux de lanneau considere contenant
lideal donne et ne contenant pas lelement unite, et on ordonne ` a nouveau c par inclusion.
3 Fin de la preuve
Notons c lensemble de tous les prolongements admissibles de . On ordonne c de la mani`ere
suivante : si
1
,
2
c, alors
1
_
2
2
est un prolongement de
1
.
On verie sans diculte que lordre c est inductif : si (
i
)
iI
est une famille totalement ordonnee
de prolongements admissibles,
i
: W
i
R, alors W :=
i
W
i
est un sous-espace vectoriel de E,
et on denit : W R sans ambiguite en posant (x) =
i
(x) si x W
i
; par denition, est
89
un prolongement admissible de qui majore toutes les
i
. Dapr`es le lemme de Zorn, c poss`ede
donc un element maximal
0
: W
0
R. Si on avait W
0
,= E, alors le lemme 5.2.4 fournirait un
prolongement admissible
0
strictement superieur `a
0
au sens de lordre _, ce qui contredirait la
maximalite de
0
. Par consequent, W
0
= E. On a donc trouve un prolongement admissible de
deni sur E tout entier, ce qui termine la demonstration du theor`eme de Hahn-Banach.
Exemple 1 (projections)
Soit X un espace vectoriel norme. Si E X est un sous-espace vectoriel de dimension nie, alors
il existe une projection lineaire continue de X sur E.
Preuve. Soit (e
1
, . . . , e
d
) une base de E, et soit (e
1
, . . . , e
d
) la base duale dans E
; les e
i
sont
continues car E est de dimension nie. Dapr`es le theor`eme de Hahn-Banach, on peut prolonger
chaque e
i
en une forme lineaire continue
i
X
i=1
i
(x)e
i
.
Exemple 2 L
1
(R
+
) nest pas le dual de L
(R
+
).
On a vu que toute fonction g L
1
(R
+
) denit une forme lineaire continue
g
sur L
(R
+
) par
la formule
g
(f) =
_
R
+
fg .
On va montrer ici quon nobtient pas ainsi toutes les formes lineaires continues sur L
(R
+
).
Soit V L
(R
+
) le sous-espace vectoriel constitue par les fonctions continues f : R
+
R admet-
tant une limite en +. On denit une forme lineaire : V K en posant (f) = lim
x
f(x),
et cette forme lineaire est continue sur (V, [[ . [[
(R
+
) K telle que
f V
(f) = lim
x
f(x) .
Supposons quil existe g L
1
(R
+
) telle que
=
g
. Par denition de
, on doit donc avoir
_
R
+
fg = 0 pour toute fonction f continue ` a support compact. Cela entrane quon a g = 0 presque
partout. En eet, si tel nest pas le cas, alors, quitte ` a changer g en g, on peut supposer quil existe
un borelien A R de mesure strictement positive tel que g > 0 sur A. Par regularite de la mesure
de Lebesgue, A contient un compact K de mesure strictement positive, et on a donc
_
R
+
1
K
g > 0.
Mais la fonction 1
K
est limite simple dune suite de fonctions continues `a support compact (f
n
)
veriant de plus [[f
n
[[
[[ = 1 et x
, x) = [[x[[.
Preuve. On applique le theor`eme de Hahn-Banach avec V = Kx et : V K denie par (x) =
[[x[[.
Corollaire 5.3.2 si E est un espace vectoriel norme, alors E
telle que x
, a) ,= x
, b)
Preuve. On applique la proposition `a x = b a.
Corollaire 5.3.3 Pour tout x E, on a
[[x[[ = sup[x
, x)[; x
, [[x
[[ 1 .
Ce dernier resultat peut sinterpr`eter de la mani`ere suivante. Tout point x E, peut etre considere
comme une forme lineaire sur E
K denie par
i
E
(x), x
) = x
, x) .
Par denition de la norme de E
, la forme lineaire i
E
(x) est continue, et [[i
E
(x)[[ |x|. Le resultat
precedent arme quon a en fait [[i
E
(x)[[ = [[x[[. En resume :
Corollaire 5.3.4 Lapplication i
E
: E E
) = x
, x) est un
plongement (lineaire) isometrique de lespace vectoriel norme E dans son bidual E
. On dit que
i
E
est le plongement canonique de E dans E
.
Un espace de Banach est dit reexif si le plongement canonique i : E E
.
5.3.2 Crit`ere de densite
Le resultat suivant generalise 5.3.2.
Proposition 5.3.5 Soit E un espace vectoriel norme, et soit F un sous-espace vectoriel ferme de
E. Pour tout point a , F, il existe une forme lineaire continue x
telle que x
, a) ,= 0 et
x
0 sur F.
91
Preuve. Soit a E F, et posons V = F Ka. On denit une forme lineaire : V K en posant
(a) = 1 et (x) = 0 pour x F. La forme lineaire est continue, car Ker() = F et F est ferme
dans E, donc dans V (voir 4.1.4). Le theor`eme de Hahn-Banach permet donc de prolonger en
une forme lineaire continue
= x
telle que ([a]) ,= 0, o` u [a] est la classe de a dans E/F. Il sut alors
de poser x
= x
; x
, x) = 0 pour tout x A ,
et pour B E
, on pose de meme
B
= x E; x
, x) = 0 pour tout x
B .
Corollaire 5.3.6 (crit`ere de densite)
Soit E un espace vectoriel norme. Si V est un sous-espace vectoriel de E, alors (V
= V . En
particulier, V est dense dans E si et seulement si V
= 0.
Preuve. Il est clair quon a V (V
, et donc V (V
car B
= (V
.
Lexemple qui suit illustre le crit`ere de densite.
Exemple Pour a C tel que [a[ > 1, notons f
a
: [1; 1] C la fonction denie par
f
a
(t) =
1
a t
.
Si (a
n
) est une suite de nombres complexes telle que [a
n
[ > 1 pour tout n et lim
n
[a
n
[ = , alors
lespace vectoriel engendre par les fonctions f
a
n
est dense dans (([1; 1]).
Preuve. Dapr`es le crit`ere de densite, il sut de montrer que si est une forme lineaire conti-
nue sur (([1; 1]) veriant , f
a
n
) = 0 pour tout n N, alors = 0. Fixons .
Si a C et [a[ > 1, on peut ecrire
f
a
(t) =
1
a
1
1
t
a
=
k=0
t
k
a
k+1
,
o` u la serie converge normalement sur [1; 1], donc au sens de la norme | . |
0
c
n
_
1
a
_
k+1
=
_
1
a
_
,
92
o` u c
k
= , t
n
) et (z) =
0
c
k
z
k+1
; on a note t
k
la fonction t t
k
. Comme la suite (c
k
) est
bornee ([c
k
[ [[[[ [[t
k
[[
telle que
infx
, v; v B .
Autrement dit, on peut trouver x
et , R tels que
x
, u) > x
, v)
pour tous u A, v B.
Ce theor`eme a une interpretation geometrique tr`es claire : si R est choisi de sorte que sup
B
x
<
< inf
A
x
= x; x
, x) = .
Autrement dit, H
telle que x
, a) > supx
, x); x B.
Par translation, on peut supposer 0 B. Comme a , B et B est ferme, on a d(a, B) > 0. Soit r > 0
tel que d(a, B) > r, et posons
C = x E; d(x, B) r .
On verie sans diculte que C est convexe, et C est de plus ferme car la fonction x d(x, B) est
continue. Comme 0 B, C contient la boule fermee B(0, r), donc 0
C. Soit p
C
la fonctionnelle
de Minkowski de C,
p
C
(x) = inf
_
> 0;
x
C
_
.
On sait que p
C
est une fonctionnelle sous-lineaire. On a p
C
(x) 1 pour tout x C, mais en
revanche p
C
(a) > 1. En eet, on peut trouver une suite (
n
) tendant vers p
C
(a) telle que
a
n
C
pour tout n. Comme C est ferme, on en deduit
a
p
C
(a)
C, autrement dit a p
C
(a)C. Si on avait
93
p
C
(a) 1, on en deduirait a C car C est convexe et contient 0, do` u une contradiction.
Soit : Ra R la forme lineaire denie par (a) = p
C
(a). Si x = a Ra, on a (x) = p
C
(a),
donc (x) 0 p
C
(x) si 0 et (x) = p
C
(a) = p
C
(x) si 0 ; la forme lineaire est
donc majoree par p
C
. Dapr`es le theor`eme de Hahn-Banach, on peut trouver une forme lineaire
(x)[ =
(x) 1 pour tout x B(0, r), donc
est continue et [[
[[ 1/r.
Ainsi, x
=
convient.
Cas general. On applique le premier cas ` a
A = 0 et
B = A B = x y; (x, y) A B .
Lensemble
B est visiblement convexe. Comme A est compact et B ferme, cest un exercice sans dif-
culte notable de montrer que
B est egalement ferme dans E. Enn, on a 0 ,
B puisque AB = .
Voici une consequence immediate du theor`eme de separation des convexes.
Corollaire 5.3.8 Soit X un espace vectoriel norme reel, et soit C un convexe ferme de X.
(1) Si a X et a , C, alors on peut trouver x
telle que x
, a) > supx
, z); z C.
(2) Si C ,= X, alors C est une intersection de demi-espaces fermes.
Preuve. La partie (1) decoule du theor`eme de separation des convexes applique ` a A = a et B = C.
On en deduit que pour tout point a XC, on peut trouver un demi-espace ferme H tel que C H
et a , H. Par consequent, C est lintersection de tous les demi-espaces fermes qui le contiennent,
ce qui prouve (2).
De la preuve du theor`eme de separation des convexes, on tire egalement un autre resultat du meme
type.
Corollaire 5.3.9 Soit Z un espace vectoriel norme reel, et soit un ouvert convexe de Z. Si a
est un point de Z et a , , alors il existe une forme lineaire continue non nulle z
telle que
z
, a) supz
, z); z .
Preuve. Par translation, on peut supposer 0 . On reprend alors le raisonnement de letape 1
dans la preuve du theor`eme de separation des convexes, en considerant la fonctionnelle sous-lineaire
p
telle que z
, a) = p
(a) et z
. Comme a , ,
on a p
convient.
Exemple 1 Convexes et integrales
Comme illustration de 5.3.8, on va demontrer le resultat suivant, mentionne au chapitre 4 (voir la
remarque suivant 4.4.3).
Lemme 5.3.10 Soient K un espace metrique compact, et une mesure de probabilite borelienne sur
K. Soient egalement X un espace de Banach, et C une partie convexe fermee de X. Si : K X
est une fonction continue prenant ses valeurs dans C, alors
_
K
d C.
94
Preuve. Dapr`es 5.3.8, il sut de prouver le resultat lorsque C est un demi-espace ferme, cest-`a-dire
un ensemble du type x; x
, x) , o` u x
,
_
K
d
_
=
_
K
x
, (t)) d(t)
_
K
d = .
Exemple 2 Hyperplan dappui au graphe dune fonction convexe
Comme application de 5.3.9, on va maintenant demontrer le resultat suivant, qui signie que le
graphe dune fonction convexe continue poss`ede en tout point un hyperplan dappui.
Proposition 5.3.11 Soit E un espace vectoriel norme reel, et soit f : E R une fonction convexe
continue. Pour tout point x
0
E, il existe une fonction ane continue : E R telle que
(x
0
) = f(x
0
) et (x) f(x) pour tout x E.
Preuve. Fixons x
0
E, et posons
= (x, ) E R; > f(x) .
Comme f est convexe continue, est un ouvert convexe de Z = E R. De plus, le point a =
(x
0
, f(x
0
)) nappartient pas ` a . Dapr`es 5.3.9, on peut donc trouver une forme lineaire continue
non nulle : E R R telle que (a) (z) pour tout z . La forme lineaire est donnee
par
(x, ) = x
, x) +c,
o` u x
, x
0
) +cf(x
0
) x
, x) +c
pour tout x E et pour tout > f(x). Si on avait c = 0, on en deduirait x
, x
0
) x
, x) pour
tout x E, do` u x
, x
0
) f(x
0
) x
, x
0
) f(x
0
) x
, x) f(x)
pour tout x E. Par consequent, il sut de poser (x) = f(x
0
) +x
, x x
0
).
Corollaire 5.3.12 Soit E un espace vectoriel norme reel. Si f : E R est une fonction convexe,
alors f est lenveloppe superieure dune famille de fonctions anes continues : il existe une famille
(
i
)
iI
de fonctions anes continues telle que f = sup
i
i
.
Preuve. Il sut de prendre pour (
i
) la famille de toutes les fonctions anes continues majorees
par f, et dappliquer la proposition.
Voici pour nir la version complexe du theor`eme de separation des convexes.
95
Remarque 5.3.13 Si A et B sont comme dans le theor`eme de separation des convexes, et si E est
cette fois un espace vectoriel norme complexe, alors on peut trouver une forme lineaire continue
x
telle que
infRe x
, v); v B .
Preuve. Le theor`eme de separation des convexes fournit une forme R-lineaire continue : E R
separant A et B. Il sut alors de remarquer que est la partie reelle dune (unique) forme C-lineaire
continue x
, denie par x
, x) = (x) i(ix).
5.4 Adjoint dun operateur
5.4.1 Cas general
Dans cette section, X et Y sont des espaces vectoriels normes sur le meme corps K = R ou C.
Soit T L(X, Y ). Si y
, alors lapplication x y
(y
). On obtient
ainsi une application T
: Y
(y
), x) = y
, T(x)) ,
o` u y
et x X.
Theor`eme 5.4.1 Si T L(X, Y ), alors lapplication T
: Y
| = |T|. Loperateur T
L(Y
, X
||1
[[T
(y
)[[ = sup
||y
||1
sup
||x||1
[T
(y
), x)[;
= sup
||x||1
sup
||y
||1
[y
, T(x))[
= sup
||x||1
[[T(x)[[ ,
o` u la derni`ere egalite decoule du theor`eme de Hahn-Banach (voir 5.3.3). Par consequent, T
est
continue et [[T
[[ = [[T[[.
Exemple Soit T : L
1
([0; 2]) c
0
(Z) la transformation de Fourier, denie par
Tf = (c
n
(f))
nZ
,
o` u les c
n
(f) sont les coecients de Fourier de f. Alors loperateur T
:
1
(Z) L
a (t) =
+
a
n
e
int
.
La preuve du resultat suivant est immediate.
96
Proposition 5.4.2 Si S L(X, Y ) et T L(Y, Z), alors (TS)
= S
.
Le resultat suivant est egalement tr`es simple, mais souvent utile. Rappelons que si A est une partie
dun espace vectoriel norme E, on pose
A
= x
; x
, a) = 0 pour tout a A .
Proposition 5.4.3 Si T L(X, Y ), alors Ker(T
) = Im(T)
.
Preuve. Il sut decrire que pour y
, on a T
(y) = 0 si et seulement si T
(y), x) = 0 pour
tout x X.
Corollaire 5.4.4 Si T L(X, Y ), alors T
:
1
(Z) L
([0; 2]) nest pas ` a image dense, car son image est contenue
dans (([0; 2]), qui nest pas dense dans L
([0; 2]).
Dans le meme esprit, voici un resultat caracterisant la surjectivite en termes dadjoint. La preuve
est instructive, car elle melange le theor`eme de Hahn-Banach et le theor`eme de limage ouverte.
Cest donc un excellent resume de la fa con dont ces resultats peuvent etre utilises.
Proposition 5.4.5 Soient X et Y deux espaces de Banach reels. Pour un operateur T L(X, Y ),
les proprietes suivantes sont equivalentes.
(1) T est surjectif.
(2) Il existe une constante c > 0 telle que y
|T
(y
)| c |y
|.
(3) T
(y
),
on en deduit que (2) est veriee avec c =
1
C
; les details sont laisses en exercice. Par consequent, (1)
entrane (2). Lequivalence de (2) et (3) decoule du theor`eme disomorphisme de Banach et a dej`a
ete demontree (voir 4.5.5). Il reste donc `a montrer que (2) entrane (1).
Supposons (2) veriee pour une certaine constante c > 0. Dapr`es le theor`eme 4.5.8, il sut, pour
etablir la surjectivite de T, de montrer quil existe une constante C < telle que T(CB
X
) contient
la boule B
Y
. On va bien s ur prendre C =
1
c
. Posons B = T(
1
c
B
X
), et supposons quil existe un
point y
0
B
Y
tel que y
0
, B. Dapr`es le theor`eme de separation des convexes, on peut alors trouver
une forme lineaire y
0
Y
telle que y
0
, y
0
) > supy
0
, y; y B. Comme |y
0
| 1, on a alors
|y
0
| y
0
, y
0
) > sup
_
y
0
, T(x)); x
1
c
B
X
_
= sup
_
T
(y
0
), x); |x|
1
c
_
=
1
c
|T
(y
0
)| ,
ce qui contredit (2). On a donc bien montre que (2) entrane (1).
97
Remarque. La proposition precedente est en fait valable egalement pour des espaces de Banach
complexes. Il faut juste adapter la preuve de limplication (1) entrane (2). Le theor`eme de
separation des convexes fournit une forme R-lineaire : Y R. Cette forme R-lineaire est
la partie reelle dune unique forme lineaire continue y
0
, denie par y
0
, y) = (y) i(iy). En
utilisant y
0
, la demonstration fonctionne encore si on observe que pour toute forme lineaire x
(ici x
= T
(y
0
)), on a |x
| = supRe x
, x); |x| 1.
5.4.2 Cas hilbertien
Dans cette section, les lettres H, K, L designent des espaces de Hilbert, sur le meme corps K = R
ou C. On note systematiquement , ) les produits scalaires, avec la convention habituelle dans le
cas complexe : x, y) est lineaire par rapport ` a y et antilineaire par rapport `a x.
Si T L(H, K), alors T
dans H
. Mais comme K
sidentie canoniquement ` a K et H
` a H, loperateur T
: K H est deni
par la propriete suivante :
(x, y) K H T
(x), y) = x, T(y)) .
Il est important de noter que lapplication T T
= T . Ainsi, lapplication T T
est une
involution, et est donc en particulier bijective de L(H, K) sur L(K, H). Une consequence de ce fait
est que si un enonce general concernant T et T
est egalement vrai (et vice versa). Par exemple, on sait quun operateur T L(H, K)
est `a image dense si et seulement si T
de T
est la trans-
conjuguee de M : si M = (a
ij
), alors M
= (a
ji
).
Preuve. Notons (e
1
, . . . , e
d
) la base canonique de K
d
. Alors T(e
j
) =
i
a
ij
e
i
, et donc a
ij
= e
i
T(e
j
))
pour tout couple (i, j). Par consequent, les coecients de M
ij
= e
i
, T
(e
j
)) =
T(e
i
), e
j
) = e
j
, T(e
i
)) = a
ji
.
Exemple 2 Lexemple precedent se generalise en dimension innie. Soit H =
2
(N), et notons e
i
le i-`eme vecteur de la base canonique de
2
(N). Si T L(H), alors T est enti`erement determinee
par la matrice innie M = (a
ij
) = (e
i
, T(e
j
))). La matrice associee ` a T
est M
= (a
ij
).
Lexemple suivant generalise les deux precedents.
Exemple 3 Soit (, /, ) un espace mesure (comme toujours -ni). Pour K L
2
( ),
notons T
K
: L
2
() L
2
() loperateur associe au noyau K. On a alors (T
K
)
= T
K
, o` u
K
T
K
f(x) g(x) d(x)
=
_
f(y) K
f(y) T
K
g(y) d(y)
= f, T
K
g)
L
2 ,
ce qui est le resultat souhaite. La justication de ce calcul repose bien entendu sur le theor`eme de
Fubini : il sut de montrer quon a
_
= p.
Preuve. Notons E limage de p. Si x, y H, alors x, p(y)) = p(x), p(y)) car p(y) E et x p(x)
est orthogonal ` a E. De meme, on a p(x), y) = p(x), p(y)) car p(x) E et y p(y) E
. Par
consequent, on a x, p(y)) = p(x), y) pour tous x, y H, do` u le resultat.
5.4.3 Norme dun operateur auto-adjoint
Si T L(H) est un operateur quelconque, alors, par denition de |T| et gr ace ` a lidentite |u| =
sup[u, y)[; |y| 1, on a
|T| = sup[T(x), y)[; |x| 1, |y| 1 .
Dans le cas o` u loperateur T est auto-adjoint (T
, x
n
) tend vers
x
, x) pour tout x
.
(2) On dit quune suite (x
n
) E
si x
n
, x) tend
vers x
, x) pour tout x E.
Ces denitions appellent plusieurs remarques.
Remarque 1 La convergence en norme entrane la convergence faible ou prefaible. La reciproque
est fausse en general, mais elle est vraie en dimension nie.
Preuve. Il est clair que la convergence en norme entrane la convergence faible. Si on prend E =
2
(N)
et si on note e
n
le n-i`eme vecteur de la base canonique, alors x, e
n
) tend vers 0 pour tout x H,
100
donc (e
n
) converge faiblement vers 0 ; mais on a [[e
n
[[ = 1 pour tout n, donc (e
n
) ne converge pas
vers 0 en norme. Enn, si X est de dimension nie, on peut supposer E = (R
d
, [[ . [[
). Alors la
convergence faible entrane la convergence coordonnee par coordonnee car les applications co-
ordonnees sont des formes lineaires continues ; et cette derni`ere est simplement la convergence en
norme.
Remarque 2 On a unicite de la limite : une suite ne peut pas converger faiblement ou prefaiblement
vers deux points dierents.
Preuve. Si (x
n
) converge faiblement vers a et vers b, alors x
, a) = x
, b) pour tout x
,
donc a = b car E
.
Pour montrer que la reciproque est fausse en general, on peut par exemple considerer E = c
0
. Alors
E
sidentie ` a
1
et E
` a
. Si on pose e
n
= (0, . . . , 1, 0, 0 . . .), alors (e
n
) converge prefaiblement
vers 0 dans
1
; mais (e
n
) ne converge pas faiblement vers 0, car si on pose x
= (1, 1, 1, . . .)
,
alors x
, e
n
) = 1 pour tout n.
Proposition 5.5.2 Toute suite faiblement convergente (x
n
) E est bornee. Si E est un espace de
Banach, alors toute suite prefaiblement convergente (x
n
) E
est bornee.
Preuve. Soit (x
n
) E convergeant faiblement vers x E. Par hypoth`ese, pour tout x
, la
suite (x
, x
n
)) est bornee. Autrement dit, si on note i
E
: E E
le plongement canonique de E
dans son bidual, la suite (i
E
(x
n
)) E
. Comme E
est un espace
de Banach, il decoule du theor`eme de Banach-Steinhaus que la suite (i
E
(x
n
)) est bornee en norme.
Et comme i
E
est une isometrie, on en deduit que la suite (x
n
) est bornee.
La preuve est identique pour la convergence prefaible.
Proposition 5.5.3 Soit C E une partie convexe fermee. Si (x
n
) est une suite de points de C
convergeant faiblement vers x E, alors x C.
Preuve. Supposons x , C. Dapr`es le theor`eme de separation des convexes, on peut trouver x
E
telle que Re x
, x) > 1 et Re x
, x
n
) < 1 pour
tout n, do` u Re x
, x) 1 < Re x
n
) E
n
) une suite bornee dans E
. Alors la suite (x
n
) est equicontinue et simplement
bornee. Dapr`es le theor`eme dAscoli 6.2.6, elle poss`ede donc une sous-suite (x
n
k
) qui converge
simplement sur E (et uniformement sur tout compact) vers une fonction continue : E K.
Comme les x
n
k
sont lineaires, lest egalement, donc E
et H. Dans
le cas general, on consid`ere lespace de Hilbert separable H
0
= Vect x
n
; n N et on utilise la
decomposition H = H
0
H
0
. Les details sont laisses en exercice.
Le theor`eme de Banach-Alaoglu poss`ede dinnombrables applications. En voici une.
Proposition 5.5.6 Soit H un espace de Hilbert, et soit C H une partie convexe fermee bornee.
Si f : C R est une fonction convexe continue, alors f est minoree et atteint sa borne inferieure.
La preuve est basee sur le lemme suivant.
Lemme 5.5.7 Soit H un espace de Hilbert. Si (C
n
) est une suite decroissante de convexes fermes
bornes non vides de H, alors
n
C
n
,= .
Preuve. Pour n N, choisissons un point x
n
C
n
. Alors la suite (x
n
) est bornee car x
n
C
0
pour
tout n et C
0
est borne. Dapr`es le theor`eme de Banach-Alaoglu, (x
n
) poss`ede une sous-suite (x
n
k
)
qui converge faiblement vers un point x
H. Si n est xe, on a n
k
n pour k assez grand, donc
C
n
k
C
n
, et donc x
n
k
C
n
. Comme C
n
est convexe ferme et (x
n
k
) converge faiblement vers x
,
on en deduit x
C
n
, pour tout n N.
Preuve de 5.5.6. On applique le lemme aux ensembles C
n
denis par
C
n
= x C; f(x)
n
,
o` u (
n
) est une suite strictement decroissante convergeant vers inf
C
f [; +[. Les C
n
sont
non vides par denition, ils sont convexes car f est convexe, fermes car f est continue, et bornes
car C est borne. On a donc
n
C
n
,= , autrement dit x C; f(x) = inf
C
f ,= , ce qui termine
la demonstration.
102
Chapitre 6
Espaces de fonctions continues
6.1 Theor`eme de Stone-Weierstrass
Le theor`eme de Weierstrass classique arme que toute fonction continue sur un intervalle compact
[a; b] R est limite uniforme de fonctions polynomiales. On sait egalement que toute fonction
continue 2-periodique f : R C est limite uniforme de polyn omes trigonometriques : cela decoule
par exemple du theor`eme de Fejer. On va demontrer ici un theor`eme tr`es general qui englobe ces
deux resultats classiques, et poss`ede de nombreuses autres applications.
Dans toute cette section, K est un espace metrique compact. Une fois le corps K = R ou C
specie, on note ((K) lespace des fonctions continues sur K ` a valeurs dans K.
On dit quune partie / de ((K) est une sous-alg`ebre de ((K) si / est un sous-espace vecto-
riel de ((K) stable par multiplication. Et on dit quune partie / de ((K) separe les points de
K si pour tout couple (x, y) K K avec x ,= y, on peut trouver une fonction f / telle que
f(y) ,= f(x).
Theor`eme 6.1.1 (Stone-Weierstrass, cas reel)
Soit / un sous-alg`ebre de ((K, R). On suppose que / contient les fonctions constantes, et que /
separe les points de K. Alors / est dense dans ((K, R).
La demonstration utilise deux lemmes.
Lemme 6.1.2 Il existe une suite de polynomes `a coecients reels (P
n
) qui converge uniformement
vers la fonction t [t[ sur [1; 1].
Preuve. On pose P
0
= 0, et
P
n+1
(t) = P
n
(t) +
1
2
(t
2
P
n
(t)
2
) .
Comme [t[ P
n+1
(t) = ([t[ P
n
(t))(1
1
2
([t[ + P
n
(t))), une recurrence facile montre quon a
0 P
n
(t) [t[ pour tout n et pour tout t [1; 1]. On en deduit que la suite (P
n
) est croissante,
103
et converge simplement vers une fonction f 0 veriant
1
2
(t
2
f(t)
2
) = 0 pour tout t, autrement
dit vers la fonction t [t[. Pour montrer que la convergence est en fait uniforme, on peut utiliser
le theor`eme de Dini : les P
n
sont continues, leur limite egalement, et la suite (P
n
) est croissante,
donc le theor`eme sapplique. On peut aussi raisonner comme suit : lidentite [t[ P
n+1
(t) = ([t[
P
n
(t))(1
1
2
([t[ + P
n
(t))) montre quon a [t[ P
n+1
(t) (1
|t|
2
)([t[ P
n
(t)) pour tout n N; on
en deduit
[t[ P
n
(t)
_
1
[t[
2
_
n
[t[ min
__
1
[t[
2
_
n
, [t[
_
,
et on conclut alors sans diculte majeure ` a la convergence uniforme (cest un bon exercice).
Corollaire 6.1.3 Soit / une sous-alg`ebre de ((K, R). Si f /, alors [f[ /. Si f, g /, alors
sup(f, g) et inf(f, g) appartiennent `a /
Preuve. Soit f /; pour montrer que [f[ /, on peut supposer [[f[[
. Fixons et . On cherche
donc f / telle que f +.
m
1
V
x
i
= K.
La fonction f appartient ` a / = /, dapr`es 6.1.4 applique ` a lalg`ebre /.
Corollaire 6.1.5 (Stone-Weierstrass, cas complexe)
Soit / une sous-alg`ebre de ((X, C) contenant les fonctions constantes et separant les points de K.
On suppose de plus que / est auto-conjuguee, ce qui signie que si f /, alors f /. Alors /
est dense dans ((K, C).
Preuve. Posons /
R
= /((K, R). Alors /
R
est une sous-alg`ebre de ((K, R) qui contient les fonc-
tions constantes. De plus, si f /, alors Re(f) et Im(f) appartiennent ` a /, donc `a /
R
: en eet, on
a Re(f) =
f+f
2
, donc Re(f) / puisque / est auto-conjuguee, et de meme pour Im(f). Comme /
separe les points de K, on en deduit que /
R
separe egalement les points de K. Dapr`es le theor`eme
de Stone-Weierstrass reel, /
R
est donc dense dans ((K, R). Par consequent, /
R
+ i/
R
est dense
dans ((K, C), ce qui termine la demonstration puisque /
R
+i/
R
/.
Exemple 1 Si [a ; b] est un intervalle compact de R, alors les fonctions polynomiales sont denses
dans (([a ; b]). Plus generalement, si K est un compact de R
d
, alors les fonctions polynomiales en
les d variables x
1
, . . . , x
d
sont denses dans ((K).
Ce resultat est purement existentiel : il arme que pour toute fonction continue f, on peut trouver
une suite de polyn omes (P
n
) qui converge uniformement vers f, mais ne donne pas de methode
pour construire de tels polyn omes.
Il se trouve quil existe eectivement des procedes explicites dapproximation. Par exemple, si
f : [0 ; 1] C est continue, alors les polyn omes B
n
f denis par
B
n
f(x) =
n
k=0
f
_
k
n
_
C
k
n
x
k
(1 x)
nk
convergent uniformement vers f, ce qui na rien devident. Ces polyn omes sont les polynomes de
Bernstein associes ` a f.
On peut aussi approcher par convolution, en utilisant 4.4.2. Pour n N, posons
n
(x) = c
n
(1x
2
)
n
,
o` u la constante c
n
est choisie de sorte que
_
1
1
n
= 1. On verie que si on pose k
n
= 1
[1;1]
n
,
alors la suite (k
n
) est une unite approchee dans L
1
(R). Par consequent, si f : R C est continue
` a support compact, alors P
n
f = f k
n
converge vers f uniformement. Explicitement, on a
P
n
f(x) = c
n
_
1
1
f(x t)(1 t
2
)
n
dt .
105
Par changement de variable, on a aussi P
n
f(x) =
_
R
f(t)k
n
(x t) dt. Comme x t [1; 1] si
[x[ 1/2 et [t[ 1/2, on en deduit que si f est nulle en dehors de [1/2; 1/2], alors
P
n
f(x) = c
n
_
1
1
f(t)(1 (x t)
2
)
n
dt
pour tout x [1/2; 1/2]. En developpant (1 (x t)
2
)
n
, on constate donc que les P
n
f sont po-
lynomiales sur [1/2; 1/2]. On obtient donc ainsi une approximation explicite par des polynomes
pour toute fonction f continue ` a support dans [1/2; 1/2].
Exemple 2 Toute fonction continue 2-periodique f : R C est limite uniforme de polynomes
trigonometriques.
Preuve. Soit f : R C continue 2-periodique. Alors il existe une unique application
f : T C
telle que
f(e
it
) = f(t) pour tout t R. De plus, lapplication
f est continue. En eet, si C est un
ferme de C, alors
f
1
(C) = p([0; 2] f
1
(C)), o` u p : R T est lapplication t e
it
: cela vient du
fait que la restriction de p ` a [0; 2] est surjective. Comme f est continue, f
1
(C) est un ferme de R,
donc [0; 2] f
1
(C) est compact. Par continuite de p on en deduit que
f
1
(C) est compact, donc
ferme dans T. Comme C est un ferme arbitraire de C, cela prouve que
f est continue sur T. Notons
iI
a
i
z
i
,
o` u I est une partie nie de Z et les a
i
sont des nombres complexes. Alors
/ contient les constantes,
et elle separe les points de T gr ace `a la fonction z z. De plus, / est auto-conjuguee car z = 1/z
si z T. On peut donc appliquer la version complexe du theor`eme de Stone-Weierstrass : pour tout
> 0, il existe une fonction
P
/ telle que que [[
P
f[[
< . Si on pose P =
P(e
it
), alors P est
un polynome trigonometrique et [[P f[[
< .
Ici encore, on dispose aussi de procedes dapproximation explicites, par exemples par les sommes
de Fejer.
Exemple 3 Si (K, d) est un espace metrique compact, alors les fonctions lipschitziennes sont denses
dans ((K).
Preuve. Notons Lip(K) lensemble des fonctions lipschitziennes f : K C. Il est clair que Lip(K)
est un sous-espace vectoriel de ((K) contenant les fonctions constantes, et il nest pas dicile de
montrer que Lip(K) est en fait une sous-alg`ebre de ((K). De plus, Lip(K) separe les points de K.
En eet, si a, b K, a ,= b, alors la fonction f denie par f(x) = d(x, a) est lipschitzienne, et on a
f(a) = 0 ,= d(a, b) = f(b). On peut donc appliquer le theor`eme de Stone-Weierstrass.
Dans ce cas aussi, on peut donner des procedes dapproximation explicites. Si f ((K, R), on
verie que pour tout > 0, la fonction f
denie par
f
(x) tend vers f(x) uniformement quand tend vers linni. Cest un excellent exercice.
106
Exemple 4 Soient (K, d
K
) et (L, d
L
) deux espaces metriques compacts. Notons ((K) ((L)
le sous espace vectoriel de ((K L) engendre par les fonctions f : K L C de la forme
f(x, y) = u(x)v(y), o` u u ((K) et v ((L). Alors ((K) ((L) est dense dans ((K L).
Preuve. On verie sans diculte que ((K) ((L) est une sous-alg`ebre auto-conjuguee de ((KL)
contenant les fonctions constantes. De plus, si (x, y) et (x
, y
, soit f
n
((K) denie par
f
n
(x) = d(x, a
n
). Comme D est dense dans K, on verie sans diculte majeure que lensemble
f
n
; n N
iI
f
i
, o` u I est
une partie nie de N. Comme lensemble des parties nies de N est denombrable, on en deduit que /
est separable, et donc que ((K, R) est egalement separable. Comme ((K, C) = ((K, R) +i((K, R),
cela termine la demonstration.
6.2 Theor`eme dAscoli
6.2.1
Equicontinuite
Dans cette section, E et F sont des espaces metriques, dont les distances sont toutes les deux notees
d. On note ((E, F) lensemble des applications continues f : E F. Si F = K, on ecrit ((E) au
lieu de ((E, K).
107
Denition 6.2.1 On dit quune partie T de ((E, F) est equicontinue en un point x E si la
propriete suivante est veriee :
> 0 = (x, ) > 0 y E d(x, y) f T d(f(x), f(y)) < .
On dit que la famille T est equicontinue si elle est equicontinue en tout point x E.
En dautres termes, une famille T ((E, F) est equicontinue si toutes les fonctions de T sont
continues et si, pour tout x E, on peut, etant donne > 0, prendre le meme de continuite au
point x pour toutes les fonctions f T. Le prexe equi indique une uniformite par rapport aux
fonctions f T. On dira quune suite (f
n
) ((E, F) est equicontinue si lensemble f
n
; n N
est equicontinu.
Exemple 0 Par denition, une famille T formee dune seule fonction continue f est equicontinue.
Plus generalement, toute partie nie de ((E, F) est equicontinue
Exemple 1 Si toutes les fonctions de T sont C-lipschitziennes, pour une meme constante C, alors
T est equicontinue. Plus generalement, il sut que tout point x E poss`ede un voisinage ouvert
V
x
tel que toutes les fonctions de T soient C
x
-lipschitziennes sur V
x
, pour une meme constante C
x
dependant uniquement de x.
Exemple 2 Si E et F sont des espaces vectoriels normes, et si T est une partie bornee de L(E, F),
alors T, consideree comme partie de ((E, F), est equicontinue. Cest un cas particulier de lexemple
precedent.
Exemple 3 Soient E = [0; 1], F = R, et pour n N, posons f
n
(t) = t
n
. Alors la suite (f
n
)
nest pas equicontinue.
Terminons cette section par une remarque sans reelle importance. Convenons de dire quune fa-
mille T ((E, F) est equi-uniformement-continue si la propriete suivante a lieu :
> 0 > 0 x, y E d(x, y) f T d(f(x), f(y)) < .
Autrement dit, T est equi-uniformement continue si toutes les fonctions de T sont uniformement
continues et si, pour > 0 donne, on peut prendre le meme duniforme continuite pour toutes
les fonctions f T.
Remarque 6.2.2 On suppose E compact. Si T ((E, F) est equicontinue, alors T est equi-
uniformement-continue.
Preuve. Il sut de recopier la troisi`eme preuve donne au chapitre 3 du theor`eme armant quune
fonction continue sur un compact est uniformement continue, en rajoutant un f T au bon
endroit.
108
6.2.2 La version de base
Theor`eme 6.2.3 (Ascoli)
Soit K un espace metrique compact, et soit (f
n
) une suite de fonctions continues sur K. On sup-
pose que la suite (f
n
) est bornee dans ((K) et equicontinue. Alors (f
n
) poss`ede une sous-suite
uniformement convergente.
La demonstration repose sur le lemme suivant, qui generalise 4.4.1.
Lemme 6.2.4 (lemme de convergence forcee)
Soient (E, d) un espace metrique, (F, d) un espace metrique complet, et (g
k
) une suite dans ((E, F).
On suppose que la suite (g
k
) est equicontinue, et quil existe une partie dense D E telle que pour
tout z D, la suite (g
k
(z)) converge dans F. Alors :
(1) la suite (g
k
) converge en tout point x E ;
(2) la convergence est uniforme sur tout compact ;
(3) la fonction f = lim
k
g
k
est continue.
Preuve. Comme F est suppose complet, on obtiendra (1) et (2) simultanement si on montre que la
suite (g
k
) verie le crit`ere de Cauchy uniforme sur tout compact. Soit K E un compact de E
xe, et soit > 0. Pour a E, soit
a
> 0 associe `a dans la denition de lequicontinuite de la
suite (g
k
) au point a, et notons O
a
la boule ouverte B(a,
a
). Alors la propriete suivante a lieu pour
tout a :
() u, v O
a
k d(g
k
(u), g
k
(v)) 2 .
La famille douverts (O
a
)
aK
recouvre le compact K. On peut donc trouver a
1
, . . . , a
p
K tels
que K O
a
1
. . . O
a
p
. De plus, comme D est dense dans E, chaque ouvert O
a
i
contient un
point z
i
D. Posons alors Z = z
1
; . . . ; z
p
. Par denition de Z, on peut associer ` a tout point
x K un point z
x
Z tel que x et z
x
sont dans un meme ouvert O
a
. Dapr`es (), on a alors
d(g
k
(x), g
k
(z
x
)) 2 pour tout k N, et donc
d(g
p
(x), g
q
(x)) d(g
p
(x), g
p
(z
x
)) +d(g
p
(z
x
), g
q
(z
x
)) +d(g
q
(z
x
), g
q
(x))
4 +d(g
p
(z
x
), g
q
(z
x
))
pour tous p, q N. Par ailleurs, comme chaque suite (g
k
(z)), z D est convergente et que Z est
ni, on peut trouver un entier N tel que d(g
p
(z), g
q
(z)) pour tout z Z si p, q N. Pour
p, q N, on a alors
x K d(g
p
(x), g
q
(x)) 5 .
Ainsi, (g
k
) verie le crit`ere de Cauchy uniforme sur tout compact K E, ce qui prouve (1) et (2).
Le point (3) est evident : il sut de prendre v = a dans () et de faire tendre k vers linni pour
obtenir la continuite de f = limg
k
en tout point a E.
Preuve du theor`eme dAscoli. Comme lespace metrique K est compact, il est separable ; soit D K
un ensemble denombrable et dense dans K. Comme la suite (f
n
) est bornee, elle poss`ede une sous-
suite (g
k
) = (f
n
k
) telle que la suite numerique (g
k
(z)) converge pour tout z D : cela decoule
du theor`eme de Tikhonov (voir 3.4.4). Comme K est compact, la suite (g
k
) est uniformement
convergente, dapr`es le lemme 6.2.4.
109
Corollaire 6.2.5 (Ascoli)
Si K est un espace metrique compact, alors les parties compactes de (((K), [[ . [[
) sont exactement
les parties fermees, bornees et equicontinues. Les parties relativement compactes sont les parties
bornees et equicontinues
Preuve. Dapr`es le theor`eme precedent, il est clair que les parties bornees et equicontinues de ((K)
sont relativement compactes, et donc que les parties fermees, bornees et equicontinues sont com-
pactes. Limplication inverse, beaucoup moins importante, est un exercice instructif. Pour montrer
quune partie compacte T de ((K) est equicontinue, on peut par exemple appliquer le theor`eme de
Dini aux fonctions
n
: T R denies par
n
(f) = sup[f(x) f(y)[; [x y[ < 2
n
.
6.2.3 Ranements
Plusieurs remarques meritent detre faites concernant la preuve du theor`eme dAscoli.
Lhypoth`ese que la suite (f
n
) est bornee dans ((K), cest-` a-dire uniformement bornee, est formel-
lement trop forte (meme si elle est veriee a posteriori). Cette hypoth`ese intervient pour justier
lemploi du theor`eme de Tikhonov, mais il sut en fait de supposer seulement que la suite (f
n
) est
simplement bornee, autrement dit que pour tout x K, la suite (f
n
(x)) est bornee.
Plus generalement, on peut considerer des fonctions ` a valeurs dans un espace metrique (F, d).
Alors la demonstration fonctionne encore d`es lors quon peut appliquer le theor`eme de Tikhonov
dans la premi`ere partie, et le lemme de convergence forcee. Pour cela, il sut que lespace metrique
F soit complet et que la propriete suivante soit veriee :
() pour tout x E, lensemble f
n
(x); n N est relativement compact dans F.
Lhypoth`ese () est fastidieuse ` a ecrire, mais la generalite est utile. Par exemple, () sera automa-
tiquement veriee si lespace metrique F est compact. Elle est egalement veriee si F est un espace
vectoriel norme de dimension nie et si la suite (f
n
) est simplement bornee.
En fait, si () est veriee, on na meme pas besoin de supposer que lespace metrique (F, d) est
complet : il sut de constater que pour tout x E, lensemble f
n
(x); n N est complet pour
d, et que cette hypoth`ese permet encore de faire fonctionner la preuve du lemme de convergence
forcee.
Pour trouver la sous-suite (g
k
), on a seulement besoin de la separabilite de K, et non de sa
compacite.
On constate donc quon a en fait demontre le theor`eme suivant.
Theor`eme 6.2.6 (Ascoli precise)
Soit (E, d) un espace metrique separable, et soit (F, d) un espace metrique. Soit egalement (f
n
)
((E, F). On suppose que les hypoth`eses suivantes sont veriees.
(1) Pour tout x E, lensemble f
n
(x); n N est relativement compact dans F.
(2) La suite (f
n
) est equicontinue.
110
Alors (f
n
) poss`ede une sous-suite qui converge uniformement sur tout compact vers une fonction
continue f : E F.
Corollaire 6.2.7 Soient E et F deux espaces metriques compacts. Si (f
n
) ((E, F) est equiconti-
nue, alors (f
n
) poss`ede une sous-suite uniformement convergente.
Corollaire 6.2.8 Soit (E, d) un espace metrique separable, et soit X un espace vectoriel norme de
dimension nie. Si (f
n
) ((E, X) est simplement bornee et equicontinue, alors (f
n
) poss`ede une
sous-suite qui converge uniformement sur tout compact vers une fonction continue f : E X.
6.2.4 Une application
Soit X un espace de Banach, et soit f : [t
0
; t
0
+ ] B(x
0
, r) X, o` u x
0
X, t
0
R et
, r > 0. On sinteresse au probl`eme de Cauchy
()
_
x
n
(t)[[ = [[f(t, x
n
(t))[[ M pour tout t I, donc chaque fonction x
n
est M-lipschitzienne. Par
consequent, la suite (x
n
) ((I, X) est equicontinue. Dapr`es le theor`eme dAscoli, applicable car
X est de dimension nie, on en deduit que la suite (x
n
) poss`ede une sous-suite (x
n
k
) qui converge
uniformement sur I vers une fonction x : I X. La fonction x est en fait ` a valeurs dans B(x
0
, r),
car toutes les x
n
le sont et B(x
0
, r) est fermee dans X. On va voir que x est une solution du probl`eme
de Cauchy ().
Pour t I et n N, on a
[[f
n
k
(t, x
n
k
(t)) f(t, x(t))[[ [[f
n
k
(t, x
n
k
(t)) f(t, x
n
k
(t))[[ +[[f(t, x
n
k
(t)) f(t, x(t))[[
[[f
n
k
f[[
K
+[[f(t, x
n
k
(t)) f(t, x(t))[[
o` u on a pose [[u[[
K
= sup[[u(z)[[; x K. Comme la suite (f
n
k
) converge uniformement vers f sur
K et comme f est uniformement continue sur le compact I, on en deduit que f
n
k
(t, x
n
k
(t)) converge
uniformement vers f(t, x(t)) quand k tend vers linni. On peut donc passer ` a la limite dans ()
n
k
pour conclure que x est solution du probl`eme de Cauchy ().
Autre preuve (abregee). La demonstration qui suit est plus courte, et plus economique car elle
nutilise ni le theor`eme de Cauchy-Lipschitz, ni le theor`eme de Stone-Weierstrass. Elle est, en
contrepartie, plus astucieuse (et ne donne quune solution sur [t
0
; t
0
+], ce qui est sans importance).
Posons I = [t
0
; t
0
+ ] et B
r
= B(x
0
, r). On commence par montrer que pour tout entier n N
,
on peut trouver une fonction continue x
n
: [t
0
n
; t
0
+] B
r
veriant les proprietes suivantes :
(a) x
n
(t) = x
0
pour t [t
0
n
; t
0
] ;
(b) t I x
n
(t) = x
0
+
_
t
t
0
f
_
s, x
n
(s
n
)
_
ds .
La fonction x
n
est construite de proche en proche sur chaque intervalle I
k,n
:= [t
0
+
(k1)
n
;
k
n
] : si
x
n
a ete denie sur I
k,n
, on la denit sur I
k+1,n
par la formule de (b) ; on utilise (2) pour montrer que
x
n
est `a valeurs dans B
r
. On montre ensuite que toutes les fonctions x
n
sont M-lipschitziennes, ce
qui permet dappliquer le theor`eme dAscoli pour extraire de (x
n
) une sous-suite (x
n
k
) convergeant
uniformement sur I vers une fonction continue x : I B
r
. Comme les x
n
sont M-lipschitziennes,
on montre sans peine que x
n
k
(s
n
k
) tend vers x(s) uniformement sur I. En utilisant (b), on en
conclut que x est solution du probl`eme de Cauchy ().
112
6.3 Fonctions continues sur un ouvert de R
d
6.3.1 Topologie de la convergence uniforme sur tout compact
Dans cette section, est un ouvert non vide de R
d
, et on note (() lensemble des fonctions conti-
nues sur , ` a valeurs complexes.
Theor`eme 6.3.1 Il existe une distance sur (() veriant la propriete suivante : une suite
(f
n
) (() converge vers une fonction f pour la distance si et seulement si f
n
(x) tend vers
f(x) uniformement sur tout compact.
La demonstration utilise le lemme suivant.
Lemme 6.3.2 Il existe une suite (K
i
)
iN
de compacts de veriant les proprietes suivantes : (K
i
)
est croissante, et tout compact de est contenu dans lun des K
i
. En particulier, on a =
i
K
i
.
On dit que (K
i
) est une suite exhaustive de compacts pour .
Preuve. Il sut de poser K
i
= x R
d
; [[x[[ i et d(x, R
d
) 2
i
, o` u [[ . [[ est une norme
quelconque sur R
d
. Les K
i
sont visiblement contenus dans , et ils sont compacts car fermes et
bornes dans R
d
. Enn, si K est un compact de , alors K est borne, donc contenu dans une boule
B(0, i
0
) ; et la fonction continue x d(x, R
d
) est strictement positive sur K, donc minoree par
une constante > 0 par compacite. En choisissant i i
0
tel que 2
i
, on voit quon a K K
i
.
Preuve du theor`eme. Soit (K
i
) une suite exhaustive de compacts pour . Pour u (() et pour
tout compact K , posons [[u[[
K
= sup[f(x)[; x K. On denit alors : (() (() R
+
par
(f, g) =
0
2
n
min (1, [[f g[[
K
i
) .
On verie sans diculte majeure que est bien une distance sur ((). Pour linegalite triangulaire,
on utilise le fait que la fonction : R
+
R denie par (t) = min(1, t) est croissante et sous-
additive : (s +t) (s) +(t).
Soit (f
n
) (() convergeant vers f (() au sens de la distance . Si K est un compact de ,
alors K K
i
pour un certain i N. On a donc min(1, [[f
n
f[[
K
) 2
i
(f
n
, f) pour tout n, donc
min(1, [[f f
n
[[
K
) tend vers 0, et par consequent [[f
n
f[[
K
tend vers 0. Ainsi, f
n
tend vers f
uniformement sur tout compact.
Inversement, soit (f
n
) (() convergeant uniformement sur tout compact vers une fonction f
((). Pour > 0 donne, on peut trouver N N tel que
i>N
2
i
< . On a alors
(f
n
, f)
N
i=0
2
i
min(1, [[f
n
f[[
K
i
) +
pour tout n N. Comme la somme gurant au membre de droite tend vers 0 quand n tend vers
linni (cest une somme nie de termes tendant vers 0), on en deduit
lim
n
(f
n
, f)
113
pour tout > 0, et donc lim
n
(f
n
, f) = 0.
Remarque 6.3.3 Il decoule de la preuve precedente que la distance peut etre choisie invariante
par translation, cest-`a-dire veriant (f +h, g +h) = (f, g) pour toutes f, g, h (().
Toutes les distances sur (() veriant la conclusion du theor`eme precedent denissent la meme
topologie sur ((). Pour des raisons evidentes, cette topologie est appelee la topologie de la
convergence uniforme sur tout compact.
Proposition 6.3.4 Lespace (() est complet pour toute distance invariante par translation com-
patible avec sa topologie.
Preuve. Soit une telle distance, et soit (f
n
) une suite de Cauchy pour . Il sagit de montrer
que la suite (f
n
) converge uniformement sur tout compact, et pour ce faire, il sut de verier que
(f
n
) est uniformement de Cauchy sur tout compact. Fixons un compact K .
Supposons que la suite (f
n
) ne verie pas le crit`ere de Cauchy uniforme sur K. On peut alors
trouver > 0 et deux sous-suites (f
p
k
) et (f
q
k
) telles que [[f
p
k
f
q
k
[[
K
pour tout k. Mais
(f
n
) est de Cauchy pour , donc (f
p
k
, f
q
k
) tend vers 0. Comme est invariante par translation, il
revient au meme de dire que (f
p
k
f
q
k
, 0) tend vers 0, autrement dit que f
p
k
f
q
k
tend vers 0
pour . Par consequent, f
p
k
f
q
k
tend vers 0 uniformement sur tout compact, et on obtient donc
une contradiction.
Proposition 6.3.5 La topologie de la convergence uniforme sur tout compact ne peut pas etre
denie par une norme.
Preuve. Par labsurde, supposons quil existe une norme [[ . [[ sur (() denissant la topologie de
la convergence uniforme sur tout compact. Soit (K
n
) une suite exhaustive de compacts pour .
Comme est un ouvert non vide de R
d
, il nest pas compact, ce qui na rien devident : cest la
connexite de R
d
qui intervient ici. On a donc K
n
,= pour tout n, et on peut donc trouver une
fonction f
n
(() nulle sur K
n
mais non identiquement nulle : il sut de poser f
n
(x) = d(x, K
n
).
Alors g
n
=
f
n
||f
n
||
est bien denie puisque f
n
,= 0, et g
n
0 sur K
n
. Comme la suite (K
n
) est
croissante et que tout compact de est contenu dans lun des K
n
, on en deduit que (g
n
) converge
vers 0 uniformement sur tout compact. Par consequent, [[g
n
[[ doit tendre vers 0, ce qui est absurde
puisque [[g
n
[[ = 1 pour tout n.
6.3.2 Fonctions holomorphes
Dans cette section, est un ouvert (non vide) de C = R
2
. On note H() lensemble des fonctions
holomorphes sur . On munit H() de la topologie de la convergence uniforme sur tout compact,
heritee de lespace (().
Le resultat suivant est la traduction du theor`eme de convergence de Weierstrass.
Theor`eme 6.3.6 H() est un sous-espace ferme de ((). Si f H(), alors f
H(), et
lapplication f f
[[
D
C [[f[[
.
Preuve. Lapplication f f
|D
est continue de ((() H(), [[ . [[
) dans (((D), [[ . [[
[[f[[
2
pour
f L
2
([0; 1]).
117
Posons A = V (B
L
2). Comme loperateur V est continu, A est une partie bornee de (([0; 1]). De plus,
si f B
L
2 et x, y [0; 1], alors V f(y) V f(x) =
_
y
x
f(t) dt. Dapr`es linegalite de Cauchy-Schwarz,
on a donc
[V f(y) V f(x)[ [y x[
1/2
_
y
x
[f(t)[
2
dt
1/2
[[f[[
2
[y x[
1/2
[y x[
1/2
,
pour toute f B
L
2. On en deduit que A = V (B
L
2) est une partie equicontinue de (([0; 1]). Dapr`es
le theor`eme dAscoli, V est donc un operateur compact.
Dans la suite, on notera /(X, Y ) lensemble des operateurs compacts de X dans Y , et on po-
sera /(X) = /(X, X).
Theor`eme 7.1.2 /(X, Y ) est un sous-espace vectoriel ferme de L(X, Y ).
Preuve. Il nest pas dicile de voir que /(X, Y ) est un sous-espace vectoriel de L(X, Y ) ; les
details sont laisses en exercice. Montrons que /(X, Y ) est ferme dans L(X, Y ). Soit (T
n
) une suite
doperateurs compacts convergeant vers T L(X, Y ). Pour montrer que T est compact, il sut de
montrer que T(B
X
) est precompact, puisque lespace Y est suppose complet. Soit > 0. Comme
la suite (T
n
) converge vers T, on peut trouver un entier N tel que [[T
N
T[[ < . On a alors
[[T(x) T
N
(x)[[ < pour tout x B
X
. Comme T
N
est compact, T
N
(B
X
) poss`ede un -reseau ni
R. Si maintenant y T(B
X
), alors y = T(x) pour un certain x B
X
, et on a [[y T
N
(x)[[ <
dapr`es ce qui prec`ede. Par le choix de R, on peut trouver z R tel que [[T
N
(x) z[[ < , et on a
alors [[y z[[ < 2. Ainsi, R est un 2-reseau ni pour T(B
X
), ce qui termine la demonstration.
Corollaire 7.1.3 Si T L(X, Y ) est limite dune suite doperateurs de rang ni, alors T est
compact.
La reciproque de ce dernier resultat est fausse en general. Elle est cependant exacte si lespace
darrivee est un espace de Hilbert. De facon precise, on a le resultat suivant.
Proposition 7.1.4 Soit H un espace de Hilbert separable, et soit (e
i
)
iN
une base hilbertienne de
H. Pour n N, notons p
n
la projection orthogonale de H sur Vect e
0
; . . . ; e
n
. Si T L(X, H)
est compact, alors la suite (p
n
T) converge vers T pour la norme de L(X, H).
Preuve. Ici, bien s ur, on suppose que H est de dimension innie. Comme (e
i
) est une base hilber-
tienne de H, on sait que p
n
(y) tend vers y pour tout y H. De plus, on a [[p
n
[[ = 1 pour tout n,
donc la suite (p
n
) ((H, H) est equicontinue. On en deduit (dapr`es 6.2.4) que p
n
(y) tend vers y
uniformement sur tout compact de H. En particulier, la convergence est uniforme sur le compact
T(B
X
), donc a fortiori sur T(B
X
). Autrement dit, p
n
(T(x)) tend vers T(x) uniformement sur B
X
,
ce qui signie exactement que p
n
T tend vers T pour la norme de L(X, H).
Corollaire 7.1.5 Si H est un espace de Hilbert, alors tout operateur compact T L(X, H) est
limite dune suite doperateurs de rang ni.
118
Preuve. Si H est separable, cela decoule immediatement de la proposition. Dans le cas general, il
sut donc de montrer que H
0
:= T(X) est separable. Mais on a T(X) =
nN
nT(B
X
), et comme
T(B
X
) est separable car precompact, on en deduit que T(X) est separable, donc H
0
egalement.
Exemple (operateur diagonal)
Soit (e
i
)
iN
la base canonique de lespace de Hilbert H =
2
(N). Pour = (
i
)
(N), notons
T
0
x
i
e
i
) =
0
i
x
i
e
i
. Alors :
(1) T
L(H) et [[T
[[ = [[[[
;
(2) T est compact si et seulement si c
0
(N).
Preuve. La partie (1) est laissee en exercice. Dapr`es la proposition precedente, loperateur T
est
compact si et seulement si |p
n
T
[[ = sup
i>n
[
i
[, ce qui donne (2).
Theor`eme 7.1.6 Soit T L(X, Y ). Alors T est compact si et seulement si T
est compact.
Preuve. Supposons T compact. Soit (y
n
) une suite bornee dans Y
. On consid`ere les y
n
comme
des fonctions continues sur le compact K = T(B
X
). Alors la suite (y
n
) ((K) est bornee et
equicontinue puisque sup
n
|y
n
| < . Dapr`es le theor`eme dAscoli, la suite (y
n
) poss`ede une sous-
suite (y
n
k
) qui converge uniformement sur K = T(B
X
), donc en particulier sur T(B
X
). Autrement
dit, y
n
k
, T(x)) converge uniformement sur B
X
, donc verie le crit`ere de Cauchy uniforme sur B
X
.
Comme y
n
k
, T(x)) = T
(y
n
k
), x), cela signie que la suite (T
(y
n
k
)) est de Cauchy pour la norme
de Banach X
compact. Alors (T
: X
et i
Y
: Y Y
i
X
= i
Y
T. Autrement dit, en identiant X et Y ` a des sous-espaces (fermes) de X
et Y
|X
= T. Comme T
iI
[[T(e
i
)[[
2
=
jJ
[[T(f
j
)[[
2
.
Preuve. Soit (k
[k
, T(e
i
))[
2
=
[T
(k
), e
i
)[
2
.
On en deduit
iI
[[T(e
i
)[[
2
=
I
[T
(k
), e
i
)[
2
=
[[T
(k
)[[
2
.
Comme le membre de droite ne depend pas de (e
i
), cela termine la demonstration.
Denition 7.2.2 Pour T L(H, K), on pose [[T[[
2
HS
=
iI
[[T(e
i
)[[
2
, o` u (e
i
)
iI
est nimporte
quelle base hilbertienne de H. On dit que T est un operateur de Hilbert-Schmidt si [[T[[
2
HS
< .
Exemple 0 Si T L(K
d
) a pour matrice (a
ij
) dans une base orthonormee de K
d
, alors sa norme
de Hilbert-Schmidt est donnee par |T|
2
HS
=
i,j
[a
ij
[
2
.
Exemple 1 Soit H =
2
(N). Pour = (
i
)
(N), soit T
i
x
i
e
i
) =
i
x
i
e
i
, o` u (e
i
)
iN
est la base canonique de H. Alors T
est de Hilbert-Schmidt
si et seulement si
0
[
i
[
2
< , et on a [[T
[[
HS
= [[[[
2
.
Exemple 2 Tout operateur de rang ni est un operateur de Hilbert-Schmidt.
Preuve. Si T L(H, K) est de rang ni, alors Ker(T) est de co-dimension nie dans H. En ecrivant
H = Ker(T) Kert(T)
[[T(e
i
)[[
2
est alors
une somme nie, et par suite [[T[[
HS
< .
120
Theor`eme 7.2.3 Notons HS lensemble des operateurs de Hilbert-Schmidt de H dans K.
(1) (HS, [[ . [[
HS
) est un espace de Hilbert.
(2) On a [[T[[
HS
[[T[[ pour tout T HS. En particulier, la convergence pour la norme [[ . [[
HS
entrane la convergence pour la norme de L(H).
(3) Les operateurs de rang ni sont denses dans (HS, [[ . [[
HS
).
Preuve. On peut supposer que H est de dimension innie. Dans tout ce qui suit, (e
i
)
iN
est une
base hilbertienne de H.
(1) Il est naturel dintroduire lespace
2
(N, K) =
_
b = (b
i
) K
N
; [[b[[
2
2
(N,K)
:=
i=0
[[b
i
[[
2
<
_
.
On demontre comme pour
2
(N) que
2
(N, K) est un espace vectoriel, que [[ . [[
2
(N,K)
est une norme
sur
2
(N, K), et que muni de cette norme
2
(N, K) est un espace de Hilbert. Par denition, un
operateur T L(H, K) est de Hilbert Schmidt si et seulement si la suite
T := (T(e
i
)) appartient
` a
2
(N, K), et on a alors [[T[[
HS
= [[
T[[
2
(N,K)
. Par consequent HS est un espace vectoriel et
lapplication T
T est une isometrie lineaire de HS dans
2
(N, K).
Si b = (b
i
)
2
(N, K), alors, pour tout x H, on a
0
[e
i
, x)[ |b
i
| |b|
2
(N,K)
|x| ,
dapr`es linegalite de Cauchy-Schwarz et linegalite de Bessel. En particulier, la serie
e
i
, x) b
i
est
absolument convergente, donc convergente dans lespace de Hibert K, et on peut poser
T
b
(x) =
i=0
e
i
, x)b
i
.
On denit ainsi une application lineaire T
b
: H H. Linegalite precedente montre que T
b
est
continue, et on a
T
b
= b par denition, donc T
b
HS. On a donc montre que lisometrie lineaire
T
T est bijective de HS sur
2
(N, K). Ainsi, HS est lineairement isometrique `a lespace de
Hilbert
2
(N, K), donc HS est un espace de Hilbert. Le produit scalaire de HS est deni par
T, S)
HS
=
T,
S)
2
(N,K)
=
0
T(e
i
), S(e
i
)) .
(2) Soit T HS. Si x H, alors T(x) =
0
e
i
, x) T(e
i
), o` u la serie converge dans K. Dapr`es
linegalite de Cauchy-Schwarz, on a donc [[T(x)[[ [[x[[ (
0
[[T(e
i
)[[
2
)
1/2
pour tout x H. Par
consequent, [[T[[ [[T[[
HS
.
(3) Soit T HS. Pour n N, soit T
n
loperateur de rang ni deni par T
n
(x) =
n
0
e
i
, x) T(e
i
). Par
denition de [[ . [[
HS
, on a |T T
n
|
2
HS
=
i>n
|T(e
i
)|
2
pour tout n N, donc la suite (T
n
) converge
vers T pour la norme [[ . [[
HS
. Ainsi, les operateurs de rang ni sont denses dans (HS, [[ . [[
HS
).
Corollaire 7.2.4 Tout operateur de Hilbert-Schmidt est compact.
121
Preuve. Si T HS, alors T est limite dune suite doperateurs de rang ni pour la norme [[ . [[
HS
,
donc a fortiori pour la norme de L(H, K). Par consequent, T est compact.
Remarque Si on ne veut pas utiliser le theor`eme pour demontrer quun operateur de Hilbert-
Schmidt est compact, on peut proceder directement : on denit les operateurs de rang ni T
n
par
T
n
(x) =
n
i=0
e
i
, x) T(e
i
) ,
et on montre avec linegalite de Cauchy-Schwarz quon a
[[T
n
(x) T(x)[[
2
i>n
[[T(e
i
)[[
2
_
[[x[[
2
pour tout x H, do` u [[T
n
T[[
_
i>n
[[T(e
i
)[[
2
_
1/2
.
7.2.2 Exemple fondamental
Dans cette section, (, /, ) est un espace mesure, la mesure etant -nie. On fait de plus
lhypoth`ese suivante :
(H) L
espace L
2
(, ) est separable .
Exemple Lhypoth`ese (H) est veriee si est un borelien de R
d
et si est la mesure de Lebesgue.
Preuve. Par regularite de la mesure de Lebesgue, il existe une suite croissante (K
i
)
iN
de com-
pacts de telle que (
i
K
i
) = 0. Pour tout i N, lespace ((K
i
) est separable dapr`es 6.1.6.
On choisit un ensemble denombrable f
i
n
; n N dense dans ((K
i
) pour [[ . [[
, donc a fortiori
pour la norme [[ . [[
2
. Comme ((K
i
) est dense dans L
2
(K
i
), on verie sans diculte que lensemble
denombrable D = 1
K
i
f
i
n
; i N, n N est dense dans L
2
().
On a vu au chapitre 4 que si K : K appartient ` a L
2
( ), alors la formule
T
K
f(x) =
_
[[K
x
[[
2
2
d(x) .
122
Soit maintenant (e
i
)
iI
une base hilbertienne de L
2
(). Pour presque tout x , on a
[[K
x
[[
2
2
=
iI
[e
i
, K
x
)[
2
,
et on en deduit
[[K[[
2
2
=
iI
_
[e
i
, K
x
)[
2
d(x) .
Comme de plus e
i
, K
x
) =
_
e
i
(y)K(x, y) d(y) = T
K
e
i
(x), on obtient donc
[[K[[
2
2
=
iI
[[T
K
(e
i
)[[
2
2
.
Comme (e
i
) est tout autant une base hilbertienne de L
2
() que (e
i
), cela prouve que T
K
HS,
avec [[T
K
[[
2
HS
= [[K[[
2
2
.
Exemple Si on prend = [0; 1] et K = 1
xy
, alors T
K
est loperateur de Volterra, considere comme
operateur de L
2
([0; 1]) dans L
2
([0; 1]).
Remarques
(1) On vient de voir que tout operateur sur L
2
() deni par un noyau K L
2
( ) est de
Hilbert-Schmidt. Il se trouve que la reciproque est vraie : tout operateur de Hilbert-Schmidt sur
L
2
() est du type T
K
, pour un unique noyau K L
2
(). La preuve nest pas tr`es compliquee,
mais on ne la donnera pas ici.
(2) Au lieu dun espace produit , on peut considerer un produit de deux espaces mesures
(, ) et (
), alors loperateur T
K
: L
2
(
) L
2
() est (bien deni et) de Hilbert-Schmidt.
7.3 Diagonalisation des operateurs compacts
On a montre dans le chapitre sur la compacite que toute matrice symetrique reelle est diagonalisable
en base orthonormee. Autrement dit, tout operateur auto-adjoint sur lespace euclidien R
d
est
diagonalisable en base orthonormee. On sait egalement que tout operateur hermitien sur C
d
(ou
plus generalement tout operateur normal ) est diagonalisable en base orthonormee. On va demontrer
ici des resultats analogues en dimension innie. Dans toute cette section, H est un espace de Hilbert,
reel ou complexe.
7.3.1 Preliminaires sur les valeurs propres
On regroupe ici quelques resultats utiles pour la suite, et interessants pour eux-meme. Rappelons
quun operateur T L(H) est dit normal sil commute avec son adjoint, autrement dit si on a
TT
= T
T.
123
Lemme 7.3.1 Soit T L(H) un operateur normal.
(1) On a |T(x)| = |T
.
Preuve. Pour demontrer (1), on ecrit
[[T(x)[[
2
= T(x), T(x)) = x, T
T(x)) = x, TT
(x)) = [[T
(x)[[
2
.
Comme (T Id)
= T
Id, on obtient (2) en appliquant (1) `a T Id. Le point (3) est une
consequence de (2). Soient maintenant x et y deux vecteurs propres de T associes ` a deux valeurs
propres distinctes et . On a alors dune part x, T(y)) = x, y), et dautre part x, T(y)) =
T
= Id
E
. Mais T
|E
est donc de
dimension nie.
Si = (
i
)
iN
i
. Si T
, alors la suite (E
n
) est une suite
strictement croissante de sous-espaces fermes de X. Dapr`es le lemme de Riesz 3.7.2, on peut donc
trouver pour tout n N
un vecteur x
n
E
n
tel que |x
n
| = 1 et d(x
n
, E
n1
)
1
2
. Alors x
n
secrit
y
n
+ z
n
, o` u y
n
Ke
n
et z
n
E
n1
, et on a d(y
n
, E
n1
)
1
2
par denition de x
n
. Pour p < q, on a
T(x
q
) T(x
p
) =
q
(y
q
w
p,q
), o` u w
p,q
:=
1
q
T(x
p
z
q
) appartient `a E
q1
car E
q1
est stable par T.
On en deduit que si q > p, alors |T(x
q
) T(x
p
)| [
q
[d(y
q
, E
q1
)
2
. Ainsi, la suite (T(x
n
)) ne
poss`ede aucune sous-suite convergente, ce qui contredit la compacite de T.
124
Corollaire 7.3.4 Si T L(X) est un operateur compact, alors lensemble des valeurs propres de
T est denombrable.
Voici pour nir un autre crit`ere de denombrabilite pour lensemble des valeurs propres dune ap-
plication lineaire. Dapr`es 7.3.1, il sapplique en particulier au cas dun operateur normal sur un
espace de Hilbert.
Lemme 7.3.5 Soit H un espace prehilbertien separable, et soit T : H H une application lineaire.
Si les sous-espaces propres de T sont deux `a deux orthogonaux, alors lensemble des valeurs propres
de T est denombrable.
Preuve. Notons lensemble des valeurs propres de T, et pour toute valeur propre , choisissons
un vecteur propre x
associe, avec |x
| = 1. Alors la famille (x
Etape 2 On peut maintenant conclure la preuve. Notons lensemble des valeurs propres de
125
T, et posons E =
, o` u E
ne poss`ede aucune
valeur propre, par denition de E. Dapr`es le cas 1 applique `a lespace de Hilbert E
, on en deduit
E
= 0. Ainsi, E =
i
)
iI
de E
, alors la famille (e
i
)
,i
est une base hilbertienne de H formee de
vecteurs propres pour T. Cette famille est bien orthogonale car les sous-espaces propres de T sont
deux `a deux orthogonaux.
Variante. Si on veut eviter le recours ` a la convergence faible et au theor`eme de Banach-Alaoglu
dans la premi`ere etape, on peut proceder comme suit. On denit la forme hermitienne positive
B(x, y) = Mx T(x), y)
comme plus haut, et on xe une suite (x
n
) H telle que [[x
n
[[ = 1 pour tout n et lim
n
T(x
n
), x
n
)
= M. Comme B(x
n
, x
n
) = M T(x
n
), x
n
), on a donc limB(x
n
, x
n
) = 0. Dapr`es linegalite de
Cauchy-Schwarz appliquee ` a B, on a
u, v H [Mu T(u), v)[
2
B(u, u) B(v, v) .
En prenant la borne superieure en v B
H
, on en deduit quil existe une constante C < telle que
u H [[Mu T(u)[[
2
C B(u, u) .
Comme B(x
n
, x
n
) tend vers 0, il en resulte que T(x
n
) Mx
n
tend vers 0 quand n tend vers linni.
De plus, comme T est compact et (x
n
) bornee, on peut supposer que la suite (T(x
n
)) converge vers
un point b H. Comme T(x
n
) Mx
n
tend vers 0 et M ,= 0, la suite (x
n
) converge alors vers
a =
1
M
b, et on a T(a) = Ma par continuite de T. Enn, on a T(a), a) = limT(x
n
), x
n
) = M ,= 0,
par continuite de T et du produit scalaire, donc a ,= 0. Ainsi, a est un vecteur propre pour T.
Rappelons quun operateur U L(H) est dit unitaire sil est inversible et si T
1
= T
. Il revient au
meme de dire que U change toute base hilbertienne de H en une base hilbertienne, ou que U change
une base hilbertienne en une base hilbertienne. Deux operateurs T et T
= UTU
1
. Le theor`eme de diagonalisation
peut alors senoncer comme suit.
Corollaire 7.3.7 On suppose que H est separable. Alors un operateur T L(H) est compact et
auto-adjoint si et seulement si T est unitairement equivalent `a un operateur diagonal T
, pour une
suite c
0
(N) `a termes reels.
Preuve. Cela decoule immediatement du theor`eme precedent, du fait quun operateur diagonal T
= T
.
7.3.3 Cas normal
Rappelons quun operateur T L(H) est dit normal si T et T
ont les memes vecteurs propres dapr`es 7.3.1, et donc, avec les
notations precedentes, E
2
et B :=
TT
2i
sont compacts et auto-adjoints, et lun des deux est
non nul puisque A+iB = T ,= 0. Supposons par exemple A ,= 0. Dapr`es le theor`eme precedent, A
poss`ede au moins une valeur propre non nulle . Comme A est compact, le sous-espace propre E
associe est de dimension nie dapr`es 7.3.2, et il est stable par T car A et T commutent. Comme
E
n
e
n
f
n
,
o` u la serie converge pour la norme de L(H, K).
Pour la preuve, on a besoin dune partie des deux lemmes suivants.
Lemme 7.4.2 Soient (e
n
)
nN
H et (f
n
)
nN
deux suites orthonormales, et soit = (
n
)
(N).
Pour tout x H, la serie
n
e
n
f
n
(x) converge dans H, et loperateur
n
e
n
f
n
ainsi deni
est continu, avec |
n
e
n
f
n
| = ||
.
127
Preuve. Si x H et p < q, alors
|
q
n=p
n
e
n
, x) f
n
|
2
=
q
n=p
2
n
[e
n
, x)[
2
||
2
np
[e
n
, x)[
2
.
Comme la serie
[e
n
, x)[
2
est convergente (dapr`es linegalite de Bessel), on en deduit que pour
tout x H, les sommes partielles de la serie
n
e
n
f
n
(x) verient le crit`ere de Cauchy. Ainsi,
loperateur S :=
0
n
e
n
f
n
est bien deni. Linegalite precedente (avec p = 0) donne |S(x)|
||
. Enn, on a S(e
n
) =
n
f
n
pour tout
n N, donc |S| ||
, et au total |S| = ||
.
Lemme 7.4.3 Soit T L(H).
(1) Loperateur S = T
T) = Ker(T).
(3) On a egalement [[T
T[[ = [[T[[
2
.
Preuve. On a (T
T)
= T
(T
= T
T, donc S = T
T(x), x) =
T(x), T(x)) = [[T(x)[[
2
pour tout x H, ce qui prouve que T
T) = Ker(T).
Enn, on a dune part [[T
T[[ [[T
[[ [[T[[ = [[T[[
2
; et dautre part, [[T(x)[[
2
= T
T(x), x)
[[T
T[[ [[x[[
2
pour tout x H, donc [[T[[
2
[[T
T[[.
Preuve de 7.4.1. Comme T est compact, loperateur T
T) = Ker(T),
on en deduit que H
0
:= Ker(T)
T(e
n
) ,= 0, donc T(e
n
) ,= 0. De plus, les T(e
n
) sont
deux `a deux orthogonaux : on a T(e
n
), T(e
m
)) = T
T(e
n
), e
m
) = 0 si n ,= m, puisque T
T(e
n
) est
colineaire ` a e
n
. Par consequent, on peut poser f
n
:=
T(e
n
)
T(e
n
)
, et la suite (f
n
)
nN
est orthonormale.
Par denition de H
0
, on a T(x) = T(p
H
0
(x)) pour tout x H, o` u p
H
0
est la projection orthogonale
sur H
0
; et comme (e
n
) est une base hilbertienne de H
0
, on a p
H
0
(x) =
0
e
n
, x) e
n
pour tout
x H. On en deduit
T(x) =
n=0
e
n
, x)T(e
n
) =
n
e
n
, x) f
n
pour tout x H, o` u la serie converge dans K et o` u on a pose
n
= |T(e
n
)|. Ainsi, on a T =
n=0
n
e
n
f
n
, o` u la serie converge ponctuellement.
Comme la suite (e
n
) est orthonormale, elle tend faiblement vers 0 : en eet, si x H, alors
0
[e
n
, x)[
2
< dapr`es linegalite de Bessel, donc e
n
, x) tend en particulier vers 0. Comme T
est compact, on en deduit que T(e
n
) tend vers 0 en norme, autrement dit que la suite (
n
) tend
vers 0. Quitte ` a reordonner la suite (
n
), on peut donc supposer quelle decroit vers 0.
128
Dapr`es le lemme 7.4.2, on a
|T(x)
N
n=0
n
e
n
f
n
(x)|
2
= |
n=N+1
n
e
n
f
n
(x)|
2
sup
n>N
[
n
[
2
|x|
2
pour tout x H ; ce qui secrit encore :
|T
N
n=0
n
e
n
f
n
|
2
N+1
.
Comme la suite (
n
) tend vers 0, on a donc montre que la serie
n
e
n
f
n
converge en fait vers
T pour la norme de L(H, K).
Remarque 1 Si loperateur T est de rang ni, on a une decomposition analogue, la somme etant
cette fois nie.
Remarque 2 La suite (
n
)
nN
fournie par le theor`eme precedent est determinee de mani`ere unique :
pour tout n N, on a
n
= dist(T, 1
n
) , o` u 1
n
L(H, K) est lensemble des operateurs de rang
au plus egal ` a n. Les nombres
n
sont appeles les nombres singuliers de loperateur T.
Preuve. Comme la suite (
n
) est decroissante, on a |
i=n
i
e
i
f
i
| =
n
pour tout n N, dapr`es
le lemme 7.4.2. Ainsi :
dist(T, 1
n
) |T
i<n
i
e
i
f
i
| =
n
.
Inversement, si R 1
n
, alors Ker(R)E ,= 0 pour tout sous-espace vectoriel E H de dimension
n+1. Cest vrai en particulier pour E
n
:= Vecte
0
; . . . ; e
n
, donc on peut trouver un vecteur a E
n
tel que |a| = 1 et R(a) = 0. On a alors |T R| |(T R)(a)| = |T(a)|. En ecrivant a =
n
0
a
i
e
i
,
on a
|T(a)|
2
= |
n
i=0
i
a
i
f
i
|
2
=
n
i=0
2
i
[a
i
[
2
2
n
n
i=0
[a
i
[
2
=
2
n
,
et on en deduit |T R|
n
, pour tout operateur R 1
n
. Ainsi, on a dist(T, 1
n
)
n
, ce qui
termine la demonstration.
Remarque 3 Les
2
n
sont les valeurs propres non nulles de loperateur T
T.
Preuve. On utilise les identites suivantes, dont la verication est laissee en exercice : si (e, f) HK,
alors
(e f)
= f e ,
129
et si (e, f), (e
, f
) H K, alors
(f
) (e f) = f
, f) e e
.
En utilisant ces deux identites, on voit que pour tout N N, on a
_
N
n=0
n
e
n
f
n
_
_
N
n=0
n
e
n
f
n
_
=
N
n=0
2
n
e
n
e
n
.
Par continuite du produit sur L(K, H) L(H, K), on en deduit
T
T =
n=0
2
n
e
n
e
n
,
ce qui donne sans peine le resultat souhaite.
7.4.2 Noyaux et sommes de series
Le resultat suivant est une consequence utile du theor`eme de diagonalisation. On en donne plus bas
une application amusante.
Proposition 7.4.4 Soit J un intervalle de R, et soit K : J J C appartenant `a L
2
(J J), `a
valeurs reelles et veriant K(x, y) K(y, x). On a
[[K[[
2
L
2
(JJ)
=
iI
2
i
,
o` u (
i
)
iI
est la suite des valeurs propres non nulles de loperateur de Hilbert-Schmidt T
K
, comptees
avec leur multiplicite.
Preuve. Les hypoth`eses faites sur K assurent que loperateur de Hilbert-Schmidt T
K
est auto-
adjoint. Il sut donc de rappeler quon a [[K[[
2
2
= [[T
K
[[
2
HS
, et dutiliser une base hilbertienne de
diagonalisation pour calculer [[T
K
[[
2
HS
.
Exemple Prenons J = [0; 1] et K(x, y) = min(x, y). Alors T
K
est donne par la formule
T
K
f(x) =
_
x
0
yf(y) dy +x
_
1
x
f(y) dy .
On constate que si f L
2
([0; 1]), alors T
K
f(x) est en fait deni pour tout x [0; 1], et T
K
f est
une fonction continue sur [0; 1]. On en deduit que si f est un vecteur propre de T
K
associe ` a une
valeur propre ,= 0, alors f =
1
T
K
f est une fonction continue. Par denition de T
K
, cela entrane
que T
K
f est en fait de classe (
1
, donc que f est de classe (
1
et verie
f
(x) =
1
_
xf(x) +
_
1
x
f(y) dy xf(x)
_
=
1
_
1
x
f(y) dy .
130
Par consequent, f est de classe (
2
et est solution de lequation dierentielle
f
=
1
f .
On a donc deux possibilites : ou bien < 0 et f est combinaison lineaire des fonctions e
1/|| x
et
e
1/|| x
, ou bien > 0 et f est combinaison lineaire des fonctions cos(
_
1/x) et sin(
_
1/x).
De plus, on doit avoir f(0) =
1
T
K
f(0) = 0, et f
(1) =
1
_
1
1
f(y) dy = 0. On en deduit alors que
est necessairement strictement positif, puis que f est de la forme f(x) = Bsin
_
1
x
_
, o` u B est une
constante, et enn quon a
1
= (2k + 1)
2
, pour un certain entier k N. Inversement, on verie
que pour tout k N, la fonction x sin
_
(2k + 1)
2
x
_
est vecteur propre de T
K
associee ` a la valeur
propre
4
(2k+1)
2
2
. Ainsi, les valeurs propres de T
K
sont les
4
(2k+1)
2
2
, o` u k N, et les espaces propres
associes sont de dimension 1. Dapr`es la proposition precedente, on a donc
k=0
16
(2k + 1)
4
4
=
_
[0;1][0;1]
min(x, y)
2
dxdy .
Cette derni`ere integrale vaut 2
_
1
0
__
s
0
t
2
dt
_
ds = 2
_
1
0
s
3
3
dx =
1
6
. On a donc obtenu lidentite
k=0
1
(2k + 1)
4
=
4
96
,
do` u on deduit facilement la formule classique
n=1
1
n
4
=
4
90
.
7.4.3 Syst`emes de Sturm-Liouville
Dans cette section, [a ; b] est un intervalle de R et q : [a ; b] R est une fonction continue. On
va appliquer le theor`eme de diagonalisation des operateurs compacts auto-adjoints `a letude de
loperateur dierentiel L
q
: (
2
([a ; b]) (([a ; b]) deni par
L
q
(f) = f
qf .
Dans toute la suite, on xe , R
2
, avec , ,= 0. On ecrit = (
0
,
1
) et = (
0
,
1
). On dira
quun nombre complexe est valeur propre du syst`eme de Sturm-Liouville determine par q, et ,
en abrege valeur propre de SL(q, , ), sil existe une fonction f (
2
([a ; b]) non nulle, solution de
lequation dierentielle
f
qf = f
avec les conditions aux limites
()
,
_
0
f(a) +
1
f
(a) = 0
0
f(b) +
1
f
(b) = 0
On dit quune telle fonction f est une fonction propre du syst`eme SL(q, , ) associee ` a la valeur
propre .
131
Notons c(, ) le sous-espace vectoriel de (
2
([a ; b]) constitue par les fonctions f veriant les condi-
tions aux limites ()
,
. Alors est valeur propre de SL(q, , ) si et seulement si il existe une
fonction non nulle f c(, ) telle que L
q
(f) = f. Avec un leger abus de langage, les valeurs
propres de SL(q, , ) sont donc exactement les valeurs propres de loperateur
L
,
q
: c(, ) (([a ; b])
restriction de L
q
au sous-espace c(, ).
On peut se demander pourquoi sinteresser aux valeurs propres dun operateur dierentiel. Ce type
de question intervient par exemple lorsquon veut resoudre une equation aux derivees partielles par
la methode dite de separation des variables. De facon precise, considerons une equation aux derivees
partielles du type
k
i=0
a
j
(t)
i
u
t
i
=
l
j=0
b
j
(x)
j
u
x
j
.
Si on cherche une solution de la forme u(t, x) = f(t)g(x), on obtient lequation
g(x)
k
i=0
a
i
(t)f
(i)
(t) = f(t)
l
j=0
b
j
(x)g
(j)
(x) ,
do` u, en supposant que f et g ne sannulent pas :
1
f(t)
k
i=0
a
i
(t)g
(i)
(t) =
1
g(x)
l
j=0
b
j
(x)g
(j)
(x) .
Comme le premier membre ne depend que de t et que le deuxi`eme membre ne depend que de x,
ils doivent etre tous les deux egaux ` a une meme constante . On obtient donc un syst`eme de deux
equations dierentielles ordinaires :
_
_
k
i=0
a
i
f
(i)
= f
l
j=0
b
j
g
(j)
= g
Ainsi, est une valeur propre des deux operateurs dierentiels
k
i=0
a
i
d
i
dt
i
et
l
j=0
b
j
d
j
dx
j
.
On va demontrer ici le resultat suivant.
Theor`eme 7.4.5 Lespace L
2
([a ; b]) poss`ede une base hilbertienne formee de fonctions propres
pour le syst`eme SL(q, , ). Les valeurs propres de SL(q, , ) sont toutes reelles, et elles forment
une suite (
i
)
iN
telle que lim
i
[
i
[ = +.
La demonstration utilise trois lemmes.
Lemme 7.4.6 Loperateur L
q
est formellement auto-adjoint sur c(, ) pour le produit scalaire
usuel de L
2
([a ; b]) : si u, v c(, ), alors L
q
(u), v)
L
2 = u, L
q
(v))
L
2.
132
Preuve. Rappelons que le produit scalaire de L
2
([a ; b]) est deni par
u, v)
L
2 =
_
b
a
u(t)v(t) dt .
Pour demontrer le lemme, on commence par verier (cest immediat), que si u, v (
2
([a ; b]), alors
u L
q
(v) L
q
(u) v = (uv
v)
.
Comme q est reelle, on a L
q
(u) = L
q
(u). En appliquant lidentite precedente `a u et v et en integrant,
on obtient donc
u, L
q
(v))
L
2 L
q
(u), v)
L
2 = [uv
v]
b
a
.
Si maintenant u et v verient les conditions aux limites ()
,
(donc u et v egalement puisque et
sont reels), alors les deux vecteurs
_
u(a)
u
(a)
_
et
_
v(a)
v
(a)
_
C
2
sont lies car ils verient tous les
deux lequation lineaire non triviale
0
x +
1
y = 0 ; et de meme les vecteurs
_
u(b)
u
(b)
_
et
_
v(b)
v
(b)
_
sont lies. On a donc u(a)v
(a) v(a)u
(a) = 0 = u(b)v
(b) v(b)u
vu
]
b
a
= 0.
Corollaire 7.4.7 Les valeurs propres du syst`eme SL(q, , ) sont reelles, et forment un ensemble
denombrable.
Preuve. Du caract`ere formellement auto-adjoint de L
q
sur c(, ), on deduit sans peine que les
valeurs propres de SL(q, , ) sont reelles et que les espaces propres associes sont orthogonaux.
Gr ace au lemme 7.3.5 (en prenant pour H lespace vectoriel engendre par les fonctions propres de
SL(q, , )), on en deduit que lensemble des valeurs propres de SL(q, , ) est denombrable.
Rappelons que si K L
2
([a ; b] [a ; b]), on note T
K
: L
2
([a ; b]) L
2
([a ; b]) loperateur de Hilbert-
Schmidt deni par
T
K
g(x) =
_
b
a
K(x, y)g(y) dy .
Lemme 7.4.8 On suppose que 0 nest pas valeur propre du syst`eme SL(q, , ). Alors loperateur
L
,
q
: c(, ) (([a ; b]) est bijectif. De plus, il existe une fonction K : [a ; b] [a ; b] C continue,
reelle et symetrique, telle que (L
,
q
)
1
(g) = T
K
(g) pour toute fonction g (([a ; b]).
Preuve. On notera
et
(f) =
0
f(a) +
1
f
(a)
(f) =
0
f(b) +
1
f
(b)
Etant donnee g (([a ; b]), il sagit de montrer que lequation dierentielle lineaire
y
qy = g
poss`ede une unique solution f veriant les conditions aux limites ()
,
, autrement dit
(f) =
0 =
(f), et de donner une formule pour f. Pour cela, on va utiliser la methode de variation des
constantes, ` a partir dune paire bien choisie de solutions de lequation homog`ene y
qy = 0.
133
Dapr`es le theor`eme de Cauchy-Lipschitz, les solutions reelles de lequation y
qy = 0 forment un
espace vectoriel T de dimension 2, et pour tout point t
0
[a ; b], lapplication y
_
y(t
0
)
y
(t
0
)
_
est
un isomorphisme de T sur R
2
. Comme et sont non nuls, on en deduit que les formes lineaires
et
ne sont donc pas identiquement nulles sur T. Ainsi, on peut trouver deux fonctions reelles
non nulles u, v (
2
([a ; b]) veriant L
q
(u) = 0 = L
q
(v) et
(u) = 0 =
(v).
Comme 0 nest pas valeur propre de SL(q, , ), on a
(v) ,= 0 et
qy = 0,
donc leur wronskien W := uv
v)
= W
= ug et W
= vg. On
sait egalement quon a alors
f
= u
+v
.
On en deduit
_
(f) = (a)
(u) +(a)
(v)
(f) = (b)
(u) +(b)
(v)
soit
(f) = (a)
(v) et
(f) = (b)
(u). Comme
(v) et
K
est `a image
dense. Mais par le lemme precedent on sait que L
,
q
: c(, ) (([a ; b]) est bijectif dinverse
donne par T
K
; on a par consequent T
K
((([a ; b])) = Im((L
,
q
)
1
) = c(, ), donc Im(T
K
) contient
c(, ). Comme c(, ) contient toutes les fonctions de classe (
2
` a support dans ]a ; b[, on en deduit
que T
K
est bien ` a image dense, ce qui donne (1).
Soit C
T
K
(g) c(, ) ; et comme L
q
T
K
(g) = g, on
a L
q
(g) =
1
g. Ainsi,
1
est une valeur propre de SL(q, , ) et g est une fonction propre associee.
On montre de meme que si C
qy = 0, alors u et v sont liees. Mais ceci est evident, car si u et v netaient pas liees, elles
formeraient une base de lespace des solutions de y
v.
La proposition sapplique par exemple ` a K(x, y) = min(x, y) et `a K(x, y) = e
|xy|
: dans le premier
cas, on prend u(t) = t, v = 1 et q = 0 ; dans le deuxi`eme cas, on prend u(t) = e
t
, v(t) = e
t
et
q = 1. On dit que loperateur T
K
associe ` a un noyau K du type precedent est un operateur de
Sturm-Liouville.
135