Formule de Grassmann

En mathématiques, plus précisément en algèbre linéaire, la formule de Grassmann exprime la dimension de la somme de deux sous-espaces vectoriels d'un même espace vectoriel. Plus précisément : Modèle:Théorème Si Modèle:Math et Modèle:Math sont de dimensions respectives finies, il en résulte que Modèle:Math aussi et que

$\dim (F+G)=\dim (F)+\dim (G)-\dim (F\cap G).$

Références

• Modèle:Artin1, proposition 6.9, Modèle:P..
• Modèle:En Serge Lang, Algebra, 1965 Modèle:Détail des éditions, Modèle:P., exercice 6.

Article connexe

Deuxième théorème d'isomorphisme Modèle:Portail