矩阵A可以LU分解的充要条件

矩阵A可以LU分解的充要条件是
∀ k ∈ { 1 , ⋯   , n } , r a n k A 1 : k , 1 : k + k ⩾ r a n k A 1 : k , 1 : n + r a n k A 1 : n , 1 : k \forall k \in \{1,\cdots,n\}, \mathrm{rank} A_{1:k,1:k} + k \geqslant \mathrm{rank} A_{1:k,1:n} + \mathrm{rank} A_{1:n,1:k} ∀k∈{ 1,⋯,n},rankA1:k,1:k​+k⩾rankA1:k,1:n​+rankA1:n,1:k​