Connexité par arcs - Définition

La notion topologique de 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. En fait, la connexité est la notion fondamentale. Mais 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

Si est un espace topologique et si et sont 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 si et seulement s’il existe un chemin d'origine et d'extrémité .

Propriété : La relation "  est relié à  " est une relation d'équivalence :

• est relié à  ;

(grâce au chemin constant )

• si est relié à alors est relié à  ;

(grâce au chemin opposé )

• si est relié à et est relié à alors est relié à  ;

(si relie à et relie à alors le chemin composé défini par si et si relie à )

Chemins dans un espace vectoriel normé

Dans le cas où l'espace ambiant est un espace vectoriel normé, on peut préciser la nature des chemins qui relient les points.

• Chemins rectilignes : un chemin est dit rectiligne si et seulement il peut s'écrire . est appelé vecteur directeur de . Le support du chemin est alors un segment de droite.

• Chemins polygonaux : un chemin est dit polygonal si et seulement 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  : un chemin peut être de classe avec . En fait tout chemin est de classe c'est-à-dire continu, mais on peut avoir des niveaux de régularité supérieurs. Un chemin de classe avec sera dit de plus régulier si . Un chemin régulier de classe 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

Deux points quelconques peuvent être reliés par un chemin tracé dans cette partie

Un espace topologique est dit connexe par arcs si et seulement si tout couple de points de est relié par un chemin.

Une partie de est dite connexe par arcs si et seulement tout couple de points de sont relié par un chemin restant dans .

Une partie d'un espace vectoriel normé est dite connexe par arcs polygonaux (resp. par arcs ) si deux points quelconques de peuvent être reliés par un chemin polygonal (resp. de classe ).

La connexité par arcs rectilignes correspond à la convexité.