Sous-vari´et´es
Diverses fa¸cons de d´efinir les sous-vari´et´es
D´emonstration : Par exemple pour (ii)
Si Nest une sous-vari´et´e : choisissons une carte (Ux0, ϕ) ; alors localement
Nest l’ensemble des y∈Ux0⊂Rnpour lesquels F(y) = 0 o`u Fest la
projection sur Rn−kde ϕ:DF (x0) est bien surjective.
R´eciproquement, si Nest d´efinie localement par F= 0 o`u DF (x0) est
surjective : Comme DF (x0) est surjective, il existe un espace vectoriel E,
dim E=Rn−ktel que DF (x0)|Esoit bijective sur Rn−k. Notons Hun
suppl´ementaire et ψ:H⊕E→Rnd´efinie par ψ(u,v)=(u,F(u,v)). On
aψ(u,v)∈Rk× {0}ssi F(u,v) = 0 donc ssi (u,v)∈N. V´erifions que ψ
est un diff´eomorphisme local :
Dψ(u0,v0)·(∆u,∆v) = (∆u,DuF(x0)·∆u+DvF(x0)·∆v).
Le th´eor`eme d’inversion locale s’applique ; on pose ϕ=ψ−1
MAT431 Equations diff´erentielles Sous-vari´et´es 25 septembre, 2012 9 / 35
Sous-vari´et´es
Exemples
Une sous-vari´et´e n’est pas n´ecessairement ferm´ee : par exemple une
spirale image de t7→ e−t+it .
La sph`ere Sn:= {x= (x1,...,xn+1)∈Rn+1 :Pn+1
i=1 x2
i= 1}est une
sous-vari´et´e : Si F:Rn+1 →Rest d´efinie par
F(x1,...,xn+1) = −1 + Pn+1
i=1 x2
ion a Sn=F−1(0). On calcule
DF (x)=2x1dx1+· · · + 2xn+1dxn+1 ; surjective si x6= 0. En
particulier, ∀x∈Sn:Snest bien une sous-vari´et´e.
Le tore plong´e dans R3: c’est l’image de j:R×R→R3,
j(θ, ϕ) = ((r−ρcos θ) cos ϕ, (r−ρsin θ) sin ϕ, ρ sin ϕ)
MAT431 Equations diff´erentielles Sous-vari´et´es 25 septembre, 2012 10 / 35
Sous-vari´et´es
Exemples
Immersion :
D´efinition (Immersion)
On dit que j :Rk⊃U→Rnest une immersion si Dj(x)est injective en
tout x ∈U. L’image j(U)n’est pas n´ecessairement une sous vari´et´e.
Par abus de langage on parle de sous-vari´et´e immerg´ee.
Exemple : le “huit”. Ce n’est pas une sous-vari´et´e de R2mais c’est une
sous-vari´et´e immerg´ee.
MAT431 Equations diff´erentielles Sous-vari´et´es 25 septembre, 2012 11 / 35
Sommaire du cours 6
1Plan cours 6
2Sous-vari´et´es
3Espace tangent
4Points critiques des fonctions
5Champs de vecteurs sur les sous-vari´et´es
6Sous-vari´et´es `a bord
MAT431 Equations diff´erentielles Espace tangent 25 septembre, 2012 12 / 35