El teorema de Rouché Frobenius es un método que se utiliza para analizar el número de soluciones que tiene un sistema de ecuaciones lineales.
Forma matricial de un sistema de ecuaciones lineales.
Un sistema de ecuaciones es una ecuación matricial de la forma .
- es la matriz de coeficientes y está compuesta por los coeficientes de cada ecuación.
- es la matriz de incógnitas y es una matriz columna que contiene las incógnitas del sistema.
- es la matriz de resultados y contiene los términos independientes de cada ecuación.
Para un sistema general como este:
Se obtendría una ecuación con la matrices siguientes:
Ejemplo
Este sistema se pondría en su forma matricial como:
Para utilizar el teorema de Rouché Frobenius se utilizan las matrices A y A*. La matriz A es la matriz de coeficientes y la matriz A* es un matriz que está compuesta por la matriz A y la matriz B. Para formar la matriz A* se colocan A y B en la misma matriz añadiendo B como una columna más de la matriz.
Ejemplo
Para el sistema del ejemplo anterior, las matrices A y A* serían:
Teorema de Rouché Frobenius.
- Cuando el rg(A)=rg(A*) el sistema es compatible, es decir, que tiene solución.
- Si rg(A)=rg(A*)=número de incógnitas el sistema es compatible determinado, es decir, que tiene solución única.
- Si rg(A)=rg(A*)número de incógnitas el sistema es compatible indeterminado, es decir, que tiene infinitas soluciones.
- Cuando el rg(A)rg(A*) el sistema es incompatible, es decir, que no tiene solución.
¿Qué es discutir un sistema?
Discutir un sistema de ecuaciones es decir el tipo de sistema que es según el el número de soluciones que tenga este. Para discutir un sistema hay que estudiar el rango de las matrices A y A*, ya que el rango de estas matrices determina el tipo de sistema del que se trata.
Si te piden que discutas un sistema las respuestas posibles son:
- Compatible determinado.
- Compatible indeterminado.
- Incompatible.
Para discutir un sistema es necesario saber hacer determinantes de segundo y tercer orden, la definición de rango de una matriz y calcular rangos de matrices. Si esto no lo controlas es necesario que lo repases.
Discusión de un sistema con el método de Rouché Frobenius.
Para discutir un sistema de ecuaciones se siguen los siguientes pasos:
Paso 1. Obtener las matrices A y A*.
Paso 2. Se calcula el rango de la matriz A.
Paso 3. Se calcula el rango de A*.
Paso 4. Se enuncia el caso del teorema de Rouché Frobenius que corresponde al sistema.
Una vez que se saben los pasos para discutir un sistema hay que ver un ejemplo para que estos pasos tengan sentido.
Ejemplo discusión de sistemas de ecuaciones lineales (sistema compatible determinado).
Discute el siguiente sistema:
SoluciónPara discutir el siguiente sistema seguimos los pasos.
Paso 1. Obtener las matrices A y A*.
Paso 2. Se calcula el rango de A.
Para calcular el rango de A se calcula el determinante más grande posible. En este caso es el determinante de toda la matriz.
Como el determinante de A es distinto de cero, el rango de A es el orden del determinante, es decir, rg(A)=3.
Paso 3. Se calcula el rango de A*.
Para calcular el rango de A* se utiliza el mismo método que se ha aplicado en el paso anterior con la matriz A. Se busca el determinante más grande posible dentro de la matriz A*.
Como la matriz A* tiene dimensión 3×4, el determinante más grande posible va a ser de orden tres. Este determinante se obtiene al eliminar una columna de la matriz A*.
Se coge el primer determinante que sería el resultado de eliminar la columna 4. Al eliminar la última columna el determinante que sale es el seterminante de A, por lo que su valor es el mismo.
Como este determinante es distinto de cero, el rango es distinto de cero, el rango de la matriz A* es el orden de este determinante, es decir, el rg(A*)=3.
Paso 4. Se enuncia el caso del teorema de Rouché Frobenius que corresponde al sistema.
Tras todo esto se enuncia el caso en el que estamos del teorema de Rouché Frobenius. El número de incógnitas en este caso son tres (x, y, z).
Como rg(A)=3=rg(A*)=número de incógnitas, según el teorema de Rouché el sistema es compatible determinado.
Esta frase es la más importante del ejercicio, ya que es la respuesta.
Ejemplo discusión de sistemas de ecuaciones lineales (sistema compatible indeterminado).
Discute el siguiente sistema:
SoluciónPara discutir el siguiente sistema seguimos los pasos.
Paso 1. Obtener las matrices A y A*.
Paso 2. Se calcula el rango de A.
Para calcular el rango de A se calcula el determinante más grande posible. En este caso es el determinante de toda la matriz.
Como el determinante de A es igual a cero se busca otro determinante de orden tres. En este caso no hay ninguno, por lo que se pasa a buscar uno de orden dos.
Como este determinante es distinto de cero, el rango de A es el orden del determinante, es decir, rg(A)=2.
Paso 3. Se calcula el rango de A*.
Para calcular el rango de A* se utiliza el mismo método que se ha aplicado en el paso anterior con la matriz A. Se busca el determinante más grande posible dentro de la matriz A*.
Como la matriz A* tiene dimensión 3×4, el determinante más grande posible va a ser de orden tres. Este determinante se obtiene al eliminar una columna de la matriz A*.
Se coge el primer determinante que sería el resultado de eliminar la columna 4. Al eliminar la última columna el determinante que sale es el seterminante de A, por lo que su valor es el mismo.
Como este determinnte es igual a cero, por lo que se busca otro determinante de orden tres, que en el caso de A* si se puede obtener, hasta encontrar uno distinto de cero.
Como este determinante es distinto de cero, el rango es distinto de cero, el rango de la matriz A* es el orden de este determinante, es decir, el rg(A*)=2.
Paso 4. Se enuncia el caso del teorema de Rouché Frobenius que corresponde al sistema.
Tras todo esto se enuncia el caso en el que estamos del teorema de Rouché Frobenius. El número de incógnitas en este caso son tres (x, y, z).
Como rg(A)=2=rg(A*)número de incógnitas, según el teorema de Rouché el sistema es compatible indeterminado.
Esta frase es la más importante del ejercicio, ya que es la respuesta.
Ejemplo discusión de sistemas de ecuaciones lineales (sistema incompatible).
Discute el siguiente sistema:
SoluciónPara discutir el siguiente sistema seguimos los pasos.
Paso 1. Obtener las matrices A y A*.
Paso 2. Se calcula el rango de A.
Para calcular el rango de A se calcula el determinante más grande posible. En este caso es el determinante de toda la matriz.
Como el determinante de A es igual a cero se busca otro determinante de orden tres. En este caso no hay ninguno, por lo que se pasa a buscar uno de orden dos.
Como este determinante es distinto de cero, el rango de A es el orden del determinante, es decir, rg(A)=2.
Paso 3. Se calcula el rango de A*.
Para calcular el rango de A* se utiliza el mismo método que se ha aplicado en el paso anterior con la matriz A. Se busca el determinante más grande posible dentro de la matriz A*.
Como la matriz A* tiene dimensión 3×4, el determinante más grande posible va a ser de orden tres. Este determinante se obtiene al eliminar una columna de la matriz A*.
Se coge el primer determinante que sería el resultado de eliminar la columna 4. Al eliminar la última columna el determinante que sale es el seterminante de A, por lo que su valor es el mismo.
Como este determinnte es igual a cero, por lo que se busca otro determinante de orden tres, que en el caso de A* si se puede obtener, hasta encontrar uno distinto de cero.
Como este determinante es distinto de cero, el rango es distinto de cero, el rango de la matriz A* es el orden de este determinante, es decir, el rg(A*)=3.
Paso 4. Se enuncia el caso del teorema de Rouché Frobenius que corresponde al sistema.
Tras todo esto se enuncia el caso en el que estamos del teorema de Rouché Frobenius. El número de incógnitas en este caso son tres (x, y, z).
Como rg(A)=2rg(A*)=3, según el teorema de Rouché el sistema es incompatible.
Esta frase es la más importante del ejercicio, ya que es la respuesta.
Discusión de un sistema con parámetros.
Discutir sistemas sin parámetros es relativamente sencillo si se siguen los pasos al pie de la letra. Un parámetro es una letra (normalmente griega) que al sustituirse por un valor u otro provoca una variación en el sistema. Esto último quiere decir que si sustituyo el parámetro por un tres el sistema puede ser compatible determinado, pero si lo sustituyo por un cero puede cambiar y ser incompatible.
Los pasos a seguir en este caso son muy parecidos a los que se siguen para un sistema sin parámetros. Hay que recordar que el objetivo del proceso es discutir los rangos de las matrices A y A*. Para discutir un sistema de ecuaciones lineales dependiente de un parámetro se siguen estos pasos:
Paso 1. Obtener las matrices A y A*.
Paso 2. Se discute el rango de A en función de los valores del parámetro.
Paso 3. Se formulan los distintos casos existentes en la discusión de rangos para discutir el rango de A*.
Paso 4. Para cada caso se aplica el teorema de Rouché y se escriben los resultados.
Ejemplo de discusión de un sistema de ecuaciones lineales con parámetros (nivel fácil).
Discute el siguiente sistema en función de los valores del parámetro a:
SoluciónPara discutir el sistema en función de los valores del parámetro a se tienen que seguir los pasos.
Paso 1. Obtener las matrices A y A*.
Paso 2. Se discute el rango de A en función de los valores del parámetro.
Para discutir el rango de A en función de los valores del parámetro se calcula el determinante, se iguala a cero y se resuelve la ecuación.
Una vez que se han calculado los valores para los que el determinante de A es cero, se llega a la conclusión de que se tienen dos casos en el sistema:
Paso 3. Se formulan los distintos casos existentes en la discusión de rangos para discutir el rango de A*.
Una vez que se saben los casos existentes en el sistema, se analizan los rangos de A y A* para estos mismos casos. Yo suelo empezar por el caso distinto de las soluciones para que no se me olvide.
Si por lo que rg(A)=3. Si se piensa en A* se puede decir que rg(A*)=3 también, ya que si se busca un determinante lo más grande posible distinto de cero, será |A| que está dentro de A*. Esto significa que el rg(A*) nunca puede ser menor que el rg(A).
Lo primero que hay que hacer es sustituir el valor de a en A y A*.
Tras esto, se sabe que si por lo que hay que buscar un determinante de orden dos distinto de cero, ya que no existen más determinantes de orden 3 en la matriz A.
Esto último hace que el rg(A)=2. Después se pasa a analizar la matriz A*. Para obtener su rango es necesario buscar un determinante de mayor orden posible (en este caso se empieza por orden 3 que es el máximo) que sea distinto de cero.
Una vez que todos los posibles determinantes de orden tres han dado cero se busca uno de orden dos.
Esto hace que rg(A*)=2.
Paso 4. Para cada caso se aplica el teorema de Rouché y se escriben los resultados.
Tras obtener los rangos de A y A* para cada uno de los casos, se enuncia el Teorema de Rouché Frobenius para discutir el sistema.
Si nº de incógnitas, por lo que, según el teorema de Rouché Frobenius, se trata de un sistema compatible determinado (SCD).
Si nº de incógnitas, por lo que, según el teorema de Rouché Frobenius, se trata de un sistema compatible indeterminado (SCI).
Ejemplo de discusión de un sistema de ecuaciones lineales con parámetros (nivel medio).
Discute el siguiente sistema de ecuaciones lineales según los valores del parámetro :
SoluciónPara discutir el sistema en función de los valores del parámetro se tienen que seguir los pasos.
Paso 1. Obtener las matrices A y A*.
Paso 2. Se discute el rango de A en función de los valores del parámetro.
Para discutir el rango de A en función de los valores del parámetro se calcula el determinante, se iguala a cero y se resuelve la ecuación.
Una vez que se han calculado los valores para los que el determinante de A es cero, se llega a la conclusión de que se tienen dos casos en el sistema:
Paso 3. Se formulan los distintos casos existentes en la discusión de rangos para discutir el rango de A*.
Una vez que se saben los casos existentes en el sistema, se analizan los rangos de A y A* para estos mismos casos. Yo suelo empezar por el caso distinto de las soluciones para que no se me olvide.
Si por lo que rg(A)=3. Si se piensa en A* se puede decir que rg(A*)=3 también, ya que si se busca un determinante lo más grande posible distinto de cero, será |A| que está dentro de A*. Esto significa que el rg(A*) nunca puede ser menor que el rg(A).
Lo primero que hay que hacer es sustituir el valor de a en A y A*.
Tras esto, se sabe que si por lo que hay que buscar un determinante de orden dos distinto de cero, ya que no existen más determinantes de orden 3 en la matriz A.
Esto último hace que el rg(A)=2.
Después se pasa a analizar la matriz A*. Para obtener su rango es necesario buscar un determinante de mayor orden posible (en este caso se empieza por orden 3 que es el máximo) que sea distinto de cero.
Una vez que todos los posibles determinantes de orden tres han dado cero se busca uno de orden dos.
Esto hace que rg(A*)=2.
Paso 4. Para cada caso se aplica el teorema de Rouché y se escriben los resultados.
Tras obtener los rangos de A y A* para cada uno de los casos, se enuncia el Teorema de Rouché Frobenius para discutir el sistema.
- Si nº de incógnitas, por lo que, según el teorema de Rouché Frobenius, se trata de un sistema compatible determinado (SCD).
- Si nº de incógnitas, por lo que, según el teorema de Rouché Frobenius, se trata de un sistema compatible indeterminado (SCI).
Ejemplo de discusión de un sistema de ecuaciones lineales con parámetros (nivel experto).
Discute el siguiente sistema de ecuaciones lineales en función de los parámetros a y b:
SoluciónPara discutir el sistema en función de los valores de los parámetros a y b se tienen que seguir los pasos.
Paso 1. Obtener las matrices A y A*.
Paso 2. Se discute el rango de A en función de los valores del parámetro.
Para discutir el rango de A en función de los valores del parámetro se calcula el determinante, se iguala a cero y se resuelve la ecuación.
Una vez que se han calculado los valores para los que el determinante de A es cero, se llega a la conclusión de que se tienen dos casos en el sistema:
Paso 3. Se formulan los distintos casos existentes en la discusión de rangos para discutir el rango de A*.
Una vez que se saben los casos existentes en el sistema, se analizan los rangos de A y A* para estos mismos casos. Yo suelo empezar por el caso distinto de las soluciones para que no se me olvide.
Si por lo que rg(A)=3. Si se piensa en A* se puede decir que rg(A*)=3 también, ya que si se busca un determinante lo más grande posible distinto de cero, será |A| que está dentro de A*. Esto significa que el rg(A*) nunca puede ser menor que el rg(A).
Lo primero que hay que hacer es sustituir el valor de a en A y A*.
Tras esto, se sabe que si por lo que hay que buscar un determinante de orden dos distinto de cero, ya que no existen más determinantes de orden 3 en la matriz A.
Esto último hace que el rg(A)=2.
Después se pasa a analizar la matriz A*. Para obtener su rango es necesario buscar un determinante de mayor orden posible (en este caso se empieza por orden 3 que es el máximo) que sea distinto de cero.
Una vez que se ha obtenido el determinante se iguala a cero para calcular los valores de a para los que este determinante vale cero.
Tras esto se exponen los distintos casos:
Tal y como se ha hecho para la matriz A, para el parámetro b, se discute el rango de A* en función de los valores del parámetro a.
- Si por lo que rg(A*)=3.
- Si por lo que hay que seguir buscando determinantes distintos de cero.
Una vez que todos los posibles determinantes de orden tres han dado cero se busca uno de orden dos.
Esto hace que rg(A*)=2.
Paso 4. Para cada caso se aplica el teorema de Rouché y se escriben los resultados.
Tras obtener los rangos de A y A* para cada uno de los casos, se enuncia el Teorema de Rouché Frobenius para discutir el sistema.
- Si nº de incógnitas, por lo que, según el teorema de Rouché Frobenius, se trata de un sistema compatible determinado (SCD).
- Si y , por lo que, según el teorema de Rouché Frobenius, se trata de un sistema incompatible (SI).
- Para y nº de incógnitas, por lo que, según el teorema de Rouché Frobenius, se trata de un sistema compatible indeterminado (SCI).