ATLAS Ouvrir dans l'atlas →

Proposition 4Algèbre linéaire

Matrices d'une application linéaire

Une matrice à pp lignes et nn colonnes est une famille A=(aij)A = (a_{ij}) de scalaires indexée par {1,…,p}×{1,…,n}\{1, \dots, p\} \times \{1, \dots, n\} ; leur ensemble ℳp,n(K){\mathcal M_{p,n}}(K) est un espace vectoriel. Le produit de A∈ℳp,n(K)A \in \mathcal M_{p,n}(K) et B∈ℳn,q(K)B \in \mathcal M_{n,q}(K) est la matrice AB∈ℳp,q(K)AB \in \mathcal M_{p,q}(K) de coefficients ∑k=1naikbkj.\sum_{k=1}^n a_{ik} b_{kj}.

Si ℬ=(e1,…,en)\mathcal B = (e_1, \dots, e_n) et 𝒞=(f1,…,fp)\mathcal C = (f_1, \dots, f_p) sont des bases de EE et FF, la matrice de u∈ℒ(E,F)u \in {\mathcal L}(E, F) dans ces bases, notée Mat⁡ℬ,𝒞(u)\operatorname{Mat}_{\mathcal B, \mathcal C}(u), est la matrice dont la jj-ième colonne contient les coordonnées de u(ej)u(e_j) dans 𝒞\mathcal C. Pour u∈ℒ(E,E)u \in \mathcal L(E, E), la matrice de uu dans la base ℬ\mathcal B est Mat⁡ℬ,ℬ(u)\operatorname{Mat}_{\mathcal B, \mathcal B}(u), la même base servant au départ et à l'arrivée.

On identifie KnK^n à ℳn,1(K)\mathcal M_{n,1}(K), un vecteur étant écrit en colonne, de sorte que AxAx a un sens pour A∈ℳp,n(K)A \in \mathcal M_{p,n}(K) et x∈Knx \in K^n.

On note ℳn(K)=ℳn,n(K)\mathcal M_n(K) = \mathcal M_{n,n}(K), InI_n la matrice identité, de coefficients 11 sur la diagonale et 00 ailleurs, qui est la matrice de idE\mathrm{id}_E dans toute base de EE, et tA=(aji)∈ℳn,p(K){}^tA = (a_{ji}) \in \mathcal M_{n,p}(K) la transposée de A∈ℳp,n(K)A \in \mathcal M_{p,n}(K).

Une matrice carrée A=(aij)∈ℳn(K)A = (a_{ij}) \in \mathcal M_n(K) est symétrique si tA=A{}^tA = A, c'est-à-dire si aij=ajia_{ij} = a_{ji} pour tous i,ji, j. Elle est diagonale si aij=0a_{ij} = 0 pour i≠ji \neq j, et l'on note alors A=diag⁡(a11,…,ann)A = \operatorname{diag}(a_{11}, \dots, a_{nn}). Elle est triangulaire supérieure si aij=0a_{ij} = 0 pour i>ji > j, et strictement triangulaire supérieure si de plus ses coefficients diagonaux sont nuls.

Plus généralement, si n=n1+⋯+nkn = n_1 + \cdots + n_k et si Ai∈ℳni(K)A_i \in \mathcal M_{n_i}(K) pour chaque ii, la matrice diagonale par blocs diag⁡(A1,…,Ak)∈ℳn(K)\operatorname{diag}(A_1, \dots, A_k) \in \mathcal M_n(K) est la matrice dont le bloc formé des lignes et des colonnes d'indices n1+⋯+ni−1+1n_1 + \cdots + n_{i-1} + 1 à n1+⋯+nin_1 + \cdots + n_i est AiA_i, pour chaque ii, tous les autres coefficients étant nuls. Un scalaire étant une matrice de taille 11, la notation diag⁡(d1,…,dn)\operatorname{diag}(d_1, \dots, d_n) d'une matrice diagonale en est le cas particulier où tous les blocs sont de taille 11.

Une matrice A∈ℳn(K)A \in \mathcal M_n(K) est inversible s'il existe B∈ℳn(K)B \in \mathcal M_n(K) telle que AB=BA=InAB = BA = I_n ; une telle matrice BB est unique, c'est l'inverse A−1A^{-1} de AA. Les matrices inversibles de ℳn(K)\mathcal M_n(K) forment, pour le produit, le groupe linéaire GLn(K)GL_n(K) (point (iv)).

