L'île des mathématiques propose des cours et des exercices de maths et de physique.

L'île des Mathématiques

Homotopie

Recherche :   encyclopédie Encyclopédie     toutes les définitions Les définitions     définitions Top définitions     nouveau Nouveautés
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z       toutes les définitions

Homotopie : encyclopédie mathématique

wikipediaCet article est issu de l'encyclopédie libre Wikipedia.
Vous pouvez consulter l'article ici ainsi que son historique.
Les textes et les images sont disponibles sous les termes de la Licence de documentation libre GNU.
Aller à : Navigation, Rechercher

En mathématiques, le concept topologique d'homotopie formalise la notion naturelle de « déformation continue Â» d'un objet vers un autre.

Sommaire

[modifier] Homotopie entre fonctions

Homotopie entre deux chemins

On se donne deux espaces topologiques X \,\! et Y \,\!. Deux fonctions continues f , \, g \, : \, X \rightarrow Y \,\! sont dites homotopes (dans Y \,\!) s'il existe une application continue H \, : \, X \times [0,1] \rightarrow Y \,\! telle que :

Autrement dit, selon les valeurs du paramètre t \,\!, la fonction H \,\! passe continûment de f \,\! (pour t=0 \,\!) à g \,\! (pour t=1 \,\!). Chaque valeur du paramètre t \,\! correspond à une fonction :

h_t \, : \, X \rightarrow Y, \, x \mapsto H(x,t) \,\!

« située entre f \,\! et g \,\! Â».

Une autre manière de le voir est que pour chaque x \in X \,\!, la fonction H \,\! définit un chemin \gamma_x \,\! reliant f(x) \,\! à g(x) \,\! :

\gamma_x \, : \, [0,1] \rightarrow Y, \, t \mapsto H(x,t) \,\!

Exemple 1 : On prend X = \R \,\!, Y = \R \,\!, f(x) = 1 \,\! et g(x) = -1 \,\!. Alors f \,\! et g \,\! sont homotopes dans Y \,\! via la fonction continue :

H(x,t) = 1 - 2t \,\!

(à noter que dans cet exemple rien ne dépend de la variable x \,\! ce qui est exceptionnel...).

NB : La mention « homotope dans Y \,\! Â» peut s'avérer très importante ; en effet dans l'exemple précédent si on remplace Y = \R \,\! par le sous-espace Y' = \R^* \,\!, f \,\! et g \,\! sont toujours à valeurs dans Y' \,\! mais elles ne sont pas homotopes dans Y' \,\!, car il n'existe pas de fonction continue reliant -1 \,\! à 1 \,\! dans \R^* \,\! (voir le théorème des valeurs intermédiaires).

Exemple 2 : On prend X = [0,1] \,\!, Y = \mathbb{C} \,\!, f(x) = e^{2i \pi x} \,\! et g(x) = 0 \,\!. f \,\! décrit un cercle de rayon unité autour de l'origine ; g \,\! reste à l'origine. Alors f \,\! et g \,\! sont homotopes via la fonction continue :

H(x,t) = (1-t)e^{2i \pi x} \,\!

(pour chaque valeur de t \,\! la fonction h_t(x)=H(x,t) \,\! décrit un cercle de rayon 1-t \,\! autour de l'origine).

L'homotopie des fonctions est une relation d'équivalence sur l'ensemble \mathcal{C}(X,Y) \,\! des applications continues de X \,\! vers Y \,\!. Une des premières applications de l'homotopie est la définition de la connexité simple via l'homotopie des lacets.

[modifier] Équivalence homotopique entre espaces topologiques

La définition de l'homotopie entre deux espaces peut paraître abstraite, mais elle correspond à l'idée très simple de déformation continue.

Étant donné deux espaces topologiques E \,\! et F \,\!, on dit qu'ils sont homotopiquement équivalents (ou « de même type d'homotopie Â») si et seulement s’il existe deux applications continues f \, : \, E \rightarrow F \,\! et g \, : \, F \rightarrow E \,\! telles que :

On parlera plus souvent d'équivalence homotopique entre deux parties d'espaces topologiques.

Deux espaces topologiques homéomorphes sont homotopiquement équivalents mais la réciproque est fausse en général, comme le montrent les exemples suivants.

Exemples :

L'équivalence homotopique est une relation d'équivalence entre espaces topologiques. Diverses propriétés importantes en Topologie algébrique sont conservées par équivalence homotopique, parmi lesquelles : la connexité simple, la connexité par arcs, les groupes d'homologie et de cohomologie...

[modifier] Isotopie

L' isotopie est un raffinement de l'homotopie ; dans le cas où les deux applications continues f \, : \, X \rightarrow Y \,\! et g \, : \, X \rightarrow Y \,\! sont des homéomorphismes on peut vouloir passer de f \,\! à g \,\!, non seulement continûment mais en plus par homéomorphismes.

On dira donc que f \,\! et g \,\! sont isotopes si et seulement s’il existe une application continue H \, : \, X \times [0,1] \rightarrow Y \,\! telle que :

La fonction h_t \,\! est définie par \forall x \in X, \, h_t(x) = H(x,t) \,\!.

La notion d'isotopie est notamment importante en théorie des nÅ“uds : deux nÅ“uds sont considérés identiques s'ils sont isotopes, c'est-à-dire si on peut déformer l'un pour obtenir l'autre sans que la « corde Â» se déchire ou se pénètre.

[modifier] Voir aussi

wikipediaCet article est issu de l'encyclopédie libre Wikipedia.
Vous pouvez consulter l'article ici ainsi que son historique.
Les textes et les images sont disponibles sous les termes de la Licence de documentation libre GNU.

Recherche :   encyclopédie Encyclopédie     toutes les définitions Les définitions     définitions Top définitions     nouveau Nouveautés
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z       toutes les définitions

cours particuliers

Menu

Membres



page d'accueil.    favoris    imprimer