Formule de Grassmann

Carte Commune · n° 320191

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 F et G sont de dimensions respectives finies, il en résulte que F + G aussi et que dim ⁡ ( F + G ) = dim ⁡ ( F ) + dim ⁡ ( G ) − dim ⁡ ( F ∩ G ) . {\displaystyle \dim(F+G)=\dim(F)+\dim(G)-\dim(F\cap G).}