Si ℬ\mathcal B et ℬ′=(e1′,…,en′)\mathcal B' = (e'_1, \dots, e'_n) sont deux bases de EE, la matrice de passage de ℬ\mathcal B à ℬ′\mathcal B' est Mat⁡ℬ′,ℬ(idE)\operatorname{Mat}_{\mathcal B', \mathcal B}(\mathrm{id}_E) : sa jj-ième colonne contient les coordonnées de ej′e'_j dans l'ancienne base ℬ\mathcal B, qui sert à l'arrivée.

Le rang d'une matrice A∈ℳp,n(K)A \in \mathcal M_{p,n}(K), noté rg⁡A\operatorname{rg} A, est la dimension du sous-espace de KpK^p engendré par ses colonnes C1,…,CnC_1, \dots, C_n. C'est aussi la dimension de l'image de l'application linéaire x↦Axx \mapsto Ax de KnK^n dans KpK^p, puisque Ax=∑jxjCjAx = \sum_j x_j C_j.

Énoncé

(i) u↦Mat⁡ℬ,𝒞(u)u \mapsto \operatorname{Mat}_{\mathcal B, \mathcal C}(u) est un isomorphisme d'espaces vectoriels de ℒ(E,F)\mathcal L(E, F) sur ℳp,n(K)\mathcal M_{p,n}(K) ; en particulier dim⁡ℒ(E,F)=np\dim \mathcal L(E, F) = np.

(ii) Si v∈ℒ(F,G)v \in \mathcal L(F, G) et 𝒟\mathcal D est une base de GG, alors Mat⁡ℬ,𝒟(v∘u)=Mat⁡𝒞,𝒟(v)Mat⁡ℬ,𝒞(u)\operatorname{Mat}_{\mathcal B, \mathcal D}(v \circ u) = \operatorname{Mat}_{\mathcal C, \mathcal D}(v)\operatorname{Mat}_{\mathcal B, \mathcal C}(u).

(iii) Le produit des matrices est associatif, et IpA=AIn=AI_pA = AI_n = A pour A∈ℳp,n(K)A \in \mathcal M_{p,n}(K).

(iv) Les matrices inversibles de ℳn(K)\mathcal M_n(K) forment un groupe pour le produit. Si p=np = n, uu est un isomorphisme si et seulement si Mat⁡ℬ,𝒞(u)\operatorname{Mat}_{\mathcal B, \mathcal C}(u) est inversible, et alors Mat⁡𝒞,ℬ(u−1)=Mat⁡ℬ,𝒞(u)−1\operatorname{Mat}_{\mathcal C, \mathcal B}(u^{-1}) = \operatorname{Mat}_{\mathcal B, \mathcal C}(u)^{-1}. En particulier, la matrice de passage PP de ℬ\mathcal B à ℬ′\mathcal B' est inversible, d'inverse la matrice de passage de ℬ′\mathcal B' à ℬ\mathcal B ; si XX et X′X' sont les colonnes des coordonnées d'un vecteur xx dans ℬ\mathcal B et dans ℬ′\mathcal B', alors X=PX′X = PX'.

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 eje_j. L'espace ℳp,n(K)\mathcal M_{p,n}(K) a pour base les matrices élémentaires, qui ont un seul coefficient égal à 11 ; elles sont au nombre de npnp, d'où la dimension (Dimension).

(ii) Notons A=(akj)A = (a_{kj}) la matrice de uu et B=(bik)B = (b_{ik}) celle de vv. Alors v(u(ej))=v(∑kakjfk)=∑kakj∑ibikgi=∑i(∑kbikakj)gi,\begin{aligned} v(u(e_j)) &= v\Big(\sum_k a_{kj} f_k\Big) \\ &= \sum_k a_{kj} \sum_i b_{ik} g_i \\ &= \sum_i \Big(\sum_k b_{ik} a_{kj}\Big) g_i, \end{aligned} ce qui est le coefficient (i,j)(i, j) de BABA.

(iii) Une matrice A∈ℳp,n(K)A \in \mathcal M_{p,n}(K) est la matrice, dans les bases canoniques, de l'application x↦Axx \mapsto Ax de KnK^n dans KpK^p, la jj-ième colonne de AA étant l'image du jj-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 ; InI_n est la matrice de l'identité, neutre pour la composition.

(iv) Par (iii), ℳn(K)\mathcal M_n(K) est un monoïde pour le produit, de neutre InI_n : l'inverse d'une matrice inversible est unique, et les matrices inversibles forment un groupe (Groupe, (i)).

Si uu est un isomorphisme, u−1u^{-1} est linéaire (Applications linéaires, (ii)), et (ii) donne Mat⁡𝒞,ℬ(u−1)Mat⁡ℬ,𝒞(u)=Mat⁡ℬ,ℬ(idE)=In,\operatorname{Mat}_{\mathcal C, \mathcal B}(u^{-1})\operatorname{Mat}_{\mathcal B, \mathcal C}(u) = \operatorname{Mat}_{\mathcal B, \mathcal B}(\mathrm{id}_E) = I_n, et de même dans l'autre ordre. Réciproquement, si A=Mat⁡ℬ,𝒞(u)A = \operatorname{Mat}_{\mathcal B, \mathcal C}(u) a un inverse A′A', soit v∈ℒ(F,E)v \in \mathcal L(F, E) telle que Mat⁡𝒞,ℬ(v)=A′\operatorname{Mat}_{\mathcal C, \mathcal B}(v) = A', qui existe par (i). Par (ii), v∘uv \circ u et idE\mathrm{id}_E ont la même matrice A′A=InA'A = I_n dans ℬ\mathcal B, donc sont égales par l'injectivité de (i) ; de même u∘v=idFu \circ v = \mathrm{id}_F, et uu est bijective.

La matrice de passage de ℬ\mathcal B à ℬ′\mathcal B' est la matrice de l'isomorphisme idE\mathrm{id}_E dans les bases ℬ′\mathcal B' et ℬ\mathcal B ; son inverse est donc Mat⁡ℬ,ℬ′(idE)\operatorname{Mat}_{\mathcal B, \mathcal B'}(\mathrm{id}_E), la matrice de passage de ℬ′\mathcal B' à ℬ\mathcal B. Enfin, si x=∑jxj′ej′x = \sum_j x'_j e'_j, les coordonnées dans ℬ\mathcal B étant linéaires, X=∑jxj′PjX = \sum_j x'_j P_j, où la jj-ième colonne PjP_j de PP est la colonne des coordonnées de ej′e'_j dans ℬ\mathcal B ; c'est le produit PX′PX'.

