eigenvalues of an involution
Proof. For the first claim suppose is an eigenvalue![]()
corresponding to an eigenvector
![]()
of . That is, .Then , so . As an eigenvector, is non-zero, and. Now property (1) follows since the determinant
![]()
isthe product of the eigenvalues. For property (2), suppose that, where and are as above.Taking the determinant of bothsides, and using part (1), and the properties of the determinant, yields
Property (2) follows.