Dado cualquier espacio vectorial "V" sobre un cierto cuerpo "F", definimos el espacio dual V* como el conjunto de todas las funcionales lineales en F, es decir, transformaciones lineales en V a valores escalares (en este contexto, un "escalar" es un miembro del cuerpo-base "F").