connexe par arcs

Définition intuitive

Un espace est connexe par arcs lorsqu’on peut se déplacer continûment de n’importe quel point à n’importe quel autre sans jamais quitter l’espace : il est fait d’un seul morceau, et cette unité se constate par un chemin explicite. C’est la version « constructive » de la connexité, et c’est ce qui la rend si commode. La connexité tout court est une propriété négative, on ne peut pas couper l’espace en deux ouverts disjoints , parfois difficile à vérifier directement et souvent prouvée par l’absurde. La connexité par arcs, elle, se démontre en exhibant un chemin.

Définition formelle

Soit $X$ un espace topologique. Un chemin de $a$ à $b$ dans $X$ est une application continue
$$\gamma:[0,1]\longrightarrow X,\qquad \gamma(0)=a,\qquad \gamma(1)=b .$$L’espace $X$ est connexe par arcs si $X\neq\varnothing$ et si deux points quelconques de $X$ sont joints par un chemin.

Relation d’équivalence. La relation « $a\sim b$ s’il existe un chemin de $a$ à $b$ » est une relation d’équivalence :

• réflexivité : le chemin constant $\gamma\equiv a$ ;
• symétrie : $\overline{\gamma}(t)=\gamma(1-t)$ inverse le sens de parcours ;
• transitivité : la concaténation
  $$(\gamma_1*\gamma_2)(t)=\begin{cases}\gamma_1(2t) & t\in[0,\tfrac12],\\ \gamma_2(2t-1) & t\in[\tfrac12,1],\end{cases}$$continue par recollement sur deux fermés, les deux définitions coïncidant en $t=\frac12$.

Les classes d’équivalence sont les composantes connexes par arcs de $X$ ; l’espace est connexe par arcs si et seulement s’il en possède exactement une.

Théorème. Connexe par arcs $\Longrightarrow$ connexe.

Preuve. Supposons $X=U\sqcup V$ avec $U,V$ ouverts non vides disjoints. Choisissons $a\in U$, $b\in V$ et un chemin $\gamma$ de $a$ à $b$. Alors $[0,1]=\gamma^{-1}(U)\sqcup\gamma^{-1}(V)$ est une partition en deux ouverts non vides, ce qui contredit la connexité de $[0,1]$. $\square$

Réciproque partielle. Si $X$ est connexe et localement connexe par arcs, alors $X$ est connexe par arcs. En effet, les composantes connexes par arcs sont alors ouvertes, donc aussi fermées comme complémentaires d’une réunion d’ouverts ; la connexité impose qu’il n’y en ait qu’une.

Exemples

1. Cas élémentaires. $\mathbb{R}^{n}$, toute boule, tout convexe non vide, tout sous-espace affine, tout intervalle de $\mathbb{R}$.
2. Sphères. $S^{n-1}\subset\mathbb{R}^{n}$ est connexe par arcs pour $n\geqslant 2$, comme image continue de $\mathbb{R}^{n}\setminus\{0\}$ par la projection radiale. Pour $n=1$, $S^{0}=\{-1,1\}$ ne l’est pas : c’est l’unique exception, et elle explique le rôle de l’hypothèse $n\geqslant 2$ dans beaucoup d’énoncés.
3. Groupes classiques. $\mathrm{GL}_n(\mathbb{C})$, $\mathrm{SL}_n(\mathbb{R})$, $\mathcal{SO}_n(\mathbb{R})$ et $\mathcal{U}_n(\mathbb{C})$ sont connexes par arcs ; $\mathrm{GL}_n(\mathbb{R})$ et $\mathcal{O}_n(\mathbb{R})$ ont exactement deux composantes.
4. Frontière d’un convexe. Si $C\subset\mathbb{R}^{n}$ est convexe borné d’intérieur non vide et $n\geqslant 2$, alors $\partial C$ est homéomorphe à $S^{n-1}$, donc connexe par arcs.
5. Contre-exemple (connexe mais pas par arcs). La sinusoïde du topologue ci-dessus. On peut en construire des variantes plus pathologiques encore, comme le cercle de Varsovie, connexe, de groupe fondamental trivial, mais non contractile.
6. Contre-exemple (adhérence). L’ensemble $\{(x,\sin\frac1x)\}$ seul est connexe par arcs (homéomorphe à $]0,1]$) mais son adhérence ne l’est plus : la propriété n’est pas préservée par passage à l’adhérence.
7. Contre-exemple (composantes non ouvertes). Dans $\mathbb{Q}\subset\mathbb{R}$, les composantes connexes par arcs sont les singletons : l’espace est dit totalement discontinu, sans être discret.