Sia V un K-spazio vettoriale. Il duale di V*, consistente in tutti i funzionali lineari di V*,
cioè lo spazio Hom(V*, K), si chiama spazio biduale di V, e si denota con V**.

Definiamo per ogni LÎ V* :

b (v)(L) = L(v)

dove b : V® V** è l'applicazione che ad ogni vÎ V associa il funzionale

b (v) : V*® K . b si chiama l'isomorfismo canonico di V su V**.