Ir al contenido

Diferencia entre revisiones de «Base (álgebra)»

De Wikipedia, la enciclopedia libre
Contenido eliminado Contenido añadido
Obueno (discusión · contribs.)
Borre la parte de "Base de Hilbert"
Revertidos los cambios de Obueno a la última edición de Obueno usando monobook-suite
Línea 1: Línea 1:
[[Archivo:Basis graph.png|thumb]]
[[Archivo:Basis graph.png|thumb]]
En [[álgebra lineal]], se dice que un conjunto <math>B</math> es una '''base''' de un [[espacio vectorial]] <math>V</math> si todo elemento de <math>V</math> se puede escribir de manera única como una [[combinación lineal]] de elementos de <math>B</math>.
En [[álgebra lineal]], se dice que un conjunto ordenado B es base de un [[espacio vectorial]] V si se cumplen las siguientes condiciones:

== Definición y propiedades ==
Sea <math>V</math> un espacio vectorial sobre un cuerpo <math>K</math>. Diremos que un <math>B\subset V</math> es una '''base''' de <math>V</math> si
se cumplen las siguientes condiciones:


* Todos los elementos de la base B deben pertenecer al espacio vectorial V.
* Todos los elementos de la base B deben ser [[Independencia lineal|linealmente independientes]].
* Todos los elementos de la base B deben ser [[Independencia lineal|linealmente independientes]].
* Todo elemento de V se puede escribir como una [[combinación lineal]] de los elementos de la base B, es decir B es un [[sistema generador]] de V.
* Todo elemento de V se puede escribir como una [[combinación lineal]] de los elementos de la base B, es decir B es un [[sistema generador]] de V.



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]]. En este caso, tal cardinalidad sera llamada como la [[dimensión]] del espacio vectorial.
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]]. En este caso, tal cardinalidad sera llamada como la [[dimensión]] del espacio vectorial.
Línea 17: Línea 13:
* Todo conjunto linealmente independiente en un espacio vectorial, puede ser extendido a una base.
* Todo conjunto linealmente independiente en un espacio vectorial, puede ser extendido a una base.


== Bases de Hamel y de Hilbert ==
== Ejemplos ==
En un espacio vectorial de Hilbert de dimensión infinita existen varias posibilidades de extender el concepto de combinación lineal finita. De un lado si consideramos únicamente [[combinación lineal|combinaciones lineales]] finitas llegamos al concepto de [[base de Hamel]] o base lineal. Puede probarse que todas las bases de Hamel tienen el mismo número de elementos, este número o [[Número cardinal|cardinal]] se llama dimensión lineal o '''dimensión de Hamel'''. Un conjunto constituye una base de Hamel [[si y solo si]]:</br>
<br />
:<math>B_{Ham}:\mbox{base de Hamel} \Rightarrow </math>
:<math>\exists \lambda_i \in \mathbb{K} \quad \and \quad \exists x_i \in B_{Ham}: \quad x = \sum_{i=1}^N \lambda_i x_i</math>
</br>
En un espacio de dimensión de Hamel finita, se puede encontrar solamente un número finito de [[ortogonal|vectores ortogonales]] dos a dos, en cambio, cuando la dimensión de Hamel es infinita, pueden introducirse en los [[espacio de Hilbert|espacios de Hilbert]] ciertas "combinaciones lineales infinitas" en términos de vectores ortogonales. En un espacio de Hilbert de dimensión infinita se dice que un conjunto es una '''base de Hilbert''' o base ortogonal, si y solo si:
<br />
:<math>B_{Hil}:\mbox{base de Hilbert} \Rightarrow</math>
:<math>\exists \lambda_i \in \mathbb{K} \quad \and \quad \exists x_i \in B_{Hil} \quad \and \quad \langle x_i,x_j \rangle = 0 (i \ne j): \quad x = \sum_{i=1}^\infty \lambda_i x_i</math>
</br>
Nuevamente sucede que todas las bases ortogonales tienen el mismo cardinal, por lo que se define el concepto de '''dimensión de Hilbert''' como el cardinal de cualquier base de Hilbert.

=== Dimensión vectorial ===
[[Archivo:Vecteur bases ond et qcq.png|thumb]]
La '''dimensión''' de un espacio vectorial se define como el número de elementos o cardinal de una base de dicho espacio. Dado que para todo espacio de Hilbert de dimensión infinita podemos distinguir entre bases de Hilbert y de Hamel, podemos definir la dimensión vectorial ordinaria y la dimensión vectorial de Hilbert. Se tiene que para cualquier espacio vectorial ''V'', la relación entre dimensión de Hammel y dimensión de Hilbert es la siguiente:
{{Ecuación|<math>dim_{Ham} V \ge dim_{Hil} V</math>|1|left}}
En espacios de dimensión finita también se pueden definir las bases de Hilbert como bases de Hamel ortogonales. De hecho, para un espacio de dimensión finita, la dimensión de Hilbert es igual a la dimensión de Hamel. En dimensión finita toda base de Hamel es base de Hilbert y viceversa, por lo que para un espacio de dimensión finita en {{Eqnref|1}} se da siempre la igualdad.

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


