We denote by $\operatorname { OSp } _ { n } ( \mathbb { R } ) = \operatorname { Sp } _ { n } ( \mathbb { R } ) \cap \mathrm { O } _ { n } ( \mathbb { R } )$ the set of real symplectic and orthogonal matrices in $\mathcal { M } _ { n } ( \mathbb { R } )$. We equip $\mathcal { M } _ { n } ( \mathbb { R } )$ with its topology as a normed vector space of finite dimension. Show that $\operatorname { OSp } _ { n } ( \mathbb { R } )$ is a compact subgroup of the symplectic group $\operatorname { Sp } _ { n } ( \mathbb { R } )$.
We denote by $\operatorname { OSp } _ { n } ( \mathbb { R } ) = \operatorname { Sp } _ { n } ( \mathbb { R } ) \cap \mathrm { O } _ { n } ( \mathbb { R } )$ the set of real symplectic and orthogonal matrices in $\mathcal { M } _ { n } ( \mathbb { R } )$. We equip $\mathcal { M } _ { n } ( \mathbb { R } )$ with its topology as a normed vector space of finite dimension. Show that $\operatorname { OSp } _ { n } ( \mathbb { R } )$ is a compact subgroup of the symplectic group $\operatorname { Sp } _ { n } ( \mathbb { R } )$.