[論文レビュー] Some Remarks on Vector-Valued Integration

Vladimir Kadets, B. M. Shumyatskiy+3 more|ArXiv.org|Mar 17, 1999

Advanced Control Systems OptimizationEngineering参考文献 2被引用数 17

ひとこと要約

本稿では、ノルムの上側ルベーグ積分を用いて定義されるバナッハ空間値関数のためのRL（リーマン＝ルジャンドル）積分を導入し、その性質を確立する。主な貢献は、RL可積分性がペティス可積分性を含意すること、およびRL可積分関数が弱可測であることを示したことであり、リーマン積分、ボヘナー積分、ペティス積分を結びつける強力な構造的意味を持つ。

ABSTRACT

The article presents a new method of integration of functions with values in Banach spaces. This integral and related notions prove to be a useful tool in the study of Banach space geomtry.

研究の動機と目的

• リーマン積分とボヘナー積分を統合する新しいベクトル値積分論を構築し、ペティス積分の限界を回避する。
• ノルムの上側ルベーグ積分に基づく枠組みを確立し、新たなバナッハ空間（RL空間）を構成する。
• RL可積分関数が弱可測であり、ペティス可積分であることを証明することで、新規積分を既存理論と結びつける。
• RL積分が非分離バナッハ空間の幾何学的性質を研究する上で有用な道具であることを示す。

提案手法

• 非負関数の上側ルベーグ積分を、可測上界関数のルベーグ積分の下界として定義する。
• 関数のノルムの上側ルベーグ積分を用いてRLノルムを定義し、空間 $\overline{L_1}(\Omega, \Sigma, \mu, X)$ を構成する。
• 可算分割とサンプリング点を用いてRL積分和を定義し、RLノルムにおけるその極限としてRL積分を定義する。
• 関数のノルムに可積分な上界関数が存在する場合、任意の汎関数との合成が可測であることを示し、弱可測性を導く。
• 関数 $x^*f$ の最小の可測上界関数と最大の可測下界関数の存在を用いて、非可測性を仮定した場合の矛盾を導出し、弱可測性を証明する。
• 任意の可測集合 $A$ に対して、$f|_A$ のRL積分に $x^*$ を作用させた結果が、$x^*f|_A$ のルベーグ積分に一致することを示し、ペティス可積分性を確認する。

実験結果

リサーチクエスチョン

• RQ1 リーマン積分とボヘナー積分を一般化しつつ、ペティス積分よりも取り扱いやすい新しいベクトル値積分を定義できるか？
• RQ2 ノルムに可積分な上界関数をもつ関数に対して、RL積分が弱可測性およびペティス可積分性を含意するか？
• RQ3 RL積分は非分離バナッハ空間の幾何学的性質とどのように関係するか？
• RQ4 RL空間 $\overline{L_1}$ の構造的性質は何か？また、ボヘナーおよびペティス可積分関数と比較してどうなるか？

主な発見

• RL積分はRLノルムのもとで適切に定義され、リーマン積分およびボヘナー積分を一般化するバナッハ空間をなす。
• 可積分な上界関数をもつ $\overline{L_1}$ の任意の関数は、$x^*f$ の可測上界関数と下界関数を用いた背理法により弱可測であることが示された。
• 可測集合 $A$ 上での関数 $f$ のRL積分は、すべての $x^* \in X^*$ に対して $x^*(x_A) = \int_A x^*f \, d\mu$ を満たす唯一の元 $x_A \in X$ として存在し、ペティス可積分性が証明された。
• RL積分はペティス積分よりも厳密に制限がきついが、非完備性や原始関数の微分不能性といったペティス積分の病理的性質を回避する。
• 関数 $f$ が弱可測でない場合、$x^*f$ の最小の可測上界関数と最大の可測下界関数の構成から矛盾が生じるため、弱可測性が証明された。
• RL積分はリーマン／ボヘナー積分とペティス積分の自然な橋渡しを果たし、特に非分離な設定においてバナッハ空間幾何学の貴重な道具である。