Teorema de Rouche-Fröbenius

De Wikillerato

Revisión a fecha de 13:24 12 ene 2007; Fjmolina (Discutir | contribuciones)

(dif) ← Revisión anterior | Ver revisión actual (dif) | Revisión siguiente → (dif)

Un sistema de ecuaciones lineales con incógnitas $\left( <pre> \, x_1, \, x_2, \, \ldots, \, x_n \, </pre> \right)$ es un conjunto formado por $m$ igualdades de la forma:

$\left. <pre> \begin{array}{c} a_{11} \cdot x_1 + a_{12} \cdot x_2 + \ldots a_{1n} \cdot x_n = b_1 \\ a_{21} \cdot x_1 + a_{22} \cdot x_2 + \ldots a_{2n} \cdot x_n = b_2 \\ \dotfill \\ a_{m1} \cdot x_1 + a_{m2} \cdot x_2 + \ldots a_{mn} \cdot x_n = b_m \end{array} </pre> \right\}$

donde los $a_{ij}$ se llaman coeficientes y los $b_i$ , terminos independientes del sistema.

En los coeficientes $a_{ij}$ , el subindice $i$ indica la ecuación del sistema en la que aparece dicho coeficiente, y el subíndice $j$ señala de que incognita es coeficiente $a_{ij}$ .

El subindice $i$ que aparece en el término $b_i$ , indica la ecuación de la que $b_i$ es término independiente.

El sistema anterior de $m$ ecuaciones lineales con $n$ incognitas se puede escribir matricialmente de la siguiente forma:

$\left( <pre> \begin{array}[c]{cccc} a_{11} & a_{12} & \ldots & a_{1n} \\ a_{21} & a_{22} & \ldots & a_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{m1} & a_{m2} & \ldots & a_{mn} \end{array} </pre> \right) \cdot \left( <pre> \begin{array}[c]{c} x_1 \\ x_2 \\ \vdots \\ x_n \end{array} </pre> \right) \, = \, \left( <pre> \begin{array}[c]{c} b_1 \\ b_2 \\ \vdots \\ b_m \end{array} </pre> \right)$

De izquierda a derecha, la primera matriz, en la igualdad anterior es la matriz de los coeficientes y la llamaremos $A$ , la segunda matriz es la matriz de las incognitas y la llamaremos $X$ . La tercera es la matriz de los terminos indedependientes y la llamaremos $B$ .

Con esta notación, nuestro sistema de ecuaciones lineales se puede representar de la siguiente manera:

$A \cdot X \, = \, B$

La matriz ampliada es la matriz de los coeficientes, $A$ , a la que se añade la columna de los terminos independientes, $B$ :

$A|B \, = \, \left( <pre> \left. \begin{array}[c]{cccc} a_{11} & a_{12} & \ldots & a_{1n} \\ a_{21} & a_{22} & \ldots & a_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{m1} & a_{m2} & \ldots & a_{mn} \end{array} </pre> \right| \begin{array}[c]{c} <pre> b_1 \\ b_2 \\ \vdots \\ b_m </pre> \end{array} \right)$

Resolver un sistema de ecuaciones lineales es encontrar todas sus soluciones. Al conjunto de todas las soluciones del sistema se le llama solución general, y a cada una de las soluciones que forman dicho conjunto, solución particular.

Serán soluciones del sistema todas las n-tuplas $\left( <pre> \, s_1, \, s_2, \, \ldots, \, s_n \, </pre> \right)$ tales que al sustituir $x_i$ por $s_i$ , para $i = 1, \, 2, \, \ldots, \, n$ , todas las ecuaciones del sistema se conviertan en identidades.

