Determinante (matemtica)

Determinante (matemtica)
En Matemticas se define el determinante como una forma multilineal alternada de un cuerpo. Esta definicin indica una serie de propiedades matemticas y generaliza el concepto de determinante hacindolo aplicable en numerosos campos. Sin embargo, el concepto de determinante o de volumen orientado fue introducido para estudiar el nmero de soluciones de los sistemas de ecuaciones lineales.

Historia de los determinantes

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. La historia de los determinantes 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. Algunos de los ms grandes matemticos de los siglos XVIII y XIX contribuyeron al desarrollo de las propiedades de los determinantes. La mayora de los historiadores coinciden en afirmar que la teora de los determinantes se origin con el matemtico alemn Gottfried Wilhelm Leibniz (1646-1716) quien fue con Newton, el co inventor del clculo diferencial e integral. Leibniz emple los determinantes en 1693 con relacin a los sistemas de ecuaciones lineales simultneas. No obstante hay quienes creen que el matemtico japons Seki Kowa hizo lo mismo unos 10 aos antes. 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. A Cauchy se le reconoce el haber establecido nuevos niveles de rigor en las publicaciones matemticas. Despus de Cauchy, fue mucho ms difcil publicar escritos basndose en la intuicin; se exigi una estricta adhesin a las demostraciones rigurosas. El volumen de las publicaciones de Cauchy fue abrumador . Cuando la Academis Francesa de Ciencias comenz a publicar su revista Comptes Rendus en 1835, Cauchy envi su obra para que se publicara, en poco tiempo los gastos de impresin se hicieron tan grandes, solo por la obra de Cauchy, que la academia impuso un lmite de cuatro cuartillas por cada documento a ser publicado. 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.

Determinante (matemtica)

Primeros clculos de determinantes

En su sentido original, el determinante determina la unicidad de la solucin de un sistema de ecuaciones lineales. Fue introducido para el caso de orden 2 por Cardano en 1545 en su obra Ars Magna presentado como una regla para la resolucin de sistemas de dos ecuaciones con dos incgnitas. Esta primera frmula lleva el nombre de regula de modo. La aparicin de determinantes de rdenes superiores tard an ms de cien aos en llegar. Curiosamente el japons Kowa Seki y el alemn Leibniz otorgaron los primeros ejemplos casi simultneamente. Leibniz estudi los distintos tipos de sistemas de ecuaciones lineales. Al no disponer de la notacin matricial, representaba los coeficientes de las incgnitas con una pareja de ndices: as pues escriba ij para representar ai, j. En 1678 se interes por un sistema de tres ecuaciones con tres incgnitas y obtuvo, para dicho ejemplo, la frmula de desarrollo a lo largo de una columna. El mismo ao, escribi un determinante de orden 4, correcto en todo salvo en el signo.[1] Leibniz no public este trabajo, que pareci quedar olvidado hasta que los resultados fueron redescubiertos de forma independiente cincuenta aos ms tarde.
El japons Kowa Seki introdujo los determinantes En el mismo periodo, Kowa Seki public un manuscrito sobre los de orden 3 y 4 en la misma poca que el alemn determinantes, donde se hallan frmulas generales difciles de Leibniz. 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.

Determinantes de cualquier dimensin

En 1748, en un tratado pstumo de lgebra de MacLaurin aparece la regla para obtener la solucin de un sistema de n ecuaciones lineales con n incgnitas cuando n es 2, 3 o 4 mediante el uso de determinantes.[3][4] En 1750, Cramer da la regla para el caso general, aunque no ofrece demostracin alguna. Los mtodos de clculo de los determinantes son hasta entonces delicados debido a que se basan en la nocin de signatura de una permutacin.[5] 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.[6] Gauss utiliza por primera vez el trmino dterminante , en las Disquisitiones arithmeticae en 1801. Lo empleaba para lo que hoy da denominamos discriminante de una cudrica y que es un caso particular de determinante moderno. Igualmente estuvo cerca de obtener el teorema del determinante de un producto. 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.[7]

Determinante (matemtica)

Aparicin de la nocin moderna de determinante

