[论文解读] Perturbation of $l^1$-copies and measure convergence in preduals of von Neumann algebras

Hermann Pfitzner|arXiv (Cornell University)|Mar 24, 2000

Advanced Operator Algebra Research参考文献 18被引用 7

一句话总结

本文建立了具有有限忠实正规迹的冯诺依曼代数的预对偶中有界序列在测度收敛性的刻画。证明了此类序列在测度下收敛于零，当且仅当每个子列都存在一个进一步的子列，其要么在范数下收敛，要么几乎等距地张成一个 $\ell^1$-结构，从而对非交换 $L^1$-空间中 $\ell^1$-序列的扰动经典结果进行了定量改进。

ABSTRACT

Let L_1 be the predual of a von Neumann algebra with a finite faithful normal trace. We show that a bounded sequence in L_1 converges to 0 in measure if and only if each of its subsequences admits another subsequence which converges to 0 in norm or spans $l^1$ "almost isometrically". Furthermore we give a quantitative version of an essentially known result concerning the perturbation of a sequence spanning $l^1$ isomorphically in the dual of a C$^*$-algebra.

研究动机与目标

• 刻画具有有限忠实正规迹的冯诺依曼代数预对偶中有界序列的测度收敛性。
• 通过提供一个定量的扰动准则，扩展非交换 $L^1$-空间中 $\ell^1$-序列的已知结果。
• 利用几乎等距的 $\ell^1$-复制和范数逼近，建立测度收敛性的泛函分析刻画。
• 通过正交投影和扰动界，推广 $C^*$-代数对偶中 $\ell^1$-序列的结构。

提出的方法

• 利用测度收敛性与子列存在性之间的等价性：这些子列要么在范数下收敛，要么几乎等距地张成 $\ell^1$。
• 应用定理 2 表明，任何在冯诺依曼代数预对偶中几乎等距张成 $\ell^1$ 的序列，都存在一个子列，其可由范数下的两两正交泛函逼近。
• 使用极分解和投影技术，控制非交换 $L^1$-空间中扰动的范数。
• 引入递归构造，使用趋于零的序列 $\varepsilon_n$ 和 $\delta_n$，以确保 $\ell^1$-序列的几乎等距嵌入。
• 应用 Hahn-Banach 延拓技术，将非单位化 $C^*$-代数上的泛函延拓至其单位化，同时保持范数和绝对值结构。
• 使用非交换 $L^1$-理论中的不等式，包括 [21, III.4.7] 和 [21, III.4.9] 中的结果，以界定扰动泛函的范数。

实验结果

研究问题

• RQ1 在冯诺依曼代数预对偶中的有界序列何时在测度下收敛于零？
• RQ2 在非交换 $L^1$-空间中，哪些特征决定了序列几乎等距张成 $\ell^1$？
• RQ3 能否通过两两正交泛函的序列，在范数下逼近一个几乎等距张成 $\ell^1$ 的序列？
• RQ4 在 $C^*$-代数的对偶中，$\ell^1$-序列的扰动行为如何？可建立哪些有界性？
• RQ5 正交投影和正元素在非交换 $L^1$-空间中逼近泛函时起什么作用？

主要发现

• 在具有有限忠实正规迹 $\tau$ 的冯诺依曼代数 $\mathcal{N}$ 的预对偶 $\mathcal{N}_*$ 中，有界序列 $ (x_n) $ 在 $\tau$-测度下收敛于零，当且仅当每个子列都存在一个进一步的子列，其要么在范数下收敛，要么几乎等距地张成 $\ell^1$。
• 对于任何在 $\mathcal{N}_*$ 中几乎等距张成 $\ell^1$ 的有界序列，存在一个子列和一个两两正交泛函序列，使得该子列在范数下收敛于该正交序列。
• 即使对于无界序列，测度收敛性与几乎等距 $\ell^1$-结构之间的等价性仍然成立，且此时有 (i) $\Leftrightarrow$ (ii) $\Rightarrow$ (iii) $\Leftrightarrow$ (iv) 成立。
• 在 $C^*$-代数的对偶中，任何几乎等距张成 $\ell^1$ 的序列，可被形如 $ b_n \phi_{m_n} a_n $ 的泛函 $\varepsilon$-范数逼近，其中 $ (a_n), (b_n) $ 是两两正交的正则化元素。
• 证明建立了定量扰动结果：对任意 $ \varepsilon > 0 $，存在正交投影 $ s_l, t_l $，使得 $ \| \phi_{m_l} - t_l \phi_{m_l} s_l \| \to 0 $，从而确保 $\ell^1$-序列可被正交序列范数逼近。
• 通过单位化，该结果可推广至非单位化 $C^*$-代数，且在 Hahn-Banach 延拓下，泛函的范数和绝对值结构得以保持。