Cours N1MA6011 : Géométrie Différentielle

Laurent Bessières

S6, 2012-2013
 Cours 1 : jeudi 17/01/13

1 Courbes, théorie locale

On travaille dans Rn muni du produit

p scalaire canonique h·, ·i (pour lequel la base canonique
est orthonormée). On note ||x|| = hx, xi la norme associée et d(x, y) = ||x − y|| la distance
associée.

1.1 Arcs paramétrés, arcs géométriques

Définition 1.1. On appelle arc paramétré de classe C k , k ∈ N, un couple (I, f ) où

I ⊂ R est un intervalle ouvert et f : I→ Rn est une application de classe C k .

On rappelle que cela signifie que f (t) = (x1 (t), . . . , xn (t)) où chaque xi : I→ R est de classe C k .

Exemple 1.2. le cercle unité f : R→ R2 défini par t 7→ (cos(t), sin(t)) est de classe C ∞ (i.e. C k
pour tout k).

Exemple 1.3 (angle droit). Soit f : R→ R2 défini par


 t 7→ (0, −t), t ∈] − 1, 0[
0 7→ (0, 0)
t 7→ (t, 0), t ∈]0, 1[


f est de classe C 0 mais pas C 1 .

1. Courbes, théorie locale 2 Cours 1 : jeudi 17/01/13

Exemple 1.4 (angle droit C ∞ ). Soit f : R→ R2 défini par


 t 7→ (0, e1/t ), t < 0
0 7→ (0, 0)
t 7→ (e−1/t , 0), t > 0


Vérifier que f est de classe C ∞ .

On s’intéresse aux propriétés géométriques des courbes indépendantes de leur paramétrage.

Définition 1.5. On dit que deux arcs paramétrés de classe C k , (I, f ) et (J, g), définissent le
même arc géométrique de classe C k s’il existe un difféomorphisme θ : J→ I de classe C k tel
que g = f ◦ θ. Le sous-ensemble f (I) ⊂ Rn est appelé le support de A.

On dit que A est paramétré par (I, f ) (ou (J, g)) et que θ un changement de paramétrage.
On rappelle que θ : J→ I est un difféomorphisme de classe C k , k ≥ 1 si θ est bijective, θ et
sa réciproque θ−1 sont de classe C k , et θ0 ne s’annulle pas sur J. Il s’ensuit que θ est croissant
(θ0 > 0) ou bien décroissant (θ0 < 0).

Définition 1.6. On dit que (I, f ) et (J, g) définissent le même arc géométrique orienté
si f est obtenu à partir de g par un changement de paramétrage croissant.

Exemple 1.7. f : R→ R2 défini par f (t) = (t, 0) définit le même arc géométrique (orienté) que
g : R→ R2 , s 7→ (2s, 0). Il définit le même arc géométrique que h : R→ R2 , s 7→ (−s, 0), mais pas le
même arc géométrique orienté.

La relation “(I, f ) et (J, g) définissent le même arc géométrique” (resp. arc géométrique orienté)
est une relation d’équivalence sur l’ensemble des arcs paramétrés. Un arc géométrique (resp. arc
géométrique orienté) est donc une classe d’equivalence d’arcs paramétrés. Un arc géométrique
contient exactement 2 arcs géométriques orientés. Si (I, f ) et (J, g) paramètrent A, alors f (I) =
g(J) mais la réciproque est fausse. Le support ne détermine pas l’arc géométrique.

Exemple 1.8. (I =]0, 3π[, f (t) = (cos(t), sin(t)) et (J =]0, 5π[, g(t) = (cos(t), sin(t))) définissent
le même support (f (I) = g(J) = S 1 ) mais pas le même arc géométrique.
Exercice : démontrer le. Indication : montrer que le cardinal de la pré-image d’un point donné de f (I) est
invariant par changement de paramétrage, i. e. il est le même pour tous les arcs paramétrés équivalents
à (I, f ). Constater ensuite que f passe 2 fois par (0, 1) alors que g y passe 3 fois...

Peut-on donner un sens à l’expression p ∈ A ? L’exemple 1.8 montre qu’il ne faut pas confondre
un arc géométrique avec son support, et donc un point de l’arc géométrique et un point du
support.

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

1. Courbes, théorie locale 3 Cours 1 : jeudi 17/01/13

Définition 1.9. On appellera point d’un arc géométrique A, une classe d’équivalence de
triplets (I, f, t), où (I, f ) paramètre A et t ∈ I, pour la relation d’équivalence (I, f, t) ∼ (J, g, s)
s’il existe un changement de paramétrage θ : J→ I tel que g = f ◦ θ et t = θ(s). L’élément
commun f (t) = g(s) est l’image du point.

La notation (I, t, f ) étant un peu lourde, on pourra dire simplement p = f (t) un point de A.
Mais attention, si p0 = f (t0 ) est un autre point de A (t 6= t0 ) et que f (t) = f (t0 ) (même image),
on a quand même p 6= p0 !

1.2 Points réguliers, Tangente

Définition 1.10. Soit A un arc géométrique paramétré par (I, f ) et p = f (t) un point de A.
On dit que p est régulier si f 0 (t) 6= 0. Dans ce cas la droite passant par p de vecteur directeur
f 0 (t) est la tangente à A en p. On dit que A est régulier si tous ses points le sont.

Vérifions que la définition en soit bien une, i.e. que la condition f 0 (t) 6= 0 et que la tangente
ne dépendent pas du paramétrage. Soit (J, g) un arc paramétré équivalent à (I, f ), θ : J→ I le
changement de paramétrage. Comme g = f ◦ θ,

g 0 (s) = f 0 (θ(s))θ0 (s) = f 0 (t)θ0 (s)

et puisque θ0 6= 0 on a g 0 (s) 6= 0 ⇔ f 0 (t) 6= 0. De plus g 0 (s) est proportionnel à f 0 (t) donc (J, g)
définit la même droite tangente que (I, f ) au point f (t) = g(s).

Exemple 1.11. Soit A dans R2 paramétré par (] − 1, 1[, f (t) = (t, 0)) et B paramétré par (] −
1, 1[, g(t) = (t3 , 0)). Ces arcs géométriques ont même support mais sont différents : A est régulier, B
non.

Exercice 1.12. (1) Soit D = R × {0} ⊂ R2 . Montrer qu’il existe un unique arc géométrique
régulier de support D.
(2) Soit (R, f ) l’angle droit C ∞ de l’exemple 1.4. Montrer qu’il n’existe pas d’arc géométrique régulier
de support f (R).

Définition 1.13. Soit A un arc géométrique régulier paramétré par (I, f ) et p = f (t) un
point de A.

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

1. Courbes, théorie locale 4 Cours 1 : jeudi 17/01/13

- On dit que p est birégulier si f 0 (t) et f 00 (t) sont linéairement indépendants, sinon p est
un point d’inflexion.
- Si p est birégulier, on appelle plan osculateur à A au point p le plan engendré par
f 0 (t) et f 00 (t).
- On dit que A est birégulier si tous ses points le sont.

Vérifions encore que la définition fait sens, i.e. ne dépende pas du paramétrage. Soit (J, g) un
paramétrage de A et θ : J→ J le changement de paramétrage. On a g = f ◦ θ, p = f (t) = g(s)
et t = θ(s). On a en posant a = θ0 (s) 6= 0,

g 0 (s) = f 0 (θ(s))θ0 (s) = af 0 (t). (1.1)

00 00 0 2 0 00 2 00 0
g (s) = f (θ(s))(θ (s)) + f (θ(s))θ (s) = a f (t) + bf (t). (1.2)

où b = θ00 (s) ∈ R (il peut être nul). On a clairement vect{g 0 (s), g 00 (s)} ⊂ vect{f 0 t), f 00 (t)}.
Réciproquement puisque

f 0 (t) = a−1 g 0 (s)

f 00 (t) = a−2 (g 00 (s) − bf 0 (t)) = a−2 g 00 (s) − ba−3 g 0 (s)

vect{f 0 t), f 00 (t)} ⊂ vect{g 0 (s), g 00 (s)} et on a égalité. En particulier f 0 (t) et f 00 (t) sont colinéaires
ssi g 0 (s) et g 00 (s) le sont (l’espace engendré étant de dimension 1 dans ce cas).

Exemple 1.14. (R, f (t) = (cos(t), sin(t), 0)) dans R3 . On a f 0 (t) = (− sin(t), cos(t), 0) et f 00 (t) =
(− cos(t), − sin(t), 0), f 0 et f 00 sont orthogonaux. Le plan osculateur est R2 × {0}.

La "réciproque" de l’exemple ci-dessus est vrai :

Lemme 1.15. Soit A un arc géométrique de Rn dont le plan osculateur en chaque point est
égal à un plan V ⊂ Rn fixé. Alors l’arc est contenu dans un plan affine parallèle à V :

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 Cours 2 : jeudi 24/01/13

