线性代数基础5--AX=0与AX=B

1,如何计算零空间
求解AX=0的解
用消元的方法,一个方程减去另一个方程,这里改变的是列空间,而零空间保持不变.

本例中主元的个数为2,这个数字被称为矩阵的秩.主列也就是主元所在的列.其余的列为自由列.
自由列表示可以自由地给该列未知数赋值,可以取任意数字,都可以是方程组地解.这就是通解中的自由变量,我们通常给他0或1两个值.方程组通过自由列赋予的值,求出主列的值,从而构成完整解.
完整的解或者说0空间如下图:

总结:至此我们得到了AX=0的一般解法
首先将A化为U,这一步是因为在消元过程中0空间保持不变
2,得到U我们就可以知道A的秩,主列,自由列分别是什么
3,对自由列表示的变量(自由变量)进行简单赋值,一般取0,1两个值,并由此算出主列未知数的值,从而得到几个特殊解
4,这些未知数的全部线性组合就构成了0空间,也即通解.

然后回看A矩阵,表达的意思,其实是第二列与第四列都是线性相关的向量,去掉对结果也没有影响.

2,如果秩为2,表示主元个数为2,自由列个数为n-2,特解个数也为n-2,其中n为未知数个数.同时秩为2,表示A中只有两个方程在起作用.

U为阶梯矩阵,那么还能否化简?
这里可以化简为行最简矩阵在本书中记为R:主元上下都是0,并且主元都是1


从A到R,我们把方程组化成了最简单的形式.

3,那么把所有特解当作列向量,从而构造出0空间矩阵.记为N
就有RN=0,R乘以N中的每一列都等于0.

如图R与N有这样的关系.这里R可能需要伴随列交换才可以化为这种形式.如下图的结果可以看出,这种方法在组合成结果时,F与I的行数始终是相同的,如果多一个自由变量,那么F多一列,I也对应变为三阶单位矩阵.另外,F中的一列对应的是特解主元的值,也就是-F×X主元,如本例中进行过列交换,所以排列的时候不能简单组合而要对应.至此特解中的主元解决了,那么剩下的自由变量呢?
这里的对应关系是:取哪个自由变量,那么自由变量就是1,其他自由变量就是0,如下例,(2,0)虽然在第三列但是对应的自由变量是X2,所以X2就是1.

总结:所以我们得到了F,如何直接写出特解呢?
F中的一列对应所有主元的值,将-F与主元对应,然后这个F之前取自哪一个自由变量,哪一个自由变量写为1,就可以了.


如上图RX=0可以简写成以上形式.

4,继续进行下一个例子.
A的转置与A的秩相同,是一个定理

在上例,用之前提到的方法,-F拼接I得到的特解是可行的.

5,AX=B
分为无解,有唯一解,和有无穷多解的情况
如果为有解情况,当且仅当b属于A的列空间.
另一种等价的描述形式:如果A中各行的线性组合得到0行,b中元素的同样组合也必然是零.这是什么意思呢?就是说如果A中第一行减去第二行,左边的线性组合得到0,那么右边b2-b1也必须为0,否则就出现了0=1的情况.

那么如何求AX=B的解.
首先当然是化解增广矩阵到U
第二步,将自由变量都设为0,解出主元的值,这样可以得到一个特解.AX=B的特解.
第三步,求出AX=0的所有解,然后将两部分相加就得到了AX=B的所有解.

如果结果求得如下:

它的图象是:这个图形是什么意思?首先特解为一个点,本题中的通解取到一个平面,那么合起来,就是过特解的一个平面.
简单来说,不加特解那么通解构成的平面过原点,是一个子空间.
加了特解,就不过原点了,相当于把原来平面平移.所以不能是子空间.

6,从更广的角度来考虑AX=B
如果A是m×n的矩阵,那么A的秩r有什么关系呢?
那必然有r小于等于m,和r小于等于n
先讨论列满秩情况,即r=n
在这种情况下,就没有了自由变量.零空间就只有0向量了.因为没有自由向量可以赋值,所有的未知数都不能随意取,只能取0.所以AX=B的解就没有了通解,如果解存在,那么只有一个特解.这就是有唯一解情况.

所以,列满秩情况下,如果有解就是唯一解,也可能是无解情况.

这就是一个列满秩矩阵,从这里也可以看出来,AX=0只有0解,因为化简到R之后,得到x1=0,x2=0,同时四个方程解两个未知数,如果B选的不好,很容易无解.

7,行满秩r=m
在这种情况下,不会出现全0行,这样也就没有要求全零行的右边必须也是0,所以AX=B对于任意B都有解,因为只要从最后一行不断回代就可以求出起码一个特解.所以必然有解.
所以自由变量的个数为:n-r=n-m,这绝定了解的个数.

8,最完美的情况r=m=n

这种情况,必然有解,而且是唯一解.由于列满秩,所以有唯一解,因为行满秩,所以必然有解.

9,m>r=n的情况(0或1个解)
这种情况下,可能会出现无解情况.为什么?
从实际意义来讲,就是三个未知数却有四个方程,那么必然有一个方程多余,这一行在消元过程中会变成全0行,如果左边全0,但是右边不是0,就无解了.
这在有的地方称为增广矩阵的秩不等于系数矩阵的秩.

10,n>r=m(无穷解)

11,r<m,r<n(0或无穷解)

从这里可以看出,0行出现就可能出现无解情况.即行不满.
列不满就一定会出现无穷多解,因为AX=0总有自由变量.
所以说矩阵的秩包含了所有信息,可以从中大致判断出解的个数.