Dachprodukt/Universelle Eigenschaft/Alternierende Formen und Linearformen/Fakt/Beweis
Erscheinungsbild
Beweis
Die Abbildung ist einfach die Verknüpfung , wobei die kanonische Abbildung bezeichnet. Die Linearität der Zuordnung ergibt sich aus den linearen Strukturen des Dualraumes und des Raumes der alternierenden Formen. Die Bijektivität der Abbildung folgt aus Fakt, angewendet auf .