Sistema de ecuaciones lineales

En matemticas y lgebra lineal, un sistema de ecuacio- Si representamos cada matriz con una nica letra obtene-
nes lineales, tambin conocido como sistema lineal de mos:
ecuaciones o simplemente sistema lineal, es un conjun-
to de ecuaciones lineales (es decir, un sistema de ecuacio- Ax = b
nes en donde cada ecuacin es de primer grado), denidas
sobre un cuerpo o un anillo conmutativo. Un ejemplo de Donde A es una matriz m por n, x es un vector colum-
sistema lineal de ecuaciones sera el siguiente: na de longitud n y b es otro vector columna de longitud
m. El sistema de eliminacin de Gauss-Jordan se aplica a

3 x1 + 2 x2 + x3 = 1 este tipo de sistemas, sea cual sea el cuerpo del que pro-
2 x1 + 2 x2 + 4 x3 = 2 vengan los coecientes. La matriz A se llama matriz de
coecientes de este sistema lineal. A b se le llama vector
x1 + 1
2 x2 x3 = 0
de trminos independientes del sistema y a x se le llama
vector de incgnitas.
El problema consiste en encontrar los valores descono-
cidos de las variables x1 , x2 y x3 que satisfacen las tres
ecuaciones.
2 Sistemas lineales reales
El problema de los sistemas lineales de ecuaciones es uno
de los ms antiguos de la matemtica y tiene una in-
nidad de aplicaciones, como en procesamiento digital En esta seccin se analizan las propiedades de los siste-
de seales, anlisis estructural, estimacin, prediccin y mas de ecuaciones lineales sobre el cuerpo R , es decir,
ms generalmente en programacin lineal as como en la los sistemas lineales en los cuales los coecientes de las
aproximacin de problemas no lineales de anlisis num- ecuaciones son nmeros reales.
rico.
2.1 Representacin grca
1 Introduccin
En general, un sistema con m ecuaciones lineales y n
incgnitas puede ser escrito en forma normal como:

a11 x1 +a12 x2 +... +a1n xn = b1

a21 x1 +a22 x2 +... +a2n xn = b2
... ... ... ... ...
am1 x1 +am2 x2 +... +amn xn = bm

Donde x1 , . . . , xn son las incgnitas y los nmeros aij

K son los coecientes del sistema sobre el cuerpo K [=
R, C, . . . ] . Es posible reescribir el sistema separando con
coecientes con notacin matricial:

a11 a12 a1n x1
a21 a22 a2n x2

(1) . .. .. .. .. =
.. . . . .
am1 am2 amn xn

b1 La interseccin de dos planos que no son paralelos coincidentes
b2 es una recta.

..
. Un sistema con n incgnitas se puede representar en el
bm n-espacio correspondiente.

