Topologie générale/Connexité
La connexité formalise la notion intuitive d'espace en un seul morceau. Un intervalle compact de est connexe, mais la réunion de deux segments disjoints ne l'est pas.
Espaces et ensembles connexes
[modifier | modifier le wikicode]
Une autre condition équivalente est : est connexe si pour toute décomposition , où sont des ouverts disjoints, on a : ou est vide.
- Si A est une partie connexe de ℝ alors A est un intervalle, puisque tout réel a strictement compris entre deux éléments de A appartient lui aussi à A : sinon, ]–∞, a[∩A et ]a, +∞[∩A formeraient une partition de A en deux ouverts de A (pour la topologie induite) non vides et disjoints.
- Si A est un intervalle de ℝ alors A est connexe, puisque toute application continue de A dans ℝ qui ne prend que les valeurs 0 et 1 est constante, d'après le théorème des valeurs intermédiaires. Cependant, lorsqu'on démontre ainsi la connexité des intervalles, il faut montrer ce dernier théorème par dichotomie ou par la propriété de la borne supérieure. Une autre option est de raisonner directement, par une dichotomie plus simple[1] : supposons que l'intervalle A ne soit pas connexe. Il serait alors partitionné en deux fermés non vides F et G de A. Supposons par exemple f0 < g0 avec f0 ∈ F et g0 ∈ G. En regardant à chaque étape si le milieu appartient à F ou à G, on construirait facilement deux suites adjacentes, (fn) dans F et (gn) dans G. La limite commune serait alors dans F∩G, ce qui est absurde. Donc l'intervalle A est connexe.
La réunion d'espace connexes n’est pas généralement connexe : les intervalles et le sont mais leur réunion ne l'est pas.
- Dans un espace topologique quelconque, si une partie connexe C rencontre une partie A et son complémentaire, alors C rencontre la frontière de A.
- Soit une partie d'un espace . Supposons que la frontière de est vide, c'est-à-dire que est à la fois ouvert et fermé. Alors, si est connexe, est égal à ou .
- contient la frontière dans de donc est non vide, d'après le point 1.
Application définie sur un connexe
[modifier | modifier le wikicode]
Soient connexe et continue. Alors, et sont des ouverts de disjoints et de réunion égale à , donc l'un des deux est vide, c'est-à-dire que est constante.
Réciproquement, soit non connexe. Alors, il existe un ouvert-fermé de , différent de et de . Sa fonction indicatrice est continue de dans et non constante.
Soient connexe et continue. Pour toute application continue , l'application est continue donc (d'après le « seulement si » de la proposition) constante, si bien que est constante. Par conséquent (d'après le « si » de la proposition) est connexe.
Composantes connexes et connexité locale
[modifier | modifier le wikicode]Composante connexe
[modifier | modifier le wikicode]Nous avons vu que la réunion d'espaces connexes dont l'intersection est non vide est connexe. La réunion des parties connexes contenant un point d’un espace topologique l'est donc : c’est la plus grande partie connexe de contenant .
- L'espace des matrices inversibles de taille admet deux composantes connexes, données par le signe du déterminant.
- Dans et plus généralement dans tout espace discret, les composantes connexes sont les singletons.
On dit qu'un espace est totalement discontinu si la composante connexe de chacun de ses points est l’ensemble réduit à ce point. En particulier, un ensemble discret est totalement discontinu.
Ainsi, tout espace topologique se décompose en une union disjointe de parties connexes maximales (pour l'inclusion).
Connexité locale
[modifier | modifier le wikicode]
![]() |
Connexe n'implique pas localement connexe, et localement connexe n'implique pas connexe : cf. exemples ci-dessous. |
- est localement connexe ;
- pour tout ouvert de , les composantes connexes de sont des ouverts de ;
- les ouverts connexes forment une base d'ouverts de .
- : Soient un ouvert de , une composante connexe de , et . Montrons que est un voisinage de . Puisque est un voisinage de , il contient, d'après l'hypothèse 1, un voisinage connexe de . Puisque est un connexe rencontrant et inclus dans , il est inclus dans .
- : Soit un ouvert de . Pour tout , contient un ouvert connexe contenant : la composante connexe de dans , qui est bien un ouvert d'après l'hypothèse 2.
- : résulte de la proposition qui relie les deux notions de base d'ouverts et base de voisinages.

- , , et plus généralement, tous les -espaces vectoriels normés, sont des espaces connexes et localement connexes.
- est localement connexe mais non connexe.
- On considère la partie de . Elle est connexe mais non localement connexe : tout point de admet un voisinage connexe, à savoir , mais non une base de voisinages connexes.
- Le graphe de la fonction définie sur est connexe mais non localement connexe.
- Tout produit d'espaces localement connexes est localement connexe.
Connexité par arcs
[modifier | modifier le wikicode]Définitions et premières propriétés
[modifier | modifier le wikicode]
Soit un espace topologique et , deux points de . On appelle chemin d'origine et d'extrémité toute application continue telle que et .
On dit que et sont reliés s'il existe un chemin d'origine et d'extrémité dans .
- réflexivité : pour tout , est relié à par le chemin constant égal à ;
- symétrie : si est relié à par un chemin , alors est reliée à par le chemin ;
- transitivité : si est relié à par et est relié à par alors est relié à par
Un espace topologique est dit connexe par arcs si tout couple de points de est relié par un chemin dans .
Une partie A de E est dite connexe par arcs si tout couple de points de A est relié par un chemin restant dans A.
- Si E est de dimension supérieure ou égale à 2 alors E* est connexe par arcs : on peut joindre x, y ∈ E* par le segment [x, y] si 0 ∉ ]x, y[ ou, si 0 ∈ ]x, y[, par la réunion de deux segments [x, z] et [z, y], en choisissant z ∉ (x0y).
- Tout convexe de E — ou plus généralement : toute partie étoilée, cf. définition ci-dessous — est connexe par arcs.
On dit qu'une partie d'un espace vectoriel réel est étoilée depuis un pôle si :
- .
Soient et l'ensemble des points de joints à par un chemin. Tout connexe par arcs qui rencontre est inclus dans (en mettant bout à bout un chemin d'un point de à un point et un chemin de à ). Par conséquent, l'ensemble (non vide) est à la fois :
- ouvert : si et si est un voisinage connexe par arcs de alors , donc est voisinage de tous ses points ;
- fermé : si et si est un voisinage connexe par arcs de alors rencontre donc donc , donc contient tous ses points adhérents
donc .
Tout ouvert d'un espace localement truc est encore localement truc, car pour tout , si est une base de voisinages de dans alors le sous-ensemble est une base de voisinages de dans . En particulier, si est un ouvert connexe d'un espace localement connexe par arcs alors est lui-même localement connexe par arcs ; donc dans , tout point a une base de voisinages connexes par arcs et a fortiori, a au moins un voisinage connexe par arcs.
Notion de composante connexe par arcs
[modifier | modifier le wikicode]
La classe de est alors le plus grand connexe par arcs de (au sens de l'inclusion) contenant .
![]() |
Référence
[modifier | modifier le wikicode]- ↑ O. Ya. Viro, O. A. Ivanov, N. Yu. Netsvetaev et V. M. Kharlamov, Elementary Topology, AMS, 2008 [lire en ligne], p. 87 et 123.