(Trabajo de titulación asesorado por la Dra. Diana Avella Alaminos)

Introducción

En la presente entrada entenderemos lo que es la dimensión de un espacio vectorial. Ésta será la cardinalidad de cualquiera de sus bases y estará bien definida ya que como hemos visto todas las bases tienen la misma cantidad de elementos. Así como podemos completar un conjunto linealmente independiente de $V$ agregando vectores hasta obtener una base de $V$, también podemos, a partir de un conjunto generador $\gamma$ de $V$, obtener una base de $V$ quitando vectores.

Definición

Sea $V$ un subespacio de ${\mathbb{R}}^n$. La dimensión de $V$ es la cardinalidad de cualquiera de sus bases.

Notación: $di{m}_{\mathbb{R}}V$ o simplemente $dimV$.

Ejemplos

1. $dim{\mathbb{R}}^n=n$ ya que $\{e_1,\dots ,e_n\}$ es una base de ${\mathbb{R}}^n$.

2. Considera el subespacio de ${\mathbb{R}}^2$ dado por $V=\{(x,y)\in {\mathbb{R}}^2\mid x+3y=0\}.$ Notemos que

$\begin{array}{rl}V& =\{(x,y)\in {\mathbb{R}}^2\mid x+3y=0\}\\ & =\{(x,y)\in {\mathbb{R}}^2\mid x=-3y\}\\ & =\{(-3y,y)\in {\mathbb{R}}^2\mid y\in \mathbb{R}\}\\ & =\{y(-3,1)\in {\mathbb{R}}^2\mid y\in \mathbb{R}\}\\ & =⟨(-3,1)⟩.\end{array}$

Así, $\{(-3,1)\}$ genera a $V$. Se deja al lector verificar que además $\{(-3,1)\}$ es $l.i$, entonces es una base de $V$. Por lo tanto $dimV=1.$

3. Considera el subespacio de ${\mathbb{R}}^4$ dado por $W=\{(x,y,z,w)\in {\mathbb{R}}^4\mid 3x+2y-z+4w=0\}.$ Observemos que

$\begin{array}{rl}W& =\{(x,y,z,w)\in {\mathbb{R}}^4\mid 3x+2y-z+4w=0\}\\ & =\{(x,y,z,w)\in {\mathbb{R}}^4\mid x=-\frac{2}{3}y+\frac{1}{3}z-\frac{4}{3}w\}\\ & =\{(-\frac{2}{3}y+\frac{1}{3}z-\frac{4}{3}w,y,z,w)\in {\mathbb{R}}^4\mid y,z,w\in \mathbb{R}\}\\ & =\{y(-\frac{2}{3},1,0,0)+z(\frac{1}{3},0,1,0)+w(-\frac{4}{3},0,0,1)\in {\mathbb{R}}^4\mid y,z,w\in \mathbb{R}\}\\ & =⟨(-\frac{2}{3},1,0,0),(\frac{1}{3},0,1,0),(-\frac{4}{3},0,0,1)⟩.\end{array}$

Así, $\{(-\frac{2}{3},1,0,0),(\frac{1}{3},0,1,0),(-\frac{4}{3},0,0,1)\}$ genera a $W$. Se deja al lector verificar que además $\{(-\frac{2}{3},1,0,0),(\frac{1}{3},0,1,0),(-\frac{4}{3},0,0,1)\}$ es $l.i$, entonces es una base de $W$ y por lo tanto $dimW=3.$

Lema

Sea $V$ un subespacio de ${\mathbb{R}}^n$, $m$ un natural positivo y $v_1,\dots ,v_m\in V$ vectores distintos tales que $\{v_1,\dots ,v_m\}$ es $l.d.$ Entonces existe $v_j\in \{v_1,\dots ,v_m\}$ tal que $⟨v_1,\dots ,v_j,\dots ,v_m⟩=⟨v_1,\dots ,v_{j-1},v_{j+1},\dots ,v_m⟩.$

Demostración

Sean $V\le {\mathbb{R}}^n$, $m$ un natural positivo y $v_1,\dots ,v_m\in V$ distintos tales que $\{v_1,\dots ,v_m\}$ es $l.d.$ Existen entonces ${\lambda }_1,\dots ,{\lambda }_m\in \mathbb{R}$ no todos nulos tales que:

${\lambda }_1{v}_1+\cdots +{\lambda }_m{v}_m=\overline{0}.$

Como ${\lambda }_1,\dots ,{\lambda }_m$ no son todos nulos, podemos considerar $j\in \{1,2,\dots ,m\}$ tal que ${\lambda }_j\ne 0$. Así:

$\begin{array}{}\text{(1)}& v_j& =-\frac{{\lambda }_1}{{\lambda }_j}{v}_1-\cdots -\frac{{\lambda }_{j-1}}{{\lambda }_j}{v}_{j-1}-\frac{{\lambda }_{j+1}}{{\lambda }_j}{v}_{j+1}-\cdots -\frac{{\lambda }_m}{{\lambda }_j}{v}_m\text{(2)}& & =\sum _{i\in \{1,\dots ,m\},i\ne j}-\frac{{\lambda }_i}{{\lambda }_j}{v}_i.\end{array}$

Sabemos que $⟨v_1,\dots ,v_{j-1},v_{j+1},\dots ,v_m⟩\subseteq ⟨v_1,\dots ,v_j,\dots ,v_m⟩.$

Ahora si $w\in ⟨v_1,\dots ,v_j,\dots ,v_m⟩$ existen ${\mu }_1,\dots ,{\mu }_m\in \mathbb{R}$ tales que:

