[论文解读] A characterization of inner product spaces

Mohammad Sal Moslehian, John Michael Rassias|arXiv (Cornell University)|Sep 1, 2010

Advanced Banach Space Theory参考文献 13被引用 5

一句话总结

本文提出了一种基于向量范数及其组合的带符号和的范数等式，对实内积空间提出了一种新的刻画准则。证明了：一个实赋范线性空间是内积空间，当且仅当，对于某个 $ k ≥ 2 $，所有带符号组合 $ \left\|x_1 + \sum_{i=2}^k \varepsilon_i x_i\right\| $ 的 $ n $ 次幂之和，等于对应于各向量范数的带符号组合 $ \left(\|x_1\| + \sum_{i=2}^k \varepsilon_i \|x_i\|\right) $ 的 $ n $ 次幂之和，且不等式方向取决于 $ n \geq 2 $ 或 $ n \leq 2 $。关键结果是：基于这种对称范数等式，给出了一个范数由内积诱导的充要条件。

ABSTRACT

In this paper we present a new criterion on characterization of real inner product spaces. We conclude that a real normed space $(X, \|...\|)$ is an inner product space if $$\sum_{ε_i \in \{-1,1\}} \|x_1 + \sum_{i=2}^kε_ix_i\|^2=\sum_{ε_i \in \{-1,1\}} (\|x_1\| + \sum_{i=2}^kε_i\|x_i\|)^2,$$ for some positive integer $k\geq 2$ and all $x_1, ..., x_k \in X$. Conversely, if $(X, \|...\|)$ is an inner product space, then the equality above holds for all $k\geq 2$ and all $x_1, ..., x_k \in X$.

研究动机与目标

• 建立实赋范线性空间为内积空间的新必要充分条件。
• 通过引入所有符号组合上的对称范数等式，推广现有的刻画方法（如平行四边形法则和戴恩条件）。
• 基于带符号和的范数的 $ n $ 次幂与各向量范数带符号组合的 $ n $ 次幂相等，提出一个判别准则。
• 将结果推广至希尔伯特空间上有界线性算子的情形，证明该恒等式的算子版本。

提出的方法

• 引入两个和：$ R_{k,n} $，即对所有 $ 2^{k-1} $ 种符号组合的 $ \left\|x_1 + \sum_{i=2}^k \varepsilon_i x_i\right\|^n $ 求和；$ A_{k,n} $，即对 $ \left(\|x_1\| + \sum_{i=2}^k \varepsilon_i \|x_i\|\right)^n $ 求和。
• 利用变分法和关于角度参数 $ p_{i,j} $ 的二阶偏导数检验，分析 $ R_{k,n}(P) $（以内积表示的范数表达式）的极值。
• 证明 $ R_{k,n}(P) $ 的最大值出现在 $ p_{i,j} = K_{i,j} \pi $ 时，对应向量对齐或反向对齐，且当 $ n > 2 $ 时，该最大值等于 $ A_{k,n} $。
• 证明当 $ n \geq 2 $ 时 $ R_{k,n} \leq A_{k,n} $，当 $ 0 < n \leq 2 $ 时 $ R_{k,n} \geq A_{k,n} $，且等式成立当且仅当范数由内积诱导。
• 将结果应用于 $ n = 2 $ 的情形，证明：若对某个 $ k \geq 2 $，有 $ R_{k,2} = A_{k,2} $，则该空间为内积空间。
• 推导出希尔伯特空间上有界线性算子的恒等式版本，证明 $ \sum_{\varepsilon_i} \left|T_1 + \sum_{i=2}^k \varepsilon_i T_i\right|^2 = \sum_{\varepsilon_i} \left(|T_1| + \sum_{i=2}^k \varepsilon_i |T_i|\right)^2 $。

实验结果

研究问题

• RQ1 在何种范数与符号组合条件下，对所有 $ x_1, \dots, x_k \in X $，等式 $ \sum_{\varepsilon_i} \left\|x_1 + \sum_{i=2}^k \varepsilon_i x_i\right\|^n = \sum_{\varepsilon_i} \left(\|x_1\| + \sum_{i=2}^k \varepsilon_i \|x_i\|\right)^n $ 成立？
• RQ2 当仅使用一个 $ k \geq 2 $ 时，$ n = 2 $ 情形的等式是否足以作为实赋范线性空间为内积空间的充分条件？
• RQ3 范数和 $ R_{k,n} $ 相对于 $ A_{k,n} $ 的行为如何依赖于 $ n $ 的取值？这对空间的几何性质有何含义？
• RQ4 该刻画能否推广至希尔伯特空间上有界线性算子的情形？在该设定下，恒等式具有何种形式？
• RQ5 以向量间夹角为参数的范数表达式 $ R_{k,n}(P) $ 的极值是否精确地在内积对齐或反向对齐时取得？

主要发现

• 实赋范线性空间 $ (X, \|\cdot\|) $ 是内积空间，当且仅当对所有 $ x_1, \dots, x_k \in X $，当 $ n \geq 2 $ 时 $ R_{k,n} \leq A_{k,n} $，当 $ 0 < n \leq 2 $ 时 $ R_{k,n} \geq A_{k,n} $，其中 $ k \geq 2 $。
• 当 $ n = 2 $ 时，对所有 $ x_1, \dots, x_k \in X $，有 $ R_{k,2} = A_{k,2} $ 当且仅当范数由内积诱导。
• 范数表达式 $ R_{k,n}(P) $ 的极值出现在 $ p_{i,j} = K_{i,j} \pi $ 时，对应向量对之间最大对齐或反向对齐，且该极值等于 $ A_{k,n} $。
• 当 $ n > 2 $ 时，$ R_{k,n}(P) $ 的最大值为 $ A_{k,n} $；当 $ 0 < n < 2 $ 时，最小值为 $ A_{k,n} $，从而确认了不等式条件为必要且充分。
• 算子版本的恒等式成立：对于希尔伯特空间上有界线性算子 $ T_1, \dots, T_k $，有 $ \sum_{\varepsilon_i} \left|T_1 + \sum_{i=2}^k \varepsilon_i T_i\right|^2 = \sum_{\varepsilon_i} \left(|T_1| + \sum_{i=2}^k \varepsilon_i |T_i|\right)^2 $，其中 $ |T| = (T^*T)^{1/2} $。
• 该结果推广了经典刻画方法（如平行四边形法则和戴恩条件），提供了一个基于符号组合上对称范数和的统一框架。