4.エルミート行列、対称行列、合同行列 [行列解析4.5.17]定理
4.5.17定理定理 4.5.17. \(A, B \in M_n\) とする。(a) \(A\) と \(B\) がエルミートであり、かつ \(A\) が非特異であるとする。このとき \(C = A^{-1}B\) とおく。ある非特異行列...
4.エルミート行列、対称行列、合同行列 4.エルミート行列、対称行列、合同行列 [行列解析4.5.16]定義（共対角化可能）
定義 4.5.16.行列 \( A \in M_n \) が共対角化可能 (condiagonalizable) であるとは、ある正則行列 \( S \in M_n \) と対角行列 \( \Theta \in M_n \) が存在して、A...
4.エルミート行列、対称行列、合同行列 [行列解析4.5.15]定理
4.5.15定理定理 4.5.15. \( A, B \in M_n \) とする。(a) \( A, B \) がエルミート行列であると仮定する。このとき、ユニタリ行列 \( U \in M_n \) と実対角行列 \( \Theta, ...