cl2-06. Bases y Dimensiones


Definición. Se denomina base de un espacio vectorial VV a un subconjunto finito de vectores A={v1,v2,...,vn}\small{A=\left\{v_1,v_2,...,v_n\right\}}, si y solo si, AA es linealmente independiente y es un conjunto generador de VV.

Observación. Cada espacio vectorial puede tener diferentes bases, pero todas las bases siempre tendrán el mismo número de vectores.

Ejemplo. Sean f(x)=x2+1\small{f(x)=x^2+1}, g(x)=3x1\small{g(x)=3x-1} y h(x)=4x+1\small{h(x)=-4x+1}, demuestre que H={f,g,h}\small{H=\left\{f,g,h\right\}} es una base para el espacio vectorial de los polinomios de grado menor o igual a dos, P2\mathcal{P}_2.

Solución. Primero se prueba el criterio de independencia lineal, por lo que se plantea la siguiente igualdadα1f(x)+α2g(x)+α3h(x)=nα1f(x)+α2g(x)+α3h(x)=0x2+0x+0α1(x2+1)+α2(3x1)+α3(4x+1)=0x2+0x+0α1x2+α1+3α2xα24α3x+α3=0x2+0x+0α1x2+(3α24α3)x+(α1α2+α3)=0x2+0x+0\begin{array}{rcl}\alpha_1 f(x)+\alpha_2 g(x)+\alpha_3 h(x) &=& n \\ \alpha_1 f(x)+\alpha_2 g(x)+\alpha_3 h(x) &=& 0x^2+0x+0\\ \alpha_1 (x^2+1)+\alpha_2 (3x-1)+\alpha_3 (-4x+1) &=& 0x^2+0x+0 \\ \alpha_1 x^2+\alpha_1 + 3\alpha_2 x - \alpha_2 - 4\alpha_3 x + \alpha_3 &=& 0x^2+0x+0 \\ \alpha_1 x^2+(3\alpha_2 - 4\alpha_3)x+(\alpha_1 -\alpha_2+\alpha_3) &=& 0x^2+0x+0\end{array}Esto implica que{α1=03α24α3=0α1α2+α3=0\left\{ \begin{array}{rcl}\alpha_1 &=&0 \\ 3\alpha_2 -4\alpha_3&=&0 \\ \alpha_1 - \alpha_2 + \alpha_3 &=&0 \end{array}\right.Al resolver el sistema se tiene que éste tiene solución única y esta dada por α1=α2=α3=0\alpha_1=\alpha_2=\alpha_3=0; es decir, la igualdad α1f(x)+α2g(x)+α3h(x)=0\alpha_1 f(x)+\alpha_2 g(x)+\alpha_3 h(x)=0 se cunple solo si α1=α2=α3\alpha_1=\alpha_2=\alpha_3. Por tanto, el conjunto H={f,g,h}\small{H=\left\{f,g,h\right\}} es linealmente independiente en 2\wp_2.

Ahora se verifica que el conjunto HH genere a todo 2\wp_2. Para esto, se considera p(x)=ax2+bx+cp(x)=ax^2 +bx+c y escalares α1\alpha_1, α2\alpha_2 y α3\alpha_3 tales que p(x)=α1f(x)+α2g(x)+α3h(x)=α1x2+(3α24α3)x+(α1α2+α3)\begin{array}{rcl}p(x)&=&\alpha_1 f(x)+\alpha_2 g(x)+\alpha_3 h(x) \\ &=&\alpha_1 x^2+(3\alpha_2 -4\alpha_3)x+(\alpha_1 -\alpha_2+\alpha_3) \end{array}Lo cual genera el sistema{α1=a3α24α3=bα1α2+α3=c\left\{ \begin{array}{rcl}\alpha_1&=&a \\ 3\alpha_2-4\alpha_3&=&b \\\alpha_1-\alpha_2+\alpha_3&=&c \end{array}\right.Al analizar el sistema, se tiene que siempre tiene solución pues la matriz adjunta del mismo es (AB)=(100a034b111c)(A|B)=\left(\begin{array}{rrr|r} 1 & 0 & 0&a\\ 0 & 3 & -4&b\\ 1 & -1 & 1&c \end{array}\right)que en forma escalonada reducida es(AB)=(100a0344ab4c1113ab3c)(A|B)=\left(\begin{array}{rrr|c} 1 & 0 & 0&a\\ 0 & 3 & -4&4a-b-4c\\ 1 & -1 & 1&3a-b-3c \end{array}\right)Entonces ρ(AB)=ρ(A)=3\rho(A|B)=\rho(A)=3. Luego como el sistema siempre tiene solución, independientemente de los valores de aa, bb y cc se concluye que el sistema es consistente; además, su única solución es α1=a\alpha_1=a, α2=4ab4c\alpha_2=4a-b-4c y α3=3ab3c\alpha_3=3a-b-3c. En consecuencia, cualquier polinomio p(x)=ax2+bx+cp(x)=ax^2 +bx+c en 2\wp_2 puede ser expresado como combinación lineal de los polinomios f(x)=x2+1\small{f(x)=x^2+1}, g(x)=3x1\small{g(x)=3x-1} y h(x)=4x+1\small{h(x)=-4x+1}, es decir, 2=gen{f,g,h}\small{\wp_2=gen\left\{f,g,h\right\}}.

Por consiguiente, dado que HH es linealmente independiente y es un conjunto generador de los polinomios de grado menor o igual a dos, entonces HH es una base para 2\wp_2.

 

Definición. Si el espacio vectorial VV tiene una base con un número finito de elementos, entonces la dimensión de VV es el número de vectores en todas las bases y VV se denomina espacio vectorial de dimensión finita. De otra manera, VV se denomina espacio vectorial de dimensión infinita. Si V={0V}V=\left \{ 0_V\right\} (neutro del espacio), entonces se dice que VV tiene dimensión cero.

Notación. La dimensión VV se denota por dim Vdim\ V.

La dimensión de algunos espacios vectoriales (sin restricciones) pueden determinarse conforme a la siguientes regla:dim Rn=ndim n=n+1dim Mm×n=m×n\begin{array}{rcl}dim\ \mathbb{R^n}&=&n \\ dim\ \wp_n&=&n+1\\ dim\ \mathbb{M_{m\times n}}&=&m\times n\end{array}


Enlaces de interés

Clase Online
Plataforma SIDWeb
Referencias Bibliográficas

Publicado por

Fernando Tenesaca

rtenese@espol.edu.ec | FCNM - ESPOL