Matriz (matemticas)

Para otros usos de este trmino, vase Matriz. En matemticas, una matriz es un arreglo bidimensional de nmeros, y en su mayor generalidad de elementos de un anillo. Las matrices se usan generalmente para describir sistemas de ecuaciones lineales, sistemas de ecuaciones diferenciales o representar una aplicacin lineal (dada una base). Las matrices se describen en el campo de la teora de matrices. Las matrices se utilizan para mltiples aplicaciones y sirven, en particular, para representar los coeficientes de los sistemas de ecuaciones lineales o para representar las aplicaciones lineales; en este ltimo caso las matrices desempean el mismo papel que los datos de un vector para las aplicaciones lineales. Pueden sumarse, multiplicarse y descomponerse de varias formas, lo que tambin las hace un concepto clave en el campo del lgebra lineal.

Historia[editar edit
ar cdigo]
El origen de las matrices es muy antiguo. Los cuadrados latinos y los cuadrados mgicos se estudiaron desde hace mucho tiempo. Un cuadrado mgico, 3 por 3, se registra en la literatura china hacia el 650 a. C.
2

Cronologa Ao 200 a.C.

Acontecimiento En China los matemticos usan series de nmeros.

1848 d.C. J. J. Sylvester introduce el trmino "matriz". 1858 1878 1925 Cayley publica Memorias sobre la teora de matrices. Frobenius demuestra resultados fundamentales en lgebra matricial. Werner Heisenberg utiliza la teora matricial en la mecnica cuntica

Es larga la historia del uso de las matrices para resolver ecuaciones lineales. Un importante texto matemticochino 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. 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 alemnGottfried 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
3

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 para facilitar la resolucin de ecuaciones lineales, 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. Fue James Joseph Sylvester quien utiliz por primera vez el trmino matriz en 1848/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 nincgnitas. 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[editar editar cdigo]

Una matriz es un 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 matrices de tamao ) donde , donde . El conjunto de las es el campo al cual

se representa como

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 los mismos elementos en las mismas posiciones. A la entrada de una matriz que se encuentra en la fila entrada o entrada sima y la columna sima se le llama

-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 columna

de tamao

que se encuentra en la fila , donde y o un

sima y la . Cuando se va a con dos cifras se

sima se le denota como

representar explcitamente una entrada la cul est indexada con un

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 como como de tamao se representa

mientras que la entrada que est en la fila nmero 23 y la columna 100 se representa .

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 matriz, mientras que es una

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 A las matrices que tienen el mismo nmero de filas que de columnas, llama matrices cuadradas y el conjunto se denota . , se les .

o alternativamente

Operaciones bsicas[editar editar cdigo]

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[editar editar cdigo]

Sean una operacin binaria que y donde . Se define la operacin de suma o adicin de matrices como tal en el que la operacin de suma en . Por ejemplo, la .

la ltima expresin es la operacin binaria correspondiente pero en el campo 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 uncampo 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[editar editar cdigo]

Sean , donde es un campo entonces se cumplen las

siguientes propiedades para la operacin binaria Asociatividad

Demostracin. Dada la definicin de la operacin binaria que que Conmutatividad para todo . debido a

se sigue el resultado ya

Demostracin Dada la definicin de la operacin binaria que debido a que Existencia del elemento neutro aditivo tal que

se sigue el resultado ya para todo .

Existe

Demostracin Tmese cualquier

tal que

para

(dnde este ltimo es el elemento neutro aditivo en el campo, el

cual existe necesariamente). Entonces para cualquier sigue que cualquier ya que , dado que las entradas estn en un campo. para

se

Existencia del inverso aditivo tal que

Existe

a esta matriz

se le denota por

. tmese ; luego, por las donde . es el inverso aditivo tal

Demostracin Dada que . Entonces

propiedades de campo 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 complejos). Por como se defini la operacin binaria adicin se dice que sta operacin es una operacin interna por lo que se cumple intrnsecamente la propiedad de que tiene que es cerrado bajo adicin. Con stas propiedades se es un grupo abeliano. (los nmeros reales) y (los nmeros

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 , ya que bajo es un grupo abeliano. En el , ste necesita ser

dotando de estructura de grupo abeliano a un anillo se tiene que

caso de que las entradas estn en un grupo

ungrupo abeliano para que la adicin de matrices siga dotando de estructura de grupo abeliano a .

Producto por un escalar[editar editar cdigo]

Sean por un escalar como una funcin que y donde tal en donde el producto es y . Se define la operacin de producto

la operacin binaria correspondiente pero en el campo entrada es igual al producto .

. Por ejemplo, la

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[editar editar cdigo]

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 que para todo . debido a

Distributividad respecto de la suma de matrices

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

Distributividad respecto de la suma en el campo

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

que que para todo .

debido a

Producto por el neutro multiplicativo del campo

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

Por como se defini la operacin de producto por escalares se dice que bajo producto por escalares. Con stas propiedades y las de la adicin se tiene que definidas antes.

es un espacio vectorial con las operaciones de suma y producto por escalares

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 todo implica que o para todo , i.e. para . 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[editar editar cdigo]

Diagrama esquemtico que ilustra el producto de dos matrices Artculo principal: Multiplicacin de matrices. Artculo principal: Aplicacin lineal.

dando como resultado la matriz

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 como elegido para lineales aplicacin como representaciones matriciales de donde se puede representar en la base que se ha

es la representacin de un vector de

en forma de vector columna. Si tenemos dos aplicaciones y entonces se representar donde es el producto de las y , luego la

. Ntese que la composicin no se puede dar entre cualquier , en particular debe de haber

aplicacin sino entre aplicaciones que vayan de

una relacin entre las dimensiones de los espacios vectoriales. Una vez dicho sto podemos definir el producto de la siguiente manera. Sean funcin y . Se define el producto de matrices como una tal que y

donde decir entrada

para toda

, es . Por ejemplo, la . y

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 mismo nmero de columnas que no tiene el

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[editar editar cdigo]

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

por lo

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

donde

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 que es , es

para todo y es

. Aqu estamos considerando .

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 que es , es

para todo y es

. Aqu estamos considerando .

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 producto entre matrices en caso tambin est en tendremos que el . En ese

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 un anillo. Mas an

adems de mdulo es un lgebra sobre con el producto de matrices es un anillo.

Rango[editar editar cdigo]

Artculo principal: Rango de una matriz.

El rango de una matriz representada por

es la dimensin de la imagen de la aplicacin lineal

, que coincide con la dimensin de los espacios vectoriales .

generados por las filas o columnas de

Traspuesta[editar editar cdigo]

Artculo principal: Matriz traspuesta.

La traspuesta de una matriz necesariamente un campo, es una matriz que . Por ejemplo la entrada

, donde

no es tal

Veamos un ejemplo ms explcito. Sea

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 la matriz

representa una aplicacin lineal, entonces describe la traspuesta de la aplicacin lineal.

Matrices cuadradas y definiciones relacionadas[editar editar cdigo]

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, regulares o 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 . 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 siAIn no es invertible, lo que sucede si y
-1

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[editar editar cdigo]

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[editar editar cdigo]

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[editar editar cdigo]

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[editar editar cdigo]

Teorema de Cayley-Hamilton

Matriz y grafos[editar editar cdigo]

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.