reymarcus escribió:
Por qué si los elementos de del subconjunto coinciden con la dimensión tiene que ser linealmente independiente? Hay alguna propiedad que así lo diga y me la he saltado?
Es que partimos de que es un sistema de generadores.
Un sistema de generadores es un subconjunto del espacio vectorial que genera todo el espacio. Si éste tiene tantos elementos como la dimensión del espacio (en este caso 4), forma una base. Si tiene más, "te sobra 1" y recuerdo que en su día me demostraron que ese que sobra está generado por los otros 4, por lo que ya no sería linealmente independiente. Y si tuvieras menos, no sería un sistema de generadores, ya que no podrías generar todo el espacio.
Entonces, si tienes un sistema de generadores Y coincide con la dimensión del espacio, es linealmente independiente y por tanto base. Normalmente creo recordar que se define al revés (S. generadores Y linealmente independiente ENTONCES base y por tanto de igual dimensión que el espacio) pero también recuerdo que se demuestra lo que digo como equivalente.
reymarcus escribió:edit: vale, creo que lo entiendo. Quieres decir que si hay más elementos que la dimensión del subespacio (4, por ejemplo), sólo podrá generar 4 elementos (el espacio vectorial completo con su dimensión correspondiente), y el quinto tendría que ser dependiente de los demás,estoy en lo cierto?
Sí, aunque puedes generar más de 4 elementos. R4 tiene infinitos elementos

.
De nada. Lo que necesites pregunta, aunque me queda algo lejos ya. Estoy en 5º de Ing. Informática y Matemáticas y eso lo vi en 1º. Se usa bastante pero puede que me cueste explicarlo
![más risas [+risas]](/images/smilies/nuevos/risa_ani3.gif)
.
Salu2!!!