[UCAS矩阵论]6.1投影矩阵及其应用

投影算子与投影矩阵

定义

投影算子:设 \(\mathbb C^n=L\oplus M\),则对于任意 \(x\in\mathbb C^n\) 有唯一分解 \(x=y+z,\,y\in L,\,z\in M\). 称将 \(x\) 变为 \(y\) 的变换为沿着 \(M\)\(L\) 的投影算子,记作 \(P_{L,M}\),即: \[ P_{L,M}x=y \]

性质\(R(P_{L,M})=L,\,N(P_{L,M})=M\). 注意 \(x-y\in M\).

投影矩阵:投影算子 \(P_{L,M}\)\(\mathbb C^n\) 的基 \((e_1,\ldots,e_n)\) 下的矩阵称为投影矩阵。

投影与幂等

引理:设 \(A\in\mathbb C^{n\times n}\) 是幂等矩阵,\(A^2=A\),则: \[ N(A)=R(I-A) \]

证明:任取 \(x\in N(A)\),则 \(Ax=0\),则 \(x=Ax+(I-A)x=(I-A)x\in R(I-A)\),因此 \(N(A)\subset R(I-A)\)

任取 \(y\in\mathbb C^n\)\(A(I-A)y=(A-A^2)y=0\),故 \((I-A)y\in N(A)\),故 \(R(I-A)\subset N(A)\)

综上,\(N(A)=R(I-A)\). 证毕。

定理:矩阵 \(P\) 为投影矩阵的充要条件是 \(P\) 为幂等矩阵,即: \[ P_{n\times n}=P_{L,M}\iff P^2=P \]

证明:必要性。设 \(C^n=L\oplus M\),则对于任意 \(x\in\mathbb C^n\),存在唯一的分解 \(x=y+z,\,y\in L,\,z\in M\). 于是 \(P_{L,M}x=y\). 因此 \(P_{L,M}^2x=P_{L,M}y=y=P_{L,M}x\),即 \(P_{L,M}\) 是幂等的。

充分性。任意 \(x\in\mathbb C^n\) 可分解为 \(x=Px+(I-P)x\),根据引理知 \(N(P)=R(I-P)\),又 \(\mathbb C^n=R(P)\oplus N(P)\),所以这样的分解是唯一的,于是 \(P=P_{R(P),N(P)}\). 证毕。

计算方法

\(L\) 的一组基 \((q_1,\ldots,q_r)\)\(M\) 的一组基 \((q_{r+1},\ldots,q_n)\),则任意向量 \(x\in\mathbb C^n\) 可表示为: \[ x=(q_1,\ldots,q_r,q_{r+1},\ldots,q_n)y=Qy \] 于是: \[ P_{L,M}x=QI_ry=QI_rQ^{-1}x\implies P_{L,M}=QI_rQ^{-1} \] 其中 \(I_r\) 表示前 \(r\) 个对角元为 1、其余为 0 的对角矩阵。

可以看见上面的计算方法涉及到基的选取,但可以证明选取不同的基算出来的 \(P_{L,M}\) 都是一样的。

假设另选一组基 \(\bar Q_L=(\bar q_1,\ldots,\bar q_r)\)\(\bar Q_M=(\bar q_{r+1},\ldots,\bar q_n)\),设 \(\bar Q_L=Q_LR_1,\,\bar Q_M=Q_MR_2\),则 \(\bar Q=Q\text{diag}(R_1,R_2)\),于是: \[\bar P_{L,M}=\bar Q I_r\bar Q^{-1}=Q\text{diag}(R_1,R_2)I_r\text{diag}(R_1^{-1},R_2^{-1})Q^{-1}=QI_rQ^{-1}=P_{L,M}\] 可见 \(P_{L,M}\) 与基的选取无关。

正交投影算子与正交投影矩阵

定义

正交投影算子:设 \(L\)\(\mathbb C^n\) 的子空间,则沿着 \(L^{\perp}\)\(L\) 的投影算子 \(P_{L,L^{\perp}}\) 为正交投影算子,简记为 \(P_L\).

