Definition(s).
The dual space of V, denoted is the space of all linear functionals on . Equivalently, .
The dual map of , denoted is the map from to such that for any .
If forms a basis for V, the canonical dual basis of is where where is the Kronecker delta.
The annihilator of a subspace is the space of all linear functionals such that for all .