Algunas preguntas sobre el concepto de sistemas indeterminados

Estoy leyendo un libro de texto de álgebra lineal y tengo cierta confusión sobre el concepto de sistemas indeterminados. A X = y :

  • Primero, sabemos que para cada vector y en R metro el sistema lineal indeterminado es inconsistente o tiene infinitas soluciones. Entonces, ¿hay algunos teoremas que nos digan cuándo el sistema es inconsistente y cuándo tiene infinitas soluciones?

  • Segundo, si un sistema lineal indeterminado tiene infinitas soluciones, ¿está garantizado que una solución positiva (todos los elementos en X son positivos) existe?

Sería muy apreciado si alguien pudiera dar alguna explicación sobre ellos.

Al determinar los rangos de A y A concatenado con y , en realidad puede decidir si existe una solución única. Si la matriz A tiene tamaño metro × norte , entonces la solución es única si y solo si ambos rangos son iguales a norte . No existe solución si y solo si los rangos tienen valores distintos.
Con respecto a la segunda pregunta: si todos los elementos de la matriz son negativos y los elementos de y son todos positivos, obviamente no puede existir una solución X con sólo entradas positivas.

Respuestas (2)

De hecho, hay un teorema:

El sistema lineal A X = b tiene solución si y sólo si la matriz A y la matriz aumentada [ A | b ] tener el mismo rango. Si este es el caso, el rango común es la codimensión del subespacio (afín) de soluciones.

Hola ¨ , ¿cuál es la codimensión?
La diferencia entre la dimensión del espacio ambiental y la dimensión del subespacio. Por ejemplo, un hiperplano tiene codimensión 1 .

Puede usar la reducción de filas para determinar una base para el subespacio dado por A X = 0 . Entonces tienes que comprobar para ver si y está en el lapso de ese subespacio. Una forma simple de calcular esto es verificar que A y A concatenado con y tienen el mismo rango por reducción de fila.

En cuanto a los valores positivos, tenga en cuenta que un cambio de base puede cambiar los signos. por ejemplo en R 4 si consideramos el lapso de ( 1 , 1 , 0 , 0 ) y ( 0 , 0 , 1 , 1 ) con respecto a la base canónica, no podemos separar las partes positiva y negativa con operaciones lineales, pero si elegimos estos dos vectores como vectores base, puede expresarlos usando coeficientes estrictamente positivos.