2-2 广义逆矩阵程序.docVIP

§2 矩阵的广义逆 一、广义逆矩阵的概念 定义1 设任意一个矩阵，若存在矩阵，满足 AXA=A （1） XAX=X （2） (AX)T=AX （3） (XA)T=XA （4） 这四个方程中的一个、两个、三个或全部，则称为的广义逆矩阵。 由上面的定义可知，广义逆矩阵有中之多。本节介绍应用广泛的减号广义逆和加号广义逆。 对矩阵，一切满足方程组 的矩阵，称为矩阵的或g-逆。记为。 例如，，都是的减号逆。 下面的定理解决了的存在性和构造性问题。 (秩分解) 设为矩阵，，若 ，或 这里,分别为的可逆阵，则 (5) 其中是相应阶数的任意矩阵。 证明 设为的广义逆，则有 若记 则上式， 于是， 其中任意. 证毕. 定理1不但表明矩阵的减号逆总是存在的，通常也是不唯一的，而且还给出了计算减号逆的方法。右逆，则； 若左逆，则。 例 1 设,求 经过初等变换可得 于是 ， 故 其中是任意数。则. 推论 (1)对任意矩阵，总是存在且不唯一. 一般情况：设是奇异方阵，且，是的减号逆，则，，。 (2)唯一为可逆矩阵。此时(正则逆)； (3)。 (4)，是幂等矩阵，且 ， 。 (5)若，则与的选择无关； ()； ()与广义逆的选择无关()； () 若则； ()； () (11) (12)，如，则。 证明 ,(10)可以从定理1和广义逆的定义得到证明。 (5)的证明如下,由 . (6)由，知存在矩阵，使得，于是， =，与的选择无关。 (7)记,利用广义逆的定义,可以验证：于是.第一式得证。同理可证其它两式。 (8)必要性是显然的，下面证充分性。设,因为 所以,,也就是. (1)由 知是的减号逆。 反之，设是的某个减号逆，令,并注意到 有 (2)由 即证是的减号逆； 反之，设是的某个减号逆，令，并注意到 , 有 证毕. 定理1和定理2以后都称为矩阵A的减号逆的一般表达式。 . 证明：由；反之由 ，即证结论. 下面的两个定理圆满地解决了用广义逆矩阵表示相容线性方程组解集的问题。 (1)由相容性假设知，存在，使.故对任一，,即为解。 (2)设是的任一解，即，那么 即任一解都取的形式。反过来，对任意的，因。故必为解(3)任取定一个广义逆，有(1)知为方程组的一个特解.由(2)知为齐次方程组的通解.依非齐次线性方程组的解结构定理知,为的通解.证毕. 证明由两部分组成其一，要证对每一个，为的解，这已在前一定理中证明过了。其二，要证的任意解，必存在一个，使，由定理3知，存在的一个广义逆及，使得 因，故总存在矩阵，使.例如,可取.于是 其中。易验证为一个定理得证（1）两个定理给出了相容线性方程组解（用广义逆表示）的两种形式，一种固定，另一种不固定（2）列满秩. 定理 5 （Penrose定理） 设，则矩阵方程 （6） 有解的充要条件是 （7） 且在有解的情况下，其通解为 （8） 其中是任意矩阵. 证明 必要性 如果矩阵方程(6)有解,设为其任一解,则 充分性 若(7)成立,则是矩阵方程的解,即方程有解. 下面证明(8)是(6)的通解. 显然，(8)给出的满足方程；另一方面，矩阵方程(6)的任意一解都可以通过适当选取矩阵得到，即总可写成，具有(8)的形式. 定理 6 设可乘，则有 定理 7: 设. 定理6和定理7的证明可按矩阵向量化运算进行(Kronecker积). §3 与相容线性方程组的极小范数解 定义1 设，称同时满足 （1） （2） 的为矩阵的，记为或A(1,4)。 上面的定义中要满足的两个方程（1）和（2）可以用一个方程 （3） 来代替。事实上，由（1）式和（2）式可得