2.6.2  Die Euklidsche Struktur - das reelle Skalarprodukt.

Es sei X ein reeller linearer Vektorraum. Ein reelles Skalarprodukt ist eine Abbildung

, : X × X

mit folgenden Eigenschaften:

x,y = y,x, αx + αx,y =αx,y + α x,y, x,x 0 x,x = 0 x = 0 X (2.23)

für beliebige x,y,x,x X und α,α . Aus der ersten und zweiten Identität von (2.23) folgt

x,βy + βy = βx,y + β x,y

für beliebige x,y,y X und β,β : Das reelle Skalarprodukt ist linear im ersten und im zweiten Argument. Für X = n und

x = (x1,,xn) n,y = (y 1,,yn) n,

gibt es folgende kanonische Wahl des Skalarproduktes

x,y := x1y1 + + xnyn. (2.24)

Problem 2.6.1. Verifizieren Sie die Eigenschaften (2.23) für (2.24).