Connexité simple
En topologie gĂ©nĂ©rale et en topologie algĂ©brique, la notion de simple connexitĂ© raffine celle de connexe par arcs. Dans un espace connexe par arcs, deux points quelconques peuvent toujours ĂȘtre reliĂ©s par un chemin. Dans un espace simplement connexe, cela est toujours possible d'une et une seule façon, l'unicitĂ© Ă©tant Ă comprendre au sens de « Ă dĂ©formation (isotopie) prĂšs ». Intuitivement, 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.
DĂ©finition
Si X est un espace topologique connexe par arcs, on dit qu'il est simplement connexe si tout lacet 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 :
- Un espace topologique connexe par arcs est simplement connexe si et seulement si pour tous x, y, deux chemins quelconques p, q : [0, 1] â X de x Ă y sont toujours 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.
Exemples
Sont simplement connexes :
- tout espace contractile, par exemple toute partie non vide convexe (ou mĂȘme seulement Ă©toilĂ©e) d'un espace vectoriel normĂ© sur â ;
- plus généralement, tout espace homotopiquement équivalent à un espace simplement connexe ;
- la sphĂšre Sn pour n â„ 2 ;
- tout produit d'espaces simplement connexes, comme (ân+1)* â Sn Ă â+* pour n â„ 2 ;
- le groupe spécial unitaire SU(n) ;
- l'ensemble de Mandelbrot ;
- le cercle polonais (qui est connexe par arc mais non localement connexe).
Ne sont pas simplement connexes :
- â* et plus gĂ©nĂ©ralement (par dĂ©finition) tout espace non connexe par arcs ;
- le cercle S1 ;
- le produit de n'importe quel espace par S1, comme l'ensemble â* â S1 Ă â+* des nombres complexes non nuls ou le tore Tn = (S1)n ;
- plus généralement, tout tore d'application, comme le ruban de Möbius ou la bouteille de Klein ;
- le groupe spécial orthogonal SO(n) si n ℠2.
Propriétés
- Tout revĂȘtement d'un espace simplement connexe et localement connexe par arcs est un revĂȘtement trivial.
- Le cercle polonais possĂšde un revĂȘtement de degrĂ© 2 non trivial.
- Tout revĂȘtement simplement connexe et localement connexe par arcs 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 Ï : Y â B, se relĂšve, c'est-Ă -dire qu'il existe une application continue g : X â Y telle que f = Ï o g.
Le cas particulier X = [0, 1] est la propriété de relÚvement des chemins. - Le théorÚme de Cauchy.
Généralisations
Un espace est localement simplement connexe lorsque tout point admet une base de voisinages simplement connexes. Les espaces localement contractiles sont localement simplement connexes.
Un espace est dit semi-localement simplement connexe (en) (par arcs) si tout point admet un voisinage U oĂč tout lacet, contenu dans U, peut ĂȘtre dĂ©formĂ© en un point dans X.