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
![](../../I/Dobry_Artykul-MK.svg.png.webp)
Une 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 .
![](../../I/Emblem-equal-defined.svg.png.webp)
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 :
![](../../I/Emblem-important-blue.svg.png.webp)
L'application est un isomorphisme d'espaces vectoriels.
Exemples
![](../../I/Oxygen480-apps-preferences-desktop-icons.svg.png.webp)
Soient :
- , ;
- B et C les bases canoniques ;
- .
Alors, pour
donc est linéaire et .
![](../../I/Oxygen480-apps-preferences-desktop-icons.svg.png.webp)
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
La matrice de la composée de deux applications linéaires est égale au produit des matrices de ces deux applications linéaires :
![](../../I/Emblem-important-blue.svg.png.webp)
Soient et deux applications linéaires. Alors,
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 :
![](../../I/Emblem-important-blue.svg.png.webp)
Le produit matriciel est associatif.
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 à .