Preuve: On se donne une application linéaire φ : Rn → Rn−2 dont le noyau est V . On peut
prendre par exemple φ(xv1 + · · · + xn vn ) = (x1 , . . . , xn−2 ) où {v1 , . . . , vn } est une base de
Rn telle que vn−1 , vn−2 soient dans V . Soit (I, f ) un paramétrage de A. Rappelons que si φ
est linéaire, φ0 (a) = φ en tout point a ∈ Rn . (précisément, si on note plutôt da φ la différen-
tielle de φ en un point a ∈ Rn , la dérivée directionnelle de φ dans la direction u ∈ Rn est
da φ.u = dt d
(φ(a + tu)) = dtd
(a + tφ(u)) = φ(u).) On a donc (φ(f (t))0 = φ.f 0 (t) = 0 puisque
f 0 (t) ∈ V . Ceci implique que t 7→ φ(f (t)) est constante. Fixons t0 ∈ I, alors pour tout t ∈ I,
0 = φ(f (t)) − φ(f (t0 )) = φ(f (t) − f (t0 )) donc f (t) − f (t0 ) ∈ V , d’où f (t) ∈ f (t0 ) + V .

1.3 Longueur d’arc

Définition 1.16. Soit A ⊂ Rn un arc géométrique de classe C 1 , paramétré par (I, f ),

p = f (a) et q = f (b) deux points de A. On appelle longueur de l’arc pq de A l’intégrale
Z b
Lpq (A) = ||f 0 (t)||dt.
a

On appelle longueur de A la quantité L(A) = supp,q∈A Lpq (A) ∈ [0, +∞].

On fait la vérification habituelle : la formule ne dépend pas du paramétrage. Soit (J, g) un

paramétrage de A, θ le changement de paramétrage tel que g = f ◦ θ, [c, d] ⊂ J tel que θ([c, d]) =

5
 6 Cours 2 : jeudi 24/01/13

[a, b]. Alors la formule de changement de variables pour t = θ(s) donne

Z d Z d
0
||g (s)||ds = ||f 0 (θ(s))θ0 (s)||ds
c c
Z d
= ||f 0 (θ(s))||.|θ0 (s)|ds
c
Z b
= ||f 0 (t)||dt.
a

Remarque 1.17. Les grecs de l’antiquité savaient calculer des longueurs, mais pas dériver (le
calcul infinitésimal remonte à Fermat, Newton-Leibnitz soit 2000 ans plus tard...). Comment
faisaient ils ? En approximant la courbe par des segments de plus en plus petits.

Définition 1.18. Pour σ = {a = t0 < t1 < · · · < tk = b} est une subdivision de [a, b], on
définit
k−1
X
`(f, σ) = ||f (ti+1 − f (ti )||, puis `ab (f ) = sup `(f, σ) ∈ [0, +∞].
σ
i=0

Théorème 1.19. Soit A de classe C 1 , (I, f ) un paramétrage de A, p = f (a) et q = f (b), alors

Lpq (A) = `ab (f ).

Preuve: On montre d’abord l’inégalité Lpq (A) ≥ `(f, σ). Soit σ = {a = t0 < t1 < · · · < tk = b}
une subdivision de [a, b]. Pour chaque i ∈ {0, . . . , k − 1} :
Z ti+1 Z ti+1
||f (ti+1 ) − f (ti )|| = || f 0 (t)dt|| ≤ ||f 0 (t)||dt.
ti ti

En sommant de 0 à k − 1, on obtient
Z b
`(f, σ) ≤ ||f 0 (t)||dt = Lpq (A),
a

puis l’inégalité voulue en prenant le sup sur les subdivisions σ.

L’inégalité reciproque est plus délicate. Fixons ε > 0, nous allons montrer que
Z b
`ab (f ) ≥ ||f 0 (t)||dt − 2ε(b − a), (1.3)
a

ce qui donnera l’inégalité voulue en faisant tendre ε vers 0. Observons que si f 0 (t) est constante
sur un intervalle [c, d] on a égalité suivante :
Z d Z d Z d
0 0 0 0
k f (t)dtk = || f (c)dt|| = ||f (c)(d − c)|| = ||f (c)||(d − c) = ||f 0 (t)||dt (1.4)
c c c

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 7 Cours 2 : jeudi 24/01/13

On se rapproche de cette situation optimale en comparant f 0 (t) à des constantes. Puisque f 0 est
continue, elle est uniformément continue sur le compact [a, b] par le théorème de Heine. Il existe
donc δ > 0 tel que
∀s, t ∈ [a, b], |t − s| < δ ⇒ |f 0 (t) − f 0 (s)| < ε.
On prend une subdivision σ de [a, b] telle que ti+1 − ti < δ. On a
Z ti+1 Z ti+1 Z ti+1
0 0
|| f (t)dt|| = || f (ti )dt + f 0 (t) − f 0 (ti )dt|| (en écrivant a = b + a − b)
ti ti ti
Z ti+1 Z ti+1
0
≥ || f (ti )dt|| − || f 0 (t) − f 0 (ti )dt|| (avec ||a + b|| ≥ ||a|| − ||b||)
ti ti
Z ti+1 Z ti+1
0
≥ ||f (ti )||dt − ||f 0 (t) − f 0 (ti )|| dt (avec(1.4))
ti ti
Z ti+1 Z ti+1 Z ti+1
0 0 0
≥ ||f (t)||dt + ||f (ti )|| − ||f (t)||dt − ||f 0 (t) − f 0 (ti )||dt
ti ti ti
(encore avec a = b + a − b dans l’intégrale de gauche )
Z ti+1 Z ti+1
0
≥ ||f (t)||dt − 2 ||f 0 (ti ) − f 0 (t)||dt, (avec ||a|| − ||b|| ≥ −||a − b||)
ti ti
Z ti+1
≥ ||f 0 (t)||dt − 2ε(ti+1 − ti ).
ti

par choix de δ et de σ. D’où

Z ti+1 Z ti+1
||f (ti+1 ) − f (ti )|| = || f 0 (t)dt|| ≥ ||f 0 (t)||dt − 2ε(ti+1 − ti )
ti ti
Rb
et on obtient l’inégalité `(f, σ) ≥ a ||f 0 (t)||dt − 2ε(b − a) en sommant sur i, d’où (1.3) .

Remarque 1.20. L’inégalité

Z b Z b
||f (b) − f (a)|| = || f 0 (t)dt|| ≤ ||f 0 (t)||dt = Lpq (A)
a a

a une signification géométrique très simple : elle dit que les segments minimisent la longueur. En
effet, la longueur du segment pq est facile à calculer avec le paramétrage [0, 1] 3 t 7→ tq +(1−t)p :
elle vaut ||q − p|| = ||f (b) − f (a)||. L’inégalité dit que toute autre courbe joignant p à q est de
longueur plus grande ou égale.

Paramétrage par longueur d’arc. Beaucoup de quantités géométriques auront des expres-
sions plus simples pour un paramétrage à vitesse constante, en particulier si la vitesse est 1.
Commençons par montrer l’existence d’un tel paramétrage.

Proposition 1.21. Soit A ⊂ Rn un arc géométrique régulier de classe C 1 . Alors il existe un

paramétrage (J, g) de A tel que ||g 0 (s)|| = 1 pour tout s ∈ J.

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 8 Cours 2 : jeudi 24/01/13

Preuve: Soit (I, f ) une paramétrisation de A. Soit a ∈ I, posons s : I→ R,

Z t
s(t) = ||f 0 (u)||du.
a

Alors s est de classe C 1 et s0 (t) = ||f 0 (t)|| > 0 pour tout t ∈ I, donc s est un difféomorphisme.
Posons J = s(I) et notons θ : J→ I sa réciproque. Alors g = f ◦ θ vérifie
1
||g 0 (u)|| = ||f 0 (θ(u))θ0 (u)|| = ||f 0 (t) || = 1.
s0 (t)

Définition 1.22. On appelle un tel paramétrage (J, g) un paramétrage par longueur

d’arc.

Remarque 1.23. (1) En particulier si [a, b] ⊂ J, la longueur de l’arc g(a)g(b) ⊂ A est b−a.
(2) Si g = f ◦ θ et g, f sont deux paramétrages par longueur d’arc, θ(t) = ±t + C.
(3) En dérivant l’égalité hg 0 (s), g 0 (s)i = 1 on obtient 2hg 0 (s), g 00 (s)i = 0, donc g 0 (s) et g 00 (s)
sont orthogonaux. Le point g(s) est donc birégulier si et seulement si g 00 (s) 6= 0.

Exemple 1.24 (Cercle de rayon R). Pour un cercle de rayon R dans Rn , centré en p, contenu dans
un plan affine V ,
s − s −
g(s) = p + R cos( )→
u + R sin( )→
v,
R R
→
−
où {→
−u,→−
v } est une base orthonormée de V .

1.4 Courbure

Définition 1.25. Soit A ⊂ Rn un arc géométrique régulier, (J, g) un paramétrage de A par

longueur d’arc et p = g(s) un point de A. On appelle courbure de A en p

KA (p) = ||g 00 (s)||

S’il n’y a pas d’ambiguité on notera simplement KA (p) = K(p). Vérifions la définition : soit
(I, f ) un autre paramétrage de A par longueur d’arc, θ le changement de paramétrage tel que
g = f ◦ θ. Reprenons la formule (1.2), valable pour g = f ◦ θ quelconques, t = θ(s) :
g 00 (s) = f 00 (t)θ0 (s)2 + f 0 (t)θ00 (s). (1.5)
Or θ0 = ±1 donc θ02 = 1 et θ00 = 0, d’où g 00 (s) = f 00 (t).

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 9 Cours 2 : jeudi 24/01/13

Exemple 1.26. Pour un cercle de rayon R, la courbure est 1/R.

Le paramétrage par longueur d’arc peut-être délicat à calculer donc il est utile d’avoir une formule
de la courbure pour un paramétrage régulier quelconque de l’arc. Soit (I, f ) un tel paramétrage,
(J, g) un paramétrage par longueur d’arc tel que g = f ◦ θ. Il suffit d’exprimer θ0 (s) et θ00 (s) en
fonction de t dans la formule (1.5). On a

1 = ||g 0 (s)|| = ||f 0 (t)θ0 (s)|| = ||f 0 (t)|||θ0 (s)|

donc
1 1
θ0 (s)2 = = .
||f 0 (t)||2 hf 0 (t), f 0 (t)i
En dérivant
hf 0 (t), f 00 (t)θ0 i hf 0 (t), f 00 (t)i
2θ0 θ00 = −2 d’où θ00 = −
hf 0 (t), f 0 (t)i2 hf 0 (t), f 0 (t)i2
En posant →
−
τ = f 0 (t)
||f 0 (t)|| , on obtient au point p = g(s) = f (t) :

f 00 f 00 →
 
00
g (s) = − ,τ →
− −
τ. (1.6)
||f 0 ||2 ||f 0 ||2

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 Cours 3 : jeudi 31/01/13

On commente la formule (1.6) : elle dit que g 00 (s) est le projeté orthogonal de f 00
||f 0 ||2
sur →
−
τ ⊥ . En
appliquant le théorème de Pythagore on en déduit :

2 2
f 00 hf 0 (t), f 00 (t)i
 
2 00 2
K(p) (= ||g (s)|| ) = − .
||f 0 ||2 ||f 0 ||3

Interprétation cinématique On peut reformuler (1.6) de la manière suivante. Supposons la

courbure non nulle et posons →
− →
−
00
ν = ||gg00 (s)
(s)|| ⊥ τ , alors

f 00 (t) = hf 00 , →
−
τ i→
−
τ + ||f 0 (t)||2 K(p)→
−
ν (1.6)

On y voit que l’accélération f 00 (t) se décompose en une composante tangentielle et une compo-
sante centrifuge. Imaginez qu’en voiture vous accélériez dans un virage. La force ressentie est pour
partie dirigée vers son siège (due à la pression sur l’accélérateur) et pour partie vers l’extérieur
du virage (composante centrifuge). La courbure n’intervient que dans cette dernière.

Remarque 1.27. La continuité de la courbure explique pourquoi on ne peut pas recoller de

manière C 2 un segment de droite, de courbure nulle, et un arc de cercle, de courbure 1/R.

1.5 Cercle osculateur

Etant donné un arc géométrique A et un point p ∈ A, la tangente à A en p réalise une approxi-

mation de A à l’ordre 1 au point p. Existe t’il une courbe (simple) faisant mieux, i.e. approximant
A à l’ordre 2 ? Oui, le cercle tangent à A en p de rayon 1/K(p) contenu dans le plan osculateur
(lorsque K(p) 6= 0, sinon la tangente convient).

10
 11 Cours 3 : jeudi 31/01/13

Définition 1.28. Soit A un arc géométrique régulier, p ∈ A tel que K(p) 6= 0. Soit (J, g)
un paramétrage de A par longueur d’arc. On appelle cercle osculateur à A en p, le cercle
1 →
C(A, p) contenu dans le plan osculateur, de centre p + K(p )−
ν , de rayon 1/K(p).

Proposition 1.29. Supposons que g(0) = p et soit (K, h) un paramétrage par longueur d’arc
de C(A, p) tel que h(0) = p. Alors

g(s) = h(s) + o(s2 )

Preuve: Dans le plan osculateur muni du répère (p, → −τ (0), →

−
ν (0), le paramétrage par longueur
d’arc d’un cercle de rayon R centré en (0, R) (avec position (0, 0) au temps 0) est

s 7→ (0, R) = (0, R) + R(sin(s/R), − cos(s/R)).

(en faisant subir une rotation de −π/2 à la formule habituelle) On a h0 (s) = (cos(s/R), sin(s/R))
et h00 (s) = R1 (− sin(s/R), cos(s/R)) d’où en faisant le développement limité en s = 0 : h(s) =
2
(0, 0) + s(1, 0) + s2 (0, R1 ) + o(s2 ) soit

s2 1 →
h(s) = p + s→
−
τ (0) + −
ν (0) + o(s2 ).
2 R
Par ailleurs le DL de g(s) donne

s2 00
g(s) = g(0) + sg 0 (0) + g (0) + o(s2 )
2
s2
τ (0) + K(p)→
= p + s→
− −
ν (0) + o(s2 ).
2
1
et comme on a posé R = K(p) , on a bien g(s) = h(s) + o(s2 ).

1.6 Invariance par isométries

Nous voulons montrer que longueurs et courbures sont invariantes par isométries de Rn . Cela
nécessite quelques rappels.

Définition 1.30. On dit qu’un difféomorphisme F : Rn → Rn est une isométrie si

d(F (x), F (y)) = d(x, y) pour tous x, y ∈ Rn .

On rappelle que les éléments du groupe orthogonal sont les isométries linéaires :

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 12 Cours 3 : jeudi 31/01/13

O(n) = {M ∈ Mn (R) | t M.M = In }

où In est la matrice identité de Mn (R). En effet,

M ∈ O(n) ⇔ ∀x ∈ Rn , hM x, M xi = hx,t M.M xi = hx, xi

⇔ ∀x ∈ Rn , ||M x|| = ||x||

Théorème 1.31. Une isométrie F : Rn → Rn de classe C 1 est une application affine, i.e. il
existe L ∈ O(n) et v ∈ Rn tel que ∀x ∈ Rn , F (x) = L(x) + v.

Preuve:

On aura besoin d’un résultat intermédiaire :

Lemme 1.32. Soit F : Rn → Rn un difféomorphisme de classe C 1 . Alors F est une isométrie si

et seulement si ∀x ∈ Rn , Dx F ∈ O(n).

Preuve: (du lemme)

(⇒) Supposons que F soit une isométrie et soit x, u ∈ Rn . Par définition de la différentielle en x
dans la direction u,

F (x + tu) − F (x) F (x + tu) − F (x)

||Dx F.u|| = || lim || = lim || ||.
t→ 0 t t→ 0 t
Or
F (x + tu) − F (x) d(F (x + tu), F (x)) d(x + tu, x) ||tu||
|| || = || || = || || = = ||u||.
t t t |t|
d’où ||Dx F.u|| = ||u|| pour tout u ∈ Rn .
(⇐) Supposons que Dx F ∈ O(n) pour tout x ∈ Rn . Alors F préserve les longueurs, i.e. L(F ◦g) =
L(g) pour tout arc paramétré g : [a, b]→ R :
Z b Z b Z b
0 0
L(F ◦ g) = ||(F ◦ g) (t)|| dt = ||Dg(t) F.g (t)|| dt = ||g 0 (t)|| dt = L(g).
a a a

En particulier l’image du segment [0, 1] 3 t 7→ (1 − t)x + ty joignant un point x à un point y, est

une courbe C 1 de même longueur = d(x, y) joignant F (x) à F (y). Donc d(F (x), F (y)) ≤ d(x, y).
On obtient l’autre inégalité en raisonnant de même avec F −1 .

On termine la preuve du théorème 1.31.

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 13 Cours 3 : jeudi 31/01/13

Posons v = F (0) et soit T : Rn → Rn la translation x 7→ x+v. Alors G = T −1 ◦F est une isométrie

de Rn qui fixe l’origine 0 ∈ Rn . Montrons que G ∈ O(n). Posons R = D0 G = Dv F ∈ O(n) d’après
le lemme 1.32. Alors S = R−1 ◦ G est une isométrie de Rn qui fixe 0 et telle que D0 S = In . Mon-
trons que S = In ce qui terminera la preuve. Puisque S préserve les longueurs et fixe 0, elle envoie
une droite vectorielle D sur une droite vectorielle S(D). Soit u ∈ D, alors D = {tu | t ∈ R}.
La courbe t 7→ tu est envoyée par S sur S(D) avec vecteur vitesse en t = 0, D0 S.u = u. Donc
S(D) = D et S étant une isométrie fixant u, il s’ensuit que S est l’identité en restriction à D.
Comme D est quelconque, S = In .

On en déduit :

Proposition 1.33. Soit F : Rn → Rn une isométrie.

(1) Si (J, g) est un paramétrage par longueur d’arc, alors (J, F ◦ g) aussi.
(2) Soit A un arc géométrique et p ∈ A. Alors KA (p) = KF ◦A (F (p)).

Preuve: D’après le théorème 1.31, il existe L ∈ O(n) fixé tel que Dx F = L pour tout x ∈ Rn .
(1) Pour tout s ∈ J,
||(F ◦ g)0 (s) = ||Dg(s) F.g 0 (s)|| = ||L.g 0 (s)|| = 1.
En fait on n’a pas besoin que Dg(s) F soit constant pour ce point.
(2) Prenons (J, g) un paramétrage de A par longueur d’arc. Alors, pour tout s ∈ J,
||(F ◦ g)00 (s)|| = ||(Dg(s) F.g 0 (s))0 || = ||(L.g 0 (s))0 || = ||L.g 00 (s)|| = ||g 00 (s)||.

1.7 Courbes dans R2

→
− → −
On travaille dans R2 euclidien, orienté par la base canonique ( i , j ). On note i : R2 → R2 la
rotation d’angle +π/2. C’est aussi, via l’identification R2 ≈ C, (a, b) 7→ a + ib, la multiplication
complexe par i. On sait donc donner un sens à "la gauche" d’un vecteur u donné, c’est la direction
iu. On peut alors donner un signe à la courbure d’un arc régulier, selon que la courbe tourne à
gauche ou à droite de son vecteur vitesse.

1.7.1 Courbure algébrique

Définition 1.34. Soit A un arc géométrique régulier de paramétrage par longueur d’arc (J, g).
On appelle courbure algébrique en p = g(s) ∈ A l’unique réel kA (p) satisfaisant
g 00 (s) = kA (p)ig 0 (s) (1.7)

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 14 Cours 3 : jeudi 31/01/13

En effet g 00 ⊥ g 0 donc g 00 est colinéaire à ig 0 . On a évidement |kA (p)| = KA (p). On commettra

l’abus de notation d’écrire kA (p) = k(s) lorsqu’il n’y a pas d’ambiguité. De manière équivalente,

k(s) = hg 00 (s), ig 0 (s)i.

Remarque 1.35. En notant →

−
τ = g 0 (s) et →
−
n = i→
−
τ le vecteur normal tel que {→
−
τ ,→
−
n } soit
directe, on a

→
−
τ 0 = k→
−
n, →
−
n 0 = −k →
−
τ. (1.8)

En effet →
−
n 0 = (i→
−
τ )0 = i→
−
τ 0 = ik →
−
n = −k →
−
τ.

On peut également écrire la courbure algébrique comme vitesse de rotation du vecteur vitesse (ou
du vecteur normal). Pour cela on définit, étant donné g : J→ R2 régulier, une fonction mesurant
→
−
l’angle de g 0 avec i , à valeurs dans R et pas simplement dans S 1 . On suppose g de classe C p ,
p ≥ 1, et on note →−τ = g 0 /||g 0 ||.

Définition 1.36. On dit que α : I→ R de classe C p−1 est une fonction angle de →
−
τ avec
→
−
i si
→
−
τ (s) = eiα(s) ,
→
−
pour tout s ∈ J. On note α = ](→
−
τ , i ).

Montrons l’existence de cette fonction angle :

Lemme 1.37. Etant donné h : J→ S 1 de classe C p , p ≥ 1, il existe α : J→ R de classe C p

telle que
h(s) = eiα(s) .

0
Preuve: On identifie R2 à C. La fonction α doit vérifier h0 = iα0 eiα = iα0 h, soit α0 = −i hh . On
pose donc, pour s0 ∈ J,
h0
Z s
α(s) = α(s0 ) + −i (t) dt, h(s0 ) = eiα(s0 ) .
s0 h

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 15 Cours 3 : jeudi 31/01/13

On a (heiα )0 = iα0 eiα − iα0 eiα = 0, et donc h(s) = h(s0 )ei(α(s)−α(s0 )) = eiα(s) .

Proposition 1.38. Soit (J, g) un arc paramétré régulier de classe C p , paramétré par la longueur
→
−
et α = ](g 0 , i ) : J→ R de classe C p−1 . Alors

k(s) = α0 (s).

