Connexité par arcs
En mathématiques, et plus particulièrement en topologie, la connexité par arcs est un raffinement de la notion de connexité. Un espace topologique est dit connexe par arcs si deux points quelconques peuvent toujours être reliés par un chemin. Bien que la connexité est la notion fondamentale, la connexité par arcs est plus intuitive et se trouve être très souvent la meilleure façon de prouver la connexité.
Chemins
Avant de définir la connexité par arcs, il faut définir ce qu'on appelle « relier par un chemin ». Selon le cadre où l'on se trouve, on peut considérer des chemins particuliers.
Chemins dans un espace topologique
Modèle:Article détaillé Si Modèle:Math est un espace topologique et si Modèle:Math et Modèle:Math sont deux points de Modèle:Math, on appelle chemin d'origine Modèle:Math et d'extrémité Modèle:Math toute application continue <math>\gamma : [0,1] \rightarrow E </math> telle que <math>\gamma(0) = x </math> et <math>\gamma(1) = y</math>.
On dit que Modèle:Math et Modèle:Math sont reliés s’il existe un chemin d'origine Modèle:Math et d'extrémité Modèle:Math.
La relation « Modèle:Math est relié à Modèle:Math » est une relation d'équivalence sur Modèle:Math, dont les classes d'équivalence sont appelées les composantes connexes par arcs de Modèle:Math.
Chemins dans un espace vectoriel normé
Dans le cas où l'espace ambiant Modèle:Math est un espace vectoriel normé, on peut préciser la nature des chemins qui relient les points.
- Chemins rectilignes : un chemin est dit rectiligne s'il peut s'écrire <math>\gamma(t) = \vec{x} + t \vec{u}</math> pour tout <math>t \in [0,1]</math>. Le vecteur <math>\vec{u}</math> est appelé vecteur directeur de <math>\gamma</math>. Le support du chemin est alors un segment de droite.
- Chemins polygonaux : un chemin est dit polygonal s’il s'écrit comme un composé d'un nombre fini de chemins rectilignes. Par exemple, un trajet dans Manhattan est un chemin polygonal.
- Chemins de classe <math>\mathcal{C}^k</math> : un chemin peut être de classe <math>\mathcal{C}^k</math> avec <math>k \in \N</math>. En fait tout chemin est de classe <math>\mathcal{C}^0</math> c'est-à-dire continu, mais on peut avoir des niveaux de régularité supérieurs. Un chemin de classe <math>\mathcal{C}^k</math> avec <math>k \in \N^*</math> sera dit de plus régulier si <math>\gamma ' (t) \neq 0</math> pour tout <math>t \in [0,1]</math>. Un chemin régulier de classe <math>\mathcal{C}^{\infty} </math> est dit chemin lisse.
Connexité par arcs
Ces différents types de chemins vont permettre de définir différents types de connexité par arcs selon les cas.
Définition
Un espace topologique E est dit connexe par arcs si tout couple de points de E est relié par un chemin dont le support est inclus dans E.
Une partie A de E (munie de la topologie induite) est donc connexe par arcs si et seulement si tout couple de points de A est relié par un chemin restant dans A.
Une partie A d'un espace vectoriel normé est dite connexe par arcs polygonaux (respectivement par arcs <math>\mathcal{C}^k</math>) si deux points quelconques de A peuvent être reliés par un chemin polygonal (respectivement de classe <math>\mathcal{C}^k</math>).
Exemples
- Dans un espace vectoriel normé, une partie convexe ou étoilée est connexe par arcs.
- Un cercle est connexe par arcs <math>\mathcal{C}^{\infty}</math> mais pas par arcs polygonaux.
- Un carré est connexe par arcs polygonaux mais pas par arcs <math>\mathcal{C}^{\infty}</math>.
- Le plan privé d'une partie dénombrable (ou même « seulement » n'ayant pas la puissance du continu) est connexe par arcs polygonaux Modèle:Refnec<ref>Modèle:Note autre projet</ref>.
- Le groupe spécial orthogonal SO(n, ℝ) et le groupe général linéaire GL(n, ℂ) sont connexes par arcs (pour la topologie induite par une norme sur Mn(ℂ)).
- Le groupe général linéaire GL(n, ℝ) possède deux composantes connexes par arcs.
Lien avec la connexité
Tout espace connexe par arcs est connexe, mais la réciproque est fausse. Voici un contre-exemple classique. On définit une fonction Modèle:Math par
- <math>\begin{matrix}f : & ]0,1] &\to& \R \\ & x &\mapsto &\sin\left(\frac1x\right).\end{matrix}</math>
Cette fonction est continue sur ]0, 1]. On note Γ son graphe et C l'adhérence de Γ : Modèle:Retrait
Alors Γ est connexe (comme graphe d'une fonction continue sur un intervalle réel) donc son adhérence C aussi, mais C n'est pas connexe par arcs.
De même, la courbe sinus du topologue Γ ∪ {(0, 0)} est connexe mais pas connexe par arcs.
Cependant :
- dans ℝ, muni de la topologie usuelle, les parties connexes (les intervalles) sont connexes par arcs ;
- plus généralement, tout espace connexe et localement connexe par arcs (par exemple : tout ouvert connexe d'un espace vectoriel normé comme l'espace euclidien) est connexe par arcs.
Lien avec la continuité
La connexité par arcs, comme la connexité, est conservée par les applications continues. Si <math>f : E \rightarrow F</math> est une application continue entre deux espaces topologiques et si l'espace de départ Modèle:Math est connexe par arcs, alors son image Modèle:Math est connexe par arcs.
On a des résultats similaires pour les types plus spécifiques de connexités par arcs :
- la connexité par arcs polygonaux est conservée par les applications linéaires et par les applications affines ;
- la connexité par arcs <math>\mathcal{C}^k</math> est conservée par les <math>\mathcal{C}^k</math>-difféomorphismes.
Produit
En effet, si x et y sont deux points de <math>E=\prod_{i\in I}E_i</math> et si les <math>E_i</math> sont connexes par arcs, il existe pour chaque indice i un chemin <math>\gamma_i</math> à valeurs dans <math>E_i</math> tel que : <math>\gamma_i(0)=x_i</math>, <math>\gamma_i(1)=y_i</math>. Le chemin <math>\gamma:[0,1]\to E</math> défini par <math>\gamma(t)=(\gamma_i(t))_{i\in I}</math> joint alors Modèle:Math à Modèle:Math.
