[論文レビュー] 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 \geq 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 $ 乗に等しいという基準を提示すること。
• 結果をヒルベルト空間上の有界線形作用素へ拡張し、恒等式の作用素版を証明すること。

提案手法

• 2つの和を定義する：$ R_{k,n} $ は、$ \left\|x_1 + \sum_{i=2}^k \varepsilon_i x_i\right\|^n $ のすべての $ 2^{k-1} $ 種類の符号の組み合わせについての和であり、$ A_{k,n} $ は、$ \left(\|x_1\| + \sum_{i=2}^k \varepsilon_i \|x_i\|\right)^n $ の和である。
• 角度パラメータ $ p_{i,j} $ に対する変分法および2階偏微分テストを用いて、内積の関数としての $ 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 $ n = 2 $ のときの等式が、ある $ k \geq 2 $ を用いても、実ノルム空間が内積空間であるための十分条件として機能するか？
• RQ3 ノルムの和 $ R_{k,n} $ と $ A_{k,n} $ の相対的挙動は $ n $ の値にどのように依存するのか？これは空間の幾何的性質に何を示唆するか？
• RQ4 この特徴付けをヒルベルト空間上の有界線形作用素へ拡張できるか？その場合、恒等式はどのような形をとるか？
• RQ5 角度パrameterでパrameter化されたノルム式 $ R_{k,n}(P) $ の極値は、内積が一致または反対方向を向いている場合に正確に達するか？

主な発見

• 実ノルム空間 $ (X, \|\cdot\|) $ が内積空間であるための必要十分条件は、ある $ k \geq 2 $ に対して、すべての $ x_1, \dots, x_k \in X $ に対して $ R_{k,n} \leq A_{k,n} $ が成り立つこと（$ n \geq 2 $ のとき）、および $ R_{k,n} \geq A_{k,n} $ が成り立つこと（$ 0 < n \leq 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} $ である。
• 本結果は、平行四辺形法則やデイの条件といった古典的特徴付けを一般化し、符号の組み合わせに関する対称的ノルム和に基づく統一的な枠組みを提供する。