Preuve: Puisque g 0 = → −
τ (s) = (cos(α(s)), sin(α(s)), →
−
τ 0 = α0 (− sin(α), cos(α)) = α0 →
−
n . Or
→
−
τ 0 = k→
−
n d’après (1.8).

La courbure algébrique détermine la courbe. Imaginez que vous êtes enfermé dans le
coffre d’une voiture roulant à vitesse constante. Pouvez-vous reconstituer le trajet à partir des
accélérations ressenties ? OUI (théoriquement). Mathématiquement : La courbure algébrique dé-
termine la courbe (à isométrie près).

Théorème 1.39. Soit k : I→ R une fonction de classe C p , p ≥ 0. Alors il existe, à isométrie

près, un unique arc géométrique orienté A de classe C p+2 dont k soit la courbure algébrique.

Preuve: Soit k : I→ R une fonction de classe C p , p ≥ 0. Fixons un angle α0 ∈ R et un point

s
p0 ∈ R2 . Pour s0 ∈ I, on pose α(s) = s0 k(t) dt, puis on intègre le vecteur vitesse τ := eiα :
R

Z s
g(s) = p0 + eiα(t) dt.
s0

Alors g 0 = eiα est paramétré par la longueur et g 00 = α0 ieiα = kig 0 . L’unicité de la courbe telle
que g(s0 ) = p0 et g 0 (s0 ) = eiα0 est claire puisque k et α0 déterminent α, puis α et p0 déterminent
g.

Remarque 1.40. L’unicité est fausse avec la courbure simple.

as2
Exemple 1.41. La clothoide est la courbe de courbure algébrique k(s) = as, a > 0. On a α(s) = 2
d’où Z s
g(s) = g(0) + (cos(as2 ), sin(as2 )) ds.
0

C’est la trajectoire parcourue en voiture si on tourne le volant à vitesse constante. Elle est utilisée dans
les constructions de routes ou de rails pour raccorder des droites et des arcs de cercle sans faire d’acoup.

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 Cours 4 : jeudi 7/02/13

1.7.2 Diverses formules pour la courbure algébrique

Paramétrage quelconque. Si (I, f ) est un paramétrage régulier quelconque, on a f 0 (t) =

||f 0 (t)||→
−
τ , et au point p = f (t) d’après (1.6)

f 00 (t) = hf 00 , →
−
τ i→
−
τ + ||f 0 (t)||2 K(p)→
−
ν = hf 00 , →
−
τ i→
−
τ + ||f 0 (t)||2 k(s)→
−
n,

donc
det(f 0 , f 00 ) = ||f 0 (t)||3 k(s),
d’où si f = (x, y),

det(f 0 , f 00 ) x0 y 00 − x00 y 0
k(p) = = . (1.9)
||f 0 (t)||3 (x02 + y 02 )3

En coordonnées polaires. Soit f est donnée par f (θ) = r(θ)eiθ , alors

f 0 = r0 eiθ + rieiθ , f 00 = r00 eiθ + 2r0 ieiθ − reiθ = (r00 − r)eiθ + 2rieiθ ,

d’où

det(f 0 , f 00 ) 2r02 + r2 − rr00

k(θ) = = .
||f 0 (t)||3 (r2 + r02 )3/2

Définition implicite. On peut définir un arc géométrique de manière implicite, c’est-à-dire

comme ligne de niveau d’une fonction : {(x, y) ∈ R2 | F (x, y) = 0} où F : O ⊂ R2 → R est de
dérivée non nulle. Rappelons le théorème des fonctions implicites :

16
 17 Cours 4 : jeudi 7/02/13

Théorème 1.42 (Théorème des fonctions implicites). Soit O un ouvert de Rn × Rm et

F ∈ C p (O, Rm ) (où p ≥ 1). On suppose qu’en (x0 , y0 ) ∈ O, Dy F (x0 , y0 ) est inversible, alors il
existe un voisinage ouvert U × V de (x0 , y0 ) et φ : U → V une application de classe C p telle que

( (x, y) ∈ U × V, F (x, y) = 0 ) ⇐⇒ ( x ∈ U, y = φ(x) )

De plus on a Dφ(x) = −(DyF (x0 , y0 ))−1 Dx F (x0 , y0 )

Ici Dy F : Rm → Rm est la différentielle par rapport à la variable y. Dans le cas n = m = 1 on

obtient que A = {F (x, y) = 0} peut être décrit au voisinage (x0 , y0 ) comme le graphe {(x, φ(x))}.
En particulier on a le paramétrage régulier t 7→ (t, φ(t)). Si (I, f ) est un paramétrage régulier
quelconque de A, on a en dérivant F (f (t)) = 0 que h∇F, f 0 i = 0. En dérivant à nouveau,

D2 F (f 0 , f 0 ) + h∇F, f 00 i = 0

Au signe près, ∇F
||∇F || =→
−
n . Donc en utilisant (1.6),
∇F
hf 00 , →
−
ni hf 00 , ||∇F || i
k(p) = = ± ,
||f 02 || ||f 02 ||
 
f f 1
= ±D2 F ,
||f 0 || ||f 0 || ||∇F ||

f ∂F ∂F ∂F
Au signe près ||f 0 || = ±i ||∇F . En notant ∂x F = ∂x et ∂y F = ∂y , ∇F = (∂x F, ∂y F ) donc
f (−∂y F,∂x F )
||f 0 || = ± ||∇F || . On obtient
 2 2 F
 
∂ F ∂xy −∂y F 1
k(p) = ±(−∂y F, ∂x F ) xx
2 F 2 F
∂xy ∂yy ∂x F ||∇F ||3
2 F (∂ F )2 − 2∂ 2 F ∂ F ∂ F + ∂ 2 F (∂ F )2
∂xx y xy x y yy x
= ±
((∂x F )2 + (∂y F )2 )3/2

1.8 Courbes dans R3 , dites courbes gauches

On considère maintenant un arc géométrique A dans R3 euclidien, orienté par la base canonique
→
− → − → −
( i , j , k ). Contrairement à R2 où A peut tourner à gauche ou à droite (sens direct ou indirect),
dans R3 il n’y a pas de gauche ou de droite pour A induit par la base canonique. On peut
→
−
toujours envoyer i sur un vecteur vitesse → −τ de A par une isométrie directe, mais celle-ci n’est
→
−
pas unique : on peut la composer avec n’importe quelle rotation d’axe → −τ , j donc pas d’image
privilégiée. Nous avons bien au quotidien une notion de gauche et de droite, mais celle-ci vient
→
−
de ce que nous avons 2 axes naturels, définis par la vision ( devant-derrière : i ) et la gravité (
→
−
haut-bas : k ). L’arc A n’a qu’un axe devant-derrière (→
−τ ).

On définira donc la ”gauche” comme la direction vers laquelle tourne l’arc dans son plan oscula-
teur. On pourra ensuite parler de ”haut” et de ”bas”.

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 18 Cours 4 : jeudi 7/02/13

Pour cela nous supposerons A birégulier dans toute cette section. Soit (J, g) un paramétrage de
A par longueur d’arc.

1.8.1 Trièdre de Frenet, torsion

Définition 1.43. On appelle trièdre de Frenet de A la base orthonormée directe

→
−
(→
−
τ ,→
−
ν , β ) définie par
→
− g 00 →
−
τ = g0, →
−
ν = 00 , β = → −
τ ∧→
−ν (1.10)
||g ||

On a besoin de l’hypothèse de birégularité pour définir →−ν . On rappelle que le produit vectoriel
∧ : R3 × R3 → R3 est l’application bilinéaire antisymétrique définie par l’égalité

hX ∧ Y, Zi = det(X, Y, Z),

pour tous X, Y, Z ∈ R3 , le déterminant étant celui des coordonnées de X, Y, Z dans la base

canonique. En particulier X ∧ Y est orthogonal à X, Y . On a plus l’égalité

||X ∧ Y ||2 + hX, Y i = ||X||2 ||Y ||2 .

Si e1 , e2 sont des vecteurs orthonormés, e3 = e1 ∧ e2 est tel que (e1 , e2 , e3 ) est orthonormée et
directe (i.e. de déterminant +1).

Rappelons que →−
τ 0 = K→−ν où K est la courbure (la non algébrique, celle qui est toujours positive
→
−
ou nulle). On peut également exprimer →−ν 0 et β 0 grâce aux relations de Frenet :

Proposition 1.44. Il existe une fonction T : J→ R, appelée Torsion, telle que

→
−
τ0 = 0 +K →
−
ν 0
→
− 0 →
− →
−
ν = −K τ 0 −T β
→
−0
β = 0 +T →
−
ν 0

Preuve: On a les relations

→
− → −
1 = h→
−
τ ,→
−
τ i = h→
−
ν ,→
−ν i = h β , β i,
→
− →
−
0 = h→
−
τ ,→
−
ν i = h→
−
ν , β i = h→
−τ , β i.
→
− →− →
− → − →
− →
− →
−
En dérivant h β , β i on a h β 0 , β i = 0. On dérivant h→−τ , β i, on obtient h→
−
τ 0 , β i = −h→
−τ , β 0 i,
→
−
qui est égale à 0 puisque →−τ 0 = K→ −
ν . Donc β 0 est colinéaire à →−
ν . On appelle T le réel tel que
→
−0 →
−
β =Tν.
En dérivant h→−
ν ,→
−ν i on a h→
−ν 0, →
−
ν i = 0. En dérivant h→
−τ ,→
−ν i on obtient h→
−
τ ,→
−ν i = −h→ −
τ ,→
−
ν 0 i, qui

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 19 Cours 4 : jeudi 7/02/13

→
− →
− →
−
est égale à K. En dérivant h→
−
ν , β i on obtient h→
−
ν 0 , β i = −h→
−
ν , β 0 i, qui est égale à −T .

La torsion mesure le défaut de planeité de la courbe. En effet si la courbe est contenue dans un
→
−
plan, ce plan est parallèle à vect{→
−τ ,→
−
ν } qui est donc constant. Alors β = → −
τ ∧→ −ν également,
→
−0 →
−0 →
− →
− →
−
donc β = 0, la torsion est nulle. Réciproquement, si β = 0 alors β = τ ∧ ν est constant. Le
→
−
plan osculateur vect{→−τ ,→
−
ν } = β ⊥ est constant et on a vu (lemme 1.15) que cela impliquait que
→
− →
−
la courbe soit contenue dans un plan. On peut le redémontrer ici : puisque → −τ ⊥ β , hg 0 , β i = 0
→
− →
− →
−
donc par intégration (en utilisant β 0 = 0), hg, β i est constant. Il s’ensuit que g(s) − g(s0 ) ⊥ β ,
→
−⊥
c’est à dire que g(s) ∈ g(s0 ) + β .
→
−
Un développement limité, utilisant g 000 (s) = (K →
−
ν )0 = K 0 →
−
ν + K(−K →
−
τ + T β ), donne

s2 − s3 →
−
τ (0) + (K →
g(s) = g(0) + s→
− ν )(0) + (K 0 →
−ν − K 2→
−
τ − KT β )(0) + o(s3 )
2  26
K 2 s3 → K 0 s3 → KT s3 →
 
− Ks − −
= g(0) + s − τ + − ν − β + o(s3 ).
6 2 6 6
→
−
Pour s > 0 petit, le coefficient de →
−
ν est positif (on va ”à gauche”), celui de β est négatif si T > 0
(on descend), positif si T < 0 (on monte). Dès que T 6= 0, la courbe traverse son plan osculateur.

1.8.2 Calculs pratiques

Pour le paramétrage par longueur d’arc (J, g), on a

g0 = →
−
τ,
g = τ 0 = K→
00 →
− −
ν,
g 000 = K 0 →
−
ν + K→−
ν0
→
−
= −K 2 →−
τ + K 0→
−
ν − KT β

En particulier
det(g 0 , g 00 , g 000 ) = −K 2 T
Pour (I, f ) un paramétrage de A, et θ le changement de paramétrage tel que f = g ◦ θ, on a

f 0 = θ0 g0
f 00 = θ00 g 0 + θ02 g 00
f 000 = θ000 g 0 + 3θ0 θ00 g 00 + θ03 g 000

d’où
kf 0 ∧ f 00 k= |θ0 |3 K
et
det(f 0 , f 00 , f 000 ) = det(θ0 g 0 , θ02 g 00 , θ03 g 000 ) = θ06 (−K 2 T )
donc

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 20 Cours 4 : jeudi 7/02/13

kf 0 ∧ f 00 k det(f 0 , f 00 , f 000 )
K= , T =− .
kf 0 k3 kf 0 ∧ f 00 k2

1.8.3 Courbure et torsion déterminent la courbe

Si on connaît la courbure, qui indique de combien on tourne ”à gauche”, et la torsion, qui indique
de combien on monte ou on descend, on doit pouvoir reconstituer la trajectoire ? Effectivement,
la courbure et la torsion déterminent la courbe :

→
−
Théorème 1.45. Soit K ∈ C 1 (I, R∗+ ), T ∈ C 0 (I, R), (→ −
τ 0, →
−ν 0 , β 0 ) un repère orthonormé
direct, s0 ∈ J et p ∈ R3 . Alors il existe un unique arc birégulier (J, g) de classe C 3 , paramétré par la
→
−
longueur, de courbure K et de torsion T , dont le repère de Frenet en g(s0 ) = p est (→ −
τ 0, →
−
ν 0 , β 0 ).

Preuve: Les relations de Frenet écrites en coordonnées équivalent au système suivant :

 0    
τ1 τ2 τ3 0 K 0 τ1 τ2 τ3
 ν1 ν2 ν3  = −K 0 −T  .  ν1 ν2 ν3 
β1 β2 β3 0 T 0 β1 β2 β3

soit
O0 (s) = M (s)O(s), (1.11)
→
−
où les lignes respectives de O(s) sont les coordonnées de → −
τ,→ −
ν , β respectivement, par exemple
→
−
dans la base (→ −τ 0, →
−
ν 0 , β 0 ). La condition initiale se traduit donc par O(s0 ) = Id3 . L’équation
différentielle (1.11) étant linéaire d’ordre 1 et la fonction s 7→ M (s) étant continue sur J, le
problème de Cauchy ( (1.11), O(s0 ) = Id3 ) admet (par le théorème de Cauchy-Lipschitz) une
unique solution s 7→ O(s) définie sur J. Vérifions que O(s) reste orthogonale (ses vecteurs lignes
sont alors orthonormés), c’est à dire que t O.O = Id3 ou de manière équivalente O.t O = Id3 . On
a
d
(O.t O) = O0 .t O + O.(t O)0
ds
= M O.t O + O.t (M O)
= M O.t O + O.t O.t M
= M O.t O − O.t OM

en utilisant l’antisymétrie de M . Cela signifie que s 7→ O.t O vérifie aussi une équation différen-
tielle linéaire d’ordre 1 sur J, de condition initiale (O.t O)(s0 ) = Id3 . Puisque la matrice identité
Id3 est solution de cette équation et de même condition initiale, l’unicité de Cauchy implique
que (O.t O)(s) = Id3 pour tout s ∈ J. On définit alors g par intégration :
Z s
g(s) = p + →
−
τ (t) dt.
s0

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 21 Cours 4 : jeudi 7/02/13

Remarque 1.46. Le théorème est faux sans l’hypothèse K > 0 : d’abord la torsion n’est pas
définie ; ensuite même pour une courbe restreinte à un plan, sans signe sur la courbure on ne
peut distinguer un virage à gauche d’un virage à droite.

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 Cours 5 : jeudi 14/02/13

2 Sous-variétés de Rn

2.1 Introduction

Voici une sous-variété (de dimension 2 dans R3 ) : S 2 = {x2 + y 2 + z 2 = 1} ⊂ R3 . On veut

généraliser et définir des sous-variétés de dimension d dans Rn . L’idée est de demander à l’objet
de ressembler localement à Rd × {0} ⊂ Rn , le modèle de sous-variété de dimension d de Rn . Sauf
mention du contraire, on identifie Rn = Rd × Rn−d par

(x1 , . . . , xn ) 7→ ((x1 , . . . , xd ), (xd+1 , . . . , xn )),

pour d ∈ {0, . . . , n}. Demander que la ressemblance soit via des homéomorphismes ne suffit
pas : cela s’appliquerait à un cône par exemple, et on n’a pas envie que les cônes soient des
sous-variétés.

On définit donc une sous-variété de dimension d de Rn comme déformation de Rd × {0} par des
difféomorphismes locaux ambiants (i.e. de Rn ) :

Définition 2.1 (définition locale par redressement). Soit n ≥ d ∈ N, k ∈ N∗ ∪ {∞}.

On dit qu’une partie M ⊂ Rn est une sous-variété de Rn , de dimension d, (de classe C k )
si pour tout x ∈ M , il existe un voisinage U de x dans Rn , un voisinage V de 0 dans Rn et
f : U → V un C k -difféomorphisme tel que

f (U ∩ M ) = V ∩ (Rd × {0}).

Bon, on a une définition qui tient la route mais qui n’a pas l’air très maniable. Comment on ferait
en pratique pour montrer que S 2 ⊂ R3 est bien une sous-variété ? Nous allons donner plusieurs
formulations équivalentes de cette définition. Selon les cas, on pourra essayer l’une ou l’autre

22
2. Sous-variétés de Rn 23 Cours 5 : jeudi 14/02/13

pour montrer qu’un objet est, ou n’est pas, une sous-variété. Observons qu’on peut représenter
un sous-espace vectoriel Rd × {0} de Rn de plusieurs manières :

(1) Comme le noyau d’une application linéaire : Rd × {0} = g −1 (0) = ker g où

g : Rn → Rn−d , (x1 , . . . , xn ) 7→ (xd+1 , . . . , xn ).

Plus généralement, tout d-sous-espace vectoriel de Rn est le noyau d’une application

linéaire Rn → Rn−d surjective (par le théorème du rang, dimension du noyau= n− dimen-
sion de l’image).

(2) Comme l’image d’une application linéaire : Rd × {0} = h(Rd ) où

h : Rd → Rn , (x1 , . . . , xd ) 7→ (x1 , . . . , xd , 0, . . . , 0).

Plus généralement, un d-sous espace vectoriel de Rn est l’image de h : Rd → Rn linéaire

injective.

On va également caractériser une sous-variété générale en termes d’image et de "noyau", de

certaines applications différentiables. On a besoin de faire un peu de calcul différentiel.

2.2 Immersions, submersions.

Soit E, F deux espaces vectoriels normés (de dimension finie pour rester simple), U ⊂ E et
V ⊂ F deux ouverts, un point a ∈ U et une application f : U → V différentiable en a. On note
da f : E→ F sa différentielle, i.e. l’unique application linéaire telle que pour tout u ∈ E voisin de
0:
f (a + u) = f (a) + da f (u) + o(u).

Définition 2.2. On dit que f est une immersion en a ∈ U si sa différentielle da f : E→ F

est injective. On dit que c’est une immersion sur U si c’est une immersion en chaque point de
U.
On dit que f est une submersion en a ∈ U si sa différentielle da f est surjective. On dit que
c’est une submersion sur U si c’est une submersion en chaque point de U

Clairement dim E ≤ dim F si f est une immersion, dim E ≥ dim F si f est une submersion.

Exemple 2.3. Soit p, q ≤ n des entiers. Les exemples fondamentaux sont

l’inclusion Rp → Rn , (x1 , . . . , xp ) 7→ (x1 , . . . , xp , 0, . . . , 0)
pour l’immersion et
la projection Rn → Rq , (x1 , . . . , xq , xq+1 , . . . , xn ) 7→ (x1 , . . . , xq )
pour la submersion. Autres exemples :

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

2. Sous-variétés de Rn 24 Cours 5 : jeudi 14/02/13

- un arc paramétré (I, f ) régulier dans Rn est une immersion de I dans Rn .

- Une application f : Rn → R est une submersion en x si et seulement si dx f 6= 0. En notant
∂f
∂i f (x) = ∂x i (x) la dérivée partielle de f par rapport à la variable xi , cela revient àvérifier que le

vecteur gradient ∇x f = (∂1 f (x), . . . , ∂n f (x)) n’est pas nul.

Nous allons voir que, à difféomorphisme local près, les exemples fondamentaux ci-dessus (inclu-
sion et projection) sont les seuls. Etant donné x ∈ Rn , on appellera difféomorphisme local de Rn
en x un C k -difféomorphisme φ d’un voisinage de x sur un voisinage de x tel que φ(x) = x. Pour
simplifier les énoncés, les propositions suivantes considèrent un point a = 0 tel que f (a) = 0. Le
cas général s’obtient sans peine à appliquant des translations.

Proposition 2.4 (Forme locale normale des immersions). Soit U ⊂ Rp un ouvert

contenant 0 et h : U → Rn une application de classe C k , qui est une immersion en 0 et telle que
h(0) = 0. Alors il existe un C k -difféomorphisme local ψ de Rn en 0 tel que au voisinage de 0 :

ψ ◦ h(x1 , . . . , xp ) = (x1 , . . . , xp , 0, . . . , 0).

Preuve: Soit h comme dans l’énoncé. La matrice jacobienne de h en 0 est

J0 h = (∂j hi (0)) 1≤i≤n ,

1≤j≤p

∂hi
où h = (h1 , . . . , hn ) et ∂j hi (0) := ∂xj (0) dénote la dérivée partielle de hi par rapport à la variable
xj . Puisque d0 h est injective par hypothèse, par le théorème du rang (dim ker d0 h + dim Imd0 h =
dim Rp ) la matrice J0 h est de rang p. Quitte à permutter les coordonnées à l’arrivée (ce qui
revient à composer h avec un isomorphisme de Rn ), on peut supposer que les p premières lignes
de la matrice sont indépendantes (composer revient à échanger hi ↔ hj , donc les lignes de J0 h).
La matrice A = (∂j hi (0)) 1≤i≤p est alors inversible. On "étend" h localement dans Rn en une
1≤j≤p
application H : U × Rn−p ⊂ Rn → Rn de classe C k vérifiant H(0) = 0 en posant

(x1 , . . . , xp , y1 , . . . , yn−p ) 7→ (h1 (x), . . . , hp (x), y1 + hp+1 (x), . . . , yn−p + hp (x)).

La matrice jacobienne de H en 0 est de la forme

 
A 0
J0 H = .
∗ In−p

et est donc inversible. Par le théorème d’inversion locale, H est un C k -difféomorphisme local de
Rn en 0. Alors ψ := H −1 définit au voisinage de 0 un C k -difféomorphisme. De plus

ψ ◦ h(x1 , . . . , xp ) = H −1 (h1 (x), . . . , hp (x), hp+1 (x), . . . , hn (x))

= (x1 , . . . , xp , 0, . . . , 0)

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

2. Sous-variétés de Rn 25 Cours 5 : jeudi 14/02/13

Exemple 2.5. Un arc paramétré régulier (I, f ) de Rn (pas nécessairement injectif) est une immersion.

Proposition 2.6 (Forme locale normale des submersions). Soit U ⊂ Rn un ouvert

contenant 0, g : U → Rq une application de classe C k , qui est une submersion en 0, telle que
g(0) = 0. Alors il existe un difféomorphisme local φ de Rn en 0 tel que au voisinage de 0 :

g ◦ φ(x1 , . . . , xn ) = (x1 , . . . , xq ).

Preuve: Soit g comme dans l’énoncé. La matrice jacobienne J0 g = (∂j fi (0))1≤i≤q, 1≤j≤n est de
rang q par hypothèse. Quitte à changer les coordonnées au départ, (en précomposant avec un
isomorphisme, ce qui permet d’échanger les colonnes de J0 g), on peut supposer que

B = (∂j fi (0))1≤i≤q, 1≤j≤q

est inversible. On définit G : U → Rn de classe C k par

(x1 , . . . , xn ) 7→ (g1 (x), . . . , gq (x), xq+1 , . . . , xn ).

La matrice jacobienne de G en 0 est de la forme

 
B ∗
J0 G = .
0 In−q

Par le théorème d’inversion locale, G est un C k -difféomorphisme local de Rn en 0. Soit W un

voisinage de 0 tel que φ = G−1 : W → Rn soit défini et un C k -difféomorphisme. Alors si

φ(y1 , . . . , yq , xq+1 , . . . , xn ) = (x1 , . . . , xq , xq+1 , . . . , xn )

on a

g(x1 , . . . , xq , xq+1 , . . . , xn ) = (g1 (x), . . . , gq (x))

= (y1 , . . . , yq )

d’où
g ◦ φ(y1 , . . . , yq , xq+1 , . . . , xn ) = (y1 , . . . , yq ).

Remarque 2.7. On a écrit g ◦ φ = pr1 , la projection sur le premier facteur de Rq × Rn−q .

Quitte à échanger les coordonnées au départ (en précomposant φ par un isomorphisme), on peut
aussi écrire g ◦ φ comme la projection sur les q dernières coordonnées, i.e. la projection sur le
deuxième facteur de Rn−q × Rq :

(x1 , . . . , xn ) 7→ (xn−q+1 , . . . , xn )

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

2. Sous-variétés de Rn 26 Cours 5 : jeudi 14/02/13

Remarque 2.8. Les arguments ci-dessus montrent que si f de classe C 1 est une immersion
(resp. submersion) en un point x, elle l’est sur un voisinage de x (le déterminant des matrices
A et B est non nul en 0, donc sur un voisinage de 0 par continuité de df et du déterminant).
La composée de deux immersions est une immersion, la composée de deux submersions est une
submersion. Un difféomorphisme est une immersion et une submersion. Une immersion qui est
aussi une submersion est un difféomorphisme local.

L’opération faite dans ces deux propositions s’appelle redresser l’immersion ou la submersion.

2.3 Caractérisations d’une sous-variété

On arrive à l’essentiel :

Théorème 2.9. Soit n ≥ d et k ∈ N ∗ ∪ {∞}. Soit M une partie de Rn . Sont équivalents :

(1) (Définition locale par redressement) M est une sous variété de Rn , de dimension
d, de classe C k .

(2) (Définition locale implicite, “Noyau”) Pour tout a ∈ M , il existe un voisinage U de

a dans Rn et g : U → Rn−d une application de classe C k , qui est une submersion en a,
telle que U ∩ M = g −1 (0).

(3) (Définition locale par paramétrage, “image”) Pour tout a ∈ M , il existe un

voisinage U de a dans Rn , un voisinage V de 0 dans Rd et h : V → U une application de
classe C k , qui est une immersion en 0, telle que h(0) = a et qui est un homéomorphisme
de V sur U ∩ M (muni de la topologie induite).

(4) (Définition locale comme graphe) Pour tout a ∈ M , il existe un voisinage U de a

dans Rn , un ouvert V de Rd et f : V → Rn−d une application de classe C k telle que, après
permutation éventuelle des coordonnées et identification Rn = Rd × Rn−d ,

U ∩ M = {(x, f (x)) ∈ Rd × Rn−d | x ∈ V } = Graphe(f )

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 Cours 6 : jeudi 21/02/13

Preuve: Montrons que (1) ⇒ (2) et (3).

Soit U un voisinage de a dans Rn et f : U → V ⊂ Rn un C k -difféomorphisme tel que f (U ∩ M ) =
V ∩ (Rd × {0}). Si f = (f1 , . . . , fn ), définissons g : U → Rn−d par g = (fd+1 , . . . , fn ), c’est-à-dire
g = pr2 ◦ f où pr2 : Rn = Rd × Rn−d → Rn−d est la projection sur le deuxième facteur. Alors g
est une submersion et U ∩ M = g −1 (0).
Pour (3) définissons h : V 0 = V ∩ (Rd × {0}→ U comme la restriction de f −1 à (l’ouvert de Rd )
V 0 . Alors h est une immersion de V 0 dans Rn et un homéomorphisme de V 0 sur M ∩ U .
(2) ⇒ (1) Soit g : U → Rn−d la submersion définie au voisinage de a. D’après la proposition 2.6
et la remarque 2.7, il existe φ un difféomorphisme de Rn d’un voisinage de 0 sur un voisinage de
a tel que
g ◦ φ(x1 , . . . , xn ) = (xd+1 , . . . , xn ).
au voisinage de 0. Notons W le voisinage de 0 où φ est défini, U 0 son image, qu’on peut supposer
⊂ U . Alors f = φ−1 : U 0 → W est un difféomorphisme qui vérifie f (M ∩ U 0 ) = (g ◦ φ)−1 (0) =
W ∩ (Rd × {0}), comme voulu dans la définition 2.1.
(3) ⇒ (1) Par hypothèse il existe deux ouverts V de Rd , U de Rn et h : V → U une immersion en
0 tel que h(0) = a et telle que h : V → U ∩ M soit un homéomorphisme. D’après la proposition
2.4, il existe un difféomorphisme ψ de Rn d’un voisinage de a sur un voisinage de 0 tel que

ψ ◦ h(x1 , . . . , xd ) = (x1 , . . . , xd , 0, . . . , 0) ∈ Rd × Rn−d .

Montrons que ψ est le difféomorphisme cherché dans la définition 2.1. Soit U 0 ⊂ U le voisinage
de a où ψ est défini, W son image. Notons V 0 = h−1 (U 0 ∩ M ) ⊂ V l’image réciproque de U 0 ∩ M
par h, c’est un ouvert de Rd . Comme h est un homéomorphisme de V 0 sur M ∩ U 0 ,

y ∈ M ∩ U 0 ⇔ ∃x ∈ V 0 , h(x) = y ⇔ ψ(y) ∈ Rd × {0}.

Donc ψ(M ∩ U 0 ) est exactement égal à W ∩ (Rd × {0}).

(4) ⇒ (2) Par hypothèse il existe une identification Rn = Rd × Rn−d , V ⊂ Rd un ouvert,
f : V → Rn−d de classe C k et U un voisinage de x dans Rn tel que

U ∩ M = {(x, f (x)) | x ∈ V }

On définit g : V × Rn−dM → Rn−d de classe C k par (x, y) 7→ y − f (x). En coordonnées :

(x1 , . . . , xd , yd+1 , . . . , yn ) 7→ (yd+1 − f1 (x1 , . . . , xd ), . . . , yn − fn−d (x1 , . . . , xd )).

27
 28 Cours 6 : jeudi 21/02/13

Sa matrice jacobienne est

J(x,y) g = −Jx f In−d ,
une matrice de rang n − d. L’application g est donc une submersion. De plus g −1 (0) = U ∩ M .

(2) ⇒ (4) Soit g = (g1 , . . . , gn−d ) : U ⊂ Rn → Rn−d la submersion définie au voisinage de a, telle
que g −1 (0) = U ∩ M . Quitte à permutter les coordonnées au départ, on peut supposer que

C = (∂j gi )1≤i≤n−d,d+1≤j≤n

est inversible. On définit G : U → Rn de classe C k en posant

(x1 , . . . , xn ) 7→ (x1 , . . . , xd , g1 (x), . . . , gn−d (x)).

La matrice jacobienne de G en a est

 
Id 0
Ja G = .
∗ C

et donc inversible. Le théorème d’inversion locale donne un voisinage U 0 de a dans Rn et un

voisinage W de 0 dand Rn tel que G : U 0 → W est un C k -difféomorphisme. Observons que
G(U 0 ∩ M ) = W ∩ (Rd × {0}) =: W 0 est un voisinage ouvert de 0 dans Rd . De plus G−1 est de
la forme
(y1 , . . . , yn ) 7→ (y1 , . . . , yd , F1 (y), . . . , . . . , Fn−d (y)).
Pour y = (y1 , . . . , yd ) ∈ W 0 , on pose f (y1 , . . . , yd ) = F (y1 , . . . , yd , 0, . . . , 0). Alors

M ∩ U 0 = G−1 (Rd × {0})

= {(y1 , . . . , yd , f1 (y1 , . . . , yd ), . . . , fn−d (y1 , . . . , yd )) | (y1 , . . . , yd ) ∈ W 0 }
= {(x, f (x) | x ∈ W 0 }.

Remarque 2.10. Dans (3) il ne suffit pas de demander que l’immersion soit injective : la
courbe c :] − ∞, 1[→ R2 , t 7→ (t2 , t − t3 ) est une immersion injective mais M = c(] − ∞, 1[
n’est pas une sous-variété de R2 . Si U est un voisinage de (0, 1) dans M , alors U \ {(0, 1)} a 3
composantes connexes au moins ; or si un difféomorphisme de R3 envoie U sur un segment dans
R × {0} ⊂ R2 , le segment privé de l’image de (0, 1) aura 2 composantes connexes.

Définition 2.11. On appelle paramétrisation de M une application h : V → Rn qui est

une immersion et un homéomorphisme de V sur un ouvert de M (i.e. U ∩ M pour un ouvert
U de Rn ). On appelle paramétrisation locale une application h : V → Rn qui induit une
paramétrisation locale au voisinage de tout point de V . (3) affirme qu’on peut recouvrir M par
des ouverts qui sont des images de paramétrisations.

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 29 Cours 6 : jeudi 21/02/13

2.4 Exemples

Exemple 2.12 (La sphère). La sphère S n ⊂ Rn+1 , définie comme

{x = (x1 , . . . , xn+1 ) ∈ Rn+1 ) | x21 + · · · + x2n+1 = 1}

est une sous-variété de dimension n de classe C ∞ . En effet S n = g −1 (0) où

g : Rn+1 → R, x 7→ x21 + · · · + x2n+1 − 1,

est une submersion C ∞ , car Jx g = (2x1 , . . . , 2xn+1 ) est non nul si x 6= 0, donc en particulier sur S n .
L’application t 7→ (cos t, sin t) de R dans R2 est une paramétrisation locale du cercle S 1 .

Exemple 2.13 (Les tores). Soit

Tn = {z = (z1 , . . . , zn ) ∈ Cn | |z1 |2 − 1 = 0, · · · , |zn |2 − 1 = 0}

= {x = (x1 , . . . , x2n ) ∈ R2n | x21 + x22 − 1 = 0, · · · , x22n−1 + x22n − 1 = 0}

C’est une sous-variété de dimension n de R2n ≈ Cn (considérer la submersion adéquate). On peut

également le paramétrer localement par l’application

(t1 , . . . , tn ) 7→ (eit1 , . . . , eitn ) de Rn dans Cn .

Exercice 2.14 (Tore de révolution). Soit 0 < a < b. Soit C ⊂ R3 le cercle centré en (b, 0, 0), de
rayon a, dans le plan des (x, 0, z). Soit M l’ensemble des points parcourus par C sous l’effet de toutes
les rotations d’axe (0, 0, 1). Construire une paramétrisation locale de M (paramétrer le cercle et faites
tourner).

Exemple 2.15. L’arc paramétré (R, f ), t 7→ (t2 , t3 ) n’est pas une immersion en 0, mais cela ne suffit
pas pour conclure que M = f (R) n’est pas une sous-variété de R2 de classe C 1 . De même dire que
M = g −1 (0) où g(x, y) = x3 − y 2 n’est pas une submersion en (0, 0) n’est pas concluant. Raisonnons
par contradiction en supposant que M est une sous-variété. Alors d’après la caratérisation (4) c’est au
voisinage de (0, 0) un graphe, de la forme {(x, F (x)) | x ∈ V } ou {(F (y), y) | y ∈ V , avec F de classe
C 1 définie sur V voisinage de 0. Dans le premier M contiendrait des (x, F (x)) avec x < 0, ce qui est
exclu. Dans le deuxième, on aurait F 3 (y) = y 2 , soit F (y) = y 2/3 , mais cette fonction n’est pas dérivable
en 0.

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 Cours 7 : jeudi 28/02/13

Exemple 2.16. Le cône de révolution, C = {(x, y, z) ∈ R3 | x2 + y 2 − z 2 = 0} n’est pas une

sous-variété de R3 . Le fait que l’application (x, y, z) 7→ x2 + y 2 − z 2 = 0 ne soit pas une submersion
en 0 ne suffit pas (il pourrait y avoir une autre submersion qui marche). Un argument de connexité fait
l’affaire. Si on pouvait redresser localement C au voisinage de 0 en un disque de R2 × {0} on trouverait
un voisinage épointé de 0 dans C ayant deux composantes connexes, homéomorphe à une boule épointée
de R2 × {0}, qui est connexe.

Exemple 2.17. Considérons C+ = {(x, y, z) ∈ C | z ≥ 0} la partie supérieure de cône. Ce n’est pas

une sous-variété mais l’argument de connexité ne tient plus. On revient à la définition. Supposons que
ψ soit un difféomorphisme local de R3 en 0, qui envoie un voisinage de 0 dans C+ sur un ouvert de
R2 × {0}. Considérons les vecteurs u1 = (0, 1, −1), u2 = (0 − 1, −1) et u3 = (−1, 0, −1). Les courbes
γi (t) = [Link] sont définies sur R et dans C+ pour t ≤ 0, pour i = 1, 2, 3. Alors les courbes t 7→ ψ ◦ γi (t),
sont dans R2 × {0} pour t ≤ 0 voisin de 0. On peut calculer leur dérivée en t = 0, comme leur dérivée
à gauche :
ψ ◦ γi (t) − 0
d0 ψ.ui = d0 ψ.γi0 (0) = lim ∈ R2 × {0},
t→ 0,t<0 t
donc d0 ψ envoie {u1 , u2 , u3 } dans R2 ×{0}. Or {u1 , u2 , u3 } est linéairement indépendante, cela contredit
le fait que d0 ψ : R3 → R3 soit un isomorphisme.

2.5 Espace tangent

Définition 2.18. Soit M une sous-variété de Rn , a ∈ M et v ∈ Rn . On dit que v est un

vecteur tangent àM en a s’il est le vecteur vitesse en a d’une courbe tracée sur M :

∃c :] − ε, ε[→ Rn différentiable, c(0) = a, c(] − ε, ε[) ⊂ M, c0 (0) = v.

On note Ta M l’ensemble des vecteurs tangents àM en a, qu’on appelle espace tangent à M en

a.

30
 31 Cours 7 : jeudi 28/02/13

Proposition 2.19. Soit M une sous-variété de dimension d de Rn et a ∈ M . Alors Ta M est

un sous-espace de vectoriel de Rn de dimension d.

Preuve: Revenons à la définition d’une sous-variété. Soit U un voisinage de a dans Rn , V un

voisinage de 0 dans Rn et f : U → V un difféomorphisme tel que f (U ∩ M ) = V ∩ (Rd × {0}),
f (a) = 0. Montrons que Ta M = (da f )−1 (Rd × {0}).
Soit v ∈ Ta M alors il existe c :] − ε, ε[→ Rn différentiable tel que c(0) = a, c(] − ε, ε[) ⊂ M et
c0 (0) = v. On peut supposer ε assez petit pour que c(] − ε, ε[) ⊂ U . Alors f ◦ c :] − ε, ε[→ Rd × {0}
et
(f ◦ c)0 (0) = dc(0) f.c0 (0) = da f.v ∈ Rd × {0}.
d’où da f (Ta M ) ⊂ Rd × {0}, soit Ta M ⊂ (da f )−1 (Rd × {0}). Inversement, soit w ∈ Rd × {0}.
Posons cw (t) = f −1 (tw) pour t ∈] − ε, ε[, ε > 0 assez petit. C’ est une courbe dans M telle que
cw (0) = a. En dérivant on obtient un vecteur v = d0 f −1 .w = (da f )−1 .w ∈ Ta M puisque vecteur
vitesse d’une courbe de M . D’où (da f )−1 (Rd × {0}) ⊂ Ta M .

Caractérisons Ta M suivant les différentes formulations de M .

Point de vue équation implicite Soit U un voisinage de a, g : U → Rn−d une submersion en

a telle que U ∩ M = g −1 (0). Alors

Ta M = ker da g

Les sous-espaces vectoriels Ta M et ker da g ayant la même dimension, il suffit de vérifier que
Ta M ⊂ ker da g. Or si v ∈ Ta M est le vecteur vitesse en a d’une courbe cv :] − ε, ε[→ M , on a
g ◦ cv (t) = 0 pour t voisin de 0 d’où
da g.v = da g.c0v (0) = (g ◦ cv )0 (0) = 0
et le résultat.
Le cas particulier g : Rn → R (hypersurface d = n − 1) est inté ressant : Si on note
∂g ∂g
∇a g = ( ,..., ),
∂x1 ∂xn
le vecteur gradient de g, da g.v = h∇a g, vi pour tout vecteur v ∈ Rn , donc

Ta M = {v ∈ Rn | h∇a g, vi = 0} = ∇a g ⊥

L’espace tangent est l’orthogonal du vecteur gradient de la submersion. Si g = (g1 , . . . , gn−d ),

ker dg = ∩ ker dgi donc
Ta M = ∇a g1 ⊥ ∩ . . . ∩ ∇a gn−d ⊥

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 32 Cours 7 : jeudi 28/02/13

Point de vue paramétrisation Soit U un voisinage de a dans Rn , un voisinage V de 0 dans

Rd et h : V → U une paramétrisation de M telle que h(0) = a. Alors

Ta M = d0 h(Rd ).

Puisque da h est injective, dim d0 h(Rd ) = d et il suffit de montrer que Ta M ⊃ d0 h(Rd ). Or pour
chaque vecteur v ∈ Rd , t 7→ cv (t) = h(tv) est une courbe tracée sur M (pour t proche de 0)
différentiable d’où d0 h.v = c0v (0) ∈ Ta M . Une base, souvent utile, de Ta M est donné e par les dé
rivé es partielles
∂h ∂h
{ ,..., }
∂x1 ∂xd
∂h d
En effet ∂x i
= dt h(x1 , . . . , xi + t, . . . , xd ) = da [Link] ∈ Ta M et les vecteurs sont indé pendants
puisque dh est injective.

point de vue Graphe Soit U un voisinage de a dans Rn , une identification par un automor-
phisme linéaire Rn = Rd × Rn−d , un ouvert V de Rd et f : V → Rn−d une application de classe
C k telle que U ∩ M = {(x, f (x)) ∈ Rd × Rn−d | x ∈ V }. Supposons que a = (x0 , f (x0 )), alors

Ta M = {(w, dx0 f.w) ∈ Rd × Rn−d | w ∈ Rd } = graphe de dx0 f.

En effet pour tout vecteur w ∈ Rd , la courbe t 7→ (x0 + tw, f (x0 + tw)) ∈ Rd × Rn−d est contenue
dans M (t petit) différentiable dans Rn de vecteur vitesse en a égal à v = (w, dx0 f.w). Ceci
montre que Ta M contient le graphe de dx0 f . Comme le graphe d’une application liné aire dé
finie sur Rd est un sous-espace vectoriel de dimension d, on a é galité .

La notion d’espace tangent permet de faire du calcul différentiel entre sous variétés : si M est
une sous-variété de Rm et N une sous-variété de Rn , on peut donner un sens à la différentia-
bilité de F : M → N en un point a ∈ M . La différentielle est alors une application linéaire
da F : Ta M → TF (a) N . Nous n’allons pas pénétrer dans ce vaste continent (hors programme) mais
simplement donner une nouvelle saveur au fait suivant bien connu : une fonction différentiable a
une différentielle nulle en un extremum. Le point intéressant est que la fonction sera définie sur
une sous-variété M , la différentielle sera nulle en restriction à l’espace tangent.

Théorème 2.20 (extrémas liés). Soit M une sous-variété de Rn de dimension d, F une fonction
différentiable à valeurs dans R définie sur un voisinage de M . Si a ∈ M est tel que F (a) est un
extremum local de F|M , alors da F|Ta M = 0. De plus, si g = (g1 , . . . , gn−d ) est une submersion
telle que M = g −1 (0), alors il existe (λ1 , . . . , λn−d ) ∈ Rn−d tels que

da F = λ1 da g1 + · · · + λn−d da gn−d .

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 33 Cours 7 : jeudi 28/02/13

Les réels λi sont appelés multiplicateurs de Lagrange.

Preuve: Soit v ∈ Ta M et t 7→ cv (t) une courbe tracée sur M telle que c(0) = a et c0 (0) = v.
La fonction d’une variable t 7→ F ◦ cv (t) admet un extremum local en t = 0, donc y est de
dérivée nulle. Or (F ◦ cv (t))0 (0) = dcv (0) F.c0v (0) = da F.v, d’où da F.v = 0 pour tout v ∈ Ta M .
Montrons la dernière assertion du théorème. Puisque g est une submersion, les formes linéaires
da g1 , . . . , da gn−d sont linéairement indépendantes. Supposons que {da g1 , . . . , da gn−d , da F } soit
linéairement indépendante. Alors l’application linéaire de Rn dans Rn−d+1 définie par

v 7→ (da g1 v, . . . , da gn−d v, da F v)

est de rang n−d+1, donc de noyau de dimension d−1. Or le noyau contient Ta M : puisque g = 0
sur M , Ta M = ker da g et on a vu que da F (Ta M ) = 0. Il s’ensuit que {da g1 , . . . , da gn−d , da F }
est liée, et comme les n − d premiers éléments sont indépendants, on a le résultat.

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 Cours 8 : jeudi 21/03/13

3 Etude métrique locale des surfaces de R3

On s’intéresse à la géométrie locale des surfaces Σ ⊂ R3 : longueur de courbes tracées sur Σ,

aires de domaines ⊂ Σ, courbure(s) de Σ. Comme on travaille localement, on supposera qu’il
existe une paramétrisation
f : U ⊂ R2 → Σ ⊂ R3
(immersion + homéomorphisme sur son image)

3.1 Première forme fondamentale

3.1.1 Rappels sur les produits scalaires

Si E est un espace vectoriel (réel), un produit scalaire sur E est h·, ·i : E × E→ R bilinéaire
symétrique défini positif hx, xi > 0, ∀x 6= 0). Si E de dimension finie, {e1 , . . . , en } une base, la
matrice symétrique M = (hei , ej i) détermine le produit scalaire par la formule
 
y1
X X X
 .  t
h xi ei , yj ej i = xi yj hei , ej i = (x1 , . . . , xn ) hei , ej i  ..  = XM Y
yn

Si L : E→ F est linéaire injective et h·, ·i est un produit scalaire sur F , on peut le tirer en arrière
en un produit scalaire sur E :
L∗ hx, yi = hLx, Lyi.
On va appliquer ceci en chaque a ∈ U pour tirer en arrière avec da f le produit scalaire standard
h·, ·i de R3 , ou ce qui revient au même, sa restriction à Tf (a) Σ.

34
3. Etude métrique locale des surfaces de R3 35 Cours 8 : jeudi 21/03/13

3.1.2 Première forme fondamentale, expression locale

Définition 3.1. On appelle première forme fondamentale en p ∈ Σ, et on note Ip , la

restriction du produit scalaire standard h·, ·i de R3 à Tp Σ :

∀X, Y ∈ Tp Σ, Ip (X, Y ) = hX, Y i.

Si a ∈ U et f (a) = p, puisque da f : R2 → R3 est injective (et da f : R2 → Tp Σ est un isomorphisme),

on peut tirer en arrière h·, ·i (ou Ip ). On obtient un produit scalaire sur R2 , dépendant du point
a:
ga = (da f )∗ h·, ·i = (da f )∗ Ip
défini donc par
ga (V, W ) = hda f.V, da f.W i = Ip (V, W )
∂f
Si {e1 , e2 } est une base de R2 , (u, v) les coordonnées dans cette base, alors da f.e1 = ∂u et
da f.e2 = ∂f∂v . La matrice de ga dans {e1 , e2 } est donc

  ∂f ∂f
h ∂u , ∂u i h ∂f , ∂f
   
ga (e1 , e1 ) ga (e1 , e2 ) ∂u ∂v i E F
(gij )a = = (a) =:
ga (e2 , e1 ) ga (e2 , e2 ) h ∂f ∂f ∂f ∂f
∂v , ∂u i h ∂v , ∂v i
F G

où E, F, et G sont des fonctions de (u, v). C’est aussi matrice de Ip dans la base { ∂f ∂f
∂u , ∂v } de
Tp Σ. On a aussi l’expression plus synthétique

(gij )a = t Ja f · Ja f

où Ja f = ( ∂f ∂f t
∂u ∂v ) est la matrice jacobienne (C’est une matrice 3 × 2 donc Ja f · Ja f est bien
2 × 2). Exercice : vérifier la formule.

Définition 3.2. L’application a 7→ (gij )(a) ∈ M2 (R) est appelée expression de la pre-
mière forme fondamentale dans les coordonnées (U, f ).

Si on a deux paramétrisations, le lien entre les deux expressions de la première forme fondamentale
est donnée dans le lemme suivant :

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

3. Etude métrique locale des surfaces de R3 36 Cours 8 : jeudi 21/03/13

Lemme 3.3. Si (Ũ , f˜) est une autre paramétrisation de Σ, avec f˜ = f ◦ φ, alors

(g̃ij ) = t Jφ · (gij ◦ φ) · Jφ

Preuve:
(g̃ij )a = t
Ja f˜ · Ja f˜
t
= (Jφ(a) f · Ja φ) · (Jφ(a) f · Ja φ)
t
= Ja φ · t Jφ(a) f · Jφ(a) f · Ja φ
t
= Ja φ · (gij )φ(a) · Ja φ

Exemple 3.4. Σ√= S 2 (ou un bout de S 2 ). On a une première paramétrisation U = B(0, 1) ⊂ R2 ,

f : (u, v) 7→ (u, v, 1 − u2 − v 2 ), qui donne
 
1 0 u2 −uv
!
1 + 1−u 2 −v 2 1−u 2 −v 2
J(u,v) φ =  0 1 , (gij )(u,v) = −uv 2
√ −u √ −v 1−u2 −v 2 1 + 1−uv2 −v2
1−u2 −v 2 1−u2 −v 2

Une autre paramétrisation (coordonnées sphériques)

Ũ =] − π/2, π/2[×] − π/2, 3π/2[, f˜(r, θ) = (cos(r) cos(θ), cos(r) sin(θ), sin(r)).
Alors  
1 0
(g̃)(r,θ) = .
0 cos2 (r)

Exercice 3.5. Calculer l’expression de la première forme fondamentale lorsque la paramétrisation est
donnée par un graphe (u, v) 7→ (u, v, h(u, v)).

3.1.3 Longueur

La longueur de γ : [a, b]→ Σ est sa longueur dans R3 :

Z b
L(γ) = hγ 0 (t), γ 0 (t)i1/2 dt.
a

Il peut-être avantageux de calculer cette longueur dans U : si γ = f ◦ β, β : [0, 1]→ U , alors

Z b
L(γ) = hdβ(t) f.β 0 (t), dβ(t) f.β 0 (t)i1/2 dt
a
Z b
= gβ(t) (β 0 (t), β 0 (t))1/2 dt
a
Z bq
t β 0 (t) · (g ) 0
= ij β(t) · β (t) dt
a

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

3. Etude métrique locale des surfaces de R3 37 Cours 8 : jeudi 21/03/13

De même, l’angle de vecteurs unitaires X, Y de Tp Σ, peut se calculer comme

arccos Ip (X, Y ) = arccos ga (V, W )

où da f.V = X et da f.W = Y .

Il peut parâitre plus compliqué de travailler dans U avec un produit scalaire variable plutôt
qu’avec le produit scalaire ambiant de R3 , qui est fixe. L’avantage est que l’espace tangent de U
est fixe, c’est R2 , alors que celui de Σ dépend de p. Voyons par exemple comment montrer que
les plus courts chemins sur S 2 sont les arcs de grand cercle, en travaillant en coodonnées.

Lemme 3.6. Les plus courts chemins sur S 2 sont exactement les arcs de grand cercle (inter-
section de S 2 avec un plan vectoriel).

Preuve: On travaille en coordonnées sphériques. Quitte à changer de repère, on se ramène à

considérer deux points p, q situés sur un méridien, avec p = f˜(r1 , 0) et q := f˜(r2 , 0) (où f˜ est la
paramétrisation de 3.4). Soit β(t) = (r(t), θ(t)) : [0, 1]→ Ũ joignant (r1 , 0) à (r2 , 0), γ = f˜ ◦ β.
Alors
Z 1s    0
1 0 r
L(γ) = Lg̃ (β) = (r0 , θ0 ) 2 (r) 0 dt
0 0 cos θ
Z 1p
= r02 + θ02 cos2 (r) dt
0
Z 1√
≥ r02 dt
0
Z 1
≥ |r0 | dt = |r2 − r1 |
0

si la courbe ne fait pas d’aller-retour, soit la longueur de l’arc de méridien joignant p à q. De

plus l’inégalité est stricte si θ0 6= 0.

Remarque
 3.7. Plus généralement, si l’expression de la première forme fondamentale est du
1 0
type 2 , les segments horizontaux dans U sont minimisants pour la "longueur"
0 h (u, v)
Z q
Lg (β) = g(β 0 , β 0 )β(t) dt

Leur image dans Σ est donc minimisante pour la longueur usuelle, parmi les courbes de Σ.
Par contre le segment vertical n’est pas minimisant en général. Par exemple les parallèles (sauf
l’équateur) ne sont pas minimisants sur la sphère, donc les segments verticaux de Ũ = ×] −
π/2, π/2[×] − π/2, 3π/2[ non plus pour Lg̃ .

Exercice 3.8. Montrer que les longueurs mesurées dans f ) sont les longueurs usuelles (à multiple
 (U,
1 0
près) si et seulement si il existe C > 0 tel que (gij ) = (soit g = Ch·, ·iR2 ).
0 1

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

3. Etude métrique locale des surfaces de R3 38 Cours 8 : jeudi 21/03/13

Remarque 3.9. On peut également exprimer la première forme fondamentale en coordonnées

à l’aide de formes différentielles. Si (u, v) sont des coordonnés de U ⊂ R2 (x = ue1 + ve2 est
représenté par (u, v)), la différentielle des applications u et v sont des formes linéaires du : R2 → R
et dv : R2 → R. Si V = (a, b), du(V ) = a et dv(V ) = b. Si on note du2 la forme quadratique (du)2
et (dudv)(V ) = du(V )dv(V ) alors la forme quadratique notée ds2 définie par ds2 (V ) = g(V, V ),
vérifie
ds2 = Edu2 + 2F dudv + Gdv 2 . (3.1)
Par exemple, la première forme fondamentale de la sphère en coordonnées sphériques s’écrit
ds2 = dr2 + cos2 (r)dθ2 . Si (u0 , v 0 ) sont d’autres coordonnées, par exemple si (u, v) = Φ(u0 , v 0 ) ou
Φ est un difféomorphisme, il suffit de calculer
∂u 0 ∂u 0
du = du + 0 dv
∂u0 ∂v
et
∂v 0 ∂v
dv = 0
du + 0 dv 0
∂u ∂v
de remplacer dans (3.1) et développer comme des produits, pour obtenir ds2 = E 0 du02 +2F 0 du0 dv 0 +
G0 dv 02 .

3.2 Aire

Soit D ⊂ Σ un domaine compact, f −1 (D) ⊂ U . On veut mesurer l’aire de D en faisant le calcul

dans U .

Définition 3.10. On appelle aire de D l’intégrale

Z q
A(D) = det(gij ) dudv.
f −1 (D)

Vérifions que cela ne dépend pas de la paramétrisation. Si f˜ = f ◦ φ,

Z q Z q
det(g̃ij ) dudv = det(t Jφ · (gij )φ · Jφ) dudv
f˜−1 (D) f˜−1 (D)
Z q
= | det Jφ| det(gij )φ dudv
φ−1 ◦f −1 (D)
Z q
= det(gij ) dudv
f −1 (D)

d’après la formule de changement de variable.

Pourquoi dit-on cette expression mesure t’on l’aire ? Il faudrait définir l’aire proprement, ce qui
serait technique. Donnons juste une explication heuristique. Si V, W sont deux vecteurs de R2 ,

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

3. Etude métrique locale des surfaces de R3 39 Cours 8 : jeudi 21/03/13

l’aire du losange engendré par {V, W } est | det(V, W )|. On voudrait définir l’aire dA d’un élément
infinitésimal de Σ comme l’aire du losange P engendré par { ∂f ∂f
∂u , ∂v } ⊂ Tp Σ. Cependant on ne
peut prendre le déterminant de deux vecteurs de R3 ...Ajoutons leur un troisième vecteur normal
unitaire n, par exemple le normalisé de ∂f ∂f
∂u ∧ ∂v . Alors le volume du domaine engendré par
M = { ∂f ∂f
∂u , ∂v , n} est | det(M )| = Aire(P ). Or
p p q
| det(M )| = det(t M · M ) = t Jf · Jf = det(gij ).

Exercice 3.11. (1) Montrer que l’aire de S 2 est 4π.

(2) Montrer qu’il existe des paramétrisations (U, f ) et (Ũ , f˜) de S 2 tel que parallèles et méridiens
soient orthogonaux
 vus dans U et Ũ , avec de plus det(gij ) = 1 (projection de Peters) et
1 0
(g̃ij ) = λ(·) . (projection de Mercator). Indication : On pourra partir des coordonnées
0 1
sphériques.

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 Cours 9 : vendredi 22/03/13

3.3 Courbures

Heuristique de la courbure : on déplace sur Σ un vecteur unitaire normal N et on regarde

comment il tourne : on mesure N 0 . Sur une sphère, le vecteur normal tourne d’autant plus vite
que le rayon est petit, confirmant l’intuition qu’une petite sphère est plus courbée qu’une grosse.
Sur un plan, le vecteur normal est constant : le plan est de courbure nulle. Comme il y a plusieurs
directions dans lesquelles déplacer N , l’objet que l’on récupère est plus compliqué qu’un nombre,
c’est un endomorphisme.

3.3.1 Application de Gauss

On commence par munir Σ d’une normale unitaire "différentiable", qu’on appelle application de
Gauss.

Définition 3.12. On appelle N : Σ→ S 2 ⊂ R3 une application de Gauss si pour tout p ∈ Σ,

N (p) est perpandiculaire à Tp Σ, et si N ◦ f : U → R3 est différentiable, lorsque (U, f ) est une
paramétrisation de Σ.

Il est clair que la condition de différentiabilité de dépend pas de (U, f ). De plus il n’y a que 2
applications de Gauss possibles. En effet, notons
∂u f ∧ ∂v f
ν(x) = .
k∂u f ∧ ∂v f k
C’est en chaque point x un vecteur unitaire normal à Tf (x) Σ. Il est clair qu’en chaque x ∈ U ,
N (f (x)) = ±ν(x). Un argument immédiat de continuité implique que N ◦ f = ν ou N ◦ f = −ν,
sur U . Alors N = ν ◦ f −1 ou N = −ν ◦ f −1 .

Choisir une application de Gauss revient donc à choisir une paramétrisation (U, f ) et à poser N =
ν ◦ f −1 . On dit qu’on oriente la surface Σ. Une autre paramétrisation donne la même application

40
 41 Cours 9 : vendredi 22/03/13

de Gauss si la matrice jacobienne du changement de paramétrisation est de déterminant positif.

En effet :

Lemme 3.13. Si (Ũ , f˜) est une paramétrisation de Σ et f˜ = f ◦ ϕ, alors

ν̃(x) = ε.ν(φ(x))

où ε = ±1 est le signe du déterminant de Jx ϕ.

     
ϕ1 ∂u ϕ1 ∂v ϕ1 a b
Preuve: Notons ϕ = , Jx ϕ = (x) = d’où au point x,
ϕ2 ∂u ϕ2 ∂v ϕ2 c d

∂u f˜ = (∂u f ◦ φ)∂u ϕ1 + (∂v f ◦ φ)∂u ϕ2 = (a∂u f + c∂v f ) ◦ φ

∂v f˜ = (∂u f ◦ φ)∂v ϕ1 + (∂v f ◦ φ)∂v ϕ2 = (b∂u f + d∂v f ) ◦ φ
D’où en utilisant la bilinéarité et l’antisymétrie du produit vectoriel,
∂u f˜ ∧ ∂v f˜ = (ad − bc)(∂u f ∧ ∂v f ) ◦ φ.

Exemple 3.14. Sur S 2 , N = Id ou N = −Id. Sur le cylindre, paramétré par f (u, v) = (cos(u), sin(u), v),
ν(u, v) = (cos(u), sin(u), 0).

3.3.2 Endomorphisme de Weingarten, seconde forme fondamentale

On veut maintenant dériver l’application de Gauss en un point p ∈ Σ dans une direction X ∈ Tp Σ.

Soit c une courbe lisse tracée sur Σ telle que c(0) = p et c0 (0) = X. On commet l’abus de notation
d’écrire N (t) = N ◦ c(t). On définit

Définition 3.15. On appelle différentielle de l’application de Gauss, dp N : Tp Σ→ R3 définie

par  
d
dp N.X = N 0 (0) = N ◦ c(t)
dt |t=0

Vérifions que l’expression de dépend pas de la courbe c. On a même :

Proposition 3.16. La différentielle de l’application de Gauss dp N est un endomorphisme

Tp Σ→ Tp Σ, symétrique au sens que

Ip (dp N.X, Y ) = Ip (X, dp N.Y )

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 42 Cours 9 : vendredi 22/03/13

pour tous X, Y ∈ Tp Σ.

Preuve: On a N ◦ c(t) = ν ◦ f −1 ◦ c, donc

N 0 (0) = dx ν.(dx f )−1 .c0 (0)

ne dépend que de c0 (0) = X. On en déduit l’identité

dp N = dx ν.(dx f )−1 (3.2)

qui montre que dp N est linéaire. En dérivant l’égalité hN (t), N (t)i = 1, il vient hN 0 (0), N (0)i = 0
d’où N 0 (0) est orthogonal à N (0), donc dans Tp Σ. Il reste à voir la symétrie. ll suffit de la vérifier
dans la base {∂u f, ∂v f } de Tp Σ. On a

dp N.∂u f = dx ν.(dx f )−1 ∂u f = ∂u ν

dp N.∂v f = ∂v ν

donc

Ip (dp N.∂u f, ∂v f ) = h∂u ν, ∂v f i

∂ ∂2f
= hν, ∂v f i − hν, i
∂u ∂u∂v
∂2f
= 0 − hν, i
∂v∂u
= Ip (∂u f, dp N.∂v f )

par les mêmes égalités.

Définition 3.17. On appelle endomorphisme de Weingarten l’endomorphisme symé-

trique
Lp = −dp N : Tp Σ→ Tp Σ
et seconde forme fondamentale la forme bilinéaire symétrique sur Tp Σ :

IIp (X, Y ) = Ip (Lp X, Y ).

La seconde forme est symétrique, mais pas nécessairement définie et positive.

Exemple 3.18. Sur la sphère, puisque ν(x) = ±x, dx ν = ±Id.

Sur le cylindre  
− sin(u) 0

Jν =  cos(u) 0 = ∂u ν∂v ν
0 0

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 43 Cours 9 : vendredi 22/03/13

   
− sin(u) 0
∂u f =  cos(u)  et ∂v f = 0. On a donc
0 1
dp N.∂u f = ∂u ν = ∂u f
dp N.∂v f
= ∂v ν = 0
 
−1 0
La matrice de Lp = −dp N dans la base {∂u f, ∂v f } est donc .
0 0

Donnons une interprétation géométrique du nombre Πp (X, X).

Proposition 3.19. Soit c une courbe tracée sur Σ, notons X = c0 . Alors

hc00 , N i = IIp (X, X).

Autrement dit IIp (X, X) est la composante normale de l’accélération de c.

Preuve: Puisque c est tracée sur Σ, hc0 , N ◦ ci = 0 en tout point. En dérivant :

hc00 , N i + hc0 , dp N.c0 i = 0.

Si on décompose l’accélération c00 en sa composante normale (colinéaire à N ) et sa composante

tangencielle dans T Σ, on a
c00 = hc00 , N i + c00T
= IIp (X, X) + c00T (3.3)

Il y a là un fait remarquable : la composante normale de l’accéleration de dépend pas de c mais

uniquement de X = c0 (0), elle est imposée par la surface. On note souvent KN = IIp (X, X) la
courbure normale de c en p. Toute courbe de Σ passant par p à la vitesse X a la même courbure
normale KN . Si c est paramétrée par longueur d’arc, sa courbure usuelle est K = kc00 (s)k. La
décomposition ci-dessus montre que K 2 ≥ KN 2 . On peut voir K comme une courbure minimale
N
imposée par Σ à toute courbe de vitesse X restant sur Σ.

On peut se demander s’il existe toujours sur Σ, des courbes de "courbure minimale", c’est-à-
dire donc l’accélération tangencielle c00T est identiquement nulle. On verra que oui. Ces courbes
s’appelent des géodésiques et jouent un rôle très important en géométrie. Ce sont exactement les
courbes localement minimisantes pour la longueur.

Exercice 3.20. Vérifier que les grands cercles de la sphère sont des géodésiques.

Le signe IIp (X, X) renseigne également sur la position de c par rapport au plan tangent. Un
développement limité et (3.3) donne
t2 00 t2
c(t) = c(0) + tc0 (0) + cT (0) + IIp (X, X) + o(t2 )
2 2

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 44 Cours 9 : vendredi 22/03/13

donc il existe ε > 0 tel que la restriction de c à ] − ε, ε[ est dans le demi-espace délimité par
p + Tp Σ, du coté de N (p) si IIp (X, X) > 0 et de −N (p) si IIp (X, X) < 0. On ne peut rien dire
si IIp (X, X) = 0.

On peut définir à partir de Lp = −dp N plusieurs notions de courbure :

Définition 3.21. (1) Les valeurs propres de Lp sont appelées les courbures principales
et sont notées κ1 , κ2 . Les directions propres sont appelées directions principales
(2) Le déterminant K = det(L) = κ1 κ2 est appelée courbure de Gauss.
(3) La moyenne H = 21 tr(L) = 21 (κ1 + κ2 ) est appelée courbure moyenne.

Remarque 3.22. (1) On peut montrer que les courbures principales sont le minimum et le
maximum de la courbure normale IIp (X, X) sous la contrainte kXk = 1. Les directions
propres sont orthogonales.
(2) Le signe de κ1 et de κ2 dépend de l’orientation choisie pour N , mais pas leur produit K.

Exemple 3.23. La sphère est de courbures principales κ1 = κ2 égales en tout point (à ±1), donc de
courbure de Gauss +1.
Le cyclindre est de courbure principales 0 et 1, donc de courbure de Gauss nulle.

3.3.3 Expression en coordonées locales

 
A B
Notons (hij ) = l’expression de IIp dans la base {∂u f, ∂v f }. Notons (u1 , u2 ) = (u, v),
B C
alors

∂2f
IIp (∂ui f, ∂uj f ) = h−dp N.∂ui f, ∂uj f ) = h−∂ui ν, ∂uj f ) = hν, ). (3.4)
∂ui ∂uj

