3.標準形と三角因子分解

3.2.43.2.4 可換性と非退化行列（nonderogatory matrices）。任意の多項式 \( p(t) \) と任意の \( A \in M_n \) に対して、\( p(A) \) は常に \( A \) と可換です。では...

3.2.3.2定理 3.2.3.2. 任意の正方複素行列は2つの複素対称行列の積として表すことができ、どちらか一方の因子を正則に選ぶことができます。任意の体 \( F \) に対して、\( M_n(F) \) の各行列は、\( M_n(F)...

3.2.3.1定理 3.2.3.1. \( A \in M_n \) とする。このとき、ある正則な複素対称行列 \( S \) が存在して、次が成り立つ：A^T = S A S^{-1}もし \( A \) が nonderogatory（...