4.エルミート行列、対称行列、合同行列 [行列解析4.4]問題集（ユニタリ合同変換と複素対称行列）
4.4問題集4.4.P1 行列 \(A \in M_n\) とする。(a) \(A\) が対称であることと、ランクが同じ行列 \(S \in M_n\) が存在して \(A = SS^T\) であることは同値であることを示せ。(b) \(A...
4.エルミート行列、対称行列、合同行列 
4.エルミート行列、対称行列、合同行列 [行列解析4.4.27]定理
4.4.27定理 4.4.27. \( A \in M_n \) が対称行列であるとする。このとき、A は対角化可能であるのは、複素直交行列によって対角化可能である場合に限る。証明. もし複素直交行列 \( Q \) が存在して \( Q^...
4.エルミート行列、対称行列、合同行列 [行列解析4.4.26]補題
4.4.26補題 4.4.26. \( X \in M_{n,k} \) で \( k \leq n \) とする。このとき、次が成り立つ。\( X^T X \) が非特異であるのは、\( X = YB \) と表せる場合に限る。ここで \...