Sistema de ecuaciones lineales

Sistema de ecuaciones lineales

En matemticas y lgebra lineal, un sistema de ecuaciones lineales, tambin conocido como sistema lineal de
ecuaciones o simplemente sistema lineal, es un conjunto de ecuaciones lineales sobre un cuerpo o un anillo
conmutativo. Un ejemplo de sistema lineal de ecuaciones sera el siguiente:

El problema consiste en encontrar los valores desconocidos de las variables x1, x2 y x3 que satisfacen las tres
ecuaciones.
El problema de los sistemas lineales de ecuaciones es uno de los ms antiguos de la matemtica y tiene una infinidad
de aplicaciones, como en procesamiento digital de seales, anlisis estructural, estimacin, prediccin y ms
generalmente en programacin lineal as como en la aproximacin de problemas no lineales de anlisis numrico.

Introduccin
En general, un sistema con m ecuaciones lineales y n incgnitas puede ser escrito en forma ordinaria como:

Donde

son las incgnitas y los nmeros

son los coeficientes del sistema sobre el cuerpo

. Es posible reescribir el sistema separando con coeficientes con notacin matricial:

(1)

Si representamos cada matriz con una nica letra obtenemos:

Donde A es una matriz m por n, x es un vector columna de longitud n y b es otro vector columna de longitud m. El
sistema de eliminacin de Gauss-Jordan se aplica a este tipo de sistemas, sea cual sea el cuerpo del que provengan
los coeficientes.

Sistema de ecuaciones lineales

Sistemas lineales reales

En esta seccin se analizan las propiedades de los sistemas de ecuaciones lineales sobre el cuerpo

, es decir, los

sistemas lineales en los coeficientes de las ecuaciones son nmeros reales.

Representacin grfica
Un sistema con
correspondiente.

incgnitas se puede representar en el n-espacio

En los sistemas con 2 incgnitas, el universo de nuestro sistema ser el

plano bidimensional, mientras que cada una de las ecuaciones ser
representada por una recta, si es lineal, o por una curva, si no lo es. La
solucin ser el punto (o lnea) donde se intersequen todas las rectas y
curvas que representan a las ecuaciones. Si no existe ningn punto en
el que se intersequen al mismo tiempo todas las lneas, el sistema es
incompatible, o lo que es lo mismo, no tiene solucin.
En el caso de un sistema con 3 incgnitas, el universo ser el espacio
tridimensional, siendo cada ecuacin un plano dentro del mismo. Si
todos los planos intersecan en un nico punto, las coordenadas de ste
sern la solucin al sistema. Si, por el contrario, la interseccin de
todos ellos es una recta o incluso un plano, el sistema tendr infinitas
soluciones, que sern las coordenadas de los puntos que forman dicha
lnea o superficie.

La interseccin de dos planos que no son

paralelos ni coincidentes es una recta.

Para sistemas de 4 ms incgnitas, la representacin grfica no existe, por lo que dichos problemas no se enfocan
desde esta ptica.

Tipos de sistemas
Los sistemas de ecuaciones se pueden clasificar segn el nmero de soluciones que pueden presentar. De acuerdo
con ese caso se pueden presentar los siguientes casos:
Sistema incompatible si no tiene ninguna solucin.
Sistema compatible si tiene alguna solucin, en este caso adems puede distinguirse entre:
Sistema compatible determinado cuando tiene un nmero finito de soluciones.
Sistema compatible indeterminado cuando admite un conjunto infinito de soluciones.
Quedando as la clasificacin:

Los sistemas incompatibles geomtricamente se caracterizan por (hiper)planos o rectas que se cruzan sin cortarse.
Los sistemas compatibles determinados se caracterizan por un conjunto de (hiper)planos o rectas que se cortan en un
nico punto. Los sistemas compatibles indeterminados se caracterizan por (hiper)planos que se cortan a lo largo de
una recta [o ms generalmente un hiperplano de dimensin menor]. Desde un punto de vista algebraico los sistemas
compatibles determinados se caracterizan porque el determinante de la matriz es diferente de cero:

Sistema de ecuaciones lineales

Sistemas compatibles indeterminados

Un sistema sobre un cuerpo K es compatible indeterminado cuando posee un nmero infinito de soluciones. Por
ejemplo, el siguiente sistema:

Tanto la primera como la segunda ecuacin se corresponden con la recta cuya pendiente es
punto

