Álgebra lineal · Multiplicación de matrices

Multiplicación de matrices

El producto AB de dos matrices es la matriz de la composición «primero B, después A»: (AB)x = A(Bx) para todo vector x. Su columna j se obtiene al aplicar A a la columna j de B: una combinación de las columnas de A cuyos coeficientes son los números de B. La conocida regla fila × columna expresa esa combinación en coordenadas. Como la segunda transformación actúa sobre lo que produce la primera, el orden importa: en general, AB ≠ BA.

La multiplicación de matrices en esta visualización

Una matriz 2 × 2 es una aplicación lineal del plano, y sus columnas son las imágenes de ı^=(1,0)\hat\imath = (1, 0) y ȷ^=(0,1)\hat\jmath = (0, 1). El producto ABAB es la matriz de aplicar dos transformaciones seguidas, primero BB y después AA: (AB)x=A(Bx)(AB)x = A(Bx) para todo vector xx. La matriz junto a xx actúa primero, así que el producto se lee de derecha a izquierda.

La configuración inicial: primero B, después 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}

En el orden ABAB, el gráfico izquierdo muestra BB sobre la cuadrícula estándar: ı^\hat\imath y ȷ^\hat\jmath aparecen como flechas tenues discontinuas, y sus imágenes b1b_1 y b2b_2, las columnas de BB, en azul. El gráfico derecho muestra AA: la cuadrícula que genera a partir de la estándar, sus columnas a1a_1 y a2a_2 en trazo oscuro, y las columnas del producto, Ab1Ab_1 y Ab2Ab_2, en azul. La bandera muestra esos mismos dos pasos sobre una figura. Cada gráfico tiene su propia escala, porque un producto puede extenderse mucho más que sus factores.

¿De dónde sale una columna de ABAB? BB lleva ı^\hat\imath a b1=(b11,b21)b_1 = (b_{11}, b_{21}), que equivale a b11b_{11} veces ı^\hat\imath y b21b_{21} veces ȷ^\hat\jmath. Como AA es lineal, lleva ese punto a la misma combinación de sus propias columnas: b11b_{11} veces a1a_1 y después b21b_{21} veces a2a_2. Solo lee los dos números de b1b_1, sin importar cómo se obtuvo b1b_1. A la derecha, la columna seleccionada del producto se dibuja siguiendo esa receta: dos tramos finos en las direcciones de a1a_1 y a2a_2 que terminan en la flecha azul. Arrastra b1b_1 a la izquierda: los tramos se alargan y acortan con sus componentes.

Cada columna de AB es el resultado de aplicar A a la misma columna 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 regla que se enseña como fila por columna es esa receta escrita en coordenadas. La coordenada x de AbjAb_j es la suma de las componentes horizontales de los dos tramos, a11b1j+a12b2ja_{11}b_{1j} + a_{12}b_{2j}: la fila 1 de AA por la columna jj de BB. La coordenada y se obtiene del mismo modo con la fila 2. Fila × columna dibuja esas componentes sobre los ejes, cada una etiquetada con su producto.

Fila × columna, en general y para la primera columna de la configuración 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}

El orden importa porque la segunda transformación actúa sobre lo que produce la primera. Gira un cuarto de vuelta y luego cizalla: ı^\hat\imath pasa a (0,1)(0, 1) y después a (1,1)(1, 1). Cizalla primero y luego gira: ı^\hat\imath permanece en (1,0)(1, 0) y después pasa a (0,1)(0, 1). Una vez realizada también la composición en el otro orden, su resultado aparece a la derecha como flechas azules discontinuas, hasta que cambie A o B. Algunos pares sí conmutan. Dos giros del plano alrededor del origen suman sus ángulos en cualquiera de los dos órdenes.

Los factores de área se multiplican. BB convierte el cuadrado unidad en un paralelogramo de área ∣det⁡B∣|\det B|, y después AA multiplica todas las áreas por ∣det⁡A∣|\det A|. Teniendo en cuenta los signos, det⁡(AB)=det⁡A⋅det⁡B\det(AB) = \det A\cdot\det B; y como los números conmutan, det⁡(AB)=det⁡(BA)\det(AB) = \det(BA) incluso cuando AB≠BAAB \ne BA. En la configuración inicial, det⁡A=2\det A = 2 y det⁡B=3\det B = 3, así que ambos productos tienen determinante 6.

Los factores de área con signo se multiplican, en cualquier orden
det⁡(AB)=det⁡A⋅det⁡B=det⁡(BA)\det(AB) = \det A \cdot \det B = \det(BA)

En qué fijarse

  • En el orden ABAB, Componer mueve ı^\hat\imath hasta b1b_1 en línea recta. El recorrido solo muestra dónde acaba ı^\hat\imath, no cómo BB transforma el plano.
  • Un factor de área negativo no significa un área negativa. Indica que la transformación invierte la orientación del plano y que las áreas se multiplican por el valor absoluto del factor.

Controles

  • En el orden ABAB, al señalar pp a la izquierda, un pequeño anillo cian marca ApAp a la derecha.

Conceptos relacionados

Para saber más: Wikipedia: Matrix multiplication (Inglés); OpenStax, College Algebra 2e, 7.5 Matrices and Matrix Operations (Inglés).