[行列解析1.2.16]定理

1.2.16.定理

定理 1.2.16. \(A \in M_n\) とすると、各 \(k = 1, \ldots, n\) に対して \(S_k(A) = E_k(A)\) が成り立ちます。

S_k(A) = E_k(A), \quad k = 1, 2, \ldots, n

次の定理は、特異な複素行列は、常にごくわずかにシフトすることで非特異行列にできることを示しています。

この重要な事実は、多くの場合、非特異行列の性質から特異行列に関する結果を導くために、連続性の議論を用いることを可能にします。

注：当サイトはCAMBBRIDGE公式サイトとは無関係です。「Matrix Analysis：Second Edition Roger A. Horn　University of Utah Charles R. Johnson」