Par définition du produit vectoriel on a donc

∂2f
 
1
A = det ∂u f, ∂v f, 2
k∂u f ∧ ∂v f k ∂u
∂2f
 
1
B = det ∂u f, ∂v f,
k∂u f ∧ ∂v f k ∂u∂v
∂2f
 
1
C = det ∂u f, ∂v f, 2
k∂u f ∧ ∂v f k ∂v

Notons (hji ) les coordonées de Lp dans la base {∂u1 f, ∂u2 f } (avec Lp ∂ui f = h1i ∂u1 f + h2i ∂u2 f ).
Pour simplifier on note ∂i f = ∂ui f et on utilise les conventions d’Einstein de sommation : si

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 45 Cours 9 : vendredi 22/03/13

une lettre apparait à la fois en indice et en exposant dans un expression, celle-ci-est à considérer
comme une somme sur la lettre en question. Ainsi

Lp (∂i f ) = hji ∂j f (=
X j
hi ∂ j f )
j

On a
hij = IIp (∂i f, ∂j f ) = hLp ∂i f, ∂j f ) = hhki ∂k f, ∂j f i = hki gkj
Notons (g ij ) la matrice inverse (gij )−1 ,
 
ij 1 G −F
(g ) =
EG − F 2 −F E

Alors
hij g jl = hki gkj g jl = hki δkl
où δkl est le symbole de Kronecker, égal à 0 si k 6= l et δkk = 1. On voit que la somme sur k se
réduit à k = l d’où
hli = hij g jl .
Par exemple
1
h11 = h11 g 11 + h12 g 21 = (AG − BF )
EG − F 2
1
h22 = h21 g 12 + h22 g 22 = (−BF + CE)
EG − F 2

