Está en la página 1de 4

Dimensión de un espacio vectorial - Wikipedia, la enciclopedia libre https://es.wikipedia.

org/wiki/Dimensión_de_un_espacio_vectorial

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.

Índice
Introducción
Definición formal
Dimensión de un subespacio
Fórmula de las dimensiones de Grassmann
Ejemplos
Véase también
Referencias
Bibliografía
Enlaces externos

Introducción
Dado un espacio vectorial pueden considerarse conjuntos de vectores S de un espacio vectorial V y se puede
examinar si poseen algunas de estas propiedades:

1. 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 n, el máximo número de vectores


linealmente independientes es n.

1. Conjunto generador, dado un subespacio lineal L se dice que un conjunto S es generador de L 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. Puede demostrarse 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.

1 de 4 21/06/2018 14:49
Dimensión de un espacio vectorial - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Dimensión_de_un_espacio_vectorial

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

La dimensión de P 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 ( x + yi en vez de (x; y) ) es errónea, pero muy común.

El espacio ambiente es tridimensional y se requiere por lo tanto tres reales (x, y, z) 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 (x, y, z, t) 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 real. Como el conjunto de los racionales no es un cuerpo[cita requerida] 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 {0}, ya que el vacío es una base),
y puesto que puede demostrarse que todas las bases vectoriales tienen el mismo cardinal, el concepto de dimensión
está bien definido. Conviene notar que existen espacios vectoriales de 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:

2 de 4 21/06/2018 14:49
Dimensión de un espacio vectorial - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Dimensión_de_un_espacio_vectorial

lo que se puede escribir en forma matricial :

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

es decir de los A·X: es la imagen de A.

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: rg A = dim (Im A), tenemos la relación:

rg A + dim (Ker A) = dim E (E: espacio de entrada de A, aquí E = ).

Busquemos dim (Ker A):

Quedan dos ecuaciones no proporcionales, por lo tanto independientes, y cada una resta 1 a la dimensión, que vale
inicialmente 4. Resulta que dim (Ker A ) = 2. Se puede constatarlo de otra manera: Las dos ecuaciones permiten
expresar y,luego x en función de z y t, por consiguiente solo quedan dos variables libres, y la dimensión es 2.

Aplicando la fórmula : rg A = 4 - 2 = 2. El subespacio es un plano.

Fórmula de las dimensiones de Grassmann


Si U1 y U2 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, .

3 de 4 21/06/2018 14:49
Dimensión de un espacio vectorial - Wikipedia, la enciclopedia libre https://es.wikipedia.org/wiki/Dimensión_de_un_espacio_vectorial

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

Referencias

Bibliografía
Gannon, Terry (2006), Moonshine beyond the Monster: The Bridge Connecting Algebra, Modular Forms and
Physics, ISBN 0-521-83531-3

Enlaces externos
MIT Linear Algebra Lecture on Independence, Basis, and Dimension by Gilbert Strang (http://ocw.mit.edu
/courses/mathematics/18-06-linear-algebra-spring-2010/video-lectures/lecture-9-independence-basis-and-
dimension/) at MIT OpenCourseWare

Obtenido de «https://es.wikipedia.org/w/index.php?title=Dimensión_de_un_espacio_vectorial&oldid=106116182»

Se editó esta página por última vez el 10 mar 2018 a las 03:45.

El texto está disponible bajo la Licencia Creative Commons Atribución Compartir Igual 3.0; pueden aplicarse
cláusulas adicionales. Al usar este sitio, usted acepta nuestros términos de uso y nuestra política de privacidad.
Wikipedia® es una marca registrada de la Fundación Wikimedia, Inc., una organización sin ánimo de lucro.

4 de 4 21/06/2018 14:49