Articulo de referencia

multiplicación de matrices

Para la multiplicación de matrices, el número de columnas de la primera matriz debe ser igual al número de filas de la segunda. La matriz resultante tiene el número de filas de ...

Para la multiplicación de matrices, el número de columnas de la primera matriz debe ser igual al número de filas de la segunda. La matriz resultante tiene el número de filas de la primera y el número de columnas de la segunda.

En matemáticas , específicamente en álgebra lineal , la multiplicación de matrices es una operación binaria que produce una matriz a partir de dos matrices. Para la multiplicación de matrices, el número de columnas de la primera matriz debe ser igual al número de filas de la segunda matriz. La matriz resultante, conocida como producto matricial , tiene el número de filas de la primera y el número de columnas de la segunda matriz. El producto de las matrices A y B se denota como AB . [ 1 ]

La multiplicación de matrices fue descrita por primera vez por el matemático francés Jacques Philippe Marie Binet en 1812, [ 2 ] para representar la composición de aplicaciones lineales representadas por matrices. La multiplicación de matrices es, por lo tanto, una herramienta básica del álgebra lineal y, como tal, tiene numerosas aplicaciones en muchas áreas de las matemáticas, así como en matemáticas aplicadas , estadística , física , economía e ingeniería . [ 3 ] [ 4 ] El cálculo de productos de matrices es una operación central en todas las aplicaciones computacionales del álgebra lineal.

Notación

Este artículo utilizará las siguientes convenciones de notación: las matrices se representan con letras mayúsculas en negrita, p. ej. A ; los vectores con letras minúsculas en negrita, p. ej. a ; y las entradas de vectores y matrices se escriben en cursiva (son números de un campo), p. ej. A y a . La notación de índice suele ser la forma más clara de expresar definiciones y se utiliza como estándar en la literatura. La entrada en la fila i , columna j de la matriz A se indica mediante ( A ) ij , A ij o a ij . En cambio, se utiliza un único subíndice, p. ej. A 1 , A 2 , para seleccionar una matriz (no una entrada de matriz) de una colección de matrices.

Definiciones

Matriz por matriz

Si A es una matriz m × n y B es una matriz n × p , A=(a11a12a1nortea21a22a2norteametro1ametro2ametronorte),B=(b11b12b1pagb21b22b2pagbnorte1bnorte2bnortepag){\displaystyle \mathbf {A} ={\begin{pmatrix}a_{11}&a_{12}&\cdots &a_{1n}\\a_{21}&a_{22}&\cdots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{m1}&a_{m2}&\cdots &a_{mn}\\\end{pmatrix}},\quad \mathbf {B} ={\begin{pmatrix}b_{11}&b_{12}&\cdots &b_{1p}\\b_{21}&b_{22}&\cdots &b_{2p}\\\vdots &\vdots &\ddots &\vdots \\b_{n1}&b_{n2}&\cdots &b_{np}\\\end{pmatrix}}} El producto matricial C = AB (denotado sin signos de multiplicación ni puntos) se define como la matriz m × p [ 5 ] [ 6 ] [ 7 ] [ 8 ]do=(do11do12do1pagdo21do22do2pagdometro1dometro2dometropag){\displaystyle \mathbf {C} ={\begin{pmatrix}c_{11}&c_{12}&\cdots &c_{1p}\\c_{21}&c_{22}&\cdots &c_{2p}\\\vdots &\vdots &\ddots &\vdots \\c_{m1}&c_{m2}&\cdots &c_{mp}\\\end{pmatrix}}} de tal manera que doij=ai1b1j+ai2b2j++ainortebnortej=k=1norteaikbkj,{\displaystyle c_{ij}=a_{i1}b_{1j}+a_{i2}b_{2j}+\cdots +a_{in}b_{nj}=\sum _{k=1}^{n}a_{ik}b_{kj},} para i = 1, ..., m y j = 1, ..., p .

Es decir, la entradadoij{\displaystyle c_{ij}}El producto se obtiene multiplicando término por término las entradas de la i -ésima fila de A y la j -ésima columna de B , y sumando estos n productos. En otras palabras ,doij{\displaystyle c_{ij}}es el producto escalar de la i -ésima fila de A y la j -ésima columna de B.

Por lo tanto, AB también se puede escribir como do=(a11b11++a1nortebnorte1a11b12++a1nortebnorte2a11b1pag++a1nortebnortepaga21b11++a2nortebnorte1a21b12++a2nortebnorte2a21b1pag++a2nortebnortepagametro1b11++ametronortebnorte1ametro1b12++ametronortebnorte2ametro1b1pag++ametronortebnortepag){\displaystyle \mathbf {C} ={\begin{pmatrix}a_{11}b_{11}+\cdots +a_{1n}b_{n1}&a_{11}b_{12}+\cdots +a_{1n}b_{n2}&\cdots &a_{11}b_{1p}+\cdots +a_{1n}b_{np}\\a_{21}b_{11}+\cdots +a_{2n}b_{n1}&a_{21}b_{12}+\cdots +a_{2n}b_{n2}&\cdots &a_{21}b_{1p}+\cdots +a_{2n}b_{np}\\\vdots &\vdots &\ddots &\vdots \\a_{m1}b_{11}+\cdots +a_{mn}b_{n1}&a_{m1}b_{12}+\cdots +a_{mn}b_{n2}&\cdots &a_{m1}b_{1p}+\cdots +a_{mn}b_{np}\\\end{pmatrix}}}

Por lo tanto, el producto AB se define si y solo si el número de columnas en A es igual al número de filas en B , [ 1 ] en este caso n .

En la mayoría de los casos, las entradas son números, pero pueden ser cualquier tipo de objeto matemático para el cual se definan una suma y una multiplicación, que sean asociativos , y tales que la suma sea conmutativa y la multiplicación sea distributiva con respecto a la suma. En particular, las entradas pueden ser matrices (véase matriz de bloques ).

Matriz multiplicada por vector

