Las operaciones que se pueden hacer con matrices provienen de sus aplicaciones, sobre
todo de las aplicaciones en lgebra lineal. De ese modo las operaciones, o su forma muy
particular de ser implementadas, no son nicas.
A la luz de stos ejemplos es inmediato ver que dos matrices se pueden sumar solamente si
ambas tienen el mismo tamao. La suma de matrices en el caso de que las entradas estn en
un campo sern la asociatividad, la conmutatividad, existencia de elemento neutro aditivo y
existencia de inverso aditivo. sto es as ya que stas son propiedades de los campos en los
que estn las entradas de la matriz. A continuacin se presentan las propiedades.
[editar] Propiedades
Asociatividad
Demostracin. Dada la definicin de la operacin binaria se sigue el resultado ya que
debido a que para todo .
Conmutatividad
En efecto, stas propiedades dependen el conjunto en el que estn las entradas, como se ha
dicho antes, aunque en las aplicaciones generalmente los campos usados son (los
nmeros reales) y (los nmeros complejos).
Por como se defini la operacin binaria adicin se dice que sta operacin es una
operacin interna por lo que se cumple intrinsecamente la propiedad de que es
cerrado bajo adicin. Con stas propiedades se tiene que es un grupo
abeliano.
En el caso en que el conjunto al que pertenecen las entradas de la matriz sea un anillo
, la operacin de adicin de matrices contina dotando de estructura de grupo
abeliano a , ya que bajo un anillo se tiene que es
un grupo abeliano. En el caso de que las entradas estn en un grupo , ste necesita
ser un grupo abeliano para que la adicin de matrices siga dotando de estructura de grupo
abeliano a .
Tambin es inmediato observar que el producto por un escalar da como resultado una
matriz del mismo tamao que la original. Tambin el producto por un escalar depender de
la estructura algebraica en la que las entradas estn. En el caso de que estn en un campo
sern dos distributividades (una respecto de suma de matrices y otra respecto de suma en el
campo), asociatividad y una propiedad concerniente al producto por el elemento neutro
multiplicativo del campo. A continuacin se presentan las propiedades.
[editar] Propiedades
Asociatividad
En el caso de que las entradas y los escalares no estn en un campo sino en un anillo
entonces no necesariamente existe el neutro multiplicativo. En caso de que exista, con lo
cual el anillo es un anillo con uno, se dice que es un mdulo sobre .
[editar] Producto
Diagrama esquemtico que ilustra el producto de dos matrices y dando como resultado
la matriz .
Artculo principal: Multiplicacin de matrices.
Artculo principal: Aplicacin lineal.
El producto de matrices se define de una manera muy peculiar y hasta caprichosa cuando
no se conoce su origen. El origen proviene del papel de las matrices como representaciones
de aplicaciones lineales. As el producto de matrices, como se define, proviene de la
composicin de aplicaciones lineales. En este contexto, el tamao de la matriz corresponde
con las dimensiones de los espacios vectoriales entre los cuales se establece la aplicacin
lineal. De ese modo el producto de matrices, representa la composicin de aplicaciones
lineales.
Sin tomar en cuenta la motivacin que viene desde las aplicaciones lineales, es evidente ver
que si ignoramos la definicin de la funcin de producto de matrices y slo se toma en
cuenta la definicin de las entradas, el producto no estar bien definido, ya que si no
tiene el mismo nmero de columnas que de filas entonces no podremos establecer en
donde acaba la suma: si la acabamos en el mayor de stos nmeros habr sumandos que no
estn definidos ya que una de las matrices no tendr mas entradas, mientras que si tomamos
el menor habr entradas de alguna de las matrices que no se tomen en cuenta. As es
necesario que tenga el mismo nmero de columnas que de filas para que
exista.
Como se puede suponer tambin, las propiedades de sta operacin sern ms limitadas en
la generalidad ya que adems de las limitaciones impuestas por la naturaleza de las entradas
est esta limitacin respecto a tamao. Es claro, adems, que el producto de matrices no
siempre es una operacin interna.
[editar] Propiedades
Asociatividad
Demostracin. Dada la definicin de la operacin se sigue el resultado ya que, si
, y por lo que
donde
debido a que para todo . Aqu estamos
considerando que es , es y es .
debido a que
para todo . Aqu estamos considerando que es , es
y es .
debido a
que para todo . Aqu estamos considerando que es , es
y es .