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.
Pour démontrer que F est un sous-espace vectoriel de E , on applique la caractérisation des sous-espaces vectoriels, c'est-à-dire qu'on vérifie que 0E∈F 0 E ∈ F et que, pour tout couple (x,y)∈F2 ( x , y ) ∈ F 2 et tout scalaire λ∈K λ ∈ K , on a {x+y∈Fλx∈F. { x + y ∈ F λ x ∈ F .