性质 6.1. 加法封闭 若 ξ1,ξ2 是齐次线性方程组 (6.4) 的两个解,则 ξ1+ξ2 也是它的解. \begin{proof} 由 Aξ1=0,Aξ2=0 ,可得 A(ξ1+ξ2)=Aξ1+Aξ2=0+0=0 . \end{proof}