Álgebra linear · Multiplicação de matrizes

Multiplicação de matrizes

O produto AB de duas matrizes é a matriz da composição «primeiro B, depois A»: (AB)x = A(Bx) para qualquer vetor x. A sua coluna j obtém-se aplicando A à coluna j de B: uma combinação das colunas de A cujos coeficientes são os números de B. A conhecida regra linha × coluna exprime essa combinação em coordenadas. Como a segunda transformação atua sobre o resultado da primeira, a ordem importa: em geral, AB ≠ BA.

A multiplicação de matrizes nesta visualização

Uma matriz 2 × 2 é uma aplicação linear do plano, e as suas colunas são as imagens de ı^=(1,0)\hat\imath = (1, 0) e ȷ^=(0,1)\hat\jmath = (0, 1). O produto ABAB é a matriz de duas transformações feitas sucessivamente, primeiro BB e depois AA: (AB)x=A(Bx)(AB)x = A(Bx) para qualquer vetor xx. A matriz junto de xx atua primeiro, pelo que o produto se lê da direita para a esquerda.

A configuração inicial: primeiro B, depois 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}

Na ordem ABAB, a figura da esquerda mostra BB na grelha padrão: ı^\hat\imath e ȷ^\hat\jmath são setas ténues a tracejado, e as suas imagens b1b_1 e b2b_2, as colunas de BB, estão a azul. A figura da direita mostra AA: a grelha que produz a partir da grelha padrão, as suas colunas a1a_1 e a2a_2 a traço escuro, e as colunas do produto, Ab1Ab_1 e Ab2Ab_2, a azul. A bandeira mostra os mesmos dois passos numa forma. Cada figura tem a sua própria escala, porque um produto pode estender-se muito para além dos seus fatores.

De onde vem uma coluna de ABAB? BB leva ı^\hat\imath a b1=(b11,b21)b_1 = (b_{11}, b_{21}), que corresponde a b11b_{11} vezes ı^\hat\imath e b21b_{21} vezes ȷ^\hat\jmath. Como AA é linear, leva esse ponto à mesma combinação das suas próprias colunas: b11b_{11} vezes a1a_1, seguido de b21b_{21} vezes a2a_2. Apenas lê os dois números de b1b_1, sem importar como se obteve b1b_1. À direita, a coluna selecionada do produto é desenhada segundo esta receita: dois segmentos finos nas direções de a1a_1 e a2a_2 que terminam na seta azul. Arraste b1b_1 à esquerda: os segmentos alongam-se e encurtam com as suas componentes.

Cada coluna de AB resulta de aplicar A à mesma coluna 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}

A regra ensinada como linha vezes coluna é esta receita escrita em coordenadas. A coordenada x de AbjAb_j é a soma das componentes horizontais dos dois segmentos, a11b1j+a12b2ja_{11}b_{1j} + a_{12}b_{2j}: a linha 1 de AA vezes a coluna jj de BB. A coordenada y obtém-se da mesma forma a partir da linha 2. Linha × coluna desenha estas componentes nos eixos, cada uma identificada com o seu produto.

Linha × coluna, em geral e para a primeira coluna da configuração inicial
(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}

A ordem importa porque a segunda transformação atua sobre o resultado da primeira. Rode um quarto de volta e depois aplique um cisalhamento: ı^\hat\imath passa a (0,1)(0, 1) e depois a (1,1)(1, 1). Aplique primeiro o cisalhamento e depois rode: ı^\hat\imath permanece em (1,0)(1, 0) e depois passa a (0,1)(0, 1). Depois de compor também na outra ordem, o respetivo resultado aparece à direita como setas azuis a tracejado, até que A ou B mude. Alguns pares comutam. Duas rotações do plano em torno da origem somam os seus ângulos em qualquer das ordens.

Os fatores de área multiplicam-se. BB transforma o quadrado unitário num paralelogramo de área ∣det⁡B∣|\det B|, e depois AA multiplica todas as áreas por ∣det⁡A∣|\det A|. Considerando os sinais, det⁡(AB)=det⁡A⋅det⁡B\det(AB) = \det A\cdot\det B; e como os números comutam, det⁡(AB)=det⁡(BA)\det(AB) = \det(BA) mesmo quando AB≠BAAB \ne BA. Na configuração inicial, det⁡A=2\det A = 2 e det⁡B=3\det B = 3, pelo que ambos os produtos têm determinante 6.

Os fatores de área com sinal multiplicam-se, em qualquer das ordens
det⁡(AB)=det⁡A⋅det⁡B=det⁡(BA)\det(AB) = \det A \cdot \det B = \det(BA)

Aspetos a observar

  • Na ordem ABAB, Compor desloca ı^\hat\imath até b1b_1 em linha reta. O percurso apenas mostra onde ı^\hat\imath termina, não como BB transforma o plano.
  • Um fator de área negativo não significa uma área negativa. Indica que a transformação inverte a orientação do plano e que as áreas são multiplicadas pelo valor absoluto do fator.

Controlos

  • Na ordem ABAB, ao apontar para pp à esquerda, um pequeno anel ciano assinala ApAp à direita.

Conceitos relacionados

Para saber mais: Wikipédia: Matrix multiplication (Inglês); OpenStax, College Algebra 2e, 7.5 Matrices and Matrix Operations (Inglês).