泛函分析：作业 / 251110

对于空间 $Y=\sum\limits_{k=1}^n N(f_k)^\perp$, $\forall x\in Y^\perp$, 有 $(x,Y)=0$. 又 $N(f_k)^\perp\subset Y$, 所以 $(x,N(f_k)^\perp)=0$ 从而 $x\in N(f_k)$. 故 $x\in M$. 即 $Y^\perp\subset M$.

另一方面, $M\subset N(f_k)$, 从而 $M^\perp\supset N(f_k)^\perp$, 进而 $M\subset Y^\perp$.

从而 $Y^\perp=M$. 即 $Y=M^\perp$. 故根据正交投影定理, $\exists x_1\in M^\perp$ 满足 $y_0=x_0-y_1$, 又 $x_1\in Y$, 故存在 $y_k\in N(f_k)^\perp, \alpha_k\in \mathbb K$ 使得 $x_1=\sum\limits_{k=1}^n \alpha_ky_k$. 即 $y_0=x_0-\sum\limits_{k=1}^n \alpha_ky_k$.

• $\Rightarrow$: $L\perp M\Rightarrow P_M(x)\perp L\Rightarrow P_L(P_M(x))=0\Rightarrow P_LP_M=0$.

$\Leftarrow$: $\forall x\in M$, 有 $P_M(x)=x$, 由 $P_LP_M=0\Rightarrow P_L(x)=0$ 即 $x\perp L$, 从而 $L\perp M$.

• $\Rightarrow$: $\forall x\in H$, 根据正交分解定理, 存在唯一的 $x_0\in M, x_1\in M^\perp$ 使得 $x=x_0+x_1$, 且有 $P_M(x)=x_0$. 另一方面, 有唯一的 $x_0'\in M^\perp,x_1'\in (M^\perp)^\perp=M$ 使得 $x=x_0'+x_1'$, 且 $P_L(x)=x_0'$. 由于分解的唯一性, 我们有 $x_0=x_1', x_0'=x_1$. 进而 $(P_L+P_M)(x)=x_0+x_1=x$ 即 $P_L+P_M=I$.

$\Leftarrow$: 仍考虑正交分解 $\forall x\in H, x=x_0+x_1$. 此时 $P_L(x)=(I-P_M)(x)=x-x_0=x_1=P_{M^\perp}(x)$. 即 $P_L=P_{M^\perp}$. 从而 $L=M^\perp$.

