Les commentaires du billet un exercice de topologie
sur le blog de PB soulevait quelques questions intéressantes. Une parmi elles possède la réponse suivante :
Dans une variété topologique connexe on peut relier tout couple de points distincts par un chemin injectif.
Remarquons que ce résultat ne vaut plus sur des espaces non-séparés comme la droite avec un point dédoublé (une variété topologique est séparée par définition).
Démonstration :
Rappellons d'abord que sur une variété topologique les notions connexe
et connexe par arcs
sont équivalentes.
Quelques notations : B(r) désigne la boule ouverte de rayon r et de centre 0 dans
pour la norme euclidienne. Pour noter la boule fermée, on mettra une barre dessus.
Soit M une variété topologique de dimension n et x un point de M. Notons E le sous-ensemble de M constitué de x et de tous les points qu'on peut relier injectivement à x. Notre but est de prouver que E=M. Vu que M est connexe et que E est non-vide, il suffit de montrer que E est ouvert et fermé.
- Ouvert : Soit y un point arbitraire dans E. Dans l'atlas de la variété M il existe une carte
.
- Fermé : Nous devons prouver que le complémentaire de E est ouvert. Soit donc y un point arbitraire dans M\E, autrement dit y est un point qui ne peut pas être relié injectivement à x. On prend une carte
. Alors on sait déjà que x ne peut pas être dans U. De deux choses l'une :
Remarque 1 :
L'idée de la preuve est de se ramener à l'intuition que nous avons de notre espace usuel. Quand une trajectoire passe de l'extérieur d'une boule à l'intérieur d'une boule, elle doit forcément traverser le bord de la boule, elle coule
comme une rivière. Or cela n'est plus vrai dans les espaces non-séparés comme la droite à deux origines dédoublées, 0' et 0''. Quand je fais un chemin de 0' à 0'' alors je rentre directement dans l'intérieur de la boule [-1,1]'' sans passer par -1 ou par 1. Le chemin apparait miraculeusement de nul part, il jaillit
comme une source...
Il est donc intéressant de voir où la preuve ne fonctionne plus dans cet exemple. Evidemment c'est au moment où on utilise le fait qu'un compact d'un espace séparé est toujours fermé. Sur la droite dédoublée l'ensemble [-1,1]'' est compact mais il n'est pas fermé, car son complémentaire
n'est pas ouvert.
Remarque 2 :
On est tenté de dire que
est fermé comme image réciproque d'un fermé par une application continue. Mais cela serait faux ! En effet,
est seulement définie sur U et pas sur toute la variété M. On peut donc dire que
est un fermé de l'espace U (pour la topologie induite par M), mais de là on ne peut pas conclûre directement qu'il s'agit d'un fermé de M. C'est pourquoi nous devons faire ce détour :
compact dans B(1),
donc
compact dans U,
donc
compact dans M,
donc
fermé dans M (séparé).