胡建华矩阵论第章广义逆矩阵简化讲稿.docVIP

胡建华-矩阵论-第章(广义逆矩阵）简化讲稿 ———————————————————————————————— 作者: ———————————————————————————————— 日期： ? 第七章　 广义逆矩阵简化讲稿 问题的提出： 问题1：由线性代数知,如果是可逆矩阵,则线性方程组有唯一解。是用由唯一确定的矩阵来写的解的表达式。对于一般的相容方程(即有解的方程）,其解可能唯一,也可能有无穷多解。如果和是具体给出的,我们会求其通解。如果和不具体给出,能不能用由唯一确定的矩阵来写出解的表达式? 问题2:如果是矛盾方程组(即无解的方程组），当然谈其精确解是没有意义的，但可以求其“最佳近似解”。“最佳近似”的标准通常取为 我们称上面极小化问题为线性方程的最小二乘问题,最小二乘问题的解称为最小二乘解。这就产生如下问题:最小二乘解是否存在，是否唯一,当和不具体给出时,如何写出其解的表达式。 本章我们将用广义逆矩阵来写出最小二乘解的通式。值得注意的是，当有解时,最小二乘问题也是有意义的,此时。显然的解与其最小二乘解是一样的。所以只需讨论最小二乘解。 定义１ 设如果存在同时满足下列四个Ｐenｒose方程 MACRＯBUTＴＯN MTＥditEqｕａｔiｏｎSectiｏｎ2 SEQ MTEqn \r \h \* MERGEFORMＡＴ SEQ ＭTSec \r 1 ＼h \* MＥＲＧEFＯRＭＡT SEQ MTＣhａp　\r　1 ＼h ＼*　MEＲGEFORMAＴ 则称为的Mｏｏｒｅ–Pｅnｒｏｓe广义逆矩阵（以后简称的广义逆)，记为。 ?显然,当可逆时,满足上面四个方程，因此，广义逆是逆矩阵的推广。 定理1设，则的广义逆存在且唯一。 证设,若即是阶零矩阵，可以验证阶零矩阵满足四个Penｒose方程。若由满秩分解定理知，存在,使得 　　 　 　　 　 　 　 　　MＡＣROBUTTON MTPlacｅReｆ ＼* ＭERGEＦＯRMAT 　ＳEＱ ＭTEqn \h 　(　SEQ MTSec \c \＊　Aｒaｂiｃ　\*　MERGEＦORMＡT 1. SＥQ MTEqｎ ＼c ＼* Arabiｃ ＼* MERGＥＦORMAT １) 令 　 　　 　　 　 　 MAＣROBUTTON MTPｌaceRef　＼＊　ＭERGEFＯRMAT SＥＱ MTEqｎ　\h \*　MＥＲGEFORMAＴ ( SEQ　MTSec \c \＊　Ａrａbｉｃ \* ＭEＲGEFＯRMＡT １. SＥQ MＴＥqn ＼c　＼* Ａｒabiｃ \＊ MＥＲGEFORMＡT 2) 可以直接验证满足四个Penrｏse方程，故的广义逆存在。 再证明唯一性。设和都满足四个Ｐｅnroｓe方程,则 从而，的广义逆是唯一的。 推论 　若矩阵是列满秩的,则有满秩分解，因此 　 　 　　 　 　 　 　　 　　 MAＣＲOＢＵTTOＮ MTPlacｅReｆ　\* MERGEFORMＡＴ SＥQ ＭTEqn　\ｈ ＼* MERGＥFORＭAT ( ＳＥＱ MＴSｅｃ \c \* Araｂｉc ＼＊　MＥRGＥFOＲMAT 1. SEQ MＴEqｎ　\c　\＊ Arａbic \＊ MEＲＧEFOＲMAＴ 3) 若矩阵是行满秩的，则有满秩分解，因此 　 　 　 　 　 　 　 　　 MAＣROBＵTTON MTＰlaceRef　\* ＭERGEFOＲMAＴ　 SＥQ MＴＥｑn \h　\＊ MERGEＦＯＲMAＴ ( SEＱ MＴSeｃ \c \＊ Aｒａｂic \* MERGEFORMＡT 1. SEQ MＴEｑn \c ＼* Ａｒabｉc \＊ ＭＥRGＥFＯRMAT ４) 若矩阵有满秩分解 GOTOBＵTTＯＮ　ZEqnNum209７91 \＊ MＥRGEFＯRMAT REF ZEqnNum2０9791 \!　\＊ MERGEFOＲMAＴ (1.1),则由 GOTＯBUTTON ZＥqnＮuｍ400１52 　\＊ MERGEFORMAT 　REF ZＥqnNum４00152　＼! \* MERGEFＯRMＡT （1.3)和　GＯTOＢUTＴON ZEqnNum９47819 \＊ MERGEFORMAT 　REF ZEqｎNum９４781９ \!　\* MERＧＥＦＯＲMAT (１.4）又得 　 　 　 　　 　　　　MACROＢUTTON　MTPlａceＲef \* MＥRＧＥＦORＭAＴ SＥQ ＭTＥqn \h \* MＥRGＥFＯRＭAT　( SEQ MTSｅc \c \