• $\Rightarrow$: $\forall x\in H$, 在 $M$ 上正交分解 $x=x_0+x_1$, 在 $L\cap M$ 上分解 $x=z_0+z_1$, 再在 L 上分解 $x_0=y_0+y_1, x_1=y_0'+y_1'$, 由 $P_LP_M=P_{L\cap M}$, 从而 $P_L(P_M(x))=P_L(y_0+y_1)=y_0=P_{L\cap M}(x)=z_0$. 那么 $P_M(P_L(x))=P_MP_L(z_0+z_1)=P_M(z_0)+P_MP_L(y_1+y_0'+y_1')=z_0+P_M(y_0')$.

下证 $P_M(y_0')=0$.

而我们有 $z_1=y_0'+y_1+y_1'\in (L\cap M)^\perp, y_1,y_1'\in L^\perp$. 由 $L\cap M\subset L$, 故 $(L\cap M)^\perp\supset L^\perp$ 进而 $y_1,y_1'\in (L\cap M)^\perp$, 从而 $y_0'\in (L\cap M)^\perp$.

又 $y_0'\in L$ 所以 $(y_0',L^\perp)=0\Rightarrow (y_0',L^\perp\cap M)=0$. 考虑 $L\cap M$ 作为 $M$ 上的闭线性子空间, $\forall x\in M$ 可以唯一正交分解为 $x=x_0+x_1,\ x_0\in L\cap M, x_1\in L^\perp \cap M$. 而此时 $y_0'\perp L^\perp \cap M$, 之前证了 $y_0'\perp L\cap M$. 从而 $y_0'\perp M$. 即有 $P_M(y_0')=0$.

综上 $P_MP_L(x)=z_0+P_M(y_0')=z_0=P_{L\cap M}(x)=P_LP_M(x)$. 即 $P_LP_M=P_MP_L$.

$\Leftarrow$: $\forall x\in H$, 在 $M$ 上正交分解 $x=x_0+x_1$, 再在 $L$ 上正交分解 $x_0=y_0+y_1$.

根据条件有 $P_LP_M(x)=y_0=P_M(P_L(x))$. 因为右边最后一个算子是 $P_M$ 所以结果肯定在 $M$ 上, 即 $y_0\in M$.

又 $y_0\in L$, 即 $y_0\in L\cap M$. 下面考虑 $P_{L\cap M}(x)=P_{L\cap M}(y_0+y_1+x_1)=y_0+P_{L\cap M}(y_1)+P_{L\cap M}(x_1)$.

由 $y_1\in L^\perp,x_1\in M^\perp$ 且 $L\cap M\subset L,L\cap M\subset M$. 从而 $L^\perp,M^\perp\subset (M\cap L)^\perp$. 故 $P_{L\cap M}(y_1)=P_{L\cap M}(x_1)=0$. 因此有 $P_LP_M(x)=y_0=P_{L\cap M}(x)$. 即 $P_LP_M=P_{L\cap M}$.

• 由于 $D(A)$ 闭且 $A$ 有界则 $A$ 是闭算子, 另外线性算子的连续性与有界性等价, 从而 $A$ 是闭算子.
• 由 $A$ 的连续性, 当 $x_n\to x$ 是 $\mathscr X$ 中的收敛列, $\{Ax_n\}$ 也是柯西列. 再由 $\mathscr Y$ 的完备性, $\{Ax_n\}$ 收敛. 所以 $(x_n,Ax_n)\to (x,y)$. 再由 $A$ 是闭算子知 $x\in D(A)$. 故 $D$ 也是闭的.
• $A^{-1}:R(A)\to D$. 设 $y_n\to y, y_n\in R(A)$. 存在 $x_n\to x$ 满足 $y_n=Ax_n$. 并且由 $A$ 的闭性 $(A^{-1}y_n,y_n)=(x_n,Ax_n)$ 构成的集合是闭的. 从而 $A^{-1}$ 也是闭算子.
• 由 (3) 可知 $A^{-1}$ 也是闭算子. 再由 (2) 可知, $R(A)$ 是闭的. 又 $R(A)$ 在 $\mathscr Y$ 中稠密, 从而 $R(A)=\mathscr Y$.

设 $\widetilde{A}=\mathscr X/\ker A\to\mathscr Y$. 那么根据题设条件容易推出商空间引出的映射是双射. 那么根据 Banach 逆映射定理可知 $\widetilde{A}^{-1}$ 也是有界线性算子. 进而根据有界算子定义知存在 $C$, 使得 $\Vert [x_n] \Vert\leqslant C\Vert y_n \Vert$. 接着只要取商空间等价类中的代表元 $x_n$ 满足 $\Vert x_n \Vert\leqslant2\Vert [x_n] \Vert\leqslant 2C\Vert y_n \Vert$. 即可.

• 线性性由 $T$ 是线性算子显然得到. 对任意 $\{x_n\}\subset N(T), x_n\to x$. 那么 $(x_n,Tx_n)\to (x,0)$ 由 $T$ 的闭性 $x\in D(T), Tx=0$ 从而 $x\in N(T)$. 即 $N(T)$ 是闭的.
• $N(T)=\{0\}$ 即 $T$ 是单射.

$\Rightarrow$: 由 $T$ 是闭的且是单射, 可知 $T^{-1}$ 也是闭的. 再由 $R(T)$ 是闭集根据闭图像定理知 $T^{-1}$ 连续, 即有界. 所以存在 $\alpha$ 满足 $\norm{T^{-1}y}\leqslant \alpha \Vert y \Vert, y\in R(T)$. 再由单射可取 $x\in D(T)$, 由 $x=T^{-1}y$. 从而得到

$\Leftarrow$: 由 $T$ 是单射, 所以在 $D(T)\to R(T)$ 上 $T$ 是双射. 又 $T^{-1}$ 也是闭的. 考虑 $T^{-1}:R(T)\to D(T)$ 是双射. 由题设条件可知 $\norm{T^{-1}y}\leqslant \alpha\Vert y \Vert\forall y\in R(T)$. 从而 $T^{-1}$ 有界. 即 $T^{-1}$ 连续. 从而考虑 $T^{-1}$ 的图像. 任取 $y_n\to y$. $T^{-1}y_n$ 也收敛. 从而根据闭算子定义可知 $y\in R(T)$. 即 $R(T)$ 是闭的.

• 考虑商空间 $\mathscr X/N(T)$. 那么 $d(x,N(T))=\Vert [x] \Vert$. 由于等价类的元素可以有核空间的元素和代表元线性表出, 所以等价类中元素的像均相等, 故自然引出新线性映射 $\widetilde{T}([x])=Tx+Tz=Tx$. 并且有 $\widetilde{T}$ 是单射和 $R(T)=R(\widetilde{T})$. 题目要证的条件就等价为 $\Vert [x] \Vert=d(x,N(T))\leqslant\alpha\Vert Tx \Vert=\alpha\norm{\widetilde{T}([x])}$.

并且根据商空间的完备性定理, $\mathscr X$ 是 $B$ 空间, $N(T)$ 是闭线性子空间, 从而 $\mathscr X/N(T)$ 也是 $B$ 空间.

那么根据 (2) 结论 $R(\widetilde{T})$ 是闭的与 $\exists\alpha>0$ 使得 $\Vert x \Vert\leqslant\alpha\norm{\widetilde{T}x} (\forall x\in D(\widetilde{T}))$ 充要.

所以原命题得证.