行列解析

3.4.1.10系 3.4.1.10. 実数体上の行列 \( A \in M_n(\mathbb{R}) \) が与えられ、それが対角化可能であるとする。\( \mu_1, \ldots, \mu_q \) を \( A \) の実固有値と...

3.4.1.9系 3.4.1.9. 任意の \( A \in M_n \) に対して、\( A\overline{A} \) は \( \overline{A}A \) に相似であり、さらに実行列にも相似である。証明. 定理 3.2.11....

3.4.1.8系 3.4.1.8. \( A = \begin{bmatrix} B & 0 \\ C & 0 \end{bmatrix} \in M_n \) であり、もし \( B \in M_m \) が実行列に相似であるならば、\(...