Universit de Provence

Topologie 2

Cours6. Les espaces quotients

Notons RZ le relation dquivalence dfinie sur R par :
x, y R

(xRZ y x y Z).

La classe dquivalence dun rel x est note x + Z car cest lensemble

suivant :
{x + n | n Z}.
Rappel. Lespace quotient dune relation dquivalence R dfinie sur un
ensemble X est lensemble X/R des classes dquivalences de la relation R.
Notation. Lespace quotient de RZ est en fait not R/Z. En algbre, quand
G dsigne un groupe ablien et H un sous-groupe, on note G/H le quotient
de la relation dquivalence dfinie sur G par x y H (exercice : vrifier
que cest bien une relation dquivalence).
Dfinition. Quand R dsigne une relation dquivalence dfinie sur un ensemble X, on appelle surjection naturelle associe la relation R lapplication de X vers le quotient X/R qui associe tout point de X sa classe
dquivalence.
On veut munir lespace quotient R/Z dune topologie quon appellera
la topologie quotient. On dcrte quune partie de R/Z sera un ouvert de la
topologie quotient si son image rciproque par la surjection naturelle associe
RZ est un ouvert de R.
Proposition. La topologie quotient est bien une topologie.
Dmonstration. On doit vrifier quatre axiomes. Ils dcouleront tous du
fait que limage rciproque se comporte bien pour les oprations ensemblistes.
Axiome de runion : soit (Ui )iI une famille douverts de R/Z. Notons s
la surjection naturelle. Alors :
!
!
s1 ( Ui ) =
s1 (Ui )
iI

iI

car limage rciproque dune runion est la runion des images rciproques.
Les Ui sont des ouverts de R/Z donc les s1 (Ui ) sont des ouverts de R donc

"
"
leur runion s1 ( iI Ui ) est aussi un ouvert de R et donc iI Ui est bien
un ouvert de R/Z.
Les trois autres axiomes se vrifient aussi facilement.
Remarque : ce quon vient de dmontrer pour la relation RZ est en fait
valable pour nimporte quelle relation dquivalence dfinie sur un espace
topologique. On peut donc noncer une proposition plus gnrale :
Proposition. Soit R un relation dquivalence sur un espace topologique X.
Notons s la surjection naturelle. Alors on dfinit une topologie sur X/R en
dcrtant quune partie U de X/R sera un ouvert de X/R si son image rciproque s1 = (U) est un ouvert de X. Cette topologie sera appele la topologie
quotient associe la relation R.
(La dmonstration est la mme que pour RZ .)
Remarque. Il dcoule des dfinitions que si on munit X/R de la topologie
quotient la surjection canonique sera continue.
Question. Que peut-on dire de la topologie du quotient R/Z? Cet espace
topologique R/Z est-il homomorphe un espace connu?
Dans ce cours, on notera fZ lapplication suivante :
#
R C
x & exp(i2x).
Remarque. Elle vrifie :
x, y R

(xRZ y fZ (x) = fZ (y)).

et, par ailleurs, son image est le cercle unit.

Proposition. Il existe une unique application hZ de R/Z vers C qui vrifie
hZ (x + Z) = exp(i2x) pour tout x R.
De plus cette application hZ est injective, son image est le cercle unit et
si on munit R/Z de la topologie quotient lapplication hZ sera continue.
Dmonstration
Unicit de hZ . Soit C une classe dquivalence de RZ . On choisit un reprsentant x de C. Alors on peut crire C = x + Z et donc hZ (C) est dtermin
par :
hZ (C) = hZ (x + Z) = exp(i2x).
Existence de hZ . Soit C une classe dquivalence de RZ . On a remarqu
que tous les lments de C ont la mme image par fZ : x & exp(i2x). On
peut donc associer C cette image quon notera hZ (C). En faisant a pour
2

toutes les classes dquivalences de RZ , on dfinit bien une application hZ de

