Propriétés du produit extérieur et du produit intérieur
Produit extérieur de formes différentielles
Antisymétrie
Soient ω ∈ Λk V ∗ et η ∈ Λl V ∗ . Alors :
ω ∧ η = (−1)kl η ∧ ω
Démonstration : Le produit extérieur est basé sur l’antisymétrisation du produit tensoriel. Échanger k
vecteurs avec l autres induit kl inversions, donc un facteur (−1)kl .
Associativité
Le produit extérieur est associatif :
(ω ∧ η) ∧ θ = ω ∧ (η ∧ θ)
Démonstration : Le produit extérieur ω ∧ η est défini comme l’antisymétrisation du produit tensoriel :
1
ω∧η = Alt(ω ⊗ η)
k!l!
L’opérateur Alt (antisymétrisation) agit sur ω ⊗ η ⊗ θ de la même façon quel que soit l’ordre de regroupement,
car le produit tensoriel est associatif :
(ω ⊗ η) ⊗ θ = ω ⊗ (η ⊗ θ)
L’antisymétrisation d’une telle expression donne donc le même résultat, ce qui prouve l’associativité :
(ω ∧ η) ∧ θ = ω ∧ (η ∧ θ)
Produit intérieur (contraction)
Soit ιξ le produit intérieur par ξ ∈ V . Pour une p-forme ω, ιξ ω est une (p − 1)-forme définie par :
(ιξ ω)(v1 , . . . , vp−1 ) = ω(ξ, v1 , . . . , vp−1 )
Règle de Leibniz graduée
Lemme : Soient α ∈ Λp V ∗ , β ∈ Λq V ∗ et ξ ∈ V , alors :
ιξ (α ∧ β) = (ιξ α) ∧ β + (−1)p α ∧ (ιξ β)
Preuve : Évaluons le membre de gauche sur v1 , . . . , vp+q−1 ∈ V :
ιξ (α ∧ β)(v1 , . . . , vp+q−1 ) = (α ∧ β)(ξ, v1 , . . . , vp+q−1 )
Développons α ∧ β selon sa définition :
X
(α ∧ β)(ξ, v1 , . . . , vp+q−1 ) = sgn(σ)α(wσ(1) , . . . , wσ(p) )β(wσ(p+1) , . . . , wσ(p+q) )
σ∈Sp+q
avec w1 = ξ, w2 = v1 , . . . , wp+q = vp+q−1 .
La somme se divise en deux cas :
– lorsque ξ est dans les p premières positions (α), on obtient (ιξ α) ∧ β,
– lorsque ξ est dans les q dernières positions (β), on doit permuter ξ après p variables, ce qui donne un
facteur (−1)p , d’où (−1)p α ∧ (ιξ β).
Cela montre que :
ιξ (α ∧ β) = (ιξ α) ∧ β + (−1)p α ∧ (ιξ β)
Exemples concrets sur R3
Exemple 1 : Produit extérieur
ω = dx, η = dyω ∧ η = dx ∧ dy = −dy ∧ dx
Exemple 2 : Produit intérieur Soit ξ = ∂x , et ω = dx ∧ dy. Alors :
ι∂x (dx ∧ dy) = (ι∂x dx) ∧ dy + (−1)1 dx ∧ (ι∂x dy) = 1 · dy + (−1)1 dx ∧ 0 = dy
Dérivée extérieure et identité de Cartan
Définition : La dérivée extérieure d est une application d : Λp V ∗ → Λp+1 V ∗ qui satisfait :
– d(f ) = df si f est une fonction,
– d(ω ∧ η) = dω ∧ η + (−1)p ω ∧ dη
– d◦d=0
Identité de Cartan : Pour un champ de vecteurs X, une p-forme ω, on a :
LX ω = d(ιX ω) + ιX (dω)
C’est l’identité fondamentale reliant la dérivée de Lie, la dérivée extérieure et la contraction intérieure.
Démonstration : la dérivée de Lie respecte la règle de Leibniz
Soient α ∈ Λp V ∗ et β ∈ Λq V ∗ , et X ∈ V un champ de vecteurs.
La dérivée de Lie LX est définie par l’identité de Cartan :
LX = d ◦ ιX + ιX ◦ d,
où d est la dérivée extérieure et ιX la contraction intérieure.
Propriété à montrer :
LX (α ∧ β) = LX α ∧ β + α ∧ LX β.
Preuve :
On calcule d’abord LX (α ∧ β) en utilisant l’identité de Cartan :
LX (α ∧ β) = dιX (α ∧ β) + ιX d(α ∧ β).
Utilisons les règles de Leibniz graduées pour ιX (degré −1) et d (degré +1) :
ιX (α ∧ β) = (ιX α) ∧ β + (−1)p α ∧ (ιX β),
d(α ∧ β) = dα ∧ β + (−1)p α ∧ dβ.
Ainsi,
LX (α ∧ β) = d ((ιX α) ∧ β + (−1)p α ∧ (ιX β)) + ιX (dα ∧ β + (−1)p α ∧ dβ)
= d(ιX α) ∧ β + (−1)p−1 (ιX α) ∧ dβ + (−1)p dα ∧ (ιX β) + α ∧ d(ιX β)
+ ιX (dα) ∧ β + (−1)p dα ∧ ιX β + (−1)p ιX α ∧ dβ + α ∧ ιX (dβ).
En regroupant les termes, on reconnaı̂t :
LX (α ∧ β) = dιX α + ιX dα ∧ β + α ∧ dιX β + ιX dβ
= LX α ∧ β + α ∧ LX β,
ce qui conclut la preuve.