线性的集合的方程组

摘要

＜正＞ 定理1 方程组（?）(Aij∩Xj)=Bi,i=1,2,…,m有解的充要条件为 （?）Aij（?）Bi,i=1,2,…m,与 （?）(Aij∩（?）(A′kj∪Bk))（?）Bi,i=1,2,…,m。 证.“→”: Aij（?）Aij∩X,（?）Aij（?）(Aij∩Xj)=Bi. （?）(Aij∩Xj)=Bi,用Bi的余（补）B′i去作交运算