Symplectic Matrix, Determinant, Characteristic Polynomial and Eigenvalues
If ' is a symplectic matrix show that det ' = 1. Also prove that....where P(...) = det(,,,) is the characteristic polynomial of '. Finally, if ... is an eigenvalue with multiplicity k of ' then the same is true for...