Cauchy fue el primero en emplear el trmino determinante con su significado moderno. Se encarg de realizar una sntesis de los conocimientos anteriores y public en 1812 la frmula y demostracin del determinante de un producto junto con el enunciado y demostracin de la regla de Laplace.[] Ese mismo ao Binet ofreci otra demostracin (incorrecta) para la frmula del determinante de un producto.[][8] Paralelamente Cauchy establece las bases del estudio de la reduccin de endomorfismos. En 1825 Heinrich F. Scherk public nuevas propiedades de los determinantes.[] 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. El cuadro matricial es introducido por los trabajos de Cayley y James Joseph Sylvester[citarequerida]. Cayley es tambin el inventor de la notacin de los determinantes mediante barras verticales (1841[]) y establece la frmula para el clculo de la inversa de una matriz mediante determinantes(1858[9]). La teora se ve reforzada por el estudio de determinantes que tienen propiedades de simetra particulares y por la introduccin del determinante en nuevos campos de las matemticas, como el wronskiano en el caso de las ecuaciones diferenciales lineales.

Mtodos de clculo
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. La frmula de Leibniz para el determinante de una matriz cuadrada A de orden n es:

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). En cualquiera de los sumandos, el trmino

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.

Determinante (matemtica)

Matrices de orden inferior

El caso de matrices de orden inferior (orden 1, 2 3) es tan sencillo que su determinante se calcula con sencillas reglas conocidas. Dichas reglas son tambin deducibles del teorema de Laplace. Una matriz de orden uno, es un caso trivial, pero lo trataremos para completar todos los casos. Una matriz de orden uno puede ser tratada como un escalar, pero aqu la consideraremos una matriz cuadrada de orden uno:

El valor del determinante es igual al nico termino de la matriz:

Los determinantes de una matriz de orden 2:

se calculan con la siguiente frmula:

Dada una matriz de orden 3:

En determinante de orden 3 se calcula mediante la regla de Sarrus:

Determinantes de orden superior

El determinante de orden n, puede desarrollarse a partir de una fila o columna, reduciendo el problema al clculo de un determinante de orden n-1. Para ello se toma una fila o columna cualquiera, multiplicando cada elemento por su cofactor (es decir, el determinante de la matriz que se obtiene eliminando la fila y columna correspondiente a dicho elemento, multiplicado por (-1)i+j donde i es el nmero de fila y j el nmero de columna). La suma de todos los productos es igual al determinante. En caso de un determinante de orden 4, se obtienen directamente determinantes de orden 3 que podrn ser calculados por la regla de Sarrus. En cambio, en los determinantes de orden superior, como por ejemplo n = 5, al desarrollar los elementos de una lnea, obtendremos determinantes de orden 4, que a su vez se debern desarrollar en por el mismo mtodo, para obtener determinantes de orden 3. Por ejemplo, para obtener con el mtodo especificado un determinante de orden 4, se deben calcular 4 determinantes de orden 3. En cambio, si previamente se logran tres ceros en una fila o columna, bastara con calcular solo un determinante de orden 3 (ya que los dems determinantes estarn multiplicados por 0, lo que los anula). 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 orden 3 que se obtienen en el desarrollo de un determinante de orden n es igual a

Determinante (matemtica) 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. Tambin puede utilizarse el Mtodo de eliminacin Gaussiana, para convertir la matriz en una matriz triangular. Si bien el proceso puede parecer tedioso, estar muy lejos de los 14.529.715.200 de determinantes de orden 3 necesarios para calcular el determinante de una matriz de orden 14.

Mtodos numricos
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. La precisin limitada del clculo numrico produce incertidumbre en ocasiones en los resultados de este mtodo. Un valor muy pequeo del determinante podra ser el resultado de una matriz de rango deficiente, aunque no lo es necesariamente. Por otra parte, para matrices casi singulares el resultado no siempre es preciso. Es necesario comprobar el rango de la matriz con otros mtodos o calcular el nmero de condicin de la matriz para determinar la fiabilidad del resultado.

Determinantes en dimensin infinita

Bajo ciertas condiciones puede definirse el determinante de aplicaciones lineales de un espacio vectorial de Banach de dimensin infinita. En concreto en el determinante est definido para los operadores de la clase de determinante que puede a partir de los operadores de la clase de traza. Un ejemplo notable fue el determinante de Fredholm que ste defini en conexin con su estudio de la ecuacin integral que lleva su nombre: (*)

