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

3.2.9.4観察 3.2.9.4. \( B \in M_n \) が与えられ、非ゼロの非対角成分が \( p \) 個あるとする。また、そのジョルダン標準形 \( J_B \) が \( r \) 個のジョルダンブロックを含むとする。こ...

3.2.9.3観察 3.2.9.3. 任意の \( B \in M_n \) は、置換相似（permutation similarity）の下で既約な（これ以上分解できない）行列の直和に置換相似である。証明. 有限集合 \( S = \{ ...

3.2.9.2観察 3.2.9.2. \( B = \in M_m \) が \( m - 1 \) 未満の非零の非対角成分を持つとする。このとき、置換行列 \( P \) が存在して、P^T B P = B_1 \oplus B_2となり...