2-2广义逆矩阵试题.docVIP

§2 矩阵的广义逆 一、广义逆矩阵的概念 定义1 设任意一个矩阵，若存在矩阵，满足AXAA（1）XAXX（2）AXTAX（3）XATXA（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） 的为矩阵的，记为或A1,4。上面的定义中要满足的两个方程（1）和（2）可以用一个方程（3） 来代替。事实上，由（1）式和（2）式可得 得（4） 两边取转置（5） 比较（4）式（5）式，有 代入（3）式得 即矩阵的极小范数广义逆与有着密切的关系。（6） 证明 由推论 8 知，又因，故定理1说明通常也不唯一，而（6）还给出了计算的一种方法。在上节中，给出了相容线性方程组的通解，现在，欲从这所有解中，求范数极小的解（或称LN解），即求减号逆，使充分性 设GA1，4A1，则线性方程组的任一解可表示成 xGb+I－GAc（c为任意向量）的形式。因此 由于是相容的，从而有解。于是 从而 故有 或 即Gb是的极小范数解。必要性证明请读者自己完成。矩阵的极小范数广义逆通常不，相容线性方程组的极小范数解是否呢？下面的定理回答了这个问题。设G1、G2A1，4，x0是的解，即，则 x1G1bG1Ax0， x2G2bG2Ax0 是的两个极小范数解。由（3）知 G1AATAT，G2AATAT 从而有 G1－G2AATO 两边右乘以G1－G2T，得 即有 G1－G2AO 从而 x1－x2G1－G2Ax00定义 设，称满足 AGAA（1） AGTAG（2） 的为矩阵A的，记为或A1，3。 同A的极小范数广义逆的定义类似，上面定义中的（1）式，（2）式可用ATAGAT（3） 来代替。 不等于零。但这类方程组在许多实际问题中经常出现。对于这类方程组，我们可以求出这样的解，使它的残量范数为