Géométrie différentielle appliquée
Table des matières
1 Variétés différentiables 1
1.1 Variétés différentiable . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Applications différentiables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.3 Sous-variétés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3.1 Sous-variétés de Rn. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3.2 Sous-variétés de variétés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2 Espaces tangent et cotangent 3
2.1 Vecteurs tangents . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2 Dérivations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
2.3 Différentielle d’un application . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.4 Coordonnées sur l’espace tangent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
2.5 Caractérisation de l’espace tangent dans Rn. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3 Champ de vecteur 7
3.1 Fibrés tangent et cotangent . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3.2 Champs de vecteurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3.3 Équations différentielles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
3.4 Flots et groupes de difféomorphismes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
4 Familles de champs de vecteurs 9
4.1 Systèmes commandés . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
4.2 Crochets et algèbre de LIE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
4.2.1 Dérivée de LIE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
4.3 Orbite d’une famille de champs de vecteurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
4.4 Espace tangent à une orbite . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1 Variétés différentiables
1.1 Variétés différentiable
On considère un espace topologique Mqu’on suppose :
Êà base dénombrable ;
Ëséparé.
Définition : Homéomorphisme
ÐUn homéomorphisme est une application continue et inversible dont l’inverse est continue.
Définition : Carte
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Une carte de dimension n sur Mest un couple (U,φ)formé de
Êun ouvert U M;
Ëun homéomorphisme φ:Uφ(U)Rn.
L’ouvert Uest le domaine de la carte et φest ce que l’on appelle une fonction coordonnée.
1
Définition :
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Deux cartes 5u,φ)et (V,ψ)sur Msont compatibles si
UV=;
ou si ψφ1est un difféomorphisme entre les ouvert de Rnque sont ψ(UV)et φ(UV). Le fait que
ψφ1soit un difféomorphisme implique que les deux cartes soient de même dimension.
On rappelle qu’un application f:UEF, où Eet Fsont des espaces vectoriels normés et Uun ouvert
de E, est un difféomorphisme de Udans f(U)si elle est de classe C, inversible et si son inverse est C.
Une condition nécessaire et suffisante est que fsoit injective et que sa différentielle soit un isomorphisme
Définition : Atlas
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Un atlas de dimension nde Mest un ensemble A=(Uα,φα)de cartes de dimension ntel que
Êles ouverts Uαrecouvrent M;
Ëtoutes les cartes de Asont compatibles deux à deux.
Deux altlas sont équivalents si leur union est encore un atlas.
Définition : Structure différentiable
Ð
Ð
Ð
Une structure différentiable de dimension nsur Mest une classe d’équivalence d’atlas de dimension n
de M.
Définition : Variété différentiable
Ð
Ð
Ð
Une variété différentiable de dimension nest un espace topologique Mséparé et à base dénombrable
muni d’une structure différentiable de dimension n.
1.2 Applications différentiables
Définition : Application différentiable
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Soit Met Ndeux variétés différentiables de dimension net ket F:MNune application.
L’application Fest différentiable (ou de classe C) en pMs’il existe une carte (U,φ)de Mcontenant
pet une carte (V,ψ)de Ncontenant F(p), avec F(U)V, telles que
Fφψ =ψFφ1:φ(U)Rnψ(V)Rk
soit de classe C.
On dit que Fest une application différentiable de Mdans Nsi elle est différentiable en tout point de
M.
On remarque que la notion de différentiabilité ne dépend pas des cartes choisies dans les variétés. Si on choisit
deux systèmes de coordonnées locales différents, φ1et φ2(resp.ψ1et ψ2) sur M(resp. sur N), on a
ψ2Fφ1
2=ψ2ψ1
1(ψ1Fφ1
1)φ1φ1
2
Propriété :
ÊToute application différentiable est continue ;
ËSoit SiIUiun recouvrement ouvert de M. Alors Fest différentiable si et seulement si chaque
restriction F|Ui,iI, l’est ;
ÌLa composition d’applications différentiables est différentiable.
Définition : Difféomorphisme
Ð
Ð
Ð
Une application F:MNest un difféomorphisme de Msur Nsi Fest une bijection et si Fest F1
sont différentiables. On a alors nécessairement dim M=dim N.
2
Propriété : et définition
Le rang de Fφψ en φ(p)ne dépend pas des cartes (U,φ)de Met (V,ψ)de Ntelles que pUet
F(p)V. Cette quantité est appelée le rang de Fen pet est notée rgpF.
Propriété :
Une application de Mdans Nest un difféomorphisme si et seulement si elle est bijective et de rang
n=dim M=dim Nen tout point de M.
Définition : Immersion – Submersion
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
ÊF:MNest une immersion si Fest différentiable et rg F=dim Men tout point de M,
autrement dit, en coordonnées locales, DFφψ(x)est injective pour tout xde M.
Dans ce cas, on a nécessairement dim Mdim N.
ËF:MNest une submersion si Fest différentiable et rg F=dim Nen tout point de M,
autrement dit, en coordonnées locales, DFφψ(x)est surjective pour tout xde M.
Dans ce cas, on a nécessairement dim M¾dim N.
Définition : Plongement
Ð
Ð
Ð
On dit que F:MNest un plongement si Fest une immersion injective et un homéomorphisme
de Mdans F(m)pour la topologie induite.
1.3 Sous-variétés
1.3.1 Sous-variétés de Rn
Définition : Sous-variétés
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Un sous-ensemble NRnest une sous-variété de Rnde dimension knsi, pour tout point xde N, il
existe un ouvert UxRncontenant xet un difféomorphisme φ:Uxφ(Ux)Rntel que
φ(UxN) = φ(Ux)Rk.
Autrement dit, une sous-variété de Rnest un sous ensemble que l’on peut redresser localement en
sous-espace vectoriel Rk.
Il est clair qu’une sous-variété est une variété.
Propriété :
Soit URkun ouvert et f:URnun plongement. Alors N=f(U)est une sous-variété de Rnde
dimension k.
Propriété :
Soit F:RnRnkune application différentiable et yF(Rn)Rnk. Si Fest une submersion sur
N=F1(y)alors Nest une sous-variété de Rnde dimension k.
1.3.2 Sous-variétés de variétés
3
Définition : Sous-variétés de variétés
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Une partie Nd’une variété Mde dimension nest une sous-variété de Mde dimension knsi, pour
tout point qde N, il existe une carte (U,φ)de Mcontenant qtelle que
φ(UN) = φ(U)Rk.
La carte (U,φ)est dite adaptée à N.
Propriété : Caractérisation
ÊSoit Met Ndes variétés de dimensions respectives net k,F:MNun plongement. Alors
W=F(N)est une sous-variété de Mde dimension k.
ËSoit Met Ndes variétés de dimensions respectives net k,F:MNune submersion et
yF(M). Alors W=F1(y)est une sous-variété de Mde dimension nk.
Voici une notion moins forte que celle de sous variété.
Définition : Sous-variété immergée
Ð
Ð
Ð
Ð
Un sous-ensemble Wd’une variété Mest une sous-variété immergée de dimension kns’il existe une
immersion injective f :NM, où Nest une variété de dimension ket dont l’image f(N)est égale à
W.
Théorème : Plongement de Whitney
Toute variété de dimension nadmet un plongement sur une sous-variété fermée de R2n+1.
2 Espaces tangent et cotangent
2.1 Vecteurs tangents
Définition : courbes tangentes
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Deux courbes c1et c2sont tangentes au point psi c1(0) = c2(0) = pet s’il existe une carte locale (U,ϕ)
telle que pUet d
dtϕc1(0) = d
dtϕc2(0).
On remarque que la définition est indépendante de la carte choisie.
On définit ainsi une relation d’équivalence sur l’ensemble des courbes passant par p:c1c2si elle sont
tangente en p.
Définition : Vecteur, espaces tangent
Ð
Ð
Ð
Un vecteur tangent àMen pest uhne classe d’équivalence des courbes tangentes en p.
L’espace tangent àMen p, noté TpM, est l’ensemble des vecteurs tangents à Men p.
2.2 Dérivations
Définition : germes de fonction
Ð
Ð
Ð
Ð
Dans l’ensemble des fonctions à valeurs réelles de classe Cdéfinies sur un ouvert de Mau voisinage
de p, les germes de fonctions sont celles qui sont égales sur un voisignage de p. On note C(p)cet
ensemble.
4
Définition : Dérivation
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Ð
Une dérivation en pest une application linéaire Dp:CRqui vérifie la règle de LEIBNIZ. Autrement
dit, Dpest une dérivation si pour tous réels α,βet toutes fonctions fet gde C,
ÊDp·(αf+βg) = αDp·f+βDp·g
ËDp·(f g) = g(p)Dp·f+f(p)Dp·g
L’ensemble D(p)des dérivations en pforme un espace vectoriel.
Théorème : lemme d’Hadamard
Soit (U,ϕ)une carte de Mcentrée en p(i.e. ϕ(p) = 0). Pour toute fonction gC(p), il existe
χ1,...,χnC(p)telles que
qU,g(q) = g(p) +
n
X
i=1
xi(q)χi(q)
Utilisons ce lemme pour caractériser les éléments de D(p). Soit une carte (U,ϕ)cebtrée en p. On a
Dp·g=Dp·(g(p)) +
n
X
i=1χi(p)Dp·xi+xi(p)Dp·χi
i.e.
Dp·g=
n
X
i=1
χ(p)Dp·xi
Théorème :
On a
dimD(p) = n=dim M
Propriété :
Soient gC(p)et Xpun vecteur tangent en p. Alors la dérivée d
dtgc(0)est la même pour toutes
les courbes c(s)passant par pet appartenant à la classe d’équivalence Xp.
On note Xp·gla valeur de cette dérivée.
Propriété :
L’application g7−Xp·gest une dérivation.
Théorème :
L’ensemble des vecteurs tangents TpMs’identifie à l’espace vectoriel D(p)de dimension ndes déri-
vations en p.
2.3 Différentielle d’un application
5
1 / 13 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !