[行列解析2.5.P58]

2.5.問題58

2.5.P58

\( A \in M_n \) が正規行列であるとする。

このとき \( A\overline{A} = 0 \) が成り立つことと、\( AA^T = A^TA = 0 \) が成り立つことは同値である。

(a) (2.5.17) を用いてこれを示せ。

(b) 次の別証の詳細を与えよ：

\( A\overline{A} = 0 \ \Rightarrow \ 0 = A^* A \overline{A} = A A^* \overline{A} \ \Rightarrow \ A \overline{A^T} A = 0 \ \Rightarrow (A^T A)^*(A^T A) = 0 \ \Rightarrow A^T A = 0 \ (0.2.5.1)\)。

[行列解析2.5]

2.5ユニタリ相似（unitary similarity）の文脈で自然に現れる正規行列のクラスは、行列解析において広く重要な役割を果たします。正規行列には、ユニタリ行列、エルミート行列、反エルミート行列、実直交行列、実対称行列、および実反対...

am-gm.com

2025.08.27