行列

4.6.13定理 4.6.13. 任意の行列 A, B ∈ M_p および C ∈ M_q に対して、A ⊕ C が B ⊕ C と共役相似であるのは、A が B と共役相似である場合に限る。A ¯A のジョルダン標準形には特別な形がある：...

4.6.12定理 4.6.12. 任意の複素正方行列は、共役相似によって、以下の3種類の行列の直和に変形可能であり、直和の各成分の順序を除いて一意的である。Type 0: \(J_k(0)\), \(k = 1,2,\dots\)Type ...

4.6.10定理 4.6.11. \(A \in M_n\) が与えられたとする。このとき、\(A\) が円対角化可能であるための必要十分条件は、(1) \(A \overline{A}\) が相似変換により対角化可能であり、(2) \(A...