[論文レビュー] Cone Normed Linear Spaces

T. K. Samanta, Sanjay Roy+1 more|arXiv (Cornell University)|Sep 11, 2010

Approximation Theory and Sequence Spaces被引用数 3

ひとこと要約

この論文では、バナッハ空間内の錐を用いて実線形空間に錐ノルムを定義することにより、錐ノルム線形空間を導入し、錐収束およびコーシー列を確立し、正規錐を備えた有限次元の錐ノルム線形空間において、部分集合がコンパクトであることと、閉かつ有界であることとは同値であることを証明する—古典的な位相的性質を錐に基づくノルムへと拡張する。

ABSTRACT

In this paper, we introduce cone normed linear space, study the cone convergence with respect to cone norm. Finally, we prove the completeness of a finite dimensional cone normed linear space.

研究の動機と目的

• バナッハ空間内の錐を用いてノルムの概念を一般化することで、錐ノルム線形空間の概念を形式化すること。
• この新しい枠組みにおいて、錐収束および錐コーシー列を定義し、それらを研究すること。
• 特に有界性、閉性、コンパクト性に関して、錐ノルム線形空間の位相的性質を調査すること。
• 正規錐を備えた有限次元の錐ノルム線形空間において、コンパクト性と閉性および有界性との同値性を確立すること。
• 完備性や逐次的コンパクト性といった古典的な関数解析的結果を、錐ノルム設定へと拡張すること。

提案手法

• 実線形空間 $V$ に、バナッハ空間 $E$ および $E$ の正規錐 $C \subseteq E$ を用いて、錐ノルム $\|\cdot\|_c: V \to E$ を定義する。
• 錐収束を導入する：任意の $\epsilon \gg \theta$ に対して、ある $n_0$ が存在し、すべての $n \geq n_0$ に対して $\|x_n - x\|_c \ll \epsilon$ が成り立つとき、$x_n \to x$ と定義する。
• 同様に、錐コーシー列を定義する：すべての $m,n \geq n_0$ に対して $\|x_n - x_m\|_c \ll \epsilon$ が成り立つ。
• 錐の正規定数 $K$ を用いて、錐ノルム収束を元のバナッハ空間ノルムへの収束と関連付ける：$\|\|x_n - x\|_c\| \leq K\|\epsilon\|$ が成り立つ。
• 基底を用いてベクトルを表現し、係数を錐ノルムで有界化することで、有限次元空間における逐次的コンパクト性を証明し、ボルツァーノ＝ヴァイエルシュトラスの定理を適用する。
• 有限次元空間において、錐ノルムおよび錐の内部の性質を用いて、コンパクト性が閉かつ有界であることと同値であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 バナッハ空間内の錐を用いてノルムの概念を一般化することで、錐ノルム線形空間を定義するにはどうすればよいか？
• RQ2 錐収束が元のバナッハ空間ノルムへの収束を保証する条件は何か？ 逆に、その逆も成り立つ条件は？
• RQ3 有限次元の錐ノルム線形空間の部分集合がコンパクトであるための条件は何か？
• RQ4 有限次元の錐ノルム線形空間において、閉かつ有界であることがコンパクト性の十分条件であるか？
• RQ5 代数的および位相的性質（例：完備性、連続性）は、標準的ノルムと比較して、錐ノルム下でどのように振る舞うか？

主な発見

• 錐ノルム線形空間における錐収束は、元のバナッハ空間内での錐ノルム値が零元 $\theta$ に収束することと同値である。
• 正規錐を備えた有限次元の錐ノルム線形空間において、部分集合がコンパクトであることと、それが閉かつ有界であることとは同値である。
• 錐ノルム線形空間における任意のコーシー列は有界である。これは、ノルム空間における標準的結果を一般化する。
• 錐ノルムは三角不等式および斉次性を満たし、錐の順序によって誘導される順序において、逆三角不等式 $|\|x\|_c - \|y\|_c| \leq \|x - y\|_c$ も成り立つ。
• 収束またはコーシー列であるベクトル列の和およびスカラー倍は、それぞれ収束またはコーシー列のままであり、逐次的構造が保たれる。
• 錐ノルムによって誘導される位相は、錐の順序構造と整合性があり、錐の内部は開球および収束の定義において中心的な役割を果たす。