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 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.

Definiciones
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 , 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, también denominado lema o

clausura lineal de A.

De la definición 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 también sea denominado subespacio generado.

Demostración
Debemos chequear las condiciones.

1. Tomando en la definición , 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 definición, y

para ciertos . Es evidente que toda combinación lineal

que hagamos con estos dos vectores es otra combinación 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 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.

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 dimensión n y
un subconjunto de vectores de este espacio, este último es una base
de V si se cumple que:

 y

donde representa el cuerpo sobre el cual fue definido V.

Ejemplos

El segmento orientado v genera una recta compuesta por todos sus múltiplos 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 dirección viene dada por dicho segmento.
2. Tomando el ejemplo anterior de manera más 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 geométricamente
se representa como una recta inclinada a 45° que pasa por el origen.
3. Siguiendo con la línea 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.
Geométricamente, se interpreta a la dependencia lineal como una relación de
paralelismo. Así, dos segmentos orientados en la misma dirección, 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 euclídeo .
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
 sólo 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 más abstracto: el conjunto de funciones
genera el espacio de funciones afines (lineales). Más
específicamente, 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 estándar 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 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. Por ejemplo, si
, una base muy sencilla de V es:

la cual es conocida como base canónica 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 número de bases distintas es finito.

1. Si V es un espacio vectorial de dimensión finita, entonces todas las bases de V serán

finitas y tendrán la misma cantidad de elementos.
2. No todas las bases tienen un número 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 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.

Ejemplos de cálculo

Tres segmentos orientados no coplanares son una base del espacio tridimensional.
Se indica a continuación, a través de ejemplos, el procedimiento de cálculo 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 canónica.

2. Ahora calculemos la base del plano homogéneo

. Despejamos una de las variables de la
ecuación del plano en función de las otras dos:

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

3. El procedimiento anterior es válido para cualquier dimensión. Supongamos dado el

subespacio:

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

satisfacerlas simultáneamente. Así, se obtendrá la base reduciendo las ecuaciones a
expresiones más simples. La solución 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. Considérese ahora el problema inverso: dada una base, se busca el espacio que
genera.

Si por ejemplo es la base de algún subespacio de , el

objetivo entonces es hallar el conjunto de combinaciones lineales
en forma implícita. Para esto, tómese una terna
ordenada . Se cumple que:

el cual es un sistema de ecuaciones lineales. Puede eliminarse el parámetro t, para

obtener:

Espacios de dimensión infinita

En el caso de espacios vectoriales de dimensión infinita, como los que aparecen en análisis
funcional existen algunas distinciones pertinentes que es importante señalar.

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:
En un espacio de dimensión de Hamel finita, se puede encontrar solamente un número
finito de vectores ortogonales dos a dos, en cambio, cuando la dimensión de Hamel es
infinita, pueden introducirse en los espacios de Hilbert ciertas "combinaciones lineales
infinitas" en términos de vectores ortogonales. En un espacio de Hilbert de dimensión
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 dimensión de Hilbert como el cardinal de cualquier base de Hilbert.

Dimensión vectorial

(quelconque: cualquiera)

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 es la siguiente:

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