PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR Sede Esmeraldas

Ingeniera de sistemas y computacin

Informe de la investigacin

Tema: Programa en C++ que calcule la determinante de una matriz dada

Materias integradas: Programacin orientada a objetos

Nombre del estudiante: Wiston Renato Cevallos Rendn

Nombre del docente: Guillermo Cedeo

Ao 03-02-12

PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR Sede Esmeraldas

Titulo: Matriz inversa y calculo de la adjunta. Autor: Wiston Renato Cevallos Rendn. Resumen
El determinante de una matriz determina si los sistemas son singulares o mal condicionados .En otras palabras, sirve para determinar la existencia y la unicidad de los resultados de los sistemas de ecuaciones lineales. El determinante de una matriz es un nmero Un determinante con valor de cero indica que se tiene un sistema singular. Un determinante con valor cercano a cero indica que se tiene un sistema mal condicionado

El determinante de una matriz A(n,n), es un escalar o polinomio, que resulta de obtener todos los productos posibles de una matriz de acuerdo a una serie de restricciones, siendo denotado como |A|. El valor numrico es conocido tambin como modulo de la matriz. En matrices de segundo y tercer orden suele ser utilizado el mtodo conocido como regla de Sarrus. En matemticas, en particular en lgebra lineal, una matriz cuadrada A de orden n se dice que es invertible, no singular, no degenerada o regular si existe otra matriz cuadrada de orden n, llamada matriz inversa de A y representada como A1, tal que:

AA1 = A1A = In,

Donde In es la matriz identidad de orden n y el producto utilizado es el producto de matrices usual. Una matriz no invertible se dice que es singular o degenerada. Una matriz es singular si y solo si su determinante es cero.

Palabras claves
Matriz, Inversa, Determinantes, Adjunta, Gauss y Transpuesta etc.

Agradecimientos
A Dios, por brindarme la oportunidad de vivir, por permitirme disfrutar cada momento de mi vida y guiarme por el camino que ha trazado para m y a mis padres, por darme la vida y apoyarme en todo lo que me he propuesto en mi educacin universitaria.

PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR Sede Esmeraldas

Introduccin:
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. 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. 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. 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. 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. 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 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.

PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR Sede Esmeraldas

Objetivo General Definir que es una determinante de una matriz dada. Objetivos Especficos
Identificar cuando existe la matriz de una matriz dada. Aprender a calcular la determinante por diferentes mtodos. Conocer algunas aplicaciones de la determinante. Aplicar la determinante en el programa C++.

PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR Sede Esmeraldas

Mtodos y Materiales.
Yo he utilizado el mtodo deductivo para basarme en el concepto general de las matrices y determinantes as explicar sus propiedades y aplicaciones en este trabajo de investigacin. 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 n! sumandos, el trmino

Denota el producto de las entradas en la posicin (i, i), donde i va desde 1 hasta n:

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.

PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR Sede Esmeraldas

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 trmino 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:

PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR Sede Esmeraldas

Resultados
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 adjunto (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 determinantes de orden 3. En un determinante de orden 5, se obtienen 5 determinantes de orden 4 a desarrollar, dndonos 20 determinantes de orden 3. El nmero de determinantes De orden 3 que se obtienen en el desarrollo de un determinante de orden n es igual a 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.

PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR Sede Esmeraldas

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

PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR Sede Esmeraldas

Aplicacin en C++

Transpuesta de una matriz dada

Determinante de una matriz dada

PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR Sede Esmeraldas

Multiplicacin de matrices

PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR Sede Esmeraldas

Discusin
Obteniendo los resultados he llegado a concluir que las matrices sirven de ayuda para resolver muchos problemas matemticos para eso utilizan varias formas, una de esa formas es la aplicacin de resolucin de sistemas de ecuaciones lineales o matriciales. La determinante es muy til para saber si un conjunto de n vectores es linealmente dependiente, es una regla funcional que aplicada a una matriz, la transforma en un escalar. Por eso las matrices tambin se utilizan en el clculo numrico, en la resolucin de sistemas de ecuaciones lineales, de las ecuaciones diferenciales y de las derivadas parciales y tienen tambin muchas aplicaciones en el campo de la fsica. La utilizacin de matrices (arrays) constituye actualmente una parte esencial en los lenguajes de programacin, ya que la mayora de los datos se introducen en los ordenadores como tablas organizadas en filas y columnas: hojas de clculo y bases de datos etc. Para determinantes de orden superior al tercero, el proceso se repite para los determinantes formados por los adjuntos menores, hasta llegar a determinantes que puedan desarrollarse fcilmente. Este mtodo de clculo del valor de un determinante puede ser bastante laborioso, por lo que se utilizan ciertas propiedades de los determinantes para reducir la cantidad de clculos necesarios. Entre estas propiedades, tenemos las siguientes: 1) Un determinante es igual a cero si todos los elementos de una fila (o columna) son idnticos, o proporcionales, a los elementos de otra fila (o columna). 2) Si todos los elementos de una fila (o columna) se multiplican por un factor dado, el determinante queda multiplicado por dicho factor. 3) El valor de un determinante no se altera si se aade a cada elemento de una fila (o columna) el elemento correspondiente de otra fila (o columna) multiplicado por un factor constante.

PONTIFICIA UNIVERSIDAD CATOLICA DEL ECUADOR Sede Esmeraldas

Referencias
http://www.uaem.mx/posgrado/mcruz/cursos/mn/determinante.pdf http://es.wikipedia.org/wiki/Determinante_%28matem%C3%A1tica%29 http://www.psico.uniovi.es/Dpto_Psicologia/metodos/tutor.3/mat2.html http://sauce.pntic.mec.es/~jpeo0002/Archivos/PDF/T06.pdf http://docencia.udea.edu.co/GeometriaVectorial/uni2/seccion21.html http://www.terra.es/personal2/jpb00000/tdeterminantes.htm http://marcelrzm.comxa.com/AlgebraUniv/46Determinantes.pdf