Dachprodukt/Natürliche Dualität/Endlichdimensional/Fakt

Es sei ein Körper und ein -dimensionaler Vektorraum. Es sei .

Dann gibt es eine natürliche Isomorphie

mit

(mit und ).