[行列解析4.4.14]定義（共役正規（conjugate normal））

4.4.14

定義 4.4.14.

\( A \in M_n \) が次を満たすとき、行列 \( A \) を共役正規（conjugate normal）であるという：

AA^{*} = \overline{A^{*}A}

練習問題.

複素対称行列、複素交代対称行列、ユニタリ行列、実正規行列が共役正規であることを確認せよ。

次の補題は (2.5.2) の類似であり、共役正規行列の研究において重要な役割を果たす。