[논문 리뷰] A treatment of the Cauchy--Schwarz inequality in $C^*$-modules

Ljiljana Arambašić, Damir Bakić외 1명|arXiv (Cornell University)|2009. 05. 21.

Mathematical Inequalities and Applications참고 문헌 12인용 수 12

한 줄 요약

이 논문은 고정된 $z \in {\mathscr{X}}$에 대해 유도된 준내적의 수열을 구성함으로써 $C^*$-모듈러에서 코시-슈바르츠 부등식의 새로운 반복적 개선을 제안한다. 양의 원소 $a = \langle z,z\rangle$에 대해, $a$가 가역일 경우 수열 $p_m(a)$가 노름으로 $a^{-1}$로 수렴함을 증명하며, 이는 고전적 결과들인 오스트로스키 및 그람 행렬 부등식을 일반화하고 개선하는 점차 더 날카로운 부등식의 중첩된 수열을 제공한다.

ABSTRACT

We study the Cauchy--Schwarz and some related inequalities in a semi-inner product module over a $C^*$-algebra $\A$. The key idea is to consider a semi-inner product $\A$-module as a semi-inner product $\A$-module with respect to another semi-inner product. In this way, we improve some inequalities such as the Ostrowski inequality and an inequality related to the Gram matrix. The induced semi-inner products are also related to the the notion of covariance and variance. Furthermore, we obtain a sequence of nested inequalities that emerges from the Cauchy--Schwarz inequality. As a consequence, we derive some interesting operator-theoretical corollaries. In particular, we show that the sequence arising from our construction, when applied to a positive element of a $C^*$-algebra, converges to its pseudo-inverse.

연구 동기 및 목표

• 준내적 $C^*$-모듈러에서 고전적 코시-슈바르츠 부등식을 일반화하고 개선하는 것.
• 유도된 준내적에 기반한 점차 더 날카로운 부등식의 수열을 체계적으로 생성하는 방법을 개발하는 것.
• 특히 $p_m(a) \to a^{-1}$임을 보여주는 연산자 이론적 수렴 결과를 확립하는 것.
• 유도된 부등식을 $C^*$-모듈러 설정에서 공분산과 분산 개념과 연관짓는 것.
• 프레임워크를 그람 행렬로 확장하고 $M_n({\mathscr{A}})$에서 더 강력한 정규성 하한을 도출하는 것.

제안 방법

• 고정된 $z \in {\mathscr{X}}$에 대해 새로운 준내적 $\langle x,y\rangle_z = \|z\|^2\langle x,y\rangle - \langle x,z\rangle\langle z,y\rangle$를 정의한다.
• 유도된 준내적을 사용하여 중첩된 부등식 수열을 유도한다: $m \geq 0$에 대해 $\langle x,x\rangle \geq \langle x,z\rangle p_m(a)\langle z,x\rangle$, 여기서 $a = \langle z,z\rangle$.
• 수열 $p_m(a)$를 $p_0(a) = \|z\|^{-2}$ 및 $p_{m+1}(a) = p_m(a) + p_m(a)(a - \|z\|^2 p_m(a)) p_m(a)$를 통해 재귀적으로 구성한다.
• $C^*$-대수의 노름에서 $p_m(a)$의 수렴성을 분석하여, $a$가 가역일 경우 $p_m(a) \to a^{-1}$임을 보인다.
• 표현 $\langle x,z\rangle p_m(a)\langle z,x\rangle$를 통해 구성과 공분산 및 분산 개념을 연관시킨다.
• 이 프레임워크를 그람 행렬에 적용하여 $[\langle x_i,x_j\rangle] \geq \text{positive element in } M_n({\mathscr{A}})$임을 증명하고, 기존 경계를 개선한다.

실험 결과

연구 질문

• RQ1 $C^*$-모듈러에서 유도된 준내적에 기반한 수열을 통해 코시-슈바르츠 부등식을 체계적으로 개선할 수 있는가?
• RQ2 $a = \langle z,z\rangle$가 가역일 경우 수열 $p_m(a)$의 수렴 행동은 어떠한가?
• RQ3 유도된 부등식은 $C^*$-모듈러 설정에서 공분산과 분산 개념과 어떻게 관련되는가?
• RQ4 이 프레임워크를 사용하여 $C^*$-모듈러의 벡터 그람 행렬이 $M_n({\mathscr{A}})$의 양의 원소로 아래에서 유계화될 수 있는가?
• RQ5 수열 $p_m(a)$가 유한한 단계 이후에 종료되는 조건은 무엇이며, 이는 $a$의 상의 범위에 대해 무엇을 시사하는가?

주요 결과

• 가역적인 양의 원소 $a = \langle z,z\rangle$에 대해 반복 방법으로 구성된 수열 $p_m(a)$는 $C^*$-대수에서 노름으로 $a^{-1}$로 수렴한다.
• 힐베르트 공간 위의 양의 연산자 $a$에 대해, 수열 $a p_m(a)$가 노름으로 $\overline{\text{Im}\,a}$ 위로의 직교 프로젝션으로 수렴하는 것은 $\text{Im}\,a$가 닫혀 있을 때이고 그 때에만 성립한다.
• 만약 $\sigma(a)$가 유한하면 수열 $p_m(a)$는 유한한 단계 이후에 종료되며, $p_M(a)$는 $\overline{\text{Im}\,a}$ 위로의 프로젝션이다.
• 유도된 부등식 $\langle x,x\rangle \geq \langle x,z\rangle p_m(a)\langle z,x\rangle$는 고전적 코시-슈바르츠 부등식을 개선하는 중첩된 수열을 이룬다.
• 이 프레임워크는 오스트로스키 부등식을 개선하며, $M_n({\mathscr{A}})$에서 그람 행렬 $[\langle x_i,x_j\rangle]$에 대해 더 강력한 하한을 제공한다.
• $\|z p_m(a)^{1/2}\| \leq 1$이 모든 $m$에 대해 성립하며, 이는 유도된 부등식의 타당성을 보장하고 수렴 분석을 지원한다.