y que pasa por el

, por lo que ambas intersecan en todos los puntos de dicha recta. El sistema es compatible por haber

solucin o interseccin entre las rectas, pero es indeterminado al ocurrir esto en infinitos puntos.
En este tipo de sistemas, la solucin genrica consiste en expresar una o ms variables como funcin matemtica
del resto. En los sistemas lineales compatibles indeterminados, al menos una de sus ecuaciones se puede hallar
como combinacin lineal del resto, es decir, es linealmente dependiente.
Una condicin necesaria para que un sistema sea compatible indeterminado es que el determinante de la matriz
del sistema sea cero (y por tanto uno de sus autovalores ser 0):

De hecho, de las dos condiciones anteriores se desprende, que el conjunto de soluciones de un sistema compatible
indeterminado es un subespacio vectorial. Y la dimensin de ese espacio vectorial coincidir con la multiplicidad
geomtrica del autovalor cero.
Sistemas incompatibles
De un sistema se dice que es incompatible cuando no presenta ninguna solucin. Por ejemplo, supongamos el
siguiente sistema:

Las ecuaciones se corresponden grficamente con dos rectas, ambas con la misma pendiente, Al ser paralelas, no se
cortan en ningn punto, es decir, no existe ningn valor que satisfaga a la vez ambas ecuaciones.
Matemticamente un sistema de estos es incompatible cuando el rango de la matriz del sistema es inferior al rango
de la matriz ampliada. Una condicin necesaria para que esto suceda es que el determinante de la matriz del sistema
sea cero:

Mtodos de solucin a sistemas de ecuaciones lineales

Sustitucin
El mtodo de sustitucin consiste en despejar en una de las ecuaciones cualquier incgnita, preferiblemente la que
tenga menor coeficiente, para, a continuacin, sustituirla en otra ecuacin por su valor.
En caso de sistemas con ms de dos incgnitas, la seleccionada debe ser sustituida por su valor equivalente en todas
las ecuaciones excepto en la que la hemos despejado. En ese instante, tendremos un sistema con una ecuacin y una
incgnita menos que el inicial, en el que podemos seguir aplicando este mtodo reiteradamente. Por ejemplo,
supongamos que queremos resolver por sustitucin este sistema:

En la primera ecuacin, seleccionamos la incgnita

por ser la de menor coeficiente y que posiblemente nos

facilite ms las operaciones, y la despejamos, obteniendo la siguiente ecuacin.

Sistema de ecuaciones lineales

El siguiente paso ser sustituir cada ocurrencia de la incgnita

donde la nica incgnita sea la

en la otra ecuacin, para as obtener una ecuacin

Al resolver la ecuacin obtenemos el resultado

de las ecuaciones originales obtendremos

, y si ahora sustituimos esta incgnita por su valor en alguna

, con lo que el sistema queda ya resuelto.

Igualacin
El mtodo de igualacin se puede entender como un caso particular del mtodo de sustitucin en el que se despeja la
misma incgnita en dos ecuaciones y a continuacin se igualan entre s la parte derecha de ambas ecuaciones.
Tomando el mismo sistema utilizado como ejemplo para el mtodo de sustitucin, si despejamos la incgnita

en

ambas ecuaciones nos queda de la siguiente manera:

Como se puede observar, ambas ecuaciones comparten la misma parte izquierda, por lo que podemos afirmar que las
partes derechas tambin son iguales entre s.

Una vez obtenido el valor de la incgnita

el valor de la .

, se substituye su valor en una de las ecuaciones originales, y se obtiene

La forma ms fcil de tener el mtodo de sustitucin es realizando un cambio para despejar x despus de averiguar el
valor de la y.
Reduccin
Este mtodo suele emplearse mayoritariamente en los sistemas lineales, siendo pocos los casos en que se utiliza para
resolver sistemas no lineales. El procedimiento, diseado para sistemas con dos ecuaciones e incgnitas, consiste en
transformar una de las ecuaciones (generalmente, mediante productos), de manera que obtengamos dos ecuaciones
en la que una misma incgnita aparezca con el mismo coeficiente y distinto signo. A continuacin, se suman ambas
ecuaciones producindose as la reduccin o cancelacin de dicha incgnita, obteniendo as una ecuacin con una
sola incgnita, donde el mtodo de resolucin es simple.
Por ejemplo, en el sistema:

no tenemos ms que multiplicar la primera ecuacin por