□
Remarque

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 A=(0100)A = \begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix} et B=(0010)B = \begin{pmatrix} 0 & 0 \\ 1 & 0 \end{pmatrix}, on trouve AB=(1000)AB = \begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix} et BA=(0001)BA = \begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix}, et l'on a même A2=0A^2 = 0 avec A≠0A \neq 0 : l'anneau ℳ2(K)\mathcal M_2(K) a des diviseurs de zéro.

Remarque

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, X=PX′X = PX' ; pour passer des anciennes aux nouvelles, il faut son inverse. Dans K2K^2, de base canonique ℬ=(e1,e2)\mathcal B = (e_1, e_2), prenons ℬ′=(e1+e2,e2)\mathcal B' = (e_1 + e_2, e_2) : la matrice de passage est P=(1011)P = \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix}, d'inverse (10−11)\begin{pmatrix} 1 & 0 \\ -1 & 1 \end{pmatrix}. Le vecteur e1e_1, de coordonnées X=(1,0)X = (1, 0) dans ℬ\mathcal B, a pour coordonnées X′=P−1X=(1,−1)X' = P^{-1}X = (1, -1) dans ℬ′\mathcal B', puisque e1=(e1+e2)−e2e_1 = (e_1 + e_2) - e_2 ; le calcul de PX=(1,1)PX = (1, 1), qui serait la réponse si l'on se trompait de sens, donne les coordonnées dans ℬ\mathcal B du vecteur e1+e2e_1 + e_2, et non celles de e1e_1 dans ℬ′\mathcal B'.

Ouvrir dans l'atlas interactif →