4.エルミート行列、対称行列、合同行列 [行列解析4.5.16]定義（共対角化可能）
定義 4.5.16.行列 \( A \in M_n \) が共対角化可能 (condiagonalizable) であるとは、ある正則行列 \( S \in M_n \) と対角行列 \( \Theta \in M_n \) が存在して、A...
行列
4.エルミート行列、対称行列、合同行列 4.エルミート行列、対称行列、合同行列 [行列解析4.5.15]定理
4.5.15定理定理 4.5.15. \( A, B \in M_n \) とする。(a) \( A, B \) がエルミート行列であると仮定する。このとき、ユニタリ行列 \( U \in M_n \) と実対角行列 \( \Theta, ...
4.エルミート行列、対称行列、合同行列 [行列解析4.5.13]定理
4.5.13定理 4.5.13. 対称行列 \( A \in M_n \) と任意の \( S \in M_n \) に対して、次を仮定する：\( A = U \Theta U^T \)、および \( SAS^T = VMV^T \) はそ...