Posted by haifeng on 2017-04-09 15:12:53 last update 2017-04-09 15:12:53 | Answers (1) | 收藏
证明: $\exp(x)\in\mathrm{Sp}(2n,\mathbb{K})\Leftrightarrow x+Jx^t J^{-1}=0$. 这里 $x\in\mathcal{M}(2n,\mathbb{K})$.