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]
Lema de Zorn
editarMediante 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
editarUn 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
editarIndí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
.
.
- 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.
.
- O procedemento anterior é válido para calquera dimensión. Supóñase dado o subespazo
- 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í
.
-
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
editarNo 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
editarNun 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
editarA 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 (
) dáse sempre a igualdade.Notas
editar- ↑ No caso de bases de Hilbert enténdese por "combinación linear" unha suma infinita converxente
Véxase tamén
editarBibliografía
editar- 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
editarLigazóns externas
editar- Vídeos de Khan Academy:
- "Linear combinations, span, and basis vectors". Essence of linear algebra. 6-8-2016 – vía YouTube.