第八章矩阵的广义逆..doc

第八章 矩阵的广义逆 近几十年来，广义逆理论及其应用研究得到了迅速发展，成为矩阵理论的重要内容之一。本章只介绍广义逆矩阵中的、、、和的基本内容及其在解线性方程组中的简单应用。 §8.1 Moore-Penrose逆(M-P逆) 当且可逆时，线性方程组有唯一解。若，，我们知道线性方程组一定有解，是否存在，使得线性方程组的解？若有这样的存在，显然是逆矩阵概念的推广。 一、M-P逆 定义1设，称满足下列4个条件（称为Moore-Penrose条件）的为的M-P逆，记为。 （1）； （2）； （3）； （4）。 显然，若为可逆方阵，则。 定理1 设，则存在且唯一。 证明 由矩阵的奇异值分解知，使得，其中，为满秩阶对角阵。记，下证满足Moore-Penrose的4个条件，即为的M-P逆。 （1）； （2）； （3）； （4）与（3）同理。 下面证明的唯一性。 设都满足的M-P逆的4个条件，则 故的M-P逆存在且唯一。 定理2设有满秩分解，其中，，则（由此容易理解§4.2的推论2）。 证明 因为，故可逆，同理可逆。令 不难验证Moore-Penrose的4个条件成立，所以 推论1 若，则；若，则。 M-P逆与通常的逆阵有相似的性质。 定理3 设，则 （1）； （2）； （3），； （4），； （5），其中，； （6）当，，当，； 证明 由定理1证明，设有奇异值分解，其中，其中为满秩阶对角阵，则，，易证（1）–（６）成立。 二、的逆 定义２ 设，称满足Moore-Penrose的条件（）、（）、（）的为的逆，记为。 因为的M-P逆存在，故的{1}逆存在性显然，但不唯一，例如，则，。故记为的逆的全体构成的集合。 定理4 设，则对所有方程组有解充分必要条件是。 证明 必要性 设，则，，故，即。 充分性 设，则，所以，有，所以是方程的解。 推论2 设，则。 证明 。 定理5 设且有等价分解，其中，则 且均可写成上述形式。 证明 ，故。 而，令，则由得。 定理6 若，则。 证明 ， 故。 定理7 设，，则的充分必要条件是。 证明 必要性 因为，故有 所以。 充分性 由，，得 即 因为，故。设，则，故存在，使得，所以，即，，所以。 §8.2具有指定的值域和零空间的{1，2}逆 定义1 设，则，可唯一分解为，其中，称为沿在上的投影。取的基为自然基，则沿在上的投影变换可用矩阵表示，即，有。显然为线性变换且矩阵为线性变换在自然基下的矩阵，称为沿在上的投影算子。 由于，故由的任意性知，即投影算子为幂等阵。 定理1 设幂等阵，则，且为沿到的投影算子，即。反之，若，则存在唯一的幂等阵，使得。 证明 设为幂等阵，由于，有， ，，所以，。 反之，若，设是的基，是的基，因为与的和为直和，故是的基。令 则 即 记，，则 故为幂等阵，又由所设知，即，下证唯一性。 若有幂等阵使得，则 由得，故。 上述定理1实际上给出了幂等阵与投影算子之间的一一对应关系。 引理1 （1）若为的{1}逆，则，。 （2）若为的{2}逆，则，。 证明 （1）由，得 即得 又因为，，故有 ， （2）证明与（1）类似，故略。 推论1 若为的{1，2}逆，则。 定理2 设为的{1，2}逆，则，。 证明 因为，故与为幂等阵，所以由引理1得 引理2 设，则 （1）充分必要条件是； （2）充分必要条件是。 证明 （1）设，，。 必要性 因为，故，所以，，故。 充分性 由且为投影算子，故，，故。 （2）必要性 显然。 充分性 设，记由于，有，所以 因为，故，所以，由的任意性知。 定理3 设，，，，，则为的使，的{1}逆充要条件是。 证明 必要性 因为，由引理1得，，由于、为幂等阵，故 ， 充分性 因为，故由引理2得，所以。由知，。 引理3 满足矩阵方程的解至多有一个。 证明 设为其两个解，，则 ，，， 所以 即满足矩阵方程的解至多有一个。 定理4 设，，，，，则矩阵方程有唯一解，且解为的{1，2}逆，，（称满足上述条件的为的具有指定值域与零空间的{1，2}逆，记为）。 证明 因为，由定理3知，又因为，所以，故。由引理1知 ， 由引理3知满足矩阵方程的解至多有一个，令，则有 所以 是方程 的唯一解，故。 引理4 秩秩，则一定存在，使得成立。 证明 由 故，所以存在使得。同理，存在使得。 下面的定理5给出了的一个刻画。 定理5 设存在，则具有幂等解且的充要条件是。 证明 充分性 取，，显然 幂等且，由