4.エルミート行列、対称行列、合同行列

4.6.8系 4.6.8. \(A \in M_n\) が与えられ、行列 \(A \overline{A}\) が \(k\) 個の異なる非負の固有値をもつとする。(a) 行列 \(A\) は少なくとも \(k\) 個の一次独立な共役-固有...

4.6.7命題 4.6.7. \(A \in M_n\) を与える。\(x_1, x_2, \ldots, x_k\) を \(A\) の円固有ベクトルとし、それぞれに対応する円固有値を \(\lambda_1, \lambda_2, \l...

4.6.6命題 4.6.6. \(A \in M_n\)、\(\lambda \geq 0\) を与える。ここで \(\sigma = \sqrt{\lambda} \geq 0\) とし、非零ベクトル \(x\) が存在して \(A \b...