Connexité simple

En topologie, la notion de simple connexité raffine celle de connexité : là où un espace connexe est simplement « d'un seul tenant », un espace simplement connexe est de plus sans « trou » ni « poignée ».

On formalise cela en disant que tout lacet tracé dans un espace simplement connexe doit pouvoir être réduit continûment (c'est-à-dire par homotopie) à un point.

Si $X$ est un espace topologique connexe par arcs, on dit qu'il est simplement connexe si tout lacet $\gamma$ tracé sur $X$ est homotope à un point.

Intuitivement, on peut tirer sur le lacet pour le rétrécir jusqu'à ce qu'il ne forme plus qu'un point, il n'y a pas d'obstacle (c'est-à-dire de trou).

On parle aussi de parties simplement connexes ; une partie d'un espace topologique est dite simplement connexe si, munie de la topologie induite, elle constitue un espace topologique simplement connexe.

Formulations équivalentes :

• On note $S^1=\left\{z\in \mathbb{C}||z|=1\right\}$ le cercle unité et $D=\left\{z\in \mathbb{C}||z|\le 1\right\}$ le disque unité. Un espace topologique $X$ connexe par arcs est simplement connexe si et seulement si toute fonction continue $f:S^1\to X$ peut être prolongée en une fonction continue $F:D\to X$.

Autrement dit tout plongement d'un cercle dans $X$ peut être prolongé à un plongement du disque, intuitivement on peut « colorier » l'intérieur de toute boucle tracée dans $X$.

• Un espace topologique connexe par arcs est simplement connexe si et seulement si tout couple $p,q:[0,1]\to X$ de chemins tracés sur $X$ sont homotopes.

• Un espace topologique connexe par arcs est simplement connexe si et seulement si son groupe fondamental est trivial, c'est-à-dire réduit à l'élément neutre.

La droite réelle $\mathbb{R}$, ainsi que tout intervalle de $\mathbb{R}$, est simplement connexe. Soit $\gamma :[0,1]\to \mathbb{R}$ une application continue telle que $\gamma (0)=\gamma (1)$. Considérons alors la famille de lacets $({\gamma }_{\alpha }{)}_{\alpha \in [0,1]}$ définie par:

La fonction $(\alpha ,x)\to {\gamma }_{\alpha }(x)$ est continue ; si $\alpha =1$ alors le lacet est égal à $\gamma$ et si $\alpha =0$ le lacet est réduit à un point. Nous avons donc démontré que le lacet $\gamma$ est homotope à un point.

Dans le cas d'un intervalle il suffit de remarquer que:

Et donc tout lacet de la famille est bien définie dans l'intervalle. Nous avons donc démontré que tout lacet simple de $\mathbb{R}$ ou d'un de ses intervalles est homotope à un point.

Sont simplement connexes :

• le plan complexe $\mathbb{C}$ et plus généralement tout espace vectoriel normé ;
• le disque $D$ ;
• toute partie convexe ou étoilée d'un espace vectoriel normé ;
• la sphère $S^2=\left\{(x,y,z)\in {\mathbb{R}}^3|x^2+y^2+z^2=1\right\}$ ;
• une assiette, un verre, une fourchette.

Ne sont pas simplement connexes :

• ${\mathbb{R}}^{\ast }$ et plus généralement tout espace non-connexe ou non-connexe par arcs ;
• l'ensemble ${\mathbb{C}}^{\ast }$ des nombres complexes non-nuls ;
• le cercle $S^1$ ;
• le tore $T^2$ (ou « donut ») ;
• le ruban de Möbius et la bouteille de Klein ;
• une tasse, une passoire, un fouet de cuisine.

• Théorème : Tout revêtement d'un espace simplement connexe est un revêtement trivial.
• Théorème : Tout revêtement simplement connexe d'un espace est un revêtement universel.
• Propriété de relèvement des homotopies. Toute application f continue d'un espace simplement connexe X dans la base B d'un revêtement $\pi :Y\to B$, se relève, c'est-à-dire qu'il existe une application continue g : $X\to Y$ telle que $f=\pi \circ g$.

(à compléter)

Espace localement simplement connexes (par arcs)

Un espace est localement simplement connexe tout point admet une base de voisinages simplement connexes. Les espaces localement contractiles sont localement simplement connexes.

Espaces semi-localement simplement connexes (par arcs)

Un espace est dit semi-localement simplement connexe (par arcs) si tout point admet un voisinage U où tout lacet, contenu dans U, peut être déformée en un point dans X.