Dachprodukt/Universelle Eigenschaft/Fakt/Beweis

Beweis

Wir verwenden die Notation aus Fakt. Durch die Zuordnung

wird nach Fakt eine -lineare Abbildung

definiert. Da multilinear und alternierend ist, wird unter der Untervektorraum auf abgebildet. Nach Fakt gibt es daher eine -lineare Abbildung

die mit verträglich ist.
Die Eindeutigkeit ergibt sich daraus, dass die ein Erzeugendensystem von bilden und diese auf abgebildet werden müssen.