Given a vector space V over a field F, the (algebraic) dual space V is the vector space of linear functionals φ:V→F with addition and scalar multiplication defined pointwise.
If V is finite-dimensional, then V has the same dimension (see dual basis).