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 A 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 |