Definition

Let : Finite-dimensional vector space

Then

  • We call number of vectors in a basis for the dimension of
  • We denote dimension of as
  • Additionally, the zero vector space is defined to have dimension .