< Matrice
fin de la boite de navigation du chapitre

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

Théorème

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.

Fin du théorème
Définition

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 :

Corollaire

L'application est un isomorphisme d'espaces vectoriels.

Exemples

Exemple 1

Soient :

  • , ;
  • B et C les bases canoniques ;
  • .

Alors, pour

,

donc est linéaire et .

Fin de l'exemple
Exemple 2

Soient :

  • (de dimension ) ;
  • ;
  • (dont on sait qu'elle est linéaire).

Pour tout , donc la matrice de dans la base B est :

.
Fin de l'exemple

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 :

Proposition

Soient et deux applications linéaires. Alors,

.

On en déduit, comme annoncé au chapitre 4 :

Corollaire

Le produit matriciel est associatif.

Cet article est issu de Wikiversity. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.