Théorème 5Algèbre linéaire
Théorème du rang
Soit de dimension finie et . Alors est de dimension finie, appelée le rang de , et En particulier, si est finie, est injective si et seulement si elle est surjective. Pour deux sous-espaces et d'un espace de dimension finie, .
Démonstration
Soit une base de , complétée en une base de (Dimension). Les vecteurs engendrent , puisque pour .
Ils sont libres : si , alors s'écrit , et la liberté de la base donne . Donc .
Si , l'injectivité équivaut à , donc à , donc à (Dimension).
Pour la formule de Grassmann, on applique le théorème à , . Son image est , son noyau est isomorphe à , et , une base étant formée des et des .
□En dimension infinie, l'équivalence entre injectivité et surjectivité tombe. Sur , le décalage est injectif sans être surjectif.