Donde: es una funcin conocida es una la funcin incgnita es una funcin conocida llamada ncleo, que da lugar al siguiente operador lineal compacto y de traza finita en el espacio de Hilbert de funciones de cuadrado integrable en el intervalo [0,1]: : La ecuacin (*) tiene solucin si el determinante de Fredholm no se anula. El determinante de Fredholm

en este caso generaliza al determinante en dimensin finita y puede calcularse explcitamente mediante:

La propia solucin de la ecuacin (*) puede escribirse de manera simple en trminos del determinante cuando este no se anula.

Determinante (matemtica)

Primeros ejemplos: reas y volmenes

El clculo de reas y volmenes bajo forma de determinantes en espacios eucldeos aparecen como casos particulares de una nocin ms general de determinante. La letra mayscula D (Det) se reserva a veces para distinguirlos.

Determinante de dos vectores en el plano eucldeo

Sea P el plano eucldeo. El determinante de los vectores X y X' se obtiene con la expresin analtica

o, de manera equivalente, por la expresin geomtrica

en la cual

es el ngulo orientado formado

por los vectores X y X'. Propiedades 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 Fig. 1. El determinante es el rea azul orientada. 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

La figura 2, en el plano, ilustra un caso particular de esta frmula. Representa dos paralelogramos adyacentes, uno definido por los vectores u y v (en verde), y otro por los vectores u' y v (en azul). Es fcil ver sobre este ejemplo el rea del paralelogramo definido por los vectores u+u' y v (en gris): es igual a la suma de los dos paralelogramos precedentes a la cual se sustrae el rea de un Fig. 2.Suma de las reas de dos paralelogramos adyacentes. tringulo y se aade el rea de otro tringulo. Ambos tringulos se corresponden por translacin y la frmula siguiente se verifica Det (u+u', v)=Det (u, v)+Det (u', v). El dibujo corresponde a un caso particular de la frmula de bilinealidad ya que las orientaciones han sido elegidas de manera que las reas tengan el mismo signo, aunque ayuda a comprender el contenido geomtrico.

Determinante (matemtica) Generalizacin 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.

Determinante de tres vectores en el espacio eucldeo

Sea E el espacio eucldeo orientado de dimensin 3. El determinante de tres vectores de E se da por

Este determinante lleva el nombre de producto mixto. Propiedades 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

Una ilustracin geomtrica de esta propiedad se da en la figura 3 con dos paraleleppedos adyacentes, es decir con una cara comn. La igualdad siguiente es entonces intuitiva: .

Fig. 3. Ilustracin grfica de la trilinealidad.

Propiedades
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 espacios vectoriales es invertible si y slo si su determinante no es nulo. Por lo tanto, una matriz con coeficientes en un cuerpo es invertible si y slo si su determinante es no nulo.

Determinante del producto

Una propiedad fundamental del determinante es su comportamiento multiplicativo frente al producto de matrices:

Esta propiedad es ms trascendente de lo que parece y es muy til en el clculo de determinantes. En efecto, supongamos que queremos calcular el determinante de la matriz y que es cualquier matriz con derminante uno (el elemento neutro respecto al producto del cuerpo). En este caso, se verifica que:

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

Determinante (matemtica) mediante el producto de matrices. Dadas dos aplicaciones lineales y , se cumple lo siguiente:

Matrices en bloques
Sean matrices respectivamente. Entonces Esto se puede ver de la formula de Leibiniz Leibniz formula. Empleando la siguiente identidad

vemos que para una matriz general

Anlogamente, se puede obtener una identidad similar con Si son matrices diagonales,

factorizado.[10]

[11]

Derivada de la funcin determinante

La funcin determinante puede definirse sobre el espacio vectorial formado por matrices cuadradas de orden n. Dicho espacio vectorial puede convertirse fcilmente en un espacio vectorial normado mediante la norma matricial, gracias a lo cual dicho espacio se convierte en un espacio mtrico y topolgico, donde se pueden definir lmites e incluso derivadas. El determinante puede definirse como un morfismo del lgebra de las matrices al conjunto de los elementos del cuerpo sobre el que se definen las matrices:

El diferencial de la funcin derivada (o jacobiana) viene en trminos de la matriz de adjuntos:

Donde: es la matriz de adjuntos. , es la traza de la matriz.

