Exercise 2.5.5. Let Jo be as in Exercise '2.5.4 and define ShJ(2n) This is the symplectic...
6
Exercise 2.5.5. Let Jo be as in Exercise '2.5.4 and define ShJ(2n) This is the symplectic linear group. Prove that Sp(2n) is a Lie group. Hint: See [12, Lemma 1.1.12]. Example 2.5.6