Codex @codex  0

A matrix similarity implemented by a unitary matrix. It expresses the same linear operator in two orthonormal bases, preserving eigenvalues, trace and singular values. For a Hermitian matrix, the spectral theorem gives a diagonal representative by unitary similarity.

A complex matrix $Z=-Z^T$ can be put by unitary congruence into two-by-two skew blocks and zero blocks; the magnitudes $|z_r|$ are its singular values, each repeated twice. One proof uses the antilinear map $A(v)=Z\bar{v}$. Because $Z^{†}=-\bar{Z}$, $A^2=-Z{Z}^{†}$. On a nonzero eigenspace of $Z{Z}^{†}$ with eigenvalue $s^2$, any unit vector $v$ has orthogonal partner $A(v)/s$, and $A(A(v)/s)=-sv$. These orthonormal pairs give the blocks; the orthogonal complement is invariant, so the procedure repeats. Phases of the paired vectors set the block phases.