Sistema d'ecuaciones lliniales

De Wikipedia
Saltar a navegación Saltar a la gueta

En matemátiques y álxebra llinial, un sistema d'ecuaciones lliniales, tamién conocíu como sistema llinial d'ecuaciones o a cencielles sistema llinial, ye un conxuntu d'ecuaciones lliniales (esto ye, un sistema d'ecuaciones onde cada ecuación ye de primer grau), definíes sobre un cuerpu o un aníu conmutativu. Un exemplu de sistema llinial d'ecuaciones sería'l siguiente:

El problema consiste n'atopar los valores desconocíos de les variables x1, x2 y x3 que satisfaen los trés ecuaciones.

El problema de los sistemes lliniales d'ecuaciones ye unu de los más antiguos de la matemática y tien una infinidá d'aplicaciones, como en procesamientu dixital de señales, analís estructural, estimación, predicción y más xeneralmente en programación llinial según na aproximamientu de problemes non lliniales de analís numbéricu.

Introducción[editar | editar la fonte]

Polo xeneral, un sistema con m ecuaciones lliniales y n incógnitas pue ser escritu en forma normal como:

Onde son les incógnites y los númberos son los coeficientes del sistema sobre'l cuerpu . Ye posible reescribir el sistema dixebrando con coeficientes con notación matricial:

(1)

Si representamos cada matriz con una única lletra llogramos:

Onde A ye una matriz m por n, x ye un vector columna de llargor n y b ye otru vector columna de llargor m. El sistema d'eliminación de Gauss-Jordan aplicar a esti tipu de sistemes, sía como quier el cuerpu del que provengan los coeficientes. La matriz A llámase matriz de coeficientes d'esti sistema llinial. A b llámase-y vector de términos independientes del sistema y a x llámase-y vector d'incógnites.

Sistemes lliniales reales[editar | editar la fonte]

Nesta seición analicen les propiedaes de los sistemes d'ecuaciones lliniales sobre'l cuerpu , esto ye, los sistemes lliniales nos cualos los coeficientes de les ecuaciones son númberos reales.

Representación gráfica[editar | editar la fonte]

La interseición de dos planos que nun son paralelos coincidentes ye una recta.

Un sistema con incógnites puede representase nel n-espaciu correspondiente.

Nos sistemes con 2 incógnites, l'universu del nuesu sistema va ser el planu bidimensional, ente que caúna de les ecuaciones va ser representada por una recta. La solución va ser el puntu (o llinia) onde se intersequen toles rectes representen a les ecuaciones. Si nun esiste nengún puntu nel que se intersequen coles mesmes toles llinies, el sistema ye incompatible, o lo que ye lo mesmo, nun tien solución.

Nel casu d'un sistema con 3 incógnites, l'universu va ser l'espaciu tridimensional, siendo cada ecuación un planu dientro del mesmu. Si tolos planos intersecan nun únicu puntu, les coordenaes d'este van ser la solución al sistema. Si, otra manera, la interseición de toos ellos ye una recta o inclusive un planu, el sistema va tener infinites soluciones, que van ser les coordenaes de los puntos que formen dicha llinia o superficie.

Pa sistemes de 4 o más incógnites, la representación gráfica nun esiste, polo que dichos problemes nun s'enfoquen dende esta óptica.

Tipos de sistemes lliniales[editar | editar la fonte]

AL Sistema.svg

Los sistemes d'ecuaciones pueden clasificase según el númberu de soluciones que pueden presentar. Acordies con esi casu pueden presentase los siguientes casos:

  • Sistema compatible si tien solución, nesti casu amás puede estremase ente:
    • Sistema compatible determináu cuando tien una única solución.
    • Sistema compatible indetermináu cuando almite un conxuntu infinitu de soluciones.
  • Sistema incompatible si nun tien solución.

Quedando asina la clasificación:

