Vektorraum/Bidual/Natürliche Abbildung/Fakt/Beweis

Beweis

Es sei fixiert. Zuerst ist zu zeigen, dass eine Linearform auf dem Dualraum ist. Offenbar ist eine Abbildung von nach . Die Additivität ergibt sich aus

wobei wir die Definition der Addition auf dem Dualraum verwendet haben. Die Verträglichkeit mit der Skalarmultiplikation ergibt sich entsprechend mittels

Zum Beweis der Additivität der Gesamtabbildung seien . Es ist die Gleichheit

zu zeigen. Da dies eine Gleichheit in ist, also insbesondere eine Gleichheit von Abbildungen, sei beliebig. Dann folgt die Additivität aus

Entsprechend ergibt sich die skalare Verträglichkeit aus

Zum Nachweis der Injektivität sei mit gegeben. D.h. für alle Linearformen ist . Dann ist aber nach Fakt schon

und nach dem Injektivitätskriterium ist injektiv.

Im endlichdimensionalen Fall folgt die Bijektivität aus der Injektivität und aus Fakt.