Operaciones bsicas

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.

[editar] Suma o adicin

Sean . Se define la operacin de suma o adicin de matrices como

una operacin binaria tal que
y donde en el que la operacin de suma en la
ltima expresin es la operacin binaria correspondiente pero en el campo . Por ejemplo,
la entrada es igual a la suma de los elementos y lo cual es .

Veamos un ejemplo ms explcito. Sea

No es necesario que las matrices sean cuadradas:

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

Sean , donde es un campo entonces se cumplen las siguientes

propiedades para la operacin binaria

Asociatividad
Demostracin. Dada la definicin de la operacin binaria se sigue el resultado ya que
debido a que para todo .

Conmutatividad

Demostracin Dada la definicin de la operacin binaria se sigue el resultado ya que

debido a que para todo .

Existencia del elemento neutro aditivo

Existe tal que

Demostracin Tmese tal que para cualquier

(dnde este ltimo es el elemento neutro aditivo en el campo, el cual existe
necesariamente). Entonces para cualquier se sigue que ya
que para cualquier , dado que las entradas estn en un
campo.

Existencia del inverso aditivo

Existe tal que

a esta matriz se le denota por .

Demostracin Dada tmese tal que .

Entonces ; luego, por las propiedades de campo
donde es el inverso aditivo de en el campo para cualquier .

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 .

[editar] Producto por un escalar

Sean y . Se define la operacin de producto por un escalar

como una funcin tal que y
donde en donde el producto es la operacin binaria correspondiente pero en el
campo . Por ejemplo, la entrada es igual al producto .

Veamos un ejemplo ms explcito. Sea y

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

Sean y , donde es un campo, entonces se cumplen las

siguientes propiedades para la operacin producto por un escalar

Asociatividad

Demostracin. Dada la definicin de la operacin se sigue el resultado ya que

debido a que para todo .

Distributividad respecto de la suma de matrices

Demostracin Dada la definicin de la operacin se sigue el resultado ya que
debido a que para todo .

Distributividad respecto de la suma en el campo

Demostracin Dada la definicin de la operacin se sigue el resultado ya que

debido a que para todo .

Producto por el neutro multiplicativo del campo

Demostracin Dada la definicin de la operacin se sigue el resultado ya que

debido a que para todo .

Por como se defini la operacin de producto por escalares se dice que es

cerrado bajo producto por escalares. Con stas propiedades y las de la adicin se tiene que
es un espacio vectorial con las operaciones de suma y producto por escalares
definidas antes.

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 .

Ahora, a partir de las propiedades bsicas se puede demostrar inmediatamente que

Demostracin Dada la definicin de la operacin se sigue el resultado ya que

para todo .

Demostracin Dada la definicin de la operacin se sigue el resultado ya que

para todo debido a que para todo .
Demostracin Dada la definicin de la operacin se sigue el resultado ya que como en un
campo no hay divisores de cero entonces para todo implica que
o para todo , i.e. . No es posible un caso en el que slo algunas
entradas de la matriz sean cero y el escalar sea no nulo ya que en esos casos estaramos
diciendo que hay divisores de cero y llegaramos a una contradiccin, ya que la suposicin
es que las entradas y los escalares estn en un campo.

Demostracin Dada la definicin de la operacin se sigue el resultado ya que

debid
o a que para todo .

Este ltimo resultado permite usar la notacin sin riesgo de ambigedad.

[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.

En efecto, en ciertas bases tenemos que se puede representar como

donde es la representacin de un vector de en la base que se ha elegido
para en forma de vector columna. Si tenemos dos aplicaciones lineales y
entonces y , luego la aplicacin
se representar como
donde es el producto de las representaciones matriciales de . Ntese que la
composicin no se puede dar entre cualquier aplicacin sino entre aplicaciones que vayan
de , en particular debe de haber una relacin entre las dimensiones de los
espacios vectoriales. Una vez dicho sto podemos definir el producto de la siguiente
manera.
Sean y . Se define el producto de matrices como
una funcin tal que

y donde para toda , es decir

. Por ejemplo, la entrada
.

Veamos un ejemplo ms explcito. Sean y

dnde la matriz producto es como habamos establecido en la definicin: una matriz

.

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

Sean matrices con entradas en , donde es un campo, entonces se cumplen

las siguientes propiedades para el producto de matrices (considerando que los productos
existan)

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 .

Distributividad respecto de la suma de matrices por la derecha

Demostracin Dada la definicin de la operacin se sigue el resultado ya que

debido a que
para todo . Aqu estamos considerando que es , es
y es .

Distributividad respecto de la suma de matrices por la izquierda

Demostracin Dada la definicin de la operacin se sigue el resultado ya que

debido a
que para todo . Aqu estamos considerando que es , es
y es .

El producto de matrices no es conmutativo, si lo fuera la composicin de funciones lineales

sera conmutativa y eso en general no sucede. Obviamente existen casos particulares de
algunos tipos de matrices en los que si hay conmutatividad. En el caso en que tengamos
tendremos que el producto entre matrices en tambin est en .
En ese caso adems de espacio vectorial es un lgebra sobre un campo. En el caso
de que el conjunto al que pertenecen las entradas sea un anillo conmutativo con uno
entonces adems de mdulo es un lgebra sobre un anillo. Mas an
con el producto de matrices es un anillo.