¿Cuál es la intuición detrás del teorema de sustitución de los espacios vectoriales?
Declaración
Dejemos que $V$ sea un espacio vectorial generado por el conjunto $G$ que contiene exactamente $n$ vectores, y dejemos que $L$ sea un subconjunto linealmente independiente de $V$ que contiene exactamente $m$ vectores. Entonces $m \leq n$ y existe un subconjunto H de G que contiene exactamente $n-m$ vectores tales que $L \cup H$ genera V
Gracias
1 votos
Básicamente, sólo existe un espacio vectorial (hasta el isomorfismo) sobre un campo $K$ de dimensión $n$ . Así que cualquier base de tamaño $m$ combinado con una base separada de tamaño $n - m$ genera "an" $n$ -espacio vectorial dimensional, que en realidad es "el" $n$ -sobre $K$ .