Théorème du rang

Pour des -espaces vectoriels et . Si est de dimension finie, alors est de dimension finie et on a

05.8 Critère de bijectivité