Vektorraum/Endlichdimensional/Gramsche Matrizen/Fakt/Beweis

Beweis

Die Injektivität der Abbildung folgt aus Fakt, die Surjektivität daraus, dass man eine beliebige Matrix im Sinne von Beispiel als Bilinearform interpretieren kann. Die Linearität folgt unmittelbar aus der punktweisen Definition der Vektorraumstruktur auf .