Una base de un espacio vectorial finito-dimensional es una lista de expansión que también es linealmente independiente. Veremos que todas las bases para espacios vectoriales finito-dimensionales tiene...Una base de un espacio vectorial finito-dimensional es una lista de expansión que también es linealmente independiente. Veremos que todas las bases para espacios vectoriales finito-dimensionales tienen la misma longitud. Esta longitud se llamará entonces la dimensión de nuestro espacio vectorial.