[論文レビュー] Lusin's Theorem and Bochner Integration

Peter A. Loeb, Erik Talvila|arXiv (Cornell University)|Jun 18, 2004

Point processes and geometric inequalities参考文献 16被引用数 25

ひとこと要約

本稿は、有限次元ノルム空間における微分の基底から導かれる幾何学的に構造化された集合——特に球または $\lambda$-モース集合——を用いて、ボフラー積分のヘンストック–キュルツヴァイル型積分表現を確立する。任意の $\varepsilon > 0$ に対して、合計の和と局所的誤差の両方が $\varepsilon$ 以内に収まるように、ボフラー積分が近似可能であることを示しており、これはルベーグ点とルジンの定理に基づく構成的ゲージ関数に依存する。

ABSTRACT

It is shown that the approximating functions used to define the Bochner integral can be formed using geometrically nice sets, such as balls, from a differentiation basis. Moreover, every appropriate sum of this form will be within a preassigned $ε$ of the integral, with the sum for the local errors also less than $ε$. All of this follows from the ubiquity of Lebesgue points, which is a consequence of Lusin's theorem, for which a simple proof is included in the discussion.

研究の動機と目的

• バナッハ空間値関数の有限次元ノルム空間上におけるボフラー積分に、ヘンストック–キュルツヴァイル積分の枠組みを拡張すること。
• ボフラー積分が、球や星型集合などの幾何学的に良い、$\lambda$-正則な集合を用いたリーマン型和によって近似可能であることを示すこと。
• このような近似が、合計の和と局所的誤差の両方において任意の精度（$\varepsilon$-精度）を達成できることを示すこと。
• 合計の和と局所的誤差が $\delta$-細かい被覆によって任意に積分に近づくように保証するゲージ関数 $\delta$ を構成的に定義する方法を確立すること。

提案手法

• 著者たちは、被積分関数が連続となるコンパクト集合をルジンの定理を用いて構成し、一様近似を可能にする。
• ベシコビッチまたはモース被覆定理を適用して、$\lambda$-正則で中心を含む $\lambda$-モース集合を用いた $\delta$-細かい被覆を生成する。
• モジュラス連続性と $\varepsilon$-許容誤差に基づいて、$\delta: X \to (0,1]$ というゲージ関数を定義し、各集合 $S_i$ がそのタグ $x_i$ を中心とする半径 $\delta(x_i)$ 以内に含まれることを保証する。
• 近似和は $\sum f(x_i)\mu(S_i)$ として形成され、ルベーグ点の豊富さを用いて合計の和と誤差項を $\varepsilon$ 以内に制御する。
• 積分汎関数の可算加法性と、被覆に含まれる集合 $S$ に対して $\mu(S \setminus S^\circ) = 0$ であるという事実を証明で利用する。
• 重要な技術的ステップとして、$\mu$-hausting列における $\|G(S_i)\|$ の和が一様有界であることを示し、合計積分への収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 有限次元空間における球や $\lambda$-モース集合といった幾何学的に構造化された集合を用いたリーマン型和の極限として、ボフラー積分を表現できるか。
• RQ2 合計の和と局所的誤差の両方が、与えられた $\varepsilon > 0$ 以内に収まるように、$\delta$-細かい被覆が積分に任意に近づけるように、ゲージ関数 $\delta$ を明示的に構成できるか。
• RQ3 合計の和と局所的誤差の両方が、与えられた $\varepsilon > 0$ 以内に収まるように保証されるための条件は何か。
• RQ4 古典的なヘンストック–キュルツヴァイルのアプローチを、バナッハ空間値関数にどの程度まで適応できるか。

主な発見

• 任意の $\varepsilon > 0$ に対して、$\mu$-hausting で $\delta$-細かい $\lambda$-モース集合の列が存在し、その和 $\sum f(x_i)\mu(S_i)$ がボフラー積分から $\varepsilon$ 以内に収まる。
• 局所的誤差 $\sum \|f(x_i)\mu(S_i) - G(S_i)\| < \varepsilon$ も制御されており、安定した近似が保証される。
• $\mu$-hausting列における $\|G(S_i)\|$ の和は、$M < \infty$ で一様有界であり、収束に不可欠である。
• 関数 $f$ は $\mu$-可積分であり、すべての $\delta$-細かい列に対して和の条件が成り立つ限り、$\int_X f\,d\mu = G(X)$ が成り立つ。
• 証明により、$\|f\|$ が $X$ 上で $\mu$-可積分であることが示され、これは $f$ がボフラー可積分であることを意味する。
• 構成は、ルベーグ点の存在と、被覆集合に対して $\mu(S \setminus S^\circ) = 0$ であるという事実に依存しており、測度論的整合性を保証する。