Un vectorincógnita{\displaystyle \mathbf {x} }de longitudnorte{\displaystyle n}puede verse como un vector columna , que corresponde a unnorte×1{\displaystyle n\times 1}matrizincógnita{\displaystyle \mathbf {X} }cuyas entradas son dadas porincógnitai1=incógnitai.{\displaystyle \mathbf {X} _{i1}=\mathbf {x} _{i}.}SiA{\displaystyle \mathbf {A} }es unmetro×norte{\displaystyle m\times n}matriz, el producto matriz-vector denotado porAincógnita{\displaystyle \mathbf {Ax} }es entonces el vectory{\displaystyle \mathbf {y} }que, visto como un vector columna, es igual ametro×1{\displaystyle m\times 1}matrizAincógnita.{\displaystyle \mathbf {AX} .}En notación de índices, esto equivale a:

yi=j=1norteaijincógnitaj.{\displaystyle y_{i}=\sum _{j=1}^{n}a_{ij}x_{j}.}

Una forma de ver esto es que los cambios de vector "simple" a vector columna y viceversa se asumen y se dejan implícitos.

Vector por matriz

De manera similar, un vectorincógnita{\displaystyle \mathbf {x} }de longitudnorte{\displaystyle n}puede verse como un vector fila , correspondiente a un1×norte{\displaystyle 1\times n}matriz. Para dejar claro que se refiere a un vector fila, es habitual en este contexto representarlo como la transpuesta de un vector columna; por lo tanto, se verán notaciones comoincógnitaTA.{\displaystyle \mathbf {x} ^{\mathrm {T} }\mathbf {A} .}La identidadincógnitaTA=(ATincógnita)T{\displaystyle \mathbf {x} ^{\mathrm {T} }\mathbf {A} =(\mathbf {A} ^{\mathrm {T} }\mathbf {x} )^{\mathrm {T} }}se cumple. En notación de índice, siA{\displaystyle \mathbf {A} }es unnorte×pag{\displaystyle n\times p}matriz,incógnitaTA=yT{\displaystyle \mathbf {x} ^{\mathrm {T} }\mathbf {A} =\mathbf {y} ^{\mathrm {T} }}equivale a: yk=j=1norteincógnitajajk.{\displaystyle y_{k}=\sum _{j=1}^{n}x_{j}a_{jk}.}

Vector por vector

Un vector con n componentes puede representarse como una matriz de 1 × n (un vector fila) o como una matriz de n × 1 (un vector columna). Suponiendo quea{\displaystyle \mathbf {a} }yb{\displaystyle \mathbf {b} }son ambos vectores columna el producto escalar (o producto interno)ab{\displaystyle \mathbf {a} \cdot \mathbf {b} }es igual a la única entrada de la1×1{\displaystyle 1\times 1}matriz resultante de la multiplicación matricial del vector filaaT{\displaystyle \mathbf {a} ^{\mathrm {T} }}con el vector columnab{\displaystyle \mathbf {b} }, es deciraTb{\displaystyle \mathbf {a} ^{\mathrm {T} }\mathbf {b} }.

La multiplicación de matrices entre el vector columnaa{\displaystyle \mathbf {a} }y el vector filabT{\displaystyle \mathbf {b} ^{\mathrm {T} }}, también conocido como producto externoabT{\displaystyle \mathbf {a} \mathbf {b} ^{\mathrm {T} }}, en cambio, dará una matriz n × n .

Ilustración

La figura de la derecha ilustra esquemáticamente el producto de dos matrices A y B , mostrando cómo cada intersección en la matriz producto corresponde a una fila de A y una columna de B.[a11a12a31a32]4×2 matriz[b12b13b22b23]2×3 matriz=[do12do33]4×3 matriz{\displaystyle {\overset {4\times 2{\text{ matrix}}}{\begin{bmatrix}a_{11}&a_{12}\\\cdot &\cdot \\a_{31}&a_{32}\\\cdot &\cdot \\\end{bmatrix}}}{\overset {2\times 3{\text{ matrix}}}{\begin{bmatrix}\cdot &b_{12}&b_{13}\\\cdot &b_{22}&b_{23}\\\end{bmatrix}}}={\overset {4\times 3{\text{ matrix}}}{\begin{bmatrix}\cdot &c_{12}&\cdot \\\cdot &\cdot &\cdot \\\cdot &\cdot &c_{33}\\\cdot &\cdot &\cdot \\\end{bmatrix}}}}

Los valores en las intersecciones, marcadas con círculos en la figura de la derecha, son: do12=a11b12+a12b22do33=a31b13+a32b23.{\displaystyle {\begin{aligned}c_{12}&=a_{11}b_{12}+a_{12}b_{22}\\c_{33}&=a_{31}b_{13}+a_{32}b_{23}.\end{aligned}}}

Aplicaciones fundamentales

Históricamente, la multiplicación de matrices se ha introducido para facilitar y clarificar los cálculos en álgebra lineal . Esta estrecha relación entre la multiplicación de matrices y el álgebra lineal sigue siendo fundamental en todas las ramas de las matemáticas, así como en física , química , ingeniería e informática .

Mapas lineales

Si un espacio vectorial tiene una base finita , cada uno de sus vectores se representa de forma única mediante una secuencia finita de escalares, denominada vector de coordenadas , cuyos elementos son las coordenadas del vector en la base. Estos vectores de coordenadas forman otro espacio vectorial, isomorfo al espacio vectorial original. Un vector de coordenadas se organiza comúnmente como una matriz columna (también llamada vector columna ), que es una matriz con una sola columna. Por lo tanto, un vector columna representa tanto un vector de coordenadas como un vector del espacio vectorial original.

Una aplicación lineal A de un espacio vectorial de dimensión n a un espacio vectorial de dimensión m transforma un vector columna en un vector columna.

incógnita=(incógnita1incógnita2incógnitanorte){\displaystyle \mathbf {x} ={\begin{pmatrix}x_{1}\\x_{2}\\\vdots \\x_{n}\end{pmatrix}}}

sobre el vector columna

