En
algèbre linéaire, la
dimension de Hamel ou simplement la
dimension est un
invariant associé à tout
espace vectoriel E sur un
corps K. La dimension de
E est le
cardinal commun à toutes ses
bases. Ce nombre est noté dim
K(
E) (lire « dimension de
E sur
K ») ou dim(
E) (s'il n'y a aucune confusion sur le corps
K des
scalaires). Si
E admet une partie
génératrice finie, alors sa dimension est finie et elle vaut le nombre de vecteurs constituant une base de
E.