Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I want to prove that any symmetric positive definite symplectic matrix, $A$, and any real number $\alpha >0$, also $A^{\alpha} \in \operatorname{Sp}(2n)$.

I was given a hint to decompose $\mathbb{R}^{2n}$ into direct sum of $V_{\lambda}$ the eigenspaces, where $\lambda \in \sigma(A)$, and then use the characterization of the eigenvalues of $A$.

I must say, that I feel totally clueless here. :-(

share|cite|improve this question

Let $v$ be some eigenvector of $A$ with eigenvalue $\lambda$. By assumption $\lambda$ is real and positive. Suppose that $w$ is some other eigenvector with eigenvalue $\mu$. Then $$ \omega(v, w) = \omega(Av, Aw) = \omega(\lambda v, \mu w) = \lambda \mu \omega(v, w). $$

Hence, for all such pairs $(v,w)$, either $\omega(v,w) = 0$ or $\lambda\mu = 1$. Hence the eigenvalues come in pairs $(\lambda, \lambda^{-1})$ and we can find a symplectic basis $\{x_1, p_1, \cdots, x_n, p_n)$ so that $$ A x_i = \lambda_i x_i , $$ $$ A p_i = \lambda_i^{-1} p_i. $$ Then $A^\alpha$ acts as $$ A^\alpha x_i = \lambda_i^\alpha x_i , $$ $$ A^\alpha p_i = \lambda_i^{-\alpha} p_i, $$ and since this basis is symplectic it is obvious that $A^\alpha$ is symplectic.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.