Htykuut

Pour les articles homonymes, voir Chemin (homonymie).

Points parcourus par un chemin de A à B dans R². Cependant, différents chemins peuvent parcourir le même ensemble de points.

En mathématiques, un chemin dans un espace topologique X est une application continue f de l'intervalle unité I = [0,1] dans X

f : I → X.

Le point initial du chemin est f(0) et le point final est f(1). On parle souvent de « chemin reliant x à y » où x et y sont les points initiaux et finaux du chemin. Il faut noter qu'un chemin n'est pas seulement un sous-ensemble de X qui "ressemble" à une courbe, mais comprend également un paramétrage. Par exemple, les applications f(x) = x et g(x) = x² représentent deux chemins différents de 0 à 1 sur la droite réelle R.

Un lacet dans un espace X basé au point x ∈ X est un chemin de x à x. Un lacet peut également être vu comme une application f : I → X avec f(0) = f(1) ou comme une application continue du cercle unité S¹ dans X

f : S¹ → X.

C'est parce que S¹ peut être regardé comme le quotient de I en identifiant 0 ∼ 1. L'ensemble de tous les lacets dans X est appelé l'espace des lacets de X.

Un espace topologique 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é π₀(X).

Homotopie des chemins |

Une homotopie entre deux chemins.

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.

Plus précisément, une homotopie de chemins dans X est une famille de chemins f_t : I → X indexée par I telle que

• 
  f_t(0) = x₀ et f_t(1) = x₁ sont fixés.


• l'application F : I × I → X définie par F(s, t) = f_t(s) est continue.

Les chemins f₀ et f₁ 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 |

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)={f(2s)0≤s≤12g(2s−1)12≤s≤1.{displaystyle fg(s)={begin{cases}f(2s)&0leq sleq {frac {1}{2}}\g(2s-1)&{frac {1}{2}}leq sleq 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é |

Dans le cas où l'espace ambiant E est un e.v.n. (espace vectoriel normé) ou un espace affine associé à un e.v.n., on peut préciser la nature des chemins qui relient les points.

• Chemins rectilignes : un chemin est dit rectiligne s'il peut s'écrire γ(t)=x+tu→{displaystyle gamma (t)=x+t{vec {u}}} pour tout t∈[0,1]{displaystyle tin [0,1]}. Le vecteur u→{displaystyle {vec {u}}} est appelé vecteur directeur de γ{displaystyle gamma }. Le « support » du chemin (c.-à-d. 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 Ck{displaystyle {mathcal {C}}^{k}} : un chemin peut être de classe Ck{displaystyle {mathcal {C}}^{k}} avec k∈N{displaystyle kin mathbb {N} }. En fait tout chemin est de classe C0{displaystyle {mathcal {C}}^{0}} c'est-à-dire continu, mais on peut avoir des niveaux de régularité supérieurs. Un chemin de classe Ck{displaystyle {mathcal {C}}^{k}} avec k∈N∗{displaystyle kin mathbb {N} ^{*}} sera dit de plus régulier si γ′(t)≠0{displaystyle gamma '(t)neq 0} pour tout t∈[0,1]{displaystyle tin [0,1]}. Un chemin régulier de classe C∞{displaystyle {mathcal {C}}^{infty }} est dit chemin lisse.

Voir aussi |

Bibliographie |

• (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 R. Munkres, Topology, Prentice Hall, 2000, 2^e éd. (lire en ligne)

Crédit d'auteurs |

• Portail des mathématiques