Zeige, dass das Ding eine Untergruppe der invertierbaren Matrizen ist:
I∈O(β): I ist die Einheitsmatrix
β(Iu,Iv)=β(u,v)
A∈O(β)⇒A−1∈O(β):
β(Au,Au)=β(u,u)=0⟺βnichtausgeartetu=0
Somit ist A invertierbar. Es folgt
β(A−1u,A−1v)=β(AA−1u,AA−1v)=β(u,v)
A,B∈O(β)⇒AB∈O(β):
β(ABu,ABv)=β(Bu,Bv)=β(u,v)
Damit sind alle Untergruppenkriterien erfüllt. Also ist O(β) eine Gruppe.