具有非零元素链的对角占优矩阵为非奇异的定理的一个简短证明

设 A=(a_(ij))是 n 阶对角占优矩阵,即若记 N={1,2,…,n},则对任意 i∈N 都有|a_n|≥sum from j=1 j≠i to n |a_(ij)|.本文所涉及的矩阵总假定是对角占优的。记 J(A)={i∈N||a_(ii)|>sum from j=1 j≠i to n |a_(ij)|}.当 J(A)=N 时,A 为严格对角占优矩阵,当 J(A)≠Φ,且 A 不可约时,A 是不可约对角占优矩阵,这两种矩阵都是非奇异的。当 J(A)≠Φ,A 为可约矩阵时,一九七四年 P.N.shivakumar 和 kim Ho Chew 给出了它为非奇异的一个充分条件:定理.设 A 为可约矩阵,J(A)≠Φ,若对每个 (?)J(A),都存在由 A 中非零元素构成的序列(也叫非零元素链):a_(ii_1),a_(i_1i_2),…,a_(i_(s-1))i_s,i_s∈J(A),那末 A 是非奇异的.P.N Shivakumar 和 kim Ho Chew 在证明此定理时,引用了 M—矩阵的性质,篇幅