Académique Documents
Professionnel Documents
Culture Documents
DE
MATHMATIQUES
PURES
Topologie
Gnrale
Philippe Charpentier
Universit Bordeaux I
Anne universitaire 2000-01
P HILIPPE C HARPENTIER
U NIVERSIT B ORDEAUX I
L ABORATOIRE DE MATHMATIQUES P URES
351, C OURS DE LA L IBRATION , 33405 TALENCE
Adresse lectronique: Philippe.Charpentier@math.u-bordeaux.fr
Introduction
Ce
P olycopi a t ralis durant lanne universitaire 2000-2001 alors que jenseignais les certificats
de Licence LA1 et LA2. Jai choisi de faire une prsentation assez exhaustive (donc ne correspondant pas toujours exactement au contenu des programmes officiels de la Licence de Bordeaux)
pour prparer aux complments de topologie du certificat dAnalyse Fonctionnelle de Matrise
affin dviter au maximum les trous que jai pu constater en travaillant la prparation de
loral de lagrgation.
La prsentation tche toujours de dgager en premier les concepts gnraux mme si on ne
les utilise que dans des cas particuliers. Cest ainsi que, par exemple toutes les notions topologiques que lon doit introduire lors
de ltude des espaces mtriques sont dfinies dans le cadre gnral des espaces topologiques ; cela permet de bien distinguer les
notions de nature topologique de celles de nature mtrique. Ceci amne videmment rajouter un certain nombre de dfinitions
concernant les espaces topologiques. Dans le chapitre sur les espaces mtriques, seul le thorme dAscoli t rajout.
Dans le mme tat desprit, pour que la notion de srie, et de srie multiple, dans un espace norm soit bien comprise, jintroduis celle de famille sommable et je dcris prcisment les liens qui existent entre les deux notions. Cette notion permet de plus
p
dtudier les espaces fondamentaux lI (E) et c0 (E) ainsi que de traiter, en toute gnralit, la thorie des espaces de Hilbert. Dans
le chapitre sur les espaces norms, par rapport au programme officiel, jai rajout les thormes classiques lis au thorme de
Baire (Sous-section III.4.3, page 61) et le thorme de Hahn-Banach (Sous-section III.4.4, page 62). Pour des raisons de cohrence,
je considre que ce dernier thorme doit tre enseign en Licence. En annexe, jai dvelopp les notions de thorie des ensembles
relatives laxiome du choix, au lemme de Zorn (utile pour le thorme de Hahn-Banach) et la cardinalit des ensembles. A
titre de rfrence, citons les ouvrages suivants qui ont inspir bien des points : [Die68], [Rud70], [DS67]. Pour la partie thorie des
ensembles, les courageux pouront consulter [Bou67].
Les exercices des fins de chapitre sont ds Grard Galusinski.
Philippe Charpentier
iii
Introduction
iii
vi
1
1
3
4
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
7
7
9
12
13
13
14
16
17
18
18
20
21
23
23
26
27
28
29
30
30
33
36
37
38
41
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
51
51
54
54
54
56
57
58
59
59
60
61
62
64
65
66
66
68
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
CHAPITRE IV. Espaces de Hilbert
IV.1. Formes hermitiennes . . . . . . . . . . . . . . . . . . . . . . . .
IV.1.1. Gnralits . . . . . . . . . . . . . . . . . . . . . . . . . .
IV.1.2. Formes hermitiennes positives . . . . . . . . . . . . . . .
IV.1.3. Exemples de formes hermitiennes . . . . . . . . . . . . .
IV.2. Espaces prhilbertiens et Hilbertiens . . . . . . . . . . . . . . .
IV.3. Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
IV.4. Projection sur un sous-ensemble convexe . . . . . . . . . . . . .
IV.4.1. Projection sur un convexe spar et complet . . . . . . . .
IV.4.2. Projection sur un cne convexe spar et complet . . . . .
IV.4.3. Projection sur un sous-espace vectoriel spar et complet
IV.4.4. Dual dun espace de Hilbert . . . . . . . . . . . . . . . . .
IV.4.5. Sous-espaces orthogonaux supplmentaires . . . . . . . .
IV.5. Sommes hilbertiennes et bases hilbertiennes . . . . . . . . . . .
IV.5.1. Somme hilbertienne externe despaces de Hilbert . . . . .
IV.5.2. Somme hilbertienne de sous-espaces orthogonaux . . . .
IV.5.3. Familles orthonormales et bases hilbertiennes . . . . . . .
IV.5.4. Orthonormalisation, existence des bases hilbertiennes . .
IV.5.5. Exemples de bases hilbertiennes . . . . . . . . . . . . . .
Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
73
73
73
74
75
75
76
76
76
78
78
79
80
81
81
82
83
84
85
85
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
89
89
89
91
92
92
93
94
94
96
97
97
98
99
99
101
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
103
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
105
105
106
107
109
115
Index Terminologique
117
Bibliographie
121
vi
C HAPITRE I
LES NOMBRES
RELS
SECTION I.1
Une construction de R
Rappelons tout dabord que lon appelle suite de Cauchy de rationnels une suite (xn ) de rationnels telle que > 0, il existe
P ROPOSITION I.1.1.
Soit C = {x = (xn )n0 QN t.q. x est de Cauchy dans Q}. Alors C est un anneau commutatif unitaire non
intgre pour les oprations
(xn ) = ( xn ).
P ROPOSITION I.1.2.
Soit Z = {e
x C t.q. lim xn = 0}. Alors Z est un idal et un sous-espace vectoriel de C et le quotient C /Z
n
est donc un anneau commutatif unitaire et un espace vectoriel sur Q. Par dfinition ce quotient est appel
lensemble des nombres rels et est not R.
Remarque I.1.1. Les proprits suivantes sont des consquences immdiates de la dfinition de R :
1. Les lments de R sont des classes dquivalence de suites de rationnels : si x R, et si x appartient la classe dquivalence
de x, alors x = x + Z .
2. Pour tout Q, soit = (n ) C dfinie par n = , n N. Alors lapplication i : 7 + Z de Q dans R est un
homomorphisme danneau injectif. On identifie alors Q et i(Q) et, par abus de langage, on dit que Q est inclus dans R.
3. Si (xn ) est une suite de rationnels qui converge, dans Q, vers r Q, alors (xn ) + Z = r dans R.
T HORME I.1.1.
R est un corps commutatif.
L EMME . Soit x R, x 6= 0. Il existe r > 0, r Q tel que, si (xn ) est une suite de rationnels appartenant la classe dquivalence x,
alors il existe n0 N tels que, pour n n0 , on a | xn |> r.
1
1 | x p xq | ,
x p xq
r2
x.
1
, pour n n0 , est une suite de Cauchy dans Q. Alors, clairement y + Z est linverse de
xn
R hrite aisment de lordre dfini sur Q. En effet, on dira que x R est strictement positif si il existe une suite (xn ) dans la
classe de x telle quil existe un entier n0 et un rationnel a > 0 tels que, pour n n0 , on a xn > a > 0. Pour deux lments x et y de R
on dfinit alors la relation x y (ou x < y) par y x 0 (ou y x > 0). Le lemme du Thorme I.1.1 montre que cet ordre est total :
P ROPOSITION I.1.3.
R est un corps totalement ordonn et archimdien.
Le fait que R est archimdien rsulte de la mme proprit pour Q, et on vrifie sans difficults que lordre est compatible avec
la structure de corps (i.e. a b et c d implique a + c b + d , et, a b et c 0 implique ac bc).
De la mme manire on dfinit la valeur absolue en posant, pour x R : | x |= max(x, x). Puis on dfinit les suites convergentes
de nombres rels comme dhabitude en utilisant la valeur absolue.
T HORME I.1.2.
Q est dense dans R i.e. x R, > 0, R, Q]x , x + [6= 0/ , o ]x , x + [ dsigne lensemble des
nombres rels strictement compris entre x et x + .
Dmonstration. On peut supposer x + > 0 quitte changer x en x. Puisque R est archimdien, il existe n N, n 6= 0, tel
que n > 1/2 . Pour la mme raison, lensemble des entiers strictement positifs plus grands que n(x + ) est non vide et admet
m
m1
m1
< x + < . Alors on a
> x car, dans le cas contraire, on aurait
n
n
n
m1
m m1 1
2 = (x + ) (x )
= ce qui contredit la dfinition de n, et un rationnel cherch est
.
n
n
n
n
donc un plus petit lment m qui vrifie donc
T HORME I.1.3.
1. Une suite de nombres rels est convergente dans R si et seulement si elle est de Cauchy. On dit que R est
complet.
\
2. Soit ([an , bn ]) une suite dintervalles ferms embots de R. Alors
[an , bn ] est un intervalle ferm non
nN
vide. De plus, si limn bn an = 0, cette intersection est rduite un point (axiome des segments embots).
Dmonstration. Remarquons tout dabord que le 2. rsulte aisment du 1. : en effet, comme la suite (an ) (resp. (bn )) est croissante
(resp. dcroissante) et majore (resp. minore) on voit facilement quelle est de Cauchy ; donc les limites lim an et lim bn existent,
n
n
\
et, si on les note respectivement a et b on a clairement
[an , bn ] = [a, b].
nN
Dmontrons donc le 1. Comme il est clair que toute suite convergente est de Cauchy, supposons que (xn ) soit une suite de
Cauchy dans R et montrons quelle est convergente. Soit (n ) une suite de rels strictement positifs qui converge vers 0. Daprs le
Thorme I.1.2, pour tout n il existe n Q tel que | xn n |< n . Clairement (n ) est une suite de Cauchy dans Q et dfinit donc
un rel x. Pour conclure, il suffit de voir que lim n = x ce qui rsulte du lemme suivant :
n
L EMME . Soit un nombre rel et (n ) une suite de rationnels de la classe dquivalence de . Alors la suite (n ) converge vers
dans R.
Dmonstration. En effet, il faut voir que > 0, n0 tel que, pour n n0 , on a | n |< . Vrifions par exemple que n < ,
pour n n0 . Pour cela, il faut montrer quil existe (m ) et (m ) dans les classes respectives de et , m0 et a < 0 tels que, pour
m m0 (et n n0 ) on a m n m < a. Comme (m ) est de Cauchy et > 0, il suffit clairement de prendre m = m .
C OROLLAIRE 1.
R nest pas dnombrable.
Dmonstration. Montrons que lintervalle [0, 1] nest pas dnombrable. Sil ltait, on aurait [0; 1] = {x1 , x2 , . . . , xn , . . .}. Coupons
[0, 1] en trois intervalles ferms de mme longueurs I11 , I12 , I13 . Lun de ces intervalles, I1 , est tel que x1
/ I1 . Coupons ensuite I1 en
trois segments gaux et choisissons I2 un qui ne contient pas x2 . En recommenant de mme avec I2 et ainsi
\de suite, on construit
une suite dintervalles ferms embots In dont le diamtre tend vers zro et daprs le Thorme I.1.3, on a In = {x}. Clairement
n
C OROLLAIRE 2.
R \ Q est dense dans R.
Dmonstration. Ceci rsulte de la densit de Q dans R (Thorme I.1.2) et du fait que, par le corollaire prcdent, R \ Q nest pas
vide (daprs la Proposition B.2.1, page 112, Q est dnombrable), car si R \ Q, + Q R \ Q.
Rappelons maintenant que si A est une partie de R, on appelle borne suprieure de A (resp. borne infrieure de A) le plus petit
(sil existe) (resp. le plus grand) des majorants (resp. minorants) de A et on le note sup A (resp. inf A). En dautres termes, a = sup A
si et seulement si x A, x a et, > 0, x A tel que a < x a.
T HORME I.1.4.
Toute partie non vide majore de R admet une borne suprieure (et de mme pour les parties non vides minores avec la borne infrieure).
Dmonstration. En effet, soient A une partie non vide majore de R, a1 A et m1 un majorant de A. Posons I1 = [a1 , m1 ]. Soit b
le milieu du segment [a1 , m1 ]. Si b est un majorant de A, on pose I2 = [a1 , m2 ], avec m2 = b ; sinon cela signifie quil existe a2 A
tel que b < a2 m1 et on pose I2 = [a2 , m1 ]. Puis on recommence le mme procd en remplaant I1 par I2 , et ainsi
de suite. On
\
construit ainsi une suite de segments embots In dont le diamtre tend vers zro. Daprs le Thorme I.1.3, on a In = {x}. On
n
= R {, +}.
Notation I.1.1. On note R
SECTION I.2
.
des valeurs dadhrence de la suite (xn ) dans R et V (xn ) le mme ensemble dans R
On dit quune suite de nombres rels (xn ) est borne sil existe deux rels a et b tels que, n N, a xn b.
An et M le borne suprieure de A,
Dfinition I.2.1.
Soit (xn ) une suite de nombres rels. La borne suprieure (resp. infrieure) de V (xn ) sappelle la limite suprieure (resp. infrieure) de la suite (xn ) et se note lim xn (resp. lim xn ) ou lim sup xn (resp. lim inf xn ).
n
Philippe Charpentier
Remarque I.2.2. (xn ) tant une suite de nombres rels, lim xn V (xn ) et lim xn V (xn ).
n
n
Exercices
Exercice I.1 (Structure des groupes additifs de R).
Soit G un sous groupe additif de R non rduit {0} et A = {x G, x > 0}.
1. Montrer que si a = inf A > 0, alors a A et G = aZ.
2. Montrer que si inf A = 0, alors G est dense dans R.
3. Soit f : R R une fonction continue priodique non constante. Montrer que f admet une plus petite priode non nulle.
4. Soit un rel nappartenant pas 2Q. Montrer, en considrant lensemble {n + 2p; (n, p) Z2 }, que X = {cos n; n
Z} est dense dans R.
Exercice I.2.
1. Soit f : R R, une application croissante telle que :
xn
10n .
n1
(b) Montrer quune telle suite (xn ) est unique si lon ajoute la condition que lensemble {n N | xn 6= 9} est infini.
2. Une autre preuve de la non dnombrabilit de R :
Supposons quil existe une bijection : N [0, 1[ et dsignons par bn le n-ime terme du dveloppement dcimal propre
de (n). Choisissons pour tout entier n N un nombre xn de lensemble {0, . . . , 8} avec xn 6= bn et soit x le rel dont le
dveloppement dcimal est 0, x1 x2 . . . xn . . .. Que peut on penser de x ?
Exercice I.4.
1. Montrer que toute srie absolument convergente de nombres rels est convergente.
2. Montrer que la srie
n0
1
1
1
1
1
++ < l < 1+ ++ + .
1!
n!
1!
n! n!
n0
Exercice I.5.
Soit (un ) une suite numrique et l un nombre rel. Exprimer, laide de la notion de sous suite, la proprit :
la suite (un ) ne tend pas vers l .
Exercice I.6.
1. Dmontrer quune suite borne converge si et seulement si ses limite suprieure et infrieure sont gales.
EXERCICES
sont les valeurs dadhrence de la suite (xn ) ? Dterminer la limite suprieure de la suite (ann )n>0 o an = (1 +
(1)n n2
) .
n
Exercice I.8.
1. Dmontrer la rgle de Cauchy :
Soit (un ) une suite de nombres rels ou complexes, et soit :
1
Exercice I.9.
Soit x = (xn ) une suite relle borne telle que la suite (xn2 + 2xn ) converge vers une limite l .
1. Soit une valeur dadhrence de la suite (xn ). Montrer que l 2 est une autre valeur dadhrence de la suite (xn ).
2. Itrer le procd prcdent et prouver que la suite (xn ) converge.
Exercice I.10.
Soit I un intervalle ouvert de R et f une application croissante de I dans R. Montrer que f admet une limite droite et gauche en
tout point de I .
Philippe Charpentier
C HAPITRE II
ESPACES
MTRIQUES
A ns ce chapitre, on pose les bases de lanalyse : les notions despace topologique et despace mtrique sont constam-
ment utilises en analyse. On a choisi de ne traiter en dtails que les espaces mtriques. Nanmoins, tout espace
mtrique tant un espace topologique, on a dcid de donner, part, la dfinition despace topologique ainsi que
les principales terminologies qui lui sont attaches. Dans tout le cours qui suit, on pourra ainsi distinguer, dans
ltude des espaces mtriques, ce qui rsulte de la structure despace topologique sous-jacente et ce qui rsulte de la structure mtrique. De plus, en analyse fonctionnelle, on est amen, de faon quasi ncessaire, considrer certains espaces topologiques qui
ne sont pas des espaces mtriques : par exemple la topologie de la convergence simple (c.f. Exemple II.6.1, page 22) est fortement
utilise dans ltude des espaces de formes linaires.
SECTION II.1
Vocabulaire topologique
Dans cette section, on donne la dfinition despace topologique ainsi que lessentiel du vocabulaire topologique de base.
Dfinition II.1.1.
On appelle espace topologique un ensemble E muni dune partie T de lensemble P(E) des parties de E
vrifiant les proprits suivantes :
1. 0/ et E appartiennent T ;
2. Toute runion dlments de T est un lment de T ;
3. toute intersection finie dlments de T est un lment de T .
Les lments de T sont appels les ouverts de lespace topologique E . De plus les complmentaires de
ouverts de E sont appels les ferms de E . T est parfois appele la topologie de E .
On notera donc que toute intersection de ferms est un ferm et que toute runion finie de ferms est un ferm et que E et 0/
sont des ferms (une partie de E peut tre la fois ouverte et ferme).
Exemple II.1.1 (Lespace topologique R). Une partie U de R est dite ouverte si, x U , il existe > 0 tel que lintervalle ouvert
]x , x + [ est contenu dans U . Il est bien clair que ceci dfini une topologie sur R.
Dfinition II.1.2.
Soit E un espace topologique. Soit A une partie de E.
1. On appelle adhrence de A lintersection de tous les ferms contenant A (elle existe puisque E est un
7
ferm qui contient A) et on la note A . A est un ferm et les lments de A sont appels les points adhrents
A.
2. On appelle intrieur de A la runion de tous les ouverts contenus dans A (elle existe, puisque 0/ est
ouvert, mais peut tre vide) et on la note A . A est un ouvert et les lments de A sont appels les points
intrieurs de A.
3. Lensemble A \ A est appel la frontire de A et se note gnralement Fr(A).
4. Un point a de A est dit isol (dans A) sil existe un voisinage V de a tel que V A = {a}.
Dfinition II.1.3.
Soit E un espace topologique. On dit quune partie A de E est un voisinage dun point x E sil existe
un ouvert O contenant x et contenu dans A. En particulier x A est intrieur A si et seulement si A est un
voisinage de x et A est ouvert si et seulement sil est un voisinage de chacun de ses points. Plus gnralement,
si A est une partie de E on appelle voisinage de A toute partie de E contenant un ouvert contenant A.
Exemple II.1.2. Dans lespace topologique R, un voisinage de x est une partie de R qui contient un intervalle ouvert de la
forme ]x , x + [, > 0.
Dfinition II.1.4.
Un espace topologique E est dit spar si tant donns deux points distincts x et y de E , il existe un voisinage
Vx de x et un voisinage Vy de y tels que Vx Vy = 0/ .
P ROPOSITION II.1.1.
Soient E un espace topologique et A une partie de E .
1. Un point x de E est adhrent A si et seulement si tout voisinage de x rencontre A.
2. Supposons que A soit infinie. On dit que x E est un point daccumulation de A si tout voisinage de x
contient une infinit de points de A (ce qui implique en particulier x A ).
Dmonstration. En effet, dans le cas contraire il existe un ouvert O contenant x et ne rencontrant pas A. Alors le complmentaire
de O est un ferm contenant A et ne contenant pas x.
P ROPOSITION II.1.2.
Soient E un espace topologique et A une partie de E . Alors E \ A = E \ A.
Dmonstration. En effet, si x nappartient pas A alors tout ouvert O contenant x rencontre le complmentaire de A.
P ROPOSITION II.1.3.
Soient E un espace topologique et A et B deux parties de E . Alors :
1. Si A B, A B et A B ;
2. A B = A B et A
B = A B .
Dmonstration. Montrons par exemple la premire galit du 2. Linclusion A B A B provient du 1. ; dautre part A B A B
ce qui donne linclusion inverse.
Dfinition II.1.5.
Soient E un espace topologique et A B deux parties de E . On dit que A est dense dans B si A B.
Dfinition II.1.6.
Un espace topologique E est dit sparable sil contient un sous-ensemble dense dans E dnombrable.
Exemple II.1.3. Comme nous lavons dj vu Q est dense dans R, ce qui fait que R est sparable.
Dfinition II.1.7.
Soient E un espace topologique et A une partie de E .
1. On dit que A est rare si lintrieur de son adhrence est vide ou, ce qui revient au mme, que lintrieur
de E \ A est dense.
2. On dit que A est maigre si elle est contenue dans une runion dnombrable densembles rares (i.e. si
elle est contenue dans une runion dnombrable de ferms dintrieurs vides).
Exemple II.1.4. Dans R tout ensemble fini est rare. De mme lensemble des points dune suite convergente est rare. Par contre
un ensemble dnombrable nest pas rare en gnral : Q nest pas rare puisquil est dense dans R. Q est toutefois maigre puisque
dnombrable. Par contre, R \ Q nest pas maigre : cest une consquence immdiate du Thorme de Baire ( page 25).
P ROPOSITION II.1.4.
Soit E un espace topologique et soit A une partie de E . Soit T1 = {A O, O T }. Alors A muni de T1 est un
espace topologique. T1 est appele la topologie induite par celle de E et on parle du sous-espace topologique
A de E.
La vrification de la proposition ci-dessus est immdiate.
Dfinition II.1.8.
Soit E un espace topologique, T la topologie de E .
1. On dit quune partie B de T est une base pour la topologie de E si tout ouvert de E est runion
dlments de B .
2. Soit x un lment de E . Soit V une famille de voisinages de x. On dit que V est une base de voisinages
de x si tout voisinage de x contient un lment de la famille V .
En particulier, la famille des ouverts contenant x est une base de voisinages de x.
Dfinition II.1.9.
Soient E un espace topologique de topologie T , et R une relation dquivalence sur lensemble E . Soient
E/R lensemble quotient de lensemble E par la relation R et la surjection canonique de E sur E/R .
1. Lensemble T /R = {O E/R tels que 1 (O) T } est une topologie sur E/R appele la topologie
quotient de T par R . On appelle espace topologique quotient de E par R , lensemble quotient E/R muni
de la topologie quotient T /R .
2. On dit que R est une relation ferme (resp. ouverte) si O T (resp F ferm pour , T ), (O) (resp.
(F)) est ouvert (resp. ferm) pour T /R .
Remarque II.1.2. Il se peut quun espace topologique E soit spar sans que lespace topologique quotient E/R le soit.
SECTION II.2
Philippe Charpentier
Remarque II.2.1. Une application d : E E R possdant les proprits 1. 3. et 4. de la dfinition ci-dessus, la proprit 2.
tant remplace par x E , d(x, x) = 0 (i.e. la rciproque ntant pas ncssairement vrifie) sappelle un cart sur E .
Comme application quasi-immdiate de lingalit triangulaire, on peut noter lingalit souvent utile suivante :
P ROPOSITION II.2.1.
Soient E un espace mtrique (de distance d ) et x, y, z trois points de E . Alors | d(x, z) d(y, z) | d(x, y).
Dfinition II.2.2.
Soit E un espace mtrique.
1. Soient A et B deux parties non vides de E . On appelle distance de A B le nombre rel positif, not
d(A, B), dfini par d(A, B) = inf d(x, y) ;
xA,yB
2. Soit A une partie non vide de E . On appelle diamtre de A le nombre rel positif, not (A), dfini par
(A) = sup d(x, y) ; on dit que A est born si son diamtre est fini.
xA,yA
Remarque II.2.2. Si A = {x} on note simplement d({x}, B) = d(x, B). De plus on vrifie aisment que d(A, B) = inf d(x, B).
xA
P ROPOSITION II.2.2.
Soient E un espace mtrique, A une partie non vide de E et x et y deux points de E . Alors | d(x, A) d(y, A) |
d(x, y).
Dmonstration. En effet, par lingalit triangulaire, d(x, A) = inf d(x, z) d(x, y) + inf d(y, z) = d(x, y) + d(y, A), lautre ingalit
zA
zA
P ROPOSITION II.2.3.
Soient E un espace mtrique et A et B deux parties bornes de E . Alors A B est borne et (A B) d(A, B) +
(A) + (B).
Dmonstration. En effet, on peut supposer (A B) > max( (A), (B)) ce qui implique (A B) =
b B et x A et y B, on a, par lingalit triangulaire, d(x, y) d(x, a) + d(a, b) + d(b, y), ce qui donne d(x, y) (A) + d(a, b) +
(B), donc, (A B) d(a, b) + (A) + (B) do le rsultat.
Dfinition II.2.3.
Soit E un espace mtrique.
1. On appelle boule ouverte (resp. boule ferme, sphre) de centre x et de rayon r lensemble B(x, r) =
r) = {y E t.q. d(y, x) r}, S(x, r) = {y E t.q. d(y, x) = r} ;
{y E t.q. d(y, x) < r} (resp. B(x,
2. On dit quune partie O de E est ouverte si x O, il existe r > 0 tel que B(x, r) O.
P ROPOSITION II.2.4.
Soit E un espace mtrique. Soit T lensemble des ouverts de E . Alors E muni de T est un espace topologique,
les boules ouvertes forment une base pour la topologie de E et les boules ouvertes centres en un point x une
base de voisinages de x. On dit que T est la topologie dfinie par la distance de E .
Dmonstration. En effet, il est clair quune runion densembles ouverts est ouverte et, si O1 et O2 sont deux ouverts, si x O1 O2 ,
et si B(x, r1 ) O1 et B(x, r2 ) O2 , en posant r = min{r1 , r2 }, on a B(x, r) O1 O2 .
Remarque II.2.3. 1. Les boules ouvertes centres en x et de rayons rationnels (en fait 1/n) forment aussi une base de voisinages
de x. Tout point admet donc une base dnombrable de voisinages.
2. Un espace mtrique est spar (c.f. Dfinition II.1.4, page 8).
3. Soit A une partie dun espace mtrique E . Pour r > 0, soit Vr (A) = {x E t.q. d(x, A) < r}. Alors Vr (A) est un voisinage de A
mais lensemble des Vr (A), r > 0, ne forme pas, en gnral, une base de voisinages de A (voir toutefois Proposition II.8.16, page 35).
Par exemple, dans R2 , si on prend A = R = {(x, 0), x R}, alors
nN
ouvert
B(1/n, 1/n) de B.
nN
Dfinition II.2.4.
On dit quun espace topologique est mtrisable si sa topologie peut tre dfinie par une distance.
Remarque II.2.4. Si d est un cart (Remarque II.2.1, page prcdente) sur un ensemble E , on peut dfinir des boules et des
sphres de la mme manire que ci-dessus pour une distance, puis une topologie sur E , comme dans la Proposition prcdente,
qui nest, priori, pas spare. On obtient ainsi un espace semi-mtrique que lon appelle, par abus de langage, un espace
mtrique. Bien que nous ne considrerons pas, pour la thorie, de tels espaces dans ce chapitre, il peut arriver, dans les exemples
et dans les chapitres qui suivent, que lon fasse appel cette notion.
P ROPOSITION II.2.5.
d(x, y) r
, lingalit triangulaire montre que
2
P ROPOSITION II.2.6.
Soit E un espace mtrique.
1. Soit A une partie de E . Alors un point x de E est adhrent A si et seulement si d(x, A) = 0.
2. Tout ferm est lintersection dune suite dcroissante densembles ouverts, et tout ouvert est runion
dune suite croissante de ferms. Plus prcisment, si F est ferm on a
\
\
F=
V1/n (F) =
nN
Vr (F)
r>0
P ROPOSITION II.2.7.
Pour quun espace mtrique E soit sparable, il faut et il suffit quil existe une base dnombrable pour sa
topologie.
Dmonstration. La condition est clairement suffisante car si (On ) est une telle base et si an On , n, alors {an } est clairement
dense dans E . Inversement, supposons que E soit sparable et soit {an } un sous-ensemble dense dnombrable. Montrons que la
famille douverts {B(an , 1/m)}nN,mN est une base pour la topologie de E . Pour cela il suffit de voir que tout boule B(x, r), r > 0,
contient un lment B(an , 1/m) de la famille tel que x B(an , 1/m). Puisque {an } est dense dans E , pour tout p N , il existe n p
tel que an p B(x, r/p), . Alors, si p est assez grand, on peut trouver m tel que la boule B(an p , 1/m), avec 1/p < 1/m < r/2, rponde
la question.
Dfinition II.2.5.
Soient E un ensemble et d1 et d2 deux distances sur E .
1. On dit que d1 et d2 sont topologiquement quivalentes si les topologies quelles dfinissent sur E sont
les mmes.
2. On dit que d1 et d2 sont quivalentes sil existe deux constantes c > 0 et C > 0 telles que cd1 d2 Cd1 .
On notera que, clairement, deux distances quivalentes sont topologiquement quivalentes. Par contre la rciproque est en
gnral fausse.
P ROPOSITION II.2.8.
Soient E un espace mtrique et E1 un sous-ensemble de E . Soit d1 la restriction E1 E1 de la distance de E .
Alors d1 est une distance sur E1 et la topologie dfinie par d1 sur E1 est la topologie induite par celle de E . On
parle alors du sous-espace mtrique E1 .
Philippe Charpentier
11
SECTION II.3
Exemples
1. La fonction (x, y) | x y | est une distance sur R.
n
(xi yi )
!1/2
i=1
n
1 p < , (x, y)
| xi yi | p
!1/p
i=1
1 1
+ = 1. Alors on a (Ingalit de
p q
Hlder) :
n
ai bi
!1/p
ni=1 ci di
ni=1 ci
n
i=1
!1/q
(II.3.1)
i=1
q
ci di ci
bi
i=1
i=1
ai
1/p
q1
1
ni=1 ci di
n c , ce qui donne, puisque q = p ,
i=1 i
!1/q
n
ci di
i=1
bi
ai
(ai + bi )
!1/p
!1/p
p
bi
!1/p
(II.3.2)
i=1
i=1
i=1
p
ai
n
n
n
1 1
+ = 1, en crivant (ai + bi ) p = (ai + bi ) p1 ai + (ai + bi ) p1 bi , (II.3.1) donne
p q
i=1
i=1
i=1
!
!
!
n
1/q
i=1
i=1
1/p
aip
i=1
1/p
bip
i=1
1
1
= .
q
p
Plus gnralement encore, on note l p (C) (resp. l p (R) ) lensemble des suites (xn )nN de nombres complexes (resp. rels)
telles que
|xn |
!1/p
< +
n=0
si 1 p < +, et sup |xn | < + si p = +. Sur ces ensembles, les fonctions ((xn ), (yn )) 7
nN
|xn yn |
!1/p
n=0
sont des distances, ce qui se dduit immdiatement de (II.3.2) pour 1 p < + et est vident pour p = +.
2. Soient A un ensemble et E un espace mtrique. Soit F (A; E) lensemble des fonctions de A dans E . Alors
est une distance sur F (A; E) appele la distance de la convergence uniforme sur A et F (A; E) muni de cette distance se
note gnralement Fu (A; E).
12
nN
3. Soit A un ensemble et F = B(A; E) lensemble des fonctions bornes de A dans un espace mtrique E . Alors
dfinit sur F une distance presque quivalente la distance de la convergence uniforme sur A, dans le sens o elle est
gale la distance de la convergence uniforme sur A sur toute partie de diamtre plus petit que 1 et quivalente la distance
de la convergence uniforme sur A sur toute partie borne. On note cet espace Bu (A; E).
4. Soient A un ensemble, E un espace mtrique
et F (A; E) lensemble des fonctions de A dans E . Soit P = (An ) une famille
[
dnombrable de parties de A telle que
An = A. Pour chaque n, soit
nN
la distance de la convergence uniforme sur An (ce nest pas ncessairement une distance sur F (A; E), mais, priori, seulement un cart). Alors
du ( f , g) =
1 dn ( f , g)
n 1 + d ( f , g)
2
n
nN
est une distance sur F (A; E) appele la distance de la convergence uniforme sur les An . Une suite de fonctions converge
pour cette distance si et seulement si elle converge uniformment sur chaque An .
5. Soit I = [a, b] un segment de R et soit C 1 (I; C) lensemble des fonctions continment drivables sur I . Alors
Z
| f (t) g(t) |2 dt
1/2
Z b
| f (t) g(t) | dt
7. Soit E un ensemble. Posons d(x, y) = 1 si x 6= y et d(x, x) = 0. Alors d est une distance sur E et lespace mtrique obtenu est
1) = E .
appel un espace mtrique discret. On notera que, pour cet espace, on a {x} = B(x, 1) = B(x, 1) alors que B(x,
8. Soit p un nombre premier. Pour tout entier n > 0, soit v p (n) lexposant de p dans la dcomposition de n, en facteurs premiers.
Clairement on a
v p (nn0 ) = v p (n) + v p (n0 ), n, n0 > 0.
(II.3.3)
Si x = r/s est un nombre rationnel non nul, r et s entiers > 0, on pose v p (x) = v p (r) v p (s), ce qui ne dpend pas de la
reprsentation de x daprs (II.3.3). De mme, on voit que (II.3.3) est vraie pour des rationnels non nuls. On pose alors, pour
x et y rationnels
d(x, y) = pv p (xy) si x 6= y,
d(x, x) = 0.
Alors d(., .) est une distance sur Q appele la distance p-adique. De plus elle vrifie lingalit
(II.3.4)
(II.3.5)
Les distances vrifiant lingalit (II.3.5) sont dites ultramtriques. Pour un espace ultramtrique toute boule est la fois
ouverte et ferme et ladhrence dune boule ouverte est donc diffrente, en gnral, de la boule ferme.
SECTION II.4
Philippe Charpentier
13
Remarque II.4.1. On peut naturellement donner une dfinition semblable dans un espace topologique quelconque. Mais la
notion ainsi dfinie na, en gnral, pas beaucoup dintrt.
De la dfinition on dduit immdiatement les proprits suivantes :
P ROPOSITION II.4.1.
Soit E un espace mtrique.
1. Pour quune suite (xn ) dans E converge vers x il faut et il suffit que, > 0, n0 N tel que n n0
implique d(x, xn ) < . Il revient au mme de dire que lim d(x, xn ) = 0.
n
2. Soit (xn ) une suite dans E . Si x = lim xn alors pour toute suite (xnk ) extraite de la suite (xn ) on a
n
x = lim xnk .
k
Dfinition II.4.2.
Soit (xn ) une suite dans un espace mtrique E . On dit que x E est une valeur dadhrence de la suite (xn )
sil existe une suite extraite (xnk ) telle que x = lim xnk . Lensemble des valeurs dadhrence de (xn ) est parfois
k
not V (xn ).
Si une suite (xn ) converge vers x alors x est lunique valeur dadhrence de (xn ). Mais la rciproque nest pas vraie ; par exemple,
dans R la suite dfinie par x2n = 1, x2n+1 = n a 1 comme unique valeur dadhrence et ne converge pas.
P ROPOSITION II.4.2.
Soit (xn ) une suite dans un espace mtrique E . Soit x E . Les conditions suivantes sont quivalentes :
1. x est valeur dadhrence de (xn ) ;
2. Pour tout voisinage V de x et tout entier m N, il existe un entier n m tel que xn V ;
3. Pour tout > 0, et tout entier m N, il existe un entier n m tel que d(x, xn ) < .
Cette proposition est vidente.
P ROPOSITION II.4.3.
Soient E un espace mtrique et A une partie de E . Soit a E . Les conditions suivantes sont quivalentes :
1. a A ;
2. a est valeur dadhrence dune suite de points de A ;
3. a est limite dune suite de points de A.
Dmonstration. Vrifions simplement que 1. implique 3. : par hypothse, pour tout n N , il existe an A tel que an B(a, 1/n).
Alors la suite (an ) rpond la question.
P ROPOSITION II.4.4.
Soit (xn ) une suite dans espace mtrique E . Soit A = {xn , n N}. Si A est infini et si x est point daccumulation
de A alors x est valeur dadhrence de la suite (xn ).
Dmonstration. En effet, ceci se voit en remarquant que, pour tout p N , il existe n p N, aussi grand que lon veut tel que
d(x, xn p ) < 1/p.
On remarquera que la rciproque de cette Proposition nest pas vraie en gnral : une valeur dadhrence dune suite nest pas
ncessairement un point daccumulation de lensemble des points de la suite comme la montre lexemple xn = (1)n .
SOUS-SECTION II.4.2
Fonctions continues
Dfinition II.4.3.
Soient E et E 0 deux espaces topologiques et f une application de E dans E 0 . On dit que f est continue en
x0 E si, pour tout voisinage V 0 de f (x0 ) dans E 0 , il existe un voisinage V de x0 dans E tel que f (V ) V 0 . De
plus, on dit que f est continue si elle est continue en tout point de E .
Il revient au mme de dire que, pour tout voisinage V 0 de f (x0 ) dans E 0 , f 1 (V 0 ) est un voisinage de x0 dans E . Dans le cas des
espaces mtriques, cette dfinition sexprime aisment en termes de distances et de suites :
14
P ROPOSITION II.4.5.
Soient E et E 0 deux espaces mtriques de distances respectives d et d 0 et f une application de E dans E 0 . Alors
les conditions suivantes sont quivalentes :
1. f est continue en x0 E ;
2. > 0, il existe > 0, tel que, d(x0 , x) < implique d 0 ( f (x0 ), f (x)) < ;
3. Pour toute suite (xn ) dans E qui converge vers x0 , la suite ( f (xn )) converge vers f (x0 ) dans E 0 .
Dmonstration. Pour voir que 3. implique les deux autres proprits, on raisonne par labsurde et on contredit facilement, par
exemple, le 2.
La proprit suivante est importante et compltement gnrale :
T HORME II.4.1.
Soient E et E 0 deux espaces topologiques et f une fonction de E dans E 0 . Les conditions suivantes sont quivalentes :
1. f est continue ;
2. Pour tout ouvert O0 de E 0 , f 1 (O0 ) est un ouvert de E ;
3. Pour tout ferm F 0 de E 0 , f 1 (F 0 ) est un ferm de E ;
f (A).
4. pour toute partie A de E f (A)
Dmonstration. Comme un ensemble est ouvert si et seulement si il est voisinage de chacun de ses points (c.f. Dfinition II.1.3),
lquivalence 1. 2. rsulte de la dfinition ; 2. 3. sobtient par passage au complmentaire ; 3. 4. en rsulte aussitt (car
F 0 = F 0 , donc F f 1 (F 0 ) =
f 1 ( f (A)) est un ferm contenant A) ; enfin 4. 3. car si F 0 est ferm, et si F = f 1 (F 0 ), alors f (F)
F.
P ROPOSITION II.4.6.
Soient E , E 0 et E 00 trois espaces topologiques, f : E E 0 et g : E 0 E 00 . Si f est continue en x0 et si g est
continue en f (x0 ) alors g f est continue en x0 . En particulier, si f et g sont continues, g f lest aussi.
Dmonstration. En effet, si W est un voisinage de g f (x0 ) alors (g f )1 (W ) = f 1 (g1 (W )) est un voisinage de x0 par hypothse.
Si E est un espace topologique et si F E est un sous-espace de E , alors linjection i : F E est continue comme le montre la
dfinition de la topologie induite (Dfinition II.1.4, page 9). On en dduit la proprit suivante :
P ROPOSITION II.4.7.
Soient E et E 0 deux espaces topologiques, f : E E 0 une fonction continue en x0 et F un sous-espace de E
contenant x0 . Alors la restriction f|F de f F est continue en x0 .
Naturellement, la restriction f|F dune application f : E E 0 un sous-espace F peut tre continue sans que f soit elle mme
continue aux points de F .
P ROPOSITION II.4.8.
Soient E un espace mtrique et A et B deux parties non vides de E . Si A B = A B = 0/ , il existe deux ouverts
disjoints U et V tels que A U et B V .
Dmonstration. En effet, daprs la Proposition II.2.2, page 10, la fonction g(x) = d(x, A) d(x, B) est continue sur E , strictement
ngative sur A et strictement positive sur B. Il suffit donc de prendre U = g1 (] , 0[) et V = g1 (]0, +[).
Dfinition II.4.4.
Soient E et E 0 deux espaces topologiques et f : E E 0 . On dit que f est un homomorphisme si elle est
bijective et si f et f 1 sont toutes deux continues. De plus, dans ce cas, on dit que les espaces E et E 0 sont
homomorphes.
La proprit suivante rsulte des dfinitions :
P ROPOSITION II.4.9.
Soient E un ensemble et d1 et d2 deux distances sur E . Soient E1 et E2 les espaces mtriques obtenus en munissant E des distances d1 et d2 respectivement. Alors les conditions suivantes sont quivalentes :
1. Les distances d1 et d2 sont topologiquement quivalentes ;
2. Lapplication identique est un homomorphisme de E1 sur E2 ;
Philippe Charpentier
15
3. Pour tout espace topologique F et toute fonction f : E F , les proprits suivantes sont quivalentes :
(a) f : E1 F est continue ;
(b) f : E2 F est continue.
On traduit cette Proposition en disant que deux distances sont topologiquement quivalentes si elle dfinissent les mme
fonctions continues.
La Proposition suivante est une consquence immdiate de la dfinition des topologies quotients :
P ROPOSITION II.4.10.
Soient E un espace topologique et R une relation dquivalence sur lensemble E . Alors la surjection canonique
de E sur E/R est continue de lespace topologique E sur lespace topologique E/R .
SOUS-SECTION II.4.3
Exemple II.4.1. Si A est un sous-ensemble non vide dun espace mtrique E alors x d(x, A) est uniformment continue.
En effet, ceci rsulte de la Proposition II.2.2, page 10.
La proposition suivante est immdiate :
P ROPOSITION II.4.11.
La compose de deux fonctions uniformment continues est uniformment continue.
Dfinition II.4.6.
Soient E1 et E2 deux espaces mtriques de distances respectives d1 et d2 . On dit quune application f : E1
E2 est une isomtrie si, x, y E , on a d( f (y), f (y)) = d(x, y). Dans ce cas, et si f est surjective, on dit que
les espaces E1 et E2 sont isomtriques.
Une isomtrie bijective est naturellement un homomorphisme uniformment continu ainsi que son inverse.
La Proposition suivante est immdiate :
P ROPOSITION II.4.12.
Soient E un ensemble et d1 et d2 deux distances sur E . Si ces distances sont quivalentes, pour tout espace
mtrique F , toute fonction f : E F est uniformment continue pour d1 si et seulement elle est uniformment
continue pour d2 .
On traduit cette Proposition en disant que les fonctions uniformment continues sont les mme pour deux distances quivalentes. On remarquera toutefois que la rciproque de cette proprit nest pas vraie : il se peut que, pour deux distances non
quivalentes les fonctions uniformments continues soient les mme (cest par exemple le cas si d1 est une distance non borne
et que lon considre d2 = min{1, d1 }). En fait ce qui compte ici est ce que lon appelle la structure uniforme de lespace mtrique.
Pour avoir une ide sur cette notion, les plus courageux pouront consuter [Bou65] Chapitre 2.
16
SOUS-SECTION II.4.4
Limites
Dfinition II.4.7.
Soient E et E 0 deux espaces topologiques, A une partie de E , a A tel que V voisinage de a, V A \ {a} =
6 0/ ,
et f une fonction de A dans E . On dit que f a une limite b E 0 lorsque x tend vers a, x A \ {a}, et on crit
b=
f (x),
lim
xa,xA\{a}
si la fonction g : A {a} E 0 dfinie par g(x) = f (x), si x A \ {a}, et, g(a) = b, est continue du sous-espace
topologique A {a} dans E 0 .
On notera que la condition V voisinage de a, V A \ {a} =
6 0/ nest pas ncessaire pour formuler la dfinition, mais, si a
est un point isol de A, la dfinition ne dit rien, et lunicit de la remarque ci-dessous nest plus vraie. Cette condition est donc
suppose satisfaite dans toute la suite.
En termes de voisinages, cette dfinition se traduit comme suit :
P ROPOSITION II.4.13.
tant donn deux espaces topologiques E et E 0 , soient A E , a A , b E 0 et f : E E 0 . Alors
b=
f (x)
lim
xa,xA\{a}
si et seulement si, pour tout voisinage V 0 de b dans E 0 , il existe un voisinage V de a dans E tel que
f ((V A) \ {a}) V 0 .
Remarque II.4.2. 1. Soient E et E 0 des espaces topologiques, a E et f : E E 0 . Pour que f soit continue en a, il faut et il
suffit que
f (a) =
f (x).
lim
xa,xE\{a}
2. Si E 0 est spar, f ne peut avoir quune seule limite lorsque x tend vers a A en restant dans A \ {a}.
3. On peut aussi dfinir lim f (x) pour a A . Si a
/ A, cela ne change rien ; par contre si a A, lexistence de cette limite est
xa,xA
quivalente la continuit en a de f .
Le 2. de la remarque ci-dessus est clair en vertu de la Proposition prcdente et de la Dfinition II.1.4, page 8.
Dans le cas des espaces mtriques, on peut exprimer cette dfinition avec la distance et les suites :
P ROPOSITION II.4.14.
Soient E et E 0 deux espaces mtriques de distances respectives d et d 0 , A E , a A , b E 0 et f : E E 0 . Les
conditions suivantes sont quivalentes :
1. b =
lim
f (x) ;
xa,xA\{a}
2. Pour tout > 0, il existe > 0, tel que x A, x 6= a, d(x, a) < implique d 0 ( f (x), f (a)) < ;
3. Pour toute suite (xn ) dlments de A \ {a} telle que lim xn = a, on a lim f (xn ) = b.
n
Dmonstration. 2. est la traduction de 1. en termes de boules. Lquivalence entre 3. et les deux autres proprits rsulte de la
Proposition II.4.5, page 15.
Les proprits rsumes dans la proposition suivante sont toutes immdiates :
P ROPOSITION II.4.15.
1. Si b =
2. Si
lim
xa,xA\{a}
f : E E0
lim
xa,xA\{a}
g(b) =
3. Si b =
lim
xa,xA\{a}
f (x) et si B A, a B alors b =
g f (x).
lim
f (x).
xa,xB\{a}
Philippe Charpentier
17
De la mme manire que lon a dfini les limites suprieures et infrieures de suites de nombres rels (Dfinition I.2.1, page 3),
:
on peut dfinir les limites suprieures et infrieures dune fonction valeurs dans R
Dfinition II.4.8.
, A E et a un point de E . On appelle limite
Soient E un espace mtrique, f une fonction de E dans R
suprieure (resp. infrieure) de f lorsque x tend vers a en restant dans A le nombre
(resp. lim
xa
xA\{a}
f (x) = sup
inf
sup
r>0 x(B(a,r)\{a})A
xa
xA\{a}
f (x)
f (x)).
r>0 x(B(a,r)\{a})A
P ROPOSITION II.4.16.
, A E et a un point de E . Alors
Soient E un espace mtrique, f une fonction de E dans R
b = lim f (x)
xa
xA\{a}
(resp. b =
xa
xA\{a}
(a) Pour toute suite (xn ) dlments de A \ {a} qui converge vers a on a
lim f (xn ) b
n
(b) Il existe une suite (xn ) dlments de A \ {a} qui converge vers a telle que
lim f (xn ) = b
n
SECTION II.5
Espaces connexes
SOUS-SECTION II.5.1
Connexit
Dfinition II.5.1.
On dit quun espace topologique E est connexe si on ne peut pas le mettre sous la forme E = O1 O2 o O1
et O2 sont deux ouverts disjoints non vides. Une partie A de E est dite connexe si lespace topologique (pour
la topologie induite) A lest.
On ferra attention au fait que, pour une partie, la connexit est une proporit de la topologie induite. Prcisment, si A nest
pas connexe, cela signifie quil existe deux ouverts O1 et O2 de lespace E tels que A O1 6= 0/ , A O2 6= 0/ et A O1 O2 = 0/ , ce qui
nimplique pas O1 O2 = 0/ .
Exemple II.5.1. Dans R, Q nest pas connexe (Q = (Q {x <
On peut mme dire plus : les seules parties de Q qui sont connexes sont les parties rduites un point : Q est totalement
discontinu (c.f. Dfinition II.5.3, page ci-contre).
Par contre :
18
P ROPOSITION II.5.1.
Les connexes de R sont les intervalles.
Dmonstration. Soit A un connexe de R. Si A nest pas un intervalle, il existe trois points x, y et z dans R tels que x < z < y, x et y
dans A et z dans le complmentaire de A. Ceci contredit la connexit de A puisque
A ] , z[]z, +[.
Vrifions maintenant que tout intervalle est connexe. Soit A un intervalle de R. Si A nest pas connexe, il existe deux ouverts Oi ,
i = 1, 2, tels que A Oi 6= 0/ i = 1, 2, et A O1 O2 = 0/ . Soit x un point de A O1 . Par hypothse sur les Oi , on peut, par exemple,
supposer quil existe y A O2 , y > x. Soit alors
P ROPOSITION II.5.2.
Dans un espace topologique toute union dune famille de connexes dont lintersection est non vide est connexe.
Dmonstration. Soit Ci , i I , une telle famille. Supposons
[
Ci = O1 O2 ,
iI
Ci disjoints. Comme chaque Ci est connexe, il est soit contenu dans O1 soit dans O2 . Comme ils ont tous
iI
un point en commun, ils sont tous contenus soit dans O1 soit dans O2 .
P ROPOSITION II.5.3.
Soit A une partie connexe dun espace topologique E . Tout ensemble B tel que A B A est connexe.
Dmonstration. En effet, supposons B = O1 O2 , les Oi tant des ouverts disjoints de B. Comme A est connexe, on doit avoir, par
exemple, A O1 = 0/ . Ceci qui implique B O1 = 0/ car si x B O1 , O1 est un voisinage de x A donc O1 A 6= 0/ .
P ROPOSITION II.5.4.
Soient E1 et E2 deux espaces topologiques, f une application continue de E1 dans E2 et A une partie connexe
de E1 . Alors f (A) est connexe.
Dmonstration. Cest une consquence immdiate de la dfinition et du Thorme II.4.1, page 15.
La Proposition suivante est souvent trs utile pour montrer quun espace est connexe :
P ROPOSITION II.5.5.
Un espace topologique E est connexe si et seulement si toute application continue de E dans {0, 1} est
constante.
Dmonstration. Ceci est presque immdiat. La ncessit vient du fait que {0} et {1} sont la fois ouverts et ferms dans {0, 1}, et
la suffisance se voit de mme en raisonnant par labsurde.
P ROPOSITION II.5.6.
Soit E un espace topologique. La relation xRy entre lments de E dfinie par il existe une partie connexe
de E qui contient x et y est une relation dquivalence. Les classes dquivalences pour cette relation sont
appeles les composantes connexes de E . La classe dquivalence contenant un lment x de E est la runion
des connexes de E contenant x et sappelle la composante connexe de x. Lorsque lon parle des composantes
connexes dune partie A dun espace topologique E il sagit toujours (sauf mention expresse du contraire) des
composantes connexes de lespace topologique A muni de la topologie induite par celle de E .
Dmonstration. Cette Proposition rsulte de la Proposition II.5.2.
Dfinition II.5.2.
Un espace topologique E est dit totalement discontinu si ses composantes connexes sont toutes rduites
un seul point.
Dfinition II.5.3.
Un espace topologique est dit localement connexe si tout point admet une base de voisinages connexes.
Philippe Charpentier
19
Exemple II.5.2. Rn est un espace mtrique localement connexe (en fait localement connexe par arc c.f. sous-section suivante).
P ROPOSITION II.5.7.
Pour quun espace topologique soit localement connexe il faut et il suffit que les composantes connexes des
ouverts soient ouvertes. En particulier, dans un espace topologique localement connexe, tout point admet une
base de voisinages ouverts connexes.
Dmonstration. La preuve de cette proprit est trs simple. En effet, si E est localement connexe, la conclusion rsulte de la
Proposition II.5.2 car, un point dune composante connexe dun ouvert possde un voisinage connexe contenu dans louvert et ce
voisinage est donc contenu dans la composante. Rciproquement, si V est un voisinage ouvert dun point, la composante connexe
du point dans V est un ouvert connexe contenu dans V .
Remarque II.5.1. Il est clair que la connexit locale nimplique pas la connexit. De mme la connexit nimplique pas la
connexit locale. Par exemple, dans R2 , lensemble constitu du segment [0, 1] de R et de tous les segments {(x, y), y [0, 1], x Q}
est connexe (car il est connexe par arc c.f. sous-section suivante), mais les points qui ne sont pas sur R nont pas de voisinages
connexes.
Voici deux exemples classiques dutilisation de la connexit :
P ROPOSITION II.5.8.
Tout ouvert de R est runion dnombrable dintervalles ouverts deux deux disjoints.
Dmonstration. Soit O un ouvert de R. Comme R est localement connexe, les composantes connexes de O sont ouvertes, et,
comme Q O est dense dans O, les composantes connexes de O sont les composantes connexes des rationnels de O et forment
donc un ensemble dnombrable.
de la Proposition II.5.1.
SOUS-SECTION II.5.2
20
Remarque II.5.2. Comme il a t dit dans la remarque de la sous-section prcdente, la connexit par arc nimplique pas la
locale connexit.
Exemple II.5.3. Soit A le graphe, dans R2 de la fonction x 7 sin(1/x), pour x ]0, 1[. A est videment connexe par arcs, donc
connexe, et par suite (Proposition II.5.3), A est connexe. Or on voit facilement que A est la runion du graphe de la fonction et de
lintervalle [1, 1] de laxe des ordonnes ; on constate alors que A nest pas connexe par arcs (le graphe natteint jamais laxe des
ordonnes).
Cet exemple montre que la rciproque de la proposition ci-dessus est fausse.
P ROPOSITION II.5.11.
Soient E et F deux espaces topologiques, A une partie connexe par arcs de E et f une application continue de
E dans F . Alors f (A) est connexe par arcs.
Cette proposition est immdiate.
P ROPOSITION II.5.12.
Soit E un espace topologique. La relation xRy dfinie entre deux lments de E par il existe un chemin
continu dans E qui joint x y est une relation dquivalence. Les classes pour cette relation sont appeles les
composantes connexes par arcs de E . La classe dquivalence contenant un lment x est appele la composante connexe par arcs de x.
Le fait que, dans cette Proposition, R soit une relation dquivalence se vrifie en utilisant linverse dun chemin continu (i.e.
parcouru dans le sens inverse) et la juxtaposition de deux chemins.
P ROPOSITION II.5.13.
Un ouvert de Rn est connexe si et seulement si il est connexe par arcs.
Dmonstration. En effet, soit O un ouvert connexe de Rn . Soit x0 un point de O, et soit U lensemble des points de O qui peuvent
tre joints par un chemin continu contenu dans O. Toute boule de Rn tant connexe par arcs, U est ouvert ; dautre part, si y U ,
et si y O, alors, pour la mme raison y U . Ceci montre que U est la fois ouvert et ferm dans O ce qui termine la preuve.
SECTION II.6
Soit T la famille de parties de E dfinies comme tant les runions quelconques densembles de la forme
Oi , o Oi est un ouvert de Ei et Oi = Ei sauf pour un nombre fini dindices i. Alors T est une topoloiI
gie sur E appele la topologie produit des topologies des Ei . E muni de cette topologie sappelle lespace
topologique produit des Ei et se note E = Ei .
iI
En effet, la seule chose vrifier est que lintersection de deux ensemble de la forme Oi , o Oi est un ouvert de Ei et Oi = Ei
iI
sauf pour un nombre fini dindices i, est encore de la mme forme, ce qui est vident.
Cette dfinition a pour consquence immdiate la description suivante des voisinages des points pour la topologie produit :
P ROPOSITION II.6.1.
Soient Ei une famille despaces topologiques et E le produit de ceux-ci. Soit x = (xi ) un point de E . Alors les
ensembles de la forme V = Vi o Vi est voisinage de xi et Vi = Ei sauf pour un nombre fini dindices i, forment
iI
Philippe Charpentier
21
Exemple II.6.1. Soient A un ensemble et E un espace topologique. Soit F (A; E) lensemble des applications de A dans E .
Identifions F (A; E) avec E A (i.e. on identifie une fonction avec lensemble des valeurs quelle prend). Alors la topologie produit
sur E A sappelle la topologie de la convergence simple sur F (A; E). Lespace topologique ainsi obtenu se note parfois Fs (A; E).
A titre dexercice, on pourra crire explicitement une base de voisinages dune fonction f pour cette topologie pour comprendre
intuitivement cette terminologie.
Remarque II.6.1. Si E = Ei est le produit des espaces topologiques Ei , on peut considrer les projections canoniques pi (i.e.
iI
Ceci est une consquence facile de la dfinition et du fait que, si W j = Ui avec Ui = E j si i 6= j, Uii = Oi ouvert de Ei , alors
iI
W j = Ui = p1
i (Oi ).
iI
P ROPOSITION II.6.2.
Soient E lespace topologique produit dune famille despaces Ei , F un espace topologique et f une application
de F dans E . Alors f est continue si et seulement si les applications pi f sont continues.
Dmonstration. Ceci sobtient facilement par la remarque ci-dessus et le Thorme II.4.1, page 15.
La topologie produit est en fait dfinie de sorte que cette proposition soit vraie (i.e. la topologie produit est la moins fine rendant
continues les projections).
P ROPOSITION II.6.3.
Soient E1 et E2 deux espaces mtriques de distances respectives d1 et d2 . Alors, sur E1 E2 les trois distances
d 00 (x, y) =
sont quivalentes et dfinissent la topologie produit. E muni de lune de ces distances sappelle lespace mtrique produit de E1 et E2 .
Dmonstration. Le fait que ces distances sont quivalentes est trs simple. Vrifions que d dfinit la topologie produit. Soit x =
(x1 , x2 ) un point de E . Alors, pour d , la boule ouverte de centre x et de rayon r est le produit des boules ouvertes de centres xi et
de rayon r dans chaque Ei . Toute runion de boules ouvertes pour d est donc un ouvert pour la topologie produit et la rciproque
sobtient tout aussi immdiatement.
Un produit infini despaces mtriques nest pas, en gnral un espace mtrique. Toutefois :
P ROPOSITION II.6.4.
Un produit dnombrable despaces mtriques En , n N , est un espace mtrique dont la topologie est dfinie
par la distance d donne par la formule
d(x, y) =
dn (xn , yn )
2n 1 + dn (xn , yn ) ,
nN
P ROPOSITION II.6.5.
Soient E = E1 E2 un espace mtrique produit, F un espace mtrique et f une application de F dans E . Pour
que f soit uniformment continue, il faut et il suffit que les fonctions pi f , i = 1, 2 le soient.
La description faite ci-dessus de la topologie produit montre que, la plupart du temps, pour vrifier une proprit sur un espace
produit il suffit de la vrifier sur chacun des facteurs. La proposition suivante est une liste de telles proprits et la dmonstration
en est laisse au lecteur :
22
P ROPOSITION II.6.6.
Soient E1 et E2 deux espaces mtriques et E leur produit.
1. Pour quune suite zn = (xn , yn ) soit convergente, il faut et il suffit que les suites (xn ) et (yn ) le soient.
2. Pour que E soit un espace de lun des types suivants
- born ;
- sparable,
- connexe,
- localement connexe,
il faut et il suffit que E1 et E2 soient tous deux du mme type.
SECTION II.7
P ROPOSITION II.7.1.
Soit E un espace mtrique.
1. Toute suite convergente dans E est de Cauchy.
2. Si une suite de Cauchy dans E possde une valeur dadhrence alors elle est convergente.
Dmonstration. Le 1. est vident, vrifions le 2. Soit (xn ) de Cauchy et (xnk ) extraite telle que lim xnk = a. Soit > 0 ; il existe donc
k
deux entiers n0 et k0 tels que p, q n0 et k k0 impliquent d(x p , xq ) < et d(xnk , a) < . Si m0 max{n0 , nk0 }, on a alors, pour
n m0 , d(xn a) < 2 .
Dfinition II.7.2.
Un espace mtrique E est dit complet si toute suite de Cauchy de E est convergente.
P ROPOSITION II.7.2.
Soit E un espace mtrique et F un sous-espace. Si F est complet, il est ferm dans E . Si E est complet, F est
ferm si et seulement si il est complet.
Ceci est immdiat.
La proposition suivante se montre directement partir des dfinitions (c.f. Proposition II.6.6, page 23) :
P ROPOSITION II.7.3.
Soient E1 et E2 deux espaces mtriques. Alors lespace mtrique produit E1 E2 est complet si et seulement
si les espaces E1 et E2 sont tous deux complets. De mme, un produit dnombrable despaces mtriques (c.f.
Proposition II.6.4, page prcdente) est complet si et seulement si chaque facteur est complet.
Philippe Charpentier
23
Dfinition II.7.3.
Soient E et E 0 deux espaces mtriques, A E , f : A E 0 . On appelle oscillation de f dans A, et on note
( f ; A), le diamtre de f (A) :
( f ; A) = ( f (A)).
Soit a A . On appelle oscillation de f au point a par rapport A le nombre
( f ; a, A) =
inf
V voisinage de a
( f (V A)).
P ROPOSITION II.7.4.
Soient E et E 0 deux espaces mtriques. On suppose que E 0 est complet. Soient A E et a A . Pour que
lim
f (x)
xa,xA\{a}
existe, il faut et il suffit que loscillation de f au point a par rapport A \ {a} soit nulle, et de mme pour
lim f (x) (c.f. Dfinition II.4.7).
xa,xA
C OROLLAIRE .
Dans les conditions de la Proposition, pour que
lim
xa,xA\{a}
(xn )nN dlments de A, xn 6= a, qui converge vers a, la suite ( f (xn ))nN soit de Cauchy dans E 0 .
Dmonstration. La condition est bien sr ncssaire. Pour voir quelle est suffisante, on raisonne par labsurde : si la limite nexiste
pas, il existe une suite (xn ) dans A \ {a} qui converge vers a telle que la suite ( f (xn )) ne converge pas. Comme E 0 est complet cela
implique que ( f (xn )) nest pas de Cauchy.
lim (Fn ) = 0.
P ROPOSITION II.7.6.
Soit E un espace topologique. Les conditions suivantes sont quivalentes :
(i) Toute intersection dnombrable douverts denses est dense.
(ii) Toute runion dnombrable de ferms dintrieurs vides est dintrieur vide.
(iii) Tout ensemble ouvert non vide est non maigre (Dfinition II.1.7, page 9).
(iv) Le complmentaire dun ensemble maigre est dense.
[
[
(v) Toute suite (Fn )nN de ferms vrifiant
Fn = E est telle que
F n est dense.
nN
nN
Dmonstration. (i) et (ii) sont quivalents par passage au complmentaire, (ii) implique clairement (iii) qui implique tout aussi
facilement (iv). Voyons que (iv) implique (v) : si
[
xE\
F n,
nN
comme il existe n0 tel que x Fn0 , on a x Fr(Fn0 ). Comme Fr(Fn ) est rare, la runion de ces ensembles est maigre, ce qui montre
(v). Reste voir que (v) implique (i). Soit (Un )nN une suite douverts denses. Clairement lhypothse implique que E nest pas
maigre (sil est non vide) et, par suite, la runion des complmentaires des Un ne peut tre gale E cest--dire que lintersection
des Un est non vide. Si on remarque que tout ouvert de E vrifie automatiquement la proprit (v) (en effet, si Fn , n 1, est une
suite de ferms dun ouvert O de E dont la runion des intrieurs (dans O) est dense dans O, on a Fn = Fn O, n 1, o Fn est
24
un ferm de E , et, en posant F0 = E \ O, on obtient une suite Fn , n 0, de ferms de E dont la runion des intrieurs (dans E ) est
dense dans E , ce qui implique que
[
F m O
n1
E \ F1 est dense et ouvert il contient une boule ouverte B1 de rayon < 1 dadhrence contenue dans B0 . De mme E \ (F2 ), donc
E \ (F1 F2 ), contient une boule ouverte B2 de rayon < 1/2 dadhrence contenue dans B1 . En recommenant de mme avec F3 et
B2 , et ainsi de suite, on construit une suite dcroissante de boules ouvertes Bn de rayons tendant vers zro et telles que B n Bn1
et
Bn E \
n
[
Fi .
i=1
La Proposition II.7.5 montre que lintersection des Bn contient un point, qui, par construction, est dans le complmentaire de la
runion des Fn , ce qui termine la preuve.
Remarque II.7.2. Limportance de ce Thorme a entran lutilisation de nombreuses terminologies.
1. Une intersection dnombrable douverts denses sappelle un G et une runion dnombrable de ferms dintrieurs vides
un F . Un sous-ensemble maigre (Dfinition II.1.7, page 9) dun espace topologique est contenu dans un F .
2. Un espace mtrique est dit de premire catgorie de Baire sil est runion dnombrable de sous-ensembles dont les adhrences sont dintrieurs vides. Dans le cas contraire, il est dit de seconde catgorie de Baire. Le Thorme de Baire implique donc
quun espace mtrique complet est de seconde catgorie de Baire.
Ce Thorme a de nombreuses applications non videntes en analyse. Les deux Propositions suivantes en sont des exemples
trs classiques. La premire, que nous utiliserons au chapitre suivant, est parfois appele le principe de la borne uniforme et la
seconde est connue sous le nom de Thorme de Sunyer et Balaguer (une autre application tout aussi classique est le rsultat
de lexercice I page 94) :
P ROPOSITION II.7.7.
Soient E un espace mtrique complet (ou un espace de Baire) et ( fi )iI une famille de fonctions continues de
E dans R. Si
alors, pour tout ouvert U de E il existe un ouvert non vide OU contenu dans U tel que
existe n0 tel que Fn0 soit dintrieur non vide ce qui est le rsultat cherch.
P ROPOSITION II.7.8.
Soit f une fonction de R dans lui-mme de classe C . On suppose que, pour tout x R, il existe un entier n N
(dpendant priori de x !) tel que f (n) (x) = 0, o f (n) dsigne la drive n-ime de f . Alors f est un polynme.
Dmonstration. Soit O lensemble des points de R au voisinage desquels il existe une drive de f qui est identiquement nulle. Il
est clair que O est un ouvert. Si lon montre que O = R alors la dmonstration est termine en vertu de la remarque suivante :
Soit I un intervalle ouvert (born ou non) contenu dans O. Alors il existe un entier n N tel que f (n) est identiquement nulle sur
I . On peut bien sr supposer I non vide. Soit x0 un point de I . Par hypothse, il existe un entier n et un intervalle ouvert contenant
x sur lequel f (n) sannule. Soit J =], [ le plus grand intervalle ouvert contenant x et contenu dans I sur lequel f (n) sannule.
Supposons J 6= I : par exemple, I . Par continuit, pour tout entier p 0, f (n+p) ( ) = 0. Par ailleurs ; il existe un entier m tel
que f (m) est identiquement nulle au voisinage de . Alors la formule de Taylor-Young applique en un ordre suffisament grand
montre que f est un polynme de degr n au voisinage de ce qui contredit la dfinition de J .
Soit maintenant F = R \ O. Comme F est ferm, cest un espace mtrique complet. Remarquons tout dabord que F ne possde
pas de points isols : en effet, si x0 F tait isol dans F , il existerait > 0 tel que les intervalles ]x0 , x0 [ et ]x0 , x0 + [ seraient
Philippe Charpentier
25
contenus dans O, et, daprs ce qui prcde il existerait une drive de f identiquement nulle sur ces deux intervalles ce qui
implique x0 O. Appliquons maintenant le Thorme de Baire F . Soit Fn = {x tels que f (n) (x) = 0}. Les Fn sont des ferms de
F , et, par hypothse, F est runion des Fn . Le Thorme de Baire implique donc quil existe n0 tel que Fn0 est dintrieur non nul
(dans F bien sr). En dautres termes, il existe > 0 et x0 Fn0 tel que f n0 est nulle sur H =]x0 , x0 + [F .
Remarquons maintenant que, en tout point y de H , on a f (n0 +p) (y) = 0, pour tout entier p 0. En effet, comme F na pas de
points isols, y est limite dune suite infinie de points de H . En appliquant le Thorme de Rolle entre deux points de cette suite,
on conclut quil existe une suite infinie de points qui converge vers y et sur lesquels f (n0 +1) sannule. En rptant ce procd, par
rcurrence, pour tout entier p 0, on produit une suite infinie qui converge vers y sur laquelle f (n0 +p) sannule. Ceci prouve notre
assertion par continuit.
Comme ]x0 , x0 +[\H est un ouvert, cest une runion dnombrable dintervalles douverts In =]an , bn [ deux deux disjoints
(Proposition II.5.8, page 20). Pour chacun de ces intervalles In , il existe un entier mn tel que f (mn ) est nulle sur In . Alors, en appliquant
la formule de Taylor en an un ordre suffisament lev, on conclut que f est un polynme de degr n0 sur In . Il en rsulte que f (n0 )
est identiquement nulle sur ]x0 , x0 + [ ce qui contredit le fait que x0 F et termine la preuve.
C.Q.F.D.
Il existe des espaces topologiques (non ncessairement mtriques (c.f. Proposition II.8.22, page 36)) qui vrifient les conclusions du Thorme de Baire. Ceci a amen introduire la terminologie suivante :
Dfinition II.7.4.
On dit quun espace topologique E est de Baire sil vrifie les conclusions du Thorme de Baire, cest--dire
les proprits quivalentes de la Proposition II.7.6.
P ROPOSITION II.7.9.
Tout ouvert dun espace topologique de Baire est de Baire.
Dmonstration. Supposons donc que O est un ouvert dun espace de Baire E , et soit (Un )nN une suite douverts denses
! de O. Alors
\
\
les Un sont denses (dans E ) dans O et si U = E \ O , U n = Un U est dense dans E . Par hypothse,
U n =
Un U est dense
nN
nN
nN
SOUS-SECTION II.7.2
2
| Arctg(x) Arctg(y) | est une distance qui dfinit la topologie usuelle de R (t 7
2/Arctg(t) est un homomorphisme de R sur ] 1, 1[. Toutefois R nest pas complet pour d 0 : les suites (n) et (cotg(1/n))
sont de Cauchy pour d 0 mais ne convergent pas.
4. Fu (A; E) Exemple 2, page 12, lensemble des applications dun ensemble A dans un espace mtrique complet E muni de la
distance de la convergence uniforme est complet. En effet, si ( fn ) est une suite de Cauchy de fonctions pour la convergence
uniforme, alors, pour tout x A, ( fn (x)) est de Cauchy dans E et donc converge, et on conclut facilement.
1. Bu (I; C) (Exemple 3, page 13) est un espace mtrique complet car une limite uniforme de fonctions bornes est borne et,
si ( fn ) est une suite de Cauchy de fonctions bornes pour la convergence uniforme, alors la limite est une fonction borne.
Plus gnralement, lespace Bu (A, E) des fonctions bornes dun ensemble A dans un espace mtrique complet E muni de
la mtrique de la convergence uniforme est complet.
2. Soient E un espace topologique et E 0 un espace mtrique. On note Cu (E; E 0 ) lespace mtrique des fonctions continues de
E dans E 0 muni de la distance de la convergence uniforme (Exemple 3, page 13). Si E 0 est complet alors Cu (E; E 0 ) est aussi
complet. En effet, on vrifie sans peine quune limite uniforme de fonctions continues est continue.
26
1. C 1 (I; C) (Exemple 5, page 13) est un espace mtrique complet. En effet, si ( fn ) est de Cauchy dans cet espace, la suite ( fn0 )
converge uniformment sur I , et, comme ( fn (x0 )) converge, un thorme nous dit que ( fn ) converge uniformment vers une
fonction drivable f dont la drive est la limite des fn0 .
1. LExemple 6, page 13, fournit un espace mtrique non complet. En effet, pour simplifier les notations, supposons I = [0, 2] et
considrons la suite de fonctions continues ( fn ) dfinie par
fn (x) =
Cette suite est bien de Cauchy car
Z 2
0
| f p (x) fq (x) | dx 2
Z 1
0
f p (x)dx
2
, si q p. Supposons donc que cette suite
p+1
lim
Z 1
n 0
Z 2
| fn f | dx = 0 et lim
Z 2
n 1
| fn f | dx = 0.
Z 1
0
Z 1
| f | dx
Z 1
0
| fn f | dx +
Z 1
0
| fn | dx,
| f | dx = 0 et, par suite, f 0 sur [0, 1] ce qui conduit une contradiction puisque f est
1. Un exemple dapplication du Thorme de Baire est le suivant : soit f une fonction positive intgrable au sens de Riemann
Z b
sur un segment [a, b] telle que
f (t)dt = 0. Les ensemble { f 1/n}, n N , sont videmment dintrieurs vides, et il
a
rsulte du Thorme II.7.1 que leur runion lest aussi et contient { f > 0}.
SOUS-SECTION II.7.3
Thormes de prolongement
P ROPOSITION II.7.10.
Soient E et F deux espaces mtriques et f et g deux applications continues de E dans F .
1. Lensemble des x E tels que f (x) = g(x) est ferm dans E .
2. Pour que f g il faut et il suffit que lensemble des x E tels que f (x) = g(x) soit dense dans E .
3. Supposons que E = R. Alors lensemble des x E tels que f (x) g(x) est ferm dans E .
4. Supposons encore E = R. Pour que f g il faut et il suffit que lensemble des x E tels que f (x) g(x)
soit dense dans E .
La vrification de cet nonc est vidente.
P ROPOSITION II.7.11.
Soient E et F deux espaces mtriques, A un sous-ensemble dense de E et f une application de A dans F . Pour
quil existe une application continue f de E dans F concidant avec f dans A il faut et il suffit que, x E ,
lim f (y) existe dans F . De plus lapplication f est alors unique.
yx,yA
Dmonstration. Comme A est dense dans E , la condition est clairement ncessaire daprs la Remarque II.4.2, 3., page 17, applique f. Supposons donc la condition satisfaite. On pose donc f(x) = lim f (y), x E . Lhypothse implique tout dabord que
yx,yA
f|A = f , et il reste voir que f est continue. Soient x E et W un voisinage ferm de f(x) dans F . Par hypothse, il existe un voisinage ouvert V de x dans E tel que f (A V ) W . Puisque f(y), y V , est la limite de f par rapport A cest aussi la limite de f par
rapport A V et, par suite f(y) f (A V ) W .
P ROPOSITION II.7.12.
Soient E un espace mtrique, A un sous-ensemble de E dense dans E, F un espace mtrique complet et f une
application uniformment continue de A dans F . Alors f se prolonge de manire unique en une application
uniformment continue f de E dans F .
Philippe Charpentier
27
Dmonstration. En vertu de la Proposition prcdente et de la Proposition II.7.4, page 24, il suffit de voir que loscillation de f par
rapport A en un point quelconque x de E est nulle ce qui rsulte aussitt de lhypothse de continuit uniforme.
yA
yA
Dmonstration. Comme on peut supposer f non constante, quitte la remplacer par y 7 f (y) + , 6= 0, on peut supposer
inf f (y) = 1 et sup f (y) = 2. Posons
yA
yA
f (x),
inf ( f (y)d(x, y))
g(x) =
yA
d(x, A)
pour x A,
pour x E \ A.
Lhypothse 1 f 2 implique 1 g 2 il reste donc seulement montrer que g est continue. Comme g est continue sur A
par construction, montrons tout dabord quelle est aussi continue sur E \ A. Sur cet ensemble d(x, A) est non nulle et continue
(Proposition II.2.2, page 10) et il faut donc voir que h(x) = inf f (y)d(x, A) est continue en tout point x de E \ A. Or, si r = d(x, A) > 0,
yA
pour d(x, x0 ) < r, on a f (y)d(x, y) f (y)d(x0 , y) + 2 donc h(x) h(x0 ) + 2 . De mme on a h(x0 ) h(x) + 2 ce qui donne le
rsultat.
Reste voir la continuit en un point frontire x de A. Soit > 0. Par la continuit de f , il existe r > 0 tel que pour y B(x, r) A,
0
0
on a | f (y) f (x) | . Soit x0 tel que d(x, x0 ) r/4. Si x0 A, on a | g(x) g(x0 ) |=| f (x)
f (x ) | ; supposons donc 0x E \ A0. Pour
0
0
0
y A et d(x, y) r, on a d(x , y) d(x, y) d(x, x ) 3r/4 donc
inf
f (y)d(x , y) 3r/4 et comme f (x)d(x, x ) 2d(x , x)
yA,d(x,y)r
r/2 il vient
inf f (y)d(x0 , y) =
yA
inf
yA,d(x,y)<r
f (y)d(x0 , y) .
On a donc
( f (x) ) d(x0 , A) inf f (y)d(x0 , y) ( f (x) + ) d(x0 , A),
yA
SOUS-SECTION II.7.4
T HORME II.7.3.
Soit E un espace mtrique. Il existe un espace mtrique complet E tel quil existe une isomtrie T de E dans E
telle que T (E) soit dense dans E (existence du complt). De plus si E est un autre espace mtrique complet
pour lequel il existe une isomtrie T de E dans E telle que T (E) soit dense dans E alors E et E sont isomtriques
(unicit du complt).
Dmonstration. Vrifions tout dabord lunicit. T T 1 est une isomtrie de T (E) dans E et se prolonge dont en une isomtrie
1 de E dans E (Proposition II.7.12, page prcdente). De mme T T 1 se prolonge en une isomtrie 2 de E dans E . Ces deux
isomtries sont inverses lune de lautre car ceci est vrai si on les considre comme applications entre T (E) et T (E) (unicit de
la Proposition II.7.12). Dmontrons maintenant lexistence. Considrons lespace mtrique complet F = Cu (E; R+ ) (Exemple 2,
page 26) et notons dF la distance sur F . Considrons lapplication T de E dans F dfinie par T (x) = dx avec dx (y) = d(x, y). Alors
lingalit triangulaire
rayons plus petits que 1 sont les mme que pour dF , E muni de d est un espace mtrique complet qui rpond la question.
28
SOUS-SECTION II.7.5
d(xn+p , xn ) kn
kn
kl
l=0
kl
d(x0 , x1 )
d(x0 , x1 )
l=0
kn
d(x0 , x1 ).
1k
Ceci montre que la suite (xn ) est de Cauchy et donc converge vers x E . Comme xn+1 = T (xn ), et comme T est continue, on a bien
T (x) = x. Ceci achve la preuve, lunicit tant vidente.
C OROLLAIRE .
Soit T une application dun espace mtrique complet E dans lui mme telle quil existe k ]0, 1[ et un entier
n 1 tels que T n (itre n fois de T ) soit strictement contractante de rapport k. Alors T admet un unique point
fixe.
Dmonstration. Par le Thorme prcdent, il existe x E tel que T n (x) = x. Alors T n+1 (x) = T (T n (x)) = T (x) = T n (T (x)), ce qui
signifie que T (x) est point fixe de T n . Lunicit du Thorme prcdent montre donc que T (x) = x.
On notera que lhypothse du corollaire nimplique pas, en gnral, que T est continue.
P ROPOSITION II.7.13.
Soient E un espace mtrique complet, un espace topologique et T une application de E dans E telle quil
existe k ]0, 1[ tel que, pour tous x et y dans E , et tout , on a d(T (x, ), T (y, )) kd(x, y). Supposons
que, pour tout x E la fonction 7 T (x, ) soit continue. Alors lunique point fixe x de lapplication x 7
T (x) = T (x, ) est une fonction continue de .
Dmonstration. En effet, si 0 est un point de , on a
Philippe Charpentier
29
kx + (x f (x))k = 1
o k.k dsigne la norme euclidienne et montrons que h : B R est C .
Cette quation scrit P() = 0 o P est le polynme
g0 (t) =
avec Di = det
kx f (x)k2
B.
Soit F : I B Rn la fonction dfinie par
ci . . . dxn ,
= Di (t, x)dx1 . . . dx
i=1
n
D0
Di
(t, x) = (1)i1
(t, x),
t
xi
i=1
!
d
F
F
F
,...,
, o, par convention, lcriture
,...
t
xi
xn
d
F
signifie que le terme correspondant ny est pas.
xi
est C sur
g(t) =
d = (1)i1
i=1
Di
dx1 . . . dxn ,
xi
o, en notant x = (x1 , . . . , xn ),
D0 (t, x) = det
D0
(t, x)dx.
t
Par ailleurs, en utilisant la multilinarit du dterminant, un calcul fastidieux mais sans difficults montre que
h(x) =
= g0 (t),
F
F
(t, x), . . . ,
(t, x) ,
x1
xn
Fj
F
dsignant le vecteur colonne
, 1 j n.
xi
xi
Pour i 1, on a
F
= (0, . . . , xi , . . . , 0) + t
(h(x)(x f (x))) .
xi
xi
Par suite, D0 (0, x1 , . . . , xn ) = 1 ce qui donne g(0) = vol(B). Par ailleurs,
si D0 (1, x) 6= 0, x B, le thorme dinversion locale montre que y 7
F
(t, x) = 0,
t
SECTION II.8
Espaces compacts
SOUS-SECTION II.8.1
iJ
iI
que
jJ
Fj 6= 0/ , alors
jJ
Fi 6= 0/ . On dit quune
iI
partie A de E est compacte si le sous-espace topologique A lest, et on dit que A est relativement compacte
si A est compacte.
Clairement, il nest pas ncssaire de considrer des recouvrements par des ouverts de A pour dfinir une partie compacte :
Remarque II.8.1. Une partie A dun espace topologique est compacte si et seulement si de tout recouvrement de A par des
30
P ROPOSITION II.8.1.
Soit E un espace topologique spar et A une partie de E . Si A est compacte alors elle est ferme. Si E est
compacte et si A est ferme, alors A est compacte. En particulier, tout sous-ensemble dune partie relativement
compacte est relativement compacte.
Dmonstration. Supposons tout dabord A compacte dans E spar. Soit x
/ A. Pour tout y A, puisque E est spar, il existe
deux voisinages Vx,y et Vy , lun de x lautre de y, ne se rencontrant pas. Les Vy , y A forment un recouvrement de A et on peut
n
n
\
[
donc en extraire un sous-recouvrement fini A
Vy j . Comme
Vx,y j est un voisinage de x, on en conclut que x
/ A . Supposons
j=1
j=1
maintenant E compact et A ferme. Soit (Oi ) un recouvrement de A par des ouverts (de A) ; pour chaque i, il existe (par dfinition de
la topologie de A c.f. Dfinition II.1.4, page 9) Ui ouvert de E tel que Oi = AUi ; alors la famille (E \A,Ui ), i I , est un recouvrement
de E dont on peut, par hypothse, extraire un sous-recouvrement fini. On en dduit que lon peut extraire un sous-recouvrement
fini de A du recouvrement (Oi ).
P ROPOSITION II.8.2.
Soient E un espace topologique spar, K une partie compacte de E et x E \ K . Alors, il existe deux ouverts
disjoints U et V tels que K U et x V . De plus, si K1 et K2 sont deux compacts disjoints de E , il existe deux
ouverts disjoints O1 et O2 tels que K1 O1 et K2 O2 .
Dmonstration. Comme E est spar, si y K , il existe deux ouverts disjoints Uy et Vy tels que y Uy et x Vy . Si on recouvre K
[
\
Uyi et V = Vyi . La seconde assertion en rsulte, car x K2 ,
1in
Dans un espace mtrique cette proprit est lmentaire, comme nous lavons dj vu (Proposition II.4.8, page 15).
P ROPOSITION II.8.3.
Soient E1 , E2 deux espaces topologiques spars et f une application continue de E1 dans E2 . Soit A une partie
compacte de E1 . Alors, f (A) est compacte.
Dmonstration. En effet, soit (Oi ) un recouvrement de f (A) par des ouverts de E2 . Alors ( f 1 (Oi )) est un recouvrement ouvert
de A (c.f. Thorme II.4.1, page 15) dont on peut extraire un sous-recouvrement fini. En prenant les Oi correspondant au mme
ensemble fini dindices, on obtient un recouvrement fini de f (A).
C OROLLAIRE .
Soient E1 , E2 deux espaces topologiques spars et f une application continue bijective de E1 sur E2 . Si E1 est
compact alors f est un homomorphisme.
Dmonstration. En effet, daprs le Thorme II.4.1, page 15, il suffit de voir que si F est un ferm de E1 alors f (F) est ferm dans
E2 . Or ceci rsulte des Propositions II.8.1 et II.8.3.
P ROPOSITION II.8.4.
Soient E un espace topologique spar et A une partie compacte de E . Tout sous-ensemble infini de A admet
au moins un point daccumulation (qui est ncessairement dans A).
Dmonstration. En effet, soit X un sous-ensemble infini de A. Si la conclusion de la Proposition tait fausse, puisque E est spar,
pour chaque x A, il existerait un voisinage ouvert Vx de x tel que X Vx {x}. Comme A est compact, on peut trouver xi , 1 i n,
tels que les Vxi forment un recouvrement de A ce qui implique X {x1 , . . . , xn } et contredit le fait que X est infini.
La proposition suivante est lmentaire et la preuve est laisse au lecteur :
P ROPOSITION II.8.5.
Pour un espace topologique spar, deux quelconques des proprits suivantes impliquent la troisiemme :
1. E est compact ;
2. E est homomorphe un espace discret ;
3. E est fini.
Philippe Charpentier
31
P ROPOSITION II.8.6.
Soient E1 et E2 deux espaces topologiques et F un espace mtrique. Soit f une application de E1 E2 dans F .
1. Si, pour tout y E2 , la fonction x 7 f (x, y) est continue sur E1 et si, la fonction y 7 f (x, y) est continue
sur E2 , uniformment par rapport x E1 (i.e. > 0, y E2 , il existe un voisinage V (y) de y dans E2 tel
que, x E1 , d( f (x, z), f (x, y)) pour z V (y)) alors f est continue sur E1 E2 .
2. Supposons E1 compact. Si f est continue sur E1 E2 alors la fonction y 7 f (x, y) est continue sur E2 ,
uniformment par rapport x E1 (videment y E2 , la fonction x 7 f (x, y) est continue sur E1 ).
Dmonstration. Le 1. est immdiat : en crivant
p1
/ . Alors, daprs ce qui prcde, pour tout F F , nj=1 p1
i (Vi ) F 6= 0
i j (Vi j ) F = V F F et est donc non vide. Cela tant
vrai pour tout voisinage V de x, on conclut que x est adhrent tous les lments de F donc appartient tous ceux de F puisque
les lments de F sont ferms, ce qui termine la dmonstration.
Par exemple lespace des fonctions dun ensemble A dans un espace topologique compact E muni de la topologie de la convergence simple (c.f. Exemple II.6.1, page 22) est compact. Nous donnerons une autre dmonstration, base sur un procd important, dit procd diagonal , de ce Thorme dans le cas dun produit dnombrable despaces mtriques la sous-section suivante
(Proposition II.8.18, page 35).
P ROPOSITION II.8.7.
Soient E un espace topologique compact et R une relation dquivalence sur lensemble E . Alors lespace topologique E/R est spar si et seulement si la relation R est ferme. De plus, si ces conditions sont satisfaites,
E/R est compact.
Dmonstration. La dernire assertion est immdiate (Proposition II.4.10, page 16 et Proposition II.8.3, page prcdente). Dmontrons lquivalence. Supposons tout dabord lespace E/R spar, et soit F un ferm de E , et posons F = (F). Si x
/ F , pour tout
y F , il existe, par hypothse, un voisinage ouvert V (y)
de y et un voisinage Vy (x)
de x tels que V (y)
Vy (x)
= 0/ . tant la surjection
est un ouvert de E , et, lorsque y parcourt F , ces voisinages forment un recouvrement
canonique de E sur E/R , Vy = 1 (V (y))
de F . Comme F est compact, on peut trouver yi , 1 i n, tels que les Vyi recouvrent F . Alors, les V (yi ) forment un recouvrement
\
de F , et
Vyi (x)
est un ouvert qui ne rencontre pas F . Ceci montre que F est ferm. Rciproquement, supposons que R est
1in
32
SOUS-SECTION II.8.2
Remarque II.8.2. La Proposition prcdente montre que tout espace mtrique prcompact admet une base dnombrable
pour sa topologie. Rciproquement :
P ROPOSITION II.8.9.
Tout espace topologique compact admettant une base dnombrable douverts est mtrisable.
Dmonstration. Soit Un , n 1, une base dnombrable douverts dun espace topologique compact E , et notons la diagonale
de E E . Tout voisinage dun point de contient un voisinage de la forme Un Un , et, comme est compact, tout voisinage
de contient une runion finie densemble de la forme Un Un . Les runions finies de ces ensembles forment donc un systme
fondamental Vn , n 1, de voisinages ouverts de . Remarquons de plus que les Vn sont symtriques (dans le sens o (x, y) Vn
quivaut (y, x) Vn ), et, quitte les remplacer par les Vn+1 Vn , on peut supposer la suite Vn dcroissante. De plus, tant
compact, il possde une base de voisinages compacts (Proposition II.8.2, page 31), et, on peut supposer aussi Vn+1 Vn .
Remarquons maintenant que si x E et si V (x) est un voisinage de x, alors il existe m 1 tel que (x, y) Vm implique y V (x) :
en effet, dans le cas contraire, les ensembles {y tels que (x, y) V } (E \ V (x)} formeraient une suite dcroissante de compacts
non vides, donc dintersection non vide et il existerait y E \V (x) tel que (x, y) Vm pour tout m ce qui est absurde.
k
Pour k entier, notons V m = {(x, y) E E tels que zi E, 1 i k, tels que z1 = x, zk = y, et (zi , zi+1 ) Vn }. Voyons tout
2
dabord que les V n , n 1, forment une base de voisinages de . En effet, remarquons tout dabord que si x 6= y, il existe deux
voisinages ouverts V (x) et V (y) de x et y disjoints, et, par ce qui prcde, il existe m tel que (x, z) Vm et (y, z) Vm impliquent
2
z V (x) V (y) ce qui est impossible. Par ailleurs, on a clairement V m V m V m1 , et, on voit facilement que V m est ferm. Alors,
2
n tant fix, V m ((E E) \ Vn ) est une suite dcroissante de compacts qui, sil sont non vides, contiennent un point (x, y) ce qui
2
est impossible daprs ce qui prcde. Ainsi, quitte considrer une sous-suite de la suite Vn , on peut supposer que V n Vn1 .
En rptant ventuellement le procd prcdent, on se ramne finalement au cas o la base Vn , n 1, de voisinages de est
3
telle que les Vn forment une suite dcroissante de voisinages symtriques tels que Vn Vn1 et V n Vn1 . On dfinit alors une
fonction g sur E E par
si (x,
0
y) Vn , n,
g(x, y) =
2k
1
(x, y) Vn , 1 n k,
et (x, y)
/ Vk+1 ,
si (x, y)
/ V1 .
si
Remarquons que g est positive, symtrique et que g(x, x) = 0, et quelle dfinit la topologie de E : en effet, pour x E , si V (x) est
un voisinage de x, alors, pour m assez grand, nous avons dj vu que (x, y) Vm implique y V (x), et, par suite g(x, y) , pour
assez petit, implique aussi y V (x) ; inversement, la relation g(x, y) 2k signifie (x, y) Vk et comme Vk est ouvert, il existe un
voisinage V de x tel que {x} V Vk . Posons enfin
p1
f (x, y) = inf
g(zi , zi+1 )
i=0
linf tant pris sur toutes les suites finies zi , 0 i p, telles que z0 = x et z p = y.
Il est clair que f est un cart sur E . Pour conclure, il suffit donc de montrer lingalit suivante :
1
g(x, y) f (x, y) g(x, y), (x, y) E E.
2
p1
Pour le voir, fixons x et y et montrons que si zi est une suite finie p lments telle que z0 = x et z p = y on a
i=0
Raisonnons par rcurrence sur p. Pour p = 1 ceci est vident, supposons donc le rsultat vrai pour toute suite finie p 1 lments
Philippe Charpentier
33
p1
g(zi , zi+1 ). Si a 1/2, il ny a rien montrer. Supposons donc a < 1/2. Soit
i=0
h1
p1
i=0
C.Q.F.D.
Le Thorme suivant est une caractrisation fondamentale des espaces mtriques compacts :
T HORME II.8.2.
Pour un espace mtrique E les conditions suivantes sont quivalentes :
1. E est compact ;
2. Toute suite de points de E admet une valeur dadhrence ;
3. E est prcompact et complet.
Dmonstration. Vrifions tout dabord que 1. 2. Soit (xn ) une suite dans E et soit A lensemble des points de cette suite ; si A est
fini, il ny a rien montrer, et , si A est infini, cela rsulte de la Proposition II.8.4 et de la Proposition II.4.4, page 14. Dmontrons
maintenant que 2. 3. La compltude de E rsulte de la Proposition II.7.1, page 23, et, pour conclure, raisonnons par labsurde et
supposons que E nest pas prcompact. Alors, il existe > 0 tel que lon ne puisse pas recouvrir E par un nombre fini de boules de
rayon . On peut ainsi construire, par rcurrence, une suite (xn ) dans E telle que n N, d(xi , xn ) > , pour i < n : en effet, x1 tant
n1
[
quelconque, si xi est construit pour 1 i n 1, E \
B(xi , ) est non vide, par hypothse, et on prend xn dans cet ensemble. La
i=1
suite (xn ) ainsi construite ne peut videment pas avoir de valeur dadhrence.
Dmontrons maintenant 3. 1. Pour simplifier les notations nous pouvons supposer que le diamtre de E (qui est born
par hypothse) est infrieur 1/2 (quitte multiplier la distance par un nombre positif convenable ce qui ne change rien aux
hypothses 3. et 1.). Supposons que E ne soit pas compact cest dire quil existe un recouvrement ouvert (Oi ) de E dont on ne
peut extraire aucun sous-recouvrement fini, et construisons, par rcurrence une suite de boules ouvertes (Bn ) = (B(xn , 1/2n )), telle
que, n, Bn Bn1 6= 0/ , et Bn ne peut tre recouverte par une sous-famille finie de la famille (Oi ) : B0 = E convient par hypothse,
et, si Bi est construite pour 0 i n 1, soit (Vk ) un recouvrement de E par des boules de rayon 1/2n (prcompacit) ; parmi les
Vk qui rencontrent Bn1 , il y en a une Bn qui ne peut pas tre recouverte par une sous-famille finie des (Oi ) (sinon Bn1 pourrait
ltre), et la rcurrence se poursuit. Par construction (et lingalit triangulaire) on a d(xn1 , xn ) 1/2n2 , do on dduit, pour
n p < q,
1
1
1
+ . . . + q2 n2 ,
2 p1
2
2
ce qui montre que (xn ) est de Cauchy et donc converge vers x. Or, il existe i0 tel que x Oi0 , et, comme Oi0 est un ouvert, il existe
r > 0 tel que B(x, r) Oi0 . Si y Bn , on a d(x, y) < d(x, xn ) + 1/2n1 ce qui implique que, pour n assez grand, Bn B(x, r) Oi0 et
contredit la dfinition des Bn .
d(x p , xq ) d(x p , x p+1 ) + . . . + d(xq1 , xq )
Une proprit trs utile des espaces mtriques compacts est la Proprit de Lebesgue :
P ROPOSITION II.8.11.
Dans un espace mtrique compact, toute suite qui ne possde quune seule valeur dadhrence converge vers
celle-ci.
Dmonstration. En effet, dans le cas contraire, il existerait > 0 et une suite extraite de la suite initiale dont tous les lments
seraient en dehors dune boule de rayon . Daprs le Thorme II.8.2, cette sous-suite aurait une valeur dadhrence qui serait
une seconde valeur dadhrence de la suite initiale.
P ROPOSITION II.8.12.
Toute application continue f dun espace mtrique compact E dans un espace mtrique E 0 est uniformment
continue.
34
Dmonstration. En effet, si cela tait faux, il existerait > 0, et deux suites (xn ) et (yn ) tels que d(xn , yn ) < 1/n et d 0 ( f (xn ), f (yn ))
. Mais ceci est impossible car, par le Thorme II.8.2, une sous-suite (xnk ) de la suite (xn ) converge vers a, ce qui implique que
(ynk ) converge elle aussi vers a.
P ROPOSITION II.8.13.
Dans un espace mtrique complet, tout ensemble prcompact est relativement compact.
Dmonstration. Si A E est prcompact, > 0, A peut tre recouvert par un nombre fini de boules fermes Bk de rayon et il en
est de mme de A qui est donc compact par le Thorme II.8.2 (et la Proposition II.7.2, page 23).
P ROPOSITION II.8.14.
Les parties relativement compactes de Rn sont les parties bornes. Autrement dit une partie de Rn est compacte
si et seulement si elle est ferme et borne.
Dmonstration. La condition tant ncessaire, il faut voir quelle est suffisante. Daprs le Thorme II.8.1, il suffit de le faire pour
n = 1 (car alors un cube ferm de Rn est compact) et, alors, daprs le Thorme II.8.2, il suffit de montrer quune partie borne de
R est prcompacte, et il suffit de le faire pour un segment ce qui est vident.
P ROPOSITION II.8.15.
Soient E un espace mtrique compact non vide et f une application continue de E dans R. Alors f (E) est
born et f atteint des bornes (i.e. il existe a et b dans E tels que f (a) = sup f (x) et f (b) = inf f (x)).
xE
xE
Dmonstration. En effet, puisque f (E) est ferm born dans R (Proposition II.8.3), sup f (E) et inf f (E) sont dans f (E).
P ROPOSITION II.8.16.
Soient E un espace mtrique et A une partie de E .
1. A est relativement compacte si et seulement si toute suite de points de A possde une valeur dadhrence
dans E .
2. Si A est compacte, les ensembles Vr (A) (c.f. Remarque II.2.3, page 10) forment un systme fondamental
de voisinages de A.
3. La runion de deux ensembles relativement compacts est relativement compacte.
4. Si A et B sont deux parties compactes disjointes, on a d(A, B) > 0.
5. Si A est compact et si B est ferm et A B = 0/ , il existe r > 0 tel que Vr (A) Vr (B) = 0/ .
Dmonstration. Le 1. rsulte immdiatement du Thorme II.8.2, vrifions le 2. Soit U un voisinage de A ; puisque x 7 d(x, E \U)
est continue et > 0 dans A, son inf est atteint sur A et est un nombre r > 0 ; alors Vr (A) U . Le 3. est vident, et le 4. se voit en
notant que x 7 d(x, B) atteint son minimum sur A qui est ncessairement > 0. Enfin, si le 5. tait faux, on aurait A Vr (B) 6= 0/ pour
tout r > 0 ; en prenant r = 1/n, on construirait ainsi une suite xn dlments de A V1/n (B) dont on pourait extraire une sous-suite
convergente vers x dans A ce qui donnerait x A B puisque B est ferm.
P ROPOSITION II.8.17.
Soient E un espace mtrique et A une partie compacte de E . Alors A est connexe si et seulement si pour tout
couple (x, y) de points de A et pour tout > 0, il existe des points xi A, 1 i n, tels que x1 = x, xn = y, et
d(xi , xi+1 ) .
Dmonstration. Montrons tout dabord que la condition est ncessaire (la compacit ninterviens pas ici). Soit a A fix, et soit
Ea lensemble des points de E pour lesquels la condition est vrifie. Alors Ea est non vide, videmment ouvert, et ferm car si
x Ea A, la boule B(x, ) contient un point de A. Comme A est connexe on a Ea = A. Rciproquement, supposons que A ne soit
pas connexe et crivons A = O1 O2 o les Oi sont des ouverts de A disjoints non vides. Comme A est ferm, les Oi le sont aussi, et
ce sont donc des compacts et la contradiction vient en prenant < d(O1 , O2 ) (4. de la Proposition prcdente).
Nous savons dj quun produit quelconque despaces compacts est compact : cest le Thorme de Tychonoff que nous
navons pas dmontr. Dans le cas dun produit dnombrable despaces mtrique, la preuve est beaucoup plus simple :
P ROPOSITION II.8.18.
Soit (En )n1 une famille dnombrable despaces mtriques compacts. Alors le produit des En (c.f. Proposition
II.6.4, page 22) est compact.
Dmonstration. La preuve de ce rsultat utilise une mthode importante et souvent utile appele le procd diagonal. Daprs le
Thorme II.8.2, il nous faut montrer que si (Xn ) est une suite dans En , on peut extraire de (Xn ) une sous-suite convergente.
nN
1 )
Notons Xni la i-me coordonne de Xn . Puisque E1 est compact, on peut extraire de (Xn ) une sous-suite (X1,n ) telle que (X1,n
nN
1 )
2
soit convergente dans E1 . De mme, on peut extraire de (X1,n
nN une sous-suite (X2,n )nN telle que (X2,n )nN soit convergente, de
Philippe Charpentier
35
1 )
2
sorte que (X2,n
nN et (X2,n )nN sont toutes deux convergentes. En procdant ainsi de suite par rcurrence, on construit (X p,n )nN
i )
i
telle que, pour 1 i p, (X p,n
nN soit convergente dans Ei . Alors la suite (Xn,n )nN est telle que, pour tout i 1, (Xn,n )nN converge
En .
n1
SOUS-SECTION II.8.3
Dans le cas des espaces mtriques, cette dfinition signifie que, pour tout x E , il existe r > 0, tel que, pour t r, B(x,t)
est
compacte.
P ROPOSITION II.8.19.
Soit E un espace topologique dont tout point admet un voisinage compact. Soit K un compact de E et U un
ouvert de E contenant K . Alors il existe un ouvert V tel que V soit compact et K V V U . En particulier,
E est localement compact.
Dmonstration. Si U = E , il suffit de recouvrir K par un nombre fini de voisinages compacts de points de K ce qui est possible
puisque K est compact. Ceci implique, dans tous les cas, que K est contenu dans un ouvert G relativement compact. Supposons
U 6= E et soit A = E \U . Daprs la Proposition II.8.2, page 31, pour tout x A, il existe un ouvert Wx contenant K tel que x
/ W x . Alors
x , x A, forment un famille de ferms dans un espace compact dont lintersection est vide. Elle possde
les ensembles A G W
\
xi , 1 i n, dintersection vide. Il suffit donc de prendre V = G
donc une sous-famille finie A G W
Wxi .
1in
P ROPOSITION II.8.20.
Soit E un espace mtrique localement compact.
1. Tout sous-espace ouvert et tout sous-espace ferm est localement compact.
2. Soit A une partie compacte de E . Il existe r > 0 tel que Vr (A) (Remarque II.2.3, page 10) soit relativement
compact.
Dmonstration. Le 1. est vident, vrifions le 2. Pour tout x A, il existe Vx voisinage compact de x. Les intrieurs de ces voisinages
n
[
forment un recouvrement de A dont on peut extraire un sous-recouvrement fini. On a ainsi Vxi , 1 i n, tels que
Vxi est un
i=1
P ROPOSITION II.8.21.
Soit E un espace mtrique localement compact. Les conditions suivantes sont quivalentes :
1.[il existe une suite croissante (Un ) douverts relativement compacts dans E tel que U n Un+1 et
E = Un ;
n
Kn avec Kn compact alors chaque Kn est sparable (Proposition II.8.8, page 33)
et donc E aussi. Montrons maintenant que 3. implique 1. Daprs la Proposition II.2.7, page 11, E possde une base dnombrable
On pour sa topologie ; pour tout x E , si Vx est un voisinage compact de x, il existe nx tel que x Onx Vx , ce qui montre que lon
peut supposer que les On sont relativement compacts. On dfinit alors les Un par rcurrence de la manire suivante : U1 = O1 , et,
Un tant dfini, Un+1 est la runion de On+1 et de Vr (U n ) avec r convenablement choisi grce la Proposition II.8.20.
On remarquera quun espace mtrique vrifiant la condition 1. de la proposition est ncessairement localement compact.
P ROPOSITION II.8.22.
Tout espace topologique localement compact est un espace de Baire.
36
Dmonstration. La dmonstration est identique celle du Thorme de Baire (Thorme II.7.1, page 25) : il suffit de remplacer
les boules construites par rcurrence par des voisinages compacts ce qui
! est possible par hypothse. On obtient ainsi une suite
n
[
Fi O. On conclut en utilisant le fait que, par dfinition de
dcroissante (Kn )nN de compacts non vides contenus dans E \
i=0
la compacit,
Kn 6= 0/ .
nN
Construisons tout dabord les Ut lorsque t est un nombre dyadique cest--dire de la forme t = n , 0 k 2n . Raisonnons par
2
rcurrence sur n. Pour n = 0, on pose U1 = W , et, daprs la Proposition II.8.19, il existe un ouvert relativement compact U0 tel que
K U0 U 0 U1 . Supposons les Uk/2 p construits pour 1 p n 1 et 1 k 2 p . Pour dfinir les Uk/2n , il nous suffit de dfinir
2k + 1 k + 1
n1 , il suffit de rappliquer la Proposition II.8.19. On dfinit alors Ut pour tout rel
2n
2
Ur . Clairement (i) et (ii) sont satisfaites et la densit des nombres dyadiques implique (iii). On
r<t, r dyadique
dfinit alors la fonction g par g(x) = 1 si x E \ U1 et, si x U1 , g(x) = inf{t tels que x Ut }. pour terminer la preuve, il suffit de
voir que g est continue. Soit x E et a = g(x). Sparons trois cas :
0 < a < 1.
Soit > 0 assez petit de sorte que [a , a + ] ]0, 1[. Alors, par dfinition de g, Ua+ E \ U a est un voisinage de x
sur lequel g est comprise entre a et a + , ce qui montre la continuit de g en x.
a = 0.
Dans ce cas, U , > 0, est un voisinage de x sur lequel g est comprise entre 0 et .
a = 1.
De mme, pour > 0, E \ U 1 est un voisinage de x sur lequel g est comprise entre 1 et 1.
SOUS-SECTION II.8.4
(E \ Ki ) = E \ (
Ki )
Philippe Charpentier
37
et sa restriction E est T . Enfin, E est bien dense dans E car un voisinage de contient, par dfinition, le complmentaire dun
compact de E et que ce dernier ne peut tre vide puisque E nest pas compact par hypothse. Lunicit de ce compactifi se voit
facilement, car, si i est linjection de E dans E , h = i1 est un homomorphisme de i(E) sur (E). Si {}
= E \ (E), on
pose h() =
, et il faut vrifier que h ainsi prolonge est un homomorphisme de E sur E cest--dire quelle est continue en
(Corollaire de la Proposition II.8.3, page 31). Or, si V est un voisinage ouvert de
, E \ V est un compact contenu dans (E), donc
h1 (E \ V ) est compact dans i(E) = E , ce qui montre que
h1 (V ) = {} (E \ h1 (E \ V ))
est un voisinage de dans E .
Pour donner lautre exemple classique de compactifi, il nous faut introduire une nouvelle terminologie :
Dfinition II.8.4.
On dit quun espace topologique E est compltement rgulier si tant donn x E et F un ferm ne le
contenant pas, il existe une application continue de E dans [0, 1] nulle en x et valant 1 sur F .
On notera quun espace mtrique est toujours compltement rgulier daprs le Thorme de Tietze-Urysohn (Thorme II.7.2,
page 28).
SOUS-SECTION II.8.5
> 0, x E , il existe un entier nx tel que m nx implique 0 g(x) fm (x) < . Comme g et fnx sont continues, la croissance de
la suite implique encore quil existe un voisinage Vx de x tel que y Vx , 0 g(y) fm (y) , m nx . Comme E est compact, on
peut le recouvrir par un nombre fini de Vx : Vxi , 1 i n. Si n0 est le plus grand des nxi , 1 i n, pour m n0 , et tout x de E on a
0 g(x) fm (x) , ce qui dmontre le thorme.
Le thorme qui suit est un rsultat fondamental en analyse. Il a de trs nombreuses consquences dans toutes les branches
de cette discipline :
38
1
t Pn2 (t) , n 1.
2
(II.8.1)
Si on montre que 0 Pn (t) t , n, on aura aussi montr que la suite est croissante, positive et borne, ce qui implique quelle
converge simplement vers une fonction g qui, daprs (II.8.1), doit vrifier g(t) = g(t) + 1/2(t g2 (t)), ce qui entrane g(t) = t, et
le Thorme de Dini permet de conclure la convergence uniforme. Vrifions donc lingalit annonce par rcurrence :
1
t Pn+1 (t) = ( t Pn (t)) 1 ( t + Pn (t)) ,
2
et comme, par hypothse de rcurrence, 0 Pn (t)
Dmonstration du Thorme de Stone-Weierstrass. Si f A, a = sup | f |, et si Pn sont les polynmes du Lemme, alors la suite (Pn ( f 2 /a2 ))n
E
converge uniformment vers | f | /a, ce qui montre que | f | A , puisque A est une algbre contenant les constantes. Maintenant,
si f et g sont dans A , comme
1
1
sup( f , g) = ( f + g+ | f g |) et inf( f , g) = ( f + g | f g |),
2
2
la preuve, et qui vrifie gx (x) = f (x) et gx (y) f (y) + , y E . Par continuit, il existe un voisinage Vx de x tel que gx (w) f (w)
pour w Vx . Recouvrons encore une fois E par un nombre fini de voisinages Vxi et posons = sup gxi , de sorte que A . Il est
i
alors clair que | (w) f (w) | , pour tout w E , ce qui termine la preuve.
Dans le cas de lespace C (E, C), le Thorme peut tre faux. On a simplement le rsultat plus faible, mais tout aussi important,
suivant :
P ROPOSITION II.8.25.
1. Si E est un espace mtrique compact, les espaces mtriques Cu (E, R) et Cu (E, C) sont sparables.
2. Soit K un compact de Rn . Toute fonction continue sur K est limite uniforme (sur K ) dune suite de
polynmes.
3. Toute fonction continue de R dans C priodique de priode 2 est limite uniforme sur R de polynmes
trigonomtriques.
Dmonstration. Le 2. est immdiat, et le 3. se voit aussi facilement en identifiant les fonctions continues 2 priodiques aux fonctions continues sur le cercle unit de R2 qui est compact (voir Exemple 3, page 76). Vrifions le 1. En sparant partie relle et partie
imaginaire, on remarque quil suffit de faire la preuve pour Cu (E, R). Soit (Un ) une base dnombrable pour la topologie de E (Proposition II.8.8, page 33) et soit gn (x) = d(x, E \ Un ) (qui est continue, Proposition II.2.2, page 10). Soit AQ lalgbre engendr, sur
Q, par les gn . Il est clair que, si A est lalgbre engendre sur R par les gn , alors AQ est uniformment dense dans A. Comme AQ est
dnombrable, il nous suffit de montrer que A est dense dans Cu (E, R). Comme A contient les constantes, daprs le Thorme de
Stone-Weierstrass, il suffit de voir que A spare les points de E . Or, si x 6= y, il existe Un tel que x Un et y
/ Un , ce qui implique
gn (x) 6= 0 et gn (y) = 0.
Philippe Charpentier
39
fonctions continues de E dans F . On note Cc (E, F), lespace C (E, F) muni de la distance de la convergence
uniforme sur la famille de parties (U n )nN (c.f. Exemple 4, page 13). La topologie correspondante sappelle
la topologie de la convergence uniforme sur les compacts.
On pourra remarquer que cette topologie ne dpend pas vraiment de la suite (Un ) choisie : si on prend une autre suite douverts
possdant les mme proprits, la distance obtenue avec cette nouvelle suite est topologiquement quivalente la premire. En
fait, on peut dmontrer (exercice facile) quune suite ( fn ) converge pour la distance de la dfinition ci-dessus si et seulement si,
pour tout compact K de E , elle converge uniformment sur K .
Dfinition II.8.6.
Soient E et F deux espaces mtriques. Soit A une partie de C (E, F). On dit que A est quicontinu (ou
uniformment quicontinu) si, pour tout > 0, il existe > 0 tel que pour x et y dans E vrifiant dE (x, y)
, on a dF ( f (x), f (y)) , pour toute f A . On dit que A est quicontinu en x 0 E si, pour tout > 0,
il existe > 0 tel que pour y dans E vrifiant dE (x0 , y) , on a dF ( f (x0 ), f (y)) , pour toute f A . Si A
est une partie de E , on dit que A est quicontinue sur A si elle est quicontinue en tout point de A.
P ROPOSITION II.8.26.
Soient E et F deux espaces mtriques. Soit A une partie de C (E, F). Soit A une partie compacte de E . Si A
est quicontinue sur A, alors A|A = { f|A , f A } C (A; F) est quicontinue. En particulier, si E est compact,
lquicontinuit en tout point de E quivaut lquicontinuit.
Dmonstration. En effet, pour tout x A, il existe B(x, rx ) une boule, telle que, pour y et z dans cette boule et dans A, on a
dF ( f (y), f (z)) , pour toute f A|A . Daprs la Proprit de Lebesgue (Proposition II.8.10, page 34), il existe > 0 tel que,
pour tout x A, B(x, ) A soit contenu dans une des boules B(x, rx ) ; ceci dit exactement que A|A est quicontinue.
1. A est relativement compacte pour la topologie de la convergence uniforme sur les compacts de E ;
2. Pour tout compact K de E , A|K = { f|K , f A} est quicontinue dans C (K, F) et, pour tout x E ,
{ f (x), f A} est relativement compact dans F .
Dmonstration. Dmontrons tout dabord que 1. implique 2. Remarquons en premier que A|K est relativement compact pour
la topologie de la convergence uniforme sur K (si ( f|K,n ) est une suite dans A|K , il existe une sous-suite ( fn p ) convergente pour
la topologie de la convergence uniforme sur les compacts et ( fn p |K ) converge uniformment sur K ). Soit > 0. On peut donc
recouvrir A|K par un nombre fini de boules (pour la distance de la convergence uniforme sur K ) Bi de rayons . Si fi sont les
centres de ces boules, lingalit triangulaire donne aussitt, pour f Bi , dF ( f (x), f (y)) 2 + dF ( fi (x), fi (y)), et, comme les fi
sont uniformment continues (Proposition II.8.12, page 34) et en nombre fini, lquicontinuit de A|K en rsulte. La seconde partie
du 2. se montre aisment : si ( fn (x)) est une suite dans { f (x), f A}, la compacit relative de A implique quil existe une sous-suite
( fn p ) qui converge pour la topologie de la convergence uniforme sur les compacts ; comme {x} est un compact, on a le rsultat
voulu.
Dmontrons maintenant que 2. entrane 1. Soit ( fn ) une suite dans A. Soit > 0 et K compact de E fixs. A|K tant quicontinu,
soit K tel que dE (x, y) K , x, y K , implique dF ( f (x), f (y)) , f A|K , et recouvrons K par un nombre fini de boules B(xi , ri )
avec ri < K . La seconde hypothse du 2. montre quil existe une suite extraite ( fn p ) de la suite ( fn ) telle que, pour tout p et q, et
tout i, on a dF ( fn p (xi ), fnq (xi )) , et, par suite, dF ( fn p (x), fnq (x)) 3 , pour tout x K . Appliquons cette construction = 1/3 :
on construit ainsi une suite ( f1,n ) extraite de ( fn ) telle que sup dF ( f1,p (x), f1,q (x)) 1, p, q. Puis on recommence de mme avec
xK
1
3
12 et ( fn ) remplace par ( f1,n ) ce qui donne une nouvelle suite extraite ( f2,n ) vrifiant sup dF ( f2,p (x), f2,q (x)) 1/2, p, q.
xK
On considre maintenant la suite diagonale ( fn,n ) ; pour m n, elle vrifie sup dF ( fm,m (x), fn,n (x)) 1/n ; comme de plus, par
xK
hypothse, pour tout x K , la suite ( fn,n (x)) est contenue dans un compact de F , donc dans une partie complte de F (Thorme
40
EXERCICES
II.8.2, page 34), elle converge vers f (x) et on a sup dF ( fm,m (x), f (x)) 1/n, m n. Ainsi, on a extrait de la suite ( fn ) une sousxK
suite uniformment convergente sur K , vers une fonction dfinie et continue sur K . Soit maintenant (Un ) une suite douverts de E
vrifiant les proprits dcrites dans la Dfinition II.8.5 ; en appliquant ce qui prcde au compact K = U 1 , on trouve une suite ( fn1 )
de la suite ( fn ) qui converge uniformment sur U 1 vers une fonction f 1 dfinie et continue sur U 1 ; en recommenant de mme
avec K = U 2 et ( fn1 ), on construit une seconde sous-suite ( fn2 ) qui converge uniformment sur U 2 vers une fonction f 2 dfinie
p
p1
et continue sur U 2 , qui vrifie f|2U = f 1 ; par rcurrence, on construit ainsi une sous-suite ( fn ) de la suite ( fn ) qui converge
1
uniformment sur U p vers f p qui prolonge f p1 . La suite ( fnn ) est alors convergente pour la topologie de la convergence uniforme
sur les compacts vers une fonction dfinie et continue sur E tout entier.
C.Q.F.D.
La proposition suivante montre une utilisation de lquicontinuit la mtrisabilit de certains espaces topologiques :
P ROPOSITION II.8.27.
Soient E et E 0 deux espaces mtriques de distances d et d 0 , E tant suppos sparable, et A = {an } une partie
dnombrable dense de E . Soit Fs (E; E 0 ) lespace topologique des fonctions de E dans E 0 muni de la topologie
de la convergence simple (c.f. Exemple II.6.1, page 22). Soit G une partie de Fs (E; E 0 ) quicontinue en tout
point de E . Soit dA la distance de la convergence uniforme sur la famille de parties A = {{an }, n N} (c.f.
Exemple 4, page 13). Alors dA dfinit la topologie induite sur G par celle de Fs (E; E 0 ) : on dit que la topologie
de la convergence simple est mtrisable sur G .
Dmonstration. Soit f G . On voit trs facilement que tout voisinage de f pour dA , est un voisinage de f pour la topologie de la
convergence simple. Cest la rciproque quil faut dmontrer. Soit f G ; la dfinition de la topologie produit montre quil suffit de
voir que, pour x E quelconque, lensemble V = {g G t.q. d 0 ( f (x), g(x)) < } contient une boule ouverte pour dA centr en f .
Or, comme G est quicontinue en x et A dense dans E , il existe nx N tel que, h G , d 0 (h(x), h(anx )) < /4 ; lingalit triangulaire
donne alors d 0 ( f (x), g(x)) < /2 + d 0 ( f (anx ), g(anx )), g G . Par suite, dA ( f , g) <
bien que la boule ouverte pour dA centr en f de rayon
3 2nx
Exercices
Exercice II.1.
1. Montrer quon dfinit une topologie sur R en disant qu une partie de R est ouverte si elle est vide ou de complmentaire au
plus dnombrable.
On admettra que toute partie dun ensemble au plus dnombrable est elle-mme au plus dnombrable, de mme quune runion
finie.
2. Quelles sont les suites convergentes pour cette topologie ?
Exercice II.2.
1. Soit E un ensemble ordonn (par exemple N muni de la relation de divisibilit).
2. Montrer que lon dfinit sur R une topologie T de la faon suivante :
Une partie A de E est ouverte si elle est vide ou bien si pour tout x A et tout y x , alors y A.
3. Soit x A , dterminer ladhrence du singleton {x} pour T . Peut-il tre ferm, ouvert ?
4. La topologie T est-elle spare ?
Exercice II.3.
Soit E un espace topologique. Dmontrer les assertions suivantes :
1. Un point x est dans la frontire dune partie A de E si et seulement si tout voisinage de x rencontre A et son complmentaire.
2. Si A et B sont deux parties ouvertes disjointes de E , alors les partiesA et B sont disjointes.
3. Si A et B sont deux parties fermes de E dont la runion est E , alors A B = E .
4. Une partie A de E est ferme si et seulement si sa frontire f r(A) est incluse dans A.
T
5. Une partie A de E est ouverte si et seulement si A Fr(A) = 0/ .
Exercice II.4.
Dans R muni de la topologie usuelle, dterminer lintrieur et ladhrence des ensembles suivants :
Philippe Charpentier
41
I I.
iI
Exercice II.7.
Soit E un espace topologique et (Ui )iI une famille douverts recouvrant E . Montrer quun ensemble A de E est ferm dans E si et
seulement si chaque ensemble A Ui est ferm dans Ui .
Exercice II.8.
1),
Soit E un ensemble. Posons d(x, y) = 1 si x 6= y et d(x, x) = 0 . Montrer que d est une distance sur E . Dterminer B(x, 1) , B(x,
B(x, 1).
Exercice II.9.
Soit I = [a, b] un segment de R, x0 un lment de I et soit C 1 (I ; C) lensemble des fonctions continment drivables sur I . Pour f
et g lments de C 1 (I, C), on pose d( f , g) = | f (x0 ) g(x0 )| + sup | f 0 (t) g0 (t)|. Montrer que d est une distance sur C 1 (I, C).
tI
Exercice II.10.
Soit I = [a, b] un segment de R et E = C (I ; C) lensemble des fonctions continues sur I . On dfinit sur E E les fonctions d et de
la faon suivante :
12
Z b
Z b
2
| f (t) g(t)| dt
d( f , g) =
| f (t) g(t)|dt et ( f , g) =
.
a
( f , g) =
Z +
| f (x) g(x)|dx.
d
est une distance sur E topologiquement quivalente d .
1+d
xAn
1 dn ( f , g)
.
on pose ( f , g) = n
2
1 + dn ( f , g)
nN
Montrer que est une distance et quune suite de fonctions ( fk ) de B converge vers une fonction f si et seulement si la suite
( fk ) converge uniformment vers f sur chaque An .
42
EXERCICES
Exercice II.13.
Soit d la distance euclidienne sur R2 . On dfinit de la faon suivante : a et b tant deux points de R2 , on pose
(a, b) =
d(a, b)
d(a, 0) + d(b, 0)
1. Dmontrer que est une distance. Dterminer les boules ouvertes pour et les suites convergentes pour .
2. On considre lapplication de C C dans R+ dfinie par (z, z0 ) = |z z0 | si |z| = |z0 | et (z, z0 ) = |z| + |z0 | si |z| 6= |z0 |.
3. Dmontrer que est une distance. Dterminer les boules ouvertes pour et les suites convergentes pour .
Exercice II.14.
1
1. Rn est muni de sa topologie usuelle. Soit A = {x = (xk )1kn tq k N 1 k n, |xk | < }. Montrer que A est ouvert.
2. On dsigne par l lespace des suites relles bornes x = (xn )n1 et, pour x = (xk )k1 , y = (yk )k1 l on pose d(x, y) = sup |xk yk |.
kN
Montrer que d
1
N |xk | < } est dintrieur vide dans l .
k
Exercice II.15.
1 1
Soient les fonctions d et dfinies par d(x, y) = |x y| et (x, y) = o x et y sont des rels strictement positifs. Montrer que
x y
dfinit une distance sur ]0, +[. Les distances d et sont elles quivalentes, topologiquement quivalentes ?
Exercice II.16.
On dsigne par E le C-espace vectoriel des suites de nombres complexes. Pour x = (xn )nN appartenant E , on pose val(x) =
3. Soit (x p ) pN une suite dlments de E avec x p = (xn )nN . Dmontrer que la suite (x p ) pN est convergente dans E si et
p
seulement si pour tout n N, la suite (xn ) pN est stationnaire. Quelle est alors la limite de la suite (x p ) pN ?
Exercice II.17.
On reprend les notations de lexercice II.2 et soit une application f : E E . Dmontrer que f est continue si et seulement si elle
est croissante.
Exercice II.18.
1. Soit un rel compris entre 0 et 1 et f : R+ R+ lapplication dfinie par f (x) = x . Prouver que f est uniformment
continue.
2. Les fPonctions x 7 cos x2 et x cos
Exercice II.19.
On dfinit sur C C la fonction valeurs dans R+ par (x, y) = |x y| si |x| = |y| et (x, y) = |x| + |y| sinon.
1. Montrer que est une distance.
2. Caractriser les boules ouvertes pour .
3. C est il complet pour la distance ?
Exercice II.20.
Soit E un espace mtrique connexe non born. Montrer que pour tout x E et tout rel r > 0, la sphre S(x, r) est non vide.
Exercice II.21.
Soit E un espace topologique, A et B des ferms de E tels que A B et A B soient connexes. Montrer que A et B sont connexes.
Lhypothse ferme est elle essentielle ?
Exercice II.22.
Soit E un espace topologique connexe, f et g deux fonctions continues de E dans R, sans zros communs et dont le produit est
nul. Montrer que lune des deux fonctions est nulle.
Exercice II.23.
Montrer que toute fonction continue sur un connexe valeurs dans un espace spar et localement constante est constante. Enoncer et dmontrer la rciproque.
Exercice II.24.
Soit E un espace topologique tel que pour tout (x, y) E E , il existe une partie connexe C(x, y) de E contenant x et y. Dmontrer
que E est connexe.
Philippe Charpentier
43
Exercice II.25.
Soit E un espace topologique et A une partie connexe de E . Montrer que si A rencontre une partie B de E et son complmentaire,
elle rencontre sa frontire Fr(B).
Exercice II.26.
Soit E un espace totalement ordonn. On appelle intervalle ouvert I de E toute partie de la forme ]a, b[= {x E tels que a < x < b}
ou ]., b[= {x E tells que x < b} ou ]a, .[= {x E tels que x > a}.
1. Montrer qu il existe une topologie sur E telle que les intervalles ouverts en forment une base.
2. Cette topologie est elle spare ?
3. On suppose que E est connexe. Montrer que :
(a) Pour tout (x, y) E 2 , x < y, lintervalle ]x, y[ est non vide.
(b) Toute partie majore non vide admet une borne suprieure (On pourra sintresser lensemble des majorants de A).
Exercice II.27.
1. Montrer quune couronne de R2 est connexe.
2. Montrer que toute partie convexe de Rn est connexe.
Exercice II.28.
Dmontrer que lensemble des points de R2 dont une coordonne au moins est irrationnelle est connexe.
Exercice II.29.
Peut il y avoir deux espaces homomorphes parmi les trois suivants : A = [0, 1] R ; B = {(x, y) R2 tels que x2 + y2 < 1} ; =
{(x, y) R2 tels que x2 + y2 = 1}.
Exercice II.30.
Soit A une partie de R2 telle que pour tout x A, le segment [0, x] soit contenu dans A.
1. Montrer que A est connexe.
2. On suppose, en plus, que A est borne. Montrer que le complmentaire de A est connexe.
Exercice II.31.
Soit I un intervalle de R, f une application de I dans R continue, injective. En considrant lensemble
!
1
[0, 1]
([0, 1] {0}). Montrer que X est connexe mais non localement connexe.
n
nN
[
Exercice II.34.
Donner un exemple despace localement connexe, non connexe.
Exercice II.35.
Soient n un entier 3, f lapplication de Rn dans R dfinie par
n
f (x1 , . . . , xn ) =
xi2 xn2 ,
i=1
et,
44
EXERCICES
Exercice II.36.
Soit une famille despaces topologiques (Ei )iI et E = Ei leur produit.
iI
1. Soit (xn )n une suite dlments de E o pour chaque n, xn = (xin )i . Montrer que la suite (xn )n converge dans E vers x = (xi ) si
et seulement si pour tout i la suite (xin )n converge vers xi dans Ei .
Pour chaque i I , on note pi la projection canonique de rang i.
2. Montrer que pi est ouverte, est elle ferme ?
3. Soit X un espace topologique et f une application de X dans E . Montrer que f est continue si et seulement si chaque fi =
pi f est continue.
4. Supposons que pour chaque i I , Ai soit un ferm de Ei . Montrer que le produit des Ai est ferm dans E . Le rsultat est il
vrai pour des ouverts ?
5. Supposons que pour chaque i I , Ai soit une partie de Ei . Montrer que Ai = A
i
Exercice II.37.
Soit E et F deux espaces topologiques et une application continue f : E F . On suppose que F est spar. Prouver que le graphe
( f ) = {(x, y) t.q. y = f (x)} est ferm dans le produit E F . Rciproque ? Donner une deuxime dmonstration dans le cas ou les
espaces E et F sont mtriques.1) Soit une famille despaces topologiques (Ei )iI et E = Ei leur produit.
iI
Exercice II.38.
Soient E1 et E2 deux espaces topologiques non vides et E = E1 E2 muni de la topologie produit. Montrer que E est connexe si et
seulement si E1 et E2 le sont.
Exercice II.39.
Soit (En , dn )n une suite despaces mtriques, E = En et d : E E R dfinie par d(x, y) =
n
dn (xn , yn )
n0
3. E est lespace l 1 des suites de nombres complexes x = (xn ) telles que la srie |xn | converge, muni de la distance
d(x, y) =
|xn yn |.
n0
Exercice II.43.
On dsigne par c0 lespace des suites relles qui tendent vers 0 muni de la distance d(x, y) = sup |xn yn | et par c00 le sous ensemble
nN
Philippe Charpentier
45
Exercice II.45.
On considre une application continue f : [1, +[ R telle que, pour tout x 1, la suite f (nx)nN tende vers 0. En considrant les
ensembles Fn = {x 1 : p N p n | f (px)| }, montrer que limx+ f (x) = 0.
Exercice II.46.
Soit E = C ([0, 1], R). A tout entier n N , on associe lensemble Fn des fonctions f E telles que :
| f (t)| 1, t [0, 1]
1
| f (0)|
2
f (t) = 0, t [ 1 , 1]
n
1. Montrer que les ensembles Fn sont non vides, que la suite (Fn ) est dcroissante et que lintersection des ensembles Fn est
vide.
2. On munit E de la distance d : d( f , g) = sup | f (t) g(t)|.
t[0,1]
3.
R
4. On munit E de la distance d1 : d1 ( f , g) = 01 | f (t) g(t)|dt .
2
.
n
un
Exercice II.50.
1. E est un espace topologique spar, (xn )n une suite de points de E convergente vers un lment x E . Dmontrer que
S
lensemble {xn ; n N} {x} est un compact de E .
2. Dmontrer quune application dun espace mtrique E dans un autre est continue si et seulement si sa restriction tout
compact de E est continue.
Exercice II.51.
Soit K un espace topologique compact et C(K) lespace des fonctions continues de K dans R.
1. Montrer que si une famille finie de fonctions f1 , . . . , fn appartenant C(K) est sans zros communs (
n
\
i=1
f 1 (0) = 0/ .
f I
Exercice II.52.
Soit E un espace topologique spar et A, B deux compacts disjoints de E .
1. Montrer quil existe des ouverts U et V de E tels que U A ; V B et U
V = 0/ .
46
EXERCICES
Exercice II.53.
Soit (An )n une suite dcroissante de parties compactes dun espace mtrique E et A leur intersection. Montrer que la suite des
diamtres des An tend vers le diamtre de A.
Exercice II.54.
Montrer qu un espace mtrique dans lequel toute boule ferme est compacte est un espace complet.
Exercice II.55.
E est un espace topologique spar et (Kn ) une suite dcroissante de compacts non vides.
1. Que peut on dire de lintersection des Kn ?
2. Si est un ouvert contenant lintersection des Kn , montrer quil existe un entier n tel que contienne Kn .
3. On suppose en plus que les Kn sont connexes. Montrer que lintersection des Kn est connexe. Montrer que ce rsultat nest
plus vrai si les Kn sont seulement ferms.
Exercice II.56.
!1
2
(xn yn )
n=1
n=1
Montrer que la suite (en )n o en est llment de l 2 dont toutes les composantes sont nulles sauf celle de rang
contient pas de sous-suites de Cauchy. En dduire que la boule unit ferme de l 2 nest pas compacte.
n gale 1 ne
Exercice II.59.
Soit E lensemble des fonctions continues de [0, 1] dans R muni de la distance de la convergence uniforme. Donner un exemple
dune suite borne de E nadmettant aucune sous-suite convergente.
Exercice II.60.
1. Soit le cercle = {(x, y) R2 t.q. x2 + y2 = 1} et soit f : R une application continue.
(a) Montrer que f () est un intervalle [a, b] avec a b.
(b) Montrer que tout t ]a, b[ possde au moins deux antcdents.
(c) Existe-t-il des applications continues injectives de R2 dans R ?
y
Philippe Charpentier
47
B(x, R) contenant K .
Exercice II.64.
!1
2
(xn yn )
n=1
1
pour tout n 1. Dmontrer que B est compact. On pourra saider des deux faits suivants :
n
1
1. Lensemble BN des x = (xn )1nN RN tels que pour tout n {1, . . . , N}, on ait |xn | , est compact. Ainsi, pour tout rel
n
> 0, il existe une partie finie A de BN telle que la distance de tout point de BN A soit .
1
2. Pour tout rel > 0, il existe un entier N tel que 2 < 2 .
n
nN
que |xn |
Exercice II.65.
1. Soit f : R2 R une application continue. Montrer que
lim
||x||+
48
yY
EXERCICES
(c) Montrer quil existe une suite (gn ) C(X, R) telle que
y Y, | f (y)
gi (y)| <
1in
x X, |g (x)|
n
1
2n
1
,n2
2n1
x[0,1]
x2
x2 + (1 nx)2
Montrer que ( fn )n est sans valeurs dadhrence pour la topologie de la convergence uniforme. La famille des fonctions { fn } est
elle quicontinue ?
Philippe Charpentier
49
C HAPITRE III
ESPACES
VECTORIELS
NORMS
A ns
ce chapitre, tous les espaces vectoriels considrs sont des espaces vectoriels sur R ou C. Lorsquil ny aura
pas de confusion possible, cest--dire la plupart du temps, le corps des scalaire sera not K, qui reprsente
donc soit R soit C. Lorsquun rsultat est spcifique R ou C, on prcise alors le corps utilis pour le rsultat.
Naturellement, on peut dfinir les notions introduites dans ce chapitre avec dautres corps comme par exemple
dans Q. Limportant est de disposer dune valeur absolue sur le corps. Cest une situation que nous ne considrerons nanmoins
pas.
SECTION III.1
{x E t.q. kxk = 0}
est un sous-espace vectoriel de E .
51
Dans toute la suite, la norme dun espace norm sera toujours note k.k, sauf mention expresse du contraire, lorsque des
confusions seront possibles.
P ROPOSITION III.1.1.
Soit E un espace norm. Lapplication
(x, y) 7 kx yk
est une distance sur E E , et E est toujours suppos muni de la structure despace mtrique dfinie par cette
distance.
Remarque III.1.2. Si on note d(x, y) la distance de la Proposition ci-dessus, on a d(x, 0) = kxk.
Dfinition III.1.2.
On appelle espace de Banach un espace norm complet (au sens de lespace mtrique sous-jacent).
P ROPOSITION III.1.2.
Soit E un espace norm.
1. Lapplication (x, y) 7 x + y est uniformment continue de E E dans E ;
2. Lapplication ( , x) 7 x est continue de K E dans E ;
3. Pour K, lapplication x 7 x est uniformment continue de E dans E .
Dmonstration. Ceci est trs simple. Par exemple, pour montrer le 2. en (0 , x0 ), on crit
x 0 x0 = ( 0 )x + 0 (x x0 )
et on conclut par lingalit triangulaire.
Dfinition III.1.3.
Soit E un espace vectoriel sur K. On dit que deux normes k.k1 et k.k2 sont quivalentes si les distances qui
leur sont associes le sont. Autrement dit, sil existe deux constantes c et C strictement positives telles que,
x E , c kxk2 kxk1 C kxk2 .
P ROPOSITION III.1.3.
Soit E un espace vectoriel sur K. Deux normes k.k1 et k.k2 sont quivalentes si et seulement si les topologies
associes (aux distances qui leurs sont associes) sont les mme (i.e. si et seulement si les distances associs sont
topologiquement quivalentes).
Dmonstration. En effet, sil nexiste pas de constante C telle que, x E , kxk1 C kxk2 , alors pour tout entier n il existe xn tel que
1
x , il vient kyn k2 = 1n et kyn k1 = n, donc la suite (yn )n converge vers 0 pour k.k2
nkx k n
n 2
P ROPOSITION III.1.4.
Soient E un espace norm et F un sous-espace vectoriel de E . Alors son adhrence F est un sous-espace vectoriel de E . F muni de la restriction de la norme de E sappelle le sous-espace norm F de E . Si E est un Banach
alors F en est un aussi, et si F est un Banach alors il est ferm dans E .
Dmonstration. Le fait que F soit un espace vectoriel rsulte aisment de la Proposition prcdente, et les autres affirmations sont
videntes.
Dfinition III.1.4.
On dit quune partie A dun espace vectoriel E est totale si lensemble des combinaisons linaires finies
dlments de A est dense dans E .
P ROPOSITION III.1.5.
n
Soient Ei , 1 i n des espaces vectoriels norms de normes respectives notes k.ki , et E = Ei lespace veci=1
est une norme sur E dont lespace mtrique associ est lespace mtrique produit des espaces mtrique de Ei .
On lappelle lespace norm produit de Ei .
52
P ROPOSITION III.1.6.
Soient E un espace vectoriel norm et F1 et F2 deux sous-espaces de E tels que E soit somme directe de F1 et F2
(ce que lon note gnralement E = F1 F2 ). Soient p1 et p2 les projections de E sur F1 et F2 respectivement (de
sorte que tout x E scrit de manire unique x = p1 (x) + p2 (x)). Lapplication
(y1 , y2 ) 7 y1 + y2
de F1 F2 dans E une bijection linaire continue et cest un homomorphisme si et seulement si lune des
application pi est continue (et donc lautre aussi).
Dmonstration. Il est clair que (y1 , y2 ) 7 y1 +y2 est continue. Dautre part si p1 est continue, p2 lest aussi et comme x 7 (p1 (x), p2 (x))
est lapplication inverse de la prcdente, on a la conclusion recherche.
Dfinition III.1.5.
Si la condition de la Proposition prcdente est satisfaite, on dit que E est somme directe topologique de F1
et F2 . Si F est un sous-espace vectoriel de E pour lequel il existe un sous-espace G de E tel que E soit somme
directe topologique de F et G, on dit que G est un supplmentaire topologique de F (lorsquun tel G existe
on dit aussi que F est complment dans E ).
P ROPOSITION III.1.7.
Un espace norm est connexe par arc et localement connexe par arc. De plus, un ouvert dun espace norm est
connexe si et seulement sil est connexe par arc.
Dmonstration. En effet, toute boule dun espace norm est connexe par arc car deux points peuvent tre joints par un segment
de droite qui est contenu dans la boule daprs lingalit triangulaire, et deux points de E peuvent tre joints par un segment. La
seconde assertion rsulte de la premire, car si O est ouvert connexe et si x O, lensemble des points de O qui peuvent tre joints
x par un arc contenu dans O est non vide (puisquil contient une boule ouverte), ouvert et ferm dans O donc gal O.
(T (x), T (y)) 7 T (x + y)
de T (E) T (E) dans E et
( , T (x)) 7 T ( x)
de K T (E) dans E tant uniformment continues (T tant un isomtrie) daprs la Proposition II.7.12, page 27, elles se prolongent
en des applications uniformment continues de E E dans E et K E dans E , et on vrifie aisment que ces applications et
0,
x)
kxk
= d(
dfinissent, sur E une structure despace de Banach qui dfinit la distance d et pour laquelle T est linaire, ce qui
termine la preuve.
Rappelons quune relation dquivalence R sur un espace vectoriel est compatible avec la structure despace vectoriel E si elle
est de la forme xRy x y F o F est un sous-espace vectoriel de E . Dans ce cas lensemble quotient E/R est canoniquement
muni dune structure despace vectoriel et se note E/F .
P ROPOSITION III.1.8.
Soient E un espace norm et F un sous-espace vectoriel de E . Lapplication
x 7 kxk
= inf kx + yk
yF
est bien dfinie et est une semi-norme sur E/F . Cette semi-norme est une norme si et seulement si F est ferm.
De plus, dans ce cas, cette norme dfinit la topologie quotient de celle de E par la relation dquivalence associe F . On parle ainsi de lespace norm quotient E/F .
Dmonstration. Il est clair que x 7 kxk
est une semi-norme et que kxk
= 0 quivaut x F . Pour voir la dernire assertion, il suffit
est
de voir que si B = B(x,
r) est une boule ouverte dans E/F , et si dsigne la surjection canonique de E sur E/F , alors 1 (B)
un ouvert de E . Or ceci est vident puisque
[
=
1 (B)
B(x + y, r).
yF
Philippe Charpentier
53
SECTION III.2
Exemples
1. Rn muni de k(x1 , . . . , xn )k2
(xi )
i=1
ou de k(x1 , . . . , xn )k p =
(|xi |
!1/p
i=1
B (A; E) cet espace norm. Si A est un espace topologique, le sous-espace de B (A; E) form par les fonctions continues
est not C B (A; E), si A est, par exemple, de plus compact, alors toute fonction continue est borne et on note simplement
C (A; E).
3. Soient B une partie dun ensemble A et E un espace norm. Soit B(A; E) lensemble des fonctions de A dans E qui sont
bornes sur B. Alors k f kB = sup k f (x)k est une semi-norme sur B(A; E) et nest pas une norme en gnral.
xB
4. Soient E1 et E2 deux espaces vectoriels norms et L 0 (E1 ; E2 ) lespace vectoriel des applications linaires de E1 dans E2 qui
sont bornes sur la boule B = {x E1 , t.q. kxk < 1}. Alors k f kB = sup k f (x)k est une norme sur L 0 (E1 ; E2 ) car, si k f kB = 0,
xB
pour tout x E1 , il existe > 0 tel que k xk < 1 et par suite f ( x) = f (x) = 0, ce qui montre que f est nulle.
5. Soient I = [a, b] un segment de R et C (I; C) lespace vectoriel des fonctions continues de I dans C. Alors, pour 1 p < ,
1/p
Z b
p
k f kp =
| f (t)| dt
est une norme sur C (I; C).
a
SECTION III.3
n=0
P ROPOSITION III.3.1.
Soit E un espace norm. Si la srie xn est convergente, alors, > 0, il existe n0 N, tel que, pour n n0 , et
p N, on a
i=n+p
xi
.
i=n
54
Rciproquement, si cette condition est satisfaite, et si E est complet, la srie xn est convergente (Critre de
Cauchy pour une srie).
Cest une traduction de la dfinition despace mtrique complet. La proposition suivante est immdiate :
P ROPOSITION III.3.2.
Soient E un espace norm et xn et yn deux sries dans E .
1. Si xn = yn sauf au plus pour un nombre fini dindices, alors les deux sries sont soit toutes deux convergentes soit toutes deux divergentes.
2. Si les deux sries sont convergentes, alors, pour K, les sries xn + yn et xn sont convergentes.
3. Si xn est convergente de somme s et si (nk ) est une suite dentiers strictement croissante telle que n0 = 0,
nk+1 1
et si on pose yk =
n=nk
Dfinition III.3.2.
On dit quune srie xn dans un espace norm E est absolument convergente (ou normalement convergente selon une terminologie plus naturelle mais non usuelle) si la srie de nombres rels positifs kxn k
est convergente.
Le critre de compltude suivant est trs souvent utile :
T HORME III.3.1.
Soit E un espace norm. Alors E est complet (i.e. un espace de Banach) si et seulement si toute srie de E
absolument convergente est convergente.
Dmonstration. En effet, il est clair, par lingalit triangulaire, que toute srie absolument convergente vrifie le critre de Cauchy
et, par suite converge si lespace est complet. Rciproquement, si cette proprit est satisfaite, et si (xn ) est une suite de Cauchy
dans E , par rcurrence, on voit aisment quil existe une suite strictement dentiers (nk ) telle que k,
xn xn
< 2k ,
k+1
k
et, en posant yk = xnk+1 xnk , on a
k+p
y j
2k+1 ,
k
ce qui montre que yk est absolument convergente et donc converge par hypothse. Comme
p
yk = xn
p+1
xn0 ,
k=0
on conclut que la suite possde une sous-suite convergente ce qui implique quelle est elle-mme convergente puisquelle est de
Cauchy (Proposition II.7.1, page 23).
P ROPOSITION III.3.3.
Soit xn une srie absolument convergente dans un espace de Banach E . Soit une bijection de N sur lui
xn =
n=0
x (n) .
n=0
Dmonstration. La srie tant absolument convergente, pour tout > 0, il existe n0 tel que
n=n0
n=m0
x (n)
< , ce qui montre que x (n) est absolument
convergente donc convergente. Soit alors m1 tel que m1 m0 et {1, . . . n0 } { (1), . . . (m1 )} ; alors, par ce qui prcde, pour
m m1 ,
ce qui est la dernire assertion.
x (n) xn
<
n=1
n=1
Philippe Charpentier
55
SOUS-SECTION III.3.2
iK
P ROPOSITION III.3.4.
Soit (xi )iI une famille sommable dans un espace norm E de somme s. Soit une bijection de I . Alors la
famille (x (i) )iI est sommable de somme s.
Dmonstration. Ceci est immdiat, car, si J est une partie finie de I vrifiant les conditions de la dfinition ci-dessus, puisque est
une bijection, il existe une partie finie H de I telle que { (i), i H} J , et la conclusion sen dduit aussitt.
P ROPOSITION III.3.5.
Soit (xi )iI une famille dans un espace de norm E . Alors si (xi )iI est sommable dans E , pour
tout
> 0, il
iK
existe une partie finie J de I telle que, pour toute partie finie K de I telle que J K = 0/ , on a xi < .
De plus, si E est un espace de Banach, la rciproque est vraie (critre de Cauchy pour les familles sommables).
Dmonstration. Il est clair que la condition est ncessaire. Dmontrons quelle est suffisante. Pour tout n
N ,
il existe, par hy-
iK
pothse une partie finie Jn de I telle que, quelque soit la partie finie K de I telle que Jn K = 0/ , on a xi < 1/n. Posons
Jn =
iK
1 jn
iK1
iK2
par suite le diamtre (S (Jn )) est infrieur 2/n. Les ensembles S (Jn ) forment donc une suite dcroissante de ferms de E dont
le diamtre tend vers zro ; alors, daprs la proprit de Cantor (Proposition II.7.5, page 24) leur intersection est exactement un
point s de E dont la construction signifie que la famille (xi )iI est sommable de somme s.
P ROPOSITION III.3.6.
Soit (xi )iI une famille sommable dans un espace norm E . Pour tout > 0, la boule B(0, ) contient tous les
xi sauf au plus un nombre fini. En particulier, lensemble des i I tel que xi 6= 0 est dnombrable.
Dmonstration. La premire partie de la proposition rsulte de la Proposition prcdente applique des ensembles dindices
rduits un lment. La seconde en rsulte puisque les xi tels que kxi k > 1/n sont en nombre fini.
Dfinition III.3.4.
On dit quune famille (xi )iI dlments dun espace norm E est absolument sommable si la famille
(kxi k)iI est sommable.
P ROPOSITION III.3.7.
Dans un espace de Banach, toute famille absolument sommable est sommable.
Dmonstration. En effet, si une famille est absolument sommable, elle vrifie le critre de Cauchy.
Remarque III.3.1. Nous verrons que la rciproque de cette proposition est vraie en dimension finie (Proposition III.5.6, page 68).
Mais elle est toujours fausse en dimension infinie.
P ROPOSITION III.3.8.
Soit (xi )iI une famille sommable dans un espace de Banach E . Toute sous-famille (xi )iJ , J I , de la famille (xi )iI est sommable dans E . De plus si (Il )lL est une partition de I et si sl = xi , la famille (sl )lL est
iIl
56
iJ
0 > 0, l K , il existe une partie finie H
l tels que Il J0 6= 0/ . L0 est clairement finie. Soit K une
partie
finie
de
L
contenant
L
.
0
l
[
de Il que lon peut supposer contenir Il J0 telle que
sl xi
< 0 . Soit H =
Hl ; clairement H est finie et contient J0 ce qui
iHl
lK
!
implique
s xi
< . Comme les Il forment une partition, on a xi = xi , do
iH
iH
lK iH
soit J0 une partie finie de I telle que, pour toute partie finie J de I contenant J0 , s xi < . Soit L0 la partie de L constitue des
s sl
s xi
+
lK
iH
lK
xi
iHl
+ n 0 ,
sl
lK
o n est le nombre dlments de K . Comme ceci est vrai pour tout 0 > 0, la preuve est termine.
La rciproque de cette Proposition est videment fausse (prendre par exemple la suite xn = (1)n et, comme partition de N,
Nl = {2l, 2l + 1}, l N) en gnral. Nanmoins, il y a bien sr des cas o cette rciproque est vraie. La Proposition suivante en
donne deux exemples, et la dmonstration en est laisse au lecteur :
P ROPOSITION III.3.9.
Soient (xi )iI une famille dans un espace norm E et (Il )lL une partition de I .
1. Si L est fini!et si, l L, la famille (xi )iIl est sommable, alors la famille (xi )iI est sommable et on a
xi = xi
iI
lL
iIl
2. Si !
pour tout l !L la famille (xi )iIl est sommable et absolument sommable et si les familles
kxi k
iIl
et xi =
iI
et
xi
lL
sont sommables, alors la famille (xi )iI est sommable et absolument sommable
xi
iIl
lL
lL
iIl
P ROPOSITION III.3.10.
n
Soient E j , 1 j n, des espaces norms, et E = E j leur produit (comme espace norm). Soit (xi )iI une
j=1
famille dans E , xi = (xi1 , . . . xin ). Pour que la famille (xi )iI soit sommable (resp. absolument sommable), il faut
j
j
et il suffit que les familles (xi )iI , 1 j n, le soient. De plus, si s j est la somme de la famille (xi )iI , alors
(s j )1 jn est la somme de la famille (xi )iI .
Dmonstration. Cest une consquence immdiate de la dfinition de la norme dans lespace produit telle quelle a t dfinie
dans la Proposition III.1.5, page 52.
La proposition suivante est immdiate :
P ROPOSITION III.3.11.
Soient (xi )iI et (yi )iI deux familles sommables dans un espace norm, de sommes respectives x et y et K.
Alors les familles (xi + yi )iI et ( xi )iI sont sommables de sommes respectives x + y et x.
SOUS-SECTION III.3.3
Philippe Charpentier
57
T HORME III.3.2.
Soit (xn )nN une suite dans un espace norm E . Les conditions suivantes sont quivalentes :
1. La srie xn est commutativement convergente ;
2. La famille (xn )nN est sommable.
De plus si lune de ces deux conditions est satisfaite, pour toute permutation de N, on a
xn = x (n) .
n=0
n=0
Dmonstration. Tout dabord, on voit que 2. implique 1. daprs la Proposition III.3.4, page 56 ; de plus, cette mme Proposition
montre la dernire assertion. Dmontrons que 1. entrane 2. Si la famille (xn )nN vrifie le critre de Cauchy (Proposition III.3.5,
page 56), elle est clairement sommable ; supposons donc quelle ne vrifie pas ce critre.
Il existe donc > 0 tel que pour toute
iH
partie finie J de N, il existe une partie finie H de N ne rencontrant pas J telle que xi . On construit alors aisment par
rcurrence une suite (Hn ) de parties finies de N deux deux disjointes telles que, pour tout n,
xi
. De plus, puisque la
iH
n
srie xn est suppose convergente, quitte retirer un nombre fini de ses termes (ce qui ne change aucunement sa nature) on peut
supposer que, pour tout n, on a kxn k < /2 (on construit les Hn partir de parties Jn telles que Hn Jn+1 et J0 contient tous les
termes de la suite de normes /2) ; alors, quitte a rajouter Hn le
n-ieme
terme de la suite (xn ) si ncessaire, on peut sarranger
xi
/2. Posons alors Hn = {nn1 , . . . , nnNn }, les nnj tant
iH
pour que les Hn forment une partition de N telle que, pour tout n,
In =
n1
1+
Ni , . . . , Ni
i=0
i=0
Clairement les In forment une partition de N en intervalles dentiers non vides (Nn 1 pour tout n), et, pour tout n N, il existe
k1
i=0
N
N
x (i) x (i)
=
xi
/2,
iH
n=0
n=0
n
n
n1
i=0
i=0
ce qui montre que la srie x (n) nest pas convergente contrairement lhypothse.
Remarque III.3.2. La Proposition ci-dessus et la Proposition III.3.6, page 56, montrent que, dans un espace norm, il y a identit entre les familles sommables et les sries commutativement convergentes.
SOUS-SECTION III.3.4
k(xi )iI k p =
kxi k
!1/p
iI
On note lI (E) lespace des familles (xi )iI dlments de E telles que sup kxi k < +, muni de la norme
iI
Le fait que k(xi )iI k p soit une norme (1 p < +) rsulte de lingalit de Minkowski ((II.3.2), page 12).
58
P ROPOSITION III.3.12.
p
Si E est un espace de Banach, les espaces lI (E), 1 p +, et c0 (E) le sont aussi.
p
Dmonstration. En effet, si (xn )nN , xn = (xin )iI , est une suite de Cauchy dans lI (E), on voit
que, pour tout i I , (xin )nN
aussitt
n
p
est une suite de Cauchy dans E et, donc, converge vers xi E . Comme il existe n0 tel que
xi xi 0
1, lingalit de Minkowski
iI
p
n
n
applique xi xi 0 + xi 0 sur une partie finie de I , montre que (xi )iI appartient lI (E) et que
kxi xin k p
!1/p
pour n assez
iI
SECTION III.4
T HORME III.4.1.
Soient Ei , 1 i n, et F des espaces vectoriels norms, et soit f : E1 . . . En F une application multilinaire. Les conditions suivantes sont quivalentes :
1. f est continue ;
2. f est continue en zro ;
3. Il existe a > 0 tel que, pour xi Ei , 1 i n, k f (x1 , . . . , xn )k a kx1 k . . . kxn k ;
k f (x1 , . . . , xn )k < +.
4. k f k =
sup
kx1 k1,...,kxn k1
On peut remarquer que ltude des espaces dapplications multilinaires continues se ramne, en gnral, celle des espaces
dapplications linaires continues en vertu de la Proposition suivante :
P ROPOSITION III.4.1.
Soient E , F et G trois espaces vectoriels norms. Pour tout u L (E, F; G), et tout x E , soit ux lapplication
linaire de F dans G dfinie par ux : y 7 u(x, y), et soit u : x 7 ux . Alors :
Philippe Charpentier
59
kxk1 kyk1
Par rcurrence, on voit que les espaces norms L (E1 , . . . En ; F) et L (E1 ; L (E2 ; . . . ; L (En ; F) . . .)) sont isomtriquement isomorphes.
P ROPOSITION III.4.2.
Soient Ei , 1 i n, Fj , 1 j m, et G des espaces vectoriels norms et F lespace norm produit des Fj
(Proposition III.1.5, page 52) . Soient!u L (E1 , . . . , En ; F) et v L (F1 , . . . Fm ; G). Alors, pour x = (x1 , . . . , xn ),
m
kxi k
i=1
Dmonstration. En effet, si on pose u = (u1 , . . . um ), et x = (x1 , . . . xn ), on a ku(x)k = max
u j (x)
, et, par suite,
j
kv u(x)k = kv(u(x1 , . . . xn )k kvk
u j (x)
kvk ku(x)km kvk kukm
j
!m
kxi k
i=1
P ROPOSITION III.4.3.
Soient Ei , 1 i n, et F des espaces vectoriels norms. Si F est complet alors lespace L (E1 , . . . , En ; F) lest
aussi. En particulier, si E est complet, L (E) est une algbre de Banach.
Dmonstration. En effet, soit ( fn ) une suite de Cauchy dans L (E1 , . . . , En ; F). Pour tout x E1 . . . En tel que max kxi k 1, on a
i
f p (x) fq (x)
f p fq
, ce qui montre que la suite ( fn (x)) est de Cauchy dans F donc converge vers f (x). Le fait que x 7 f (x)
est linaire rsulta aussitt de la linarit des fn par passage la limite ; enfin, pour > 0, si max kxi k 1, de la mme manire,
i
on a k f (x) fn (x)k pour n assez grand, do k f (x)k k fn k + , ce qui prouve que f est continue (la suite ( fn ) tant borne
puisque de Cauchy) et aussi que ( fn ) converge, en norme, vers f .
P ROPOSITION III.4.4.
Soient E et F deux espaces norms et f une application linaire continue de E dans F .
1. Si (xi )iI est une famille sommable dans E , alors ( f (xi ))iI est une famille sommable dans F et
f (xi ) = f xi
iI
iI
2. Si (xi )iI est une famille absolument sommable dans E , alors ( f (xi ))iI est une famille absolument sommable dans F .
La dmonstration de cette Proposition est une consquence quasi-immdiate des dfinitions et est laisse au lecteur.
SOUS-SECTION III.4.2
P ROPOSITION III.4.5.
Soit H un hyperplan dquation f (x) = 0 dans un espace norm E . Alors, H est ferm si et seulement si f est
continue. De plus, dans ce cas, pour tout a
/ H , E est somme directe topologique de H et de Ka.
60
Dmonstration. Si f est continue, H est clairement ferm. Rciproquement, supposons H ferm dquation f (x) = 0, et soit b
/H
tel que f (b) = 1. Comme H est ferm, par continuit de laddition, il en est de mme de b + H , et, comme 0
/ b + H , il existe r > 0
r) {b + H} = 0/ , ce qui implique f (x) 6= 1 pour x B(0,
r). Soient x B(0,
r) et = f (x) ; si || 1, alors x/ B(0,
r)
tel que B(0,
et f (x/) = 1, ce qui est impossible, et ainsi, | f (x)| < 1, ce qui implique que f est borne donc continue (Thorme III.4.1). Soit
maintenant a
/ H ; on a donc une autre criture unique des lments de E x = g(x)a + y, y H , et g(x) = 0 est une quation de H ,
g tant une forme linaire continue. En particulier, x 7 g(x)a est continue de E dans Ka, ce qui montre la dernire assertion (c.f.
Dfinition III.1.5, page 53).
Remarque. Une autre dmonstration de ce rsultat, utilisant les espaces quotients (c.f. Proposition III.1.8) est la suivante :
comme H est ferm, E/H est un espace norm de dimension 1 et la projection canonique est continue ; comme f se factorise par
E/H et que toute application continue dun espace de dimension finie dans un autre est continue, la continuit de f est vidente.
Comme ladhrence dun sous-espace est un sous-espace (Proposition III.1.4, page 52), on a le Corollaire suivant :
C OROLLAIRE .
Dans un espace norm, un hyperplan est ou bien ferm ou bien dense.
Remarque. Si f est une forme linaire discontinue sur E , la dmonstration de la Proposition III.4.5 donne une dmonstration
directe de la densit du noyau H de f : en effet, si a E , et si (xn )n est une suite dans la boule unit de E telle que (| f (xn )|)n
xn
tend vers + (discontinuit de f : Thorme III.4.1), en posant n = arg( f (xn )), la suite yn = f (a)ein | f (x
tend vers 0 et vrifie
)|
n
f (yn ) = f (a), n ; par suite, yn a appartient au noyau de f et tend vers a quand n +, ce qui montre que a est adhrent H .
Rappelons enfin que lon appelle hyperplan affine un translat dun hyperplan. Si H est un hyperplan affine, alors H s crit
H = H1 + a o H1 est un hyperplan ; si f (x) = 0 est une quation de H1 et si alors f (x) = f (a) est une quation de H et H est ferm
si et seulement f est continue.
SOUS-SECTION III.4.3
Dfinition III.4.1.
Soient E et F deux espaces topologiques et u une application de E dans F . On dit que u est ouverte si, pour
tout ouvert U de E , u(U) est ouvert dans F .
x E , B(u(x),
r ) u(B(x, r)). Nous utilisons maintenant le Lemme suivant :
L EMME . Soient E un espace mtrique complet, F un espace mtrique et u une application continue de E dans F . On suppose que
u possde la proprit suivante :
Philippe Charpentier
61
r)).
Pour tout r > 0, il existe r > 0 tel que, pour tout x E , B(u(x),
r ) u(B(x,
Dmonstration du Lemme. Soit (rn ) une suite de rels > 0 tels que r1 = r et
n=1
1 = r et, x E , B(u(x),
n ) u(B(x,
r ). On construit alors, par
n
n1 , rn ) et u(xn ) B(y,
n+1 ) : en effet, si x1 , . . . , xn sont construits, on a
rcurrence, une suite (xn ) dans E telle que x0 = x, xn B(x
y B(u(x
n ), n+1 ) u(B(x
n+2 ), ce
n+p
i=n
n=1
a)) et on conclut en remplaant a par a + avec > 0 aussi petit que lon veut.
B(u(x),
r ) u(B(x,
iI
Dmonstration. Daprs la Proposition II.7.7, page 25, il existe une boule B(x0 , r), r > 0, sur laquelle les ui sont uniformment bornes. Par linarit, elles sont donc aussi uniformment bornes sur B(0, r) et aussi sur B(0, 1) ce qui prouve le rsultat (Thorme
III.4.1, page 59).
SOUS-SECTION III.4.4
Le Thorme de Hahn-Banach
Dfinition III.4.2.
Soit E un espace vectoriel sur R. On dit quune fonction p de E dans R est sous-linaire si, pour tous x, y E
et > 0, on a p(x + y) p(x) + p(y) et p( x) = p(x).
62
yW0
(III.4.1)
et on choisit c compris entre le sup et linf de lingalit (III.4.1). Soit alors x = xW0 + x0 W ; si = 0, il ny a rien prouver,
supposons donc tout dabord > 0. Par le choix de c on a, par sous-linarit de p et linarit de h,
x
x
W0
W0
h0 (x) = h(xW0 ) + c h(xW0 ) + h
+p
+ x0 = p(xW0 + x0 ) = p(x).
xW0
xW0
x0
= p(xW0 + x0 ),
h0 (x) = h(xW0 ) + | | (c) h(xW0 ) + | | h
+p
| |
| |
ce qui termine la dmonstration.
Dans le cas des espaces norms complexes, il faut faire un hypothse plus forte sur la fonction p :
De plus, si est tel que e f (x) > 0, on a f (x) = f (e x) = g(e x) p(e x) = p(x), ce qui termine la preuve.
La forme la plus usuelle dutilisation du Thorme de Hahn-Banach est le cas dun espace norm avec une forme linaire
continue :
C OROLLAIRE .
Soient E un espace norm, E1 un sous-espace de
E et
f une forme linaire continue sur E1 . Alors f se prolonge
en une forme linaire continue f sur E telle que
f
= k f k.
Les deux Thormes de Hahn-Banach peuvent scrire sous une forme gomtrique. Pour cela il nous faut tout dabord dfinir
la jauge dun ensemble convexe. Rappelons au pralable la dfinition dune partie convexe A dans un espace vectoriel E sur R : A
est convexe si pour tous points x et y de A, le segment joignant x y dans E est contenu dans A. On remarquera que cela signifie
que si et sont des rels > 0 on a A + A = ( + )A.
P ROPOSITION III.4.7.
Soient E un espace vectoriel sur R et A un sous-ensemble convexe de E contenant 0.
1. On appelle jauge de A la fonction sous-linaire pA dfinie sur E et valeurs dans [0, +] par
Philippe Charpentier
63
Dmonstration. Supposons tout dabord que le corps des scalaires est R. Quitte faire une translation, on peut supposer que 0 A
et on note pA la jauge de A. Soit V lespace vectoriel engendr par M ; comme 0
/ M , M est un hyperplan affine de V et il existe une
et une seule forme linaire f sur V telle que lquation de M soit f (x)
=
1
.
Par
suite,
pour tout y V tel que f (y) = 1 on a pA (y) 1
y
y
donc f (y) pA (y). Si y V est tel que f (y) = a > 0, alors f a pA a = 1a pA (y), ce qui donne f (y) pA (y). Si f (y) < 0,
lingalit prcdente est vidente puisque pA est positive, et on a donc f pA . Le Thorme de Hahn-Banach rel (Thorme
III.4.5) implique donc quil existe une forme linaire h sur E prolongeant f et telle que h pA . Si on considre alors lhyperplan
affine H dquation h(x) = 1, on a bien M H , H A = 0/ , et H est ferm car, A tant ouvert non vide, il nest pas dense (Corollaire
de la Proposition III.4.5, page 60).
Supposons maintenant que le corps des scalaires est C. Comme tout espace vectoriel sur C est aussi un espace vectoriel sur R,
la premire partie de la preuve montre quil existe un hyperplan affine rel H0 contenant M et ne rencontrant pas A. Soit f (x) = 0
lquation de cet hyperplan (i.e. f est une forme linaire relle) et considrons la forme linaire complexe g dfinie sur E par
g(x) = f (x) i f (ix), et notons H lhyperplan (complexe) affine dquation g(x) = 1 + i. Il est clair que H est ferm ; par ailleurs
x H quivaut f (x) = 1 et f (ix) = 1, cest--dire x H0 (iH0 ). Comme M = iM , la dmonstration est termine.
Ce Thorme a des consquences classiques fort utiles sur la sparation des ensembles convexes.
C OROLLAIRE 1.
Soient E un espace norm rel, A un sous-ensemble ouvert convexe non vide et B un ensemble convexe non
vide ne rencontrant pas A. Alors il existe une forme linaire continue f sur E et un rel tels que f sur
A et f sur B. On dit que lhyperplan affine ferm dquation f = spare A et B. De plus si B est ouvert,
lhyperplan f = spare strictement A et B cest--dire que f > sur A et f < sur B.
Dmonstration. En effet, lensemble C = A B est ouvert, convexe, non vide et on a 0
/ C. Le Thorme de Hahn-Banach gomtrique ci-dessus dit donc quil existe une forme linaire continue non nulle telle que f 0 sur C ce qui implique f (x) f (y), x A,
y B. Il suffit donc de prendre = inf f (x). La dernire partie est facile : si A (ou B) est ouvert, il ne peut rencontrer lhyperplan
xA
f = .
C OROLLAIRE 2.
Soient E un espace norm rel, A un sous-ensemble convexe ferm non vide et K un sous-ensemble convexe
compact non vide ne rencontrant pas A. Alors il existe une forme linaire continue f sur E et un rel tels que
f > sur A et f < sur K . Autrement dit, lhyperplan affine ferm f = spare strictement A et K .
Dmonstration. En effet, daprs la Proposition II.8.16, 5., page 35, il existe une boule B = B(0, r), r > 0, telle que A + B et K + B ne
se rencontrent pas. Comme ces ensembles sont convexes et ouverts la conclusion rsulte du Thorme.
SOUS-SECTION III.4.5
P ROPOSITION III.4.8.
1. Soient E un espace norm non rduit zro et x0 E , x0 6= 0. Il existe une forme linaire continue sur E telle
que f (x0 ) = kx0 k et k f k = 1.
2. Soient E un espace norm et E1 un sous-espace de E . Alors E1 est dense dans E si et seulement si la seule
forme linaire continue sur E nulle sur E1 est 0.
Dmonstration. En effet, si h est la forme linaire dfinie sur Kx0 par h( x0 ) = kx0 k, on a khk = 1 et, il suffit de prolonger, par le
Thorme de Hahn-Banach (appliqu en prenant pour semi-norme la norme de E ), cette forme tout lespace avec conservation
de la norme. Pour voir le 2., on remarque que si E1 6= E , il existe un x0 de E qui nest pas adhrent E1 ; alors la forme linaire
sur E1 Kx0 dfinie par (x + x0 ) = , est continue puisque son noyau est E1 qui est ferm (Proposition III.4.5, page 60), et, en la
prolongeant E par le Thorme de Hahn-Banach, on obtient une forme linaire continue sur E non nulle qui est identiquement
nulle sur E1 .
64
C OROLLAIRE .
Pour quun lment x0 dun espace vectoriel norm E soit nul, il faut et il suffit que toutes les formes linaires
continues sur E soient nulles en x0 .
P ROPOSITION III.4.9.
Soit E un espace norm. Pour tout x E , posons ux ( f ) = f (x), pour toute f E 0 . Alors ux E 00 , et, lapplication
x 7 ux est une isomtrie linaire de E dans E 00 . On dit que E est rflxif si cette isomtrie est surjective.
Dmonstration. Comme kux k =
sup
f E 0 , k f k1
SOUS-SECTION III.4.6
iI
1 (E 0 ) sur le dual de
surjective. lorsque I = N, la mme application est une isomtrie linaire surjective de lN
c0 (E).
n
sup xi yi =
p
|xi | =1 i=1
ni=1
|yi |
!1/q
i=1
Dmonstration du Lemme. Ceci rsulte dune part de lingalit de Hlder ((II.3.1), page 12) et, dautre part, si yi = ri eii , en prenant
xi =
1
kykq/p
q
| fi (xi )| k fi k
iK
iK
!1/q
kxi k
!1/p
iK
do le rsultat. De plus ceci montre que f est une forme linaire continue telle que k f k k( fi )iI kq .
p
Pour conclure, il suffit de montrer que si f est une forme linaire continue sur lI (E) il existe ( fi )iI lI (E 0 ) telle que (( fi )iI ) =
p
f avec k( fi )iI kq k f k. Pour tout i I , soit Ei le sous-espace de lI (E) form des familles (x j ) jI telles que y j = 0 si j 6= i. Clairement Ei sidentifie E (comme espace norm) et f|Ei est une forme linaire continue fi sur E . Soit K une partie finie de I .
Philippe Charpentier
65
Pour tout i K , soit yi E , kyi k = 1, tel que fi (yi ) soit un rel positif suprieur k fi k #K
o #K dsigne le nombre dlp
ments de K . Soient ai R+ , 1 i #K , tels que ai 1, et posons xa = (xia )iI avec xia = ai yi si i K et xia = 0 sinon. Alors
iK
f (xa ) =
ai fi (yi ) + ai k fi k, cest--dire ai k fi k k f k + . En prenant le sup sur lensemble {k(ai )iK k p 1}, daprs
iK
iK
iK
le Lemme, il vient k( fi )iK kq k f k + . Ceci tant vrai pour tout > 0 et toute partie finie de I , la preuve de la premire partie du
Thorme est termine.
Considrons maintenant le cas de c0 (E). Tout dabord, on voit aussitt que si ( fi )iI lI1 (E 0 ) alors (( fi )iI ) est une forme
linaire continue sur c0 (E) de norme k( fi )iI k1 (en fait cest une forme linaire continue de mme norme sur lI (E)). Cest la
p
rciproque quil faut dmontrer. Soit f une forme linaire continue sur c0 (E). Comme dans la dmonstration pour lI (E), nous
pouvons dfinir les formes linaires fi sur E et il faut voir que f = (( fi )iI ). Si x = (xi )iI est un lment de c0 (E) tel que xi = 0
sauf au plus pour un ensemble fini dindices, on a clairement f (x) = fi (xi ) = (( fi )iI )(x). La conclusion rsulte alors du fait
i
SECTION III.5
xi ei =. On a p(x)
i=1
i=1
p(ei )2
!1/2
i=1
T HORME III.5.1.
1. Sur un espace vectoriel de dimension finie, toutes les normes sont quivalentes.
2. Soient E un espace vectoriel norm de dimension finie et (ai )1in une base de E . Alors lapplication
n
u : (1 , . . . , n ) 7 i ai
i=1
est un isomorphisme bicontinu de Kn sur E . En particulier, tout espace vectoriel norm de dimension finie est
complet et localement compact.
Dmonstration. Dmontrons tout dabord le 1. Considrons en premier le cas o lespace vectoriel est Kn , et soient p et q deux
normes sur sur celui-ci. Soit S la sphre unit de Kn pour la norme euclidienne. Comme p et q ne sannulent pas sur S qui est
compact (Proposition II.8.14, page 35) et sont continues daprs la Proposition prcdente, daprs la Proposition II.8.3, page 31, il
p(x)
x
, x E , x 6= 0, on conclut
B. En appliquant ceci
kxk
q(x)
que Aq(x) p(x) Bq(x), pour tout x E , ce qui termine ce cas. Enfin, le cas dun espace vectoriel E quelconque est immdiat
puisque si celui-ci est isomorphe un Kn par u : Kn E (construite avec une base), alors et p u et q u, sont des normes sur Kn .
existe deux constantes 0 < A B < +, telles que, pour x S, on a A
66
x=
i ai 7 |i |
i=1
!1/2
i=1
est une norme sur E , et le 1. implique donc quil existe deux constantes 0 < A B < + telles que
n
|i |
i=1
!1/2
n
i ai
B
i=1
E
|i |
!1/2
i=1
cest--dire A k(1 , . . . , n )kKn ku(1 , . . . , n )kE B k(1 , . . . , n )kKn ce qui signifie exactement que u est une application linaire
bijective bicontinue.
P ROPOSITION III.5.2.
Soient E un espace norm de dimension finie et F un espace norm. Toute application linaire de E dans F
est continue.
n
Dmonstration. En effet, si u est une telle application et si (ai )1in est une base de E , puisque lapplication (1 , . . . , n ) 7 i u(ai )
i=1
P ROPOSITION III.5.3.
Soient E un espace norm, V un sous-espace vectoriel ferm de E et W un sous-espace vectoriel de dimension
finie de E . Alors V + W est ferm. En particulier, tout sous-espace vectoriel de dimension finie dun espace
norm est ferm (ce qui rsulte aussi bien sr de Thorme III.5.1).
Dmonstration. Par rcurrence sur la dimension de W , on voit facilement quil suffit de faire la preuve lorsque W est de dimension
gale 1 cest--dire lorsque W = Ka, et de plus on peut supposer a
/ V . Alors, si f est la forme linaire sur V +W dont le noyau
est V et qui vaut 1 en a, elle est continue (sur V + W ) daprs la Proposition III.4.5, page 60. Soit alors x un point de E adhrent
V + W et soit (xn ) une suite dans V + W qui converge vers x. Si on pose xn = f (xn )a + yn , comme f est continue sur V + W donc
uniformment continue (Thorme III.4.1, page 59), ( f (xn )) est une suite de Cauchy dans K qui converge donc vers . Il en rsulte
que (yn ) est aussi convergente vers y, et ce dans V puisque ce dernier est ferm, ce qui donne finalement x = a + y V + W , ce
qui montre que V +W est ferm.
P ROPOSITION III.5.4.
Soient E un espace norm et V un sous-espace vectoriel ferm de E de codimension finie. Alors tout supplmentaire algbrique de V est un supplmentaire topologique.
Dmonstration. Soit W un supplmentaire algbrique de V dans E . Raisonnons par rcurrence sur la dimension de W . Si W est
de dimension 1, le rsultat est donn par la Proposition III.4.5, page 60. Supposons le rsultat montr pour les V de codimension
n 1, et soit W un supplmentaire de V de dimension n. Posons W = W1 + W2 o W1 est de dimension 1 et W2 de dimension
n1. La Proposition prcdente montre que V +W1 est ferm dans E et lhypothse de rcurrence dit que W2 est un supplmentaire
topologique de V + W1 cest--dire que E est homomorphe (V + W1 ) W2 . Le cas n = 1 montrant que V + W1 est isomorphe
V W1 , on en dduit que E est homomorphe V W1 W2 , et, comme W1 W2 est homomorphe W1 + W2 = W , E est bien
homomorphe V W .
Dfinition III.5.1.
Dans un espace norm E , on appelle suite totale (resp. famille totale) toute suite (resp. famille) telle que
lespace vectoriel engendr par ses lments soit dense dans E .
P ROPOSITION III.5.5.
Soit E un espace norm.
1. Sil existe une suite totale dans E , alors E est sparable.
2. Si E est sparable, il existe une suite totale forme de vecteurs linairement indpendants.
Dmonstration. En effet, en considrant les combinaisons linaires coefficients dans Q (i.e. dans Q si K = R et de la forme
+ i , avec et dans Q si K = C) on voit immdiatement le 1. Dans les conditions du 2., et, en supposant en plus que E est
de dimension infinie (sinon il ny a rien montrer), si (an ) est une suite dense, on construit une suite extraite (ank ) en prenant
pour k1 le premier entier n tel que an 6= 0, puis, les ki , 1 i n, tant construit, on choisit kn+1 de sorte que akn+1 soit le plus petit
entier m > kn tel que am ne soit pas dans lespace engendr par les aki , 1 i n, (ce qui est possible car, dans le cas contraire, E
possderait un sous-espace dense de dimension finie et comme un tel sous-espace est ferm (Proposition III.5.3, de la prsente
page) E serait de dimension finie). Il est alors clair que la suite ainsi construite rpond le question.
Philippe Charpentier
67
SOUS-SECTION III.5.2
iK
xi+ et xi , ce qui implique que les familles (xi+ )iI et (xi )iI sont sommables,
iK
iK
ce qui donne 1. Dans le cas o I = N, lquivalence des trois premires proprits avec la quatrime rsulte du Thorme III.3.2,
page 58.
C OROLLAIRE .
Si E est de dimension finie, lI1 (E) (Dfinition III.3.6, page 58) est lespace des familles sommables dans E indexes sur I .
P ROPOSITION III.5.7.
Soit (xn )nN une suite de nombres rels telle que la srie xn soit convergente mais pas absolument convergente. Alors, pour tout rel il existe une bijection de N telle que la srie x (n) soit convergente de somme
.
Dmonstration. Esquissons simplement la preuve. En crivant xn = xn+ xn , comme dans la dmonstration prcdente, lhypothse entrane que les suites (xn+ ) et (xn ) tendent vers zro et que les sries xn+ et xn sont divergentes. On dfinit alors la
i1
bijection de la manire suivante : on prend tout dabord les premiers xn , tels que xn 0, x (i) , 1 i i1 , de sorte que x (i)
i=1
i1 1
et
x (i) < , ce qui est possible daprs ce qui prcde. Puis on prends les premiers xn , tels que xn < 0, x (i) , i1 i i2 , de sorte
i=1
i2
que
i2 1
x (i) et x (i) > , ce qui est encore une fois possible. Et ainsi de suite. Le fait que les suites (xn+ ) et (xn ) tendent
i=1
i=1
68
EXERCICES
Exercices
Exercice III.1.
Soit E un K- espace vectoriel norm. Montrer que :
1. Si K \ {0} et si A E est ferm (resp. ouvert, compact, connexe) A est ferm (resp. ouvert, compact, connexe).
2. Si A est une partie quelconque de E et B est un ouvert de E , A + B est ouvert.
3. Si A et B sont deux compacts ( resp. connexes ) de E , A + B est compact ( resp. connexe ).
4. Si A est un compact de E , B un ferm de E , A + B est ferm. ( Cette proprit reste-t-elle vraie si A et B sont ferms ?) .
Exercice III.2.
r) et que toute boule ouverte
Montrer que dans un espace norm, ladhrence de toute boule ouverte B(a, r) est la boule ferme B(a,
est homomorphe E .
Exercice III.3.
Cet exercice est traiter sans utiliser la norme doprateur continu. Soit E = Mn (R) lensemble des matrices carres dordre n
n
Rn , on pose kXk =
!1
Xi2
i=1
1. Montrer que k.kE est une norme sur E et que lon a aussi
X6=0
1
kA(X)k
kXk
1 n
A est convergente ( convention : A0 est la matrice unit).
n!
Exercice III.4.
Sur lespace C[X] des polynmes coefficients complexes, on pose, pour P = nk=0 ak xk ,
n
!1
k=0
Montrer que lon dfinit ainsi trois normes non quivalentes et que (C[X], k.k ) nest pas complet.
Exercice III.5.
1. Montrer que tout sous espace vectoriel strict dun espace norm est dintrieur vide. Que dire dun sous espace born ?
2. Montrer que si E est un espace de Banach de dimension infinie, sa dimension ne peut tre dnombrable.
Exercice III.6.
1. Soit f et g deux fonctions de [0, 1] dans R, f de classe C1 et g continue. On suppose que f + f 0 = g. Exprimer f en fonction
de g ( laide dune intgrale).
2. Soit E l espace des fonctions de classe C1 sur lintervalle [0, 1] nulles en 0. Si u E , on pose kuk = |u(0)| + sup |u0 (x)| et
x[0,1]
N(u) = sup |u(x) + u0 (x)|. Dmontrer que les deux applications prcdentes sont des normes quivalentes (utiliser 1. pour
x[0,1]
lquivalence).
Exercice III.7.
R
Soit : [0, 1] R+ une application continue. Pour toute fonction continue f sur [0, 1], valeurs dans R, on pose ( f ) = 01 | f (x)|(x)dx.
1. Dmontrer que est une semi-norme sur lespace C0 ([0, 1], R).
2. Dmontrer que est une norme si et seulement si lensemble des zros de est dintrieur vide.
Exercice III.8.
Les espaces l p ont t dfinis en cours.
1. Soit p et q tels que 1 p < q +, montrer dabord que si x = (xn ) l p , alors x l et quon a kxk kxk p puis que x l q
et quon a kxkq kxk p .
Philippe Charpentier
69
2. b) = (n )n dsigne une suite de nombres rels strictement positifs. On pose l p () = {x = (xn )t.q.
|xn | p n < }. D-
n=0
+
3. c) On suppose que la srie n converge et que p est < q. Dmontrer que l q () est stictement contenu dans l p ().
Exercice III.9.
1. Dmontrer quune famille (ai )iI de nombres rels positifs ou nuls est sommable si et seulement si lensemble des sommes
finies { ai ; J finie I} est major.
iJ
2. Soit (xi )iI une famille de nombres rels. Montrer que les assertions suivantes sont quivalentes : i) La famille (xi )iI est
absolument sommable ; ii) Cette famille est sommable ; iii) Lensemble des sommes finies est born.
[
3. Soit (xi )iI une famille de nombres complexes ; On suppose que I est une runion disjointe :I =
Jl , que pour chaque
lL
|xi |
iJl
lL
sommable et que
xi = xi .
iI
lL iJl
4. Application. Soit (a pq )(p,q)N2 une famille de nombres complexes ( srie double ). On suppose que les sries |a pq | sont
q
p q=0
q p=0
+ +
a pq = a pq
p=0 q=0
q=0 p=0
Exercice III.10.
On considre une application f de D = {z C ; |z| < R} dans C somme dune srie entire sur D
+
f (z) =
an zn .
n=0
Soit z0 un point de D. Montrer que lapplication u 7 f (z0 + u) est dveloppable en srie entire de la variable u et que le rayon de
convergence est au moins R |z0 |.
Exercice III.11.
Ecrire le dveloppement en srie entire de la fonction f : C C ; f (z) = exp(exp z)).
Exercice III.12.
Soit E un espace de Banach et I un ensemble quelconque. Dmontrer que lespace l p (I, E) est complet ( p 1).
Exercice III.13.
Soit E = R[X] lensemble des polynmes coeefficients rels. On dfinit kPk = sup |P(x)|.
x[0,1]
1. Dmontrer que lapplication k.k est une norme sur E . Dans les questions suivantes, E est muni de cette norme.
2. Soit c un rel 0 et L lapplication de E dans R dfinie par L(P) = P(c). Dmontrer que L est linaire et continue si et
seulement si c [0, 1]. Calculer la norme de L lorsque L est continue.
3. Lapplication P 7 P0 est elle continue sur E ?
Exercice III.14.
Soit T lapplication de E = C ([0, 1], R) dans R dfinie par T ( f ) = f (c) o c est un rel de lintervalle [0, 1]. E est muni de la norme
Z 1
L1 cest dire : k f k =
| f (x)|dx. Montrer que T nest pas continue.
0
Exercice III.15.
+
xk
Soit T lapplication de l dans R dfinie par : T (x) =
. Montrer que T est linaire continue et calculer la norme de T (l est
n=0
k!
70
EXERCICES
Exercice III.17.
Soit E lespace des fonctions continues de [0, ] dans R, muni de la norme de la convergence uniforme. On dsigne par un
lment fix de E et par T lapplication de E dans R dfinie par :
Z
T(f) =
f (x)(x)dx
|(x)|
. Quel rsultat bien connu retrouve-t-on, dans le cas o E est
kk
que
Exercice III.23.
Soit une suite (n ) de nombres complexes telle que la srie n n converge pour toute suite (n ) appartenant c0 . Dmontrer que
n
la srie |n | est convergente. Indication : Considrer les formes linaires Ln : c0 7 C dfinies par Ln ( ) =
k k ; dterminer
k=0
k=0
k=0
Exercice III.25.
Soit k un entier et S une partie borne de C de cardinal > k. On suppose que (Pn )n est une suite de fonctions polynmes coefficients complexes de degr k qui converge uniformment sur S vers une fonction f . Dmontrer que f est la restriction S dune
fonction polynme de degr k.
Exercice III.26.
E et F sont deux espaces norms et T un oprateur linaire de E dans F . On dit que T est compact si limage de la boule unit
ferme de E est relativement compacte dans F .
1. Dmontrer quun oprateur compact est continu. Lidentit de E peut elle tre compacte ?
2. Dmontrer que si T est continu et si la dimension de T (E) est finie, T est compact.
Philippe Charpentier
71
3. On suppose E complet. Dmontrer que si une suite (Tn ) doprateurs compacts converge vers un lment T dans lespace
L (E), alors T est compact (on pourra penser la prcompacit).
4. Soit E = C ([0, 1], C) muni de la norme de la convergence uniforme. Soit K une fonction continue de [0, 1] [0, 1] dans C et
pour f E , T ( f ) la fonction dfinie sur [0, 1] par
T ( f )(x) =
Z 1
K(x,t) f (t)dt.
72
C HAPITRE IV
ESPACES
DE
HILBERT
D
A ns ce chapitre, comme dans le prcdent, K dsigne soit le corps des nombres rels soit le corps des nombres complexes.
SECTION IV.1
Formes hermitiennes
SOUS-SECTION IV.1.1
Gnralits
Dfinition IV.1.1.
Soient E et F deux espaces vectoriels sur K. On dit quune application f de E F dans K est une forme
sesquilinaire si elle vrifie les deux conditions suivantes :
(i) Pour tout y F , lapplication de E dans K x 7 f (x, y) est linaire ;
(ii) Pour tout x E , lapplication de F dans K y 7 f (x, y) est semi-linaire (i.e., f (x, y + y0 ) = f (x, y) +
f (x, y0 ) et, pour K, f (x, y) = f (x, y)).
De plus, si pour tous x E et y F on a f (x, y) = f (y, x) (symtrie hermitienne), on dit que f est une
forme hermitienne.
Remarque IV.1.1. Lorsque K = R, une forme hermitienne sappelle aussi une forme bilinaire symtrique.
P ROPOSITION IV.1.1.
Soient E un espace vectoriel sur K et f une forme sesquilinaire sur E .
1. Si K = C, f est hermitienne si et seulement si pour tout x E , f (x, x) est rel.
2. Pour tous x et y de E, on a :
(a) Si K = R, et f est hermitienne, 4 f (x, y) = f (x + y, x + y) f (x y, x y) ;
(b) Si K = C, 4 f (x, y) = f (x + y, x + y) f (x y, x y) + i f (x + iy, x + iy) i f (x iy, x iy).
73
Dmonstration. La ncessit du 1. rsulte immdiatement de la symtrie hermitienne et la suffisance rsulte du (b) du 2. Le (a) du
2. est immdiat et le (b) se vrifie par un calcul direct.
Dfinition IV.1.2.
1. On appelle noyau dune forme hermitienne f sur E lespace vectoriel form des x E tels que y E ,
f (x, y) = 0. On dit quune forme hermitienne sur un espace vectoriel E sur K est non dgnre si son
noyau est rduit {0}.
2. On appelle vecteur isotrope dune forme hermitienne sur E un lment x de E tel que f (x, x) = 0.
3. Deux lments dun espace E sont dit orthogonaux pour une forme hermitienne f si f (x, y) = 0.
SOUS-SECTION IV.1.2
Si f est une forme hermitienne positive sur E , on a, pour tous x, y E , | f (x, y)| f (x, x) f (y, y).
Dmonstration. En effet, pour tout R, on a f (x + y, x + y) 0, ce qui scrit
P ROPOSITION IV.1.3.
Soit f une forme hermitienne positive sur E.
1. Un lment x de E est dans le noyau de f si et seulement si il est isotrope. En particulier, f est non
dgnre si et seulement si x 6= 0 implique f (x, x) > 0.
1/2
2. Pour tous x, y E , on a ( f (x + y, x + y)
f (x, x)1/2 + f (y, y)1/2 (ingalit de Minkowski)
Dmonstration. Le 1. rsulte aussitt de lingalit de Cauchy-Schwarz. Pour voir le 2., on reprend la preuve de lingalit de
Cauchy-Schwarz avec = 1 ce qui donne f (x + y, x + y) = f (y, y) + 2 f (x, y) + f (x, x) et on applique lingalit de CauchySchwarz.
C OROLLAIRE .
Si f est une forme hermitienne positive sur E alors x 7
est non dgnre.
74
SOUS-SECTION IV.1.3
Z 1
SECTION IV.2
Espaces prhilbertiens et
Hilbertiens
p En termes du chapitre prcdent, lingalit de Minkowski dit que si f est une forme hermitienne sur E , lapplication x 7
f (x, x) est une semi-norme sur E cest--dire une application de E dans R+ qui vrifie les axiomes des normes sauf ventuellement le fait que kxk = 0 implique x = 0. Clairement une semi-norme dfinit un cart sur lespace avec lequel on peut dfinir des
boules (comme avec une distance) et donc une topologie sur E . Ces remarques amnent poser la dfinition suivante :
Dfinition IV.2.1.
On appelle espace prhilbertien un espace vectoriel E muni dune forme hermitienne positive. Celle-ci est
1/2
gnralement note hx, yi (ou (x|y)) et est appele le produit scalaire. x 7 kxk = hx, xi
est une seminorme sur E , et, E est toujours considr muni de cette semi-norme et de la topologie qui lui est associe.
Si le produit scalaire est non dgnr, cest--dire si lespace topologique E est spar, kxk est une norme
et E est donc considr comme muni de la structure despace norm induite.On appelle espace de Hilbert
un espace prhilbertien spar complet.
Si F est un sous-espace vectoriel dun espace prhilbertien E , lorsque lon parle de lespace prhilbertien F il sagit, sauf mention expresse du contraire, de lespace obtenu en munissant F de la restriction du produit scalaire de E .
La Proposition qui suit est une consquence immdiate des dfinitions :
P ROPOSITION IV.2.1.
Soient E un espace prhilbertien, x et y deux points de E .
2
2
2
2
1. On a kx + yk = kxk + kyk + 2 hx, yi. En particulier, si x et y sont orthogonaux, on a kx + yk =
2
2
kxk + kyk (Thorme de Pythagore).
x + y
2 1
+ kx yk2 (Thorme
2
2
2
2
2
2
2
2
2. On a kx + yk + kx yk = 2 kxk + kyk ou encore kxk + kyk = 2
de la mdiane).
Dfinition IV.2.2.
Soient E et F deux espace prhilbertiens. On dit quune application f de E dans F est un homomorphisme (resp. isomorphisme) despaces prhilbertiens, ou simplement un homomorphisme (resp. isomorphisme), si f est linaire (resp. linaire bijective) et si elle conserve les produits scalaires cest--dire
h f (x), f (y)i = hx, yi. En particulier, un homomorphisme est une isomtrie.
Philippe Charpentier
75
espaces norms, on remarque que lapplication (T (x), T (y)) 7 hx, yi est une isomtrie de T (E) T (E) dans K qui se prolonge
donc E E en un produit scalaire qui dfinit la norme de E .
SECTION IV.3
Exemples
1. Kn muni du produit scalaire euclidien est un espace de Hilbert.
2. Si E est un espace prhilbertien, lespace norm lI2 (E) (c.f. Sous-section III.3.4, page 58) est un espace prhilbertien pour le
produit scalaire h(xi )iI , (yi )iI i = hxi , yi i. De plus, si E est complet, lI2 (E) est un espace de Hilbert (Proposition III.3.12,
iI
page 59).
Nous verrons plus loin que lI2 (K) est lexemple fondamental despace de Hilbert, dans le sens o tout espace de Hilbert est
isomorphe un espace de ce type.
Z 1
3. Sur lespace CC ([0, 1]) des fonctions continues de [0, 1] dans C, le produit scalaire h f , gi =
f (t)g(t)dt dfinit une structure
0
despace prhilbertien non complet. La famille (e2int )nZ est forme dlments de CC ([0, 1]) deux deux orthogonaux et
de normes gales 1 et est totale en vertu du Thorme de Stone-Weierstrass complexe (Corollaire 4, page 39) : pour le voir,
on remarque tout dabord que le Thorme de Stone-Weierstrass implique que lespace vectoriel engendr par la famille
(e2int )nZ est une algbre uniformment dense dans lespace de Banach des fonctions continues f de [0, 1] dans C telles
que f (0) = f (1) (de la manire suivante : si C p ([0, 1]) est cet espace, on lidentifie avec lespace
C (T) des fonctions continues
sur le tore T = {z C tels que |z| = 1} (qui est compact) par lapplication f 7 g, g e2it = f (t), et, le Thorme de StoneWeierstrass complexe implique que la famille (zn )nZ est totale dans C (T)), puis on approche toute fonction continue (pour
la norme associe au produit scalaire) par une fonction continue qui prend les mme valeurs en 0 et en 1 ce qui se fait
aisment.
Nous verrons dans le dernier paragraphe de ce chapitre dautres exemples classiques de familles orthonormales dans cet
espace.
n=n1
m=n2
4. Soit Mn1 ,n2 (C) lespace des matrices n1 n2 coefficients complexes. Lapplication (A, B) 7
n=1
m=1
B = (bn,m ), dfinit, sur Mn1 ,n2 (C) une structure despace de Hilbert (qui est isomorphe Cn1 n2 ).
SECTION IV.4
76
H,
1
1
kx yk2 + kx tk2 = k2x (y + t)k2 + kt yk2 ,
2
2
y+t
2
y+t
y+t
2
2
2
soit ky tk = 2 kx yk + 2 kx tk 4
x 2
. Comme 2 H , par convexit de H , on a
x 2
d 2 , et il vient
ky tk2 2 kx yk2 + 2 kx tk2 4d 2 .
(IV.4.1)
Lunicit se dduit aussitt de cette ingalit, car, si y et t sont dans H et tels que d = kx yk = kx tk, elle donne ky tk = 0,
et comme H est spar, y = t .
Dmontrons maintenant lexistence. Soit (xn ) une suite dans H telle que lim kx xn k = d . En posant n = kx xn k2 d 2 ,
n
x p xq
2 2 d 2 + p + 2 d 2 + q 4d 2 = 2 p + q ,
ce qui montre que la suite (xn ) est de Cauchy et donc converge dans H puisque ce dernier est suppos complet, ce qui prouve
lexistence.
Montrons maintenant la seconde partie du Thorme. Soit z H . Puisque H est convexe, t R, 0 t 1, (1t)PH (x)+tz H ,
ce qui implique kx PH (x)k kx (1 t)PH (x) tzk. En levant ceci au carr, il vient
P ROPOSITION IV.4.1.
Soient E un espace prhilbertien, H une partie convexe non vide de E telle que le sous-espace mtrique H soit
spar et complet. Si x et y sont deux points de E on a kPH (x) PH (y)k kx yk. Autrement dit la fonction
x 7 PH (x) est contractante (donc en particulier continue).
Dmonstration. En effet, en crivant x y = PH (x) PH (y) + (x y (PH (x) PH (y))), il vient
P ROPOSITION IV.4.2.
Soient E un espace prhilbertien, (Hn )nN une suite dcroissante de parties convexes
\ non vides de E telles que,
pour tout n, le sous-espace mtrique Hn soit spar et complet, et posons H =
Hn . Soit x un point de E .
nN
Alors :
1. La suite n 7 kx PHn (x)k est croissante.
2. H est non vide si et seulement si il existe x0 E tel que sup kx0 PHn (x0 )k < +.
nN
3. Si H est non vide, pour tout x E , la suite (PHn (x))nN est convergente de limite PH (x).
Dmonstration. Le 1. est vident, montrons tout dabord le 2. La condition est clairement ncessaire car kx PHn (x)k kx yk,
pour tout y H . Vrifions quelle est suffisante. Le 1. et lhypothse montrent que la suite (kx0 PHn (x0 )k)nN est convergente ; soit
d sa limite. Soit B la boule ferme de centre x0 et de rayon d . Alors, par construction, la suite (B Hn )nN est une suite dcroissante
de convexes ferms, contenus dans H0 qui est complet,
dont
le diamtre tends vers zro : en effet, si x et y sont deux points de
B Hn , par convexit, 21 (x + y) B Hn , donc
x0 21 (x + y)
= d n avec lim n = 0, et lgalit de la mdiane (Proposition
n
2
x y
2
= 1 kx x0 k2 + ky x0 k2
x0 x + y
2
2
2
d 2 (d n )2 = n (2d n ).
La Proprit de Cantor (Proposition II.7.5, page 24) implique alors que lintersection des B Hn est non vide et contient un et un
seul point y0 qui est ncessairement dans tous les Hn donc dans H qui est donc non vide. Le 3. se dduit du raisonnement ci-dessus
car PHn (x0 ) B Hn , pour tout n.
Philippe Charpentier
77
P ROPOSITION IV.4.3.
Soient E un espace prhilbertien, A une partie convexe non vide telle que le sous-espace mtrique A soit spar
et complet. Soit (Hn )nN une suite croissante de sous-ensembles convexes non vides de E contenus dans A et
[
tels que, pour tout n le sous-espace mtrique Hn soit complet. Posons H =
Hn . Alors H est un sous-ensemble
nN
convexe non vide de E tel que le sous-espace mtrique H soit spar et complet et, pour tout x de E , la suite
(PHn (x))nN converge vers PH (x).
Dmonstration. Clairement H est convexe non vide spar et complet, il faut simplement vrifier la dernire assertion de lnonc.
Puisque la suite kx PHn (x)k est dcroissante elle converge clairement vers kx PH (x)k. Comme
kx PHn (x)k2 kx PH (x)k2 = kPH (x) PHn (x)k2 + 2 hx PH (x), PH (x) PHn (x)i ,
on obtient que kPH (x) PHn (x)k2 + 2 hx PH (x), PH (x) PHn (x)i est positif ou nul et tend vers zro quand n , et, comme
hx PH (x), PH (x) PHn (x)i 0, pour tout n (Thorme IV.4.1, page 76), on obtient que PHn (x) converge vers PH (x) puisque A est
spar.
SOUS-SECTION IV.4.2
P ROPOSITION IV.4.4.
Soit E un espace vectoriel sur K. On dit quune partie C de E est un cne de sommet x0 E si C est stable par
les homothties de centre x0 et de rapport R+ (i.e. > 0). On dit que C est point si x0 C. De plus :
Pour que C E soit un cne de sommet 0, il faut et il suffit que, pour tout R+ , on ait C C, et
pour que C soit un cne convexe de sommet 0 il faut et il suffit que, pour tout R+ , on ait C C et que
C +C C. En particulier, un cne C de sommet 0 est convexe si et seulement si C +C C.
La vrification de cette proposition est immdiate.
SOUS-SECTION IV.4.3
78
Dmonstration. Lingalit (ii) du Thorme des projections sur un cne convexe applique z et z, z V , donne hx PV (x), zi =
0. Ceci appliqu iz et iz donne hx PV (x), zi = 0, ce qui montre que x PV (x) est orthogonal V . Rciproquement, si y V est
tel que x y est orthogonal V , le Thorme des projections sur un cne convexe donne y = PV (x).
P ROPOSITION IV.4.6.
Soient E un espace prhilbertien et V un sous-espace vectoriel de E tel que le sous-espace mtrique V soit
spar et complet. Alors, x 7 PV (x) est une application linaire continue de E dans V telle que kPV (x)k kxk.
Dmonstration. Cest une consquence immdiate de la Proposition IV.4.1, page 77.
SOUS-SECTION IV.4.4
a
, on obtient lgalit.
kak
f (u0 )
ku0 k2
u0 .
Montrons maintenant la seconde partie de lnonc. La Proposition prcdente montre que f 7 x f est une isomtrie surjective
de E 0 sur E . Il reste dont voir quelle est semi_linaire ce qui rsulte aussitt de lunicit de x f ..
P ROPOSITION IV.4.9.
Pour quune famille (xi )iI dun espace de Hilbert soit totale (Dfinition III.5.1, page 67), il faut et il suffit que
y E et hxi , yi = 0, i I impliquent y = 0.
Dmonstration. Cest bien sr une consquence immdiate du Thorme prcdent et du Thorme de Hahn-Banach (Thorme
III.4.6, page 63), mais on peut donner un preuve trs simple nutilisant pas laxiome du choix. La condition est videment ncessaire, montrons quelle est suffisante. Soit F le sous-espace ferm de E engendr par les xi , i I . Si F 6= E , soit x0 E \ F ; alors
x0 PF (x0 ) est orthogonal F (Thorme IV.4.2) et non nul ce qui contredit lhypothse.
Un exemple classique dutilisation du Thorme sur le dual dun espace de Hilbert est lexistence de ladjoint dun oprateur
sur un espace de Hilbert :
P ROPOSITION IV.4.10.
Soient H un espace de Hilbert et T L (H) (i.e. une application linaire continue de H dans lui mme, ce
que lon appelle habituellement un oprateur sur H ). Alors il existe un unique oprateur T L (H) tel que,
pour tous x et y dans H on ait hT (x), yi = hx, T (y)i. T sappelle ladjoint de T . De plus kT k = kT k.
Philippe Charpentier
79
Dmonstration. En effet, y H tant fix, lapplication x 7 hT (x), yi tant une forme linaire continue sur H , daprs le Thorme
IV.4.3, page prcdente, il existe un unique lment T (y) de H tel que hT (x), yi = hx, T (y)i, pour tout x H . De lunicit, on
dduit aussitt que y 7 T (y) est linaire. De plus, kT (y)k = sup |hT (x), yi|, ce qui implique sup kT (y)k = kT k, ce qui signifie
que T est continu et que sa norme est gale celle de T .
kxk1
kyk1
P ROPOSITION IV.4.11.
Soient H un espace de Hilbert et T et U deux oprteurs sur H . Alors :
1. (T ) = T .
.
+ U
2. Pour tous scalaires et , on a (T + U) = T
3. (U T ) = T U .
SOUS-SECTION IV.4.5
P ROPOSITION IV.4.12.
Soient E un espace prhilbertien et F un sous-espace vectoriel de E .
1. F = F et, si E est un espace de Hilbert (ou, plus gnralement, si E est spar et F complet), on a
F = (F ) .
2. Supposons F est spar et complet. Alors F = ker PF et E est somme directe topologique de F et de F .
De plus, si E est spar, (ker PF ) = F , cest--dire, F = (F ) .
3. Si E est un espace de Hilbert, et si F est ferm, tout lment de E scrit de manire unique x = PF (x) +
PF (x), et on a kxk2 = kPF (x)k2 + kPF (x)k2 .
Dmonstration. Il est clair que F = F . Dmontrons tout dabord le 2. Si x F , pour tout z F , on a hx, zi = hPF (x), zi = 0 ce
qui montre que PF (x) = 0 puisque F est spar ; rciproquement, si PF (x) = 0, la mme relation montre que x F . Pour x E ,
on a x = PF (x) + (x PF (x)), et comme x PF (x) ker PF , on a E = F + ker PF . De plus cette somme est directe car si x F F ,
on a x = 0 car F est spar. Enfin, comme PF est continue (Proposition IV.4.6), cette somme directe est topologique. Enfin, il est
vident que F (ker PF ) , et, si x (ker PF ) , on a 0 = hx, x PF (x)i = hPF (x), x PF (x)i, ce qui montre que x = PF (x) puisque E
est spar. La seconde assertion du 1. se dduit alors aussitt du 2. puisque F est alors complet. Le 3. est maintenant vident car,
ce qui prcde montre que Id PF = PF .
Remarque IV.4.1. Mme si E est spar, si F nest pas complet, la seconde assertion du 1. peut tre mise en dfaut : il se peut
2 (C), en notant e = ( ) (symbole de Kronecker), soit E lespace
que F soit strictement contenu dans (F ) . Par exemple, dans lN
i
ij j
1
ei et soit F le sous-espace propre de E engendr par les ei ,
i=1 i
i 2. On voit alors aisment que F est ferm dans E et que F = {0}, ce qui montre que (F ) = E .
vectoriel engendr par les ei tels que i 2 et par le vecteur a =
80
SECTION IV.5
au plus pour un nombre fini dindices i I (i.e. support fini) muni du produit scalaire hx, yi = hxi , yi i est
MiI
un espace prhilbertien spar. On appelle somme hilbertienne externe des Ei , i I , et on note
Ei , lespace
iI
de Hilbert complt de G.
Dmonstration. La seule chose voir, est que G est bien un espace prhilbertien spar, ce qui est vident.
T HORME IV.5.1.
Soient (Ei )iI une famille despaces de Hilbert et E le sous-espace vectoriel de Ei form des points x = (xi )iI
iI
tels que kxi k < + (i.e. la famille (kxi k )iI est sommable). Alors :
iI
1. Pour tous x = (xi )iI et (yi )iI de E , la famille (hxi , yi i)iI est sommable.
2. Si on pose hx, yi = hxi yi i, x = (xi )iI E , (yi )iI E , alors hx, yi est une forme hermitienne positive
iI
non dgnre sur E qui dfinit une structure despace de Hilbert isomorphe le somme hilbertienne externe
des Ei , i I . On identifie ainsi toujours la somme hilbertienne externe des Ei lespace de Hilbert E .
Dmonstration. Le fait que E est un espace vectoriel rsulte de lingalit
xin+p xin
iK
kxi xin k2 , pour toute partie finie K de I , soit kxi xin k2 , pour n n , ce
iK
qui montre que (xn )nN converge vers (xi )iI et termine la preuve.
iI
P ROPOSITION IV.5.2.
Soit E la somme hilbertienne externe dune famille despaces de Hilbert (Ei )iI . Pour tout i I , soit fi lapplication de Ei dans E dfinie par fi (x) = (yi )iI , , avec, y j = 0, si j 6= i, et yi = x. Alors fi est un isomorphisme
(despaces de Hilbert) de Ei sur un sous-espace ferm de E , et on identifie toujours Ei ce sous-espace au moyen
de fi . De plus, cette identification tant
[ faite, les Ei sont des sous-espace deux deux orthogonaux de E et le
sous-espace vectoriel engendr par Ei est dense dans E .
iI
Dmonstration. Le fait que fi est un isomorphisme est vident, lorthogonalit deux deux des Ei aussi, et la dernire assertion
rsulte de la dmonstration du Thorme prcdent.
Philippe Charpentier
81
SOUS-SECTION IV.5.2
P ROPOSITION IV.5.3.
Soit E un espace de Hilbert somme hilbertienne des lments dune famille de sous-espaces Ei , i I , de E . Alors
il existe un unique isomorphisme (despaces de Hilbert) f de E sur la somme hilbertienne externe E des Ei tel
que (chaque Ei tant identifi un sous-espace de E comme dans la Proposition prcdente), pour chaque
i I , f|Ei = IdEi . Ainsi E sidentifie canoniquement lespace des familles (xi )iI , xi Ei , telles que la famille
(kxi k2 )iI soit sommable dans R, muni du produit scalaire hx, yi = hxi , yi i, et donc de la norme k(xi )iI k =
iI
iI kxi k
1/2
. Autrement dit, E est lensemble des sommes xi o (xi )iI est une famille sommable dans
iI
E telle que dune part xi Ei , i I , et, dautre part, que la famille (kxi k2 )iI*soit sommable
+ dans R (ce qui
implique la sommabilit de la famille (xi )iI dans E ) ; le produit scalaire est
xi , yi
iI
norme
xi
=
iI
kxi k2
!1/2
iI
= hxi , yi i et la
iI
iI
et y =
xi
iK
iI
yi , K partie finie de I , ces critures tant uniques, et hx, yi = hxi , yi i, ce qui montre que lapplication xi 7 (yi )iI ,
iK
iK
iK1
avec y j = x j , si j K , et yi = 0 sinon, est un isomorphisme de G sur un sous-espace dense de E qui se prolonge donc E tout
entier. Pour conclure, lunicit de f tant vidente, il suffit de remarquer que, si est cet isomorphisme, (E) est ncessairement
complet donc gal E puisque ce dernier est le complt de (G).
On remarquera que la sommabilit de (kxi k2 )iI implique la sommabilit de (xi )iI dans E puisque, par le Thorme de Py-
2
thagore, si K est une partie finie de I , on a
xi
= kxi k2 , les espaces Ei tant deux deux orthogonaux. Par ailleurs, si PEi
iK
iK
dsigne le projecteur orthogonal de E sur Ei , alors, clairement, pour toute somme finie de la forme x =
x j , i K , on a PE (x) = xi ,
i
jK
C OROLLAIRE .
Soit E un espace de Hilbert somme hilbertienne dune famille (Ei )iI de sous-espaces. Pour tout i I soit Pi la
projection orthogonale de E sur le sous-espace Ei . Pour tout x de E la famille (Pi (x))iI est sommable dans E
2
2
de somme x et la famille (kPi (x)k )iI est sommable dans R de somme kxk . De plus, pour tous x et y dans E
on a hx, yi = hPi (x), Pi (y)i.
iI
P ROPOSITION IV.5.4.
Soient E un espace prhilbertien spar et (Ei )iI une famille de sous-espaces vectoriels complets deux deux
orthogonaux. Pour tout i I soit Pi le projecteur orthogonal de E sur Ei , et, pour tout i I et tout x E , notons
xi = Pi (x). Soit enfin V le sous-espace vectoriel ferm engendr par la runion des Ei .
2
2
1. Pour tout x E on a kxi k kxk ;
iI
3. Si V est complet, la famille (xi )iI est sommable dans E et on a xi = PV (x) et kxi k = kPV (x)k , o PV
iI
iI
iI
conditions (b) et (c) du 2. sont quivalentes PW (x) = 0 ce qui quivaut x V E = V puisque V est ferm dans E . Enfin, si V est
complet, on a xi = Pi (PV (x)) pour tout i et il suffit dappliquer 2. PV (x).
SOUS-SECTION IV.5.3
dit quune famille (ei )iI dlments dun espace prhilbertien est orthogonale si, pour i 6= j, on a
ei , e j = 0. On dit que (ei )iI est orthonormale si elle est orthogonale et si de plus,pour tout i I , kei k = 1.
P ROPOSITION IV.5.5.
Soient E un espace prhilbertien spar, (ei )iI une famille orthonormale dans E et V le sous-espace vectoriel
ferm engendr par les ei .
2
1. Pour tout x E , on a |hx, ei i| kxk (Ingalit de Bessel). En particulier, lensemble des i I tels que
iI
iI
|i |2 < +, il existe un et un
iI
P ROPOSITION IV.5.6.
Soit (ei )iI une famille orthonormale dans un espace prhilbertien spar E . Les proprits suivantes sont
quivalentes :
Philippe Charpentier
83
(a) La famille (ei )iI est totale (Dfinition III.5.1, page 67).
(b) Pour tout x dans E , la famille (hx, ei i ei )iI est sommable dans E et x = hx, ei i ei .
iI
De plus, lorsque E est un espace de Hilbert, ces proprits sont aussi quivalentes la suivante :
(e) Les conditions hx, ei i = 0, i I , impliquent x = 0.
Lorsque ces conditions sont ralises, on dit que la famille (ei )iI est une base hilbertienne de lespace
prhilbertien E . De plus, lapplication x 7 (hx, ei i)iI est un isomorphisme de E dans lI2 (K).
Dmonstration. Lquivalence entre (a), (b) et (c) rsulte aussitt de la Proposition prcdente. Il en est de mme de (a) (d) si
on se place dans lespace de Hilbert complt de E , et (d) implique clairement (c). Enfin, lquivalence entre (a) et (e) lorsque E est
complet rsulte de la Proposition IV.4.9, page 79.
SOUS-SECTION IV.5.4
C OROLLAIRE .
Dans tout espace prhilbertien spar sparable il existe une base hilbertienne dnombrable. Le cardinal dune
base hilbertienne sappelle la dimension hilbertienne de lespace de Hilbert.
Remarque IV.5.1. On notera quil existe des espaces prhilbertiens spars qui ne possdent pas de bases hilbertiennes.
T HORME IV.5.3.
Dans un espace de Hilbert deux bases hilbertiennes sont quipotentes. De plus si (ei )iI et ( fi )iJ sont deux
bases hilbertiennes dun espace de Hilbert H il existe un automorphisme (i.e. conservant le produit scalaire)
de H qui transforme lune en lautre.
84
EXERCICES
Dmonstration. Soient B et C deux bases hilbertiennes dun espace de Hilbert E . Si lune des deux bases est finie, le rsultat est trivial puisqualors E est de dimension finie. Supposons donc ces deux bases infinies.Pour tout x B, soit Ax = {y C tels que hx, yi 6=
0}. Daprs le 1. de la Proposition IV.5.5, page 83, Ax est dnombrable. Comme B est une base hilbertienne, pour tout y C, il existe
x B tel que hx, yi 6= 0, ce qui montre que C est runion des ensembles dnombrables Ax , x B. Il existe donc une injection de C
dans N B, et donc, daprs le Corollaire 1 du Thorme B.3.2, page 113, une injection de C dans B. On conclut alors en changeant
les rles de B et C et en utilisant le Thorme de Cantor-Bernstein (Thorme B.1.1, page 111). La dernire assertion du Thorme
se voit trs simplement : si est le bijection entre les deux bases, par linarit, on construit une bijection linaire conservant le
produit scalaire entre lespace vectoriel engendr par la premire base et celui engendr par la seconde. Comme cette bijection
est uniformment continue (conservation du produit scalaire), elle se prolonge H (Proposition II.7.12, page 27) et on conclut en
changeant les rles de deux bases.
En se plaant dans le complt dun espace prhilbertien spar, les rsultats prcdents conduisent immdiatement la
remarque suivante :
Remarque IV.5.2. Si (ei )iI est une base hilbertienne dun espace prhilbertien spar E alors E x 7 (hx, ei i)iI est une isomtrie de E sur un sous-espace dense de lI2 (K).
SOUS-SECTION IV.5.5
orthonormalise le systme (t n )nN (qui est libre) on obtient un systme orthonorm (Pn )nN , o les Pn sont les polynmes
de Legendre
r
n
1 dn
1
2
n
+
1
t
.
2n n!
2 dt n
Les polynmes tant uniformment denses dans CC ([0, 1]), daprs le Thorme de Stone-Weierstrass, la famille (Pn )nN est
Pn (t) =
Hn (t) = 2
n
2
1
4
n!(1)n t 2
1
d n u2
[e ](t), n 1, H0 (t) = 4 ,
dt n
h f , gi =
f (t)g(t)dt.
Sn (t) =
2
1 t a
sin n +
,
ba
2 ba
Exercices
Exercice IV.1.
Soit E = C([0, 1], C) lespace des fonctions continues sur [0, 1] valeurs dans C. On considre sur E E lapplication ( f , g) 7
R
h f , gi = 01 f (x)g(x)dx. Dmontrer que cette application est une forme hermitienne non dgnre positive. Lespace E muni de
Philippe Charpentier
85
Exercice IV.8.
Lespace C ([0, 2], C) est muni du produit scalaire usuel et P est lapplication linaire continue de C ([0, 2], C) dans lui-mme
Z
1 2
(1 + ei(ts) + e2i(ts) )x(s)ds. Dmontrer que P est
dfinie de la faon suivante : Si x C ([0, 2], C) et y = P(x), alors y(t) =
Exercice IV.9.
Soient E = c0 muni de la norme k.k ; u la forme linaire dfinie sur E par u(x) =
xn
n0
et que si a
/ F , il nexiste pas dlments b F tel que d(a, F) = ka bk . Quelle remarque peut on faire ?
Exercice IV.10.
Donner une dmonstration simple du thorme de Hahn-Banach dans un espace de Hilbert.
86
EXERCICES
Exercice IV.11.
1. Soit = (n )n une suite borne de nombres complexes et T lapplication linaire de l 2 = l 2 (N, C) dans lui-mme dfinie
par T (x) = (n xn )n ; x l 2 . Dterminer ladjoint de T .
2. Soit S lapplication linaire de l 2 = l 2 (N, C) dans lui-mme dfinie par S(x) = (yn )n , y0 = 0, yn = xn1 si n > 0 ; x l 2 . Dterminer ladjoint de S.
3. On dsigne par E lespace de Hilbert complt de C ([0, 1], C) muni du produit scalaire usuel et par K une application continue de [0, 1] [0, 1] dans C. On dfinit une application linaire T de C ([0, 1], C) dans lui-mme de la faon suivante : si
R
f C ([0, 1], C), on pose T ( f )(x) = 01 K(x, y) f (y)dy. Dmontrer que T est une application linaire continue et en dduire
que T admet un prolongement linaire continu E , not S. Dterminer S (g) lorsque g est un lment quelconque de
C ([0, 1], C).
Exercice IV.12.
Soit u une application linaire continue de l 2 dans lui-mme.
1. On dsigne par en llment de l 2 dont toutes les composantes sont nulles sauf celle de rang n qui vaut 1.
(a) La famille {en } est elle une base hibertienne ? Pour tout n, on peut crire u(en ) =
m=0
m=0
(c) Soit, pour tout entier m, lapplication m : l 2 C, m (x) = hu(x), em i. Dmontrer quil existe y l 2 tel que pour tout
x l 2 , on ait m (x) = hx, yi. Dterminer la norme de m laide de y. En dduire que pour tout m la srie |mn |2
n
|mn |
est kuk .
n=0
2. On suppose maintenant que {en } est une base hilbertienne quelconque. Les rsultats prcdents sont ils encore vrais ?
Exercice IV.13.
Soit E un espace de Hilbert et T une application linaire continue de E dans lui-mme. Montrer que les deux assertions suivantes
sont quivalentes :
1. Il existe un sous espace ferm F de E invariant par T (i.e. T (F) F ), non trivial.
2. Il existe deux vecteurs x, y de E non nuls tels que y soit orthogonal lensemble {T n (x) ; n N}.
Exercice IV.14.
1
Soit E un espace de Hilbert muni dune base hilbertienne {en }nN . Soient an = e2n et bn = e2n + n+1
e2n+1 . On dsigne par A (resp.B)
le sous espace vectoriel ferm de E engendr par les an (resp. bn ). Montrer que :
1. A B = {0}.
n=0
3. A + B = E .
Exercice IV.15.
Soient H un espace de Hilbert et (en )n1 une suite libre, totale, dlments de H . On suppose que :
(i) x H,
| hx, en i |2 Ckxk2
n1
n1
3. Dmontrer que T est un isomorphisme de H sur lui-mme. En dduire que Q est aussi un isomorphisme de H sur lui-mme.
Philippe Charpentier
87
E XEMPLES DE S UJETS
ET DE C ORRIGS
D E XAMENS
Examen partiel de lanne
universitaire 2000-2001
Sujet
Exercice I
Question de cours prliminaire. Soient A et B deux parties compactes non vides disjointes dun espace mtrique. Dmontrer
que d(A, B) > 0.
Soit E un espace mtrique de distance note d . On appelle -chane dans E dorigine x E et dextrmit y E un ensemble
fini A = {x1 , . . . , xn } de points de E tels que x1 = x, xn = y et, pour tout i, 1 i n 1, d(xi , xi+1 ) .
1. Soient x E et > 0 fixs. Soit A = {y E pour lesquels il existe une -chane dorigine x et dextrmit y}.
(a) Montrer que A est ouvert ;
(b) Montrer que A est ferm
2. Dduire de la question prcdente que si E est connexe, pour tous x E , y E et > 0, il existe une -chane dorigine x et
dextrmit y.
3. On suppose E compact. Dmontrer que si pour tous x E , y E et > 0, il existe une -chane dorigine x et dextrmit y,
alors E est connexe (indication : raisonner par labsurde pour crire E = F1 F2 avec Fi , i = 1, 2, ferms non vides disjoints,
et utiliser d(F1 , F2 ) ).
Exercice II
Question de cours prliminaire. Soient A une partie dun espace topologique E . Dmontrer que les conditions suivantes sont
quivalentes :
(i)
A
est
d0 intrieur vide
(ii)
E \ A est
dense
dans E
89
(iii)
E \ A rencontre
tout ouvert
non vide de E
2. Dans cette question on se propose de dmontrer que les conclusions du thorme de Baire restent vraies lorsque lon se place
dans un espace topologique localement compact (i.e. sans utiliser de distance, et si on remplace la notion de compltude
par celle de compacit locale). Soit E un espace topologique localement compact (i.e. tel que tout point de E admet une base
de voisinages compacts) et soit (Fn !
)nN une suite de ferms de E dintrieurs vides. Soit O un ouvert non vide de E ; on se
[
Fi O 6= 0/ .
propose de montrer que E \
i=0
(a) Montrer quil existe un compact K0 dintrieur non vide contenu dans (E \ F0 ) O.
(b) En remplaant F0 par F1 , et O par K0 , montrer quil existe un compact K1 dintrieur non vide contenu dans (E \ (F0 F1 )) K0 .
(c) En raisonnant
! par rcurrence, montrer que, pour tout n N, il existe un compact Kn dintrieur non vide contenu dans
n
[
E \ Fi Kn1 .
i=0
Ki 6= 0/ et conclure.
i=0
Problme
Soit E un espace mtrique de distance note d . Pour toute partie A de E , on pose Vr (A) = {x E t.q. d(x, A) r}.
1. Montrer que Vr (A) est un voisinage ferm de A.
On suppose, maintenant que le diamtre de E est fini de sorte que A, B E , B 6= 0/ , il existe r > 0 tel que A Vr (B).
Soit P (E) lensemble des parties non vides de E . Si A et B sont deux lments de P (E), on pose
B) = (A, B)
B)
= (A,
.
(b) Montrer que (A, B) = (A,
(c) Montrer que (A, B) = 0 quivaut A B .
(d) Soit (Bi )iI une famille dlments de P (E). Montrer que
A,
iI
Bi
sup (A, Bi ) et
iI
Bi , A
iI
iI
nN
(a) Montrer que (Yn )nN est une suite dcroissante de ferms non vides de E et que (Yn )nN est de Cauchy dans FH (E).
\
(b) Soit Y =
Yn . Montrer que Y F (E) (i.e. que Y est ferm et non vide) et que lim dH (Xn ,Y ) = 0. Conclure que
n
nN
FH (E) est complet.
90
Corrig
Exercice I
Question de cours prliminaire. La fonction x 7 d(x, B) tant continue sur le compact A, daprs un thorme du cours, elle y
atteint son infimum : il existe x A tel que d(x, B) = d(A, B) ce qui montre bien (puisque AB = 0/ et B ferm impliquent d(x, B) > 0)
que d(A, B) > 0.
1.
), alors, par dfinition, il existe une -chane dorigine x et dextrmit z ce qui signifie que z A
(a) Soit y A . Si z B(y,
donc que A est ouvert.
) A 6= 0/ , ce qui montre que z A .
(b) Soit z A . Alors B(z,
2. Si E est connexe, A tant la fois ouvert ferm dans E et non vide (x A ), on a A = E , ceci pour tout > 0.
3. Si E nest pas connexe, par dfinition on peut crire E = O1 O2 avec O1 et O2 deux ouverts non vides disjoints. Comme Oi
est le complmentaire de O j , i 6= j, les Oi sont aussi ferms et donc compacts. La question de cours prliminaire donne alors
= d(O1 , O2 ) > 0 et, par suite, il ne peut pas exister d -chane joignant un point de O1 un point de O2 avec < .
Exercice II
Question de cours prliminaire. Par dfinition, E \ A est dense signifie que cet ensemble rencontre tout voisinage dun point
quelconque de E , donc tout ouvert non vide de E , ce qui montre que (ii) et (iii) sont quivalents. Enfin (iii) signifie que A ne peut
contenir aucun ouvert non vide, ce qui est (i).
1. Voir le cours.
2.
(a) Puisque E \ F0 est dense, cet ouvert rencontre O et (E \ F0 ) O est donc un ouvert non vide. Si x est un point de cet
ouvert, il existe un voisinage V de ce point contenu dans (E \F0 )O. Comme E est localement compact, on peut choisir
V compact : on prend K0 = V .
(b) Si on remplace F0 par F1 et O par K0 , on peut refaire le mme raisonnement, et il existe donc un compact K1 dintrieur
non vide contenu dans (E \ F1 ) K0 qui est lui-mme contenu dans (E \ (F1 F0 )) K0 par construction de K0 .
iN
iN
Problme
1. Vr (A) est ferm (image rciproque de ] , r] par la fonction continue x 7 d(x, A)) et {x E tels que d(x, A) < r} est un
ouvert contenant A.
2.
(a) Si r > (A, B), on a A Vr (B), donc d(x, B) r pour tout x A, ce qui montre que sup d(x, B) r. Ceci tant vrai pour
xA
tout r > (A, B), on a sup d(x, B) (A, B). Inversement, si = sup d(x, B), on a A V (B) donc (A, B) sup d(x, B).
xA
xA
xA
, ce
(b) Par continuit de x 7 d(x, B) et dfinition de ladhrence, on a sup d(x, B) = sup d(x, B), et, x A, d(x, B) = d(x, B)
xA
xA
iI
Bi , A
sup
d(x, A) = sup sup d(x, A)
S
iI
Bi
iI xBi
donne la seconde.
(e) Pour x A, on a d(x,C) = infyC d(x, y) infyC (d(x, z) + d(z, y)) = d(x, z) + d(z,C), pour tout z B. Donc, d(x,C)
infzB d(x, z) + supzB d(z,C) = d(x, B) + (B,C). On conclut alors en prenant le supremum sur les x A.
3. dH (A, B) = 0 quivaut B = A daprs le 1. (c). Lingalit triangulaire se dduit aussitt de lingalit du 1. (e) et de celle
obtenue en changeant A et C. La dernire proprit demande rsulte de 1. (d).
Philippe Charpentier
91
4.
(a) Il est clair que (Yn )nN est une suite dcroissante de ferms non vides, et le fait que cette suite est de Cauchy rsulte
aussitt du fait que la suite (Xn )nN lest et de lingalit du 2.
(b) Puisque (Yn )nN est de Cauchy, il existe une sous-suite (Ynk )kN de la suite (Yn )nN telle que dH (Ynk+1 ,Ynk ) < 2k . Voyons
(y)
(y)
alors, par rcurrence, que, pour tout k fix et tout y Ynk , existe une suite de Cauchy (y p ) pN telle que y p Ynk+p et
(y)
(y)
y0 = y : supposons les yl
construits pour 1 l p 1 ; comme dH (Ynk+p ,Ynk+p1 ) < 2(p1) , on a (Ynk+p1 ,Ynk+p ) <
(y)
(y)
2(p1) , et comme y p1
(y)
(y)
Ynk+p1 , il existe y p Ynk+p tel que d(y p , y p1 ) < 2(p1) . La suite ainsi construite est bien
de Cauchy et comme E est complet, elle converge et sa limite est dans tous les Yn ce qui montre que Y (qui est bien sr
vers Y . Considrons alors la suite (Ynk )kN dfinie ci-dessus ainsi que les suites (y p ) pN , y Ynk et (Xnk )kN . Par la question 2., on a dH (Xnk ,Y ) sup dH (Xnk , Xnk +p ) + dH (Ynk ,Y ), et, comme (Xn )nN est de Cauchy, pour > 0 fix, il existe
pN
k() tel que k k() implique dH (Xnk ,Y ) + dH (Ynk ,Y ). Fixons maintenant k k(). Comme nous lavons vu, la
p 0
(y)
(y)
d(y p
(y)
p 0 assez grand ( 0
(y)
p=0
2(k2) ,
1). Soit T : E E une application linaire. On dit que T est un oprateur compact
Soient E un espace norm complexe et B = B(0,
si T (B) est relativement compact dans E .
I
Dans cette partie, on suppose que T est un oprateur compact. Pour tout C, on note E = ker(T idE ). Soit = {
C \ {0} tels que E 6= {0}}.
1. Montrer que T est continu.
2. Montrer que sup | | kT k.
3. Soit F un sous-espace vectoriel ferm de E tel que T|F = k(idF ), k 6= 0. Montrer que F est de dimension finie.
4. Montrer que dim E < +, pour .
II
Dans cette partie E = C ([0, 1]; C) lespace des fonctions continues de [0, 1] dans C muni de la norme de la convergence uniforme. Soient K une fonction continue de [0, 1] [0, 1] dans C et, pour f E , T ( f ) la fonction dfinie sur [0, 1] par
T ( f )(x) =
Z 1
K(x,t) f (t)dt.
sup
(x,y)[0,1][0,1]
92
|K(x, y)|.
2. Montrer que si dim T (E) < + alors T est un oprateur compact. En dduire que si K est un polynme (cest--dire K(x, y) =
ai j xi y j , ai j C, n N dpendant de K ) T est un oprateur compact.
0i, jn
3. En utilisant le thorme de Stone-Weierstrass en dduire que T est limite, dans lespace norm L (E; E), dune suite doprateurs compacts.
4. En dduire que T est un oprateur compact (on montrera que T (B) est prcompact).
III
A partir de maintenant on suppose que E est un espace de Hilbert et que T est un oprateur compact symtrique cest--dire
que, x, y E , hT (x), yi = hx, T (y)i. On reprend les notations du I.
1. Montrer que R et que, si et sont deux lments dictincts de , alors E E .
2. Pour > 0, on pose = { tels que | | }.
(a) On suppose quil existe une suite infinie (n )n1 dlments de deux deux distincts. Pour tout n 1, soit xn
1
xn , n 1, montrer quil existe une sous-suite de Cauchy de la suite (xn )
n
3.
1
1
T x + T (x) , x + T (x)
1
1
T x T (x) , x T (x) .
4 kT (x)k2 =
(c) Soit NT = sup |hT (z), zi|. Dduire de ce qui prcde que
kzk1
2
4 kT (x)k NT
2
2 !
x + 1 T (x)
+
x 1 T (x)
.
1
2
2
2
(d) Conclure que 2 kT (x)k NT kxk + 2 kT (x)k , et, en choisisant convenablement, que kT k = NT .
(e) Soit (xn )n1 une suite dans E telle que kxn k = 1 et lim hT (xn ), xn i = avec = kT k.
2
Corrig
1. Voir le cours.
I
1. Puisque T est compact, T (B) est born ce qui implique que T est continu.
2. Si , et x E \ {0}, on a | | kxk = kT (x)k kT k kxk, donc | | kT k.
3. Comme T|F = k(idF ), T (B F), qui est relativement compact, est la boule ferme de centre 0 et de rayon k de F . Le Thorme
de Riesz implique donc que F est de dimension finie.
4. Comme T|E = (idE ) ceci rsulte de la question prcdente.
II
Philippe Charpentier
93
Z 1
|K(x,t)| | f (t)| dt
sup
|K(x, y)| k f k.
(x,y)[0,1][0,1]
2. Comme T est continu, T (B) est born dans T (E) qui est de dimension finie donc isomorphe Cn . La caractrisation des
compacts de Cn donne donc que T (B) est relativement compact. Si K est un polynme, on a
n
T ( f )(x) =
ai j
i=1
j=1
Z 1
t f (t)dt xi ,
ce qui montre que T ( f ) est un polynme de degr au plus n donc que T (E) est de dimension finie et, par suite, T est compact.
3. Le Thorme de Stone-Weierstrass appliqu lalgbre des polynmes deux variables sur [0, 1] [0, 1] montre que K est
limite uniforme dune suite Kn de polynmes. Si on note Tn loprateur associ Kn de la mme manire que T est associ
K , on a
Z 1
T ( f )(x) Tn ( f )(x) =
4. Puisque Tn est compact, pour tout > 0, Tn (B) peut tre recouvert par un nombre fini de boules B( fi , ). Si kTn T k < ,
T (B) est donc recouvert par les boules B( fi , 2). Ceci montre que T (B) est prcompact, et, comme E est complet, T (B) est
relativement compact.
III
1. Soient et x E \ {0}. Alors hT (x), xi = hx, T (x)i donne kxk2 = kxk2 , ce qui montre que R. Si x E et y E ,
6= , on a hT (x), yi = hx, T (y)i, ce qui donne hx, yi = hx, yi (puisque est relle) qui implique hx, yi = 0.
2.
1
1
, et comme T est compact, on peut extraire de la suite xn une sous-suite conver= xn et
xn
(a) Comme T
n
2
gente ce qui est absurde puisque, daprs le 1.,
x p xq
= 2 si p 6= q.
1
xn
n
(a) Le (i) est vident, le (ii) rsulte du fait que T est symtrique et le (iii) sobtient immdiatement par un calcul direct.
(b) La formule demande sobtient en remplaant x par x et y par
1
T (x) dans la formule du (a) (iii).
(c) Il suffit de remarquer que |hT (w), wi| NT kwk2 et dappliquer ceci aux deux membres de droite de lingalit du (b).
(d) Lingalit demande rsulte aussitt du (c) et du Thorme de la mdiane. En prenant =
kT (x)k
kxk
1/2
, pour x 6= 0,
il vient 2 kT (x)k2 2NT kT (x)k kxk cest--dire kT (x)k NT kxk ce qui signifie kT k NT . Comme lingalit inverse
est immdiate, on a bien kT k = NT .
(e)
i. En effet,
Examen de la session de
Septembre 2001
Sujet
Exercice I
94
Soit I = [0, 1]. On note E lespace mtrique des fonctions continues de I dans R muni de la distance du de la convergence
uniforme
sur I . Pour toutentier n N, on note Xn le sous-espace de E constitu des fonctions f E telles quil existe t f I tel que
s I , f (s) f (t f ) n s t f .
1. (Question de cours prliminaire) noncer le thorme de Baire.
2. Dmontrer que Xn est ferm.
3. Soient f E , > 0 et m N . Soit p N tel que
i
. Pour tout entier i, 0 i p, soit ai = .
p m
p
(a) Montrer que lon peut choisir p de sorte que, pour tout i, 0 i p 1, si a et b sont deux points de [ai , ai+1 ], on ait
| f (a) f (b)| .
(b) Pour 0 i p 1, soit bi le milieu de [ai , ai+1 ]. Soit fm, la fonction de E dfinie de la manire suivante : pour 0 i p,
fm, (ai ) = f (ai ), pour 0 i p1, fm, (bi ) = f (ai )+2 , et, sur les intervalles [ai , bi ] et [bi , ai+1 ], fm, est affine. Montrer
que :
i. a I , il existe b I , b 6= a, tel que | fm, (a) fm, (b)| m |a b|.
ii. du ( f , fm, ) 3 .
(c) Conclure que, pour tout entier n N, Xn est dintrieur vide.
4. Soit F E lensemble des fonctions qui ne sont drivables en aucun point de I . Dduire de ce qui prcde que F est dense
dans E .
Exercice II
1. (Question de cours prliminaire) noncer le thorme de Stone-Weierstrass complexe.
2. Soient F un espace norm et F1 un sous-espace de F . En utilisant le fait quune forme linaire continue sur un sous-espace
de E se prolonge en une forme linaire continue sur F (thorme de Hahn-Banach) montrer que F1 est dense si et seulement
si la seule forme linaire continue sur F nulle sur F1 est 0 (si F1 6= F et x0 F \F1 , considrer la forme linaire : x+ x0 7
sur F1 Kx0 et remarquer que ker = F1 est ferm).
Soient K un compact de R et une partie de C ayant un point daccumulation dans C. Soit E = Cu (K; C) lespace norm des
fonctions continues de K dans C muni de la norme de la convergence uniforme.
3. Pour tout z C, montrer que la fonction fz dfinie par
fz (t) =
zk
t k k! ,
k=0
zk
L(k ) k! a un rayon de convergence infini (on majorera |L(k )| convenablement) et que sa somme est L( fz ).
k=0
)
zk
(b) En dduire que lensemble z C tels que L(k ) = 0 a un point daccumulation dans C. On admettra que ceci
k!
k=0
implique L(k ) = 0, pour tout k N (proprit classique des sries entires).
Philippe Charpentier
95
Corrig
Exercice I
1. Voir le cours.
2. Soit ( f p ) pN une suite
de Xn qui converge uniformment vers une fonction f de E . Pour tout p soit t p tel que,
de fonctions
vers t f I
s I , f (s) f (t p ) n s t p . Soit (pk )kN une suite strictement croissante dentiers
telle
que (t pk)kN converge
(compacit de I ). Soit > 0, et choisissons k N de sorte que, pour k k on ait
f f pk
< et t pk t f . Alors, pour
k k et s I , on a
f (s) f (t f ) f (s) f p (s) + f p (s) f p (t p )
k
k
k
k
+ f pk (t pk ) f pk (t f ) + f pk (t f ) f (t f )
2 + n s t pk + n t f t pk
2(n + 1) + n s t f .
Comme ceci est valable pour tout > 0, on a bien montr que f Xn .
3.
(a) Ceci rsulte immdiatement de la continuit uniforme de f qui rsulte du fait que I est compact.
(b)
i. Si a [ai , ai+1 ], il suffit de prendre b dans le mme intervalle [ai , bi ] ou [bi , ai+1 ] que a.
ii. Immdiat par construction.
3. Ceci est immdiat par convergence normale de la srie (si |t| M sur K , on a t k!z
srie convergente).
4.
z
(a) En effet, si |t| M sur K , on a |L(k )| kLk M k , donc L(k ) k!
kLk
puisque fz =
zk
(M|z|)k
qui est le terme gnral dune
k!
(M|z|)k
k! , ce qui donne aussitt la conclusion
k k! .
k=0
(b) En effet, ceci rsulte de la question prcdente, puisque, par choix de L, L( fz ) = 0 pour tout z .
(c) Puisque L(k ) = 0 pour tout entier k, si P est la restriction dun polynme K , on a L(P) = 0. Par le thorme de
Stone-Weierstrass ceci implique L = 0.
5. Ceci rsulte de la premire partie de lexercice.
Exercice III
1.
(a) En dveloppant hA(x + y), x + yi, on trouve que hA(x), yi + hA(y), xi est rel, et en dveloppant hA(x + iy), x + iyi), on
trouve que hA(x), yi hA(y), xi est imaginaire pur, ce qui donne le premier rsultat. Le second est lmentaire.
(b) Cest lingalit de Cauchy-Schwarz.
2.
96
(a) vident.
Licence de Mathmatiques Pures de Bordeaux
Module LA1
(a) En effet, puisque An idE , on a hAn (x), xi kxk2 . Comme An est positif, par 1. (b) on a |hAn (x), yi| kxk kyk, et la
conclusion sobtient en prenant le sup sur y puis le sup sur x.
(b)
i. Le fait que 0 B idE rsulta de lhypothse sur la suite (An ). La question 1. (b) donnekB(x)k2 = |hB(x), B(x)i|
hB(x), xi1/2 hB(B(x)), B(x)i1/2 . Comme B idE , on a hB(B(x)), B(x)i hB(x), B(x)i = kB(x)k2 , ce qui donne le
rsultat.
ii. Immdiat.
iii. Comme la suite (hAn (x), xi)n est croissante et majore par kxk2 , elle est convergente donc de Cauchy. La conclusion
rsulte donc de la question prcdente.
(c) Clairement hAn (x), xi hA(x), xi kxk2 . De plus la convergence ponctuelle implique aussitt que A est linaire. Ainsi A
est un endomorphisme (algbrique) de H tel que, x H , 0 hA(x), xi kxk2 . Comme la question 1. on en dduit que
(x, y) 7 hA(x), yi est une forme hermitienne sur H , et lingalit de Cauchy-Schwarz combine lingalit precedente
donne kA(x)k kxk, ce qui montre que A L (H). La dernire ingalit est vidente.
et vrifie
Montrer que tout point de A p,q est isol (i.e. pour tout a A p,q il existe un voisinage V de a tel que V A p,q = {a}).
2. Montrer que, pour tout a A p,q , il existe un entier n et un rel ra > 0 tels que B(xn , ra ) A = {a} (B(xn , ra ) dsignant la boule
ouverte de centre xn et de rayon ra ).
3. En dduire que A p,q est au plus dnombrable (i.e. quil existe une injection de A p,q dans N).
4. En dduire que lensemble des points a de E tels que la limite lim f (x) existe et est diffrente de f (a) est au plus dnombrable
xa
x6=a
(on pourra utiliser que Q2 est dnombrable et que toute runion au plus dnombrable densembles au plus dnombrables
est au plus dnombrable).
Exercice III
Question de cours. Montrer quun espace mtrique E est connexe si et seulement si toute fonction continue f de E dans {0, 1}
est constante.
Soient
E1 = {(x, y) R2 tels que x R \ Q et 0 y 1},
Philippe Charpentier
97
r).
3. Montrer que x E , r > 0, B(x, r) = B(x,
On se propose de montrer, en raisonnant par labsurde, que toute boule (ouverte ou ferme) de E est connexe.
Soit B = B(x, r), r > 0, une boule ouverte de E non connexe.
4. Montrer quil existe deux ouverts non vides O1 et O2 de E tels que O1 O2 = 0/ et B = O1 O2 .
5. Soit x O1 . Montrer quil existe > 0, < r, tel que B(x, ) est contenu dans O1 , et, > 0, B(x, + ) nest pas contenu
dans O1 .
6. Montrer que B(x, ) O1 (remarquer que B(x, ) B(x, r)).
7. Conclure.
Corrig
Exercice I
1. Comme on sait que x d(x, A) et x d(x, B) sont continues (cours), le rsultat est vident.
2. Si g(x) = d(x, A) d(x, B), il suffit clairement de prendre U = g1 (] , 0[) et V = g1 (]0, +[).
Exercice II
1. Soient a A p,q et r un rationnel tel que p < r < q. Par hypothse, il existe un voisinage V de a tel que x V on a f (x) > r
(puisque lim f (x) q). Ceci implique que V ne contient aucun point de A p,q , par dfinition mme de A p,q .
xa
x6=a
2. La question prcdente donne quil existe > 0 tel que B(a, ) A = {a}. Soit n tel que d(a, xn ) < /4 (densit de la suite
(xn )). Alors n et ra = /2 rpondent clairement la question : a B(xn , ra ) B(a, ), la seconde inclusion rsultant de
lingalit triangulaire : si y B(xn , ra ), on a d(a, y) d(a, xn ) + d(xn , y) < /4 + /2 = 3/4 < .
3. Soit n(a) le plus petit entier m tel que B(xm , ra ) A = {a}. Si a et a0 sont deux lments distincts de A on ne peut avoir
n(a) = n(a0 ), car, dans le cas contraire, si, par exemple ra0 ra , on aurait B(xn(a0 ) , ra0 ) A = {a, a0 }. Ceci montre que a n(a)
est une injection de A p,q dans N.
4. Il rsulte de la question prcdente que lensemble des points a de E tels que la limite lim f (x) existe et est strictement
xa
x6=a
2
Q (par densit de Q dans R), est dnombrable (car Q est
infrieure f (a) , qui est la runion des A p,q pour p < q, (p, q)
dnombrable et donc Q2 aussi : mme preuve que pour Q dnombrable). Il en est bien sr de mme de celui des points a de
E tels que la limite lim f (x) existe et est strictement suprieure f (a), ce qui conclut.
xa
x6=a
98
Exercice III
Question de cours : voir le cours.
1. En effet, si x est un irrationnel dans I =]x , x + [, les ouverts ] , x[R et ]x, +[R sparent V (x, y) E lorsque y < 0 :
ils ont une intersection non vide avec E et leur intersection est vide. Dans le cas y 0, il suffit de prendre x Q.
2. Si x R \ Q, on pose g(x) = f (x). Si x Q, on pose g(x) = f (x, y), y < 0. La continuit de g est alors vidente en tout point
de R \ Q, puisque f lest par hypothse, et, en un point x Q, comme f|Q est continue (par continuit de f ), il suffit de voir
que si (xn ) est une suite dirrationels qui converge vers x, ( f (xn )) converge vers f (x) ; or, pour tout n il existe yn Q tel que
|xn yn | < 1/n et | f (xn ) f (yn )| < 1/n (par continuit de f en xn R \ Q), donc f (yn ) f (x) (yn x et f|Q continue) ce qui
conclut. Enfin, on a bien sr f (E) = g(R).
3. Il suffit dappliquer le rsultat de la question prcdente une fonction continue de E dans {0, 1}, car une telle fonction est
videment constante sur chaque segment {x} [0, 1], pour x R \ Q, et {x} [1, 0[, pour x Q (car ils sont connexes) :
alors la connexit de R implique que g est constante et donc f aussi.
Exercice IV
1. Comme ({a} F) (E {b}) 6= 0/ , et que {a} F et E {b} sont connexes, car respectivement homomorphes F et E , la
conclusion rsulte du cours : une runion de connexes dintersection non vide est connexe.
\
[
2. Soit b0
/ B. Alors
(({x} F) (E {b0 })) 6= 0/ ce qui implique que Gb0 =
(({x} F) (E {b0 })) est connexe pour
xA
/
xA
/
yB
/
fait que (E F) \ (A B) = Gb0 Ga0 et que Gb0 Ga0 6= 0/ car cet ensemble contient (a0 , b0 ).
ExerciceV
1. Il suffit de prendre, dans un espace mtrique discret ayant au moins deux points, une boule ouverte de rayon 1 : elle est
rduite un point, donc ferme puisqugale la boule ferme de mme centre et de rayon 1/2, et la boule ferme de rayon
1 est tout lespace.
2. Dans le mme exemple on prend une boule ouverte ou ferme de rayon 2 : cest tout lespace qui nest pas connexe, les points
tant des ouverts (c.f. question prcdente).
3. Si y
/ B(x, r), il existe une boule ferme de centre y qui ne rencontre pas B(x, r). Son complmentaire est donc un voisinage
r) puisque B(x,
r)
/ B(x,
de B(x, r) qui contient donc (par hypothse) une boule B(x, r + ), > 0, ce qui montre que y
B(x, r + ).
4. Cest la dfinition mme de la non connexit puisque B(x, r) est un ouvert.
5. Comme O1 est ouvert, il existe > 0 tel que B(x, ) O1 . On considre donc le sup de ces . Il est strictement infrieur r
car O2 6= 0/ .
) est un ferm contenu dans B(x, r), B(x, ) est ferm dans B(x, r). Comme O1 est ferm dans B(x, r) (comme
6. Comme B(x,
complmentaire de louvert O2 ) et contient B(x, ), il contient aussi B(x, ).
7. Lhypothse implique alors quil existe > 0 tel que B(x, + ) O1 ce qui contredit la dfinition de . Ceci montre que
toute boule ouverte est connexe, et, comme ladhrence dune boule ouverte est la boule ferme (question 3.), il en rsulte
que toute boule ferme est aussi connexe (daprs un rsultat du cours).
Philippe Charpentier
99
(I)
(II)
(ii)
Pour tout y X , la fonction y : f 7 f (y) est une forme linaire continue sur E .
Dans la suite de cet exercice, on suppose que lespace de Hilbert E possde un noyau reproduisant.
2. Montrer que, (x, y) X X , K(x, y) = hK(., y), K(., x)i, K(x, x) = kK(., x)k2 , K(x, y) = K(y, x) et |K(x, y)|2 K(x, x)K(y, y).
3. Montrer que, pour toute f E et tout y X , on a | f (y)| k f k K(y, y)1/2 .
4. En dduire que si (gn )nN est une suite de fonctions de E qui converge dans E vers g, alors, pour tout x X , lim gn (x) = g(x)
n
dans C, et que cette convergence est uniforme sur toute partie de X o K(x, x) est born.
5. On suppose maintenant, de plus, que E possde une base Hilbertienne ( fn )nN .
(a) Montrer que, (x, y) X X , K(x, y) =
nN
(b) Pour g E , posons cn (g) = hg, fn i. Montrer que, pour tout x X , on a g(x) =
dans C et que, de plus, cette convergence est uniforme dans toute partie de X o K(x, x) est borne.
(c) Donner une condition sur la base ( fn )nN quivalente lexistence du noyau reproduisant K .
Exercice II
1. Soient E et F deux espaces mtriques compacts. Montrer que, pour tout 0, et toute fonction f C (E F; R), il existe
n
i=1
sous-algbre de C (E F; R) engendre par les fonction (x, y) 7 u(x) et (x, y) 7 v(y) o u C (E; R) et v C (F; R)).
des fonctions ui C (E; R) et vi C (F; R), 1 i n, telles que (x, y) E F , f (x, y) ui (x)vi (y) (considrer la
Dans la suite de cet exercice on se propose de construire un exemple o F nest pas compact et o la proprit ci-dessus nest pas
satisfaite.
2. Pour tout entier n 1, soit Bn la boule ferme de R2 (pour la norme euclidienne) de centre cn = (1/n, n) et de rayon 1/4n2 .
(a) Montrer que, pour n 6= m, on a Bn Bm = 0/ .
(b) Montrer que, pour tout n 1, il existe une fonction n C (R2 ; R) telle que n (cn ) = 1, 0 n 1 et n (z) = 0 si z
/ Bn .
(c) Soit I = [0, 1]. Dduire de ce qui prcde que la formule g =
n1
(d) Montrer que, si pour tout entier n 1 on pose gn (x) = g(x, n), x I , on a :
i. sup |gn (x)| = 1 ;
xI
3. Soit G un sous-espace vectoriel de dimension finie de C (I; R). On suppose C (I; R) muni de la norme de la convergence
uniforme note k.k. Montrer quil nexiste pas de suite de fonctions hn G, n 1, telle que, pour tout n, kgn hn k 1/4
(raisonner par labsurde et utiliser le thorme de Riesz).
4. Conclure
Exercice III
Soit E un espace mtrique complet de distance note d . Soient (Un )nN une suite douverts de E et A =
Un . On suppose
nN
fn (x, y) =
d(x, E \Un ) d(y, E \Un )
puis
d 0 (x, y) = d(x, y) +
1 fn (x, y)
.
n 1 + f (x, y)
2
n
nN
t
est croissante sur R+ ).
1+t
100
Corrig
Exercice I
1. Le fait que (i) implique (ii) rsulte de la proprit (II). Supposons (ii) vrifie. Par le thorme sur le dual dun espace de
Hilbert, il existe donc un lment K(., y) de E tel que f (y) = h f , K(., y)i, pour toute f E , ce qui est (i).
2. La premire relation rsulte de lhypothse (II) et les autres sen dduisent immdiatement.
3. Immdiat par (II) et 2.
4. Immdiat par 4.
5.
(a) En effet, on a K(., y) = hK(., y), fn i fn = h fn , K(., y)i fn = fn (y) fn , la srie convergeant dans E . Il suffit donc dapn
pliquer le 4.
(b) Comme g = cn (g)gn , il suffit dappliquer le 4.
n
(c) Si K existe, le (a) montre que | fn (x)|2 < +, pour tout x E . Rciproquement, si cette condition est satisfaite, on
n
peut dfinir K(x, y) par la formule du (a), et les conditions (I) et (II) sont satisfaite car ( fn ) est une base hilbertienne.
Exercice II
1. En effet, la sous-algbre de C (E F; R) indique dans lnonc contient les fonctions constantes et spare les points de
E F , et il suffit dappliquer le thorme de Stone-Weierstrass.
2.
(a) Immdiat, la distance des centres tant suprieure 1 et la somme des rayons infrieure 1/2.
(b) Il suffit de prendre n (z) =
si z Bn
, o d est la distance euclidienne sur R2 .
sinon
n1
n1
t
donne
1+t
fn (x, y)
fn (x, z) + fn (y, z)
fn (x, z)
fn (y, z)
+
.
1 + fn (x, y) 1 + fn (x, z) + fn (y, z) 1 + fn (x, z) 1 + fn (y, z)
3. Soient x A et r > 0. Notons Bd (x, r) (resp. Bd 0 (x, r)) la boule ouverte de A de centre x et de rayon r pour la distance d (resp.
d 0 ). Clairement, Bd 0 (x, r) Bd (x, r). Pour conclure, montrons quil existe r0 > 0 tel que Bd (x, r0 ) Bd 0 (x, r). Soit m un entier
1 fn (x, y)
1
m1 r/3. La question 1. montre que, pour chaque n, il existe rn > 0 tel que
n 1 + f (x, y)
2
2
n
n=m
d(x, y) < rn implique fn (x, y) < r/6. Alors si r0 < min{r, rn , 0 n m}, d(x, y) < r0 implique d 0 (x, y) < r0 + 2r/3, et il suffit de
prendre r0 = r/3.
tel que, pour tout y A,
4. Soit (xn )nN une suite de points de A de Cauchy pour d 0 . Alors cette suite est aussi de Cauchy pour d et converge donc vers
x E , pour d . Pour conclure, en vertu du 3., il suffit de montrer que x A. Or, si ce ntait pas le cas, on aurait x
/ Un pour
un certain n ; mais alors on aurait, pour tout p, lim fn (x p , xq ) = +, ce qui implique lim d 0 (x p , xq ) 1/2n et contredit le fait
q
Philippe Charpentier
101
ANNEXE
Axiome du Choix
Lemme de Zorn
Cardinalit des Ensembles
A NNEXE A
AXIOME DU CHOIX
LEMME DE ZORN
D
A ns cette annexe, on se propose de dmontrer le Lemme de Zorn partir de laxiome du choix. On suppose connue la
thorie lmentaire des ensembles. La preuve prsente est la preuve classique partir du Thorme de Zermelo. On
introduit donc, avec un minimum de dtails, la thorie des ensembles ordonns qui est ncssaire pour le Thorme
de Zermelo. On pourra trouver un expos dtaill de la thorie des ensembles ordonns dans [Bou67].
SECTION A.1
Laxiome du choix
Un nonc simple de lAxiome du choix est le suivant :
Une consquence immdiate de cet Axiome est la Proposition apparament anodine suivante :
P ROPOSITION A.1.1.
Soient E un ensemble non vide et S une partie de P(E) \ {E}. Alors il existe une application f de S dans E
telle que, A S on ait f (A)
/ A.
Dmonstration. Il suffit dappliquer lAxiome du choix la fonction F : S P(E) dfinie par F(A) = E \ A.
Le but de cette annexe est de dmontrer le Lemme de Zorn partir de lAxiome du choix (en fait lAxiome du choix est quivalent au Lemme de Zorn). Comme ce dernier porte sur les ensembles ordonns, il nous faut commencer par introduire ceux-ci et
dmontrer un certains nombre de rsultats non triviaux leur sujet.
105
SECTION A.2
Dfinition A.2.2.
Soient E et F deux ensembles ordonnes et f une application de E dans F . On dit que f est croissante (resp.
strictement croissante, dcroissante, strictement dcroissante) si x y (resp. x < y) implique f (x) f (y)
(resp. f (x) < f (y), f (y) f (x), f (y) < f (x)). De plus, f est dite monotone (resp. strictement monotone)
si elle est croissante ou dcroissante (resp. strictement croissante ou dcroissante). On dit que f est un
isomorphisme si elle est bijective croissante ainsi que son inverse.
Il est clair que toute application monotone injective est strictement monotone. Inversement :
P ROPOSITION A.2.1.
Soient E un ensemble totalement ordonn et F un ensemble ordonn. Toute application strictement monotone f de E dans F est injective. en particulier, si f est strictement croissante cest un isomorphisme de E sur
f (E).
Dmonstration. En effet, x 6= y implique x < y ou y < x donc f (x) < f (y) ou f (y) < f (x) donc f (x) 6= f (y). Alors, si f est par exemple
croissante, si f (x) f (y) on a ncessairement x y, ce qui montre que f 1 est croissante.
Dfinition A.2.3.
Soit E un ensemble ordonn. Un lment a de E est appel lment maximal (resp. minimal) de E si la
relation x a (resp. x a) implique x = a. a E est dit le plus petit (resp. grand) lment de E si, x E on
a a x (resp. x a). On dit quun ensemble ordonn E est bien ordonn si toute partie non vide de E admet
un plus petit lment.
On remarquera que tout ensemble bien ordonn est totalement ordonn puisque toute partie deux lments a un plus petit
lment.
La Proposition suivante est immdiate :
P ROPOSITION A.2.2.
Soit E un ensemble ordonn. Soit E 0 la runion (disjointe) de E et dun ensemble rduit un point {a}. Alors,
sur E 0 il existe un et un seul ordre induisant lordre de E et pour lequel a soit le plus grand lment.
Dfinition A.2.4.
Soit E un ensemble ordonn.
1. On appelle segment de E une partie S de E telle que x S et y x implique y S.
2. Si a et b sont deux points de E on appelle intervalle ferm (resp. ouvert, semi-ouvert droite, semiouvert gauche) dorigine a et dextrmit b lensemble [a, b] = {x E tels que a x b} (resp. ]a, b[= {x
E tels que a < x < b}, [a, b[= {x E tels que a x < b}, ]a, b] = {x E tels que a < x b}).
3. Si a E , on appelle intervalle ferm illimit gauche (resp.ouvert illimit gauche, ferm illimit
droite, ouvert illimit droite) lensemble ] , a] = {x E tels que x a} (resp. ] , a[= {x tels que x <
a}, [a, [= {x E tels que a x}, ]a, [= {x E tels que a < x}).
106
P ROPOSITION A.2.3.
Soit E un ensemble bien ordonn. Tout segment de E distinct de E est un intervalle de la forme ] , a[, a E ,
et a sappelle lextrmit du segment.
Dmonstration. En effet, comme E \ S est non vide, il a un plus petit lment a. Alors la relation x a implique x
/ S (sinon on
aurait a S) et, par suite, E \ S = [a, [, do on dduit le rsultat.
SECTION A.3
Dmonstration. [
Montrons tout dabord lunicit. Si G est lordre donne sur X , A, et si G est un ordre sur E qui rpond la
question, on a
G G. Par ailleurs, lhypothse 1. implique que si (x, y) E E , il existe A tel que (x, y) A A , et,
A
donc, si (x, y) G, on doit avoir (x, y) A , ce qui montre que lon doit avoir
G = G.
P ROPOSITION A.3.2.
Soit (Xi )iI une famille densembles bien ordonns telle que, pour tout couple dindices (i, j) I I , lun des
ensembles Xi et X j soit un segment de lautre (i.e. par exemple Xi X j , lordre de Xi est induit par celui de X j
[
et x Xi , y X j , y x implique y Xi ). Alors sur E = Xi il existe un et un seul ordre qui induise sur chacun
iI
des Xi lordre donn. Muni de cet ordre E est bien ordonn. De plus :
a) Tout segment de Xi est un segment de E .
b) Pour tout x Xi , le segment dextrmit x dans Xi est gal au segment dextrmit x dans E .
c) Tout segment dans E est E tout entier ou un segment de lun des Xi .
Dmonstration. Remarquons tout dabord que la premire assertion est un cas particulier de la Proposition prcdente. Montrons
maintenant que chaque Xi est un segment de E : si x Xi et y E est tel que y x, il existe j tel que y X j et alors, soit X j est un
segment de Xi ce qui implique y Xi , soit Xi est un segment de X j et on a aussi y Xi . De plus, comme chaque segment de Xi , non
gal Xi , est un intervalle (Proposition A.2.3), ce raisonnement montre aussi que le segment dextrmit x dans Xi est lintervalle
] , x[ dans E . Montrons maintenant que E est bien ordonn. Soit H une partie non vide de E et soit i I tel que H Xi 6= 0/ . Comme
Xi est bien ordonn, H Xi a un plus petit lment a dans Xi . Soit x H ; il existe j I tel que x X j ; si X j est un segment de X j ,
on a x Xi et, par suite a x ; si Xi est un segment de X j , et si x < a, alors x Xi ce qui est une contradiction. Ainsi (puisque X j est
totalement ordonn) on a a x, ce qui montre que a est le plus petit lment deH dans E . Reste voir le c). Or, si S est un segment
de E non gal E , il est de la forme ] , x[ (Proposition A.2.3), et la conclusion rsulte de ce qui prcde.
P ROPOSITION A.3.3.
Soient E un ensemble une partie de P(E) et p une application de dans E telle que p(X)
/ X pour tout
X . Alors il existe une partie M de E et un bon ordre sur M tels que :
1. Pour tout x M , ] , x[ et p(] , x[) = x.
2. M
/ .
Dmonstration. Soit M lensemble des parties G de E E telles que, dune part, G est un bon ordre sur , et, dautre part, x
pr1 (U), ] , x[ et p(] , x[) = x. Montrons tout dabord que si G et G0 sont deux lments de M telles que U = pr1 (G) U 0 =
Philippe Charpentier
107
pr1 (G0 ), on a G = G0 (pr1 (G) pr1 (G)) et pr1 (G) est un segment de pr1 (G0 ). Soit V lensemble des x U U 0 tels que tes segments
dextrmit x dans U et dans U 0 soient les mme ainsi que les ordres induits sur ce segment par ceux de U et U 0 . Il est clair que V est
un segment dans U et dans U 0 et que les ordres induits sur v sont les mme. Il nous suffit donc de montrer que V = U ou V = U 0 .
Or, si on suppose V 6= U et V 6= U 0 , alors U \V et U 0 \V sont tous deux non vides et ont donc chacun un plus petit lment x et x0 .
Ainsi V[=] , x[ la fois dans U et dans U 0 . Ceci implique V et p(V ) = x = x0 , et donc x V ce qui est absurde. Posons alors
pr1 (G). Appliquons maintenant la Proposition prcdente la famille des pr1 (G), G M : soit GM le bon ordre donn
M=
GM
par cette Proposition sur M ; Pour tout x M , ], X[ est un segment de lun des pr1 (G), G M , ce qui signifie que GM M . Reste
donc montrer que M
/ . Supposons M , alors, si a = p(M), a
/ M , et on peut adjoindre a M comme plus grand lment
(Proposition A.2.2) et obtenir un ensemble bien ordonn M 0 = M {a}. Alors M =] , a[ dans M 0 donc ] , a[ et p(] , a[) = a,
ce qui montre que lordre GM 0 sur M 0 appartient M . Mais ceci est absurde par dfinition de M .
On notera que lensemble M produit par la Proposition prcdente peut fort bien tre vide. Cest par exemple le cas si 0/
/ car,
si M 6= 0/ , il a un plus petit lment a et 0/ =] , a[ . Par contre si est assez gros, on peut obtenir M = E :
Remarque A.3.1. On peut dmontrer que le Thorme de Zermelo et lAxiome du choix (et donc aussi la Proposition A.1.1)
sont en fait quivalents.
T HORME A.3.2.
Soit E un ensemble ordonn (non vide !) dont toute partie bien ordonne est majore. Alors E possde un lment maximal. En particulier, tout ensemble ordonn inductif E (i.e. tel que toute partie totalement ordonne
admet un majorant dans E ) possde un lment maximal.
Dmonstration. La seconde partie de lnonc est un cas particulier de la premire puisque toute partie bien ordonne est totalement ordonne. Dmontrons donc la premire. Soit lensemble des parties de E admettant un majorant strict (i.e. nappartenant
pas la partie) dans E (remarquer que 0/ ). Pour tout S , soit M (S) lensemble des majorants stricts de S dans E , et considrons lapplication F de dans P(E) \ 0/ dfinie par F(S) = M (S). Daprs lAxiome du choix ( page 105), il existe une application
p de dans E telle que p(S) F(S) = M (S), S . Appliquons alors la Proposition A.3.3, page prcdente : ceci nous donne
une partie M de E et un bon ordre G sur M possdant les proprits dcrites dans cette Proposition. Montrons que cet ordre G est
identique lordre induit sur M par lordre de E . Soient x et y deux lments de M ; la relation (x, y) G, x 6= y quivaut x ] , y[,
et comme, daprs le 1. de la Proposition A.3.3, on a p(] , y[) = y, par dfinition de p, on a x < y (pour lordre de E ). Ceci montre
que linjection de M dans E est strictement croissante (M ordonn par G). Comme M est totalement ordonn, cette injection est
un isomorphisme (Proposition A.2.1, page 106), ce qui montre que les relations (x, y) G et x y sont quivalentes dans M , ce qui
est lassertion voulue. Par hypothse il existe donc un majorant m de M dans E , qui nest pas un majorant strict daprs le 2. de la
Proposition A.3.3. Montrons alors que m est un lment maximal de E : en effet, si x E tel que m x. et si x 6= m, x est un majorant
strict de M ce qui est impossible.
a m.
Dmonstration. en effet, soit F lensemble des majorants de {a} (qui est non vide par hypothse). Il est clair que F est inductif
pour lordre induit par E , et le Thorme prcdent montre que F possde un lment maximal m. Alors m est aussi un lment
maximal de E car si x E est tel que m x, on a a x (puisque m F implique m a) et donc x F soit x = m.
Remarque A.3.2. On peut dmontrer que le Lemme de Zorn et le Thorme de Zermelo (donc aussi laxiome du choix et la
Proposition A.1.1, page 105) sont quivalents.
108
SECTION A.4
Applications de laxiome du
choix aux espaces vectoriels
T HORME A.4.1 (Thorme de la base incomplte ).
Toutespace vectoriel E sur un corps commutatif K possde une base. Plus prcisment, si L est une partie libre
de E , il existe une base de E contenant L.
Dmonstration. Soit F lensemble des parties libres de E contenant L, et ordonnons F par inclusion. Montrons que F est inductif : si A est une partie totalement ordonne de F , vrifions que la runion des lments de A est une lment P de F . Soit
i xi une combinaison linaire finie nulle dlments de P ; comme A est totalement ordonn, les xi appartiennent tous un seul
lment de A ce qui donne i = 0 pour tout i. Il rsulte alors du Lemme de Zorn ci-dessus que F possde un lment maximal
B. Montrons, pour conclure que B est une base de E . Comme B est une partie libre, il faut voir quelle est gnratrice ; or, sil nen
ntait pas ainsi il existerait x0 E tel que toute combinaison linaire de la forme x0 + i xi = 0, xi B, implique = i = 0,
i. Alors B {x0 } appartiendrait F ce qui est absurde.
C OROLLAIRE .
Tout sous-espace vectoriel V dun espace vectoriel E admet un supplmentaire algbrique.
Dmonstration. Par le Thorme prcdent V possde une base BV , et, par ce mme Thorme BV est contenue dans une base B
de E . Alors B \ BV est une base dun supplmentaire de V dans E .
iI
Dmonstration. En effet, soit V le sous-espace engendr par les xi , i I . Par le Corollaire ci-dessus, V admet un supplmentaire
dans E , et, par le Thorme prcdent, on peut trouver une base (xi )iJ de ce supplmentaire. Alors la famille (xi )iIJ , engendre E ,
et, si lhypothse faite sur les yi est satisfaite, on dfinit une application linaire de E dans f en posant f (xi ) = yi si i I et f (xi ) = 0
si i J .
C OROLLAIRE .
Sur tout espace vectoriel non rduit zro il existe des formes linaires non nulles.
Dmonstration. En effet, si x0 E est non nul, et si a K est aussi non nul, il existe une application linaire f de E dans K telle
que f (x0 ) = a.
Exemple A.4.1. Il existe des applications Q-linaires non nulles de R dans Q.
On notera que de telles applications ne sont certainement pas continues (la continuit impliquerait f ( x) = x, pour tous et
x dans R ce qui implique f (x) = f (1)x et, donc f prendrait des valeurs irrationnelles) : le Thorme de Hahn-Banach (Thorme
III.4.6, page 63) est en gnral faux pour un espace vectoriel sur Q. En effet, dans le cas contraire, en considrant Q comme un
sous-espace du Q-espace vectoriel R, la forme linaire f : x x de Q dans lui-mme
vrifie | f (x)| |x|, et, si on peut appliquer le
Thorme de Hahn-Banach, on construit une forme f Q-linaire sur R telle que f(x) |x| ce qui implique quelle est continue.
Philippe Charpentier
109
A NNEXE B
CARDINALIT
DES
ENSEMBLES
D
A ns
cet appendice, on donne les notions de base concernant la cardinalit des ensembles infinis. Le principal rsultat
dit que le produit cartsien dun ensemble infini par lui mme mme cardinal que lensemble lui mme. Ce rsultat
est utilis dans la thorie des espaces de Hilbert pour montrer que deux bases ont mme cardinal et, ainsi, dfinir la
dimension dun espace de Hilbert.
SECTION B.1
Cardinalit
Dfinition B.1.1.
Soient A et B deux ensembles.
1. On dit que A et B ont mme cardinal, ou quils sont quipotents, sil existe une bijection de lun sur
lautre et on crit card(A) = card(B) ou #A = #B.
2. On dit que le cardinal de A est infrieur celui de B sil existe une injection de A dans B, et on crit
#A #B.
Cette dfinition est justifie par le Thorme de Cantor-Bernstein :
P ROPOSITION B.1.1.
Soit E un ensemble non vide. Alors #P(E) > #E .
Dmonstration. Comme il existe clairement une injection de E dans P(E), daprs le Thorme prcdent, il suffit de voir quil
nexiste pas de bijection de E sur P(E). Supposons, par labsurde, que f soit une telle bijection, et dfinissons une partie A de E
en posant
A = {x E, tels que x
/ f (x)}.
Puisque f est une bijection (et E non vide), il existe a E tel que A = f (a). Mais ceci est absurde car on ne peut avoir ni a A ni
a E \ A.
SECTION B.2
Ensembles dnombrables
Dfinition B.2.1.
On dit quun ensemble est dnombrable (ou au plus dnombrable) sil est fini ou quipotent N.
P ROPOSITION B.2.1.
Soit E un ensemble dnombrable.
1. Toute partie de E est dnombrable. Autrement dit E est dnombrable si et seulement si #E #N.
2. Pour tout entier p, E p est dnombrable.
[
3. Si (Ei )iI est une famille dnombrable (i.e. I dnombrable) densembles dnombrables, alors Ei est
iI
dnombrable.
Dmonstration. Pour montrer le 1., il suffit de voir quune partie infinie de N est quipotente N ce qui se montre facilement
par rcurrence. Pour voir le 2., par rcurrence, il suffit de montrer que N2 est dnombrable ce qui se fait aisment en rangeant les
couples dentiers positifs (n, m) avec lordre lexicographique : (0, 0), (0, 1), (1, 1), (1, 2), etc. . .. Enfin 3. rsulte de 2.
Cette Proposition montre que si E est non dnombrable et si A est une partie dnombrable de E alors E \ A nest pas dnombrable. Nous allons voir, au paragraphe suivant quen fait E \ A est quipotent E .
SECTION B.3
112
T HORME B.3.2.
Si E est un ensemble infini, E E est quipotent E .
Dmonstration. Daprs le thorme prcdent, il existe une partie D de quipotente N, et une bijection 0 de D sur D D
(Proposition B.2.1, page ci-contre). Soit M lensemble des couples (A, ) tels que A soit une partie de E contenant D et une
bijection de A sur A A qui prolonge 0 (M est non vide car D M ), et ordonnons M par inclusion et prolongement (comme
dans la preuve du Thorme prcdent) de sorte que M est inductif et possde donc un lment maximal (F, f ) daprs le Lemme
de Zorn. Pour conclure, montrons que F est quipotent E . Supposons que cela soit faux, et montrons qualors F est quipotent
une partie de E \ F . En effet, si cela tait faux, daprs le Thorme prcdent, il existerait une injection de E \ F dans F , donc
une injection de E dans {0, 1} F et donc une injection de E dans F (F est par construction quipotent F F ), ce qui, daprs
le Thorme de Cantor-Bernstein (Thorme B.1.1, page 111), implique que E et F seraient quipotents ce qui est contraire
lhypothse. Ainsi, F est quipotent une partie Y de E \ F . posons Z = F Y et montrons que Z est quipotent Z Z par une
bijection g qui prolonge f . On a
Z Z = (F F) (F Y ) (Y F) (Y Y ),
et comme F , Y , sont quipotents,
(F Y ) (Y F) (Y Y )
est quipotent {0, 1, 2} Y .
Comme il existe une injection de {0, 1, 2} Y dans Y (Y est quipotent Y Y ) le Thorme de Cantor-Bernstein (Thorme
B.1.1, page 111), implique que
(F Y ) (Y F) (Y Y )
est quipotent Y par une bijection f1 . On dfinit alors une bijection g de Z sur Z Z en posant g|F = f et g|Y = f1 , ce qui contredit
la maximalit de (F, f ).
C OROLLAIRE 1.
Si E est un ensemble infini, il existe une bijection de N E sur E .
Dmonstration. Comme, daprs le Thorme B.3.1, il existe une injection de N E dans E E , il existe une injection de N E
dans E et la conclusion viens du Thorme de Cantor-Bernstein (Thorme B.1.1, page 111).
C OROLLAIRE 2.
Soit E un ensemble infini. Si D est un sous-ensemble dnombrable de E tel que E \ D soit infini, alors E et
E \ D sont quipotents.
Dmonstration. En effet, D (E \ D) et E \ D sont quipotents daprs le Corollaire 1.
Nous avons vu (Corollaire 1 du Thorme I.1.3, page 2) que R nest pas dnombrable. En fait, on peut montrer grce aux rsultats que nous venons de voir que R est quipotent P(N) :
P ROPOSITION B.3.1.
R est non dnombrable et quipotent P(N).
Dmonstration. Nous allons montrer que lintervalle [0, 1[ de R est quipotent P(N) ce qui suffit. crivons tout rel de cet
2n
avec n = 0 ou 1 (dveloppement diadique). Cette criture est clairement unique sauf pour les
i=1
nombres de la forme q qui ont deux tels dveloppements, lun qui na que des zros partir dun certain rang (dveloppement
2
propre) et lautre qui na que des 1 partir dun certain rang (dveloppement impropre). On dfinit alors aisment une bijection
2n
i=1
n = 1. Comme lensemble des dveloppements diadiques impropres est dnombrable (car Q est dnombrable), lensemble des
dveloppements diadiques propres est quipotent P(N) par le Corollaire prcdent. La non dnombrabilit de R rsulte alors
de Proposition B.1.1, page prcdente.
Philippe Charpentier
113
B (A; E), 54
C B (A; E), 54
C (A; E), 54
L (E), 59
L (E1 , ..., En ; F), 59
,3
R
kxk, 51
A , 8
x), 10
B(r,
B(x, r), 10
#A, 111
(A), 10
d(A, B), 10
d(x, A), 10
E 0 , 64
c0 (E), 58
l p (C), 12
p
lI (E), 58
l p (R), 12
Cu (E; E 0 ), 26
Bu (A; E), 13
Fu (A; E), 12
Fs (A; E), 22
Fr(A), 8
F , 25
G , 25
A , 8
lim xn , 3
n
f (x), 17
lim
xa,xA\a
lim
xa,xA
f (x), 17
lim f (x), 18
xa
xA\a
lim f (x), 18
xa
xA\a
lim xn , 3
( f ; A), 24
( f ; a, A), 24
n
Ei , 21
i=1
M
Ei , 81
iI
S(x, r), 10
V (xn ), 3, 14
Vr (A), 10
115
Index Terminologique
Adhrence, 7
Application
Croissante, 106
Strictement croissante, 106
Dcroissante, 106
Strictement dcroissante, 106
Linaire continue
Norme dune, 59
Monotone, 106
Strictement monotone, 106
Multilinaire continue
Norme dune, 59
Ouverte, 61
Base
de voisinages, 9
pour la topologie, 9
Hilbertienne, 84
Boule
Ferme, 10
Ouverte, 10
Complment, 53
Cne
de sommet x0 , 78
Point, 78
Dimension hilbertienne dun espace de Hilbert, 84
Distance, 9
Distance
de la convergence uniforme sur les An , 13
de la convergence uniforme, 12
quivalentes, 11
Topologiquement quivalentes, 11
Ultramtriques, 13
cart, 10
lment
Maximal, 106
Minimal, 106
Ensemble
Dnombrable ou au plus dnombrables, 112
Inductif, 108
Bien ordonn, 106
Ordre sur un, 106
Ordre total sur un, 106
Ensembles
Ayant mme cardinal, 111
quipotents, 111
Espace
de Banach, 52
de Hilbert, 75
Mtrique, 9
Mtrique
Produit, 22
de premire catgorie de Baire, 25
Famille
Sommable, 56
Absolument sommable, 56
Orthogonale dans un espace prhilbertien, 83
Orthonormale dans un espace prhilbertien, 83
Sommable
Critre de Cauchy pour une, 56
Totale, 67
Ferms, 7
Fonction
Continue en un point, 14
Continue, 14
Strictement contractante de rapport k, 29
Limite dune, 17
Limite infrieure dune, 18
Limite suprieure dune, 18
117
INDEX TERMINOLOGIQUE
Lipschitzienne de rapport k, 29
Oscillation dune, 24
Sous-linaire, 62
Uniformment continue, 16
Forme
Bilinaire symtrique, 73
Hermitienne, 73
Hermitienne
non dgnre, 74
Noyau dune, 74
Positive, 74
Sequilinaire, 73
Frontire, 8
Homomorphisme, 15
Homomorphisme
despaces prhilbertiens, 75
Hyperplan, 60
Hyperplan affine, 61
Identit de Parseval, 84
Ingalit
de Bessel, 83
de Cauchy-Schwarz, 74
de Minkovski, 74
Triangulaire, 9
Isomtrie, 16
Isomorphisme
despaces prhilbertiens, 75
Jauge dun convexe, 63
Norme, 51
Semi-norme, 75
Normes
quivalentes, 52
Oprateur
Adjoint sur un espace de Hilbert, 79
sur un espace de Hilbert, 79
Ouverts, 7, 10
Partie
borne, 10
Compacte, 30
Connexe, 18
Convexe, 63
dense, 8
quicontinue, 40
quicontinue sur A, 40
quicontinue en x0 , 40
Maigre, 9
Ordre induit sur une, 106
Rare, 9
Relativement compacte, 30
Totale, 52
Point
dAccumulation, 8
Adhrent, 8
Intrieur, 8
Isol, 8
Polynmes
de Hermite, 85
de Legendre, 85
Procd diagonal, 35
118
INDEX TERMINOLOGIQUE
de la convergence simple, 22
de la convergence uniforme sur les compacts, 40
induite, 9
Produit, 21
Quotient, 9
Topologique
Somme directe, 53
Supplmentaire, 53
Vecteur
Isotrope, 74
Voisinage
dun point, 8
dune partie, 8
Philippe Charpentier
119
Bibliographie
[Bou65] N. B OURBAKI Topologie gnrale, elments de mathmatique d., vol. Fascicule II, Actualits Scientifiques et Industrielles, no. 1142, Hermann, 1965.
[Bou67] N. B OURBAKI Thorie des ensembles, elments de mathmatique d., vol. Fascicule XX, Actualits scientifiques et industrielles, no. 1243, Hermann, 1967.
[Die68] J. D IEUDONN lments danalyse, Tome I, Cahiers Scientifiques, fascicule XXVIII, Gauthiers-Villars, Paris, 1968.
[DS67]
N. D UNFORD et J. T. S CHWARTZ Linear operators, Part I, Pure and Applied Mathematics, Interscience Publishers, 1967.
[Rud70] W. RUDIN Real and complex analysis, Series in Higer Mathematics, Mc Graw-Hill, New York, 1970, existe en version
franaise.
121