Clasificacin de los sistemas

Un sistema de ecuaciones sobre soluciones en: puede clasificarse de acuerdo con el nmero de

Sistema incompatible cuando no admite ninguna solucin. Un ejemplo de sistema incompatible es {54x 36y = 9, 54x + 36y = 30}, ya que usando el mtodo reduccin y sumando miembro a miembro se obtiene la contradiccin 0 = 39. Sistema compatible cuando admite alguna solucin que a su vez pueden dividirse en: Sistemas compatibles indeterminados cuando existe un nmero infinito de

soluciones que forman una variedad continua. Un ejemplo de sistema compatible indeterminado es {x + y = 1,2x + 2y= 2} ya que claramente la segunda ecuacin es linealmente dependiente de la primera, habindo sido multiplicados todos los trminos por 2. Sistemas compatibles determinados cuando admiten un conjunto finito de

soluciones, o un conjunto infinito de soluciones aisladas con a lo sumo un nmero finito de puntos de acumulacin. Un ejemplo de sistema compatible determinado es {2x + 3y = 9,3x 2y = 7} cuya solucin nica es y = 1 y x = 3.

Sistema lineal
Un sistema como el anterior en que las anteriores ecuaciones son funciones afines. A diferencia del caso general, la solucin de los sistemas de ecuaciones lineales son fciles de encontrar cuando los coeficientes de las ecuaciones son nmeros reales o complejos. Tambin existen medios generales cuando los coeficientes pertenecen a un anillo, aunque la bsqueda de las soluciones en ese caso puede ser un poco ms complicada. Una caracterstica importante de los sistemas lineales de ecuaciones es que admiten la llamada forma matricial. Esa forma permite representar el sistema usando tres matrices, de la siguiente forma:

La primera es la matriz de coeficientes, donde el trmino representa al coeficiente que acompaa a la j-sima incgnita de la ecuacin i-sima. La segunda es la matriz de incgnitas, donde cada trmino se corresponde con una de las incgnitas que queremos averiguar. Y la tercera matriz es la de trminos independientes, donde el cada representa al trmino independiente de la ecuacin i-sima. Esta representacin matricial facilita el uso de algunos mtodos de resolucin, como el mtodo de Gauss, en el que, partiendo de la matriz aumentada (matriz de coeficientes a la que se le ha acoplado la matriz de trminos independientes), y aplicando transformaciones lineales sobre las ecuaciones, pretendemos llegar a una matriz de este tipo:

Una vez la matriz se ha triangulado, el valor de cada trmino incgnita . Si nos encontramos alguna fila del tipo sistema no tendr solucin.

se corresponder con el de la , con , el

Existencia de soluciones
El teorema de la funcin inversa proporciona condiciones suficientes de existencia de solucin, de un sistema como con . Si sucede que la funcin vectorial:

Es diferenciable con continuidad, es decir, es de clase y su jacobiano no se anula en ningn punto entonces existe una nica solucin del sistema. Ya que en ese caso existir una funcin inversa, y podremos escribir la solucin buscada simplemente como:

Sin embargo, la condicin de diferenciabilidad anterior an siendo condicin suficiente, no es una condicin necesaria, por lo que existen sistemas de ecuaciones en que las funciones no son diferenciables y sin embargo, existen soluciones. Ms an, en casos en que existe ms de una solucin si la funcin es diferenciable entonces el jacobiano se anula en algn punto, pero eso no impide que existan varias soluciones. En casos de un menor nmero de ecuaciones que de incgnitas, cuando , entonces el sistema es compatible indeterminado o carece de soluciones. En esos casos, el teorema de la funcin implcita proporciona condiciones suficientes, aunque no necesarias, para la existencia de soluciones de un modo similar a como el teorema de la funcin inversa las proporciona en el caso .

Nmero de soluciones
Un sistema de ecuaciones lineales compatibles y determinados la solucin es siempre nica. En el caso de ecuaciones polinmicas la respuesta es ms complicada, aunque puede probarse que doscurvas polinmicas en el plano de grados n y m funcionalmente independientes se tienen como mucho nm soluciones diferentes. Ese resultado se desprende del siguiente teorema de Bzout: Dos curvas del plano proyectivo complejo , de grados n y m sin componentes

