[논문 리뷰] Vector spaces with an order unit

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

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$에서의 최대 노름과 일치하여, 구조적 일致성을 유지한다.