¿Puede utilizarse el determinante (suponiendo que sea distinto de cero) para determinar que los vectores dados son linealmente independientes, abarcan el subespacio y son una base de ese subespacio? (En otras palabras, suponiendo que tengo un conjunto que puedo convertir en una matriz cuadrada, ¿puedo utilizar el determinante para determinar estas tres propiedades?)
He aquí dos ejemplos:
- Span ¿El siguiente conjunto de vectores abarca $\mathbb R^4$ : $[1,1,0,0],[1,2,-1,1],[0,0,1,1],[2,1,2,-1]$ ? Ahora el determinante aquí es $1$ por lo que el conjunto de vectores abarca $\mathbb R^4$ .
- Independencia lineal Dada la siguiente matriz aumentada:
$$\left[\begin{array}{ccc|c} 1 & 2 & 1 & 0 \\ 0 & -1 & 0 & 0 \\ 0 & 0 & 2 & 0 \end{array}\right], $$ donde de nuevo el determinante es distinto de cero ( $-2$ ) por lo que este conjunto S es linealmente independiente.
Por supuesto que estoy en problemas si no se puede hacer una matriz cuadrada - me imagino que para los tramos se puede simplemente rref, y supongo que también para la independencia lineal y la base?