y=A(incógnita)=(a11incógnita1++a1norteincógnitanortea21incógnita1++a2norteincógnitanorteametro1incógnita1++ametronorteincógnitanorte).{\displaystyle \mathbf {y} =A(\mathbf {x} )={\begin{pmatrix}a_{11}x_{1}+\cdots +a_{1n}x_{n}\\a_{21}x_{1}+\cdots +a_{2n}x_{n}\\\vdots \\a_{m1}x_{1}+\cdots +a_{mn}x_{n}\end{pmatrix}}.}

La aplicación lineal A se define así por la matriz

A=(a11a12a1nortea21a22a2norteametro1ametro2ametronorte),{\displaystyle \mathbf {A} ={\begin{pmatrix}a_{11}&a_{12}&\cdots &a_{1n}\\a_{21}&a_{22}&\cdots &a_{2n}\\\vdots &\vdots &\ddots &\vdots \\a_{m1}&a_{m2}&\cdots &a_{mn}\\\end{pmatrix}},}

y mapea el vector columnaincógnita{\displaystyle \mathbf {x} }al producto de la matriz

y=Aincógnita.{\displaystyle \mathbf {y} =\mathbf {Ax} .}

Si B es otra aplicación lineal del espacio vectorial precedente de dimensión m , en un espacio vectorial de dimensión p , se representa mediante unapag×metro{\displaystyle p\times m}matrizB.{\displaystyle \mathbf {B} .}Un cálculo sencillo muestra que la matriz del mapa compuesto BA{\displaystyle B\circ A}es el producto matricialBA.{\displaystyle \mathbf {BA} .}La fórmula general(BA)(incógnita)=B(A(incógnita)){\displaystyle (B\circ A)(\mathbf {x} )=B(A(\mathbf {x} ))} ) ​​que define la composición de funciones se instancia aquí como un caso específico de asociatividad del producto de matrices (véase §  Asociatividad más adelante):

(BA)incógnita=B(Aincógnita)=BAincógnita.{\displaystyle (\mathbf {BA} )\mathbf {x} =\mathbf {B} (\mathbf {Ax} )=\mathbf {BAx} .}

rotaciones geométricas

Utilizando un sistema de coordenadas cartesianas en un plano euclidiano, la rotación por un ánguloα{\displaystyle \alpha }Alrededor del origen hay un mapa lineal. Más precisamente, [incógnitay]=[porqueαpecadoαpecadoαporqueα][incógnitay],{\displaystyle {\begin{bmatrix}x'\\y'\end{bmatrix}}={\begin{bmatrix}\cos \alpha &-\sin \alpha \\\sin \alpha &\cos \alpha \end{bmatrix}}{\begin{bmatrix}x\\y\end{bmatrix}},} donde el punto de origen(incógnita,y){\displaystyle (x,y)}y su imagen(incógnita,y){\displaystyle (x',y')}se escriben como vectores columna.

La composición de la rotación porα{\displaystyle \alpha }y que porβ{\displaystyle \beta }entonces corresponde al producto matricial [porqueβpecadoβpecadoβporqueβ][porqueαpecadoαpecadoαporqueα]=[porqueβporqueαpecadoβpecadoαporqueβpecadoαpecadoβporqueαpecadoβporqueα+porqueβpecadoαpecadoβpecadoα+porqueβporqueα]=[porque(α+β)pecado(α+β)pecado(α+β)porque(α+β)],{\displaystyle {\begin{bmatrix}\cos \beta &-\sin \beta \\\sin \beta &\cos \beta \end{bmatrix}}{\begin{bmatrix}\cos \alpha &-\sin \alpha \\\sin \alpha &\cos \alpha \end{bmatrix}}={\begin{bmatrix}\cos \beta \cos \alpha -\sin \beta \sin \alpha &-\cos \beta \sin \alpha -\sin \beta \cos \alpha \\\sin \beta \cos \alpha +\cos \beta \sin \alpha &-\sin \beta \sin \alpha +\cos \beta \cos \alpha \end{bmatrix}}={\begin{bmatrix}\cos(\alpha +\beta )&-\sin(\alpha +\beta )\\\sin(\alpha +\beta )&\cos(\alpha +\beta )\end{bmatrix}},} donde se emplean identidades trigonométricas apropiadas para la segunda igualdad. Es decir, la composición corresponde a la rotación por ánguloα+β{\displaystyle \alpha +\beta }, como era de esperar.

Asignación de recursos en economía

El cálculo de la entrada inferior izquierda deAB{\displaystyle \mathbf {AB} }corresponde a la consideración de todas las rutas (resaltadas) desde la mercancía básica.b4{\displaystyle b_{4}}al producto finalF1{\displaystyle f_{1}}en el diagrama de flujo de producción.

Como ejemplo, una fábrica ficticia utiliza 4 tipos de materias primas básicas ,b1,b2,b3,b4{\displaystyle b_{1},b_{2},b_{3},b_{4}}producir 3 tipos de bienes intermedios ,metro1,metro2,metro3{\displaystyle m_{1},m_{2},m_{3}}, que a su vez se utilizan para producir 3 tipos de productos finales ,F1,F2,F3{\displaystyle f_{1},f_{2},f_{3}}. Las matrices

A=(101211011112){\displaystyle \mathbf {A} ={\begin{pmatrix}1&0&1\\2&1&1\\0&1&1\\1&1&2\\\end{pmatrix}}} y B=(121231422){\displaystyle \mathbf {B} ={\begin{pmatrix}1&2&1\\2&3&1\\4&2&2\\\end{pmatrix}}}

proporcionar la cantidad de materias primas básicas necesarias para una cantidad determinada de bienes intermedios, y la cantidad de bienes intermedios necesarios para una cantidad determinada de productos finales, respectivamente. Por ejemplo, para producir una unidad de bienes intermediosmetro1{\displaystyle m_{1}}una unidad de producto básicob1{\displaystyle b_{1}}, dos unidades deb2{\displaystyle b_{2}}, ninguna unidad deb3{\displaystyle b_{3}}y una unidad deb4{\displaystyle b_{4}}son necesarios, correspondientes a la primera columna deA{\displaystyle \mathbf {A} }.

