[论文解读] An abstract characterization of unital operator spaces

Xujian Huang, Chi–Keung Ng|ArXiv.org|May 16, 2008

Advanced Operator Algebra Research参考文献 20被引用 9

一句话总结

本文通过完全有界范数量 $ n_{\rm cb}(\mathbf{V},u) $，对单位算子空间给出了一个抽象表征，表明 $ n_{\rm cb}(\mathbf{V},u) = 1 $ 当且仅当存在一个从 $ \mathbf{V} $ 到某个 $ \mathcal{L}(H) $ 的完全等距同构，将 $ u $ 映射为恒等算子。该结果实现了对算子系统的抽象表征，并证明了单位算子空间关于适当完全 $ M $-理想的商空间仍保持单位结构，该结论可推广至算子系统。

ABSTRACT

In this article, we give an abstract characterization of the ``identity'' of an operator space $V$ by looking at a quantity $n_{cb}(V,u)$ which is defined in analogue to a well-known quantity in Banach space theory. More precisely, we show that there exists a complete isometry from $V$ to some $\mathcal{L}(H)$ sending $u$ to ${ m id}_H$ if and only if $n_{cb}(V,u) =1$. We will use it to give an abstract characterization of operator systems. Moreover, we will show that if $V$ is a unital operator space and $W$ is a proper complete $M$-ideal, then $V/W$ is also a unital operator space. As a consequece, the quotient of an operator system by a proper complete $M$-ideal is again an operator system. In the appendix, we will also give an abstract characterisation of ``non-unital operator systems'' using an idea arose from the definition of $n_{cb}(V,u)$.

研究动机与目标

• 通过类似于巴拿赫空间几何单位元的完全有界范数量，提供算子空间中“单位元”的抽象表征。
• 建立算子空间完全等距嵌入到 $ \mathcal{L}(H) $ 中且给定元素映射为恒等算子的判别准则。
• 将该表征推广至算子系统，并证明单位算子空间关于适当完全 $ M $-理想的商空间仍为单位算子空间。
• 通过 $ n_{\rm cb} $ 量的变体，提供非单位算子系统的抽象表征。

提出的方法

• 将 $ n_{\rm cb}(\mathbf{V},u) $ 定义为 $ M_k(\mathbf{V}) $ 单位球面上所有 $ \gamma^u_{\rm cb}(x) $ 的下确界，其中 $ \gamma^u_{\rm cb}(x) $ 是所有满足 $ \|\varphi\|_{\rm cb} \leq 1 $ 且 $ \varphi(u) = 1 $ 的完全有界泛函 $ \varphi $ 的 $ \|\varphi(x)\| $ 的上确界。
• 利用完全有界映射的性质与对偶性，证明 $ n_{\rm cb}(\mathbf{V},u) = 1 $ 当且仅当存在一个从 $ \mathbf{V} $ 到某个 $ \mathcal{L}(H) $ 的完全等距同构，将 $ u $ 映射为 $ \mathrm{id}_H $。
• 利用量 $ n_{\rm cb}(\mathbf{V},u) $ 对算子系统进行抽象表征：算子系统是带有特殊元素 $ u $ 的算子空间，满足 $ n_{\rm cb}(\mathbf{V},u) = 1 $。
• 证明若 $ \mathbf{V} $ 是单位算子空间，且 $ \mathbf{W} $ 是 $ \mathbf{V} $ 中的适当完全 $ M $-理想，则 $ \mathbf{V}/\mathbf{W} $ 通过单位的像继承单位结构。
• 通过在 $ M_n(\mathbf{V}) $ 上定义锥结构，引入非单位算子系统的 $ n_{\rm cb}^+(\mathbf{V}) $，并证明 $ n_{\rm cb}^+(\mathbf{V}) = 1 $ 且对所有 $ n \in \mathbb{N} $ 有 $ M_n(\mathbf{V})_+ = \mathbf{K}_n $，可表征抽象的非单位算子系统。
• 利用矩阵赋范空间的正则化及对偶性论证，将 $ \mathcal{S}_n(\mathbf{V};u) $ 与 $ \mathcal{L}(H) $ 中完全等距同构的存在性联系起来。

实验结果

研究问题

• RQ1 在矩阵赋范空间 $ \mathbf{V} $ 中，给定一个范数为一的元素 $ u \in \mathbf{V} $，在何种条件下其通过完全等距同构映射到 $ \mathcal{L}(H) $ 中的恒等算子？
• RQ2 算子系统能否通过完全有界范数量 $ n_{\rm cb}(\mathbf{V},u) $ 进行抽象表征？
• RQ3 在何种条件下，单位算子空间关于适当完全 $ M $-理想的商空间仍为单位算子空间？
• RQ4 非单位算子系统能否通过 $ n_{\rm cb}(\mathbf{V},u) $ 的变体进行抽象表征？若能，其必要且充分条件为何？
• RQ5 量 $ n_{\rm cb}(\mathbf{V},u) $ 与经典巴拿赫空间中的几何单位元概念有何关联？

主要发现

• 当且仅当存在一个从 $ \mathbf{V} $ 到某个 $ \mathcal{L}(H) $ 的完全等距同构，将 $ u $ 映射为 $ \mathrm{id}_H $ 时，有 $ n_{\rm cb}(\mathbf{V},u) = 1 $，这为算子空间中的单位元提供了完整的抽象表征。
• 算子系统可抽象表征为带有特殊元素 $ u $ 的算子空间，使得 $ n_{\rm cb}(\mathbf{V},u) = 1 $，且该表征不依赖于其在 $ \mathcal{L}(H) $ 中的具体实现。
• 若 $ \mathbf{V} $ 是单位算子空间，且 $ \mathbf{W} $ 是 $ \mathbf{V} $ 中的适当完全 $ M $-理想，则商空间 $ \mathbf{V}/\mathbf{W} $ 也是单位算子空间，其单位为 $ \mathbf{V} $ 中单位的像。
• 算子系统关于适当完全 $ M $-理想的商空间仍是算子系统，因为商空间通过原单位的像继承了单位结构。
• 对于非单位算子系统，条件 $ n_{\rm cb}^+(\mathbf{V}) = 1 $ 且对所有 $ n \in \mathbb{N} $ 有 $ M_n(\mathbf{V})_+ = \mathbf{K}_n $，通过矩阵扩张上的锥结构，表征了抽象的非单位算子系统。
• 对于压缩的拓扑嵌入 $ \Psi: \mathbf{Z} \to \mathbf{V} $，有不等式 $ n_{\rm cb}(\mathbf{V},u) \leq \|\Psi^{-1}\| \cdot n_{\rm cb}(\mathbf{Z},u) $，表明该量在这些映射下具有稳定性。