$\begin{array}{rl}w& ={\mu }_1{v}_1+\cdots +{\mu }_j{v}_j+\cdots +{\mu }_m{v}_m\end{array}$

y sustituyendo $v_j$ de acuerdo a su expresión en $\text{2}$

$\begin{array}{rl}w& ={\mu }_1{v}_1+\cdots +{\mu }_j(\sum _{i\in \{1,\dots ,m\},i\ne j}-\frac{{\lambda }_i}{{\lambda }_j}{v}_i)+\cdots +{\mu }_m{v}_m.\end{array}$

Entonces $w$ es una combinación lineal del conjunto $\{v_1,\dots ,v_{j-1},v_{j+1},\dots ,v_m\}$ y por lo tanto $w\in ⟨v_1,\dots ,v_{j-1},v_{j+1},\dots ,v_m⟩$, probando con ello que $⟨v_1,\dots ,v_j,\dots ,v_m⟩\subseteq ⟨v_1,\dots ,v_{j-1},v_{j+1},\dots ,v_m⟩.$ Así, tenemos la igualdad buscada:

$⟨v_1,\dots ,v_j,\dots ,v_m⟩=⟨v_1,\dots ,v_{j-1},v_{j+1},\dots ,v_m⟩.$

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Teorema

Sea $V$ un subespacio de ${\mathbb{R}}^n$. Todo conjunto generador finito de $V$ se puede reducir a una base de $V$, es decir, si $S$ es un conjunto generador finito de $V$, existe $\beta \subseteq S$ tal que $\beta$ es una base de $V$.

Demostración

Sea $V\le {\mathbb{R}}^n$, $m$ un natural positivo y $v_1,\dots ,v_m\in V$ distintos tales que $S=\{v_1,\dots ,v_m\}$ genera a $V$.

Si $S$ es $l.i.$, entonces es una base de $V$.

Si $S$ es $l.d.$, por el lema existe $v_j\in S$ tal que $⟨v_1,\dots ,v_j,\dots ,v_m⟩=⟨v_1,\dots ,v_{j-1},v_{j+1},\dots ,v_m⟩=V.$

Si $\{v_1,\dots ,v_{j-1},v_{j+1},\dots ,v_m\}$ es $l.i.$, entonces es una base de $V$.

Si $\{v_1,\dots ,v_{j-1},v_{j+1},\dots ,v_m\}$ es $l.d.$ continuamos con este procedimiento (usando el lema) hasta obtener un subconjunto $\beta$ de $\{v_1,\dots ,v_m\}$ $l.i.$ y tal que $⟨\beta ⟩=V$. $\beta$ será entonces una base de $V$ contenida en $S$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Corolario

Sean $m\in \mathbb{N}$ y $V$ un subespacio de ${\mathbb{R}}^n$ de dimensión $m$. Tenemos que:

$a)$ Cualquier conjunto generador de $V$ con $m$ elementos es una base de $V$.

$b)$ Cualquier conjunto linealmente independiente en $V$ con $m$ elementos es una base de $V$.

Demostración

La demostración se deja como tarea moral.

Teorema

Sean $V$ y $W$ subespacios de ${\mathbb{R}}^n$ con $W\subseteq V$.

$a)$ Toda base de $W$ se puede completar a una base de $V.$

$b)$ $dimW\le dimV.$

$c)$ Si $dimW=dimV$, entonces $W=V.$

Demostración

Demostración de $a)$

Se deja al lector realizar la demostración adaptando el procedimiento mediante el que se probó que todo subespacio de ${\mathbb{R}}^n$ tiene una base en la nota anterior.

Demostración de $b)$

Sean $\gamma$ una base de $W$ y $\beta$ una base de $V$. Como $\gamma$ es $l.i.$ en $V$ y $\beta$ es un generador de $V$ por la una nota en la entrada anterior se tiene que $dimW=\mathrm{\#}\gamma \le \mathrm{\#}\beta =dimV.$

Demostración de $c)$

Supongamos que $dimW=dimV=m.$

Sea $\gamma$ una base de $W$. Sabemos que $\gamma$ es $l.i.$ en $V$ con $dimW=m$. Por el corolario anterior $\gamma$ es una base de $V$ y entonces $W=⟨\gamma ⟩=V$.

$\mathrm{<img\; draggable="false"\; role="img"\; class="emoji"\; alt="◻"\; src="https://s.w.org/images/core/emoji/14.0.0/svg/25fb.svg">}$

Tarea Moral

$1.$ Considera al espacio vectorial ${\mathbb{R}}^3$ sobre el campo de los reales y al subespacio:

$W=⟨(1,-7,-5),(2,10,2),(-3,-11,-1),(1,5,1)⟩.$

Encuentra una base de $W$ reduciendo el conjunto generador dado.

$2.$ Considera al espacio vectorial ${\mathbb{R}}^3$ sobre el campo de los reales y los subespacios de ${\mathbb{R}}^3$ dados por:

i) $W=\{(x,y,z)\in {\mathbb{R}}^3\mid y=-2x,z=-3x\}$

ii) $V=\{(x,y,z)\in {\mathbb{R}}^3\mid x+2y=z\}.$

En cada inciso encuentra una base para cada subespacio y determina la dimensión del subespacio..

$3.$ Demuestra el corolario de la presente nota.

Más adelante

Con esta nota terminamos la unidad 3, en la siguiente y última unidad haremos un estudio de las matrices y sus determinantes.

Enlaces relacionados

Página principal del curso.

Enlace a la nota anterior. Nota 31. Bases de ${\mathbb{R}}^n$.

Enlace a la nota siguiente. Nota 33. Matrices.