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 :
Si et sont de dimensions respectives finies, il en résulte que aussi et que
Références , proposition 6.9, . Serge Lang, Algebra, 1965 , , exercice 6.
Article connexe Deuxième théorème d'isomorphisme
Catégorie:Dimension Grassmann