Utilizando la multiplicación de matrices, calcule

AB=(543895 6531196);{\displaystyle \mathbf {AB} ={\begin{pmatrix}5&4&3\\8&9&5\\\ 6&5&3\\11&9&6\\\end{pmatrix}};}

Esta matriz proporciona directamente las cantidades de productos básicos necesarios para determinadas cantidades de bienes finales. Por ejemplo, la entrada inferior izquierda deAB{\displaystyle \mathbf {AB} }se calcula como11+12+24=11{\displaystyle 1\cdot 1+1\cdot 2+2\cdot 4=11}, reflejando que11{\displaystyle 11}unidades deb4{\displaystyle b_{4}}son necesarios para producir una unidad deF1{\displaystyle f_{1}}De hecho, unob4{\displaystyle b_{4}}Se necesita una unidad parametro1{\displaystyle m_{1}}, uno por cada uno de los dosmetro2{\displaystyle m_{2}}, y2{\displaystyle 2}para cada uno de los cuatrometro3{\displaystyle m_{3}}unidades que entran en elF1{\displaystyle f_{1}}unidad, ver imagen.

Para producir, por ejemplo, 100 unidades del producto final.F1{\displaystyle f_{1}}, 80 unidades deF2{\displaystyle f_{2}}y 60 unidades deF3{\displaystyle f_{3}}, las cantidades necesarias de bienes básicos se pueden calcular como

(AB)(1008060)=(1000182011802180),{\displaystyle (\mathbf {AB} ){\begin{pmatrix}100\\80\\60\\\end{pmatrix}}={\begin{pmatrix}1000\\1820\\1180\\2180\end{pmatrix}},}

eso es,1000{\displaystyle 1000}unidades deb1{\displaystyle b_{1}},1820{\displaystyle 1820}unidades deb2{\displaystyle b_{2}},1180{\displaystyle 1180}unidades deb3{\displaystyle b_{3}},2180{\displaystyle 2180}unidades deb4{\displaystyle b_{4}}son necesarios. De manera similar, la matriz del productoAB{\displaystyle \mathbf {AB} }puede utilizarse para calcular las cantidades necesarias de bienes básicos para otros datos de cantidades de bienes finales. [ 9 ]

Sistema de ecuaciones lineales

La forma general de un sistema de ecuaciones lineales es

a11incógnita1++a1norteincógnitanorte=b1,a21incógnita1++a2norteincógnitanorte=b2,ametro1incógnita1++ametronorteincógnitanorte=bmetro.{\displaystyle {\begin{matrix}a_{11}x_{1}+\cdots +a_{1n}x_{n}=b_{1},\\a_{21}x_{1}+\cdots +a_{2n}x_{n}=b_{2},\\\vdots \\a_{m1}x_{1}+\cdots +a_{mn}x_{n}=b_{m}.\end{matrix}}}

Utilizando la misma notación que la anterior, dicho sistema es equivalente a la ecuación matricial simple.

Aincógnita=b.{\displaystyle \mathbf {Ax} =\mathbf {b} .}

Producto escalar, forma bilineal y forma sesquilineal

El producto escalar de dos vectores columna es la única entrada del producto matricial.

incógnitaTy,{\displaystyle \mathbf {x} ^{\mathsf {T}}\mathbf {y} ,}

dóndeincógnitaT{\displaystyle \mathbf {x} ^{\mathsf {T}}}es el vector fila obtenido al transponerincógnita{\displaystyle \mathbf {x} }(Como es habitual, una matriz de 1×1 se identifica con su única entrada).

De forma más general, cualquier forma bilineal sobre un espacio vectorial de dimensión finita puede expresarse como un producto matricial.

incógnitaTAy,{\displaystyle \mathbf {x} ^{\mathsf {T}}\mathbf {Ay} ,}

y cualquier forma sesquilineal puede expresarse como

incógnitaAy,{\displaystyle \mathbf {x} ^{\dagger }\mathbf {Ay} ,}

dóndeincógnita{\displaystyle \mathbf {x} ^{\dagger }}denota la transpuesta conjugada deincógnita{\displaystyle \mathbf {x} }(conjugado de la transpuesta, o equivalentemente transpuesta del conjugado).

Propiedades generales

La multiplicación de matrices comparte algunas propiedades con la multiplicación usual . Sin embargo, la multiplicación de matrices no está definida si el número de columnas del primer factor difiere del número de filas del segundo factor, y no es conmutativa , [ 10 ] incluso cuando el producto permanece definido después de cambiar el orden de los factores. [ 11 ] [ 12 ]

No conmutatividad

Una operación es conmutativa si, dados dos elementos A y B tales que el productoAB{\displaystyle \mathbf {A} \mathbf {B} }se define, entoncesBA{\displaystyle \mathbf {B} \mathbf {A} }También se define, yAB=BA.{\displaystyle \mathbf {A} \mathbf {B} =\mathbf {B} \mathbf {A} .}

Si A y B son matrices de tamaños respectivosmetro×norte{\displaystyle m\times n}ypag×q{\displaystyle p\times q}, entoncesAB{\displaystyle \mathbf {A} \mathbf {B} }se define sinorte=pag{\displaystyle n=p}yBA{\displaystyle \mathbf {B} \mathbf {A} }se define simetro=q{\displaystyle m=q}Por lo tanto, si uno de los productos está definido, el otro no necesita estar definido. Simetro=qnorte=pag{\displaystyle m=q\neq n=p} , los dos productos están definidos, pero tienen tamaños diferentes; por lo tanto, no pueden ser iguales. Solo simetro=q=norte=pag{\displaystyle m=q=n=p} , es decir, si A y B son matrices cuadradas del mismo tamaño, ambos productos están definidos y son del mismo tamaño. Incluso en este caso, se tiene en general

ABBA.{\displaystyle \mathbf {A} \mathbf {B} \neq \mathbf {B} \mathbf {A} .}

Por ejemplo

