Dimensión de un espacio vectorial

La dimensión de un espacio vectorial (también llamada dimensión de Hamel de un espacio vectorial, para distinguirla de la dimensión de Hilbert en el caso de los espacios de Hilbert) es el número de vectores que forman una base [de Hamel] del espacio vectorial.

Introducción 
Dado un espacio vectorial pueden considerarse conjuntos de vectores  de un espacio vectorial  y se puede examinar si poseen algunas de estas propiedades:
 Independencia lineal se dice que un conjunto de vectores  es linealmente independiente si para cualquier número finito de vectores se cumple que:

Nótese que en un espacio vectorial de dimensión finita , el máximo número de vectores linealmente independientes es .
 Conjunto generador, dado un subespacio lineal  se dice que un conjunto  es generador de  si:

Nótese que un conjunto finito de m elementos puede generar a lo sumo un subespacio L de dimensión a lo sumo m.

Un conjunto que sea linealmente independiente (1) y generador del espacio vectorial (2) se dice que es una base vectorial. El teorema de intercambio de Steinitz permite demostrar que todas las bases de un espacio vectorial son conjuntos con el mismo número de elementos (es decir, conjuntos que tienen el mismo cardinal). Y el número común de elementos de una base cualquiera es precisamente la dimensión del espacio vectorial.

Nótese un hecho importante, si se cambia el cuerpo de los escalares, de  a , entonces el mismo punto  será determinado por el complejo , es decir por un solo parámetro.

La dimensión del plano real  es 1 sobre  y dos sobre :

Un plano real es por lo tanto una recta compleja. La apelación plano complejo para designar un plano real con escritura compleja de las coordenadas ( en vez de ) es errónea, pero muy común.

El espacio ambiente es tridimensional y se requiere por lo tanto tres reales  para definir un punto. No se le puede considerar como un espacio sobre .

En la teoría de la relatividad, se añade una cuarta variable: el tiempo, y un punto  de este espacio cuadridimensional corresponde a un evento o acontecimiento (las coordenadas nos dicen donde y cuando ocurrió).

En algunas teorías actuales, los físicos trabajan en un modelo del espacio con once dimensiones, pero sobre el conjunto de los enteros, y no los reales. Como el conjunto  de los enteros no es un cuerpo sino un anillo, el espacio no es vectorial (se dice que es un módulo). Sin embargo, la definición de la dimensión es válida en tales espacios. En este ejemplo, la mayoría de las dimensiones son enrolladas sobre sí mismas, como una serpiente que se muerde la cola. Su curvatura es enorme, pues su radio es microscópico, menor que el de un núcleo. Los espacios vectoriales no tienen curvatura.

Definición formal 
Más formalmente la dimensión de un espacio vectorial se define como el cardinal de una base vectorial para dicho espacio. Por el axioma de elección todo espacio tiene una base (incluso el espacio , ya que el vacío es una base), y puesto que el teorema de intercambio de Steinitz demuestra que todas las bases vectoriales finitas tienen el mismo cardinal y que se puede extender esto a cardinales infinitos por el teorema de Löwig, entonces resulta el concepto de dimensión está bien definido. Conviene notar que existen espacios vectoriales tanto de dimensión finita como de dimensión infinita (el espacio vectorial de los polinomios de una variable, por ejemplo, tiene dimensión ).

La dimensión de un espacio coincide además con los dos cardinales siguientes:
 El máximo número de vectores linealmente independientes de dicho espacio.
 El mínimo número de vectores que forman un conjunto generador para todo el espacio.

Dimensión de un subespacio 
La definición sigue siendo la misma en el caso de un subespacio, pero existe un método particular de calcularla cuando el subespacio es definido como espacio generado por sistema de vectores.
Veámoslo en un ejemplo. En el espacio , sean los vectores:

Cuatro vectores no pueden ser independientes en , por lo tanto tienen que existir relaciones de dependencia:

lo que se puede escribir en forma matricial :

Llamemos  a la matriz anterior, y  el vector columna. Esta relación significa que el vector  pertenece al núcleo de , que se nota  (del alemán Kern, núcleo). El espacio generado es el conjunto de los 
,

es decir de los : es la imagen de .

Resulta intuitivo que cuanto mayor es el núcleo, menor es la imagen, en términos de dimensiones.
Concretamente, si llamamos rango de A a la dimensión de su imagen: , tenemos la relación (llamada teorema rango-nulidad):
 (: espacio de entrada de , aquí ).

Busquemos : 

Quedan dos ecuaciones no proporcionales, por lo tanto independientes, y cada una resta 1 a la dimensión, que vale inicialmente 4. Resulta que .  

Sin embargo, se puede constatar de otra manera: Las dos ecuaciones permiten expresar , luego  en función de  y , por consiguiente solo quedan dos variables libres, y la dimensión es 2. 

Aplicando la fórmula: . El subespacio es un plano.

Fórmula de las dimensiones de Grassmann 

Si  y  son subespacios de un espacio vectorial de dimensión finita, se cumple:

Ejemplos 
 Todo espacio euclídeo tiene dimensión finita sobre .
 El conjunto de los números complejos  es de dimensión 1 sobre , es decir, , sin embargo, sobre  es dimensión 2, .
 El conjunto de los cuaterniones de Hamilton , satisface  y .
 Dado un cuerpo , el conjunto:

satisface .
 Todo conjunto con estructura de cuerpo  es un espacio vectorial sobre sí mismo de dimensión 1. Si se considera un subcuerpo  entonces el cuerpo original es un espacio vectorial sobre el subcuerpo. Si  es una extensión algebraica de  entonces la dimensión del cuerpo original sobre el subcuerpo es finita.
 El conjunto de matrices  es un espacio vectorial de dimensión .
 El espacio vectorial de los polinomios  tiene dimensión infinita sobre , concretamente, .
 El conjunto de números reales tiene dimensión 1 cuando se considera como cuerpo de escalares , pero si se considera un subcuerpo numerable de los reales, como por ejemplo los número racionales  entonces la dimensión es infinita (no numerable), en concreto, .

Véase también 

 Teorema rango-nulidad

 Dimensión de Hilbert

Referencias

Bibliografía

Enlaces externos 
 MIT Linear Algebra Lecture on Independence, Basis, and Dimension by Gilbert Strang at MIT OpenCourseWare

Vectores
Dimensión