comunes se cortan exactamente en mn puntos contados con multiplicidad.

Mtodos de resolucin
Si bien para los sistemas de ecuaciones lineales existen multitud de tcnicas del lgebra lineal, para los sistemas de ecuaciones no-lineales el problema es tcnicamente bastante ms difcil.

Mtodos analticos
Los mtodos analticos se restringen casi exclusivamente a sistemas de ecuaciones lineales. Ni siquiera se conoce una solucin analtica para el sistema de ecuaciones de segundo grado general:

Mtodos numricos
Las aplicaciones tcnicas generalmente recurren a algoritmos numricos que permiten calcular aproximaciones numricas a las soluciones de un sistema de ecuaciones. Uno de los mtodos numricos que puede generalizarse a sistemas no-lineales es el mtodo de Newton-Raphson. En el caso multidimensional la resolucin numrica del sistema de n ecuaciones puede hacerse a partir del conocimiento de una solucin aproximada , siempre y cuando la aplicacin anterior sea diferenciable, mediante el esquema iterativo:

O ms explcitamente:

Lamentablemente la convergencia del esquema iterativo anterior no est garantizada y en casos de soluciones mltiples la convergencia puede darse hacia la solucin no deseada.

Mtodos grficos
Los mtodos grficos son didcticos e ilustrativos, aunque en general carecen de inters prctico en las aplicaciones tcnicas de importancia. Adems estn restringidos generalmente a sistemas de dos o tres ecuaciones reales. Dos sistemas de ecuaciones con dos incgnitas de valor real, suelen aparecer como uno de los cinco tipos diferentes mencionados a continuacin. Tienen una relacin con el nmero de soluciones: 1.Aquellos sistemas de ecuaciones que representan grficamente rectas y curvas que se intersecan entre s. Este tipo de sistema de ecuacin es considerado como el normal. Suele tener un nmero de soluciones finito cada uno formado por las coordenadas de los punto de interseccin. 2.Sistemas que tienen simplificaciones falsas. Por ejemplo: 1 = 0. Grficamente se representan como un conjunto de lneas que nunca se intersecan entre s, como lneas paralelas. 3.Sistemas de ecuaciones en las que ambos simplificar a una identidad (por ejemplo, x = 2x - y o y - x = 0). Cualquier asignacin de valores a las variables desconocidas satisface las ecuaciones. Por lo tanto, hay un nmero infinito de

soluciones, que grficamente, se representa como todos los puntos del plano que representa la solucin. 4.Sistemas en los que las dos ecuaciones representan el mismo conjunto de puntos: son matemticamente equivalentes (una ecuacin general puede ser transformada en otra a travs de la manipulacin algebraica). Estos sistemas representan completamente la superposicin de lneas o curvas, etc Una de las dos ecuaciones es redundante y puede ser desechada. Cada punto de la serie de puntos corresponde a una solucin. Generalmente, esto significa que hay un nmero infinito de soluciones. 5.Sistemas en los que una (y slo una) de las dos ecuaciones se simplifica a una identidad. Por lo tanto, es redundante y puede ser descartada, segn el tipo anterior. Cada punto de la serie de puntos representados por los dems es una solucin de la ecuacin de los que hay a continuacin, por lo general un nmero infinito. La ecuacin x2 + y2 = 0 puede ser pensada como la ecuacin de un crculo cuyo radio se ha reducido a cero, por lo que representa un nico punto: (x = 0, y = 0), a diferencia de una normal de un crculo que contiene infinito nmero de puntos. Este y otros casos similares muestran la razn por la cual los dos ltimos tipos anteriormente descritos necesitan la calificacin de "normalmente". Un ejemplo de un sistema de ecuaciones del primer tipo descrito anteriormente, con un nmero infinito de soluciones viene dada por x = | x |, y = | y | (donde la notacin | | indica el valor absoluto de la funcin), cuyas soluciones de forma un cuadrante de la x - y plano. Otro ejemplo es x = | y |, y = | x |, cuya solucin representa un rayo.