[行列解析7.3.P24]

A \text{ と } B \text{ はユニタリ等価 } \\
\iff \\
\begin{bmatrix} 0 & A \\ A^* & 0 \end{bmatrix} \text{ と } 
\begin{bmatrix} 0 & B \\ B^* & 0 \end{bmatrix} \text{ がユニタリ相似 }