Lacet (mathématiques)

Tracé de deux lacets sur un tore. Les lacets sont utilisés dans l'étude du groupe fondamental de l'espace topologique sur lequel ils sont définis.

En mathématiques, notamment en analyse complexe et en topologie, un lacet est la modélisation d'une « boucle ». C'est un chemin continu et fermé, c'est-à-dire que ses extrémités sont confondues. Par exemple, tout cercle dans le plan euclidien est un lacet.

Définitions

Soit $X$ est un espace topologique.

Définition 1 :

• On appelle lacet sur $X$ toute application continue $\gamma :[0,1]\to X$ telle que $\gamma (0)=\gamma (1)$.
• Autrement dit, un lacet sur $X$ est un chemin sur $X$ dont les deux extrémités (le point initial et le point final) sont identiques.

Définition 2 :

• On appelle lacet sur $X$ toute application continue de $S^1$ vers $X$, où $S^1$ dénote le cercle unité $\{z\in ℂ\mid |z|=1\}$.
• S¹ peut être regardé comme le quotient de $[0,1]$ en identifiant 0 ∼ 1.

L'ensemble de tous les lacets dans X est appelé l'espace des lacets de X.

En analyse complexe, on s'intéresse aux lacets qui sont aussi des "courbes rectifiables"

Un lacet f est dit simple lorsque l'égalité Modèle:Nobr implique soit que Modèle:Nobr, soit que $\{a,b\}=\{0,1\}$. Intuitivement, cela signifie que le lacet ne dessine qu'une unique boucle. On peut aussi définir des lacets polygonaux, ou de classe $C^k$ (voir Chemins). Les termes de lacet simple et de courbe de Jordan sont synonymes.

Indice d'un lacet dans le plan complexe

Modèle:Article détaillé Dans le cas $X=ℂ$, on peut définir l'indice $\mathrm{I}(\gamma ,z_0)$ d'un lacet $\gamma$ par rapport à un point $z_0\in ℂ\setminus \gamma ([0,1])$ : il correspond au nombre (entier relatif) de tours effectués par le lacet autour de ce point.

On peut l'obtenir en calculant :

$\mathrm{I}(\gamma ,z_0)=\frac{1}{2\pi i}\underset{\gamma }{\int }\frac{\mathrm{d}z}{z-z_0}$

Voir aussi

• Homotopie
• Connexité par arcs
• Connexité simple
• Espace des lacets
• Groupe fondamental
• Groupe de lacets
• Modèle:Lien
• Analyse complexe | Théorème intégral de Cauchy | Théorème des résidus