对于Ax=b,我们都已经知道如何用消元法去求它的解,假设现有系数矩阵A和常量项b,则方程求解过程为
前面我们已经讨论过b需要满足什么样的条件才能使方程有解?即当b属于A的列空间C(A)时方程是可解的(solvability),除了用列空间的思想,这里还可用另一种方式描述方程的可解性:如果A的某行由于消元变成了0行,即全是0,那么对应b中的值运算后也应该得到0,如果不是0,则这样的b是肯定无法用A的各列线性组合的,即方程无解,比如说上面的例子中,b3-b2-b1必须等于0,否则方程无解,这种描述与列空间相比不太直观,但是这两种描述都是等价的,都是描述了什么样的b才能使方程有解。
对于Ax=b,我们现在已经知道它的解为特解(particular solution)加上零空间中的解(special solution),即Xcomplete=Xparticular + Xnull space,将特解Xparticular简记为Xp,特殊解Xnullspace简记为Xn,由于A*Xp=b,A*Xn=0,将两者相加,自然而然就有A(Xp+Xn)=b。