矩阵与算子广义逆-第一章—表示线性方程组解的广义逆

最新推荐文章于 2024-07-23 11:46:27 发布

幸运的lucky

最新推荐文章于 2024-07-23 11:46:27 发布

阅读量167

点赞数 1

分类专栏：矩阵与算子广义逆文章标签：矩阵

本文链接：https://blog.csdn.net/weixin_45727906/article/details/130922487

版权

矩阵与算子广义逆专栏收录该内容

1 篇文章 1 订阅

订阅专栏

第一次在网上写博客，以前我学习数学或者计算机，都是将知识一笔一笔的写在笔记本子上，看到大家都把学习的心得写在博客上面。我也学着写写，顺便可以分享自己的学习心得，供大家一起勉励。

两年前跟着一个教授学习过王国荣老师的《矩阵与算子广义逆》。后来因各种原因，没有继续研究下去。现在打算重新开始学习，而且计划将来就研究广义逆这个方向了。我读研究生期间是学习有限群论的，当时研究的也很深了。现在换到广义逆，希望忘记能像当年学习有限群论一样，把广义逆学习好。我后面也计划写一个有限群的文章，很是怀念当年学习的有限群知识。好了，废话不多说，开始第一章的学习了。

我计划按照总结知识，然后把课后习题做出来的方略进行，因为我当年学好有限群，就是做了大量的题目。所以我建议大家要想学好这些理论的数学知识，一定不要光是对着书本看，要多做一些题目，最好一道一道的做出来，可以查阅资料。

设 $C^{n}$ 为复维向量空间， $C^{m\times n}$ 为复 $m\times n$ 阶矩阵的全体， $C_{r}^{m\times n}=\left \{ {{X\in C^{m\times n},}}rank X = r \right \}$ , $R(A)=\left \{ y\in C^m;y=Ax,x\in C^n \right \}$ 为的值域。

1.1 的定义和基本性质

定义1.1 设 $A \in C^{m \times n}$ ,则满足Penrose条件：

（1） AXA=A （2） $XAX=X$

(3) $(AX)^*=AX$ (4) $(XA)^*=XA$

的矩阵 $X \in C^{m \times n}$ 称为的 $M-P$ 逆，记作 $X=A^+$ .

A^* 是的共轭转置。

定理1.1 满足Penrose条件(1)-(4)的广义逆 $X$ 是存在而且唯一的。

定理1.2 设 $A \in C^{m \times n}$ 则：

（1） ${(A^+)}^+=A$ ;

（2） ${(\lambda A)}^+=\lambda ^+A^+, \lambda \in C,\lambda ^+=\begin{Bmatrix} 1/\lambda,\lambda\neq 0\\0,\lambda=0 \end{Bmatrix}$

(3) ${(A^*)^+}={(A^+)}^*$

(4) ${(AA^*)^+}={(A^*)^+}A^+;{(A^*A)^+}=A^+{(A^*)^+}$

(5) $A^+={(A^*A)^+}A^*=A^*{(AA^*)^+}$

(6) A^*=A^*AA^+=A^+AA^*

(7) rankA=n 时， A^+A=I_n,rankA=m 时， AA^+=I_m

(8) ${(UAV)^+}=V^*A^+U^*$ ,这里和为酉阵。

1.2 矩阵的值域和零空间

定义1.2 设 $A \in C^{m \times n}$ ，定义的值域 R(A) 和零空间 N(A) 为：

$R(A)=\left \{ y\in C^m;y=Ax,x\in C^n \right \}$

$N(A) = \left \{ {{x \in C^n;Ax=0}} \right \}$

可以证明：

$R(A)^\perp =N(A^*)$

这里 $R(A)^\perp$ 表示 R(A) 的正交补子空间。

定理1.3 （值域和零空间的基本性质）

（1） R(A)=R(AA^+)=R(AA^*)

(2) $R(A^+)=R(A^*)=R(A^+A)=R(A^*A)$

