(Aula de 1h20m) 

Revisão sobre subespaço vectorial gerado por um sistema de vectores e sobre independência linear. Base de um espaço vectorial. Exemplos, incluindo bases de K^n, de espaços vectoriais de polinómios e de espaços vectoriais de matrizes. Caracterização de base em termos de combinação linear de coeficientes únicos. Coordenadas de um vector relativamente a uma base. Exemplos. Todo o espaço vectorial finitamente gerado admite uma base. Exemplo.

Teorema de Steinitz. Exemplo. Dimensão de um espaço vectorial (finitamente gerado). Exemplos.