[论文解读] Vector spaces with an order unit

Vern I. Paulsen, Mark Tomforde|ArXiv.org|Dec 17, 2007

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

一句话总结

本文为具有序单位的有序 $*$-向量空间建立了基础理论，引入了三种关键的序（半）范数——最小、最大和分解范数，并证明在非交换情形下它们互不相同。文章建立了函子性阿基米德化过程，并表明当空间与 $\mathbb{C}$ 不同构时，存在不可数无穷多个不同的序范数，且分解范数并非最小与最大范数的凸组合。

ABSTRACT

We develop a theory of ordered *-vector spaces with an order unit. We prove fundamental results concerning positive linear functionals and states, and we show that the order (semi)norm on the space of self-adjoint elements admits multiple extensions to an order (semi)norm on the entire space. We single out three of these (semi)norms for further study and discuss their significance for operator algebras and operator systems. In addition, we introduce a functorial method for taking an ordered space with an order unit and forming an Archimedean ordered space. We then use this process to describe an appropriate notion of quotients in the category of Archimedean ordered spaces.

研究动机与目标

• 为具有序单位的有序 $*$-向量空间建立全面的理论，将实有序向量空间的结果扩展至复 $*$-向量空间设定。
• 通过为算子系统建立范畴论框架，弥补其基础工具的缺失。
• 在具有阿基米德序单位的有序 $*$-向量空间上引入并研究三种典型序（半）范数——最小、最大与分解范数。
• 构建一个函子性阿基米德化过程，将任意具有序单位的有序 $*$-向量空间转化为阿基米德有序空间。
• 利用阿基米德化函子定义并分析阿基米德有序空间范畴中的商空间，实现范畴论构造。

提出的方法

• 在自伴元素上引入序半范数，并通过三种不同的（半）范数将其扩展至整个空间：最小范数 ($\|\cdot\|_m$)、最大范数 ($\|\cdot\|_M$) 和分解范数 ($\|\cdot\|_{\textnormal{dec}}$)。
• 在非阿基米德设定下使用哈恩-巴拿赫定理证明正线性泛函的存在性，并陈述一般化结果，推广自阿基米德空间的结论。
• 构建一个函子性阿基米德化过程，通过商去有序空间中的非阿基米德部分，得到一个阿基米德有序空间。
• 将阿基米德化过程应用于定义阿基米德有序空间范畴中的商空间，支持范畴论构造。
• 使用矩阵表示和范数估计比较三种（半）范数，特别是在 $\mathbb{C}^2$ 和 $M_2(\mathbb{C})$ 中的情形。
• 通过显式例子和涉及 $\sum |\cos\theta_j|$、$\sum |\sin\theta_j|$ 与 $\|r_j\|$ 的不等式，证明 $\|F\|_M \geq \sqrt{2}$，从而表明对某个特定 $F$ 有 $\|F\|_m < \|F\|_M$。

实验结果

研究问题

• RQ1 能否将有序 $*$-向量空间中自伴元素上的序（半）范数扩展至整个空间？若能，有多少种扩展方式？
• RQ2 在具有阿基米德序单位的有序 $*$-向量空间上，最小、最大与分解范数之间存在何种关系？
• RQ3 分解范数在一般情况下是否为最小与最大范数的凸组合？
• RQ4 能否通过函子性构造，从任意具有序单位的有序 $*$-向量空间生成一个阿基米德有序空间？
• RQ5 给定一个有序 $*$-向量空间，其所有序范数的空间结构是怎样的？

主要发现

• 当空间不与 $\mathbb{C}$ 同构时，最小序半范数 $\|\cdot\|_m$ 与最大序半范数 $\|\cdot\|_M$ 互不相同，通过构造一个满足 $\|F\|_m < \|F\|_M$ 的元素 $F$ 得到证明。
• 在 $C^*$-代数 $M_2(\mathbb{C})$ 中，矩阵 $\begin{pmatrix}0&1\\0&0\end{pmatrix}$ 的最小范数为 $1/2$，而最大范数与分解范数均为 $1$，从而证明了三者互不相同。
• 对于 $\mathbb{C}^2$ 中的元素 $(1,i)$，最小范数与分解范数均为 $1$，但最大范数为 $\sqrt{2}$，从而证明 $\|\cdot\|_m \neq \|\cdot\|_M$。
• 分解范数并非最小与最大范数的凸组合，因为 $\|\cdot\|_{\textnormal{dec}}^{M_2}$ 并非 $\|\cdot\|_m^{M_2}$ 与 $\|\cdot\|_M^{M_2}$ 的线性组合。
• 当 $V \ncong \mathbb{C}$ 时，$V$ 上存在不可数无穷多个不同的序范数，因为对每个 $t \in [0,1]$，凸组合 $\|\cdot\|_t = t\|\cdot\|_m + (1-t)\|\cdot\|_M$ 均产生不同的范数。
• 在 $M_2(\mathbb{C})$ 中，对角矩阵的分解范数与 $\mathbb{C}^2$ 中的分解范数一致，且 $M_2(\mathbb{C})$ 中的最大范数与 $\mathbb{C}^2$ 中的最大范数一致，保持了结构的一致性。