16 广义逆阵与线性方程组求解及最小二乘法.docVIP

PAGE  PAGE 144 第十六讲 CH6.4 广义逆矩阵与线性方程组求解 考虑非齐线性方程组 (6.4.1) 其中给定.为待定向量, 如果存在向量使(6.4.1)成立,则称方程组相容,否则称不相容或矛盾方程组. 问题: ⑴方程组(6.4.1)相容的条件是什么? 相容时求出其通解(如果解不唯一的话); ⑵如果方程组(6.4.1)相容,其解可能有无穷个,求出具有极小范数的解,即 (6.4.2) 其中是欧氏范数.可以证明,满足该条件的解是唯一的,称为极小范数解. ⑶如果如果方程组(6.4.1)不相容, 则不存在通常意义下的解,但许多实际问题,需要求出极值问题 (6.4.3) 其中是欧氏范数.称该极值问题为求矛盾方程组的最小二乘问题,相应的解称为最小二乘解. ⑷一般地,矛盾方程组的最小二乘解是不唯一的.但其中具有极小范数的解 (6.4.4) 是唯一的,称为极小范数最小二乘解. 广义逆矩阵与线性方程组的求解有密切关系.利用广义逆矩阵可以给出上述诸问题的解. 反之, 由线性方程组的解又可以确定广义逆矩阵. 线性方程组的相容性、通解与广义{1}-逆 定理6.26 设,则矩阵方程 (6.4.5) 相容的充要条件是 (6.4.6) 其中. 当方程(6.4.5)相容时,其通解为 (6.4.7) 其中. 证: 充分性: 若条件(6.4.6)成立,显然是(6.4.5)的解. 必要性: 若是(6.4.5)的任意解, 则有 . 当方程(6.4.5)相容时, 容易验证(6.4.7)是它的解. 另外,若是方程(6.4.5)的任意解,则 这为(6.4.7)的形式,因而是方程(6.4.5)的通解. 推论 设,则 (6.4.8) 定理6.27 线性方程组(6.4.1)相容的充要条件是 (6.4.9) 且其通解为 (6.4.10) 注: ⑴由线性代数理论,方程组(6.4.1)的通解为 其中,是特解.此处,是(6.4.1)的特解,而是 ⑵由(6.4.9)可推得方程(6.4.1)相容的充要条件是. 例6.9 设 , 求解线性方程组. 解: 由例6.4,取有的一个{1}-逆 容易验证,所以方程组相容,其通解为 其中,任意. 因此, 由{1}-逆可构造相容方程组的解,反之由相容方程组的解也可给出{1}-逆. 定理6.28 设.若对于使方程(6.4.1)相容的所有,都有解,则. 证：记为A的第j列，则方程组 相容.由于是方程组的解,即 从而 证毕 二. 相容线性方程组的极小范数解与广义{1,4}-逆 引理6 相容方程组(6.4.1)的极小范数解唯一,且这个唯一解在 中. 证: 设的极小范数解. 存在性:先证.反设, 则由 知 于是 而 这与是的极小范数解矛盾. 唯一性:若有,则 即 ; 又,则 因此,即. 引理7 集合A{1,4}由矩阵方程 （6.4.11） 的所有解X组成,其中. 证：若X满足方程（6.4.11）,则 ,等式1)成立; ,等式4)成立. 所以, . 反之, 若,则有 定理6.29 设,则 （6.4.12） 证 方程（6.4.11）的通解为 令即得. 定理6.30 设方程组（6.4.1）相容,则 是极小范数解,其中.反之,设,若对所有 是方程组（6.4.1）的极小范数解,则. 证: 若相容,则.由(6.4.10)知,对任意, 都是解,由推得,存在使得,所以 ,由引理6, 是方程（6.4.1）的唯一极小范数解.所有 反之,若对都是方程组（6.4.1）的极小范数解,则有 依次取为的各列,得 由引理7, . 三. 矛盾方程组的最小二乘解与广义{1,3}-逆 引理8 设,集合A{1,3}由矩阵方程 （6.4.13） 的所有解X组成,其中. 证:类似引理7证明. 定理6.31设,则 （6.4.14）