(3) $R(I-AA^+)=N(A^+A)=N(A)=R(A^*)^\perp$ （这个地方不太对，前面要改成 $R(I-A^+A)$ ）

(4) $R(I-A^+A)=N(AA^+)=N(A^+)=N(A^*)=R(A)^\perp$ (这个地方也不太对，前面要改成 $R(I-AA^+)$ )

(5) $R(AB)=R(A)\Leftrightarrow rank(AB)=rank(A)$

(6) $N(AB)=N(B) \Leftrightarrow rank(AB)=rank(B)$

下列关于秩的性质也经常用到：

引理1.1 设 $A \in C^{m \times n}$ ，则：

（1） $rankA =rankA^+=rank(A^+A)=rank(AA^+)$

（2）设 $E_A=I_m-AA^+.F_A=I_n-A^+A,$ 则，

rankA=m-rankE_A,rankA=n-rankF_A

(3) $rank(AA^*)=rank(A)=rank(A^*A)$

1.3 满秩分解

定理1.4 设 $A\in C_{r}^{m \times n}$ , r>0 ,则存在列满秩矩阵 $F \in C_{r}^{m \times n}$ 和行满秩矩阵 $G\in C_{r}^{m \times n}$ ，使得：

$A = F \cdot G$

利用的满秩分解可以导出M-P逆 A^+ 的一个显式公式

定理1.5 设 $A\in C_{r}^{m \times n}$ , r>0 ,有满秩分解 $A = F \cdot G$ ,则：

$A^+ = G^*(F^*AG^*)^{-1}F^* = G^*(GG^*)^{-1}(F^*F)^{-1}F^*$

1.4 不相容线性方程组的极小范数最小二乘解与M-P逆

若 $x=(x_1,x_2,....,x_n)^T \in C^p,$ ,2-范数定义为： $\left | \left | x \right | \right |_2=(\sum_{i=1}^{p}\left | x_i \right |^2)^{1/2}=(x^*x)^{1/2}$ ,简记为 $\left | \left | x \right | \right |$

不相容线性方程组： $Ax = b (A \in C^{m \times n},b \in R(A))$ (*)

定义1.3 设 $A \in C^{m \times n},b \in C^m$ ,向量 $u \in C^n$ 称为（*）的最小二成解，如果 $\left |\left |Au-b\right | \right |\leqslant \left |\left |Av-b \right |\right |$ 对一切 $v \in C^n$ 成立。

定义1.4 设 $A \in C^{m \times n},b \in C^m$ ,向量 $u \in C^n$ 称为（*）的极小范数最小二乘解，如果 $u$ 是（*）的最小二乘解，且 $\left |\left |u \right | \right|< \left |\left |w \right | \right|$ 对一切其他最小二乘解 $w$ 成立。

下面的定理给出了(*)的极小范数最小二乘解与M-P逆的关系。

定理1.6 设 $A \in C^{m \times n},b \in C^m$ ,则 A^+b 是(*)的极小范数最小二乘解。

定理1.7 设 $A \in C^{m \times n},b \in C^m$ ，则下列命题等价：

（1） $u$ 是 Ax=b 的最小二乘解；

（2） $u$ 是 Ax=AA^+b 的解；

（3） $u$ 是 A^*Ax=A^*b 的解；

（4） $u=A^+b+h$ ,对某个 $h \in N(A)$

**以上就是第一节的主要内容。下面开始做习题1.**

幸运的lucky

关注

1
点赞
踩
0

收藏

觉得还不错? 一键收藏
1
评论
矩阵与算子广义逆-第一章—表示线性方程组解的广义逆

定义1.1设,则满足Penrose条件：（1）（2）(3)(4)的矩阵称为的逆，记作是的共轭转置。定理1.1满足Penrose条件(1)-(4)的广义逆是存在而且唯一的。定理1.2设则：（1）;（2）(3)(4)(5)(6)(7)时，时，(8),这里和为酉阵。1.2 矩阵的值域和零空间定义1.2 设，定义的值域和零空间为：可以证明：这里表示的正交补子空间。
复制链接

扫一扫