Base (álxebra linear)

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

 Todos os elementos de  pertencen ao espazo vectorial .
 Os elementos de  forman un sistema linearmente independente.
 Todo elemento de  pode escribirse como combinación linear dos elementos da base  (é dicir,  é un sistema xerador de ).No caso de bases de Hilbert enténdese por "combinación linear" unha suma infinita converxente

 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.

 Observacións 
 As bases son conxuntos ordenados, é dicir que aínda que  e  xeran o mesmo espazo vectorial, as bases non son iguais.
 Dado un vector  e unha base  dun espazo vectorial , existe unha única maneira de escribir  como combinación linear dos elementos da base . É dicir, a representación dun vector nunha base é única.
 Da observación anterior despréndese que as bases non son únicas. En xeral, hai infinitas bases distintas para un mesmo espazo vectorial. Por exemplo, se , unha base moi simple de  é:

que é coñecida como base canónica de .

Outras bases de  son:

En xeral, toda base de  estará formada por tres vectores linearmente independentes que pertenzan a . Cando o espazo vectorial en si mesmo é un conxunto finito entón o número de bases distintas é finito.
 Se  é un espazo vectorial de dimensión finita, entón todas as bases de  serán finitas e terán a mesma cantidade de elementos.
 Non todas as bases teñen un número finito de elementos. Por exemplo, as bases do espazo vectorial dos polinomios dunha variable teñen infinitos elementos. Unha base posible é a formada polas potencias de : 

 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.

 Exemplos de cálculo 
miniatura|128px|Tres segmentos orientados non coplanarios son unha base do espazo tridimensional
Indícase a continuación, a través de exemplos, o procedemento de cálculo da base dun subespazo vectorial dado.


  Tómese a recta  no plano cartesiano. Sexa  un dos seus puntos, cumpre  por pertencer ao conxunto . Polo tanto, pode escribirse
   Tomando calquera  obtéñense todos os puntos da recta, logo
   A recta ten como base o segmento orientado (1, 1), que a «dirixe» a 45° dos eixos cartesianos, caracterizados polos vectores da base canónica.


  Agora calcúlase a base do plano homoxéneo . Despéxase unha das variables da ecuación do plano en función das outras dúas. 
   Sexa  e polo tanto, o conxunto  é unha base deste plano.


  O procedemento anterior é válido para calquera dimensión. Supóñase dado o subespazo 
   neste caso trátase de varias ecuacións, e todo punto pertencente a el debe satisfacelas simultaneamente. Así, obterase a base reducindo as ecuacións a expresións máis simples. A solución do sistema é  e, polo tanto, o conxunto que contén o único vector (1, 1, 0, 1) é a base de .


  Aplícase o mesmo a outro tipo de espazos, por exemplo, polinomios de grao 3. Considérese o subespazo . Exprésanse as ecuacións así 
   o que implica que o subespazo está conformado polos polinomios da forma 
   Polo tanto,  é unha base do espazo .


 Considérese agora o problema inverso: dada unha base, búscase o espazo que xera.

Se por exemplo  é a base dalgún subespazo de , o obxectivo entón é atopar o conxunto de combinacións lineares  en forma implícita. Para isto, tómese unha terna ordenada . Cúmprese que

o cal é un sistema de ecuacións lineares. Pode eliminarse o parámetro , para obter


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

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:

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 
miniatura
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 , a relación entre dimensión de Hammel e dimensión de Hilbert é:

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  dáse sempre a igualdade.

 Notas 

 Véxase tamén 
 Bibliografía 



 Outros artigos 
 Método de ortogonalización de Gram-Schmidt
 Ligazóns externas 
 Vídeos de Khan Academy:
Introdución ás bases dos subespazos
Proba de que calquera base dun subespazo ten o mesmo número de elementos


Categoría:Álxebra lineal