求解Ax=b：可解性和解的结构

对于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，特殊解X_nullspace简记为Xn，由于A*Xp=b，A*Xn=0，将两者相加，自然而然就有A(Xp+Xn)=b。