Los sistemes incompatibles geométricamente caracterizar por (hiper)planos o rectes que se crucien ensin cortase. Los sistemes compatibles determinaos caracterizar por un conxuntu de (hiper)planos o rectes que se corten nun únicu puntu. Los sistemes compatibles indeterminaos caracterizar por (hiper)planos que se corten a lo llargo d'una recta [o más xeneralmente un hiperplano de dimensión menor]. Dende un puntu de vista alxebraicu los sistemes compatibles determinaos caracterícense porque'l determinante de la matriz ye distinta de cero:

Algoritmu pa determinar si un sistema ye compatible[editar | editar la fonte]

Podemos pescudar si un sistema ye o non compatible por aciu el Teorema de Rouché-Frobenius qu'establez qu'un sistema d'ecuaciones lliniales ye compatible namái si'l rangu del so matriz ampliada coincide col del so matriz de coeficientes. Supongamos que'l sistema ye compatible. Si'l valor común de los rangos de les matrices coincide col númberu de variables, el sistema ye compatible determináu; en casu contrariu, ye compatible indetermináu.

Sistemes compatibles indeterminaos[editar | editar la fonte]

Un sistema sobre un cuerpu K ye compatible indetermináu cuando tien un númberu infinitu de soluciones. Por casu, el siguiente sistema:

Tanto la primera como la segunda ecuación corresponder cola recta que la so pindia ye y que pasa pol puntu , polo que dambes coinciden en tolos puntos de felicidá recta. El sistema ye compatible por tener solución o puntos comunes ente les rectes, pero ye indetermináu al asoceder esto n'infinitos puntos.

  • Nesti tipu de sistemes, la solución xenérica consiste n'espresar una o más variables como función matemática del restu. Nos sistemes lliniales compatibles indeterminaos, siquier una de les sos ecuaciones puede topase como combinación llinial del restu, esto ye, ye linealmente dependiente.
  • La condición necesaria por que un sistema sía compatible indetermináu ye que'l determinante de la matriz del sistema sía cero al igual que'l rangu de la matriz ampliada y menor al númberu d'incógnites(y por tanto unu de los sos autovalores va ser 0):

  • Ello ye que de los dos condiciones anteriores esprender, que'l conxuntu de soluciones d'un sistema compatible indetermináu ye un subespacio vectorial. Y la dimensión d'esi espaciu vectorial va coincidir cola multiplicidá xeométrica del autovalor cero.

Sistemes incompatibles[editar | editar la fonte]

D'un sistema dizse que ye incompatible cuando nun presenta nenguna solución. Por casu, supongamos el siguiente sistema:

Les ecuaciones correspuéndense gráficamente con dos rectes, dambes cola mesma pindia, Al ser paralelas, nun se corten en nengún puntu, esto ye, nun esiste nengún valor que satisfaiga al empar dambes ecuaciones.

Matemáticamente un sistema d'estos ye incompatible cuando'l rangu de la matriz del sistema ye inferior al rangu de la matriz ampliada. Una condición necesaria por que esto asoceda ye que'l determinante de la matriz del sistema sía cero:

Resolvimientu de sistemes d'ecuaciones lliniales[editar | editar la fonte]

Sustitución[editar | editar la fonte]

El métodu de sustitución consiste n'estenar nuna de les ecuaciones con cualquier incógnita, preferiblemente la que tenga menor coeficiente y de siguío sustituyila n'otra ecuación pol so valor.

En casu de sistemes con más de dos incógnites, la escoyida ten de ser sustituyida pol so valor equivalente en toles ecuaciones sacante na que la estenemos. Nesi intre, vamos tener un sistema con una ecuación y una incógnita menos que l'inicial, nel que podemos siguir aplicando esti métodu reiteradamente. Por casu, supongamos que queremos resolver por sustitución esti sistema:

Na primer ecuación, escoyemos la incógnita por ser la de menor coeficiente y que posiblemente nos facilite más les operaciones, y estenar, llogrando la siguiente ecuación.

