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
modifierUn espace topologique est connexe si les seules parties de à la fois ouvertes et fermées sont et .
Une autre condition équivalente est : est connexe si pour toute décomposition , où sont des ouverts disjoints, on a : ou est vide.
Une partie d’un espace topologique est dite connexe si le sous-espace de est connexe.
- 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.
Si est un ensemble connexe, alors tout ensemble tel que est connexe. (Voir la définition d'adhérence.)
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 connexe, la frontière de toute partie propre est non vide.
- 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.
Dans un espace topologique connexe , tout ensemble non vide et distinct de admet au moins un point frontière.
Application définie sur un connexe
modifier
Un espace topologique est connexe si et seulement si toute application continue de dans l'espace discret est constante.
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.
Soit , où est un espace topologique et est un ensemble. Si est localement constante — c'est-à-dire si tout point de possède un voisinage sur lequel est constante — et si est connexe, alors est constante.
Composantes connexes et connexité locale
modifierComposante connexe
modifierNous 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 .
On appelle composante connexe d’un point , espace topologique, la plus grande partie connexe de (au sens de l'inclusion) contenant ce point. On note cet ensemble. On appelle composantes connexes d’une partie de les composantes connexes des points de cette partie.
- a deux composantes connexes : et .
- 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.
Dans un espace topologique , la composante connexe d’un point quelconque est un ensemble fermé. La relation « y appartient à » définie une relation d'équivalence dans , dont les classes d'équivalences sont les composantes connexes de . De plus, l'espace quotient est totalement discontinu.
Ainsi, tout espace topologique se décompose en une union disjointe de parties connexes maximales (pour l'inclusion).
Dans un espace produit , la composante connexe d’un point est le produit des composantes connexes des points dans les espaces .
Connexité locale
modifierUn espace topologique est dit localement connexe si tout point de possède un système fondamental de voisinages connexes.
Connexe n'implique pas localement connexe, et localement connexe n'implique pas connexe : cf. exemples ci-dessous. |
Soit un espace topologique. Les propositions suivantes sont équivalentes :
- 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.
Soit un ensemble ouvert d’un espace localement connexe et une composante connexe de . Alors la frontière de est contenue dans la frontière de .
- Tout quotient d’un espace localement connexe est localement connexe.
- Tout produit d'espaces localement connexes est localement connexe.
Connexité par arcs
modifierDéfinitions et premières propriétés
modifier
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.
Soit E un espace vectoriel topologique réel (par exemple ).
- 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 :
- .
Contrairement à la connexité, la connexité par arcs « ne passe pas aux adhérences ». Par exemple, le graphe de la fonction (voir supra) est connexe par arcs mais son adhérence ne l'est pas (voir infra).
Soit un espace connexe. Si tout point de a un voisinage connexe par arcs, alors est connexe par arcs.
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 .
Dans un espace localement connexe par arcs, un ouvert est connexe (si et) seulement s'il est connexe par arcs.
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
On appelle composante connexe par arcs d'un point d'un espace topologique , la classe de dans par la relation définie ci-dessus.
La classe de est alors le plus grand connexe par arcs de (au sens de l'inclusion) contenant .
Faites ces exercices : la connexité par arcs (Ex. 7). |
L'adhérence du graphe de la fonction (voir supra), munie de la topologie induite, admet deux « composantes connexes par arcs », à savoir le graphe et le segment .
Référence
modifier- ↑ O. Ya. Viro, O. A. Ivanov, N. Yu. Netsvetaev et V. M. Kharlamov, Elementary Topology, AMS, 2008 [lire en ligne], p. 87 et 123.