para poder cancelar la incgnita

. Al multiplicar,

dicha ecuacin nos queda as:

Si sumamos esta ecuacin a la segunda del sistema original, obtenemos una nueva ecuacin donde la incgnita
sido reducida y que, en este caso, nos da directamente el valor de la incgnita

El siguiente paso consiste nicamente en sustituir el valor de la incgnita

aparecan ambas incgnitas, y obtener as que el valor de es igual a:

ha

en cualquiera de las ecuaciones donde

Sistema de ecuaciones lineales

Mtodo de Gauss
La eliminacin de Gauss-Jordan, ms conocida como mtodo de Gauss, es un mtodo aplicable nicamente a los
sistemas lineales de ecuaciones, y consistente en triangular la matriz aumentada del sistema mediante
transformaciones elementales, hasta obtener ecuaciones de una sola incgnita, cuyo valor ser igual al coeficiente
situado en la misma fila de la matriz. Este procedimiento es similar al anterior de reduccin, pero ejecutado de
manera reiterada y siguiendo un cierto orden algortmico.
El Mtodo de Gauss consiste en convertir un sistema normal de 3 ecuaciones con 3 incognitas en uno escalonado, en
la que la primera ecuacin tiene 3 incgnitas, la segunda ecuacin tiene 2 incgnitas, y la tercera ecuacin tiene 1
incgnita. De esta forma ser fcil a partir de la ltima ecuacin y subiendo hacia arriba, calcular el valor de las tres
incgnitas.
En primer lugar, reducimos la incgnita

, sumando a la segunda fila, la primera multiplicada por

, y a la tercera,

la primera fila. La matriz queda as:

El siguiente paso consiste en eliminar la incgnita

segunda multiplicada por

Por ltimo, eliminamos la

y por

y por

en la primera y tercera fila, para lo cual les sumamos la

, respectivamente.

, tanto de la primera como de la segunda fila, sumndoles la tercera multiplicada por

, respectivamente:

Llegados a este punto podemos resolver directamente las ecuaciones que se nos plantean:

O, si lo preferimos, podemos multiplicar las tres filas de la matriz por:

respectivamente, y obtener as

automticamente los valores de las incgnitas en la ltima columna.

Pongamos un ejemplo del calculo de un sistema de ecuaciones por el mtodo de Gauss:

Se renen 30 personas entre hombres, mujeres y nios. Se sabe que entre los hombres y el triple de mujeres
exceden en 20 el doble de los nios. Tambien se sabe que entre hombres y mujeres se duplican al nmero de
nios. Plantear y resolver el sistema de ecuaciones.

Sistema de ecuaciones lineales

Se renen 30 personas entre hombres, mujeres y nios:

Se sabe que entre los hombres y el triple de mujeres exceden en 20 el doble de los nios:

Tambien se sabe que entre hombres y mujeres se duplican al nmero de nios:

Agrupando las tres ecuaciones tenemos el sistema, que ordenado resulta:

Aplicamos Gauss, restando la primera ecuacin a las dos siguientes:

En este caso en la tercera ecuacin se ha eliminado la y, por lo que no es necesario hacer mas operaciones. Por lo
tanto obtenemos que z = 10 de la tercera ecuacin:

Sustituyendo z en la segunda ecuacin obtenemos que y = 10:

Sustituyendo z y en la primera ecuacin obtenemos x = 10.

Con lo que hemos obtenido el resultado del sistema:

Regla de Cramer
La regla de Cramer da una solucin para sistemas compatibles determinados en trminos de determinantes y
adjuntos dada por:

Donde Aj es la matriz resultante de remplazar la j-sima columna de A por el vector columna b. Para un sistema de
dos ecuaciones y dos incgnitas:

La regla de Cramer da la siguiente solucin:

Sistema de ecuaciones lineales

