Definición. Se denomina base de un espacio vectorial V a un subconjunto finito de vectores A={v1,v2,...,vn}, si y solo si, A es linealmente independiente y es un conjunto generador de V.
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, g(x)=3x−1 y h(x)=−4x+1, demuestre que H={f,g,h} es una base para el espacio vectorial de los polinomios de grado menor o igual a dos, P2.
Solución. Primero se prueba el criterio de independencia lineal, por lo que se plantea la siguiente igualdadα1f(x)+α2g(x)+α3h(x)α1f(x)+α2g(x)+α3h(x)α1(x2+1)+α2(3x−1)+α3(−4x+1)α1x2+α1+3α2x−α2−4α3x+α3α1x2+(3α2−4α3)x+(α1−α2+α3)=====n0x2+0x+00x2+0x+00x2+0x+00x2+0x+0Esto implica que⎩⎨⎧α13α2−4α3α1−α2+α3===000Al resolver el sistema se tiene que éste tiene solución única y esta dada por α1=α2=α3=0; es decir, la igualdad α1f(x)+α2g(x)+α3h(x)=0 se cunple solo si α1=α2=α3. Por tanto, el conjunto H={f,g,h} es linealmente independiente en ℘2.
Ahora se verifica que el conjunto H genere a todo ℘2. Para esto, se considera p(x)=ax2+bx+c y escalares α1, α2 y α3 tales que p(x)==α1f(x)+α2g(x)+α3h(x)α1x2+(3α2−4α3)x+(α1−α2+α3)Lo cual genera el sistema⎩⎨⎧α13α2−4α3α1−α2+α3===abcAl analizar el sistema, se tiene que siempre tiene solución pues la matriz adjunta del mismo es (A∣B)=⎝⎛10103−10−41abc⎠⎞que en forma escalonada reducida es(A∣B)=⎝⎛10103−10−41a4a−b−4c3a−b−3c⎠⎞Entonces ρ(A∣B)=ρ(A)=3. Luego como el sistema siempre tiene solución, independientemente de los valores de a, b y c se concluye que el sistema es consistente; además, su única solución es α1=a, α2=4a−b−4c y α3=3a−b−3c. En consecuencia, cualquier polinomio p(x)=ax2+bx+c en ℘2 puede ser expresado como combinación lineal de los polinomios f(x)=x2+1, g(x)=3x−1 y h(x)=−4x+1, es decir, ℘2=gen{f,g,h}.
Por consiguiente, dado que H es linealmente independiente y es un conjunto generador de los polinomios de grado menor o igual a dos, entonces H es una base para ℘2.
Definición. Si el espacio vectorial V tiene una base con un número finito de elementos, entonces la dimensión de V es el número de vectores en todas las bases y V se denomina espacio vectorial de dimensión finita. De otra manera, V se denomina espacio vectorial de dimensión infinita. Si V={0V} (neutro del espacio), entonces se dice que V tiene dimensión cero.
Notación. La dimensión V se denota por dimV.
La dimensión de algunos espacios vectoriales (sin restricciones) pueden determinarse conforme a la siguientes regla:dimRndim℘ndimMm×n===nn+1m×n