D’un point de vue matriciel

(hji ) = (hij )(g ij ).

Donnons une autre preuve, complètement matricielle. Notons H = (hij ) et G = (gij ) les ma-
trices
 1 dans la base {∂1 f, ∂2 f } des deuxièmes et première forme fondamentale, et H 0 = (hji ) =
h1 h21

. Notons que la matrice de l’endomorphisme Lp est dans cette même base, t H 0 . On a
h12 h22

II(x, y) = t XHY = hLp x, yi = t (t H 0 X)GY = t XH 0 GY

d’où H 0 = HG−1 . On en déduit

Proposition 3.24.
det(hij ) AC − B 2
K = det(hji ) = =
det(gij ) EG − F 2
et
1 1
H = hii = (AG − 2BF + CE)
2 2(EG − F 2 )

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 46 Cours 9 : vendredi 22/03/13

Le signe de la courbure de Gauss renseigne sur la position de Σ par rapport au plan (affine)
tangent :

Proposition 3.25. Si K(p) > 0, il existe un voisinage Ω de p tel que (Σ∩Ω)∩(p+Tp Σ) = {p}.
Si K(p) < 0, pour tout voisinage Ω de p il existe des points de Ω∩Σ de part et d’autre de p+Tp Σ.

Preuve: Ecrivons Σ au voisinage de p comme un graphe. Quitte à changer les axes de coordon-
nées, on peut alors prendre comme paramétrisation f (u, v) = (u, v, h(u, v)) où p = f (0, 0) =
(0, 0, 0) et Tp Σ = R2 × {0}, soit d(0,0) h = 0. On a ν(0, 0) = (0, 0, 1), ∂u f (0) = (1, 0, 0) et
∂v f (0) = (0, 1, 0). Des expressions pour A, B, C ci-dessus, on tire
2 2
!
∂ h ∂ h
(hij )(0,0) = ∂u
∂2h
2 ∂u∂v
∂2h = D2 h(0, 0)
∂u∂v ∂v 2

