学习来源:《矩阵分析与应用》张贤达 清华大学出版社
一致性方程
对于 阶的一般矩阵
,其秩
可能小于
。那么是否存在某种合适意义下的逆矩阵,使得线性方程组
的解可以用这种逆矩阵表示?
考虑两个方程
显然,两个方程不可能同时为真。也就是说,两个方程相矛盾或非一致。这样的方程称为非一致方程。由此可知,若一个线性方程组中一些方程为真,另一些方程不为真,称这一方程组为非一致方程。因此,为了保证线性方程组有解,要求方程组必须是一致方程。
1. 定义
若矩阵 的行之间存在的闲心关系也存在于向量
的对应元素中时,线性方程
称为一致方程。
2. 定理
1)一线性方程组可以求解,当且仅当这些方程为一致方程。
2)线性方程 是一致的,当且仅当增广矩阵
的秩等于矩阵
的秩。
3. 线性方程的解
令 是一个
矩阵,具有任意秩。矩阵
的广义逆矩阵是一个
矩阵
,并使得当
为一致性方程时,
是线性方程
的解。
4. 矩阵
的广义逆矩阵和一致方程
的关系
1)一致方程 对
有解
,当且仅当
。
2)方程 的解与矩阵
的任意行正交,且线性无关。
5. 一致方程的最小范数解
假定线性方程为
这显然是一个一致方程。如图 1 所示,
图 1
直线 上所有的点
都是方程
的解即通解。若希望确定唯一的解,就必须增加某个约束条件,求满足该条件的唯一解。作为约束条件,这里要求得到的解
的范数为最小。这样得出的唯一解称为最小范数解。由于
的范数最小等同于向量
的端点到原点的距离最小,故最小范数解也称为最短距离解。在图 1 中,最小范数解为
。
6. 一般情况下线性方程
的解
令 矩阵
是
矩阵
的任意一个广义逆矩阵,则
1)齐次方程 的一个通解为
,其中,
是
任意向量。
2)非齐次方程 为一致方程的充分必要条件为
3)非齐次方程 的一个通解为
其中, 是
任意向量。
7. 伴随矩阵
对于矩阵 和向量
,
,
是
阶向量空间的内积,记作
。矩阵
的伴随矩阵用符号
表示,定义为将
阶向量空间的内积等价变换为
阶向量空间的内积的一个映射,即
特别的,若 ,则称
为自伴随矩阵。自伴随矩阵一定是正方矩阵。这里的伴随矩阵与平时常用的伴随矩阵定义不同。
8. 伴随矩阵的性质
1)
2)
3)
4) (若
为实矩阵)或
(若
为复矩阵)
9. 最小范数解
是一致方程
的最小范数解,当且仅当
当矩阵 具有满行秩时,线性方程
的最小范数解为
10. 非一致方程的最小二乘解
对非一致方程 求解,由于是非一致方程,不存在严格满足方程的解,因此只能的得到近似解。一个使得方程两边的误差平方和最小的解称为非一致方程的最小二乘解。即
其中,inf 表示函数的下确界。
令 是某个矩阵,则
是非一致方程
的最小二乘解,当且仅当
或等价为