grandes-ecoles 2022 Q23

grandes-ecoles · France · centrale-maths1__official Matrices Determinant and Rank Computation
Given that $\operatorname { OSp } _ { n } ( \mathbb { R } ) \subset \mathcal { C } _ { J }$ and that for every matrix $M \in \mathcal { C } _ { J }$, $\det(M) \geq 0$, deduce that, for every matrix $M$ in $\operatorname { OSp } _ { n } ( \mathbb { R } ) , \operatorname { det } ( M ) = 1$.
Given that $\operatorname { OSp } _ { n } ( \mathbb { R } ) \subset \mathcal { C } _ { J }$ and that for every matrix $M \in \mathcal { C } _ { J }$, $\det(M) \geq 0$, deduce that, for every matrix $M$ in $\operatorname { OSp } _ { n } ( \mathbb { R } ) , \operatorname { det } ( M ) = 1$.