Application linéaire/Rang
E, F et G sont des K-espaces vectoriels de dimension quelconque (finie ou infinie), sauf dans le dernier théorème.
Isomorphisme fondamental
modifierThéorème
Soit . Un sous-espace vectoriel de est supplémentaire de si et seulement si la restriction de , de dans , est un isomorphisme.
Démonstration
Notons la restriction de .
- , donc est injective si et seulement si .
- est surjective si et seulement si , c'est-à-dire : , ou encore , ce qui équivaut à .
Rang d'une application linéaire
modifierDéfinition
modifier
Théorème du rang
modifierLe théorème du rang est un théorème-clé de la manipulation des applications linéaires. Il est indispensable de le connaître parfaitement. |
Démonstration
D'après l'« isomorphisme fondamental » (voir supra), la dimension de tout supplémentaire G de dans E est égale à . À l'aide du théorème sur la dimension d'une somme directe, on en déduit que .
Remarque
Pour toute application linéaire (ou avec et ), on a donc :
- si , n'est pas surjective (car ) ;
- si , n'est pas injective (car ).
Caractérisations de la bijectivité
modifier
- Remarque
- Les hypothèses de ce théorème sont vérifiées en particulier si et .