Sistema de ecuaciones

En las matemticas, un sistema de ecuaciones es un conjunto de dos o ms ecuaciones con varias incgnitas que conforman un problema matemtico consistente en encontrar las incgnitas que satisfacen dichas ecuaciones. En un sistema de ecuaciones algebraicas las incgnitas son valores numricos (o ms generalmente elementos de un cuerpo sobre el que se plantean las ecuaciones), mientras que en una ecuacin diferencial las incgnitas son funciones o distribuciones de un cierto conjunto definido de antemano. Una solucin de dicho sistema es por tanto, un valor o una funcin que substituida en las ecuaciones del sistema hace que stas se cumplan automticamente sin que se llegue a una contradiccin. En otras palabras el valor que reemplazamos en las incgnitas debe hacer cumplir la igualdad del sistema. Las incgnitas se suelen representar utilizando las ltimas letras del alfabeto latino, o si son demasiadas, con negras subndices.
Contenido
[ocultar]

1 Sistema general

o o

1.1 Representacin grfica 1.2 Clasificacin de los sistemas

2 Sistema lineal 3 Existencia de soluciones 4 Nmero de soluciones 5 Mtodos de resolucin

o o o

5.1 Mtodos analticos 5.2 Mtodos numricos 5.3 Mtodos grficos

6 Vase tambin 7 Enlaces externos

[editar]Sistema

general
ecuaciones algebraicas y incgnitas es la siguiente:

La forma genrica de un sistema de

(1)

donde eucldeo

son funciones de las incgnitas. La solucin, perteneciente al espacio , ser tal que el resultado de evaluar cualquier expresin con los valores de dicha

solucin, verifique la ecuacin.

[editar]Representacin

grfica
en

Los sistemas de 2 o 3 incgnitas reales admiten representaciones grficas cuando las funciones

(1) son continuas a tramos. En cada ecuacin se representa como una curva o una superficie curva. La existencia de soluciones en ese caso puede deducirse a partir de la existencia de intersecciones comunes a dichas curvas o superficies curvas.

[editar]Clasificacin

de los sistemas
puede clasificarse de acuerdo con el nmero de soluciones en:

Un sistema de ecuaciones sobre

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.

[editar]Sistema

lineal

Artculo principal: Sistema lineal de ecuaciones

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:

(2) 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 representa al trmino independiente de la ecuacin i-sima.

trminos independientes, donde el cada

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

se corresponder con el de la , con , el sistema no

tendr solucin.

[editar]Existencia

de soluciones

El teorema de la funcin inversa proporciona condiciones suficientes de existencia de solucin, de un sistema como (1) 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 (1). 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 .

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

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

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

[editar]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 aproximada mediante el esquema iterativo: puede hacerse a partir del conocimiento de una solucin , siempre y cuando la aplicacin anterior sea diferenciable,

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.

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