Banach空间中闭线性算子与弱收敛条件等价性的⇒方向证明疑问

嘿，这个方向的证明确实需要用到Banach空间里关于弱拓扑和凸集的核心结论，我来一步步给你拆解清楚：

首先，先回顾闭线性算子的定义：算子$A$的图是$X\times Y$中的子集：
$$\mathcal{G}(A)={(x,Ax)\mid x\in\text{Dom}(A)}$$
闭算子的等价定义就是$\mathcal{G}(A)$是$X\times Y$中的强闭子空间（也就是在$X\times Y$的强拓扑下是闭集）。

接下来我们用三个核心步骤完成证明：

• 关键性质：Banach空间中的凸子集，强闭等价于弱闭（由Hahn-Banach定理推论可得，凸集的强闭包与弱闭包重合）。由于$\mathcal{G}(A)$是子空间（天然凸），所以$A$是闭算子意味着$\mathcal{G}(A)$是$X\times Y$中的弱闭子集。
• 弱收敛的等价性：$x_n\rightharpoonup x$且$Ax_n\rightharpoonup y$，等价于乘积空间$X\times Y$中序列$(x_n,Ax_n)$弱收敛到$(x,y)$（乘积弱拓扑的定义就是分量各自弱收敛）。
• 弱闭集的性质：弱收敛序列的极限必然落在弱闭集内，因此$(x,y)\in\mathcal{G}(A)$，这就直接推出$x\in\text{Dom}(A)$且$Ax=y$。

如果觉得这个方法太依赖弱闭集的性质，也可以用对偶的思路补证：

• 弱收敛的序列一定是有界的（一致有界原理），所以${x_n}$和${Ax_n}$都是有界序列。
• 对任意$y'\in Y^*$，定义$\text{Dom}(A)$上的线性泛函$f(x)=\langle y',Ax\rangle$，它在图范数$|x|_A=|x|+|Ax|$下是连续的（因为$|f(x)|\leq|y'||Ax|\leq|y'||x|_A$）。
• 由于$\langle y',Ax_n\rangle\rightarrow\langle y',y\rangle$，同时$\langle x',x_n\rangle\rightarrow\langle x',x\rangle$对所有$x'\in X^$成立，利用Hahn-Banach定理把$f$延拓到$X$上的连续泛函$x'_y$，就有$\langle x'_y,x_n\rangle=\langle y',Ax_n\rangle\rightarrow\langle x'_y,x\rangle$，因此$\langle x'_y,x\rangle=\langle y',y\rangle$，也就是$\langle y',Ax\rangle=\langle y',y\rangle$对所有$y'\in Y^$成立。
• 根据Hahn-Banach定理的分离性，这就推出$Ax=y$，同时$x$必须属于$\text{Dom}(A)$（否则$Ax$无定义）。

两种方法都能搞定，第一种用图的弱闭性更简洁直接，是这类问题的标准思路~

备注：内容来源于stack exchange，提问作者Chris