The displayed parts of a unitary matrix are skew-Hermitian matrices. Expanding gives and . They admit a common orthonormal eigenbasis. For a unitary eigenvalue , the corresponding part eigenvalues are and . If , then , so these are exactly its real and imaginary parts and both are real skew-symmetric matrices. Such an invertible antisymmetric matrix has even dimension, by its determinant. If one part has distinct eigenvalues, commutation alone shows its one-dimensional eigenspaces are preserved by the other part.
Articles by others on the same topic
There are currently no matching articles.