Proposition 4Algèbre linéaire
Matrices d'une application linéaire
Une matrice à lignes et colonnes est une famille de scalaires indexée par ; leur ensemble est un espace vectoriel. Le produit de et est la matrice de coefficients
Si et sont des bases de et , la matrice de dans ces bases, notée , est la matrice dont la -ième colonne contient les coordonnées de dans . Pour , la matrice de dans la base est , la même base servant au départ et à l'arrivée.
On identifie à , un vecteur étant écrit en colonne, de sorte que a un sens pour et .
On note , la matrice identité, de coefficients sur la diagonale et ailleurs, qui est la matrice de dans toute base de , et la transposée de .
Une matrice carrée est symétrique si , c'est-à-dire si pour tous . Elle est diagonale si pour , et l'on note alors . Elle est triangulaire supérieure si pour , et strictement triangulaire supérieure si de plus ses coefficients diagonaux sont nuls.
Plus généralement, si et si pour chaque , la matrice diagonale par blocs est la matrice dont le bloc formé des lignes et des colonnes d'indices à est , pour chaque , tous les autres coefficients étant nuls. Un scalaire étant une matrice de taille , la notation d'une matrice diagonale en est le cas particulier où tous les blocs sont de taille .
Une matrice est inversible s'il existe telle que ; une telle matrice est unique, c'est l'inverse de . Les matrices inversibles de forment, pour le produit, le groupe linéaire (point (iv)).
Si et sont deux bases de , la matrice de passage de à est : sa -ième colonne contient les coordonnées de dans l'ancienne base , qui sert à l'arrivée.
Le rang d'une matrice , noté , est la dimension du sous-espace de engendré par ses colonnes . C'est aussi la dimension de l'image de l'application linéaire de dans , puisque .
(i) est un isomorphisme d'espaces vectoriels de sur ; en particulier .
(ii) Si et est une base de , alors .
(iii) Le produit des matrices est associatif, et pour .
(iv) Les matrices inversibles de forment un groupe pour le produit. Si , est un isomorphisme si et seulement si est inversible, et alors . En particulier, la matrice de passage de à est inversible, d'inverse la matrice de passage de à ; si et sont les colonnes des coordonnées d'un vecteur dans et dans , alors .
Démonstration
(i) La correspondance est linéaire, puisque les coordonnées le sont ; elle est bijective par la propriété universelle des bases (Familles libres, bases), une application linéaire étant déterminée par les images arbitraires des . L'espace a pour base les matrices élémentaires, qui ont un seul coefficient égal à ; elles sont au nombre de , d'où la dimension (Dimension).
(ii) Notons la matrice de et celle de . Alors ce qui est le coefficient de .
(iii) Une matrice est la matrice, dans les bases canoniques, de l'application de dans , la -ième colonne de étant l'image du -ième vecteur de base. Par (ii), le produit des matrices correspond à la composition de ces applications, qui est associative, et (i) donne l'égalité des matrices ; est la matrice de l'identité, neutre pour la composition.
(iv) Par (iii), est un monoïde pour le produit, de neutre : l'inverse d'une matrice inversible est unique, et les matrices inversibles forment un groupe (Groupe, (i)).
Si est un isomorphisme, est linéaire (Applications linéaires, (ii)), et (ii) donne et de même dans l'autre ordre. Réciproquement, si a un inverse , soit telle que , qui existe par (i). Par (ii), et ont la même matrice dans , donc sont égales par l'injectivité de (i) ; de même , et est bijective.
La matrice de passage de à est la matrice de l'isomorphisme dans les bases et ; son inverse est donc , la matrice de passage de à . Enfin, si , les coordonnées dans étant linéaires, , où la -ième colonne de est la colonne des coordonnées de dans ; c'est le produit .
□La définition du produit des matrices n'a rien d'arbitraire : c'est la seule qui traduise la composition.
Ce produit n'est pas commutatif. Pour et , on trouve et , et l'on a même avec : l'anneau a des diviseurs de zéro.
L'erreur la plus répandue sur la matrice de passage est d'en inverser le sens. Ses colonnes sont les nouveaux vecteurs écrits dans l'ancienne base, et elle convertit les nouvelles coordonnées en anciennes, ; pour passer des anciennes aux nouvelles, il faut son inverse. Dans , de base canonique , prenons : la matrice de passage est , d'inverse . Le vecteur , de coordonnées dans , a pour coordonnées dans , puisque ; le calcul de , qui serait la réponse si l'on se trompait de sens, donne les coordonnées dans du vecteur , et non celles de dans .