多元一次齐次线性方程组

目录

命题        

证明

---

命题        

        本文旨在说明多元一次齐次线性方程组的解空间的维度、系数矩阵秩和未知变元个数之间的关系。(系数矩阵定义在实数域上）

        假设有n个未知变元，系数矩阵的秩为k，方程组解空间的维度为m，则有如下的关系成立：

n=k+m

证明

        设方程组为：

        由于A的秩为k，所以该方程组只有k个有效方程，剩下的n-k个方程都是可以通过其他k个方程线性组合后得到的冗余方程。由于只有k个有效方程，有n个变元，那么经过消元，可知可以消除掉k个变元，假设消除的是x_1,...,x_k，则有：

        相当于有x_{k+1},...,x_{n}这些自由变元，只要这n-k个自由变元确定了，那么x_1,...,_x_k这些变元也被确定。

        显然，(b_{1,1},...,b_{k,1},1,0,...,0),...,(b_{1,n-k},...,b_{k,n-k},0,...,0,1)这些是方程组的解，且线性无关，并且该方程组任意解，都可以由这n-k个解线性组合得到。因此，解空间的维度m=n-k。