Para mostrar que un conjunto de vectores depende linealmente, es suficiente (y en realidad también es una condición necesaria) mostrar que al menos uno de ellos es una combinación lineal (no necesariamente no trivial) del resto. No es necesario demostrar que todos y cada uno de los vectores son una combinación lineal de los demás. De hecho, eso puede ser falso para un conjunto linealmente dependiente. Por ejemplo, solo [math] (0, 1) = -1 (0, -1) + 0 (1, 0) [/ math] es suficiente para establecer que [math] (0, 1) [/ math], [matemática] (0, -1) [/ matemática] y [matemática] (1, 0) [/ matemática] son linealmente dependientes. Dado esto, el hecho de que [matemáticas] (1, 0) [/ matemáticas] no es una combinación lineal de [matemáticas] (0, 1) [/ matemáticas] y [matemáticas] (0, -1) [/ matemáticas] no cambia que [math] (0, 1) [/ math], [math] (0, -1) [/ math] y [math] (1, 0) [/ math] son linealmente dependientes.
En el caso de [matemática] x_1 [/ matemática], [matemática] x_2 [/ matemática] y [matemática] 0 [/ matemática], esto es lo que está sucediendo. [matemática] x_1 [/ matemática] no es una combinación lineal de [matemática] x_2 [/ matemática] y [matemática] 0 [/ matemática], y [matemática] x_2 [/ matemática] no es una combinación lineal de [matemática] x_1 [/ math] y [math] 0 [/ math]. Sin embargo, [matemática] 0 [/ matemática] es una combinación lineal de [matemática] x_1 [/ matemática] y [matemática] x_2 [/ matemática], y eso es suficiente para hacer que [matemática] x_1 [/ matemática], [matemática ] x_2 [/ math] y [math] 0 [/ math] linealmente dependientes.
Las definiciones tienen consecuencias, por lo que se puede preguntar razonablemente por qué se definió la dependencia lineal para hacer que cualquier conjunto con el vector cero sea linealmente dependiente. De hecho, hay una buena razón para hacerlo.
Por ejemplo, uno puede preguntar sobre el alcance de los vectores; es decir, el conjunto de combinaciones lineales de los vectores. Para [math] n [/ math] vectores linealmente independientes, uno esperaría que el span tenga dimensión [math] n [/ math]. Sin embargo, si uno de los vectores [math] n [/ math] es el vector cero, entonces los vectores restantes abarcan solo un espacio de menor dimensión. De esa manera, tiene sentido hablar de incluir el vector cero como causante de los mismos problemas que incluir un vector que es una combinación lineal del resto: que el nuevo vector no agrega nada nuevo al tramo.
- ¿Qué es el álgebra lineal? ¿Cómo se usa en la vida real?
- ¿Qué son los activos vectoriales?
- Cómo tomar una derivada con respecto a una matriz
- ¿Cuál es el gradiente de una función vectorial?
- ¿Podemos dividir un vector por un vector (3D)?
Otras cosas también funcionan mejor de esta manera: por ejemplo, tenemos que todos los conjuntos de span linealmente independientes para un espacio vectorial (si existen) tienen el mismo tamaño. Permitir que los conjuntos con el vector cero en ellos sean linealmente independientes arruina eso.
Por otro lado, no dejes que esto te desanime de cuestionar otras cosas sobre las matemáticas. Comprender lo que se desmorona si cambia una definición en una teoría ayuda a comprender la teoría misma.