正交投影矩阵:正交投影算子 \(P_{L}\)\(\mathbb C^n\) 的基 \(e_1,\ldots,e_n\) 下的矩阵称为正交投影矩阵。

正交投影与幂等 Hermite

定理:矩阵 \(P\) 为正交投影矩阵的充要条件是 \(P\) 为幂等 Hermite 矩阵。

证明:必要性。若 \(P\) 为正交投影矩阵,则根据上一节定理知它是幂等矩阵,于是 \(R(I-P)=N(P)\)。又 \(R(P)\perp N(P)\),所以 \(R(P)\perp R(I-P)\),因此对于任意 \(x,y\in\mathbb C^n\),有: \[x^HP^H(I-P)y=0\implies P^H(I-P)=0\implies P^H=P^HP\implies P=(P^HP)^H=P^HP=P^H\]\(P\) 是 Hermite 矩阵。

充分性。若 \(P\) 是幂等 Hermite 矩阵,则根据上一节定理知它是投影矩阵 \(P_{R(P),N(P)}\). 又由于 \(P^H=P\),所以: \[P_{R(P),N(P)}=P_{R(P),N(P^H)}=P_{R(P),R^\perp(P)}\]\(P\) 是正交投影矩阵。证毕。

计算方法

\(L\) 的一组基 \(X=(x_1,\ldots,x_r)\)\(L^{\perp}\) 的一组基 \(y=(y_1,\ldots,y_{n-r})\),则 \(X^HY=Y^HX=O\). 根据上一节投影矩阵的计算方法知: \[ P_L=P_{L,L^\perp} =\left[\begin{array}{c:c}X&Y\end{array}\right]\;I_r\;\left[\begin{array}{c:c}X&Y\end{array}\right]^{-1} =\left[\begin{array}{c:c}X&O\end{array}\right]\left[\begin{array}{c:c}X&Y\end{array}\right]^{-1} \] 由于: \[ \left[\begin{array}{c:c}X&Y\end{array}\right]^{H}\left[\begin{array}{c:c}X&Y\end{array}\right]=\left[\begin{array}{c}X^H\\\hdashline Y^H\end{array}\right]\left[\begin{array}{c:c}X&Y\end{array}\right]=\left[\begin{array}{c:c}X^HX&O\\\hdashline O&Y^HY\end{array}\right] \] 于是: \[ \left[\begin{array}{c:c}X&Y\end{array}\right]^{-1}=\left[\begin{array}{c:c}(X^HX)^{-1}&O\\\hdashline O&(Y^HY)^{-1}\end{array}\right]\left[\begin{array}{c}X^H\\\hdashline Y^H\end{array}\right]=\left[\begin{array}{c}(X^HX)^{-1}X^H\\\hdashline(Y^HY)^{-1}Y^H\end{array}\right] \] 因此: \[ P_L=\left[\begin{array}{c:c}X&O\end{array}\right]\left[\begin{array}{c:c}X&Y\end{array}\right]^{-1}=\left[\begin{array}{c:c}X&O\end{array}\right]\left[\begin{array}{c}(X^HX)^{-1}X^H\\\hdashline(Y^HY)^{-1}Y^H\end{array}\right]=X(X^HX)^{-1}X^H \]

同样的,正交投影矩阵的计算也与选取的基无关。假设有另一组基 \(\bar X=(\bar x_1,\ldots,\bar x_r)\),设 \(\bar X=XR\),则: \[\bar P_L=\bar X({\bar X}^H\bar X)^{-1}{\bar X}^H=XR(R^HX^HXR)^{-1}R^HX^H=XRR^{-1}(X^HX)^{-1}(R^H)^{-1}R^HX^H=X(X^HX)^{-1}X^H=P_L\] 可见 \(P_L\) 与基的选取无关。

由于 \(X\) 是列满秩矩阵,根据下一节的内容可知 \(X^+=(X^HX)^{-1}X\),所以 \(P_L=XX^+\).


[UCAS矩阵论]6.1投影矩阵及其应用
https://xyfjason.github.io/blog-main/2023/12/17/UCAS矩阵论-6-1投影矩阵及其应用/
作者
xyfJASON
发布于
2023年12月17日
许可协议