Dachprodukt/Universelle Eigenschaft/Fakt/Beweis
Zur Navigation springen
Zur Suche springen
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.