1) En general, suele haber infinitas bases distintas para un mismo espacio vectorial. Por ejemplo, si <math>V=\mathbb{R}^3</math>, una posible base de ''V'' es:
2) De la observación anterior se desprende que las bases no son únicas. En general, suele haber infinitas bases distintas para un mismo espacio vectorial. Por ejemplo, si <math>V=\mathbb{R}^3</math>, una posible base de ''V'' es:
{{Ecuación|<math>\mathcal{B}=\{ (1,0,0); (0,1,0); (0,0,1)\}</math>||left}}
{{Ecuación|<math>\mathcal{B}=\{ (1,0,0); (0,1,0); (0,0,1)\}</math>||left}}
Pero otras posibles bases de V son:
Pero otras posibles bases de V son:
{{Ecuación|<math>\begin{cases} \mathcal{B}'=\{(2,0,0); (0,1,0); (0,0,1)\} \\
{{Ecuación|<math>\begin{cases} \mathcal{B}'=\{(2,0,0); (0,1,0); (0,0,1)\} \\
\mathcal{B}''=\{(1,1,1); (1,1,0); (1,0,0)\} \\ \mathcal{B}'''=\{(504,0,0); (0,7,0); (0,0,1/2)\} \end{cases} </math>||left}}
\mathcal{B}''=\{(1,1,1); (1,1,0); (1,0,0)\} \\ \mathcal{B}'''=\{(504,0,0); (0,7,0); (0,0,1/2)\} \end{cases} </math>||left}}
En este caso, una base cualquiera estará formada por tres vectores linealmente independientes que pertenezcan a <math>\mathbb{R}^3</math>. Cuando el espacio vectorial en sí mismo es un conjunto finito entonces necesariamente existe un número finito de bases.
En general, una base cualquiera estará formada por tres vectores linealmente independientes que pertenezcan a <math>\mathbb{R}^3</math>. Cuando el espacio vectorial en sí mismo es un conjunto finito entonces necesariamente existe un número finito de bases.


3) Si V es un espacio vectorial de [[dimensión]] finita, entonces todas las bases de V serán finitas y tendrán la misma cantidad de elementos.


2) No todas las bases tienen un número 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: <math>\mathcal{B} =\{1, X, X^2, X^3,\dots \}</math>. Observe que en este caso la cardinalidad de esta base (y por tanto de todas las bases) es <math>\aleph_0</math> (la cardinalidad de los [[números naturales]]).
4) No todas las bases tienen un número 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: <math>\mathcal{B} =\{1, X, X^2, X^3,\dots \}</math>


== Temas relacionados ==
== Temas relacionados ==

Revisión del 12:12 1 dic 2009

En álgebra lineal, se dice que un conjunto ordenado B es base de un espacio vectorial V si se cumplen las siguientes condiciones:

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. En este caso, tal cardinalidad sera llamada como la dimensión del espacio vectorial.

Otras propiedades, consecuencias del lema de Zorn:

  • Todo sistema generador de un espacio vectorial contiene una base.
  • Todo conjunto linealmente independiente en un espacio vectorial, puede ser extendido a una base.

Bases de Hamel y de Hilbert

En un espacio vectorial de Hilbert de dimensión infinita existen varias posibilidades de extender el concepto de combinación 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 número de elementos, este número o cardinal se llama dimensión lineal o dimensión de Hamel. Un conjunto constituye una base de Hamel si y solo si:


En un espacio de dimensión de Hamel finita, se puede encontrar solamente un número finito de vectores ortogonales dos a dos, en cambio, cuando la dimensión de Hamel es infinita, pueden introducirse en los espacios de Hilbert ciertas "combinaciones lineales infinitas" en términos de vectores ortogonales. En un espacio de Hilbert de dimensión 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 dimensión de Hilbert como el cardinal de cualquier base de Hilbert.

Dimensión vectorial

La dimensión de un espacio vectorial se define como el número de elementos o cardinal de una base de dicho espacio. Dado que para todo espacio de Hilbert de dimensión infinita podemos distinguir entre bases de Hilbert y de Hamel, podemos definir la dimensión vectorial ordinaria y la dimensión vectorial de Hilbert. Se tiene que para cualquier espacio vectorial V, la relación entre dimensión de Hammel y dimensión de Hilbert es la siguiente:

(1)

En espacios de dimensión finita también se pueden definir las bases de Hilbert como bases de Hamel ortogonales. De hecho, para un espacio de dimensión finita, la dimensión de Hilbert es igual a la dimensión de Hamel. En dimensión finita toda base de Hamel es base de Hilbert y viceversa, por lo que para un espacio de dimensión finita en (1) se da siempre la igualdad.

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 observación 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 posible base de V es:

Pero otras posibles bases de V son:

En general, una base cualquiera estará formada por tres vectores linealmente independientes que pertenezcan a . Cuando el espacio vectorial en sí mismo es un conjunto finito entonces necesariamente existe un número finito de bases.

3) Si V es un espacio vectorial de dimensión finita, entonces todas las bases de V serán finitas y tendrán la misma cantidad de elementos.

4) No todas las bases tienen un número 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:

Temas relacionados

Véase también