1
2 2 SISTEMAS LINEALES REALES
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. La
solucin ser el punto (o lnea) donde se intersequen todas
las rectas representan a las ecuaciones. Si no existe ningn 2.2.1 Algoritmo para determinar si un sistema es
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 este sern la solucin al
sistema. Si, por el contrario, la interseccin de todos ellos
es una recta o incluso un plano, el sistema tendr innitas
soluciones, que sern las coordenadas de los puntos que
forman dicha lnea o supercie.
Para sistemas de 4 o ms incgnitas, la representacin
grca no existe, por lo que dichos problemas no se en- 2.2.2 Sistemas compatibles indeterminados
focan desde esta ptica.
Un sistema sobre un cuerpo K es compatible indeter-
minado cuando posee un nmero innito de soluciones.
2.2 Tipos de sistemas lineales Por ejemplo, el siguiente sistema:
determinado
compatible
sistema indeterminado
incompatible
Los sistemas de ecuaciones se pueden clasicar segn el
nmero de soluciones que pueden presentar. De acuerdo
con ese caso se pueden presentar los siguiente compatible
si tiene solucin, en este caso ademguirse entre:
Sierminado ciene una nica soluci indetermi-
nado cuando admite un conjunto innito de
soluciones.
Sistema incompatible si no tiene solucin.
Quedando as la clasicacin:
Los sistemas incompatibles geomtricamente se caracte-
rizan por (hiper)planos o rectas que se cruzan sin cortar-
se. Los sistemas compatibles determinados se caracteri-
zan por un conjunto de (hiper)planos o rectas que se cor-
tan en un nico punto. Los sistemas compatibles indeter-
minados 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 algebrai-
co los sistemas compatibles determinados se caracterizan
porque el determinante de la matriz es diferente de cero:
Sistema compatible determinado
det(A) = 0
compatible
Podemos averiguar si un sistema es o no compatible me-
diante el Teorema de Rouch-Frobenius que establece
que un sistema de ecuaciones lineales es compatible s-
lo si el rango de su matriz ampliada coincide con el de
su matriz de coecientes. Supongamos que el sistema es
compatible. Si el valor comn de los rangos de las ma-
trices coincide con el nmero de variables, el sistema es
compatible determinado; en caso contrario, es compa-
tible indeterminado.
{
x +2y =1
2x +4y =2
Tanto la primera como la segunda ecuacin se correspon-
den con la recta cuya pendiente es 0, 5 y que pasa por
el punto (1, 1) , 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 in-
determinado al ocurrir esto en innitos puntos.
En este tipo de sistemas, la solucin genrica con-
siste en expresar una o ms variables como funcin
matemtica del resto. En los sistemas lineales com-
patibles indeterminados, al menos una de sus ecua-
ciones se puede hallar como combinacin lineal del
resto, es decir, es linealmente dependiente.
La condicin necesaria para que un sistema sea
compatible indeterminado es que el determinante de
la matriz del sistema sea cero al igual que el rango
de la matriz ampliada y menor al nmero de incg-
nitas(y por tanto uno de sus autovalores ser 0):
sistema compatible indeterminado
det A = 0
De hecho, de las dos condiciones anteriores se des-
prende, que el conjunto de soluciones de un sistema
compatible indeterminado es un subespacio vecto-
rial. Y la dimensin de ese espacio vectorial coin-
cidir con la multiplicidad geomtrica del autovalor
cero.
2.3 Resolucin de sistemas de ecuaciones lineales 3

2.2.3 Sistemas incompatibles Al resolver la ecuacin obtenemos el resultado x = 5 , y

si ahora sustituimos esta incgnita por su valor en alguna
De un sistema se dice que es incompatible cuando no de las ecuaciones originales obtendremos y = 7 , con lo
presenta ninguna solucin. Por ejemplo, supongamos el que el sistema queda ya resuelto.
siguiente sistema:
{ 2.3.2 Igualacin
x +2y =4
2x +4y =7
El mtodo de igualacin se puede entender como un caso
particular del mtodo de sustitucin en el que se despeja
Las ecuaciones se corresponden grcamente con dos
la misma incgnita en dos ecuaciones y a continuacin se
rectas, ambas con la misma pendiente, Al ser paralelas,
igualan entre s la parte derecha de ambas ecuaciones.
no se cortan en ningn punto, es decir, no existe ningn
valor que satisfaga a la vez ambas ecuaciones. Tomando el mismo sistema utilizado como ejemplo para
el mtodo de sustitucin, si despejamos la incgnita y en
Matemticamente un sistema de estos es incompatible
ambas ecuaciones nos queda de la siguiente manera:
cuando el rango de la matriz del sistema es inferior al ran-
go de la matriz ampliada. Una condicin necesaria para
que esto suceda es que el determinante de la matriz del y = 22 3x
sistema sea cero: 4x + 1
y =
3
sistema incompatible det A = 0
Como se puede observar, ambas ecuaciones comparten la
misma parte izquierda, por lo que podemos armar que
2.3 Resolucin de sistemas de ecuaciones las partes derechas tambin son iguales entre s.
lineales
22 3x = 4x+1
3 3(22 3x) =
2.3.1 Sustitucin 4x + 1 65 = 13x x=5

El mtodo de sustitucin consiste en despejar en una de Una vez obtenido el valor de la incgnita x , se sustituye
las ecuaciones con cualquier incgnita, preferiblemente la su valor en una de las ecuaciones originales, y se obtiene
que tenga menor coeciente y a continuacin sustituirla el valor de la y .
en otra ecuacin por su valor.
La forma ms fcil de tener el mtodo de sustitucin es
En caso de sistemas con ms de dos incgnitas, la selec- realizando un cambio para despejar x despus de averi-
cionada debe ser sustituida por su valor equivalente en to- guar el valor de la y.
das 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 2.3.3 Reduccin
seguir aplicando este mtodo reiteradamente. Por ejem-
plo, supongamos que queremos resolver por sustitucin Este mtodo suele emplearse mayoritariamente en los sis-
este sistema: temas lineales, siendo pocos los casos en que se utiliza
para resolver sistemas no lineales. El procedimiento, di-
{
3x +y = 22 seado para sistemas con dos ecuaciones e incgnitas,
4x 3y = 1 consiste en transformar una de las ecuaciones (general-
mente, mediante productos), de manera que obtengamos
En la primera ecuacin, seleccionamos la incgnita y por dos ecuaciones en la que una misma incgnita aparezca
ser la de menor coeciente y que posiblemente nos faci- con el mismo coeciente y distinto signo. A continuacin,
lite ms las operaciones, y la despejamos, obteniendo la se suman ambas ecuaciones producindose as la reduc-
siguiente ecuacin. cin o cancelacin de dicha incgnita, obteniendo as una
ecuacin con una sola incgnita, donde el mtodo de re-
solucin es simple.
y = 22 3x
Por ejemplo, en el sistema:
El siguiente paso ser sustituir cada ocurrencia de la in- {
cgnita y en la otra ecuacin, para as obtener una ecua- 2x +3y = 5
cin donde la nica incgnita sea la x . 5x +6y = 4

4x 3(22 3x) = 1 4x 66 + No tenemos ms que multiplicar la primera ecuacin por

9x = 1 13x 66 = 1, 2 para poder cancelar la incgnita y . Al multiplicar,
13x = 65 dicha ecuacin nos queda as:
4 2 SISTEMAS LINEALES REALES

1. Se despeja la incgnita en ambas ecuaciones.

2(2x + 3y = 5) 4x 6y = 10 2. Se construye para cada una de las dos ecuaciones de

primer grado obteniendo la tabla de valores corres-
Si sumamos esta ecuacin a la segunda del sistema origi- pondientes.
nal, obtenemos una nueva ecuacin donde la incgnita y 3. Se representan grcamente ambas rectas en los ejes
ha sido reducida y que, en este caso, nos da directamente coordenados.
el valor de la incgnita x :
4. En este ltimo paso hay tres posibilidades:
(a) Si ambas rectas se cortan, las coordenadas del
punto de corte son los nicos valores de las in-
4x 6y = 10
cgnitas (x,y). Sistema compatible determi-
5x +6y = 4
nado.
x = 6
(b) Si ambas rectas son coincidentes, el sistema
tiene innitas soluciones que son las respec-
tivas coordenadas de todos los puntos de esa
x = 6
recta en la que coinciden ambas. Sistema
compatible indeterminado.
El siguiente paso consiste nicamente en sustituir el valor
(c) Si ambas rectas son paralelas, el sistema no tie-
de la incgnita x en cualquiera de las ecuaciones donde
ne solucin en los reales pero si en los comple-
aparecan ambas incgnitas, y obtener as que el valor de
jos.
y si sustituimos en la primera ecuacin es igual a:
}
2x +3y = 5 2.3.5 Mtodo de Gauss

x = 6
2(6) + 3y = 5 y = 17 El mtodo de eliminacin de Gauss o simplemente mto-
3
do de Gauss consiste en convertir un sistema lineal de n
ecuaciones con n incgnitas, en uno escalonado, en el que
2.3.4 Mtodo grco la primera ecuacin tiene n incgnitas, la segunda ecua-
cin tiene n - 1 incgnitas, ..., hasta la ltima ecuacin,
y que tiene 1 incgnita. De esta forma, ser fcil partir de
7
y = 2x la ltima ecuacin e ir subiendo para calcular el valor de
6 las dems incgnitas.
5

4 (2, 4)
Eliminacin de Gauss-Jordan Una variante de este
y = 0,5x + 3
3
mtodo, denominada eliminacin de Gauss-Jordan, es un
2
y = -x + 6 mtodo aplicable nicamente a los sistemas lineales de
1 ecuaciones, y consistente en triangular la matriz aumen-
-7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 x tada del sistema mediante transformaciones elementales,
-1 hasta obtener ecuaciones de una sola incgnita, cuyo va-
-2
lor ser igual al coeciente situado en la misma la de la
-3
matriz. Este procedimiento es similar al anterior de re-
-4
duccin, pero ejecutado de manera reiterada y siguiendo
un cierto orden algortmico.
-5

-6

-7 2.3.6 Regla de Cramer

La regla de Cramer da una solucin para sistemas compa-

Rectas que pasan por el punto: (2,4) tibles determinados en trminos de determinantes y ad-
juntos dada por:
Consiste en construir la grca de cada una de las ecua-
ciones del sistema. El mtodo (manualmente aplicado) det(Aj )
solo resulta eciente en el plano cartesiano, es decir para xj =
det(A)
un espacio de dimensin.
El proceso de resolucin de un sistema de ecuaciones me- Donde Aj es la matriz resultante de remplazar la j-sima
diante el mtodo grco se resuelve en los siguientes pa- columna de A por el vector columna b. Para un sistema
sos: de dos ecuaciones y dos incgnitas:
 5

{
ax + by =e el sistema tiene una nica solucin (el sistema es
cx + dy =f compatible determinado)

La regla de Cramer da la siguiente solucin: el sistema tiene un nmero innito de soluciones (el
  sistema es compatible indeterminado).

e

b 

f d edbf
x =   = , y =

a

b  adbc
3 Solucin de sistemas lineales en

c d


 un anillo
a

e 

c f  af ec
  = Los mtodos para resolver el sistema (1) sobre un anillo

a

b  adbc
son muy diferentes a los considerados anteriormente. De

c d hecho la mayora de mtodos usados en cuerpos, como la
regla de Cramer, son inaplicables en anillos debido a que
Nota: Cuando en la determinante original det(A) el resul-
no existen inversos multiplicativos.
tado es 0, el sistema indica mltiples o sin coincidencia.
La existencia de solucin del sistema (1) sobre los enteros
requiere varias condiciones:
2.3.7 Algoritmos numricos
1. Para cada i mcd(ai1 , ai2 , ..., ain ) es divisor de bi .
La eliminacin de Gauss-Jordan es un algoritmo num-
rico usado para una gran cantidad de casos especcos, 2. Si la condicin anterior se cumple para un deter-
aunque posteriormente se han desarrollado algoritmos al- minado i existe un conjunto de enteros Si for-
ternativos mucho ms ecientes. La mayora de estos al- mado por el conjunto de enteros que satisface la i-
goritmos mejorados tienen una complejidad computacio- sima ecuacin, y existir solucin si la interseccin
nal de O(n) (donde n es el nmero de ecuaciones del sis- S1 ... Sn = .
tema). 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
4 Vase tambin
recursin de Levinson o alguno de los mtodos de-
rivados de este. Un mtodo derivado de la recursin Sistema de ecuaciones
de Levinson es la recursin de Schur, que es amplia-
mente usado en el campo del procesamiento digital
de seales. 5 Enlaces externos
Para los problemas de la forma Ax = b, donde A es
una matriz singular o casi singular, la matriz A se Solucionador de Sistemas de Ecuaciones Lineales
descompone en el producto de tres matrices en un
proceso llamado descomposicin en valores singu- Wikiversidad alberga proyectos de apren-
lares. dizaje sobre Sistema de ecuaciones linea-
les.Wikiversidad
Cuando consideramos ecuaciones lineales cuyas solucio-
nes son nmeros racionales, reales o complejos o ms Solucionador descriptivo de ecuaciones lineales
generalmente un cuerpo K , la solucin puede encon-
Resolver o Reducir Matrices Online
trarse mediante Regla de Cramer. Para sistemas de mu-
chas ecuaciones la regla de Cramer puede ser compu- Solucionador de sistemas lineales
tacionalmente ms costosa y suelen usarse otros mto-
dos ms econmicos en nmero de operaciones como Ecuaciones Lineales en Matlab Central, compila-
la eliminacin de Gauss-Jordan y la descomposicin de cin de algoritmos para resolver ecuaciones lineales
Cholesky. Existen tambin mtodos indirectos (basados en MATLAB
en iteraciones) como el mtodo de Gauss-Seidel.
Calculadora Sistema de ecuaciones lineales
Si el cuerpo es innito (como es el caso de los nmeros
reales o complejos), entonces solo puede darse una de las Herramienta genrica con clculo de inversa y de-
tres siguientes situaciones: terminantes

Ejemplos de resolucin de sistemas de ecuaciones

el sistema no tiene solucin (en dicho caso se dice
lineales
que el sistema est sobredeterminado o que es in-
compatible)
6 6 ORIGEN DEL TEXTO Y LAS IMGENES, COLABORADORES Y LICENCIAS

6 Origen del texto y las imgenes, colaboradores y licencias

6.1 Texto
Sistema de ecuaciones lineales Fuente: https://es.wikipedia.org/wiki/Sistema_de_ecuaciones_lineales?oldid=98949870 Colaboradores:
Pino, Vivero, Tano4595, Ramjar, Geom, Juansempere, Soulreaper, Magister Mathematicae, RobotQuistnix, Chobot, Yrbot, Oscar ., Vita-
mine, YurikBot, The Photographer, Gtz, Er Komandante, Ricard Delgado Gonzalo, CEM-bot, Marianov, Eamezaga, Joarobles, Davius,
Antur, Ggenellina, Ingenioso Hidalgo, Thijs!bot, Escarbot, Hameryko, Repos34, Kved, TXiKiBoT, HiTe, Humberto, Netito777, Ale as-
hero, Plux, Jtico, Bucephala, AlnoktaBOT, VolkovBot, Technopat, Matdrodes, Rafael.heras, Muro Bot, Racso, Conchaes, Martin paliza,
SieBot, Imrathor, Loveless, Rigenea, Drinibot, CASF, Mel 23, Pascow, Greek, GASDEJAVA, Mafores, Dnu72, HUB, Ivansss~eswiki,
Isidro a h, Estirabot, Eduardosalg, Leonpolanco, Mar del Sur, Pichu VI, Petruss, Alexbot, Juan Mayordomo, Raulshc, Astenuz, Silvo-
nenBot, UA31, Mariowiki, AVBOT, Ellinik, Steve.jaramillov, LucienBOT, J.delanoy, Angel GN, Diegusjaimes, EdBever, Luckas-bot,
Spirit-Black-Wikipedista, Ptbotgourou, Vic Fede, CayoMarcio, Barteik, ArthurBot, SuperBraulio13, Manuelt15, Xqbot, Jkbw, Botarel,
BenzolBot, Gustav 7, Dj alejo, Halfdrag, Jerowiki, PatruBOT, Dinamik-bot, Humbefa, Tarawa1943, Uriel kamikaze, Habermecanicus,
Riveravaldez, Felipe Raimann, EmausBot, CVNBot, Savh, HRoestBot, Sergio Andres Segovia, Rubpe19, ChuispastonBot, Neto 007, Ma-
ria Marjim, Waka Waka, Movses-bot, Tokvo, Deachp, AStarBot, JABO, Edc.Edc, Gins90, Profegiovanny, Ren Vpenk, Nicolas javier
gomez, Bibliolotranstornado, Acratta, LlamaAl, Elvisor, Legobot, Alan, Lautaro 97, Monkeybull, Balles2601, Hans Topo1993, ROSA
EVELIA PRADO HERNANDEZ, DavosMat, JacobRodrigues, Judith.ramosl, Jarould, Matiia, Bruno Rene Vargas, AlvaroMolina, Miguu,
Diegobsc, Ignaciogu, Gabino999, Krassnine, Paolacid, Claulopez123456 y Annimos: 388

6.2 Imgenes
Archivo:AL_Sistema.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/d/d4/AL_Sistema.svg Licencia: CC BY-SA 3.0 Co-
laboradores: Trabajo propio Artista original: Dnu72
Archivo:FuncionLineal05.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/9/94/FuncionLineal05.svg Licencia: Public
domain Colaboradores: Trabajo propio Artista original: HiTe 22:08, 10 May 2008 (UTC)
Archivo:PlaneIntersection.png Fuente: https://upload.wikimedia.org/wikipedia/commons/7/7b/PlaneIntersection.png Licencia: CC-
BY-SA-3.0 Colaboradores: ? Artista original: ?
Archivo:Wikiversity-logo-Snorky.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/1/1b/Wikiversity-logo-en.svg Licen-
cia: CC BY-SA 3.0 Colaboradores: Trabajo propio Artista original: Snorky

6.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0