Sistema Generador

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 tambin es vlido para subconjuntos de V, en esos casos se habla de subconjuntos

generados, o ms especficamente, subespacios generados por el sistema generador en
cuestin.

No confundir este concepto con el de base, ya que si bien toda base es un sistema
generador, la implicacin 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 nmero de elementos estrictamente menor o igual que n.

Definiciones
Primero debe definirse el concepto de espacio generado o span lineal. Es el subespacio
vectorial ms pequeo posible que contiene a un cierto conjunto dado de antemano,
formalmente lo definiremos de la siguiente manera.

Sea V un espacio vectorial de dimensin n sobre un cuerpo , y sea

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
hablamos de una base de V.

Conjunto generado

Se define a

como el conjunto generado o engendrado por A, tambin denominado lema o

clausura lineal de A.

De la definicin se sigue que S est constituido por todas las combinaciones lineales
posibles de los elementos de A. Esto nos permite enunciar lo siguiente:
 S es un subespacio vectorial de V.

De ah que tambin sea denominado subespacio generado.

Demostracin
Debemos chequear las condiciones.

1. Tomando en la definicin , con 0 el elemento neutro

aditivo del cuerpo , se tiene , por tratarse del

producto entre un elemento de V y el cero de . Luego .

2. Sean dos vectores de S. Por definicin, y

para ciertos . Es evidente que toda combinacin lineal

que hagamos con estos dos vectores es otra combinacin lineal en S. Para
probarlo tomamos el par de escalares , luego

y por lo tanto
, por ser .

Se define entonces, bajo estas condiciones,

Sistema generador

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 combinacin lineal de los
elementos de A. En ese caso, se dice que A es el generador de S, o bien que
engendra a S.

Para representar al subespacio generado S se utilizan las siguientes notaciones, todas

equivalentes:

en tanto A sea el sistema generador de S.

Base
Cuando un sistema generador es linealmente independiente, se dice que constituye una
base del espacio que genera. Formalmente, dado un espacio vectorial V de dimensin n y
un subconjunto de vectores de este espacio, este ltimo es una base
de V si se cumple que:

donde representa el cuerpo sobre el cual fue definido V.

Ejemplos

El segmento orientado v genera una recta compuesta por todos sus mltiplos t v.

1. Dado un nico segmento orientado en el plano, el conjunto que lo contiene como

nico elemento es un sistema generador, ya que su espacio lineal generado es una
recta cuya direccin viene dada por dicho segmento.
2. Tomando el ejemplo anterior de manera ms concreta, representemos a los
segmentos orientados en el plano cartesiano real como pares ordenados. Tomemos
entonces el par y construyamos , evidentemente es un sistema
generador, pues genera al conjunto que geomtricamente
se representa como una recta inclinada a 45 que pasa por el origen.
3. Siguiendo con la lnea de ejemplos anteriores, tomemos ahora un conjunto
. En este caso , sin embargo el conjunto B es
linealmente dependiente, ya que . Esto prueba que B no es
una base de S.
Geomtricamente, se interpreta a la dependencia lineal como una relacin de
paralelismo. As, dos segmentos orientados en la misma direccin, es decir,
paralelos, generan una misma recta.
4. Dados tres puntos no colineales en el espacio, estos generan un plano que puede
ponerse en correspondencia uno a uno con el espacio eucldeo .
5. Si tomamos en el ejemplo anterior tres puntos que s son colineales, entonces el
conjunto formado por estos puntos genera una recta en vez de un plano. Tomando
 slo dos de estos puntos, podemos construir un segmento orientado y as establecer
una base del subespacio representado por la recta.
6. Vamos a un ejemplo ms abstracto: el conjunto de funciones
genera el espacio de funciones afines (lineales). Ms
especficamente, es una base de este espacio. Si por ejemplo tomamos el
subconjunto de F como sistema generador, obtenemos el subespacio de
funciones afines .
En este caso, las funciones son vectores y los coeficientes, elementos del cuerpo
asociado.
Base de un Espacio Vectorial (en detalle)

Base estndar en el plano cartesiano.

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 combinacin 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 dimensin 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 combinacin lineal de los elementos de la base B. Es decir, la
representacin de un vector en una base es nica.
 3. De la observacin anterior se desprende que las bases no son nicas. En general,
suele haber infinitas bases distintas para un mismo espacio vectorial. Por ejemplo, si
, una base muy sencilla de V es:

la cual es conocida como base cannica de . Otras bases de son:

En general, toda base de estar formada por tres vectores linealmente independientes
que pertenezcan a . Cuando el espacio vectorial en s mismo es un conjunto finito
entonces el nmero de bases distintas es finito.

1. Si V es un espacio vectorial de dimensin finita, entonces todas las bases de V sern

