Professional Documents
Culture Documents
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] .
Cronologa1
Ao Acontecimiento
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 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
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.
Definiciones y notaciones[editar]
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 de tamao 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 .
Otra notacin, en si un abuso de notacin, representa a la matriz por sus entradas, i.e.
o incluso .
A las matrices que tienen el mismo nmero de filas que de columnas, , se les llama
matrices cuadradas y el conjunto se denota o alternativamente .
Ejemplo[editar]
Dada la matriz
es una matriz de tamao . La entrada es 7.
La matriz
Operaciones bsicas[editar]
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]
Propiedades[editar]
Asociatividad
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 intrnsecamente 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.
Propiedades[editar]
Asociatividad
Diagrama esquemtico que ilustra el producto de dos matrices y 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.
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[editar]
Asociatividad
, 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 .
Rango[editar]
Artculo principal: Rango de una matriz.
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 .
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:
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.
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.
Teora de matrices[editar]
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.
Algunos teoremas[editar]
Teorema de Cayley-Hamilton
Matriz y grafos[editar]
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.
Determinante (matemtica)
De Wikipedia, la enciclopedia libre
Los determinantes fueron introducidos en Occidente a partir del siglo XVI, esto es, antes
que las matrices, que no aparecieron hasta el siglo XIX. Conviene recordar que los chinos
(Hui, Liu. iuzhang Suanshu o Los nueve captulos del arte matemtico.) fueron los
primeros en utilizar la tabla de ceros y en aplicar un algoritmo que, desde el Siglo XIX, se
conoce con el nombre de Eliminacin de Gauss-Jordan.
Los determinantes hicieron su aparicin en las matemticas ms de un siglo antes que las
matrices. El trmino matriz fue creado por James Joseph Sylvester, tratando de dar a
entender que era la madre de los determinantes.
Las contribuciones ms prolficas a la teora de los determinantes fueron las del matemtico
francs Agustin-Louis Cauchy (1789-1857). Cauchy escribi, en 1812 una memoria de 84
pginas que contena la primera demostracin del teorema detAB=detA detB. En 1840
Cauchy hizo muchas otras contribuciones a las matemticas. En su texto de clculo de 1829
Leons sur le calcul diffrential, dio la primera definicin razonablemente clara de lmite.
Cauchy escribi ampliamente tanto en las matemticas puras como en las aplicadas. Solo
Euler escribi ms. Cauchy hizo contribuciones en varias reas, incluyendo la teora de las
funciones reales y complejas, la teora de la probabilidad, geometra, teora de propagacin
de las ondas y las series infinitas.
Hay algunos otros matemticos que merecen ser mencionados aqu. El desarrollo de un
determinante por cofactores fue empleado por primera vez por el matemtico francs Pierre
de Laplace (1749-1827). Laplace es mejor conocido por la transformacin que lleva su
nombre que se estudia en los cursos de matemticas aplicadas.
Un contribuyente principal de la teora de los determinantes (estando solo Cauchy antes que
l) fue el matemtico alemn Carl Gustav Jacobi (1804-1851). Fue con l con quien la
palabra determinante gan la aceptacin definitiva. Lo primero en lo que Jacobi emple
los determinantes fue en las funciones, al establecer la teora de las funciones de varias
variables. Sylvester llam ms tarde jacobiano a ste determinante.
En el mismo periodo, Kowa Seki public un manuscrito sobre los determinantes, donde se
hallan frmulas generales difciles de interpretar. Parece que se dan frmulas correctas para
determinantes de tamao 3 y 4, y de nuevo los signos mal para los determinantes de tamao
superior.2 El descubrimiento se queda sin futuro a causa del cierre de Japn al mundo
exterior por rdenes del shgun, lo que se ve reflejado en la expulsin de los Jesuitas en
1638.
Los matemticos se familiarizan con este nuevo objeto a travs de los artculos de Bzout
en 1764, de Vandermonde en 1771 (que proporciona concretamente el clculo del
determinante de la actual Matriz de Vandermonde). En 1772, Laplace establece las reglas
de recurrencia que llevan su nombre. En el ao siguiente, Lagrange descubre la relacin
entre el clculo de los determinantes y el de los volmenes.4
En espacios de Hilbert de dimensin infinita no siempre puede definirse una extensin del
determinate con las propiedades que ste tiene en dimensin finita. Sin embargo si se
consideran operadores compactos con traza finita, entonces puede definirse un anlogo del
determinante con muchas de sus propiedades.6
En 1825 Heinrich F. Scherk public nuevas propiedades de los determinantes.7 Entre las
propiedades halladas estaba la propiedad de que en una matriz en la que una fila es
combinacin lineal de varias de las dems filas de la matriz el determinante es cero.
Con la publicacin de sus tres tratados sobre determinantes en 1841 en la revista Crelle,
Jacobi aporta a la nocin una gran notoriedad. Por primera vez presenta mtodos
sistemticos de clculo bajo una forma algortmica. Del mismo modo, hace posible la
evaluacin del determinante de funciones con instauracin del jacobiano, lo que supone un
gran avance en la abstraccin del concepto del determinante.
Para el clculo de determinantes de matrices de cualquier orden, existe una regla recursiva
(teorema de Laplace) que reduce el clculo a sumas y restas de varios determinantes de un
orden inferior. Este proceso se puede repetir tantas veces como sea necesario hasta reducir
el problema al clculo de mltiples determinantes de orden tan pequeo como se quiera.
Sabiendo que el determinante de un escalar es el propio escalar, es posible calcular el
determinante de cualquier matriz aplicando dicho teorema.
Adems de esta regla, para calcular determinantes de matrices de cualquier orden podemos
usar otra definicin de determinante conocida como Frmula de Leibniz.
donde la suma se calcula sobre todas las permutacines del conjunto {1,2,...,n}. La
posicin del elemento i despus de la permutacin se denota como i. El conjunto de
todas las permutaciones es Pn. Para cada , sgn() es la signatura de , esto es +1 si la
permutacin es par y 1 si es impar (ver Paridad de permutaciones).
denota el producto de las entradas en la posicin (i, i), donde i va desde 1 hasta n:
La frmula de Leibniz es til como definicin de determinante; pero, excepto en casos muy
pequeos, no es una forma prctica de calcularlo: hay que llevar a cabo n! productos de n
factores y sumar n! elementos. No se suele usar para calcular el determinante si la matriz
tiene ms de tres filas.
La cantidad de operaciones aumenta muy rpidamente. En el peor de los casos (sin obtener
ceros en filas y columnas), para un determinante de orden 4 se debern desarrollar 4
determinates de orden 3. En un determinante de orden 5, se obtienen 5 determinates de
orden 4 a desarrollar, dndonos 20 determinates de orden 3. El nmero de determinates de
Por ejemplo, mediante este mtodo, para un determinante de orden 10 se debern calcular
10 x 9 x 8 x 7 x 6 x 5 x 4 = 604.800 determinantes de orden 3.
Mtodos numricos[editar]
Para reducir el coste computacional de los determinantes a la vez que mejorar su estabilidad
frente a errores de redondeo, se aplica la regla de Chio, que permite utilizar mtodos de
triangularizacin de la matriz reduciendo con ello el clculo del determinante al producto
de los elementos de la diagonal de la matriz resultante. Para la triangularizacin se puede
utilizar cualquier mtodo conocido que sea numricamente estable. stos suelen basarse en
el uso de matrices ortonormales, como ocurre con el mtodo de Gauss o con el uso de
reflexiones de Householder o rotaciones de Givens.
(*)
Donde:
La propia solucin de la ecuacin (*) puede escribirse de manera simple en trminos del
determinante cuando este no se anula.
Sea P el plano eucldeo. El determinante de los vectores X y X' se obtiene con la expresin
analtica
Propiedades[editar]
El valor absoluto del determinante es igual a la superficie del paralelogramo definido por X
y X' ( es en efecto la altura del paralelogramo, por lo que A = Base Altura).
El determinante es nulo si y slo si los dos vectores son colineales (el paralelogramo se
convierte en una lnea).
Su signo es estrictamente positivo si y slo si la medida del ngulo (X, X ') se encuentra en
]0, [.
La aplicacin del determinante es bilineal: la linearidad respecto al primer vector se
escribe
y respecto al segundo
Generalizacin[editar]
Es posible definir la nocin de determinante en un plano eucldeo orientado con una base
ortonormal directa B utilizando las coordenadas de los vectores en esta base. El clculo del
determinante da el mismo resultado sea cual sea la base ortonormal directa elegida para el
clculo.
Propiedades[editar]
El valor absoluto del determinante es igual al volumen de paraleleppedo definido por los
tres vectores.
El determinante es nulo si y slo si los tres vectores se encuentran en un mismo plano
(paraleleppedo "plano").
La aplicacin determinante es trilineal: sobre todo
Propiedades[editar]
El determinante de una matriz es un invariante algebraico, lo cual implica que dada una
aplicacin lineal todas las matrices que la represente tendrn el mismo determinante. Eso
permite definir el valor del determinante no slo para matrices sino tambin para
aplicaciones lineales.
El determinante de una matriz y el de su traspuesta coinciden:
Una aplicacin lineal entre dos espacios vectoriales de dimensin finita se puede
representar mediante una matriz. La matriz asociada a la composicin de aplicaciones
lineales entre espacios de dimensin finita se puede calcular mediante el producto de
matrices. Dadas dos aplicaciones lineales y , se cumple lo siguiente:
Matrices en bloques[editar]
Sea P el plano eucldeo. El determinante de los vectores X y X' se obtiene con la expresin
analtica
El valor absoluto del determinante es igual a la superficie del paralelogramo definido por X
y X' ( es en efecto la altura del paralelogramo, por lo que A = Base Altura).
El determinante es nulo si y slo si los dos vectores son colineales (el paralelogramo se
convierte en una lnea).
Su signo es estrictamente positivo si y slo si la medida del ngulo (X, X ') se encuentra en
]0, [.
La aplicacin del determinante es bilineal: la linearidad respecto al primer vector se
escribe
y respecto al segundo
Generalizacin[editar]
Es posible definir la nocin de determinante en un plano eucldeo orientado con una base
ortonormal directa B utilizando las coordenadas de los vectores en esta base. El clculo del
determinante da el mismo resultado sea cual sea la base ortonormal directa elegida para el
clculo.
Propiedades[editar]
El valor absoluto del determinante es igual al volumen de paraleleppedo definido por los
tres vectores.
El determinante es nulo si y slo si los tres vectores se encuentran en un mismo plano
(paraleleppedo "plano").
La aplicacin determinante es trilineal: sobre todo
.
Propiedades[editar]
El determinante de una matriz es un invariante algebraico, lo cual implica que dada una
aplicacin lineal todas las matrices que la represente tendrn el mismo determinante. Eso
permite definir el valor del determinante no slo para matrices sino tambin para
aplicaciones lineales.
El determinante de una matriz y el de su traspuesta coinciden:
Una aplicacin lineal entre dos espacios vectoriales de dimensin finita se puede
representar mediante una matriz. La matriz asociada a la composicin de aplicaciones
lineales entre espacios de dimensin finita se puede calcular mediante el producto de
matrices. Dadas dos aplicaciones lineales y , se cumple lo siguiente:
Matrices en bloques[editar]
Regla de Sarrus
De Wikipedia, la enciclopedia libre
La regla de Sarrus: las diagonales continuas se suman y las diagonales en trazos se restan.
En primer lugar, repetir las dos primeras columnas de la matriz a la derecha de la misma de
manera que queden cinco columnas en fila. Despus sumar los productos de las diagonales
descendentes (en lnea continua) y sustraer los productos de las diagonales ascendentes (en
trazos). Esto resulta en:
R e g la d e S a r r u s
vrtice opuesto.
Los trminos con signo - estn formados por los elementos de la
Ejemplo
Regla de Cramer
De Wikipedia, la enciclopedia libre
Para la resolucin de un sistema de dos ecuaciones con dos incgnitas, de la forma. Dado el
sistema de ecuaciones:
Entonces, e pueden ser encontradas con la regla de Cramer, con una divisin de
determinantes, de la siguiente manera:
La regla para un sistema de tres ecuaciones con tres incgnitas es similar, con una divisin
de determinantes:
Que representadas en forma de matriz es:
Demostracin[editar]
Sean:
Por lo tanto:
Regla de Cramer
Los pasos a seguir para calcular los sistemas de ecuaciones segn la regla
de Cramer son los siguientes:
2. Calcular el determinante de A.
Sea el sistema de ecuaciones lineales formado por dos ecuaciones con dos
incgnitas: