characteristic polynomial of a symplectic matrix is a reciprocal polynomial
Theorem 1.
The characteristic polynomial of a symplectic matrix is a reciprocal polynomial.
Proof.
Let be the symplectic matrix, and let be its characteristic polynomial. We wish to prove that
By definition, where is the matrix
Since and are symplectic matrices, their determinants are , and
as claimed. ∎
Title | characteristic polynomial of a symplectic matrix is a reciprocal polynomial |
---|---|
Canonical name | CharacteristicPolynomialOfASymplecticMatrixIsAReciprocalPolynomial |
Date of creation | 2013-03-22 15:33:18 |
Last modified on | 2013-03-22 15:33:18 |
Owner | matte (1858) |
Last modified by | matte (1858) |
Numerical id | 7 |
Author | matte (1858) |
Entry type | Theorem |
Classification | msc 53D05 |
Related topic | ReciprocalPolynomial |
Related topic | CharacteristicPolynomialOfAOrthogonalMatrixIsAReciprocalPolynomial |