est la matrice héssienne de h en (0, 0). Le développement limité donne

 
2 u
h(u, v) = p + (u, v)D h(0, 0) + o(u2 + v 2 ).
v

Si K(p) > 0, D2 h(0, 0) est définie positive ou définie négative ; si K(p) < 0 elle a deux valeurs
propres de signe opposé.

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 Cours 10 : jeudi 04/04/13

3.4 Géodésiques

Définition 3.26. Un arc paramétré (I, c) tracé sur Σ est une géodésique si c00 ∈ Tc(t) Σ⊥ sur
I.

Cela à équivaut à c00 = hc00 , N iN , et aussi à la nullité de la composante tangentielle c00T = 0.

Lemme 3.27. Une géodésique est paramétrée à vitesse constante.

Preuve:
d 0 0
hc , c i = 2hc00 , c0 i = 0.
dt

Il est clair que si c : [−a, a]→ Σ est une géodésique telle que c0 (0) = X, alors t 7→ c(kt) est
une géodésique sur ] − ka , ka [ de vecteur vitesse kX en t = 0. On va montrer que les géodésiques
existent dans toutes les directions.

Théorème 3.28. Etant donné p ∈ Σ et X ∈ Tp Σ, il existe une unique géodésique maximale

(I, c) telle que c(0) = p et c0 (0) = X.

Preuve: Soit x : I→ U un arc paramétré. Cherchons une condition différentielle pour que c =
f ◦ x soit une géodésique. On a
(f ◦ x)0 (t) = dx(t) f.x0 (t)

47
 48 Cours 10 : jeudi 04/04/13

puis

(f ◦ x)00 (t) = D2 f (x0 , x0 ) + dx(t) f.x00 (t)

X ∂2f X
= x0i (t)x0j (t) + ∂k f.x00k (t)
∂xi ∂xj
i,j k

∂f 2
où on note x = (x1 , x2 ) et ∂k f = ∂x k
(x). Ecrivons ∂x∂i ∂x
f
j
dans la base {∂1 f, ∂2 f, ν} (en utilisant
(3.4)) :
∂2f X
(x) = Γkij (x)∂k f + IIp (∂i f, ∂j f )ν (3.5)
∂xi ∂xj
k=1,2

Les coefficients Γkij sont appelés symboles de Christoffel (ce sont des fonctions). La composante
tangentielle de c00 en p = f (x(t)) est donc
 
X X
c00T =  Γkij (x) x0i x0j + x00k  ∂k f.
k ij

On conclut que c est une géodésique si pour k = 1 et k = 2,

X
Γkij (x) x0i x0j + x00k = 0 (3.6)
ij

C’est une équation différentielle de la forme

d2 x dx
= F (x, )
dt2 dt
où F : Ω ⊂ R2 × R2 → R2 est lisse et on cherche x : I→ R2 . Le théorème de Cauchy-Lipschitz
donne existence et unicité de solutions maximales étant fixés x(0) = f −1 (p) et x0 (0) = (dx f )−1 .X.

On peut en fait obtenir beaucoup plus. D’abord la dépendance continue des données initiales
montre que tout (x0 , x00 ) ∈ U × R2 admet un voisinage V × W et ε > 0 tel que pour tout
(x1 , x01 ) ∈ V × W , il existe une unique solution de (3.6), xx1 ,x01 (t) définie sur ] − ε, ε[, de données
initiales (x1 , x01 ). De plus l’application Φ : (t, x1 , x01 ) 7→ xx1 ,x01 (t) de ] − ε, ε[×V × W dans U est
lisse. Considérons x00 = 0 et W ⊃ B(0, δ). Si kx01 k = δ, la géodésique de vecteur λx01 est définie
sur ]λδ, λδ[. On en déduit que Φ est définie sur ]−2, 2[×V ×B(0, 2ε δ). On définit en chaque x1 ∈ V
une application expx1 : B(0, 2ε δ)→ U par expx1 (v) = Φ(1, x1 , v) = xx1 ,v (1) et une application
Exp : V × B(0, 2ε δ)→ V × U par Exp(x1 , v) = (x1 , expx1 (v)).

Lemme 3.29. L’application Exp est un difféomorphisme local au voisinage de (x0 , 0).

Preuve: On calcule la différentielle de l’application. La dérivée par rapport à la première variable

est clairement l’identité. Pour la seconde variable, remarquons que expx0 (sv) = xx0 ,sv (1) =

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 49 Cours 10 : jeudi 04/04/13

xx0 ,v (s). Autrement dit s 7→ expx0 (sv) est la géodésique de vecteur initial v. La dérivée de Exp
en (x0 , 0) par rapport à la seconde variable dans une direction v est alors

d d
Exp(x0 , rv) = expx0 (rv) = v
dr |r=0 dr |r=0
 
Id 0
On en déduit que la matrice jacobienne de Exp est de la forme et on conclut avec le
∗ Id
théorème d’inversion locale.

Etant donné p ∈ Σ et X ∈ Tp Σ voisin de 0, on définit expp (X) = cX (1) où c est la géodésique

telle que c(0) = p, c0 (0) = X. On déduit :

Corollaire 3.30. Pour tout p ∈ Σ, il existe un voisinage Ω ⊂ Σ de p et ε > 0 tel que

(1) Pour tout q, q 0 ∈ Σ, il existe un unique X ∈ Tq Σ tel que kXk < ε et expq (X) = q 0 .
(2) Pour tout q ∈ Ω, l’application expq : B(0, ε) ⊂ Tq Σ→ Σ est un difféomorphisme sur son
image (au sens que f −1 ◦ expq est un difféomorphisme).

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 Cours 11 : mardi 09/04/13

Corollaire 3.31. Les géodésiques sont exactement les courbes localement minimisantes pour
la longueur. En particulier une courbe lisse par morceaux globalement minimisante est géodésique
et donc lisse.

Preuve: Montrons d’abord que les géodésiques minimisent la longueur localement et ceci de
manière unique. Soit q, q 0 deux points que tel que le corollaire 3.30 s’applique. Soit {v1 , v2 } une
base orthonormée de Tq Σ. Considérons la paramétrisation locale

]0, ε[×R→ expq (B(0, ε)) \ {q} ⊂ Σ

définie par
f (r, θ) = expq (r(cos(θ)v1 + sin(θ)v2 ))
(qu’on appelle coordonnées géodésiques polaires). Les segments horizontaux ]0, ε[×{θ0 } sont en-
voyés exactement sur les géodésiques issues de q. Pour justifier que r 7→ expq (rv) est l’unique
courbe de longueur minimale entre q et expq (εv), il suffit de montrer que la première forme
 
1 0
fondamentale s’écrit (cf. remarque 3.7). Notons v(θ) = cos(θ)v1 + sin(θ)v2 , alors
0 h(r, θ)
f (r, θ) = cv (r) est une géodésique et puisqu’une géodésique est paramétrée à vitesse constante,
∂f ∂f
h , i = hc0v (r), c0v (r)i = hc0v (0), c0v (0) = kvk2 = 1.
∂r ∂r
Pour estimer h ∂f ∂f
∂r , ∂θ i, commençons par estimer sa dérivée :

d ∂f ∂f ∂ 2 f ∂f ∂f ∂ 2 f
h , i = h 2, i+h , i
dr ∂r ∂θ ∂r ∂θ ∂r ∂r∂θ
∂f ∂f ∂ 2 f
= hc00v (r), i+h , i
∂θ ∂r ∂θ∂r
1 d ∂f ∂f
= 0+ h , i
2 dθ ∂r ∂r
puisque c00v est perpandiculaire à Tcv (r) Σ 3 ∂f ∂f ∂f 0 0
∂θ . Maintenant on a vu h ∂r , ∂r i = hcv (r), cv (r)i =
kvk = 1 pour tout θ donc la dérivée restante est nulle. Il s’ensuit que h ∂f ∂f
∂r , ∂θ i est constant par

50
 51 Cours 11 : mardi 09/04/13

∂f
rapport à r. Lorsque r→ 0, ∂r = c0v (r) tend vers v. D’autre part, si on pose w = − sin(θ)v1 +
cos(θ)v2 = v 0 (θ), alors
∂f d
= (expq (rv)) = drv expq (rv 0 (θ))
∂θ dθ
= drv expq (rw)
→ 0
 
1 0
quand r→ 0, d’où h ∂f ∂f
∂r , ∂θ i = 0. Ceci montre que (gij ) = .
0 g22

La conclusion du corollaire est maintenant facile. Si γ est une courbe minimisante sur Σ, deux
points quelconques de γ assez proches sont joints par une unique géodésique courte, qui néces-
sairement coincide avec γ.

Remarque 3.32. L’argument ci-dessus s’appelle le lemme de Gauss. Si on munit Σ de la

distance définie par l’infimum des longueurs des courbes (c’est une distance), l’argument montre
en particulier que expq (B(0, ε) = B(q, ε) ⊂ Σ. Les sphères S(0, ε) ⊂ Tp Σ sont envoyées sur les
sphères S(q, ε) et les rayons géodésiques issus de g sont orthogonaux aux sphères S(q, ε).
Il ne résoud pas le problème de trouver une géodésique entre 2 points quelconques de Σ. Il faut
ajouter des hypothèses. Sur R2 × {0} \ {0}, (1, 0) et (−1, 0) ne sont pas joints par une géodésique.
Si Σ est compacte (et connexe), on peut montrer que 2 points quelconques sont joints par une
géodésique minimisante.

3.5 Le "Theorema Egregium"

Il s’agit du "théorème remarquable" de Gauss :

Théorème 3.33 (Theorema Egregium). La courbure de Gauss est invariante par isométrie
locale

Il s’agit ici d’une isométrie Σ→ Σ0 (pas une isométrie de R3 ) qui ne préserve à priori que les
longueurs des surfaces et donc la distance définie par l’infimum des longueurs. D’une certaine
manière, le théorème dit que la courbure de Gauss est déterminée par les longueurs. De fait nous
allons montrer que la courbure de Gauss peut-être calculée à partir de la première forme fonda-
mentale et de ses dérivées à l’ordre ≤ 2, sans recours à la seconde forme fondamentale. On le fait
dans le cas particulier des coordonnées géodésiques polaires, où la formule est particulièrement
simple

Lemme 3.34. Soit f (r, θ) : U → Σ des coordonnées géodésiques polaires autour d’un point p ∈
Σ, ds2 = dr2 + J 2 (r, θ)dθ2 l’expression de la première forme fondamentale dans ces coordonnées.
Alors
J 00
K=−
J

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 52 Cours 11 : mardi 09/04/13

∂2J
où J 00 = ∂r2
.

(une formule générale existe pour des coordonnées quelconques, en fonction de E, F, G et de leurs
dérivées à l’ordre ≤ 2).

Démontrons le lemme.
∂2f
Preuve: Commençons par écrire les dérivées partielles ∂u1 ∂u2 (où (u1 , u2 ) = (r, θ)) dans la base
2f ∂2f
{∂r f, ∂θ f, ν}. Pour plus de lisibilité, on note ∂ij = ∂u1 ∂u2 et on s’autorise à écrire r = 1 et
θ = 2. Alors
2
∂rr f = Γ111 ∂r f + Γ211 ∂θ f + h11 ν (3.7)
2
∂rθ f = Γ112 ∂r f + Γ212 ∂θ f + h12 ν (3.8)
2
∂θθ f = Γ122 ∂r f + Γ222 ∂θ f + h22 ν (3.9)
−∂r ν = h11 ∂r f + h21 ∂θ f (3.10)
−∂θ ν = h12 ∂r f + h22 ∂θ f (3.11)

La base (∂r f, ∂θ f, →
−
u ) est orthogonale et r 7→ f (r, θ) est une géodésique. Cela permet de simplifier
(3.7),(3.8). Montrons que (3.7) se réduit à
2
∂rr f = h11 ν (3.12)

En dérivant 1 = h∂r f, ∂r f i par rapport à r on a h∂rr 2 f, ∂ f i = 0. En dérivant en θ on a

r
2 f, ∂ f i = 0. En dérivant alors 0 = h∂ f, ∂ f i, on a 0 = h∂ 2 f, ∂ f i+h∂ f, ∂ f i = h∂ 2 f, ∂ f i.
h∂θr r r θ rr θ r rθ rr θ
On aurait aussi pu dire que ∂rr2 f = c00 , où c(r) = f (r, θ) est une géodésique.

Montrons que (3.8) se réduit elle à

2 J0
∂rθ f= ∂θ f + h12 ν (3.13)
J
La nullité de Γ112 vient de h∂θr
2 f, ∂ f i = 0. Le coefficient de ∂ f vient de
r θ

∂
2JJ 0 = 2
h∂θ f, ∂θ f i = 2h∂rθ f, ∂θ f i = 2Γ212 h∂θ f, ∂θ f i = 2Γ212 J 2
∂r

On utilise maintenant l’égalité

∂ 2

∂ 2


∂rr f − ∂rθ f =0
∂θ ∂r
dont laquelle on injecte (3.12) et (3.13) :
 00
J 02 J0 2

J
0 = (∂θ h11 )ν + h11 ∂θ ν − ( − 2 )∂θ f + ∂rθ f + (∂r h12 )ν + h12 ∂r ν
J J J
Injectons à nouveau (3.13), mais aussi (3.10) et (3.11) :
 00
J 02 J0 J0
  
1 2 J 1 2
0 = (∂θ h11 )ν−h11 (h2 ∂r f +h2 ∂θ f )− ( − 2 )∂θ f + ∂θ f + h12 ν + (∂r h12 )ν − h12 (h1 ∂r f + h1 ∂θ f )
J J J J

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 53 Cours 11 : mardi 09/04/13

Regroupons :
J 00 J0
   
−h11 h12 h12 h11 2 2


0= + ∂r f + −h11 h2 − + h12 h1 ∂θ f + ∂θ h11 − h12 − ∂r h12 ν
J J
En particulier la nullité du deuxième coefficient donne
J 00
− = h11 h22 − h12 h21 = h11 h22 − h12 h21 = det(L) = K
J
en utilisant   1
h1 h21
  
h11 h12 1 0
=
h21 h22 h12 h22 0 J2
(et h12 = h21 ).

La preuve du théorème est maintenant immédiate. Soit ϕ : Σ→ Σ une isométrie. On peut supposer
que φ est différentiable et que ϕ∗ IΣ0 = IΣ . Alors l’expression de la première forme fondamentale
de Σ0 via ϕ ◦ f (autour de φ(p)) est exactement celle de Σ via f autour de p. Il s’ensuit que
00 (r,θ)
K(p) = limr→ 0 JJ(r,θ ) = K(ϕ(p)).

La relation entre courbure de Gauss et longueur est encore plus claire dans le résultat suivant :

Corollaire 3.35. Soit p ∈ Σ, C(p, ε) le cercle de Σ de centre p et de rayon ε > 0, alors

ε2
 
2
L(C(p, ε)) = 2πε 1 − K(p) + o(ε ) .
6

On voit que la courbure mesure le défaut d’euclidianité des petits cercles.

Preuve: Soit {v1 , v2 } une base orthonormée de Tp Σ et v(θ) = cos(θ)v1 +sin(θ)v2 . Posons w(θ) =
− sin(θ)v1 + cos(θ)v2 = v 0 (θ). Soit f (r, θ) = expp (rv). On voit que
d
∂θ f = drv expp ( rv) = drv expp (rw) = rw + o(r)
dθ
puisque d0 expp = Id. Il s’ensuit que J(r, θ) = r + o(r) et J 0 (r, θ) = 1 + o(1). On prolonge en 0
en J(0) = 0 et J 0 (0) = 1. Puisque J 00 = −KJ, on J 000 = −K 0 J − KJ 0 et on prolonge en 0 en
J 000 (0) = −K(p). Le développement limité donne alors
r3
J(r) = r − K(p) + o(r3 )
6
En intégrant θ de 0 à 2π,
Z 2π 2π
ε3
Z  
3
L(C(p, ε)) = k∂θ f (ε, θ)kdθ = J(ε, θ)dθ = 2π ε − K(p) + o(ε ) .
0 0 6

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 54 Cours 11 : mardi 09/04/13

Géométrie intrinsèque vs géométrie extrinsèque La courbure de Gauss est une quantité

issue de la géométrie "interne à la surface", on dit que c’est une quantité intrinsèque. Elle ne
dépend pas de comment la surface est pliée dans l’espace, du moment que le plongement soit
localement isométrique. Ainsi un cylindre étant localement isométrique à un plan, ils ont même
courbure de Gauss, identiquement nulle. A contrario les courbures principales dépendent du
plongement, ont dit que ce sont des quantités extrinsèques. le cylindre est localement isométrique
à un plan mais admet une courbure principale non nulle.

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

 Cours 12 : jeudi 11/04/13

5 Champs de vecteurs

On ne donnera qu’un aperçu.

5.1 Champs de vecteurs de Rn .

Définition 5.1. Soit U ⊂ Rn un ouvert. Un champ de vecteurs de classe C k , k ≥ 1,

sur U est X : U → Rn de classe C. On note souvent Xx = X(x). Une courbe intégrale ou
trajectoire de X est (J, c) où J ⊂ R est un intervalle ouvert, c : I→ U est différentiable et
vérifie
c0 (t) = Xc(t)
pour tout t ∈ I.

Une courbe intégrale est une solution de l’équation différentielle d’ordre 1, x0 = X(x). On suppose
les champs de vecteur au moins C 1 . Les résultats classiques, (Cauchy-Lipschitz et dépendance
en les conditions initiales), donnent

Théorème 5.2. Soit X un champ de vecteurs sur un ouvert U de Rn et x un point de U . Alors

il existe une unique trajectoire maximale (Jx , cx ) de X telle que cx (0) = x. De plus la réunion des
Jx × {x}, lorsque x parcourt U , est un ouvert Ω de R × U , sur lequel l’application

(x, t) 7→ cx (t)

est lisse.

Remarque 5.3. ˜ c̃) sa-

(1) La solution est maximale au sens que tout autre trajectoire (J,
˜ ˜
tisfaisant c̃(0) = x vérifie J ⊂ J (et c̃ = c sur J).

55
5. Champs de vecteurs 56 Cours 12 : jeudi 11/04/13

(2) L’intervalle Jx dépend de x, et peut être fini même lorsque U = Rn : sur R, le champ de
x
vecteurs X(x) = x2 a pour trajectoire cx (t) = 1−xt , définie sur R si x = 0, sur ] − ∞, x−1 [
si x > 0 et sur ]x−1 , +∞[ si x < 0.

Essentiellement on peut prolonger une courbe intégrale tant qu’elle reste dans U :

Lemme 5.4. Soit x ∈ U , supposons que Jx = (α, β) avec β < ∞. Alors pour tout compact
K ⊂ U , il existe tK ∈ (α, β) tel que cx (t) ∈
/ K pour tout t ∈ [tK , β).

Preuve: Par contradiction. Soit K ⊂ U compact et tn → β tel que xn = cx (tn ) ∈ K. Par

compacité de K et quitte à extraire on peut supposer que cx (tn )→ x∞ ∈ K lorsque n→ ∞. Soit
] − ε, ε[×V ⊂ Ω un ouvert contenant (0, x∞ ). Alors cxn est défini sur ] − ε, ε[ dès que xn ∈ V .
En posant 
cx (t) , t ∈ Jx
c̃x (t) =
cxn (t − tn ) , tn − ε < t < tn + ε
on obtient une trajectoire de x issue de x qui prolonge cx au delà de β, d’où la contradiction.

On a un résultat semblable si −∞ < α.

Corollaire 5.5. Soit X un champ de vecteur à support compact ( il existe K ⊂ U compact tel
que X = 0 sur Rn − K). Alors Jx = R pour tout x ∈ Rn .

Preuve: Exercice.

On a utilisé le fait que si t 7→ c(t) est une trajectoire, pour tout réél a ∈ R il en est de même
pour t 7→ c(t + a). L’unicité conduit à l’égalité

cx (t + a) = ccx (a) (t).

Posons, pour (t, x) ∈ Ω,

φ(t, x) = φt (x) = cx (t).
En particulier φ0 = id est défini sur U , mais pas nécessairement les φt . L’égalité ci-dessus se
traduit par
φt+s (x) = φt (φs (x)) = φs (φt (x))
au sens que si l’un des termes est défini, les autres aussi et on a égalité.

Définition 5.6. L’application φ : Ω→ U s’appelle le flot ou la coulée du champ de vecteurs

X.

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

5. Champs de vecteurs 57 Cours 12 : jeudi 11/04/13

Chaque φt est un difféomorphisme de {x ∈ U | t ∈ Jx } sur son image, d’inverse φ−t . Observons

qu’en dérivant le flot t 7→ φt (x), on retrouve le vecteur Xφt (x) .

5.2 Champ de vecteurs sur des sous-variétés

Définition 5.7. Soit M d une sous variété de dimension d de Rn , de classe C k , k ≥ 1. On

appelle champ de vecteurs sur M de classe C p une application X : M → Rn telle que pour
tout p ∈ M , Xp ∈ Tp M et si f : U ⊂ Rd → M est une paramétrisation de M au voisinage de p
alors X ◦ f est de classe C p .

Une courbe intégrale de X est alors une courbe de M . Le théorème 5.2 est vrai dans ce cadre.
De plus l’équivalent du corollaire 5.5 implique :

Théorème 5.8. Soit X un champ de vecteurs sur une sous-variété compacte M , alors le flot
de X est défini sur R × M . En particulier φt est pour tout t un difféomorphisme de M .

Théorème 5.9. Soit M d une sous-variété compacte de Rn . Soit h : M → R une fonction lisse.
Pour tout réel a on pose Ma = {x ∈ M | h(x) ≤ a}. Si a < b et h−1 ([a, b]) ne contient pas de
point critique, il existe un difféomorphisme de Ma sur Mb .

Précisons la notion de point critique. D’abord par définition h est lisse si h ◦ f est lisse pour
toute paramétrisation locale de M . Etant donné p ∈ M et X ∈ Tp M , soit c(t) une courbe de M
telle que c(0) = p, c0 (0) = X, alors
d
dp h.X = h ◦ c(t)
dt |t=0

ne dépend pas de c. En fait dp h = dx (h ◦ f )(dx f )−1 si f (x) = p, c’est donc une application
linéaire de Tp M dans R. On dit que p un point critique de h si dp h = 0, i.e. dp h.X = 0 pour
tout X ∈ Tp M . Si h est la restriction à M d’une application H définie sur un ouvert O de Rn
contenant M , cela revient à dire que Tp M ⊂ ker dp H.

Preuve: Supposons donc que h n’a pas de point critique sur h−1 ([a, b]). Définissons un champ
de vecteur ∇h sur M par la relation

∀p ∈ M, ∀X ∈ Tp M, h∇p h, Xi = dp h.X

Si h est la restriction de H, c’est simplement la projection du gradient ∇H sur Tp M . L’hypothèse

que h−1 ([a, b]) n’a pas de point critique dit que ∇h ne s’annulle pas sur h−1 ([a, b]). Comme
l’ensemble des zéros de ∇h est un fermé, il existe un ouvert U de M contenant h−1 ([a, b]) sur

Notes du cours N1MA6011, 2012-2013 Laurent Bessières

5. Champs de vecteurs 58 Cours 12 : jeudi 11/04/13

lequel ∇h ne s’annule pas. Soit g une fonction plateau sur M , égale à 1 sur h−1 ([a, b]) et nulle
sur le complémentaire de U . On définit alors, pour tout m ∈ M ,

g(m)
Xm = ∇m h.
h∇m h, ∇m hi

Si φt est le flot de X, on a

d h∇φt (m) h, ∇φt (m) hi

h(φt (m)) = dφt (m) h.Xφt (m) = = g(φt (m)) ≥ 0
dt h∇φt (m) h, g(m)∇φt (m) hi

et
d
h(φt (m)) = 1, si φt (m) ∈ h−1 ([a, b]).
dt
On en déduit que φb−a (Ma ) ⊂ Mb et φa−b (Mb ) ⊂ Ma puis l’égalité φb−a (Ma ) = Mb .

Notes du cours N1MA6011, 2012-2013 Laurent Bessières