Base (álxebra linear)

Base estándar no plano cartesiano.

Na álxebra linear, unha base é un conxunto B do espazo vectorial V se se cumpren as seguintes condicións:

• Todos os elementos de B pertencen ao espazo vectorial V.
• Os elementos de B forman un sistema linearmente independiente.
• Todo elemento de V pode escribirse como combinación linear dos elementos da base B (é dicir, B é un sistema xerador de V).

Lema de Zorn

Mediante o uso do lema de Zorn, é posible probar que todo espazo vectorial posúe unha base. A pesar de que é posible que un espazo vectorial non posúa unha única base, cúmprese que todo par de bases dun mesmo espazo vectorial teñen a mesma cardinalidade. Por ser así, esa cardinalidade chámase dimensión do espazo vectorial.

Outras propiedades, consecuencias do lema de Zorn:

• Todo sistema xerador dun espazo vectorial contén unha base vectorial (de Hamel).
• Todo conxunto linearmente independente nun espazo vectorial, pode ser estendido a unha base.

Espazos de dimensión finita

Un espazo de dimesión finita é todo aquel xerado por un conxunto finito de vectores. Neste caso pode definirse a dimensión do espazo como o cardinal do conxunto de vectores que constitúe a base.

Os subespazos dun espazo vectorial de dimensión finita tamén teñen, polo menos, unha base, de dimensión menor á do espazo no que están contidos. Por exemplo, unha recta homoxénea no plano, é dicir que pasa pola orixe determinado neste, ten dimensión un, por ser a súa base un único vector. Evidentemente, esta dimensión é menor cá do plano na que a recta está contida.

Espazos de dimensión infinita

No caso de espazos vectoriais de dimensión infinita, como os que aparecen na análise funcional compre sinalar algunhas distincións.

Bases de Hamel y de Hilbert

Nun espazo vectorial de Hilbert de dimensión infinita existen varias posibilidades de estender o concepto de combinación linear finita. Dun lado se se consideran unicamente combinacións lineares finitas chégase ao concepto de base de Hamel ou base linear. Pode probarse que todas as bases de Hamel teñen o mesmo número de elementos; este número ou cardinal chámase dimensión linear ou dimensión de Hamel. Un conxunto constitúe unha base de Hamel se e só se:

$B_{\rm {Ham}}:{\mbox{base de Hamel}}\Rightarrow$

$\exists \lambda _{i}\in \mathbb {K} \quad \land \quad \exists x_{i}\in B_{\rm {Ham}}:\quad x=\sum _{i=1}^{N}\lambda _{i}x_{i}$

Nun espazo de dimensión de Hamel finita, pode atoparse só un número finito de vectores ortogonais dous a dous; en cambio, cando a dimensión de Hamel é infinita, poden introducirse nos espazos de Hilbert certas "combinaciones lineares infinitas" en termos de vectores ortogonais. Nun espazo de Hilbert de dimensión infinita dise que un conxunto é unha base de Hilbert ou base ortogonal, se e só se:

$B_{\rm {Hil}}:{\mbox{base de Hilbert}}\Rightarrow$

$\exists \lambda _{i}\in \mathbb {K} \quad \land \quad \exists x_{i}\in B_{Hil}\quad \land \quad \langle x_{i},x_{j}\rangle =0(i\neq j):\quad x=\sum _{i=1}^{\infty }\lambda _{i}x_{i}$

Novamente sucede que todas as bases ortogonais teñen o mesmo cardinal, polo que se define o concepto de dimensión de Hilbert como o cardinal de calquera base de Hilbert.

Dimensión vectorial

A dimensión dun espazo vectorial defínese como o número de elementos ou cardinal dunha base dese espazo. Dado que para todo espazo de Hilbert de dimensión infinita pode distinguirse entre bases de Hilbert e de Hamel, pódese definir a dimensión vectorial ordinaria e a dimensión vectorial de Hilbert. Tense que para calquera espazo vectorial V, a relación entre dimensión de Hammel e dimensión de Hilbert é:

(1) $\dim _{\rm {Ham}}V\geq \dim _{\rm {Hil}}V$

En espazos de dimensión finita tamén se poden definir as bases de Hilbert como bases de Hamel ortogonais. De feito, para un espazo de dimensión finita, a dimensión de Hilbert é igual á dimensión de Hamel. En dimensión finita toda base de Hamel é base de Hilbert e viceversa, polo que para un espazo de dimensión finita en (1) dáse sempre a igualdade.

Véxase tamén

Bibliografía

• Blass, Andreas (1984). "Existence of bases implies the axiom of choice". Axiomatic set theory. Contemporary Mathematics volume 31. Providence, R.I.: American Mathematical Society. pp. 31–33. ISBN 0-8218-5026-1. MR 763890. 
• Brown, William A. (1991). Matrices and vector spaces. New York: M. Dekker. ISBN 978-0-8247-8419-5. 
• Lang, Serge (1987). Linear algebra. Berlin, Nova York: Springer-Verlag. ISBN 978-0-387-96412-6. 

Outros artigos

• Método de ortogonalización de Gram-Schmidt