[行列解析2.5.P13]

2.5.問題13

2.5.P13

(2.5.P12) を用いて、\(A \in M_{n}\) が正規であることと、あるユニタリ行列 \(V \in M_{n}\) が存在して \(A^{*} = AV\) となることは同値であることを示せ。

この事実から、\(A\) が正規なら \(\mathrm{range}(A) = \mathrm{range}(A^{*})\) であることを導け。

[行列解析2.5]

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

am-gm.com

2025.08.27