0. Alle Elemente von \(G\) liegen in \(GL(2,R)\);
denn \(\det(A^T)\det(J)\det(A)=\det(J)\neq 0\)
Wir müssen also nur Untergruppeneigenschaften prüfen.
1. \(E_2\), die 2x2-Einheitsmatrix liegt in \(G\), d.h.
\(G\) enthält das neutrale Element.
2. Abgeschlossenheit: Seien \(A,B\in G\). Dann gilt:
\((AB)^TJ(AB)=(B^TA^T)J(AB)=B^T(A^TJA)B=B^TJB=J\),
also \(AB\in G\)
3. Sei \(A\in G\). Versuche nun du zu zeigen, dass \(A^{-1}\in G\) ist.
Verwende dazu den angegebenen Tipp.