Exposé - Complétude de groupes topologiques
10 mai 2013 Alex Provost (PROA12099007)
Groupes topologiques abéliens
Définition. On dit qu’un groupe abélien (G, +) est un groupe topologique si G
est muni d’une topologie telle que l’addition (x, y)7→ x+yet la prise d’inverses
x7→ −xsont des opérations continues.
Remarque. Si {0}est fermé dans G, alors la diagonale ∆ = {(x, x)∈G×G}
est fermée dans G×G(étant la préimage de {0}sous l’opération continue
(x, y)7→ x−y), ce qui entraîne que Gest Hausdorff.
En fait, la topologie de Gest entièrement déterminée par les voisinages de
0∈G. En effet, si aest un élément fixé de G, la translation Ta(x) = x+a
est clairement un homéomorphisme G→Gd’inverse T−a. Ceci entraîne que
si Uest n’importe quel voisinage de 0, alors U+aest un voisinage de a;
réciproquement, tout voisinage de aest de cette forme. Donc, pour simplifier
l’écriture, on va simplement écrire voisinage pour dire voisinage de 0.
Complétude topologique
À toute fin pratique, on va supposer que 0∈Gadmette une base de voisinages
dénombrable, i.e., une famille G=U0⊇U1⊇. . . ⊇Un⊇. . . ⊇ {0}de
voisinages telle que tout voisinage contienne au moins un des Ui. On peut alors
définir la complétude topologique au sens usuel en terme des suites de Cauchy.
Définition. Une suite de Cauchy dans Gest une suite (xν)d’éléments de G
telle que, pour tout voisinage U, il existe un entier s(U)tel que
xµ−xν∈U, ∀µ, ν ≥s(U).
On dit que deux suites de Cauchy sont équivalentes si xν−yν→0. La com-
plétude de G, notée b
G, est l’ensemble des classes d’équivalences de suites de
Cauchy dans G. La continuité de l’addition entraîne que pour tout voisinage
U, il existe un voisinage Vtel que V+V⊆U. On voit alors facilement que
la somme de deux suites de Cauchy est aussi de Cauchy ; de plus, la classe
de (xν+yν)ne dépend que des classes de (xν)et (yν), d’où b
Gest un groupe
abélien.
On définit une topologie sur b
Gvia la base de voisinages de G. Plus précisément,
pour chaque Ui, on définit c
Uicomme étant l’ensemble des classes dont les
représentants sont éventuellement dans Ui. La topologie sur b
Gest alors celle
induite par la base de voisinages c
Ui.
Remarque. Si Gest discret, alors deux suites de Cauchy sont équivalentes si et
seulement si elles sont éventuellement égales, d’où b
G∼
=G.
1