SISTEMA DE GENERADORES
En álgebra lineal, dado un espacio vectorial V, se llama sistema
generador de V a un conjunto de vectores, pertenecientes a V, a partir del cual se
puede generar el espacio vectorial V completo. En este caso, el espacio
vectorial V se denomina conjunto generado o espacio generado.
Esto también es válido para subconjuntos de V, en esos casos se habla
de subconjuntos generados, o más específicamente, subespacios
generados por el sistema generador en cuestión.
No confundir este concepto con el de base, ya que si bien toda base es un sistema
generador, la implicación inversa no siempre es cierta. Mientras que una base ha
de ser obligatoriamente un sistema libre, es decir, todos sus elementos han de
ser linealmente independientes, un sistema generador puede ser ligado, es decir,
linealmente dependiente.
Para cualquier sistema generador A formado por n elementos, siempre podremos
hallar una base B comprendida en A con un número de elementos estrictamente
menor o igual que n.
Definición:
Primero debe definirse el concepto de espacio generado o span lineal. Es
el subespacio vectorial más pequeño posible que contiene a un cierto conjunto
dado de antemano, formalmente lo definiremos de la siguiente manera.
• Sea V un espacio vectorial de dimensión n sobre un cuerpo K , y sea
A={v1,v2,……vm} un conjunto cualquiera de vectores pertenecientes a V, en el cual
m puede tomar tanto valores mayores como menores a n. En el caso particular
n=m hablamos de una base de V.
Demostración:
Se define entonces, bajo estas condiciones,
El conjunto A es un sistema generador si existe un conjunto S al cual genera, es decir, si
todo vector de S puede expresarse como combinación lineal de los elementos de A. En ese
caso, se dice que A es el generador de S, o bien que engendra a S.
EJEMPLO:
BASE DE UN ESPACIO VECTORIAL
En álgebra lineal, una base es un conjunto B del espacio vectorial V si se cumplen las
siguientes condiciones:
Todos los elementos de B pertenecen al espacio vectorial V.
Los elementos de B forman un sistema linealmente independiente.
Todo elemento de V se puede escribir como combinación lineal de los elementos
de la base B (es decir, B es un sistema generador de V).
Lema de Zorn
Mediante el uso del lema de Zorn, es posible probar que todo espacio vectorial posee
una base. Pese a que es posible que un espacio vectorial no posea una única base, se
cumple que todo par de bases de un mismo espacio vectorial tienen la misma
cardinalidad. Por ser así, tal cardinalidad será llamada como la dimensión del espacio
vectorial.
Otras propiedades, consecuencias del lema de Zorn:
Todo sistema generador de un espacio vectorial contiene una base vectorial
(de Hamel).
Todo conjunto linealmente independiente en un espacio vectorial, puede ser
extendido a una base.
Observaciones adicionales
1: Las bases son conjuntos ordenados. Es decir que si bien {a,b,c} y {b,a,c} generan
el mismo espacio vectorial, las bases no son iguales.
2: Dado un vector v y una base B de un espacio vectorial V, existe una única
manera de escribir a v como combinación lineal de los elementos de la base B. Es
decir, la representación de un vector en una base es única.
3: De la observación anterior se desprende que las bases no son únicas. En general,
suele haber infinitas bases distintas para un mismo espacio vectorial
Espacios de dimensión finita
Como se especificó antes, se denomina espacio vectorial de dimensión finita a
todo aquel generado por un conjunto finito de vectores. En este caso puede
definirse la dimensión del espacio como el cardinal del conjunto de vectores que
constituye la base.
Los subespacios de un espacio vectorial de dimensión finita también tienen, al
menos, una base, de dimensión menor a la del espacio en el cual están contenidos.
Por ejemplo, una recta homogénea en el plano, es decir que pasa por el origen
determinado en este, tiene dimensión uno, por ser su base un único vector.
Evidentemente, esta dimensión es menor a la del plano en el cual la recta se
encuentra contenida.
Bases de Hamel y de Hilbert
En un espacio vectorial de Hilbert de dimensión infinita existen varias posibilidades
de extender el concepto de combinación lineal finita. De un lado si consideramos
únicamente combinaciones lineales finitas llegamos al concepto de base de Hamel
o base lineal. Puede probarse que todas las bases de Hamel tienen el mismo
número de elementos, este número o cardinal se llama dimensión lineal o
dimensión de Hamel. Un conjunto constituye una base de Hamel si y solo si:
Dimensión vectorial
La dimensión de un espacio vectorial se define como el número de elementos o
cardinal de una base de dicho espacio. Dado que para todo espacio de Hilbert de
dimensión infinita podemos distinguir entre bases de Hilbert y de Hamel, podemos
definir la dimensión vectorial ordinaria y la dimensión vectorial de Hilbert. Se tiene
que para cualquier espacio vectorial V, la relación entre dimensión de Hammel y
dimensión de Hilbert
DIMENCIONES DE UN ESPACIO VECTORIAL
DEFINICION:
La dimensión de un espacio vectorial (también llamada dimensión de
Hamel de un espacio vectorial, para distinguirla de la dimensión de
Hilbert en el caso de los espacios de Hilbert) es el número de vectores
que forman una base [de Hamel] del espacio vectorial.
Definición formal
Más formalmente la dimensión de un espacio vectorial se define como el
cardinal de una base vectorial para dicho espacio. Por el axioma de elección todo
espacio tiene una base (incluso el espacio {0}, ya que el vacío es una base), y
puesto que puede demostrarse que todas las bases vectoriales tienen el mismo
cardinal, el concepto de dimensión está bien definido. Conviene notar que
existen espacios vectoriales de tanto de dimensión finita como de dimensión
infinita el espacio vectorial de los polinomios de una variable, por ejemplo tiene
dimensión {0}.
La dimensión de un espacio coincide además con los dos cardinales siguientes:
El máximo número de vectores linealmente independientes de dicho
espacio.
El mínimo número de vectores que forman un conjunto generador para
todo el espacio.
FORMULA DE DIMENSIONES DE GRASSMANN
Dimensión de un subespacio
La definición sigue siendo la misma en el caso de un subespacio, pero existe un método
particular de calcularla cuando el subespacio es definido como espacio generado por
sistema de vectores. Veámoslo en un ejemplo. En el espacio R3, sean los vectores:
COORDENADAS DE UN VECTOR
