La Enciclopedia Libre Universal en Español dispone de una lista de distribución pública, enciclo@listas.us.es

Dimensión de un espacio vectorial

Artículo de la Enciclopedia Libre Universal en Español.

Saltar a navegación, buscar

La dimensión de un espacio vectorial es la respuesta a la pregunta: ¿Cuántos parámetros se necesitan para localizar con toda precisión un punto en este espacio?

Bien es sabido que sobre una recta donde se ha escogido dos puntos , O(origen) e I(abcisa = 1) todo punto, M, está perfectamente definido a partir de su abscisa x:
\vec{OM} = x\vec{OI} = x\vec{i}


En un plano (P), se escogen tres puntos distintos no alineados O,I e J, y se definen los vectores:
\vec{i} = \vec{OI} \ , \ \vec{j} = \vec{OJ}


y un punto M es localizado por su abscisa x y su ordenada y: M(x,y) significa
\vec{OM}= x\vec{i} + y\vec{j}
Si se cambia el cuerpo de los escalares , de
\mathbb{R} \ a \ \mathbb{C}
, entonces el mismo punto M será deteminado por el complejo zM =x + yi, es decir por un solo parámetro. La dimensión de P es 1 sobre
\mathbb{C}
y dos sobre
\mathbb{R} : \dim_\mathbb{C} P = 1 \ , \ \dim_\mathbb{R} P = 2

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
\mathbb{C}
.

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 reales. Como el conjunto
\mathbb{Z}
de los racionales es un anillo pero no un cuerpo, 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 si 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.

[escribe] 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
\mathbb{R}^3
, sean los vectores:
\vec{u} \begin{pmatrix} 1\\3\\-2 \end{pmatrix} , \vec{v} \begin{pmatrix} -2\\1\\3 \end{pmatrix} , \vec{w} \begin{pmatrix} -3\\5\\4 \end{pmatrix} \mbox{ y } \vec{n} \begin{pmatrix} 4\\5\\-7 \end{pmatrix}
Cuatro vectores no pueden ser independientes en
\mathbb{R}^3
, por lo tanto tienen que existir relaciones de dependencia:
x \begin{pmatrix} 1\\3\\-2 \end{pmatrix} + y \begin{pmatrix} -2\\1\\3 \end{pmatrix} + z \begin{pmatrix} -3\\5\\4 \end{pmatrix} + t \begin{pmatrix} 4\\5\\-7 \end{pmatrix} = \vec{0}

lo que se puede escribir en forma matricial :

\begin{pmatrix} 1 & -2 & -3 & 4\\ 3 & 1 & 5 & 5\\ -2 & 3 & 4 & 7 \end{pmatrix} \begin{pmatrix} x\\y\\x\\t \end{pmatrix} = \vec{0}

Llamemos A a la matriz anterior, y X el vector columna. Esta relación significa que el vector X pertenece al nucleo de A, que se nota Ker A (del alemán Kernel, núcleo). El espacio generado es el conjunto de los x\vec{u} + y\vec{v} + z\vec{w} + t\vec{n},

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 =
\mathbb{R}^4
).

Busquemos dim (Ker A):

\left \{ \begin{matrix} (I) & x-2y-3z+4t=0\\ (II) & 3x+y+5z+5t=0\\ (III) & -2x+3y+4z-7t=0 \end{matrix} \right. \Leftrightarrow \left \{ \begin{matrix} (I) & x-2y-3z+4t=0\\ (IV)=(II)-3(I) & 7y+14z-7t=0\\ (V)=(III)+2(I) & -y-2z+t=0 \end{matrix} \right.

\Leftrightarrow \left \{ \begin{matrix} (I) & x-2y-3z+4t=0\\ (IV)/7 & y+2z-t=0\\ -(V) & y+2z-t=0 \end{matrix} \right.

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.


Autor: M.Romero Schmidtke

Obtenido de «http://enciclopedia.us.es/index.php/Dimensi%C3%B3n_de_un_espacio_vectorial»
Herramientas personales
Espacios de nombres
Variantes
Acciones
Navegación
Herramientas
Crear un libro