Empecemos por definir el término espacio vectorial (me van a considerar únicamente los espacios vectoriales sobre $\mathbb{R}$ aquí para simplificar las cosas): El conjunto de
$V=\{(x_1,x_2,\ldots,x_n)\mid x_1,x_2,\ldots,x_n\in\mathbb{R}\}$
es un espacio vectorial de dimensión $n$. Por favor nota: No todo espacio vectorial es de esta forma!
- Comentario: De la escuela a la que usted puede saber $\mathbb{R}^2$ (que es un espacio vectorial de dimensión 2) y $\mathbb{R}^3$ (que es un espacio vectorial de dimensión 3).
La pregunta interesante es: Dado un subconjunto $U$$V$, ¿cuál es su dimensión? Sólo podemos definir cuál es la dimensión de la $U$ si $U$ sí es un espacio vectorial. $U\subseteq V$ es un espacio vectorial si y solo si existe el $v_1,v_2,\ldots,v_m\in V$ tal que
$U=\{a_1v_1+a_2v_2+\ldots+a_mv_m\mid a_1,a_2,\ldots,a_m\in\mathbb{R}\}$
- Ahora dos de los casos puede ocurrir: O $U=V$ mantiene o $U\subset V$ mantiene. Para $U=V$, la dimensión de la $U$ es obviamente $n$. Para $U\subset V$, todavía tenemos que definir qué dimensión significa.
Para definir el término dimensión, primero tenemos que definir lo que son linealmente independientes significa: Un conjunto $W=\{w_1,w_2,\ldots,w_m\},W\subseteq V$ se denomina linealmente independientes, si la ecuación
$a_1w_1+a_2w_2+\ldots+a_mw_m=\mathbf{0}\quad(a_i\in\mathbb{R})$
sólo se mantiene para $a_1=a_2=\ldots=a_m=0$.
Por ejemplo: El conjunto a $\{(1,0,0),(0,1,0),(3,2,0)\}$ no es linealmente independiente, porque
$3\cdot (1,0,0)+2\cdot (0,1,0)-(3,2,0)=(0,0,0)$
Por otro lado, el conjunto de $\{(1,0,0),(0,1,0)\}$ es linealmente independiente, porque
$a_1\cdot (1,0,0)+a_2\cdot (0,1,0)=(0,0,0)$ implica $a_1=a_2=0$.
Ahora podemos definir la dimensión de lo que significa:
$U=\{a_1v_1+a_2v_2+\ldots+a_mv_m\mid a_1,a_2,\ldots,a_m\in\mathbb{R}\}$
tiene dimensión $m$ si y sólo si $\{v_1,v_2,\ldots,v_m\}$ es un conjunto linealmente independiente.
Ejemplo (continuación del ejemplo anterior):
$\{a_1(1,0,0)+a_2(0,1,0)+a_3,(3,2,0)\mid a_1,a_2,a_3\in\mathbb{R}\}$
es el mismo espacio vectorial como
$\{a_1(1,0,0)+a_2(0,1,0)\mid a_1,a_2\in\mathbb{R}\}$;
su dimensión es 2 (debido a que $\{(1,0,0),(0,1,0)\}$ es linealmente independientes).
- Comentario: Dado un espacio vectorial $U$, su dimensión es único.
- Nota: Si $n$ es la dimensión de $V$, $m$ es la dimensión de la $U$$U\subseteq V$, $m\leq n$ mantiene.
Si $U\subseteq V$ es un espacio vectorial y $v_0\in V$,
$U^\prime=v_0+U=\{v_0+a_1v_1+a_2v_2+\ldots+a_mv_m\mid a_1,a_2,\ldots,a_m\in\mathbb{R}\}$
se llama afín espacio vectorial. La dimensión de $U'$ se define como la dimensión de $U$.
Por favor nota: no Hay límite en cómo es grande una dimensión puede ser, por ejemplo, también se puede definir espacios vectoriales de dimensión 1000.