Bilinearform/Über Abbildung zu Dualraum/Fakt/Beweis

Beweis

Da ist, liefert die Auswertung an einem Vektor ein Element des Grundkörpers. Die Linearität in der zweiten Komponenten beruht direkt darauf, dass zum Dualraum gehört, und die Linearität in der ersten Komponenten beruht auf der Linearität von .