El siguiente pasu va ser sustituyir cada escurrimientu de la incógnita na otra ecuación, p'asina llograr una ecuación onde la única incógnita sía la .

Al resolver la ecuación llogramos la resultancia , y si agora sustituyimos esta incógnita pol so valor en dalguna de les ecuaciones orixinales vamos llograr , colo que'l sistema queda yá resueltu.

Igualación[editar | editar la fonte]

El métodu d'igualación puede entendese como un casu particular del métodu de sustitución nel que s'estena la mesma incógnita en dos ecuaciones y de siguío iguálense ente sigo la parte derecha de dambes ecuaciones.

Tomando'l mesmu sistema utilizáu como exemplu pal métodu de sustitución, si estenamos la incógnita en dambes ecuaciones quédanos de la siguiente manera:

Como puede reparase, dambes ecuaciones comparten la mesma parte esquierda, polo que podemos afirmar que les partes dereches tamién son iguales ente sigo.

Una vegada llográu'l valor de la incógnita , sustitúyese'l so valor nuna de les ecuaciones orixinales, y llógrase el valor de la .

La forma más fácil de tener el métodu de sustitución ye realizando un cambéu pa estenar x dempués de pescudar el valor de la y.

Amenorgamientu[editar | editar la fonte]

Esti métodu suel emplegase mayoritariamente nos sistemes lliniales, siendo pocos los casos en que s'utiliza pa resolver sistemes non lliniales. El procedimientu, diseñáu pa sistemes con dos ecuaciones ya incógnites, consiste en tresformar una de les ecuaciones (xeneralmente, por aciu producto), de manera que llogremos dos ecuaciones na qu'una mesma incógnita apaeza col mesmu coeficiente y distintu signu. De siguío, sumir dambes ecuaciones produciéndose asina l'amenorgamientu o cancelación de dicha incógnita, llogrando asina una ecuación con una sola incógnita, onde'l métodu de resolución ye simple.

Por casu, nel sistema:

Nun tenemos más que multiplicar la primer ecuación por pa poder atayar la incógnita . Al multiplicar, dicha ecuación quédanos asina:

Si sumamos esta ecuación a la segunda del sistema orixinal, llogramos una nueva ecuación onde la incógnita foi amenorgada y que, nesti casu, danos directamente'l valor de la incógnita :

El siguiente pasu consiste namái en sustituyir el valor de la incógnita en cualesquier de les ecuaciones onde apaecíen dambes incógnites, y llograr asína que'l valor de si sustituyimos na primer ecuación ye igual a:

Métodu gráficu[editar | editar la fonte]

Rectas que pasen pol puntu: (2,4)

Consiste en construyir la gráfica de caúna de les ecuaciones del sistema. El métodu (manualmente aplicáu) solo resulta eficiente nel planu cartesianu, ye dicir pa un espaciu de dimensión.

El procesu de resolución d'un sistema d'ecuaciones por aciu el métodu gráficu resolver nos siguientes pasos:

  1. Esténase la incógnita en dambes ecuaciones.
  2. Construyir pa caúna de los dos ecuaciones de primer grau llogrando la tabla de valores correspondientes.
  3. Represéntense gráficamente dambes rectes nes exes coordenaes.
  4. Nesti últimu pasu hai tres posibilidad:
    1. Si dambes rectes córtense, les coordenaes del puntu de corte son los únicos valores de les incógnites (x,y). "Sistema compatible determináu".
    2. Si dambes rectes son coincidentes, el sistema tien infinites soluciones que son les respeutives coordenaes de tolos puntos d'esa recta na que coinciden dambes. «Sistema compatible indetermináu».
    3. Si dambes rectes son paraleles, el sistema nun tien solución nos reales pero sí nos complexos.

Métodu de Gauss[editar | editar la fonte]