Nota: Cuando en la determinante original det(A) el resultado es 0, el sistema indica mltiples o sin coincidencia.
Algoritmos numricos
La eliminacin de Gauss-Jordan es un algoritmo numrico usado para una gran cantidad de casos especficos,
aunque posterioremnte se han desarrollado algoritmos alternativos mucho ms eficientes. La mayora de estos
algoritmos mejorados tienen una complejidad computacional de O(n) (donde n es el nmero de ecuaciones del
sistema). Algunos de los mtodos ms usados son:
Para los problemas de la forma Ax = b, donde A es una matriz de Toeplitz simtrica, se puede utilizar la recursin
de Levinson o alguno de los mtodos derivados de ste. Un mtodo derivado de la recursin de Levinson es la
recursin de Schur, que es ampliamente usado en el campo del procesamiento digital de seales.
Para los problemas de la forma Ax = b, donde A es una matriz singular o casi singular, la matriz A se descompone
en el producto de tres matrices en un proceso llamado descomposicin de valores singulares.
Cuando consideramos ecuaciones lineales cuyas soluciones son nmeros racionales, reales o complejos o ms
generalmente un cuerpo
, la solucin puede encontrarse mediante Regla de Cramer. Para sistemas de muchas
ecuaciones la regla de Cramer puede ser computacionalmente ms costosa y suelen usarse otros mtodos ms
"econmicos" en nmero de operaciones como la eliminacin de Gauss-Jordan y la descomposicin de Cholesky.
Existen tambin mtodos indirectos (basados en iteraciones) como el mtodo de Gauss-Seidel.
Si el cuerpo es infinito (como es el caso de los nmeros reales o complejos), entonces solo puede darse una de las
tres siguientes situaciones:
el sistema no tiene solucin (en dicho caso decimos que el sistema est sobredeterminado o que es incompatible)
el sistema tiene una nica solucin (el sistema es compatible determinado)
el sistema tiene un nmero infinito de soluciones (el sistema es compatible indeterminado).

Solucin de sistemas lineales en un anillo

Los mtodos para resolver el sistema (1) sobre un anillo son muy diferentes a los considerados anteriormente. De
hecho la mayora de mtodos usados en cuerpos, como la regla de Cramer, son inaplicables en anillos debido a que
no existen inversos multiplicativos.
La existencia de solucin del sistema (1) sobre los enteros requiere varias condiciones:
1. Para cada i
es divisor de .
2. Si la condicin anterior se cumple para un determinado i existe un conjunto de enteros
conjunto de enteros que satisface la i-sima ecuacin, y existir solucin si la interseccin

formado por el
.

Sistema de ecuaciones lineales

Vase tambin
Sistema de ecuaciones
Sistema lineal de dos ecuaciones con dos incgnitas

Enlaces externos

Solucionador descriptivo de ecuaciones lineales [1]

Resolver o Reducir Matrices Online [2]
"Resolvedor" de ecuaciones lineales en lnea [3]
"Resolvedor" de ecuaciones lineales en paso a paso en Matlab, programa descargable gratis [4]

Referencias
[1]
[2]
[3]
[4]

http:/ / sole. ooz. ie/ es

http:/ / www. resolvermatrices. com. ar
http:/ / wims. unice. fr/ wims/ wims. cgi?lang=es& module=tool/ linear/ linsolver. es
http:/ / www. mathworks. com/ matlabcentral/ fileexchange/ 27344-programa-para-resolver-sistemas-de-ecuaciones-version-es-espaniol

Fuentes y contribuyentes del artculo

Fuentes y contribuyentes del artculo

Sistema de ecuaciones lineales Fuente: http://es.wikipedia.org/w/index.php?oldid=45542067 Contribuyentes: Ale flashero, Angel GN, Astenuz, Barteik, Bucephala, CASF, Davius, Deachp,
Diegusjaimes, Dj alejo, Dnu72, Ellinik, GASDEJAVA, Ggenellina, Gustav 7, HUB, Habermecanicus, Hameryko, HiTe, Humberto, Imrathor, Ingenioso Hidalgo, Isidro a h, Ivansss, J.delanoy,
Jkbw, Joarobles, Jtico, Juan Mayordomo, Kved, Mafores, Magister Mathematicae, Manuelt15, Mar del Sur, Maria Marjim, Mariowiki, Martin paliza, Matdrodes, Neto 007, Oscar ., Pino,
PoLuX124, Racso, Rafael.heras, Raulshc, Repos34, Ricard Delgado Gonzalo, Spirit-Black-Wikipedista, Steve.jaramillov, Super braulio, Tano4595, Uriel kamikaze, Vic Fede, Vitamine,
Wilfredor, 237 ediciones annimas

Fuentes de imagen, Licencias y contribuyentes

Archivo:PlaneIntersection.png Fuente: http://es.wikipedia.org/w/index.php?title=Archivo:PlaneIntersection.png Licencia: GNU Free Documentation License Contribuyentes: User:Jackohare

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