迹冯诺依曼代数中算子范数单位球在2-范数下的完备性问题
嘿，这个问题问得很关键，答案是肯定的——算子范数单位球在$||\cdot||_2$范数下确实是完备的，我来一步步给你捋清楚原因：
首先回忆下背景：我们定义的$||a||_2^2 = \tau(a^*a)$其实对应着一个内积结构，内积为$\langle a,b\rangle = \tau(b^*a)$，所以$(V, ||\cdot||_2)$本身是个内积空间，它的完备化就是大家常说的非交换$L2$空间$L2(V, \tau)$。现在要证明的核心是：算子范数单位球里的$||\cdot||_2$-柯西列，极限依然落在这个单位球里，不会跑到完备化空间中。
假设${a_n}$是算子范数单位球$B_1(V) = {a \in V : ||a|| \leq 1}$中的一个$||\cdot||_2$-柯西列。首先这个序列在$L^2(V, \tau)$里肯定收敛到某个元素$x$，但我们得确认$x$属于$V$，而且算子范数不超过1。
先看线性泛函的收敛性：对任意$b,c \in V$，序列${\tau(c^*a_n b)}$是柯西列——因为$|\tau(c^*a_n b) - \tau(c^a_m b)| = |\tau(c^(a_n - a_m)b)| \leq ||c|| \cdot ||b|| \cdot ||a_n - a_m||_2$，而${a_n}$是$||\cdot||_2$柯西列，所以这个差值会趋于0。我们把这个极限记为$\varphi(b,c)$，这是$V \times V$上的有界双线性泛函，因为$|\varphi(b,c)| \leq \limsup ||c^*a_n b||_1 \leq ||c|| \cdot ||b|| \cdot \limsup ||a_n|| \leq ||c|| \cdot ||b||$（这里用到了1-范数$||x||_1 = \tau(|x|)$的性质，$\tau$是state，所以$\tau(1)=1$，进而$||x||_1 \leq ||x||$）。
根据冯诺依曼代数的对偶性质，这个双线性泛函一定对应着某个$a \in V$，满足$\varphi(b,c) = \tau(c^*a b)$对所有$b,c \in V$都成立。接下来验证$||a|| \leq 1$：对任意$x \in V$且$||x|| \leq 1$，$|\tau(x^*a x)| = \lim |\tau(x^*a_n x)| \leq \limsup ||x^*a_n x|| \leq \limsup ||x||^2 ||a_n|| \leq 1$。而对于带忠实正规迹的冯诺依曼代数，算子的范数可以被$\sup{|\tau(x^*a x)| : ||x|| \leq 1}$控制，所以$||a|| \leq 1$，也就是$a$落在算子范数单位球里。
最后确认${a_n}$在$||\cdot||_2$下收敛到$a$：计算$||a_n - a||_2^2 = \tau((a_n - a)^*(a_n - a)) = \tau(a_n^*a_n) - \tau(a_n^*a) - \tau(a^*a_n) + \tau(a*a)$。右边每一项都收敛到对应的极限——比如$\tau(a_n*a)$就是内积$\langle a_n, a\rangle$，而我们已经知道$\langle a_n, b\rangle$对任意$b \in V$都收敛到$\langle a, b\rangle$，所以当$b=a$时也成立。整个表达式最终趋于0，说明$a_n$确实在$||\cdot||_2$下收敛到$a$。
这样就完整证明了算子范数单位球在$||\cdot||_2$范数下是完备的。
备注：内容来源于stack exchange，提问作者user715747