(0100)(0010)=(1000),{\displaystyle {\begin{pmatrix}0&1\\0&0\end{pmatrix}}{\begin{pmatrix}0&0\\1&0\end{pmatrix}}={\begin{pmatrix}1&0\\0&0\end{pmatrix}},}

pero

(0010)(0100)=(0001).{\displaystyle {\begin{pmatrix}0&0\\1&0\end{pmatrix}}{\begin{pmatrix}0&1\\0&0\end{pmatrix}}={\begin{pmatrix}0&0\\0&1\end{pmatrix}}.}

Este ejemplo puede ampliarse para mostrar que, si A es unnorte×norte{\displaystyle n\times n}matriz con entradas en un campo F , entoncesAB=BA{\displaystyle \mathbf {A} \mathbf {B} =\mathbf {B} \mathbf {A} }por cadanorte×norte{\displaystyle n\times n}matriz B con entradas en F , si y solo siA=doI{\displaystyle \mathbf {A} =c\,\mathbf {I} }dondedoF{\displaystyle c\in F} , y yo soy el/lanorte×norte{\displaystyle n\times n}Matriz identidad . Si, en lugar de un campo, se supone que las entradas pertenecen a un anillo , entonces se debe agregar la condición de que c pertenezca al centro del anillo.

One special case where commutativity does occur is when D and E are two (square) diagonal matrices (of the same size); then DE = ED.[10] Again, if the matrices are over a general ring rather than a field, the corresponding entries in each must also commute with each other for this to hold.

Distributivity

The matrix product is distributive with respect to matrix addition. That is, if A, B, C, D are matrices of respective sizes m × n, n × p, n × p, and p × q, respectively, one has (left distributivity)

A(B+C)=AB+AC,{\displaystyle \mathbf {A} (\mathbf {B} +\mathbf {C} )=\mathbf {AB} +\mathbf {AC} ,}

and (right distributivity)

(B+C)D=BD+CD.{\displaystyle (\mathbf {B} +\mathbf {C} )\mathbf {D} =\mathbf {BD} +\mathbf {CD} .}[10]

This results from the distributivity for coefficients by

kaik(bkj+ckj)=kaikbkj+kaikckj{\displaystyle \sum _{k}a_{ik}(b_{kj}+c_{kj})=\sum _{k}a_{ik}b_{kj}+\sum _{k}a_{ik}c_{kj}}
k(bik+cik)dkj=kbikdkj+kcikdkj.{\displaystyle \sum _{k}(b_{ik}+c_{ik})d_{kj}=\sum _{k}b_{ik}d_{kj}+\sum _{k}c_{ik}d_{kj}.}

Product with a scalar

If A is a matrix and c a scalar, then the matrices cA{\displaystyle c\mathbf {A} } and Ac{\displaystyle \mathbf {A} c} are obtained by left or right multiplying all entries of A by c. If the scalars have the commutative property, then cA=Ac.{\displaystyle c\mathbf {A} =\mathbf {A} c.}

If the product AB{\displaystyle \mathbf {AB} } is defined (that is, the number of columns of A equals the number of rows of B), then

c(AB)=(cA)B{\displaystyle c(\mathbf {AB} )=(c\mathbf {A} )\mathbf {B} } and (AB)c=A(Bc).{\displaystyle (\mathbf {A} \mathbf {B} )c=\mathbf {A} (\mathbf {B} c).}

If the scalars have the commutative property, then all four matrices are equal. More generally, all four are equal if c belongs to the center of a ring containing the entries of the matrices, because in this case, cX = Xc for all matrices X.

These properties result from the bilinearity of the product of scalars:

c(kaikbkj)=k(caik)bkj{\displaystyle c\left(\sum _{k}a_{ik}b_{kj}\right)=\sum _{k}(ca_{ik})b_{kj}}
(kaikbkj)c=kaik(bkjc).{\displaystyle \left(\sum _{k}a_{ik}b_{kj}\right)c=\sum _{k}a_{ik}(b_{kj}c).}

Transpose

If the scalars have the commutative property, the transpose of a product of matrices is the product, in the reverse order, of the transposes of the factors. That is

(AB)T=BTAT{\displaystyle (\mathbf {AB} )^{\mathsf {T}}=\mathbf {B} ^{\mathsf {T}}\mathbf {A} ^{\mathsf {T}}}

where T denotes the transpose, that is the interchange of rows and columns.

This identity does not hold for noncommutative entries, since the order between the entries of A and B is reversed, when one expands the definition of the matrix product.

Complex conjugate

If A and B have complex entries, then

(AB)=AB{\displaystyle (\mathbf {AB} )^{*}=\mathbf {A} ^{*}\mathbf {B} ^{*}}

where * denotes the entry-wise complex conjugate of a matrix.

Esto resulta de aplicar a la definición de producto matricial el hecho de que el conjugado de una suma es la suma de los conjugados de los sumandos y el conjugado de un producto es el producto de los conjugados de los factores.

La transposición actúa sobre los índices de las entradas, mientras que la conjugación actúa independientemente sobre las entradas mismas. Resulta que, si A y B tienen entradas complejas, se tiene

(AB)=BA,{\displaystyle (\mathbf {AB} )^{\dagger }=\mathbf {B} ^{\dagger }\mathbf {A} ^{\dagger },}

donde denota la transpuesta conjugada (conjugada de la transpuesta, o equivalentemente transpuesta de la conjugada).

Asociatividad

Dadas tres matrices A , B y C , los productos ( AB ) C y A ( BC ) están definidos si y solo si el número de columnas de A es igual al número de filas de B , y el número de columnas de B es igual al número de filas de C (en particular, si uno de los productos está definido, entonces el otro también lo está). En este caso, se tiene la propiedad asociativa .

(AB)do=A(Bdo).{\displaystyle (\mathbf {AB} )\mathbf {C} =\mathbf {A} (\mathbf {BC} ).}

En cuanto a cualquier operación asociativa, esto permite omitir los paréntesis y escribir los productos anteriores como ABdo.{\displaystyle \mathbf {ABC} .}

