[行列解析2.3.p5]

2.3.問題5

2.3.P5

与えられた行列族 \( \mathcal{F} = \{A_1, \dots, A_k\} \subset M_n \) に対し、すべてのペア積からなる族を
\( \mathcal{G} = \{A_i A_j : i,j = 1,2,\dots,k\} \) とする。
もし \( \mathcal{G} \) が可換であれば、各交換子 \( A_i A_j - A_j A_i \) のすべての固有値が 0 であることと同値に、
\( \mathcal{F} \) は同時に単位的上三角化可能であることが知られている。

このとき、\( \mathcal{G} \) の可換性の仮定は、\( \mathcal{F} \) の可換性よりも弱い仮定であることを示せ。
また、(2.3.P4) の \( \mathcal{F} \) に対応する \( \mathcal{G} \) が可換であり、零固有値条件も満たすことを示せ。

[行列解析2.3]ユニタリおよび実直交三角化

2.3　ユニタリおよび実直交三角化2.3 ユニタリおよび実直交三角化初等行列論において最も基本的で有用な事実の一つは、I. Schur による定理である。すなわち、任意の正方複素行列 \(A\) は、ユニタリ相似変換によって三角行列に変換で...

am-gm.com

2025.08.23