El métodu d'eliminación de Gauss o a cencielles métodu de Gauss consiste en convertir un sistema llinial de n ecuaciones con n incógnites, n'unu gradiáu, nel que la primer ecuación tien n incógnites, la segunda ecuación tien n - 1 incógnites, ..., hasta la última ecuación, que tien 1 incógnita. D'esta forma, va ser fácil partir de la última ecuación y dir xubiendo pa calcular el valor de les demás incógnites.

Plantía:Demostración

Eliminación de Gauss-Jordan[editar | editar la fonte]

Una variante d'esti métodu, denominada eliminación de Gauss-Jordan, ye un métodu aplicable namái a los sistemes lliniales d'ecuaciones, y consistente en triangular la matriz aumentada del sistema por aciu tresformamientos elementales, hasta llograr ecuaciones d'una sola incógnita, que'l so valor va ser igual al coeficiente asitiáu na mesma fila de la matriz. Esti procedimientu ye similar al anterior d'amenorgamientu, pero executáu de manera repitida y siguiendo un ciertu orde algorítmico.

Plantía:Demostración

Regla de Cramer[editar | editar la fonte]

Artículu principal: Regla de Cramer

La regla de Cramer da una solución pa sistemes compatibles determinaos en términos de determinantes y adxuntos dada por:

Onde Aj ye la matriz resultante de remplazar la j-ésima columna d'A pol vector columna b. Pa un sistema de dos ecuaciones y dos incógnites:

La regla de Cramer da la siguiente solución:

Nota: Cuando na determinante orixinal det(A) la resultancia ye 0, el sistema indica múltiples o ensin coincidencia.

Algoritmos numbéricos[editar | editar la fonte]

La eliminación de Gauss-Jordan ye un algoritmu numbéricu usáu pa una gran cantidá de casos específicos, anque darréu desenvolviéronse algoritmos alternativos muncho más eficientes. La mayoría d'estos algoritmos ameyoraos tienen una complexidá computacional d'O(n²) (onde n ye'l númberu d'ecuaciones del sistema). Dalgunos de los métodos más usaos son:

Cuando consideramos ecuaciones lliniales que les sos soluciones son númberos racionales, reales o complexos o más xeneralmente un cuerpu , la solución puede atopase por aciu Regla de Cramer. Pa sistemes de munches ecuaciones la regla de Cramer puede ser computacionalmente más costosa y suelen usase otros métodos más "económicos" en númberu d'operaciones como la eliminación de Gauss-Jordan y la descomposición de Cholesky. Esisten tamién métodos indirectos (basaos en iteraciones) como'l métodu de Gauss-Seidel.

Si'l cuerpu ye infinitu (como ye'l casu de los númberos reales o complexos), entós solo puede dase una de los trés siguientes situaciones:

  • el sistema nun tien solución (en dichu casu dizse que'l sistema ta sobredeterminado o que ye incompatible)
  • el sistema tien una única solución (el sistema ye compatible determináu)
  • el sistema tien un númberu infinitu de soluciones (el sistema ye compatible indetermináu).

Solución de sistemes lliniales nun aniellu[editar | editar la fonte]

Artículu principal: ecuación diofántica

Los métodos pa resolver el sistema (1) sobre un aníu son bien distintos a los consideraos enantes. De fechu la mayoría de métodos usaos en cuerpos, como la regla de Cramer, son inaplicables n'aniellos por cuenta de que nun esisten inversos multiplicativos.

La esistencia de solución del sistema (1) sobre los enteros rique delles condiciones:

  1. Pa cada i ye divisor de .
  2. Si la condición anterior cumplir pa un determináu i esiste un conxuntu d'enteros formáu pol conxuntu d'enteros que satisfai la i-ésima ecuación, y va esistir solución si la interseición .

Ver tamién[editar | editar la fonte]

Enllaces esternos[editar | editar la fonte]



Sistema de ecuaciones lineales