Esto se extiende naturalmente al producto de cualquier número de matrices siempre que las dimensiones coincidan. Es decir, si A 1 , A 2 , ..., A n son matrices tales que el número de columnas de A i es igual al número de filas de A i + 1 para i = 1, ..., n – 1 , entonces el producto

i=1norteAi=A1A2Anorte{\displaystyle \prod _{i=1}^{n}\mathbf {A} _{i}=\mathbf {A} _{1}\mathbf {A} _{2}\cdots \mathbf {A} _{n}}

está definido y no depende del orden de las multiplicaciones , si el orden de las matrices se mantiene fijo.

Estas propiedades pueden demostrarse mediante manipulaciones de suma sencillas pero complejas . Este resultado también se deriva del hecho de que las matrices representan funciones lineales . Por lo tanto, la propiedad asociativa de las matrices es simplemente un caso específico de la propiedad asociativa de la composición de funciones .

La complejidad computacional depende de la paréntesis.

Si bien el resultado de una secuencia de productos de matrices no depende del orden de las operaciones (siempre que no se cambie el orden de las matrices), la complejidad computacional puede depender drásticamente de este orden.

Por ejemplo, si A , B y C son matrices de tamaños respectivos 10×30, 30×5, 5×60 , calcular ( AB ) C necesita 10×30×5 + 10×5×60 = 4500 multiplicaciones, mientras que calcular A ( BC ) necesita 30×5×60 + 10×30×60 = 27000 multiplicaciones.

Se han diseñado algoritmos para elegir el mejor orden de productos; véase Multiplicación en cadena de matrices . Cuando el número n de matrices aumenta, se ha demostrado que la elección del mejor orden tiene una complejidad deO(norteregistronorte).{\displaystyle O(n\log n).}[ 13 ] [ 14 ]

Aplicación a la similitud

Cualquier matriz invertiblePAG{\displaystyle \mathbf {P} }define una transformación de similitud (en matrices cuadradas del mismo tamaño quePAG{\displaystyle \mathbf {P} })

SPAG(A)=PAG1APAG.{\displaystyle S_{\mathbf {P} }(\mathbf {A} )=\mathbf {P} ^{-1}\mathbf {A} \mathbf {P} .}

Las transformaciones de similitud mapean productos a productos, es decir

SPAG(AB)=SPAG(A)SPAG(B).{\displaystyle S_{\mathbf {P} }(\mathbf {AB} )=S_{\mathbf {P} }(\mathbf {A} )S_{\mathbf {P} }(\mathbf {B} ).}

De hecho, uno tiene

PAG1(AB)PAG=PAG1A(PAGPAG1)BPAG=(PAG1APAG)(PAG1BPAG).{\displaystyle \mathbf {P} ^{-1}(\mathbf {AB} )\mathbf {P} =\mathbf {P} ^{-1}\mathbf {A} (\mathbf {P} \mathbf {P} ^{-1})\mathbf {B} \mathbf {P} =(\mathbf {P} ^{-1}\mathbf {A} \mathbf {P} )(\mathbf {P} ^{-1}\mathbf {B} \mathbf {P} ).}

Matrices cuadradas

DenotemosMETROnorte(R){\displaystyle {\mathcal {M}}_{n}(R)}el conjunto de matrices cuadradas n × n con entradas en un anillo R , que, en la práctica, suele ser un cuerpo .

EnMETROnorte(R){\displaystyle {\mathcal {M}}_{n}(R)}El producto se define para cada par de matrices. Esto hace que...METROnorte(R){\displaystyle {\mathcal {M}}_{n}(R)}un anillo que tiene como elemento identidad la matriz identidad I (la matriz cuyas entradas diagonales son iguales a 1 y todas las demás entradas son 0). Este anillo es también un álgebra R asociativa .

Si n > 1 , muchas matrices no tienen un inverso multiplicativo . Por ejemplo, una matriz tal que todas las entradas de una fila (o una columna) son 0 no tiene un inverso. Si existe, el inverso de una matriz A se denota A −1 y, por lo tanto, verifica

AA1=A1A=I.{\displaystyle \mathbf {A} \mathbf {A} ^{-1}=\mathbf {A} ^{-1}\mathbf {A} =\mathbf {I} .}

Una matriz que tiene inversa es una matriz invertible . De lo contrario, es una matriz singular .

Un producto de matrices es invertible si y solo si cada factor es invertible. En este caso, se tiene

(AB)1=B1A1.{\displaystyle (\mathbf {A} \mathbf {B} )^{-1}=\mathbf {B} ^{-1}\mathbf {A} ^{-1}.}

Cuando R es conmutativo y, en particular, cuando es un cuerpo, el determinante de un producto es el producto de los determinantes. Como los determinantes son escalares y los escalares conmutan, se tiene que

det(AB)=det(BA)=det(A)det(B).{\displaystyle \det(\mathbf {AB} )=\det(\mathbf {BA} )=\det(\mathbf {A} )\det(\mathbf {B} ).}

Los demás invariantes de matriz no se comportan tan bien con los productos. Sin embargo, si R es conmutativa, AB y BA tienen la misma traza , el mismo polinomio característico y los mismos autovalores con las mismas multiplicidades. No obstante, los autovectores son generalmente diferentes si ABBA .

Potencias de una matriz

Se puede elevar una matriz cuadrada a cualquier potencia entera no negativa multiplicándola repetidamente por sí misma de la misma manera que para los números ordinarios. Es decir,

A0=I,{\displaystyle \mathbf {A} ^{0}=\mathbf {I} ,}
A1=A,{\displaystyle \mathbf {A} ^{1}=\mathbf {A} ,}
Ak=AAAk veces.{\displaystyle \mathbf {A} ^{k}=\underbrace {\mathbf {A} \mathbf {A} \cdots \mathbf {A} } _{k{\text{ times}}}.}

Calcular la k -ésima potencia de una matriz requiere k – 1 veces el tiempo de una sola multiplicación de matrices, si se realiza con el algoritmo trivial (multiplicación repetida). Dado que esto puede consumir mucho tiempo, generalmente se prefiere usar la exponenciación por elevación al cuadrado , que requiere menos de 2 log 2 k multiplicaciones de matrices y, por lo tanto, es mucho más eficiente.

