>
> Es sei V ein euklidischer Vektorraum.
> Zu jedem [mm]a\in V*[/mm] (also ohne Null) gibt es einen Endom.
> [mm]S[sub]a[/sub]: V \to V[/mm],
> der definiert ist durch
> [mm]S[sub]a[/sub](x):=x- \bruch{}{}*a[/mm] für alle [mm]x\in[/mm]
> V.
> Sei [mm]a\in[/mm] V*:
> Zeigen Sie:
> 1.)[mm]S[sub]a[/sub](x)=-x[/mm], falls [mm]x\in \IR*a[/mm], und
> [mm]S[sub]a[/sub](x)=x[/mm], falls [mm]x\in \IR*a[/mm].
Hallo,
Punkt 1) sagt, daß Vielfache von a auf die 0 abgebildet werden: [mm] S_{a}( \lambda [/mm] a)=0, [mm] \lambda \in \IR.
[/mm]
>
> 2.)[mm] = [/mm] für alle x,y
> [mm]\in[/mm] V.
Es ist <.,.> ein Skalarprodukt auf V, insbes. bilinear und symmetrisch: