[论文解读] The Category of Von Neumann Algebras

Abraham Westerbaan|arXiv (Cornell University)|Apr 6, 2018

Advanced Operator Algebra Research参考文献 59被引用 12

一句话总结

本文证明了在算子范数下，希尔伯特空间上的有界算子空间 𝔹(ℋ) 在复合运算为乘法、伴随运算为对合、单位算子为单位元的条件下，构成一个 C*-代数。本文还证明了每个 C*-代数都同构于一个有界算子的 C*-代数，这是算子代数理论中的一个基础性结果。

ABSTRACT

In this dissertation we study the category of completely positive normal contractive maps between von Neumann algebras. It includes an extensive introduction to the basic theory of $C^*$-algebras and von Neumann algebras.

研究动机与目标

• 证明希尔伯特空间上的有界线性算子代数 𝔹(ℋ) 在算子范数下自然构成一个 C*-代数。
• 在赋范向量空间的背景下定义并表征有界算子，确立算子范数为最小上界的概念。
• 通过证明每个 C*-代数都可以表示为 𝔹(ℋ) 的 C*-子代数，为 Gelfand-Naimark 定理奠定基础。
• 引入“具体 C*-代数”的概念，即 𝔹(ℋ) 的 C*-子代数，为抽象 C*-代数提供具体的实现。

提出的方法

• 将两个赋范向量空间之间的有界线性算子 T: 𝒳 → 𝒴 定义为存在某个 r ∈ [0, ∞)，使得对所有 x ∈ 𝒳，都有 ‖Tx‖ ≤ r‖x‖。
• 将算子范数定义为所有此类上界 r 的下确界，记为 ‖T‖。
• 在希尔伯特空间 ℋ 上的有界算子空间 𝔹(ℋ) 上，以复合运算为乘法，伴随运算为对合，单位算子为单位元。
• 验证 𝔹(ℋ) 满足 C*-代数公理，包括 C*-恒等式 ‖T*T‖ = ‖T‖²。
• 建立任意 C*-代数都同构于 𝔹(ℋ) 的某个 C*-子代数，这一结果后来在 Gelfand-Naimark 定理中被形式化。
• 利用希尔伯特空间和有界算子的结构，为抽象 C*-代数提供具体的实现。

实验结果

研究问题

• RQ1 如何在希尔伯特空间上的有界算子空间上赋予 C*-代数结构？
• RQ2 在赋范空间之间，什么条件能保证线性算子有界，其范数如何定义？
• RQ3 每个抽象的 C*-代数是否都能具体表示为某个希尔伯特空间上的一组有界算子的 C*-子代数？
• RQ4 伴随运算在定义有界算子 C*-代数中的对合运算中起什么作用？
• RQ5 算子范数如何与希尔伯特空间上有界线性算子的谱性质相关联？

主要发现

• 在希尔伯特空间 ℋ 上的有界算子空间 𝔹(ℋ) 在算子范数下，以复合为乘法、伴随为对合，构成一个 C*-代数。
• 有界线性算子 T 的算子范数是满足对所有 x ∈ 𝒳 都有 ‖Tx‖ ≤ r‖x‖ 的最小 r。
• 具体 C*-代数被定义为 𝔹(ℋ) 的 C*-子代数，为抽象 C*-代数提供了自然实现。
• 本文通过证明每个 C*-代数都同构于一组有界算子的 C*-代数，为 Gelfand-Naimark 定理的建立铺平了道路。
• 单位算子在 C*-代数 𝔹(ℋ) 中作为单位元，满足酉 C*-代数公理。
• C*-恒等式 ‖T*T‖ = ‖T‖² 在 𝔹(ℋ) 中成立，确认了其作为 C*-代数的地位。