Un caso sencillo para la exponenciación es el de una matriz diagonal . Dado que el producto de matrices diagonales equivale simplemente a multiplicar los elementos diagonales correspondientes, la k -ésima potencia de una matriz diagonal se obtiene elevando sus entradas a la potencia k :

[a11000a22000anortenorte]k=[a11k000a22k000anortenortek].{\displaystyle {\begin{bmatrix}a_{11}&0&\cdots &0\\0&a_{22}&\cdots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\cdots &a_{nn}\end{bmatrix}}^{k}={\begin{bmatrix}a_{11}^{k}&0&\cdots &0\\0&a_{22}^{k}&\cdots &0\\\vdots &\vdots &\ddots &\vdots \\0&0&\cdots &a_{nn}^{k}\end{bmatrix}}.}

Álgebra abstracta

La definición de producto matricial requiere que las entradas pertenezcan a un semianillo, y no requiere que la multiplicación de elementos del semianillo sea conmutativa . En muchas aplicaciones, los elementos de la matriz pertenecen a un cuerpo, aunque el semianillo tropical también es una opción común para problemas de camino más corto en grafos. [ 15 ] Incluso en el caso de matrices sobre cuerpos, el producto no es conmutativo en general, aunque es asociativo y distributivo sobre la suma de matrices . Las matrices identidad (que son las matrices cuadradas cuyas entradas son cero fuera de la diagonal principal y 1 en la diagonal principal) son elementos identidad del producto matricial. De ello se deduce que las matrices n × n sobre un anillo forman un anillo, que no es conmutativo excepto si n = 1 y el anillo base es conmutativo.

Una matriz cuadrada puede tener una inversa multiplicativa , llamada matriz inversa . En el caso común donde las entradas pertenecen a un anillo conmutativo R , una matriz tiene inversa si y solo si su determinante tiene una inversa multiplicativa en R. El determinante de un producto de matrices cuadradas es el producto de los determinantes de los factores. Las matrices n × n que tienen inversa forman un grupo bajo la multiplicación de matrices, cuyos subgrupos se denominan grupos de matrices . Muchos grupos clásicos (incluidos todos los grupos finitos ) son isomorfos a grupos de matrices; este es el punto de partida de la teoría de las representaciones de grupos .

Las matrices son morfismos de una categoría , la categoría de matrices . Los objetos son los números naturales que miden el tamaño de las matrices, y la composición de morfismos es la multiplicación de matrices. El origen de un morfismo es el número de columnas de la matriz correspondiente, y el destino es el número de filas.

Complejidad computacional

Mejora de las estimaciones del exponente ω a lo largo del tiempo para la complejidad computacional de la multiplicación de matrices.O(norteω){\displaystyle O(n^{\omega })}

El algoritmo de multiplicación de matrices que resulta de la definición requiere, en el peor de los casos ,norte3{\displaystyle n^{3}}multiplicaciones y(norte1)norte2{\displaystyle (n-1)n^{2}} sumas de escalares para calcular el producto de dos matrices cuadradas n × n . Por lo tanto, su complejidad computacional esO(norte3){\displaystyle O(n^{3})}, en un modelo de computación para el cual las operaciones escalares toman un tiempo constante.

Sorprendentemente, esta complejidad no es óptima, como demostró en 1969 Volker Strassen , quien proporcionó un algoritmo, ahora llamado algoritmo de Strassen , con una complejidad deO(norteregistro27)O(norte2.8074).{\displaystyle O(n^{\log _{2}7})\approx O(n^{2.8074}).}[ 16 ] El algoritmo de Strassen se puede paralelizar para mejorar aún más el rendimiento. [ 17 ] A partir de enerode 2024 , el mejor algoritmo de multiplicación de matrices revisado por pares es el de Virginia Vassilevska Williams , Yinzhan Xu, Zixuan Xu y Renfei Zhou y tiene una complejidad O ( n 2.371552 ) . [ 18 ] [ 19 ] No se sabe si la multiplicación de matrices se puede realizar en tiempo n 2 + o(1) . [ 20 ] Esto sería óptimo, ya que uno debe leer el norte2{\displaystyle n^{2}}elementos de una matriz para multiplicarla por otra matriz.

Dado que la multiplicación de matrices constituye la base de muchos algoritmos, e incluso muchas operaciones con matrices tienen la misma complejidad que la multiplicación de matrices (salvo una constante multiplicativa), la complejidad computacional de la multiplicación de matrices aparece a lo largo del álgebra lineal numérica y la informática teórica .

Generalizaciones

Otros tipos de productos de matrices incluyen:

Véase también

  • Cálculo matricial , para la interacción de la multiplicación de matrices con operaciones del cálculo.

