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 ).[Nota 1]
Base estándar no plano cartesiano.

Lema de Zorn

editar

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

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

editar

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

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

  1. 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.
  2. 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.
  3. 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  .
  4. 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  .
  5. 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

editar

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

editar

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

editar
 

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

(1)  

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.

  1. No caso de bases de Hilbert enténdese por "combinación linear" unha suma infinita converxente

Véxase tamén

editar

Bibliografía

editar

Outros artigos

editar

Ligazóns externas

editar