[論文レビュー] 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$という凸結合が、各$t$で異なるノルムを生成するためである。
• $M_2(\mathbb{C})$における対角行列の分解ノルムは、$\mathbb{C}^2$における分解ノルムと一致し、$M_2(\mathbb{C})$における最大ノルムは、$\mathbb{C}^2$における最大ノルムと一致する。これにより、構造的一致性が保たれている。