Zeige, dass das Ding eine Untergruppe der invertierbaren Matrizen ist:
\(I \in O(\beta)\): \(I\) ist die Einheitsmatrix
\(\beta(Iu,Iv) =\beta(u,v)\)
\(A \in O(\beta) \Rightarrow A^{-1} \in O(\beta)\):
\(\beta(Au,Au) = \beta(u,u) = 0 \stackrel{\beta\: nicht ausgeartet}{\Longleftrightarrow} u = 0 \)
Somit ist \(A\) invertierbar. Es folgt
\(\beta(A^{-1}u,A^{-1}v) = \beta(AA^{-1}u,AA^{-1}v) =\beta(u,v) \)
\(A,B \in O(\beta) \Rightarrow AB \in O(\beta)\):
\(\beta(ABu,ABv) = \beta(Bu,Bv) =\beta(u,v) \)
Damit sind alle Untergruppenkriterien erfüllt. Also ist \(O(\beta)\) eine Gruppe.