斜投影矩阵进阶第二弹

　　本次给出几个关于斜投影矩阵的进阶命题，由斜投影性质可以发现此类投影阵一般不具有唯一性，故常以表示一类可以称为斜投影矩阵的矩阵的集合。

　　以下给出几个命题。

　　设，即与所张成子空间不交，则有

　　

　　其中为适当阶数的矩阵，表示满足且具有最大秩的矩阵。

　　对任一，作分解 ,其中,。

　　故有存在向量，，s.t.， ， 。故由斜投影矩阵定义可知：

　　

　　记为

　　

　　一个特解，为

　　

　　的通解，则(1)的解为

　　由 存在矩阵 , 使得 ，将其代入(2)的第一个方程可知：，此为相容方程组，故其解可表示为，代入表达式可知：

　　

　　下求表达式，将(3)改写为，由假设可知为此方程的一个解，故有，故有存在合适阶数的矩阵，使得

　　

　　结合表达式可知

　　

　　可以将此表达式与上期推文中的斜投影矩阵表达式进行对比，看看二者有何区别与联系。

　　若, 则

　　

　　此时的斜投影矩阵唯一，且具有幂等性。

　　由 得 ，故(1)有唯一解，且形如，其可由得其补空间为空间，故此时.

　　

　　此处第一个等号由亦为的一个广义逆可得。

　　故有为幂等阵，证毕。

　　设 , 则

　　

　　 对任给的，可知

　　

　　若，则有，由其定义可知其满足：

　　

　　在中取并代入上述方程组的第一个方程可知：

　　

　　由子空间包含的定义可知，。

　　将代入上述方程组的第二个方程可知，

　　

　　由的任意性可知，仍取，上式退化为

　　

　　据可知，，据的任意性可知，，由的定义可知：存在某个适当阶数的矩阵，使得，故可知，即，对于某个和。

　　将表达式代入可知：

　　

　　在此式左右两端同乘可得：

　　

　　即有

　　

　　故有存在矩阵，使得，故有。

　　 设，故有，由于，故有存在矩阵使得，，故有

　　

　　故有，即，证毕。

　　本次证明的相关细节及思路参考王松桂老师的书籍线性模型的理论及其应用。

　　[1] 王松桂. 线性模型的理论及其应用[M]. 安徽教育出版社, 1987.

　　[2]张贤达. 矩阵分析与应用[M]. 清华大学出版社, 2013.