In mathematics, the dimension of a vector space V is the cardinality (i.e., the number of vectors) of a basis of V over its base field. It is sometimes called Hamel dimension (after Georg Hamel) or algebraic dimension to distinguish it from other types of dimension.
For every vector space there exists a basis, and all bases of a vector space have equal cardinality; as a result, the dimension of a vector space is uniquely defined. We say V {\displaystyle V} is finite-dimensional if the dimension of V {\displaystyle V} is finite, and infinite-dimensional if its dimension is infinite.
The dimension of the vector space V {\displaystyle V} over the field F {\displaystyle F} can be written as dim F ( V ) {\displaystyle \dim _{F}(V)} or as [ V : F ] , {\displaystyle [V:F],} read "dimension of V {\displaystyle V} over F {\displaystyle F} ". When F {\displaystyle F} can be inferred from context, dim ( V ) {\displaystyle \dim(V)} is typically written.