FORMULE DE GRASSMANN
F et G sont des sous-espaces vectoriels de dimensions finies d'un espace vectoriel E.
On considère les applications linéaires suivantes :
ϕ : F × G→ E ψ:F∩G →F×G
(ƒ, g) ƒ+g ƒ (ƒ, −ƒ)
1. Démontrer que Ker ϕ ≅ F ∩ G.
2. En déduire une démonstration de la relation :
dim(F + G) = dim F + dim G − dim(F ∩ G)
1. Ker ϕ = {(ƒ, g) ∈ E × F tels que ƒ + g = 0} = Im ψ
De plus ψ est injective, donc induit un isomorphisme sur son image. Donc Ker ϕ ≅ F ∩ G.
2. En outre, Im ϕ = F + G.
Appliquons le théorème du rang à ϕ, il vient :
dim(F × G) = dim Ker ϕ + dim Im ϕ = dim(F ∩ G) + dim(F + G).
Et comme dim(F × G) = dim F + dim G, on obtient la formule de Grassmann :
dim(F + G) = dim F + dim G − dim(F ∩ G)
Remarque : autre démonstration
On sait que F ∩ G admet au moins un supplémentaire dans F.
Soit F' un supplémentaire de F ∩ G dans F : F = F' ⊕ (F ∩ G)
On a, par conséquent : dim F' = dim F − dim(F ∩ G) (1)
Montrons que : F + G = F' ⊕ G Idée de la démonstration :
D'une part, comme F ∩ G ⊂ G : F + G = F' + (F ∩ G) + G = F' + G Considérer un supplémentaire
F '⊂ F F = F '⊕ ( F ∩ G ) F' de F ∩ G dans F.
D'autre part : F' ∩ G = F' ∩ F ∩ G = {0} Puis vérifier que F' est de
On a donc bien : F + G = F' ⊕ G dimension "convenable"
On en déduit : dim F' = dim(F + G) − dim G (2)
En combinant (1) et (2), on obtient :
dim(F + G) = dim F + dim G − dim(F ∩ G)
Formule de Grassmann Page 1 G. COSTANTINI