Um zu zeigen, dass es sich um eine Norm handelt, zeige ich
darüber hinaus, dass es sich um eine Norm handelt, die von einem
Skalarprodukt herkommt.
Das Skalarprodukt wäre⟨x,y⟩=x1y1−1/2x1y2−1/2x2y1+x2y2mit Gram-MatrixG=(1−1/2−1/21)Durch H=ATGA bekommen wir die Gram-Matrix der symm. Bilinearform
nach dem durch A bewirkten Basiswechsel. Es ergibt sich
H=E2. Da diese die Signatur (2,0,0) hat, also positiv definit ist,
ist nach Sylvester auch (v,w)↦vTGw pos. definit und somit
ein Skalarprodukt.