Notas

  1. 1 2 Nykamp, ​​Duane. "Multiplicación de matrices y vectores" . Math Insight . Consultado el 6 de septiembre de 2020 .
  2. O'Connor, John J.; Robertson, Edmund F. , "Jacques Philippe Marie Binet" , Archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews
  3. Lerner, RG ; Trigg, GL (1991). Enciclopedia de Física (2.ª ed.). Editorial VHC. ISBN  978-3-527-26954-9.
  4. Parker, CB (1994). Enciclopedia de Física de McGraw Hill (2.ª ed.). McGraw-Hill. ISBN  978-0-07-051400-3.
  5. Lipschutz, S.; Lipson, M. (2009). Álgebra lineal . Esquemas de Schaum (4ª ed.). McGraw Hill (Estados Unidos). págs. 30-31 . ISBN   978-0-07-154352-1.
  6. Riley, KF; Hobson, MP; Bence, SJ (2010). Métodos matemáticos para la física y la ingeniería . Cambridge University Press. ISBN 978-0-521-86153-3.
  7. Adams, RA (1995). Cálculo, un curso completo (3.ª ed.). Addison Wesley. pág. 627. ISBN   0-201-82823-5.
  8. Horn, Johnson (2013). Análisis matricial (2.ª ed.). Cambridge University Press. pág. 6. ISBN   978-0-521-54823-6.
  9. Peter Stingl (1996). Mathematik für Fachhochschulen Technik und Informatik (en alemán) (5ª ed.). Múnich : Carl Hanser Verlag . ISBN  3-446-18668-9.Aquí: Exm.5.4.10, págs. 205-206
  10. 1 2 3 Weisstein, Eric W. "Multiplicación de matrices" . mathworld.wolfram.com . Consultado el 6 de septiembre de 2020 .
  11. Lipcshutz, S.; Lipson, M. (2009). "2". Álgebra lineal . Schaum's Outlines (4.ª ed.). McGraw Hill (EE. UU.). ISBN  978-0-07-154352-1.
  12. Horn, Johnson (2013). «Capítulo 0». Análisis matricial (2.ª ed.). Cambridge University Press. ISBN  978-0-521-54823-6.
  13. Hu, TC ; Shing, M.-T. (1982). "Cálculo de productos de cadenas de matrices, parte I" (PDF) . SIAM Journal on Computing . 11 (2): 362–373 . CiteSeerX 10.1.1.695.2923 . doi : 10.1137/0211028 . ISSN 0097-5397 . Archivado del original (PDF) el 4 de agosto de 2016. Recuperado el 2 de agosto de 2024 .  
  14. Hu, TC ; Shing, M.-T. (1984). "Cálculo de productos de cadenas de matrices, parte II" (PDF) . SIAM Journal on Computing . 13 (2): 228–251 . CiteSeerX 10.1.1.695.4875 . doi : 10.1137/0213017 . ISSN 0097-5397 . Archivado del original (PDF) el 4 de agosto de 2016. Recuperado el 2 de agosto de 2024 .  
  15. Motwani, Rajeev ; Raghavan, Prabhakar (1995). Algoritmos aleatorios . Cambridge University Press. pág. 280. ISBN  9780521474658.
  16. Volker Strassen (agosto de 1969). "La eliminación gaussiana no es óptima" . Matemática numérica . 13 (4): 354– 356. doi : 10.1007/BF02165411 . S2CID 121656251 . 
  17. C.-C. Chou y Y.-F. Deng y G. Li y Y. Wang (1995). "Paralelización del método de Strassen para la multiplicación de matrices en arquitecturas MIMD de memoria distribuida" (PDF) . Computers Math. Applic . 30 (2): 49– 69. doi : 10.1016/0898-1221(95)00077-C .
  18. Vassilevska Williams, Virginia; Xu, Yinzhan; Xu, Zixuan; Zhou, Renfei. Nuevos límites para la multiplicación de matrices: de alfa a omega . Actas del Simposio Anual ACM-SIAM de 2024 sobre Algoritmos Discretos (SODA). págs. 3792–3835 . arXiv : 2307.07970 . doi : 10.1137 /1.9781611977912.134 . 
  19. Nadis, Steve (7 de marzo de 2024). "Nuevo avance acerca la multiplicación de matrices al ideal" . Recuperado el 9 de marzo de 2024 .
  20. es decir, en el tiempo n 2+f(n) , para alguna función f tal que f ( n ) 0 cuando n →∞

Referencias

  • Henry Cohn, Robert Kleinberg , Balázs Szegedy y Chris Umans. Algoritmos basados ​​en la teoría de grupos para la multiplicación de matrices. arXiv : math.GR/0511460 . Actas del 46.º Simposio Anual sobre Fundamentos de la Informática , 23-25 ​​de octubre de 2005, Pittsburgh, PA, IEEE Computer Society, págs. 379-388. 
  • Henry Cohn, Chris Umans. Un enfoque basado en la teoría de grupos para la multiplicación rápida de matrices. arXiv : math.GR/0307321 . Actas del 44.º Simposio Anual del IEEE sobre Fundamentos de la Informática , 11-14 de octubre de 2003, Cambridge, MA, IEEE Computer Society, págs. 438-449. 
  • Coppersmith, D.; Winograd, S. (1990). "Multiplicación de matrices mediante progresiones aritméticas" . J. Symbolic Comput . 9 (3): 251– 280. doi : 10.1016/s0747-7171(08)80013-2 .
  • Horn, Roger A.; Johnson, Charles R. (1991), Temas de análisis matricial , Cambridge University Press , ISBN 978-0-521-46713-1
  • Knuth, DE , El arte de la programación informática, Volumen 2: Algoritmos seminuméricos . Addison-Wesley Professional; 3.ª edición (14 de noviembre de 1997). ISBN 978-0-201-89684-8págs.  501.
  • Press, William H.; Flannery, Brian P.; Teukolsky, Saul A .; Vetterling, William T. (2007), Numerical Recipes: The Art of Scientific Computing (3.ª  ed.), Cambridge University Press , ISBN 978-0-521-88068-8.
  • Ran Raz . Sobre la complejidad del producto matricial. En Actas del trigésimo cuarto simposio anual de la ACM sobre Teoría de la Computación. ACM Press, 2002. doi : 10.1145/509907.509932 .
  • Robinson, Sara, Hacia un algoritmo óptimo para la multiplicación de matrices, SIAM News 38(9), noviembre de 2005. PDF
  • Strassen, Volker, La eliminación gaussiana no es óptima , Numer. Math. 13, págs.  354–356, 1969.
  • Styan, George PH (1973), "Productos de Hadamard y análisis estadístico multivariante" (PDF) , Álgebra lineal y sus aplicaciones , 6 : 217–240 , doi : 10.1016/0024-3795(73)90023-2
  • Williams, Virginia Vassilevska (19 de mayo de 2012). «Multiplicación de matrices más rápida que Coppersmith-Winograd» . Actas del 44.º simposio sobre Teoría de la Computación - STOC '12 . ACM. págs. 887–898 . CiteSeerX 10.1.1.297.2680 . doi : 10.1145/2213977.2214056 . ISBN   9781450312455. S2CID 14350287 .