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**.