3.5.4
系 3.5.4.
\( A \in M_n \) で \(\mathrm{rank}(A) = k\) とする。
もし \( A[\{1, \ldots, j\}] \) がすべての \( j = 1, \ldots, k \) に対して正則であるならば、\( A \) はLU分解を持つ。
さらに、一方の因子を単位三角行列として選ぶことができる。\( L \) と \( U \) がともに正則となるのは、\( k = n \)、すなわち \( A \) およびそのすべての順序主小行列が正則である場合に限る。
コメント