2.7 LU分解可能なための条件

この項では「正則行列が LU 分解可能であるためには、 その行列のすべての主座小行列式が 0 にならないことが必要十分であり、 そのとき Gauss の消去法の前進消去過程によって LU 分解が得られる」 という定理を証明するのが目標である。