Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Géométrie différentielle, MAT8131

Exposé 5

Vestislav Apostolov

UQAM, Cours en ligne, Session A-2020

Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Rappels : L’algèbre de Lie X (M)

M est une variété lisse et

X (M) = {X | champ de vecteurs lisse}
= {X : C ∞ (M) −−−−−→ C ∞ (M) | X (fg) = fX (g) + gX (f )}.
R-linéaire

Définition (Le crochet de Lie)

Soit X , Y : C ∞ (M) → C ∞ (M) deux champs de vecteurs lisses.
Alors l’application

(X ◦ Y − Y ◦ X ) : C ∞ (M) → C ∞ (M)

définie un champs de vecteurs lisse, notée [X , Y ], que l’on appèle

le crochet de Lie de X et Y .
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Rappels: Le crochet de Lie dans une carte

Dans une carte (U, ϕ):

n
∂
X  
X= bi (x ) ,
i=1
∂xi
n
!
X ∂
Y = cj (x ) ,
j=1
∂xj
n 
∂cj ∂bj ∂
X      
[X , Y ] = bi (x ) (x ) − ci (x ) (x ) .
i,j=1
∂xi ∂xi ∂xi
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Rappels: Le crochet de Lie–propriétés

Exercice 2
Vérifier les propriétés suivantes du crochet de Lie:
• [λX + µY , Z ] = λ[X , Z [+µ[Y , Z ] ∀λ, µ ∈ R;
• [X , Y ] = −[Y , X ]
• [[X , Y ], Z ] + [[Z , X ], Y ] + [[Y , Z ], X ] = 0 (idéntité de
Jacobi).

Définition (Algèbre de Lie)

Un espace vectoriel V muni d’une application bilinéaire
[·, ·] : V × V → V qui vérifie les trois propriétés précédentes
s’appelle une algèbre de Lie.
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Rappels: L’action de difféomorphismes

Définition
Soit F : M → M un difféomorphisme et Y ∈ X (M).

Y
e
F (x ) := (Dx F )(Yx )

e = F · Y ∈ X (M)).
s’appèle la transformation de Y par F (Y

Proposition
Si F ∈ Diff (M) alors

F · (X + Y ) = F · X + F · Y , F · ([X , Y ]) = [F · X , F · Y ].
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Rappels: L’action de difféomorphismes

Définition
Soit F : M → M un difféomorphisme et Y ∈ X (M).

Y
e
F (x ) := (Dx F )(Yx )

e = F · Y ∈ X (M)).
s’appèle la transformation de Y par F (Y

Proposition
Si F ∈ Diff (M) alors

F · (X + Y ) = F · X + F · Y , F · ([X , Y ]) = [F · X , F · Y ].

Corollary (Idéntité de Jacobi)

[X , [Y , Z ]] = [[X , Y ], Z ] + [Y , [X , Z ]]
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Rappels: Le crochet de Lie comme une dérivée de Lie

Définition (La dérivée de Lie)

Soit ϕt : M → M le sous-groupe d’un paramètre (local) de
difféomorphismes correspondant à X ∈ X (M) et Y ∈ X (M) un
et := ϕt · Y .
champs de vecteurs lisse. Posons Y
!
d e
  et − Y
Y
LX (Y ) := − Yt = − lim ∈ X (M)
dt t=0 t→0 t

s’appèle la dérivée de Lie de Y le longue de X .

Théorème 5 (voir Exposé 4)

LX (Y ) = [X , Y ].
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Preuve du Corollaire modulo la Proposition.

Soit ϕt le sous-group d’un paramètre (local) de difféomorphismes
correspondant à X .
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Preuve du Corollaire modulo la Proposition.

Soit ϕt le sous-group d’un paramètre (local) de difféomorphismes
correspondant à X .
Nous allons utiliser le Théorème 5:
d
[X , Y ] = LX (Y ) := − (ϕt · Y )t=0 .
dt
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Preuve du Corollaire modulo la Proposition.

Soit ϕt le sous-group d’un paramètre (local) de difféomorphismes
correspondant à X .
Nous allons utiliser le Théorème 5:
d
[X , Y ] = LX (Y ) := − (ϕt · Y )t=0 .
dt
D’après la Proposition:

ϕt · [Y , Z ] = [ϕt · Y , ϕt · Z ]
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Preuve du Corollaire modulo la Proposition.

Soit ϕt le sous-group d’un paramètre (local) de difféomorphismes
correspondant à X .
Nous allons utiliser le Théorème 5:
d
[X , Y ] = LX (Y ) := − (ϕt · Y )t=0 .
dt
D’après la Proposition:

ϕt · [Y , Z ] = [ϕt · Y , ϕt · Z ]

Prenant la dérivée en t = 0 donne le Corollaire.

Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Preuve de la Proposition

Soit ϕt le sous-group d’un paramètre de difféomorphismes (locals)

correspondant à X et F un difféomorphisme de M.
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Preuve de la Proposition

Soit ϕt le sous-group d’un paramètre de difféomorphismes (locals)

correspondant à X et F un difféomorphisme de M.
Lemma
ϕ̃t := F ◦ ϕt ◦ F −1 est un sous-groupe d’un paramètre de
difféomorphismes qui correspond au champ de vecteurs X e =F ·X
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Preuve de la Proposition

Soit ϕt le sous-group d’un paramètre de difféomorphismes (locals)

correspondant à X et F un difféomorphisme de M.
Lemma
ϕ̃t := F ◦ ϕt ◦ F −1 est un sous-groupe d’un paramètre de
difféomorphismes qui correspond au champ de vecteurs X e =F ·X

Preuve du lemme.
Nous avons
ϕ̃t ◦ ϕ̃s = ϕ̃t+s , ϕ̃0 = id.
De plus, la courbe ϕ̃t (F (a)) = F (ϕt (a)) représente le vecteur
tangent Xe
F (a) = (Da F )(Xa ).
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Preuve de la Proposition

Soit ϕt le sous-group d’un paramètre de difféomorphismes (locals)

correspondant à X et F un difféomorphisme de M.
!
et − Y
Y F ·Y
ft − F · Y
F· = .
t t
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Preuve de la Proposition

Soit ϕt le sous-group d’un paramètre de difféomorphismes (locales)

correspondant à X et F un difféomorphisme de M.

! !
et − Y
Y F ·Y
ft − F · Y
F · [X , Y ] = − lim F · = − lim .
t→0 t t→0 t
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Preuve de la Proposition

Soit ϕt le sous-group d’un paramètre de difféomorphismes (locales)

correspondant à X et F un difféomorphisme de M.

! !
et − Y
Y F ·Y
ft − F · Y
F · [X , Y ] = − lim F · = − lim .
t→0 t t→0 t

Soit ψs le sous-groupe d’un paramètre correspondant à Y :

Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Preuve de la Proposition

Soit ϕt le sous-group d’un paramètre de difféomorphismes (locales)

correspondant à X et F un difféomorphisme de M.

! !
et − Y
Y F ·Y
ft − F · Y
F · [X , Y ] = − lim F · = − lim .
t→0 t t→0 t

Soit ψs le sous-groupe d’un paramètre correspondant à Y :

⇒ s → ϕt ◦ ψs ◦ ϕ−1t le sous-groupe d’un paramètre correspondant
à Yt = ϕt · Y .
e
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Preuve de la Proposition

Soit ϕt le sous-group d’un paramètre de difféomorphismes (locales)

correspondant à X et F un difféomorphisme de M.

! !
et − Y
Y F ·Y
ft − F · Y
F · [X , Y ] = − lim F · = − lim .
t→0 t t→0 t

Soit ψs le sous-groupe d’un paramètre correspondant à Y :

⇒ s → F ◦ ϕt ◦ ψs ◦ ϕ−1 t ◦F
−1 le sous-groupe d’un paramètre

correspondant à F · Y
et .
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Preuve de la Proposition

Soit ϕt le sous-group d’un paramètre de difféomorphismes (locales)

correspondant à X et F un difféomorphisme de M.

! !
et − Y
Y F ·Y
ft − F · Y
F · [X , Y ] = − lim F · = − lim .
t→0 t t→0 t

Soit ψs le sous-groupe d’un paramètre correspondant à Y :

⇒ s → F ◦ ϕt ◦F −1 ◦ F ◦ ψs ◦ F −1 ◦ F ◦ ϕ−1
t ◦F
−1 le sous-groupe

d’un paramètre correspondant à F · Yet .

Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Preuve de la Proposition

Soit ϕt le sous-group d’un paramètre de difféomorphismes (locales)

correspondant à X et F un difféomorphisme de M.

! !
et − Y
Y F ·Y
ft − F · Y
F · [X , Y ] = − lim F · = − lim .
t→0 t t→0 t

⇒ F ·Y
et = ϕ̃t · (F · Y ) où ϕ̃t correspondant à F · X .
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Preuve de la Proposition

Soit ϕt le sous-group (local) d’un paramètre de difféomorphismes

correspondant à X et soit F un difféomorphisme de M.

! !
et − Y
Y F ·Y
ft − F · Y
F · [X , Y ] = − lim F · = − lim
t→0 t t→0 t
ϕ̃t · (F · Y ) − F · Y
 
= − lim = [F · X , F · Y ].
t→0 t
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Algèbre linéaire: produit tensoriel d’espaces vectoriels

Définition (Produit tensoriel)
Soient V , W espaces vectoriels réels de dimensions finies. Le
produit tensoriel V ⊗ W est un espace vectoriel de dimension
dim(V ) dim(W ) tel que
• si v ∈ V et w ∈ W , il existe un élement v ⊗ w ∈ V ⊗ W avec
les propriétés

(λv1 + µv2 ) ⊗ w = λv1 ⊗ w + µv2 ⊗ w ,

v ⊗ (λw1 + µw2 ) = λv ⊗ w1 + µv ⊗ w2 .

• V ⊗ W possède la propriété universelle: c-à-d. pour toute

application bi-linéaire B : V × W → U il existe unique
application
β :V ⊗W →U
avec la propriété B(v , w ) = β(v ⊗ w ).
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Algèbre linéaire: produit tensoriel d’espaces vectoriels

Proposition
Soient V , W espaces vectoriels réels de dimensions finies et notons
B := {B : V × W → R | B forme bilinéaire}. Alors l’espace dual B ∗
définie le produit tensoriel, i.e.

V ⊗ W ≡ B∗ .

Preuve de la Proposition.

(v ⊗ w )(B) := B(v , w ) ∈ R, (v ⊗ w ) ∈ B ∗ .
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Algèbre linéaire: produit tensoriel d’espaces vectoriels

Proposition
Soient V , W espaces vectoriels réels de dimensions finies et notons
B := {B : V × W → R | B forme bilinéaire}. Alors l’espace dual B ∗
définie le produit tensoriel, i.e.

V ⊗ W ≡ B∗ .

Preuve de la Proposition.

(v ⊗ w )(B) := B(v , w ) ∈ R, (v ⊗ w ) ∈ B ∗ .
Si B : V × W → U bi-linéaire et ξ ∈ U ∗ ⇒ ξ ◦ B ∈ B.
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Algèbre linéaire: produit tensoriel d’espaces vectoriels

Proposition
Soient V , W espaces vectoriels réels de dimensions finies et notons
B := {B : V × W → R | B forme bilinéaire}. Alors l’espace dual B ∗
définie le produit tensoriel, i.e.

V ⊗ W ≡ B∗ .

Preuve de la Proposition.

(v ⊗ w )(B) := B(v , w ) ∈ R, (v ⊗ w ) ∈ B ∗ .
Si B : V × W → U bi-linéaire et ξ ∈ U ∗ ⇒ ξ ◦ B ∈ B.

∃ FB : U ∗ −−−−−→ B, β := (FB )∗ : (V ⊗ W ) → (U ∗ )∗ ≡ U.
R-linéaire
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Algèbre linéaire: produit tensoriel d’espaces vectoriels

Corollary
Soient V , W espaces vectoriels réels de dimensions finies et soient
{v1 , . . . , vm } et {w1 , . . . , wn } bases. Alors

{vi ⊗ wj , i = 1, . . . , m; j = 1, . . . , n}

est une base de (V ⊗ W ) ≡ B ∗ .

Preuve du Corollaire.
Tout B ∈ B est déterminée par ses valeurs
B(vi , wj ) = (vi ⊗ wj )(B).
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Algèbre linéaire: produit tensoriel d’espaces vectoriels

Corollary
Soient V , W espaces vectoriels réels de dimensions finies et soient
{v1 , . . . , vm } et {w1 , . . . , wn } bases. Alors

{vi ⊗ wj , i = 1, . . . , m; j = 1, . . . , n}

est une base de (V ⊗ W ) ≡ B ∗ .

Preuve du Corollaire.
Tout B ∈ B est déterminée par ses valeurs
B(vi , wj ) = (vi ⊗ wj )(B).
Tout élément de V ⊗ W s’écrit
X
aij (vi ⊗ wj ).
i,j
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

L’algèbre tensorielle
Prenons V = W et notons

⊗k V := V |⊗ .{z
. . ⊗} V , ⊗0 V := R.
k−times
∞
M
k
T(V ) := ⊗ V.
k=0
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

L’algèbre tensorielle
Prenons V = W et notons

⊗k V := V |⊗ .{z
. . ⊗} V , ⊗0 V := R.
k−times
∞
M
k
T(V ) := ⊗ V.
k=0

Un élement de T(V ) est une somme finie

X X
λ1 + v0 + vi ⊗ vj + . . . + vi1 ⊗ · · · ⊗ vip ,
i,j i1 ,...,ip

et on peut multiplier tels éléments en utilisant

(vi1 ⊗ · · · ⊗ vip ) · (uj1 ⊗ · · · ⊗ ujq ) := vi1 ⊗ · · · ⊗ vip ⊗ uj1 ⊗ · · · ⊗ ujq .

Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

L’algèbre extérieure

⊗k V := V ⊗ ...⊗V,
| {z }
⊗0 V := R.
k−times
∞
M
T(V ) := ⊗k V ,
k=0
I(V ) = {l’idéal engéndé par v ⊗ v }.

Définition (L’algèbre extérieure)

L’espace vectoriel
^∗
(V ) := T(M)/I(V )

s’appèle l’algèbre extérieure de V .

Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

L’algèbre extérieure

∞
M
T(V ) := ⊗k V ,
k=0
I(V ) = {l’idéal engéndé par v ⊗ v },
^∗ ^
(V ) := T(V )/I(V ), π : T(V ) → (V )
^p
(V ) := π(⊗p V ).

Lemme 1 Vp Vq
Si α = π(a) ∈ (V ) et β = π(b) ∈ (V ), alors
p+q
^
α ∧ β := π(a ⊗ b) ∈ (V )

est bien définie et vérifie α ∧ β = (−1)pq β ∧ α.

Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

L’algèbre extérieure

Preuve du Lemme 1.
Puisque v ⊗ v ∈ I(V ), nous avons v ∧ v = 0 et donc
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

L’algèbre extérieure

Preuve du Lemme 1.
Puisque v ⊗ v ∈ I(V ), nous avons v ∧ v = 0 et donc

⇒0 = (v1 + v2 ) ∧ (v1 + v2 ) = 0 + v1 ∧ v2 + v2 ∧ v1 + 0.
⇒vσ(1) ∧ · · · ∧ vσ(k) = (−1)sign(σ) v1 ∧ · · · ∧ vk , σ ∈ Sk .
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

L’algèbre extérieure

Preuve du Lemme 1.
Puisque v ⊗ v ∈ I(V ), nous avons v ∧ v = 0 et donc

⇒0 = (v1 + v2 ) ∧ (v1 + v2 ) = 0 + v1 ∧ v2 + v2 ∧ v1 + 0.
⇒vσ(1) ∧ · · · ∧ vσ(k) = (−1)sign(σ) v1 ∧ · · · ∧ vk , σ ∈ Sk .

α s’écrit comme une combinaison linéaire des termes v1 ∧ · · · ∧ vp

et β des termes w1 ∧ · · · ∧ wq et nous avons

(v1 ∧· · ·∧vp )∧(w1 ∧· · ·∧wq ) = (−1)pq (w1 ∧· · ·∧wq )∧(v1 ∧· · ·∧vp ).

Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

L’algèbre extérieure
Lemme 2 Vn
Si dim(V ) = n alors dim ( V ) = 1.
Preuve du Lemme 2.
Soit e = {e1 , . . . , en } une base de V .
n
X
Me (v1 , . . . , vn ) := det(vij ), vi = vji ej
j=1

est une forme multilinéaire Me : V × · · · × V → R non-nulle

(Me (e1 , . . . , en ) = 1) qui vérifie Me (. . . , v , v , . . .) = 0.
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

L’algèbre extérieure
Lemme 2 Vn
Si dim(V ) = n alors dim ( V ) = 1.
Preuve du Lemme 2.
Soit e = {e1 , . . . , en } une base de V .
n
X
Me (v1 , . . . , vn ) := det(vij ), vi = vji ej
j=1

est une forme multilinéaire Me : V × · · · × V → R non-nulle

(Me (e1 , . . . , en ) = 1) qui vérifie Me (. . . , v , v , . . .) = 0.
n
!∗ n
!
^ ^
0 6= Me ∈ (V ) ⇒ dim (V ) ≥ 1.
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

L’algèbre extérieure
Lemme 2 Vn
Si dim(V ) = n alors dim ( V ) = 1.
Preuve du Lemme 2.
Soit e = {e1 , . . . , en } une base de V .
n
X
Me (v1 , . . . , vn ) := det(vij ), vi = vji ej
j=1

est une forme multilinéaire Me : V × · · · × V → R non-nulle

(Me (e1 , . . . , en ) = 1) qui vérifie Me (. . . , v , v , . . .) = 0.
n
!∗ n
!
^ ^
0 6= Me ∈ (V ) ⇒ dim (V ) ≥ 1.

ei1 ∧ · · · ∧ ein = π(ei1 ⊗ · · · ⊗ ein ) = λ(e1 ∧ · · · ∧ en )

Vn
⇒ dim ( (V )) ≤ 1.
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

L’algèbre extérieure
Lemme 3
Si {e1 , . . . , en } est une base de V , alors
{ei1 ∧ · · · ∧ eip , i1 < i2 < · · · < ip } est une base de p (V ) et donc
V

dim ( p (V )) = pn .
V

Preuve du Lemme 3.
Par permutations et changements de signes (voire Lemme 1) nous
avons que {ei1 ∧ · · · ∧ eip , i1 < i2 < · · · < ip } engendrent p (V ).
V
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

L’algèbre extérieure
Lemme 3
Si {e1 , . . . , en } est une base de V , alors
{ei1 ∧ · · · ∧ eip , i1 < i2 < · · · < ip } est une base de p (V ) et donc
V

dim ( p (V )) = pn .
V

Preuve du Lemme 3.
Par permutations et changements de signes (voire Lemme 1) nous
avons que {ei1 ∧ · · · ∧ eip , i1 < i2 < · · · < ip } engendrent p (V ).
V

Supposons
X X
ai1 ...ip ei1 ∧ · · · ∧ eip = aI eI = 0,
I

où {i1 , . . . , ip } = I ⊂ {1, . . . , n}.

Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

L’algèbre extérieure
Lemme 3
Si {e1 , . . . , en } est une base de V , alors
{ei1 ∧ · · · ∧ eip , i1 < i2 < · · · < ip } est une base de p (V ) et donc
V

dim ( p (V )) = pn .
V

Preuve du Lemme 3.
Par permutations et changements de signes (voire Lemme 1) nous
avons que {ei1 ∧ · · · ∧ eip , i1 < i2 < · · · < ip } engendrent p (V ).
V

Supposons
X X
ai1 ...ip ei1 ∧ · · · ∧ eip = aI eI = 0,
I

où {i1 , . . . , ip } = I ⊂ {1, . . . , n}. Soit J un ensemble de

(n − p)-éléments. Si I ∩ J 6= 0 alors eI ∧ eJ = 0 (par Lemme 1);
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

L’algèbre extérieure
Lemme 3
Si {e1 , . . . , en } est une base de V , alors
{ei1 ∧ · · · ∧ eip , i1 < i2 < · · · < ip } est une base de p (V ) et donc
V

dim ( p (V )) = pn .
V

Preuve du Lemme 3.
Par permutations et changements de signes (voire Lemme 1) nous
avons que {ei1 ∧ · · · ∧ eip , i1 < i2 < · · · < ip } engendrent p (V ).
V

Supposons
X X
ai1 ...ip ei1 ∧ · · · ∧ eip = aI eI = 0,
I

où {i1 , . . . , ip } = I ⊂ {1, . . . , n}. Soit J un ensemble de

(n − p)-éléments. Si I ∩ J 6= 0 alors eI ∧ eJ = 0 (par Lemme 1);
Si I ∩ J = 0 alors eI ∧ eJ 6= 0 (par Lemme 2)
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

L’algèbre extérieure
Lemme 3
Si {e1 , . . . , en } est une base de V , alors
{ei1 ∧ · · · ∧ eip , i1 < i2 < · · · < ip } est une base de p (V ) et donc
V

dim ( p (V )) = pn .
V

Preuve du Lemme 3.
Par permutations et changements de signes (voire Lemme 1) nous
avons que {ei1 ∧ · · · ∧ eip , i1 < i2 < · · · < ip } engendrent p (V ).
V

Supposons
X X
ai1 ...ip ei1 ∧ · · · ∧ eip = aI eI = 0,
I

où {i1 , . . . , ip } = I ⊂ {1, . . . , n}. Soit J un ensemble de

(n − p)-éléments. Si I ∩ J 6= 0 alors eI ∧ eJ = 0 (par Lemme 1);
Si I ∩ J = 0 alors eI ∧ eJ 6= 0 (par Lemme 2)
Multipliant par ∧eJ ou J = {1, . . . , n} \ I nous avons aI = 0.
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

L’algèbre extérieure
Lemme 4
Si A : V → W est une application linéaire, alors il existe unique
application linéaire (∧p A) : p (V ) → p (W ), satisfaisant
V V

(∧p A)(v1 ∧ · · · ∧ vp ) = A(v1 ) ∧ · · · ∧ A(vp ).

Preuve du Lemme 4.
L’unicité est une consequence du Lemme 3 (puisque ∧p A est
définie par sa proprtiété sur une base de p (V )).
V
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

L’algèbre extérieure
Lemme 4
Si A : V → W est une application linéaire, alors il existe unique
application linéaire (∧p A) : p (V ) → p (W ), satisfaisant
V V

(∧p A)(v1 ∧ · · · ∧ vp ) = A(v1 ) ∧ · · · ∧ A(vp ).

Preuve du Lemme 4.
L’unicité est une consequence du Lemme 3 (puisque ∧p A est
définie par sa proprtiété sur une base de p (V )).
V

(Ã)(v1 , . . . , vp ) = A(v1 ) ⊗ · · · ⊗ A(vp )

définie une application multi-linéaire qui, par la propriété

universelle, définie unique application linéaire

(⊗p A) : ⊗p (V ) → ⊗p (W ), (⊗p A) : I(V ) → I(W ).

Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

L’algèbre extérieure
Lemme 5
Si A : V → V est une application linéaire, et n = dim(V ), alors
(∧n A) : n (V ) → n (V ), est donnée par det(A).
V V

Preuve du Lemme 5. P
Dans une base A(ei ) = j Aji ej .
X
(∧n A)(e1 ∧ · · · ∧ en ) = Aj1 1 ej1 ∧ Aj2 2 ej2 ∧ · · · ∧ Ajn n ejn
X
= Aσ(1)1 eσ(1) ∧ Aσ(2)2 eσ(2) ∧ · · · ∧ Aσ(n)n eσ(n)
σ∈Sn
X  
= Aσ(1)1 · · · Aσ(n)n (eσ(1) ∧ · · · ∧ eσ(n) )
σ∈Sn
 
X
= (−1)sign(σ) Aσ(1)1 · · · Aσ(n)n  (e1 ∧ · · · ∧ en ).
σ∈Sn
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Formes différentielles
^p [ ^p
T ∗ M := (Tx∗ (M))
x ∈M
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Formes différentielles
^p [ ^p
T ∗ M := (Tx∗ (M))
x ∈M
n

Nous allons introduire une structure de fibré vectoriel de rang p
sur p T ∗ M à partir d’un atlas sur M:
V
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Formes différentielles
^p [ ^p
T ∗ M := (Tx∗ (M))
x ∈M

Nous allons introduire une structure de fibré vectoriel de rang pn

sur p T ∗ M à partir d’un atlas sur M: si (U, ϕ) est une carte sur
V

M, alors {dxi1 ∧ · · · ∧ dxip } est une base de p (Tx∗ (M)) pour tout
V

x ∈ U et on définie
[ ^p n
ψU : (Tx∗ (M)) → U × R(p) .
x ∈U
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Formes différentielles
^p [ ^p
T ∗ M := (Tx∗ (M))
x ∈M

Nous allons introduire une structure de fibré vectoriel de rang pn

sur p T ∗ M à partir d’un atlas sur M: si (U, ϕ) est une carte sur
V

M, alors {dxi1 ∧ · · · ∧ dxip } est une base de p (Tx∗ (M)) pour tout
V

x ∈ U et on définie
[ ^p n
ψU : (Tx∗ (M)) → U × R(p) .
x ∈U

Pour p = 1

ψU ◦ ψV−1 (x , a1 , . . . , an ) = (x , b1 , . . . , bn )
(b1 , . . . , bn ) = (a1 , . . . , an )JUV (x ), JUV (x ) = Jac(ϕV ◦ ϕ−1
U )(ϕU (x )).
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Formes différentielles
^p [ ^p
T ∗ M := (Tx∗ (M))
x ∈M

Nous allons introduire une structure de fibré vectoriel de rang pn

sur p T ∗ M à partir d’un atlas sur M: si (U, ϕ) est une carte sur
V

M, alors {dxi1 ∧ · · · ∧ dxip } est une base de p (Tx∗ (M)) pour tout
V

x ∈ U et on définie
[ ^p n
ψU : (Tx∗ (M)) → U × R(p) .
x ∈U

En général

ψU ◦ ψV−1 (x , a) = (x , b)
 
b = gUV (x )a, gUV (x ) = ∧p JT
UV (x ) .
Le fibré tangent et champs de vecteurs lisses Fibré cotangent et formes différentielles

Formes différentielles
^p [ ^p
T ∗ M := (Tx∗ (M))
x ∈M

Définition (Formes différentielles)

Le fibré vectoriel p T ∗ M s’appelle le fibré des p-formes de M.
V

Une section de p T ∗ M s’appelle une p-forme différentielle sur

V

M. L’ensemble des p-formes différentielles est un espace vectoriel

de dimension infinie qui est noté par

Ωp (M) := {p − formes differentielles}

En particulier:

Ω0 (M) = C ∞ (M)
Ω1 (M) = {sections de T ∗ M}