La dimension de l'espace vectoriel K est le cardinal de A.
De cette affirmation découle la relation suivante, qui relie le cardinal du corps K des scalaires, le cardinal de l'espace vectoriel E, et sa dimension d sur K. (en particulier, E = 1 si d = 0, et E = K si K est infini et d ≠ 0).
Pour déterminer la dimension d'un espace vectoriel E, on détermine une famille B génératrice de E (ceci montre que E est de dimension finie), puis on vérifie que cette famille est libre.
La famille B est alors une base de E et le nombre de vecteurs dans la famille est la dimension de E.
Sur un corps K, un espace vectoriel E est dit de dimension finie s'il admet une base finie.
Il suffit pour cela qu'il admette une famille génératrice finie.
Les espaces de dimension finie jouissent de propriétés qui leur sont propres.