Algèbre linéaire · Produit matriciel

Produit matriciel

Le produit AB de deux matrices est la matrice de la composition « d’abord B, puis A » : (AB)x = A(Bx) pour tout vecteur x. Sa j-ième colonne s’obtient en appliquant A à la j-ième colonne de B : c’est une combinaison des colonnes de A dont les coefficients sont les nombres de B. La règle habituelle ligne × colonne exprime cette combinaison en coordonnées. Comme la seconde application agit sur le résultat de la première, l’ordre compte : en général, AB ≠ BA.

Le produit matriciel dans cette visualisation

Une matrice 2 × 2 est une application linéaire du plan, et ses colonnes sont les images de ı^=(1,0)\hat\imath = (1, 0) et ȷ^=(0,1)\hat\jmath = (0, 1). Le produit ABAB est la matrice de deux applications effectuées successivement, d’abord BB, puis AA : (AB)x=A(Bx)(AB)x = A(Bx) pour tout vecteur xx. La matrice voisine de xx agit en premier ; un produit se lit donc de droite à gauche.

Le réglage initial : d’abord B, puis A
AB=(1102)(2−111)=(3022)AB = \begin{pmatrix} 1 & 1 \\ 0 & 2 \end{pmatrix} \begin{pmatrix} 2 & -1 \\ 1 & 1 \end{pmatrix} = \begin{pmatrix} 3 & 0 \\ 2 & 2 \end{pmatrix}

Dans l’ordre ABAB, la figure de gauche montre BB sur le quadrillage standard : ı^\hat\imath et ȷ^\hat\jmath sont des flèches pâles en pointillés, et leurs images b1b_1 et b2b_2, les colonnes de BB, sont en bleu. La figure de droite montre AA : le quadrillage qu’elle produit à partir du quadrillage standard, ses colonnes a1a_1 et a2a_2 en traits foncés, et les colonnes du produit, Ab1Ab_1 et Ab2Ab_2, en bleu. Le drapeau montre les deux mêmes étapes sur une forme. Chaque figure a sa propre échelle, car un produit peut s’étendre bien au-delà de ses facteurs.

D’où vient une colonne de ABAB ? BB envoie ı^\hat\imath sur b1=(b11,b21)b_1 = (b_{11}, b_{21}), soit b11b_{11} fois ı^\hat\imath et b21b_{21} fois ȷ^\hat\jmath. Comme AA est linéaire, elle envoie ce point sur la même combinaison de ses propres colonnes : b11b_{11} fois a1a_1, puis b21b_{21} fois a2a_2. Elle ne lit que les deux nombres de b1b_1, sans tenir compte de la façon dont b1b_1 a été obtenu. À droite, la colonne sélectionnée du produit est tracée suivant cette recette : deux fins déplacements le long de a1a_1 et a2a_2, qui aboutissent à la flèche bleue. Faites glisser b1b_1 à gauche : les déplacements s’allongent et se raccourcissent avec ses composantes.

Chaque colonne de AB est l’image par A de la colonne correspondante de B
(AB)j=A bj=b1j a1+b2j a2Ab1=2(10)+1(12)=(32)\begin{gathered} (AB)_j = A\,b_j = b_{1j}\,a_1 + b_{2j}\,a_2 \\[0.6ex] Ab_1 = 2\begin{pmatrix} 1 \\ 0 \end{pmatrix} + 1\begin{pmatrix} 1 \\ 2 \end{pmatrix} = \begin{pmatrix} 3 \\ 2 \end{pmatrix} \end{gathered}

La règle appelée « ligne fois colonne » est cette recette écrite en coordonnées. La coordonnée x de AbjAb_j est la somme des composantes horizontales des deux déplacements, a11b1j+a12b2ja_{11}b_{1j} + a_{12}b_{2j} : la ligne 1 de AA multipliée par la colonne jj de BB. La coordonnée y s’obtient de la même façon avec la ligne 2. Ligne × colonne trace ces composantes le long des axes, chacune accompagnée de son produit.

Ligne × colonne, en général et pour la première colonne du réglage initial
(AB)ij=ai1b1j+ai2b2j(AB)1=(1⋅2+1⋅1, 0⋅2+2⋅1)=(3, 2)\begin{gathered} (AB)_{ij} = a_{i1}b_{1j} + a_{i2}b_{2j} \\[0.6ex] (AB)_1 = (1\cdot 2 + 1\cdot 1,\ 0\cdot 2 + 2\cdot 1) = (3,\ 2) \end{gathered}

L’ordre compte parce que la seconde application agit sur le résultat de la première. Effectuez un quart de tour, puis un cisaillement : ı^\hat\imath va en (0,1)(0, 1), puis en (1,1)(1, 1). Cisaillez d’abord, puis tournez : ı^\hat\imath reste en (1,0)(1, 0), puis va en (0,1)(0, 1). Une fois la composition effectuée dans l’autre ordre, son résultat apparaît à droite sous forme de flèches bleues en pointillés, jusqu’à ce que A ou B change. Certaines paires commutent. Deux rotations du plan autour de l’origine additionnent leurs angles dans les deux ordres.

Les facteurs d’aire se multiplient. BB transforme le carré unité en un parallélogramme d’aire ∣det⁡B∣|\det B|, puis AA multiplie chaque aire par ∣det⁡A∣|\det A|. En tenant compte des signes, det⁡(AB)=det⁡A⋅det⁡B\det(AB) = \det A\cdot\det B ; et comme les nombres commutent, det⁡(AB)=det⁡(BA)\det(AB) = \det(BA) même lorsque AB≠BAAB \ne BA. Dans le réglage initial, det⁡A=2\det A = 2 et det⁡B=3\det B = 3 ; les deux produits ont donc pour déterminant 6.

Les facteurs d’aire algébrique se multiplient, quel que soit l’ordre
det⁡(AB)=det⁡A⋅det⁡B=det⁡(BA)\det(AB) = \det A \cdot \det B = \det(BA)

À remarquer

  • Dans l’ordre ABAB, Composer déplace ı^\hat\imath vers b1b_1 en ligne droite. Le trajet montre seulement où ı^\hat\imath aboutit, pas comment BB transforme le plan.
  • Un facteur d’aire négatif ne signifie pas une aire négative. Il indique que l’application renverse l’orientation du plan ; les aires sont multipliées par sa valeur absolue.

Commandes

  • Dans l’ordre ABAB, pointer pp à gauche marque ApAp à droite d’un petit anneau cyan.

Notions liées

Pour aller plus loin: Wikipédia: Matrix multiplication (Anglais); OpenStax, College Algebra 2e, 7.5 Matrices and Matrix Operations (Anglais).