%% }}} %% {{{ =tipos de sistemas

Un sistema de ecuaciones es compatible cuando tiene solución.

Un sistema de ecuaciones es compatible determinado cuando tiene solución única.

Un sistema de ecuaciones es compatible indeterminado cuando tiene infinitas soluciones.

Un sistema de ecuaciones es incompatible cuando no tiene solución.

Un sistema de ecuaciones es homogéneo cuando todos sus terminos independientes son cero. %% }}} %% {{{ =método de reducción de Gauss

Gauss es uno de los matematicos mas importantes de todos los tiempos. ¡Fue un GENIO!

El método de Gauss consiste en transformar el sistema dado en otro equivalente. Para ello tomamos la matriz ampliada del sistema y mediante las operaciones elementales por filas la transformamos en una matriz triangular superior ( o inferior ). De esta forma obtenemos un sistema equivalente al inicial y que es muy facil de resolver.

Ejemplo

La matriz ampliada del sistema de ecuaciones:

$\left\{ <pre> \begin{array}[c]{ccc} x \, + \, y \, + \, z & = & ~~3 \\ x \, + \, y \, - \, z & = & ~~1 \\ x \, - \, y \, - \, z & = & -1 \end{array} </pre> \right.$

es:

$\left( <pre> \left. \begin{array}[c]{ccc} ~~1 & ~~1 & ~~1 \\ ~~1 & ~~1 & -1 \\ ~~1 & -1 & -1 \end{array} \right| \begin{array}[c]{c} ~~3 \\ ~~1 \\ -1 \end{array} </pre> \right)$

Si a la tercera y segunda fila le restamos la primera, obtenemos:

$\left( <pre> \left. \begin{array}[c]{ccc} ~~1 & ~~1 & ~~1 \\ ~~0 & ~~0 & -2 \\ ~~0 & -2 & -2 \end{array} \right| \begin{array}[c]{c} ~~3 \\ -2 \\ -4 \end{array} </pre> \right)$

Si ahora intercambiamos la segunda y tercera filas, obtenemos

$\left( <pre> \left. \begin{array}[c]{ccc} ~~1 & ~~1 & ~~1 \\ ~~0 & -2 & -2 \\ ~~0 & ~~0 & -2 \end{array} \right| \begin{array}[c]{c} ~~3 \\ -4 \\ -2 \end{array} </pre> \right)$

que es la matriz ampliada del sistema de ecuaciones:

$\left\{ <pre> \begin{array}[c]{rcl} x \, + \, y \, + \, z & = & ~~3 \\ -2y \, - \, 2z & = & -4 \\ -2z & = & -2 \end{array} </pre> \right.$

que es equivalente al inicial.

Solucionamos la tercera ocuacion para obtener $z$ :

$z \, = \, 1$

En la primera y segunda ecuación, sustituimos $z$ por la solucion de la tercera ecuación ( $1 \to z$ ), para obtener:

$\left\{ <pre> \begin{array}[c]{rcl} x \, + \, y \, + \, 1 & = & ~~3 \\ -2y \, - \, 2 & = & -4 \end{array} </pre> \right.$

La segunda ecuación es ahora una ecuación con una sola incognita, $y$ . Que resolvemos para obtener $y \, = \, 1$ . Sustituimos, en la primera ecuación, $y$ por 1 ( $1 \to y$ ). Esto nos da una ecuación en $x$ :

$x \, + \, 1 \, + \, 1 \, = \, 3$

que al resolverla termina de darnos la solución del sistema de ecuaciones inicial:

$x \, = \, y \, = \, z \, = \, 1$

%% }}} %% {{{ =método de la matriz inversa

Un sistema de ecuaciones lineales se puede escribir en forma matricial:

$A \cdot X \, = \, B$

Si $A^{-1}$ existe, es decir, si $A$ es una matriz cuadrada de determinante no nulo, entonces podemos multiplicar toda la igualdad anterior por la izquierda por $A^{-1}$ , para obtener:

$X \, = \, A^{-1} \cdot B$

que es la solución del sistema de ecuaciones lineales de matriz de coeficientes $A$ y matriz de terminos independientes $B$ .

%% }}} %% {{{ =regla de Cramer

Gabriel Cramer nacio Ginebra ( Suiza ) 1704 y murio en 1752. A él le debemos la regla que lleva su nombre. ¡Gracias Gabriel por tu contribución a las Matemáticas!

Esta regla es un metodo de resolución de sistemas de ecuaciones lineales que se puede utilizar cuando la matriz $A$ de coeficientes del sistema es cuadrada y de determinante no nulo. El que $A$ sea cuadrada significa que el numero de incognitas y el numero de ecuaciones coincide.

Cuando el sistema de ecuaciones

satisface las condiciones arriba mencionadas, su solución viene dada por:

$x_1 \, = \, \frac { <pre> \left| \begin{array}[c]{cccc} b_1 & a_{12} & \ldots & a_{1n} \\ b_2 & a_{22} & \ldots & a_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ b_m & a_{m2} & \ldots & a_{mn} \end{array} \right| </pre> } {|A|} , \qquad \qquad x_2 \, = \, \frac { <pre> \left| \begin{array}[c]{cccc} a_{11} & b_1 & \ldots & a_{1n} \\ a_{21} & b_2 & \ldots & a_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{m1} & b_m & \ldots & a_{mn} \end{array} \right| </pre> } {|A|}, \qquad \qquad \ldots \ldots$

$\ldots \ldots, \qquad \qquad x_n \, = \, \frac { <pre> \left| \begin{array}[c]{cccc} a_{11} & a_{12} & \ldots & b_1 \\ a_{21} & a_{22} & \ldots & b_2 \\ \vdots & \vdots & \ddots & \vdots \\ a_{m1} & a_{m2} & \ldots & b_m \end{array} \right| </pre> } {|A|} \qquad \qquad$

En general

$x_i \, = \, \frac{|A_i|}{|A|}$

donde $A_i$ es la matriz que se obtiene sustituyendo la i-esima columna de $A$ por la matriz de los terminos independientes, $B$ .

Ejemplo

Consideremos el sistema de ecuaciones:

$\left\{ <pre> \begin{array}[c]{rcl} x \, + \, y \, = \, 2 \\ x \, - \, y \, = \, 0 \end{array} </pre> \right.$

En este sistema de ecuaciones lineales, la matriz $A$ de los coeficientes es una matriz cuadrada y $|A| \, = \, \left| <pre> \begin{array}[c]{cc} 1 & ~~1 \\ 1 & -1 \end{array} </pre> \right| <pre>\, = \, -2 \neq 0 </pre> $ . Por lo tanto, podemos aplicar la regla de Cramer para resolverlo:

$x \, = \, \frac { <pre> \left| \begin{array}[c]{cc} 2 & ~~1 \\ 0 & -1 \end{array} \right| </pre> } {|A|} \, = \, \frac{-2}{-2} \, = \, 1 \qquad \qquad y \, = \, \frac { <pre> \left| \begin{array}[c]{cc} 1 & 2 \\ 1 & 0 \end{array} \right| </pre> } {|A|}\, = \, \frac{-2}{-2} \, = \, 1$

%% }}} %% {{{ =teorema de Rouché-Frobenius

Enunciado

Georg F. Fröbenius fue un matematico aleman que nacio en 1849 y murio en 1917. ¡Gracias Georg por tu legado!

Un sistema de $m$ ecuaciones lineales con $n$ incognitas es compatible ( tiene solución ) si, y sólo si, el rango de la matriz de los coeficientes coincide con el rango de la matriz ampliada.

Si el sistema es compatible, existen dos posibilidades:

1. Que el rango de la matriz de los coeficientes sea menor que el numero de incognitas.

2. Que el rango de la matriz de los coeficientes sea igual al numero de incognitas.

En el primer caso el sistema es compatible indeterminado y en el segundo caso el sistema es compatible determinado.

Ejemplo:sistemas homogeneos

En un sistema de ecuaciones homogeneo, la matriz $B$ de los terminos independientes es una matriz nula, de manera que el rango de la matriz de los coeficientes y el de la matriz ampliada coinciden. Esto implica, a su vez, por el teorema de Rouché-Fröbenius, que un sistema homogeneo siempre es compatible. En cualquier sistema homogeneo, siempre podemos obtener una solución particular igualando todas las incognitas a 0.

Un sistema homogeneo es compatible indeterminado cuando el determinante de la matriz de los coeficientes es cero. Si este determinante no es cero el sistema homogeneo es compatible determinado.

Obtenido de "http://wikillerato.org/Teorema_de_Rouche-Fr%C3%B6benius.html"

Categoría: Matemáticas