Base (lgebra)

En lgebra lineal, se dice que un conjunto ordenado B es base de un 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 y existencia de bases

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.

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

En general, toda base de

. Otras bases de

son:

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

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.