Définition 1.7. Une application continue f:X Y entre espaces topologiques
est une application pour laquelle la préimage de tout ouvert est un ouvert. C’est
un homéomorphisme lorsqu’elle est bijective, continue et d’inverse continue.
Définition 1.8. Deux applications continues f0:X Y et f1:X Y sont
dites homotopes lorsqu’elles sont reliées par une homotopie, c’est-à-dire par une
application continue F:X0,1Ytelle que FX0f0et FX1f1.
Définition 1.9. On dit qu’une application continue f:X Y est une équivalence
d’homotopie lorsqu’il existe une application continue g:Y X telle que g f et
f g soient homotopes à l’identité (de Xet de Yrespectivement).
Dans ce cas les espaces topologiques Xet Ysont dits homotopiquement équi-
valents, ou de même type d’homotopie. Un espace topologique est dit contractile
lorsqu’il est homotopiquement équivalent à un singleton.
Exemple 1.10.1. L’espace vectoriel Rnou plus généralement tout sous-ensemble
convexe ou étoilé est contractile.
2. La sphère Sn1a le même type d’homotopie que Rn0.
Définition 1.11. On dit qu’un sous-ensemble Yde Xest un rétract par déforma-
tion de Xlorsqu”il existe une homotopie F:X0,1Xtelle que f0IdX
et Im f1Yavec f1YIdY, où f0FX0et f1FX1. Les exemples
précédents (Exemple 1.10) sont des rétracts par déformation.
1.2 Variétés différentielles
Définition 1.12. Une variété différentielle de dimension nest un espace topolo-
gique séparé Mrecouvert par un nombre au plus dénombrable de cartes.
Une carte est la donnée d’un ouvert Ude M, d’un ouvert Vde Rnet d’un
homéomorphisme ϕ:U V tels que lorsque deux cartes U1, ϕ1et U2, ϕ2
se rencontrent, l’application de changement de cartes ϕ2ϕ1
1:ϕ1U1U2
ϕ2U1U2soit un C-difféomorphisme.
La variété Mest aussi appelée surface lorsque n2et courbe lisse lorsque
n1. La réunion des cartes est appelée atlas. Deux atlas sont dits compatibles
lorsque leur réunion est un atlas.
Contre-exemples 1.13.1. La réunion de deux copies de R2où l’on identifie les
points de R20n’est pas une variété parce-qu’elle n’est pas séparée.
2. La droite longue n’est pas une variété. En fait toute variété est paracompacte.
Exemple 1.14.1. Les premiers exemples de variétés différentielles sont Rn(l’es-
pace modèle), la sphère Sn:xRn1, x 1et le tore Tn:RnΛoù
Λest un réseau de Rn.
4