Definicin de una matriz Historia El origen de Cronologa1 las matrices es muy Ao Acontecimiento antiguo.

Los cuadrados En China los matemticos usan series de nmeros. latinos y los 200 a.C. cuadrados mgicos se 1848 d.C. J. J. Sylvester introduce el trmino "matriz". estudiaron desde hace 1858 Cayley publica Memorias sobre la teora de matrices. mucho tiempo. Un 1878 Frobenius demuestra resultados fundamentales en lgebra matricial. cuadrado mgico, 3 1925 Werner Heisenberg utiliza la teora matricial en la mecnica cuntica por 3, se registra en la literatura china hacia el 650 a. C.2 Es larga la historia del uso de las matrices para resolver ecuaciones lineales. Un importante texto matemtico chino que proviene del ao 300 a. C. a 200 a. C., Nueve captulos sobre el Arte de las matemticas (Jiu Zhang Suan Shu), es el primer ejemplo conocido de uso del mtodo de matrices para resolver un sistema de ecuaciones simultneas.3 En el captulo sptimo, "Ni mucho ni poco", el concepto de determinante apareci por primera vez, dos mil aos antes de su publicacin por el matemtico japons Seki Kwa en 1683 y el matemtico alemn Gottfried Leibniz en 1693. Los "cuadrados mgicos" eran conocidos por los matemticos rabes, posiblemente desde comienzos del siglo VII, quienes a su vez pudieron tomarlos de los matemticos y astrnomos de la India, junto con otros aspectos de las matemticas combinatorias. Todo esto sugiere que la idea provino de China. Los primeros "cuadrados mgicos" de orden 5 y 6 aparecieron en Bagdad en el 983, en la Enciclopedia de la Hermandad de Pureza (Rasa'il Ihkwan al-Safa).2 Despus del desarrollo de la teora de determinantes por Seki Kowa y Leibniz, a finales del siglo XVII, Cramer present en 1750 la ahora denominada regla de Cramer. Carl Friedrich Gauss y Wilhelm Jordan desarrollaron la eliminacin de Gauss-Jordan en el siglo XIX. Leibniz(1646-1716), uno de los dos fundadores del anlisis, desarroll la teora de los determinantes en 1693 para facilitar la Resolucin de las ecuaciones lineales. Gabriel Cramer tuvo que profundizar esta teora, presentando el mtodo de Cramer en 1750. En los aos 1800, el mtodo de eliminacin de Gauss-Jordan se puso a punto. Fue James Joseph Sylvester quien utiliz por primera vez el trmino matriz en1848/1850.

En 1853, Hamilton hizo algunos aportes a la teora de matrices. Cayley introdujo en 1858 la notacin matricial, como forma abreviada de escribir un sistema de m ecuaciones lineales con n incgnitas. Cayley, Hamilton, Hermann Grassmann, Frobenius, Olga Taussky-Todd y John von Neumann cuentan entre los matemticos famosos que trabajaron sobre la teora de las matrices. En 1925, Werner Heisenberg redescubre el clculo matricial fundando una primera formulacin de lo que iba a pasar a ser la mecnica cuntica. Se le considera a este respecto como uno de los padres de la mecnica cuntica. Olga Taussky-Todd (1906-1995), durante la II Guerra Mundial, us la teora de matrices para investigar el fenmeno de aeroelasticidad llamado fluttering.

Definiciones y notaciones
Una matriz es una arreglo bidimensional de nmeros (llamados entradas de la matriz) ordenados en filas (o renglones) y columnas, donde una fila es cada una de las lneas horizontales de la matriz y una columna es cada una de las lneas verticales. A una matriz con n filas y m columnas se le denomina matriz n-por-m (escrito ) donde . El conjunto de las matrices de tamao se representa como , donde es el campo al cual pertenecen las entradas. El tamao de una matriz siempre se da con el nmero de filas primero y el nmero de columnas despus. Dos matrices se dice que son iguales si tienen el mismo tamao y las mismas entradas. A la entrada de una matriz que se encuentra en la fila sima y la columna sima

se le llama entrada o entrada -simo de la matriz. En estas expresiones tambin se consideran primero las filas y despus las columnas. Casi siempre se denotan a las matrices con letras maysculas mientras que se utilizan las correspondientes letras en minsculas para denotar las entradas de las mismas. Por ejemplo, al elemento de una matriz que se encuentra en la fila sima y la columna sima se le denota como , donde y . Cuando se va a representar explcitamente una entrada la cul est indexada con un o un con dos cifras se introduce una coma entre el ndice de filas y de columnas. As por ejemplo, la entrada que est en la primera fila y la segunda columna de la matriz de tamao se representa como mientras que la entrada que est en la fila nmero 23 y la columna 100 se representa como . Adems de utilizar letras maysculas para representar matrices, numerosos autores representan a las matrices con fuentes en negrita para distinguirlas de otros objetos matemticos. As es una matriz, mientras que es un escalar en esa notacin. Sin embargo sta notacin generalmente se deja para libros y publicaciones, donde es posible hacer sta distincin tipogrfica con facilidad. En otras notaciones se considera que el contexto es lo suficientemente claro como para no usar negritas.

Otra notacin, en si un abuso de notacin, representa a la matriz por sus entradas, i.e. o incluso .

Otra definicin, muy usada en la solucin de sistemas de ecuaciones lineales, es la de vectores fila y vectores columna. Un vector fila o vector rengln es cualquier matriz de tamao mientras que un vector columna es cualquier matriz de tamao . Finalmente a las matrices que tienen el mismo nmero de filas que de columnas, i.e. , se les llama matrices cuadradas y el conjunto se denota alternativamente . o

Ejemplo
Dada la matriz

es una matriz de tamao La matriz

. La entrada

es 7.

es una matriz de tamao

: un vector fila con 9 entradas.

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.

Suma o adicin
Sean como una operacin binaria . Se define la operacin de suma o adicin de matrices 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. 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 debido a que .

se sigue el resultado ya 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 ya que entradas estn en un campo.

se sigue que para cualquier , dado que las

Existencia del inverso aditivo

Existe

tal que

a esta matriz

se le denota por

. tal que ; luego, por las propiedades de es el inverso aditivo de en el campo para cualquier tmese

Demostracin Dada . Entonces campo donde .

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 .

Producto por un escalar

Sean como una funcin y donde binaria correspondiente pero en el campo producto . y . Se define la operacin de producto por un escalar tal que en donde el producto es la operacin . Por ejemplo, la entrada es igual al

Veamos un ejemplo ms explcito. Sea

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. 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 debido a que para todo . sin riesgo de ambigedad.

Este ltimo resultado permite usar la notacin

Producto

Diagrama esquemtico que ilustra el producto de dos matrices la matriz .

Artculo principal: Multiplicacin de matrices. Artculo principal: Aplicacin lineal.

dando como resultado

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 elegido para aplicacin se puede representar como

donde es la representacin de un vector de en la base que se ha en forma de vector columna. Si tenemos dos aplicaciones lineales y entonces se representar como y , luego la

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 como una funcin y donde y . Se define el producto de matrices tal que para toda , es decir . Por ejemplo, la entrada .

Veamos un ejemplo ms explcito. Sean

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. 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 considerando que

es

debido a que , es

es

para todo .

. Aqu estamos

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 es

es

para todo .

. Aqu estamos considerando que

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 es y es para todo . . Aqu estamos considerando que 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 sobre un anillo. Mas an adems de mdulo es un lgebra con el producto de matrices es un anillo.

Rango
Artculo principal: Rango de una matriz.

El rango de una matriz es la dimensin de la imagen de la aplicacin lineal representada por , que coincide con la dimensin de los espacios vectoriales generados por las filas o columnas de .

Traspuesta
Artculo principal: Matriz traspuesta.

La traspuesta de una matriz campo, es una matriz . Veamos un ejemplo ms explcito. Sea

, donde tal que

no es necesariamente un . Por ejemplo la entrada

entonces su traspuesta es

As, informalmente podramos decir que la traspuesta es aquella matriz que se obtiene de la original cambiando filas por columnas. Las notaciones usuales para denotar la traspuesta de una matriz son .

La trasposicin de matrices tiene las siguientes propiedades (donde ahora si el conjunto de entradas debe ser al menos un anillo conmutativo):

Si representa una aplicacin lineal, entonces la matriz la traspuesta de la aplicacin lineal.

describe

Matrices cuadradas y definiciones relacionadas

Una matriz cuadrada es una matriz que tiene el mismo nmero de filas que de columnas. El conjunto de todas las matrices cuadradas n-por-n junto a la suma y la multiplicacin de matrices, es un anillo que generalmente no es conmutativo. M(n,R), el anillo de las matrices cuadradas reales, es un lgebra asociativa real unitaria. M(n,C), el anillo de las matrices cuadradas complejas, es un lgebra asociativa compleja. La matriz identidad In de orden n es la matriz n por n en la cual todos los elementos de la diagonal principal son iguales a 1 y todos los dems elementos son iguales a 0. La matriz identidad se denomina as porque satisface las ecuaciones MIn = M y InN = N para cualquier matriz M m por n y N n por k. Por ejemplo, si n = 3:

La matriz identidad es el elemento unitario en el anillo de matrices cuadradas.

Los elementos invertibles de este anillo se llaman matrices invertibles o matrices no singulares. Una matriz A n por n es invertible si y slo si existe una matriz B tal que
AB = In = BA.

En este caso, B es la matriz inversa de A, identificada por A-1 . El conjunto de todas las matrices invertibles n por n forma un grupo (concretamente un grupo de Lie) bajo la multiplicacin de matrices, el grupo lineal general. Si es un nmero y v es un vector no nulo tal que Av = v, entonces se dice que v es un vector propio de A y que es su valor propio asociado. El nmero es un valor propio de A si y slo si AIn no es invertible, lo que sucede si y slo si pA() = 0, donde pA(x) es el polinomio caracterstico de A. pA(x) es un polinomio de grado n y por lo tanto, tiene n races complejas mltiples races si se cuentan de acuerdo a su multiplicidad. Cada matriz cuadrada tiene como mucho n valores propios complejos. El determinante de una matriz cuadrada A es el producto de sus n valores propios, pero tambin puede ser definida por la frmula de Leibniz. Las matrices invertibles son precisamente las matrices cuyo determinante es distinto de cero. El algoritmo de eliminacin gaussiana puede ser usado para calcular el determinante, el rango y la inversa de una matriz y para resolver sistemas de ecuaciones lineales. La traza de una matriz cuadrada es la suma de los elementos de la diagonal, lo que equivale a la suma de sus n valores propios. Una matriz de Vandermonde es una matriz cuadrada cuyas filas son las potencias de un nmero. Su determinante es fcil de calcular.

Las matrices en la Computacin

Las matrices son utilizadas ampliamente en la computacin, por su facilidad y liviandad para manipular informacin. En este contexto, son una buena forma para representar grafos, y son muy utilizadas en el clculo numrico. En la computacin grfica, las matrices son ampliamente usadas para lograr animaciones de objetos y formas.

Teora de matrices
La teora de matrices es un rama de las matemticas que se centra en el estudio de matrices. Inicialmente una rama secundaria del lgebra lineal, ha venido cubriendo tambin los temas relacionados con la teora de grafos, el lgebra, la combinatoria y la estadstica.

Matrices relacionadas con otros temas

Una matriz puede identificarse a una aplicacin lineal entre dos espacios vectoriales de dimensin finita. As la teora de las matrices habitualmente se considera como una rama del lgebra lineal. Las matrices cuadradas desempean un papel particular, porque

el conjunto de matrices de orden n (n entero natural no nulo dado) posee propiedades de estabilidad de operaciones. Los conceptos de matriz estocstica y matriz doblemente estocstica son herramientas importantes para estudiar los procesos estocsticos, en probabilidad y en estadstica. Las matrices definidas positivas aparecen en la bsqueda de mximos y mnimos de funciones a valores reales, y a varias variables. Es tambin importante disponer de una teora de matrices a coeficientes en un anillo. En particular, las matrices a coeficientes en el anillo de polinomios se utilizan en teora de mandos. En matemticas puras, los anillos de matrices pueden proporcionar un rico campo de contraejemplos para conjeturas matemticas.

Algunos teoremas

Teorema de Cayley-Hamilton

Matriz y grafos
En teora de los grafos, a todo grafo etiquetado corresponde la matriz de adyacencia. Una matriz de permutacin es una matriz que representa una permutacin; matriz cuadrada cuyos coeficientes son 0 o 1, con un solo 1 en cada lnea y cada columna. Estas matrices se utilizan en combinatorio. En la teora de grafos, se llama matriz de un grafo a la matriz que indica en la lnea i y la columna j el nmero de aristas que enlazan el vrtice i al vrtice j. En un grafo no orientado, la matriz es simtrica. La suma de los elementos de una columna permite determinar el grado de un vrtice. La matriz indica en la lnea i y la columna j el nmero de caminos a n aristas que adjuntan el vrtice i al vrtice j.