为什么齐次线性方程组基础解系是齐次线性方程组的解集的最大无关组?对基础解系不太理解,

Question

为什么齐次线性方程组基础解系是齐次线性方程组的解集的最大无关组?
对基础解系不太理解,

Answer 1

所谓齐次线性方程组Ax=0的基础解系η1,...,ηs,要满足:
1.η1,...,ηs 是Ax=0 的解
2.η1,...,ηs 线性无关
3.Ax=0 的任一解都可由 η1,...,ηs 线性表示.
把齐次线性方程组的解集记为T,自然就有 η1,...,ηs 属于 T.
并且有
1.η1,...,ηs 线性无关
2.T中任一向量都可由η1,...,ηs线性表示
所以 η1,...,ηs 是 向量组 T 的一个最大无关组.
也即 η1,...,ηs 是齐次线性方程组的解集的一个最大无关组.