R/Z vers R2 qui vrifie hZ (x + Z) = exp(i2x) pour tout x R.
Injectivit de hZ . Soient C et C # deux classes ayant la mme image
hZ (C) = hZ (C # ). On choisit deux reprsentants x et x# . Ils vrifieront donc
exp(i2x) = exp(i2x# ). On a remarqu que cette identit impliquait la relation xRZ x# . Les classes C et C # de x et de x# sont donc gales.
Image de hZ . Les applications fZ et hZ ont la mme image car la prmire
est la compose de la seconde et dune surjection (la surjection naturelle
associe la relation RZ ). Limage de hZ est donc le cercle unit.
Continuit de hZ . Soit U un ouvert de C. Son image rciproque h1
Z (U) estelle ouverte? Par dfinition de la topologie quotient, cela revient demander
si limage rciproque de h1
Z (U) par la surjection naturelle s est ouverte.
Lidentit fZ = hZ s implique que cette image rciproque s1 (h1
Z (U)) est
1
gale fZ (U) qui est bien un ouvert par continuit de fZ .
Proposition. Soit f une application continue entre deux espaces topologiques X et Y . On suppose X muni dune relation dquivalence R qui vrifie :
x, y X
(xRy f (x) = f (y)).
Notons s la surjection naturelle associe R. Alors il existe une unique
application g de X/R vers Y qui vrifie g s = f .
De plus cette application g est injective, son image est celle de f et si on
munit X/R de la topologie quotient lapplication g sera continue.
(La dmonstration est la mme que pour fZ et RZ .)
Remarque. On va voir que le quotient dun espace topologique spar X
par une relation dquivalence nest pas forcment spar. Cest lune des
raisons pour lesquelles on sintresse parfois ces topologies tranges que
sont les topologies non spares.
Notation. On dsignera par RQ la relation dquivalence dfinie sur R
par :
x, y R
(xRQ y x y Q)
et on notera R/Q lespace quotient.
Proposition. Le quotient R/Q nest pas un espace spar.
Dmonstration. On va prouver que les seules parties fermes de ce quotient sont la partie pleine et la partie vide. Supposons par labsurde quil
existe dans R/Q une partie F ferme non vide et non pleine. Choisissons
deux lments a + Q et b + Q de R/Q, lun dans F et lautre dans le compmentaire. Notons s la surjection associe RQ . Alors s1 (F ) contient le rel
3

a mais pas le rel b. Par dfinition de s, la partie s1 (F ) est une runion de

classes dquivalence de la relation R/Q. Cette partie contient donc toute la
classe de a. Or cette classe a + Q est dense dans R donc la partie s1 (F ) sera
dense. Par continuit de s, elle est aussi ferme. Dense + ferm = Partie
pleine. Donc s1 (F ) est la partie pleine, ce qui contredit le fait quelle ne
contienne pas le rel b.
On a prouv que les seules parties fermes de R/Q sont la partie pleine
R/Q et la partie vide et donc les seules parties ouvertes de R/Q sont aussi
la partie pleine et la partie vide. Cela prouve que le quotient nest pas spar.
En effet, prenons deux
distinctes, par exemple la classe de 0 (cest- classes
dire Q) et celle de 2 (note 2 + Q). On ne peut pas trouver douvert de
R/Q contenant lune mais pas lautre puisque les seuls ouverts sont la partie
vide et la partie pleine.
Remarque. On se souvient que tout espace mtrique est spar et lexemple
de R/Q montre que le quotient dun espace mtrique nest pas toujours spar. Le quotient dun espace mtrique nest donc pas un espace mtrique
(en gnral). Plus pcisment on ne pourra pas, en gnral, si X est un
espace mtrique, dfinir sur le quotient X/R de X par une relation dquivalence R, une distance quotient qui induise la topologie quotient.
Question. Notre quotient R/Z est-il spar?
Proposition. Soient X et Y deux espaces topologiques. On suppose Y spar
et on suppose quil existe une application continue injective de X vers Y .
Alors X est spar.
Dmonstration. Soient dans X deux points distincts a et b. Comme f
est injective, les points f (a) et f (b) sont deux points distincts dans lespace
spar Y et donc il existe deux ouverts disjoints U et V contenant respectivement f (a) et f (b). Alors dans X les deux parties f 1 (U) et f 1 (V ) sont
disjointes, sont ouvertes (par continuit de f ) et contiennent respectivement
a et b.
En appliquant la proposition prcdente linjection continue hZ , on obtient immdiatement :
Proposition. Le quotient R/Z est spar.
Proposition. Soient X et Y deux espaces topologiques. On suppose X compact et Y spar et on suppose quil existe une application continue surjective
de X vers Y . Alors Y est aussi compact.
(On admet ce rsultat qui sera dmontr dans la leon sur les espaces

compacts.)
Proposition. Le quotient R/Z est compact.
Dmonstration. On ne peut pas appliquer la proposition prcdente
la surjection naturelle associe RZ car son espace de dpart R nest pas
compact.
On lapplique la restriction de cette surjection lintervalle compact
[0,1]. Vrifions les hypothses. Cette restriction est videmment continue et
elle est bien surjective car toute classe x + Z contient un lment de [0,1] et
mme de [0,1[ : la partie fractionnaire du rel x. On a par ailleurs vu que lespace darrive est spar. On peut bien appliquer la proposition prcdente.
Proposition. Soit f une bijection continue entre deux espaces topologiques
X et Y . On suppose compact lespace de dpart X et on suppose spar
lespace darrive Y . Alors f est un homomorphisme.
(Ce rsultat aussi sera dmontr dans la leon sur les espaces compacts.)
Proposition. Le quotient R/Z est homomorphe un cercle.
Dmonstration. Lapplication hZ est bien injective et continue. Elle sera
surjective si on restreint lespace darrive limage de hZ qui, on sen souvient, est le cercle unit. Lespace de dpart R/Z est compact. On peut donc
appliquer la proposition prcdente qui donne un homomorphisme entre cet
espace de dpart et le cercle darrive.
Remarque. Pour conclure, disons que le cercle est loin dtre le seul espace
topologique quon puisse identifier un quotient intressant. Nous verrons
en TD plusieurs autres exemples : le tore, le ruban de Mbius, la bouteille de
Klein etc.