Conceptos Clave en Espacios Vectoriales: Bases y Núcleo
Enviado por Programa Chuletas y clasificado en Matemáticas
Escrito el en
español con un tamaño de 4,44 KB
Teorema de la Existencia de Base
Sea E un espacio vectorial sobre K no nulo finitamente generado. Si A es un sistema generador de E, entonces existe B ⊆ A tal que B es base de E.
Demostración:
Como E es un espacio finitamente generado, supongamos que A es un sistema generador de E finito.
Si A es LI (Linealmente Independiente), entonces A es base de E y B = A.
Si A es LD (Linealmente Dependiente), entonces por el lema de la dependencia lineal, existe x ∈ A tal que x ∈ L(A - {x}). Sea C = A - {x} y comprobemos que C es también un sistema generador de E, es decir, que L(C) = L(A) = E.
Como A = C ∪ {x}, y x ∈ L(C), la envoltura lineal de A es igual a la envoltura lineal de C. Por tanto, L(C) = E y C es un sistema generador de E.
Si C es LI,... Continuar leyendo "Conceptos Clave en Espacios Vectoriales: Bases y Núcleo" »