Chemin (topologie)

Points parcourus par un chemin de A à B dans R².

En mathématiques, notamment en analyse complexe et en topologie, un chemin est la modélisation d'une succession continue de points entre un point initial et un point final. On parle aussi de chemin orienté.

Définitions[modifier | modifier le code]

Soit $X$ un espace topologique. On appelle chemin ou arc^[1]^,^[2] sur $X$ toute application continue $\gamma \,:\,[0,1]\rightarrow X$ .

Le point initial du chemin est $f(0)$ et le point final est $f(1)$ . Ces deux points constituent les extrémités du chemin. Lorsque $A$ désigne le point initial et $B$ le point final du chemin (cf. figure ci-dessus), on parle alors de « chemin reliant $A$ à $B$ ».

Il faut noter qu'un chemin n'est pas seulement un sous-ensemble de $X$ qui « ressemble » à une courbe, mais il comprend également un paramétrage. Par exemple, les applications $f(x)=x$ et $g(x)=x^{2}$ représentent deux chemins différents de 0 à 1 sur la droite réelle R. De la même manière, si nous considérons une lemniscate de Bernoulli, elle peut être "parcourue" de deux manières différentes, alors que la lemniscate en tant qu'ensemble est la même dans les deux cas^[1]. Si $n\in {\mathbb {Z}},\varepsilon _{n}:[0,1]\rightarrow {\mathbb {C}},t\mapsto e^{2\pi int},\varepsilon _{n}([0,1])$ est le cercle unité tout entier, mais tout point de ce cercle est obtenu pour |n| valeurs distinctes de t; on dit encore que $\varepsilon _{n}$ est le "cercle unité parcouru $n$ fois"^[3].

L’ensemble des chemins sur $X$ forme un espace topologique avec une fibration sur $X$ .

Un lacet sur $X$ est un chemin dont les deux extrémités sont identiques. En particulier, si $\gamma$ est constante, $\gamma ([0,1])$ est réduit à un seul point("chemin constant")^[3].

Un espace topologique sur $X$ dans lequel deux points quelconques sont toujours reliés par un chemin est dit connexe par arcs. Tout espace peut être décomposé en un ensemble de composantes connexes par arcs. L'ensemble des composantes connexes par arcs d'un espace $X$ est souvent noté $\pi _{0}(X)$ .

Homotopie des chemins[modifier | modifier le code]

Article principal : Homotopie.

Les chemins et les lacets sont des sujets centraux d'étude pour la branche de la topologie algébrique appelée théorie de l'homotopie. Une homotopie de chemins rend précise la notion de déformation continue d'un chemin en laissant fixes les extrémités.

En bref, une homotopie de chemins dans X est une famille de chemins $f_{t}:[0,1]\rightarrow X$ indexée par $[0,1]$ telle que

$f_{t}(0)=x_{0}$ et $f_{t}(1)=x_{1}$ sont fixés ;
l'application $F:[0,1]\times [0,1]\rightarrow X$ définie par $F(s,t)=f_{t}(s)$ est continue.

Les chemins $f_{0}$ et $f_{1}$ reliés par une homotopie sont dits homotopes. On peut également définir une homotopie de lacets laissant le point de base fixe.

La relation d'homotopie est une relation d'équivalence entre les chemins dans un espace topologique. La classe d'équivalence du chemin $f$ pour cette relation est appelée la classe d'homotopie de $f$ et est souvent notée $[f]$ .

Composition des chemins[modifier | modifier le code]

On peut composer des chemins dans un espace topologique d'une manière évidente. Soient f un chemin de x à y et g un chemin de y à z. Le chemin fg est défini comme le chemin obtenu en parcourant d'abord f et puis en parcourant g : $fg(s)={\begin{cases}f(2s)&0\leq s\leq {\frac {1}{2}}\\g(2s-1)&{\frac {1}{2}}\leq s\leq 1.\end{cases}}$ Évidemment, la composition des chemins est seulement définie lorsque le point final de f coïncide avec le point initial de g. Elle n'est pas associative, à cause des différences dans la paramétrisation. Cependant, elle est associative à homotopie près, c'est-à-dire que [(fg)h] = [f(gh)] (lorsque ces composés sont définis, c'est-à-dire lorsque le point final de f est égal au point initial de g et le point final de g au point initial de h). Les classes d'homotopie de chemins dans X forment ainsi un groupoïde, appelé le groupoïde de Poincaré de X et noté π(X).

Pour tout point x₀ de X, le sous-groupoïde des classes d'homotopie de lacets basés en x₀ est donc un groupe, appelé le groupe fondamental de X au point x₀ et noté π₁(X,x₀).

Chemins dans un espace vectoriel normé[modifier | modifier le code]

Dans le cas où l'espace topologique $X$ est un espace vectoriel normé, ou un espace affine associé à 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 $\gamma (t)=x+t{\vec {u}}$ pour tout $t\in [0,1]$ . Le vecteur ${\vec {u}}$ est appelé vecteur directeur de $\gamma$ . Le « support » du chemin (c'est-à-dire son image) 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 ${\mathcal {C}}^{k}$ : un chemin peut être de classe ${\mathcal {C}}^{k}$ avec $k\in \mathbb {N}$ . Par définition, tout chemin est continu et donc de classe ${\mathcal {C}}^{0}$ ; mais on peut aussi avoir des niveaux de régularité supérieurs. Un chemin de classe ${\mathcal {C}}^{k}$ avec $k\in \mathbb {N} ^{*}$ est dit régulier si $\gamma '(t)\neq 0$ pour tout $t\in [0,1]$ . Un chemin régulier de classe ${\mathcal {C}}^{\infty }$ est dit chemin lisse.

Notes et références[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Path (topology) » (voir la liste des auteurs).

↑ ^{a et b} Laurent Schwartz, Analyse, vol. I : Théorie des ensembles et topologie, Hermann, 1995 (ISBN 978-2-7056-6161-8, OCLC 439120175), p. 255.
↑ Jacques Dixmier, Topologie générale, Paris, Gauthier-Villars, 1981, p. 148.
↑ ^{a et b} Jean Dieudonné, Calcul infinitésimal, Hermann, 1980 (ISBN 978-2-7056-5907-3, OCLC 6787042), p. 198.

Bibliographie[modifier | modifier le code]

(en) Ronald Brown, Topology and Groupoids, Booksurge PLC, 2006
(en) J. Peter May, A Concise Course in Algebraic Topology, University of Chicago Press, 1999
(en) James Munkres, Topology, Prentice Hall, 2000, 2^e éd. (1^re éd. 1975), 537 p. (ISBN 978-0-13-181629-9, lire en ligne)

Portail des mathématiques

[:0-1] {a et b} Laurent Schwartz, Analyse, vol. I : Théorie des ensembles et topologie, Hermann, 1995 (ISBN 978-2-7056-6161-8, OCLC 439120175), p. 255.

[2] Jacques Dixmier, Topologie générale, Paris, Gauthier-Villars, 1981, p. 148.

[:1-3] {a et b} Jean Dieudonné, Calcul infinitésimal, Hermann, 1980 (ISBN 978-2-7056-5907-3, OCLC 6787042), p. 198.

[1]

[2]

[3]