finitas y tendrn la misma cantidad de elementos.
2. No todas las bases tienen un nmero finito de elementos. Por ejemplo, las bases del
espacio vectorial de los polinomios de una variable tienen infinitos elementos. Una
posible base es la formada por las potencias de X: .

Espacios de dimensin finita

Como se especific antes, se denomina espacio vectorial de dimensin finita a todo aquel
generado por un conjunto finito de vectores. En este caso puede definirse la dimensin del
espacio como el cardinal del conjunto de vectores que constituye la base.

Los subespacios de un espacio vectorial de dimensin finita tambin tienen, al menos, una
base, de dimensin menor a la del espacio en el cual estn contenidos. Por ejemplo, una
recta homognea en el plano, es decir que pasa por el origen determinado en este, tiene
dimensin uno, por ser su base un nico vector. Evidentemente, esta dimensin es menor a
la del plano en el cual la recta se encuentra contenida.

Ejemplos de clculo

Tres segmentos orientados no coplanares son una base del espacio tridimensional.
Se indica a continuacin, a travs de ejemplos, el procedimiento de clculo de la base de un
subespacio vectorial dado.

1. Tomemos la recta en el plano cartesiano. Sea

uno de sus puntos, cumple por pertenecer al conjunto r. Por lo tanto, puede
escribirse:

Tomando cualquier se obtienen todos los puntos de la recta, luego:

La recta tiene como base al segmento orientado (1, 1), que la dirige a 45 de los
ejes cartesianos, caracterizados por los vectores de la base cannica.

2. Ahora calculemos la base del plano homogneo

. Despejamos una de las variables de la
ecuacin del plano en funcin de las otras dos:

Sea y por
lo tanto, el conjunto es una base de este plano.

3. El procedimiento anterior es vlido para cualquier dimensin. Supongamos dado el

subespacio:

en este caso se trata de varias ecuaciones, y todo punto perteneciente a l debe

satisfacerlas simultneamente. As, se obtendr la base reduciendo las ecuaciones a
expresiones ms simples. La solucin del sistema es
, y por lo tanto, el conjunto que contiene al nico
vector (1, 1, 0, 1) es la base de S.

4. Lo mismo se aplica a otro tipo de espacios, por ejemplo, polinomios de grado 3.

Consideremos el subespacio
.

Expresamos las ecuaciones as:

 lo cual implica que el subespacio est conformado por los polinomios de la forma:

Por lo tanto, es una base del espacio P.

5. Considrese ahora el problema inverso: dada una base, se busca el espacio que
genera.

Si por ejemplo es la base de algn subespacio de , el

objetivo entonces es hallar el conjunto de combinaciones lineales
en forma implcita. Para esto, tmese una terna
ordenada . Se cumple que:

el cual es un sistema de ecuaciones lineales. Puede eliminarse el parmetro t, para

obtener:

Espacios de dimensin infinita

En el caso de espacios vectoriales de dimensin infinita, como los que aparecen en anlisis
funcional existen algunas distinciones pertinentes que es importante sealar.

Bases de Hamel y de Hilbert

En un espacio vectorial de Hilbert de dimensin infinita existen varias posibilidades de

extender el concepto de combinacin 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 nmero de elementos, este nmero
o cardinal se llama dimensin lineal o dimensin de Hamel. Un conjunto constituye una
base de Hamel si y solo si:
En un espacio de dimensin de Hamel finita, se puede encontrar solamente un nmero
finito de vectores ortogonales dos a dos, en cambio, cuando la dimensin de Hamel es
infinita, pueden introducirse en los espacios de Hilbert ciertas "combinaciones lineales
infinitas" en trminos de vectores ortogonales. En un espacio de Hilbert de dimensin
infinita se dice que un conjunto es una base de Hilbert o base ortogonal, si y solo si:

Nuevamente sucede que todas las bases ortogonales tienen el mismo cardinal, por lo que se
define el concepto de dimensin de Hilbert como el cardinal de cualquier base de Hilbert.

Dimensin vectorial

(quelconque: cualquiera)

La dimensin de un espacio vectorial se define como el nmero de elementos o cardinal de

una base de dicho espacio. Dado que para todo espacio de Hilbert de dimensin infinita
podemos distinguir entre bases de Hilbert y de Hamel, podemos definir la dimensin
vectorial ordinaria y la dimensin vectorial de Hilbert. Se tiene que para cualquier espacio
vectorial V, la relacin entre dimensin de Hammel y dimensin de Hilbert es la siguiente:

(1)
En espacios de dimensin finita tambin se pueden definir las bases de Hilbert como bases
de Hamel ortogonales. De hecho, para un espacio de dimensin finita, la dimensin de
Hilbert es igual a la dimensin de Hamel. En dimensin finita toda base de Hamel es base
de Hilbert y viceversa, por lo que para un espacio de dimensin finita en (1) se da siempre
la igualdad.