设ζ1,ζ1,…,ζt是齐次线性方程组Ax--0的基础解系,证明:与ζ1,ζ2,…,ζt等价的任意一个线性无关向量组η1,η2,…,ηm一定也是Ax=0的基础解系.
[证明] 因为,η1,η2,…,ηm都是ζ1,ζ2…,ζt的线性组合 所以,η1,η2,…,ηm都是Ax=0的解. 因为,等价的向量必同秩而η1,η2,…,ηm线性无关 所以,m=t 所以,η1,η2,…,ηt一定也是Ax=0的基础解系.
设ζ1,ζ1,…,ζt是齐次线性方程组Ax--0的基础解系,证明:与ζ1,ζ2,…,ζt等价的任意一个线性无关向量组η1,η2,…,ηm一定也是Ax=0的基础解系.
[证明] 因为,η1,η2,…,ηm都是ζ1,ζ2…,ζt的线性组合 所以,η1,η2,…,ηm都是Ax=0的解. 因为,等价的向量必同秩而η1,η2,…,ηm线性无关 所以,m=t 所以,η1,η2,…,ηt一定也是Ax=0的基础解系.