Correction. Principe. L’idée est de considérer une propriété topologique (inva-
riante par homéomorphisme) et de voir qu’elle est vérifiée par les ouverts de R2
mais pas ceux du cône. La solution présentée ici peut sembler longue, mais n’est
composée que de quelques résultats simples et intuitifs.
Lemme .Si Vest un voisinage de 0sur le cône C, alors V\ {0}n’est pas connexe. En
particulier il n’est pas connexe par arc.
Démonstration. Le voisinage épointé V\ {0}s’écrit comme l’union disjointe des
ouverts C+=V∩R2×R+
0et C−=V∩R2×R−
0, puisque le seul point du cône à
cote nulle est le sommet 0. Ces ensembles sont non-vides parce qu’on considère la
topologie induite : il doit donc exister une boule centrée en 0 dont l’intersection
avec Cest dans V, et cette boule contient forcément des points dans C+et dans
C−. Donc V\ {0}n’est pas connexe.
Lemme .Soient deux espaces topologiques Eet F, et f:E→Fun homéomorphisme.
Eest connexe si et seulement si Fl’est.
Démonstration. Version courte : la connexité est une propriété topologique, et un
homéomorphisme est la notion d’équivalence entre espaces topologiques.
Version longue : fpréserve les ouverts et est une bijection, donc si Es’écrit
comme union d’ouverts non-vide, alors Fégalement. Et réciproquement.
Supposons maintenant, par l’absurde, que Cest une variété topologique de
dimension 2. Il existe alors un homéomorphisme d’un voisinage ouvert Vdu
sommet du cône (pour la topologie induite) vers un disque ouvert Ddans R2.
Ceci induit un homéomorphisme entre V\ {sommet}et D\ {un point}; le premier
étant non-connexe, le deuxième étant connexe (car connexe par arcs), ceci est une
contradiction.
Exercice .Soit f:X→Yune bijection continue. Montrer que si Xest compact
et Yest séparé, alors fest un homéomorphisme.
Indication Un espace topologique est dit compact s’il est séparé et si de tout re-
couvrement par des ouverts on peut tirer un sous-recouvrement fini . Les résul-
tats suivants sont supposés connus :
. L’image d’un compact par une fonction continue à valeur dans un espace
séparé est compacte.
. Si le caractère séparé manque, on parle parfois d’espace quasi-compact. Notons que certains
auteurs appellent compact ce que nous appellerions quasi-compact.