行列

2.ユニタリ相似とユニタリ同値

[行列解析2.5.P68]正規行列の固有ベクトルと零積の同値性

2.5.P682.5.問題68\( A, B \in M_n \) とし、\( B \) が正規であり、かつ \( A \) の零ベクトルがすべて \( B \) の正規固有ベクトルであると仮定する。このとき \( AB = 0 \) であ...
2.ユニタリ相似とユニタリ同値

[行列解析2.5.P67]正規行列における零積の可換性

2.5.P672.5.問題67\( A, B \in M_n \) が正規行列であるとき、\( AB = 0 \) であることと \( BA = 0 \) であることは同値であることを示せ。ヒント正規行列はユニタリ相似により対角化できる。し...
2.ユニタリ相似とユニタリ同値

[行列解析2.5.P66]二乗正規行列のユニタリ標準形

2.5.P662.5.問題66\( A \in M_n \) とする。もし \( A^2 \) が正規であれば、\( A \) を二乗正規行列(squared normal) という。知られている事実として、\( A \) が square...
2.ユニタリ相似とユニタリ同値

[行列解析2.5.P65]正規行列の複合行列も正規である

2.5.P652.5.問題65\( A \in M_n \) が正規行列であり、\( r \in \{1, \ldots, n\} \) とする。このとき、複合行列 \( C_r(A) \) も正規であることを説明せよ。ヒント正規性 \( ...
2.ユニタリ相似とユニタリ同値

[行列解析2.5.P64]正規性差の階数は1にならない

2.5.P642.5.問題64\( A \in M_n \) に対し、次を示せ:\(\mathrm{rank}(AA^* - A^*A) \neq 1\)。ヒント行列 \( AA^* - A^*A \) はエルミート行列であり、そのトレース...