Menores de una matriz

Adems del determinante de una matriz cuadrada, dada una matriz se pueden definir otras magnitudes mediante el empleo de determinantes relacionadas con las propiedades algebraicas de dicha matriz. En concreto dada una matriz cuadrada o rectangular se pueden definir los llamados determinantes menores de orden r a partir del determinante de submatrices cuadradas de rxr de la matriz original. Dada la matriz :

Se define cualquier menor de rango r como:

Determinante (matemtica)

Debe notarse que en general existir un nmero elevado de menores de orden r, de hecho el nmero de menores de orden r de una matriz mxn viene dado por:

Una propiedad interesante es que el rango coincide con el orden del menor no nulo ms grande posible, siendo el clculo de menores una de los medios ms empleados para calcular el rango de una matriz o de una aplicacin lineal.

Referencias
[1] [2] [3] [5] [7] E. Knobloch, Der Beginn der Determinantentheorie, Leibnizens nachgelassene Studien zum Determinantenkalkl (Hildesheim, 1980) Y. Mikami, The development of Mathematics in China and Japan (1913, 2e d. Chelsea Pub. Company 1974) C. B. Boyer, A History of Mathematics (John Wiley, 1968) M. Cantor, Geschichte der Mathematik (Teubner, 1913) Alexander Reffgen: The Determinant in Finite- and Ininite-Dimensional Vector Spaces (http:/ / www. nek. lu. se/ NEKARE/ cv/ reffgen2003. pdf), 2003

[10] Estas identidades fueron tomadas de http:/ / www. ee. ic. ac. uk/ hp/ staff/ www/ matrix/ proof003. html [11] Este es un caso especial de un teorema publicado en http:/ / www. mth. kcl. ac. uk/ ~jrs/ gazette/ blocks. pdf

Bibliografa
Kline, Morris (1990). Mathematical Thought from Ancient to Modern Times. 2. New York: Oxford University Press. ISBN 0-19-506136-5.

Enlaces externos
Weisstein, Eric W. Determinant (http://mathworld.wolfram.com/Determinant.html) (en ingls). MathWorld. Wolfram Research. Determinant (http://planetmath.org/?op=getobj&from=objects&id=2797) en PlanetMath

Fuentes y contribuyentes del artculo

10

Fuentes y contribuyentes del artculo

Determinante (matemtica) Fuente: http://es.wikipedia.org/w/index.php?oldid=66711866 Contribuyentes: Aehernandez, Af3, AlejandroBolaosRosales, Alvarohv, Andreasmperu, Banfield, Boatbadly, CayoMarcio, CommonsDelinker, Davius, Diegusjaimes, Dnu72, Dodo, Emijrp, Euratom, FAR, Fernando Estel, Focojoaco, Fonsi80, FrancoGG, Gabrielsvb, Gas lan, GermanX, Greek, Guille, HUB, Hprmedina, Ingenioso Hidalgo, Jasc666, Jkbw, Juan Marquez, Juan Mayordomo, Kiroh, Kved, Makete, Maldoror, Matdrodes, Mdiagom, Moriel, Muro de Aguas, Nasil, Neodop, Petronas, PlyJonathan39, Ponalgoyya, Plux, Raquel LR, Raulshc, Retama, Rickynoram, Romero Schmidtke, Roprgm, Rsg, Rge, Sabbut, Scherzo, SpiceMan, Steve.jaramillov, SuperBraulio13, Superzerocool, Technopat, Tirithel, TzT, UA31, UAwiki, UtherIV, Vivero, Wewe, 188 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:Seki.jpeg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Seki.jpeg Licencia: GNU Free Documentation License Contribuyentes: upload by F. Lembrez Archivo:Determinant de vecteur dim 2.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Determinant_de_vecteur_dim_2.jpg Licencia: GNU Free Documentation License Contribuyentes: Jean-Luc W Archivo:Deux parallelogrammes-det.gif Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Deux_parallelogrammes-det.gif Licencia: GNU Free Documentation License Contribuyentes: Jean-Luc W Archivo:Dterminant-3D.jpg Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:Dterminant-3D.jpg Licencia: GNU Free Documentation License Contribuyentes: Darapti, GeorgHH, Kilom691, Pieter Kuiper, Ylebru

Licencia
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/