B(ℋ)上线性泛函在弱算子拓扑与强算子拓扑下连续性等价性的证明及概念澄清求助

嘿，我完全懂你现在的迷茫——刚接触算子代数里的各种拓扑时，很容易把算子本身的拓扑收敛和泛函在这些拓扑下的连续性搞混。先帮你把概念理清楚，再一步步拆解这个证明题：

第一步：澄清泛函在拓扑空间上的连续性定义 #

不管是什么拓扑空间，线性泛函$\phi: B(\mathcal{H}) \to \mathbb{C}$的连续性，核心定义是：对复数域$\mathbb{C}$里的任何开集$U$，$\phi^{-1}(U)$（也就是所有满足$\phi(T) \in U$的算子$T$的集合）都是$B(\mathcal{H})$在对应拓扑下的开集。

更实用的等价描述（对线性泛函来说）是：对任意$\epsilon>0$，存在$B(\mathcal{H})$中包含零算子的开邻域$V$，只要$T \in V$，就有$|\phi(T)| < \epsilon$。

而你之前学的强/弱算子拓扑，本质是给$B(\mathcal{H})$这个空间赋予的两种拓扑，它们是通过半范族生成的：

• 强算子拓扑（SOT）：由半范族${p_h(T) = |Th| \mid h \in \mathcal{H}}$生成，简单说就是“逐点范数收敛”对应的拓扑
• 弱算子拓扑（WOT）：由半范族${p_{h,k}(T) = |\langle Th, k \rangle| \mid h,k \in \mathcal{H}}$生成，对应“逐点内积收敛”的拓扑

第二步：证明等价性 #

要证$\phi$在WOT下连续当且仅当在SOT下连续，我们可以分两个方向来证：

方向1：WOT连续的泛函一定是SOT连续的 #

根据算子代数的对偶理论，$B(\mathcal{H})$上的WOT连续线性泛函，一定能写成如下形式：
$$\phi(T) = \sum_{i=1}^n \langle Th_i, k_i \rangle$$
其中$h_1,...,h_n, k_1,...,k_n$是$\mathcal{H}$中的固定向量，$n$是某个正整数。

现在验证这个泛函满足SOT连续的条件：
对任意$T \in B(\mathcal{H})$，由柯西-施瓦茨不等式可得：
$$|\phi(T)| = \left| \sum_{i=1}^n \langle Th_i, k_i \rangle \right| \leq \sum_{i=1}^n |\langle Th_i, k_i \rangle| \leq \sum_{i=1}^n |Th_i| \cdot |k_i|$$
取常数$C = \sum_{i=1}^n |k_i|$，则有：
$$|\phi(T)| \leq C \cdot \max_{1 \leq i \leq n} |Th_i|$$

对任意$\epsilon>0$，取SOT下的零邻域$V = { T \in B(\mathcal{H}) \mid \max_{1 \leq i \leq n} |Th_i| < \epsilon/C }$，那么对所有$T \in V$，都有$|\phi(T)| < \epsilon$，完全符合SOT连续的定义。

方向2：SOT连续的泛函一定是WOT连续的 #

假设$\phi$是SOT连续的线性泛函，根据拓扑向量空间中连续线性泛函的性质，$\phi$一定能被有限个SOT半范控制——也就是存在$h_1,...,h_n \in \mathcal{H}$和常数$C>0$，使得对所有$T \in B(\mathcal{H})$：
$$|\phi(T)| \leq C \cdot \max_{1 \leq i \leq n} |Th_i|$$

我们构造线性映射$F: B(\mathcal{H}) \to \mathcal{H}^n$，定义为$F(T) = (Th_1, Th_2,...,Th_n)$。这个映射是SOT连续的（因为SOT的核心就是逐点范数收敛），而$\phi$可以看作是$F$和一个线性泛函$\psi: \mathcal{H}^n \to \mathbb{C}$的复合，即$\phi(T) = \psi(F(T))$。

由上面的不等式可知，$\psi$是$\mathcal{H}^{n$上的有界线性泛函。根据Hilbert空间的对偶定理，$\mathcal{H}}n$的对偶空间就是自身，所以存在$(k_1,...,k_n) \in \mathcal{H}^n$，使得：
$$\psi(y_1,...,y_n) = \sum_{i=1}^n \langle y_i, k_i \rangle$$

将$y_i = Th_i$代回，就得到：
$$\phi(T) = \sum_{i=1}^n \langle Th_i, k_i \rangle$$
这正是WOT连续泛函的标准形式，所以$\phi$是WOT连续的。

总结 #

核心结论就是：$B(\mathcal{H})$上的强、弱算子拓扑下的连续线性泛函其实是同一类——都能表示为有限个$\langle Th_i, k_i \rangle$的和，因此它们的连续性是等价的。

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