Hilbertraum/Stetiger Dualraum/Isometrie/Fakt/Beweis/Aufgabe/Lösung


Zu jedem ist die Auswertung

stetig nach Aufgabe. Es ist daher klar, dass eine lineare Abbildung von nach vorliegt. Die Injektivität der Abbildung beruht darauf, dass das Skalarprodukt nicht ausgeartet ist. Die Surjektivität ist Fakt, wir haben also eine Isomorphie. Zum Nachweis, dass eine Isometrie vorliegt, genügt es zu zeigen, dass die Norm von mit der Supremumsnorm (auf der -Sphäre) der zugehörigen Linearform übereinstimmt. Es ist

nach Fakt. Daher haben wir

für alle Vektoren mit Norm , was sich auf das Supremum überträgt. Ferner ist für (es sei )

das Supremum ist also gleich . Daher ist auch ein Hilbertraum.