[論文レビュー] A treatment of the Cauchy--Schwarz inequality in $C^*$-modules

Ljiljana Arambašić, Damir Bakić+1 more|arXiv (Cornell University)|May 21, 2009

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^*$-加群における古典的なコーシー–シュワルツ不等式を一般化・改善すること。
• 誘導された半内積に基づいて、次第にタイトになる不等式の列を体系的に生成する方法を開発すること。
• 特に、$a$ が可逆のとき $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$ を定義する。
• 誘導された半内積を用いて、入れ子になった不等式の列 $\langle x,x\rangle \geq \langle x,z\rangle p_m(a)\langle z,x\rangle$（$m \geq 0$）を導出する。ここで $a = \langle z,z\rangle$ である。
• 再帰的に $p_0(a) = \|z\|^{-2}$ および $p_{m+1}(a) = p_m(a) + p_m(a)(a - \|z\|^2 p_m(a)) 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{正の元 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$ に対して成り立つ。これは導出された不等式の妥当性を保証し、収束解析を支援する。