Matrice/Matrice d'une application linéaire
Dans ce chapitre, E, F et G désignent des espaces vectoriels de dimensions finies sur un corps commutatif K, munis chacun d'une base :
- une base de ;
- une base de ;
- une base de .
Définition
modifierUne application est linéaire si et seulement s'il existe une matrice telle que pour tout vecteur de :
si désigne la matrice colonne des coordonnées de dans la base B et celle des coordonnées de dans la base C, alors
De plus, cette matrice est alors unique : pour tout , sa -ème colonne est constituée des coordonnées de dans la base C.
Soit s'écrivant matriciellement comme ci-dessus pour une certaine matrice . Alors, est clairement linéaire et pour tout , la -ème colonne de est constituée des coordonnées de dans la base C.
Réciproquement, soit linéaire et soit la matrice définie par : pour tout , la -ème colonne de est constituée des coordonnées de dans la base C.
Si désigne la matrice colonne des coordonnées d'un vecteur dans la base B et celle des coordonnées de dans la base C, on a :
Ainsi, pour tout , donc .
Si est linéaire alors la matrice ci-dessus est appelée la matrice de dans les bases B, C et notée .
Si et , on l'appelle la matrice de dans la base B.
On déduit immédiatement du théorème :
Exemples
modifier
Soient :
- (de dimension ) ;
- ;
- (dont on sait qu'elle est linéaire).
Pour tout , donc la matrice de dans la base B est :
Matrice de la composée de deux applications linéaires
modifierLa matrice de la composée de deux applications linéaires est égale au produit des matrices de ces deux applications linéaires :
Pour tout , la -ème colonne de est constituée des coordonnées dans D de , c'est-à-dire du produit (à gauche) par de la matrice colonne des coordonnées dans C de . Or cette matrice colonne est la -ème colonne de . Par définition du produit matriciel, coïncide donc, colonne par colonne, avec le produit .
On en déduit, comme annoncé au chapitre 4 :
Soient , et . Notons , et les applications linéaires de matrices respectives , et dans les bases canoniques. D'après la proposition précédente, la matrice de dans les bases canoniques est égale à la fois à et à .