[논문 리뷰] Best approximations, distance formulas and orthogonality in C*-algebras

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

Advanced Operator Algebra Research참고 문헌 14인용 수 6

한 줄 요약

이 논문은 C*-대수에서 최적 근사의 상태 기반 특성화를 수립한다. 원소 $ b_0 \in \mathcal{B} $가 $ a \in \mathcal{A} $에 대한 최적 근사임은, 모든 $ b \in \mathcal{B} $에 대해 $ \phi((a - b_0)^* (a - b_0)) = \|a - b_0\|^2 $ 이고 $ \phi(a^*b) = \phi(b_0^*b) $ 를 만족하는 상태 $ \phi \in \mathcal{S}_\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 수직임을 특성화함으로써 기하학적 수직 조건과 함수해석학적 조건을 연결한다.
• 조건부 기대와 상태를 이용하여 원소에서 부분공간으로의 거리에 대한 하한을 유도하며, 스칼라 배수의 항등원과 같은 특수한 경우에 등호가 성립한다.

제안 방법

• C*-대수를 힐베르트 공간 위의 유계 연산자 대수로 포함시키기 위해 GNS 구성과 순환 표현을 활용한다.
• 각 상태 $ \phi \in \mathcal{S}_\mathcal{A} $ 에 대해 준내적곱 $ \langle a_1 | a_2 \rangle_\phi = \phi(a_1^* a_2) $ 를 정의함으로써 $ \mathcal{A} $ 를 준내적곱 공간으로 만든다.
• 모든 $ b \in \mathcal{B} $ 에 대해 $ \|a - b_0\|_\phi = \|a - b_0\| $ 이고 $ \langle a - b_0 | b \rangle_\phi = 0 $ 인 상태 $ \phi $ 가 존재하는 것과 동치로, $ b_0 $ 가 $ \mathcal{B} $ 에서 $ a $ 에 대한 최적 근사임을 보여준다. 즉, 준내적곱 공간 내에서의 수직 조건이다.
• 유한 차원 근사의 확장을 전체 C*-대수로 확장하기 위해 하우프라인-반하우스 정리와 조건부 기대 이론을 적용한다.
• 리스 표현 정리와 쌍대성을 이용하여, 그러한 상태 $ \phi $ 의 존재를 $ a - b_0 $ 의 노름 도달 집합에 지지되는 확률 측도의 존재와 연결한다.
• 조건부 기대 $ E $ 가 $ \mathcal{B} $ 에 대한 $ \mathcal{A} $ 에서의 사영일 때, 거리 $ \text{dist}(a, \mathcal{B})^2 $ 에 대한 하한을 $ \sup \{ \phi(E(a^*a) - E(a)^*E(a)) \} $ 를 통해 도출한다.

실험 결과

연구 질문

• RQ1 단위 C*-대수 $ \mathcal{A} $ 의 부분공간 $ \mathcal{B} $ 에서 최적 근사가 존재하는 조건은 무엇이며, 어떻게 특성화할 수 있는가?
• RQ2 측도 대신 상태를 사용하여 $ C(X) $ 의 고전적 거리 공식을 비가환 C*-대수로 일반화할 수 있는가?
• RQ3 C*-대수에서 원소가 부분공간과 Birkhoff-James 수직임에 대한 정확한 상태 기반 조건은 무엇인가?
• RQ4 조건부 기대를 통한 거리 하한 공식이 언제 타당한가?
• RQ5 거리 하한 공식 $ \text{dist}(a, \mathcal{B})^2 \geq \sup \{ \phi(E(a^*a) - E(a)^*E(a)) \} $ 에서 등호가 $ \mathcal{B} = \mathbb{C}1_\mathcal{A} $ 이외의 경우에도 성립하는가?

주요 결과

• 최적 근사 $ b_0 \in \mathcal{B} $ 가 존재하는 것은, 모든 $ b \in \mathcal{B} $ 에 대해 $ \phi((a - b_0)^* (a - b_0)) = \|a - b_0\|^2 $ 이고 $ \phi(a^*b) = \phi(b_0^*b) $ 를 만족하는 상태 $ \phi \in \mathcal{S}_\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 수직임은, 모든 $ b \in \mathcal{B} $ 에 대해 $ \phi(a^*a) = \|a\|^2 $ 이고 $ \phi(a^*b) = 0 $ 를 만족하는 상태 $ \phi \in \mathcal{S}_\mathcal{A} $ 가 존재하는 것과 동치이며, 이는 이전 결과를 확장한다.
• 상태와 준내적곱을 통한 특성화는 피타고라스 구조를 드러낸다: $ \|a - b_0\|_\phi = \|a - b_0\| $ 이고 모든 $ b \in \mathcal{B} $ 에 대해 $ \theta_\phi^{a-b_0, b} = \pi/2 $ 이며, 이는 준내적곱 공간 내에서의 수직 조건을 나타낸다.
• 증명 기법은 하우프라인-반하우스 정리를 통해 유한 차원 조건부 기대를 전체 C*-대수로 확장함으로써, 필요한 상태 $ \phi $ 의 존재를 보장한다.