行列解析

3.2.53.2.5 収束行列とべき有界行列。\( A \in M_n \) が収束行列（convergent）であるとは、各成分が \( m \to \infty \) のとき \( A^m \) が 0 に収束することをいう。また、\(...

3.2.4.4系 3.2.4.4. \( A, B, S \in M_n \) が与えられ、\( A \) が非退化（nonderogatory）であるとする。もし \( AB = BA^T \) ならば、\( B \) は対称行列である。...

3.2.4.2定理 3.2.4.2. \( A \in M_n \) が非退化であるとする。もし \( B \in M_n \) が \( A \) と可換であるならば、次数が高々 \( n-1 \) の多項式 \( p(t) \) が存在...