[论文解读] 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

一句话总结

本文通过构造一系列由半内积诱导的半内积，提出了一种在 $C^*$-模上对柯西-施瓦茨不等式进行迭代改进的新方法。证明了当正元 $a = \langle z,z\rangle$ 可逆时，序列 $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$。
• 利用诱导出的半内积，推导出一组嵌套不等式：对所有 $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_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)$。
• 分析 $p_m(a)$ 在 $C^*$-代数范数下的收敛性，证明当 $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{在 } M_n({\mathscr{A}}) \text{ 中的正元素}$，从而改进已知的下界。

实验结果

研究问题

• RQ1 能否通过由半内积诱导的序列，系统性地改进 $C^*$-模中的柯西-施瓦茨不等式？
• RQ2 当 $a = \langle z,z\rangle$ 可逆时，序列 $p_m(a)$ 的收敛行为如何？
• RQ3 诱导出的不等式在 $C^*$-模设定下与协方差和方差概念有何关联？
• RQ4 能否利用该框架，证明 $C^*$-模中向量的格拉姆矩阵被 $M_n({\mathscr{A}})$ 中的某个正元素从下方控制？
• RQ5 序列 $p_m(a)$ 在有限步后终止的条件是什么？这又对 $a$ 的值域意味着什么？

主要发现

• 通过迭代方法构造的序列 $p_m(a)$，对于任意可逆的正元 $a = \langle z,z\rangle$，在 $C^*$-代数中范数收敛于 $a^{-1}$。
• 对于希尔伯特空间上的正算子 $a$，当且仅当 $\text{Im}\,a$ 是闭的时，序列 $a p_m(a)$ 在范数下收敛于 $\overline{\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]$ 提供了更强的下界。
• 对所有 $m$，均有 $\|z p_m(a)^{1/2}\| \leq 1$，该条件确保了所导出不等式的有效性，并支持了收敛性分析。