[论文解读] Best approximations, distance formulas and orthogonality in C*-algebras

Priyanka Grover, Sushil Singla|arXiv (Cornell University)|Jan 15, 2021

Advanced Operator Algebra Research参考文献 14被引用 6

一句话总结

本文建立了C*-代数中最佳逼近的基于状态的刻画，表明当且仅当存在一个状态 $ \phi \in \mathcal{S}_\mathcal{A} $，使得 $ \phi((a - b_0)^* (a - b_0)) = \|a - b_0\|^2 $ 且对所有 $ b \in \mathcal{B} $ 有 $ \phi(a^*b) = \phi(b_0^*b) $，元素 $ b_0 \in \mathcal{B} $ 才是 $ a \in \mathcal{A} $ 的最佳逼近。该结果将经典的距离公式和正交性准则推广至非交换C*-代数环境。

ABSTRACT

For a unital $C^*$-algebra $\mathcal A$ and a subspace $\mathcal B$ of $\mathcal A$, a characterization for a best approximation to an element of $\mathcal A$ in $\mathcal B$ is obtained. As an application, a formula for the distance of an element of $\mathcal A$ from $\mathcal B$ has been obtained, when a best approximation of that element to $\mathcal B$ exists. Further, a characterization for Birkhoff-James orthogonality of an element of a Hilbert $C^*$-module to a subspace is obtained.

研究动机与目标

• 将经典的距离公式与最佳逼近刻画从交换C*-代数（例如 $ C(X) $）推广至非交换单位C*-代数。
• 为任意C*-代数子空间中的最佳逼近提供统一的状态理论准则，扩展已知的 $ \mathbb{C}1_\mathcal{A} $ 和 $ C^* $-子代数结果。
• 通过状态刻画元素对子空间的Birkhoff-James正交性，将几何正交性与泛函分析条件联系起来。
• 利用条件期望与状态推导元素到子空间距离的下界，并在特殊情形（如标量倍的单位元）下实现等式。

提出的方法

• 利用GNS构造与循环表示，将C*-代数嵌入到希尔伯特空间上有界算子的C*-代数中。
• 对每个状态 $ \phi \in \mathcal{S}_\mathcal{A} $，定义半内积 $ \langle a_1 | a_2 \rangle_\phi = \phi(a_1^* a_2) $，使 $ \mathcal{A} $ 成为半内积空间。
• 建立 $ b_0 $ 是 $ \mathcal{B} $ 中 $ a $ 的最佳逼近当且仅当存在一个状态 $ \phi $，使得 $ \|a - b_0\|_\phi = \|a - b_0\| $ 且对所有 $ b \in \mathcal{B} $ 有 $ \langle a - b_0 | b \rangle_\phi = 0 $，即在半内积空间中正交。
• 应用Hahn-Banach定理与条件期望理论，将有限维逼近推广至完整的C*-代数。
• 利用Riesz表示定理与对偶性，将此类状态 $ \phi $ 的存在性与 $ a - b_0 $ 的范数实现集上支撑的概率测度的存在性联系起来。
• 通过 $ \sup \{ \phi(E(a^*a) - E(a)^*E(a)) \} $ 推导出距离 $ \text{dist}(a, \mathcal{B})^2 $ 的下界，其中 $ E $ 是到 $ \mathcal{B} $ 的条件期望。

实验结果

研究问题

• RQ1 在单位C*-代数 $ \mathcal{A} $ 的子空间 $ \mathcal{B} $ 中，最佳逼近在何种条件下存在，以及如何刻画？
• RQ2 能否使用状态而非测度，将 $ C(X) $ 中的经典距离公式推广至非交换C*-代数？
• RQ3 C*-代数中元素对子空间的Birkhoff-James正交性的精确状态理论条件是什么？
• RQ4 由条件期望导出的距离下界 $ \text{dist}(a, \mathcal{B})^2 $ 在何种情况下变得紧致？
• RQ5 距离下界公式 $ \text{dist}(a, \mathcal{B})^2 \geq \sup \{ \phi(E(a^*a) - E(a)^*E(a)) \} $ 的等式是否在 $ \mathcal{B} = \mathbb{C}1_\mathcal{A} $ 之外的情形也能实现？

主要发现

• 当且仅当存在一个状态 $ \phi \in \mathcal{S}_\mathcal{A} $，使得 $ \phi((a - b_0)^* (a - b_0)) = \|a - b_0\|^2 $ 且对所有 $ b \in \mathcal{B} $ 有 $ \phi(a^*b) = \phi(b_0^*b) $，元素 $ b_0 \in \mathcal{B} $ 才是 $ a \in \mathcal{A} $ 的最佳逼近，提供了泛函分析准则。
• 元素 $ a \in \mathcal{A} $ 到子空间 $ \mathcal{B} \subseteq \mathcal{A} $ 的距离满足 $ \text{dist}(a, \mathcal{B})^2 \geq \sup \{ \phi(E(a^*a) - E(a)^*E(a)) \} $，其中上确界取遍所有从 $ \mathcal{A} $ 到 $ \mathcal{B} $ 的条件期望 $ E $。
• 当 $ \mathcal{B} = \mathbb{C}1_\mathcal{A} $ 时，距离下界的等式成立，推广了复C*-代数中已知结果。
• 元素 $ a \in \mathcal{A} $ 对子空间 $ \mathcal{B} $ 的Birkhoff-James正交性等价于存在一个状态 $ \phi \in \mathcal{S}_\mathcal{A} $，使得 $ \phi(a^*a) = \|a\|^2 $ 且对所有 $ b \in \mathcal{B} $ 有 $ \phi(a^*b) = 0 $，扩展了先前结果。
• 通过状态与半内积的刻画揭示了勾股定理结构：$ \|a - b_0\|_\phi = \|a - b_0\| $ 且对所有 $ b \in \mathcal{B} $ 有 $ \theta_\phi^{a-b_0, b} = \pi/2 $，表明在半内积空间中正交。
• 证明技术依赖于通过Hahn-Banach定理将有限维条件期望扩展至完整的C*-代数，从而保证所需状态 $ \phi $ 的存在性。