[论文解读] 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$-Morse 集——建立了博赫纳积分的 Henstock–Kurzweil 型积分表示。证明表明，对任意 $\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.

研究动机与目标

• 将 Henstock–Kurzweil 积分框架扩展至有限维赋范空间中取值于巴拿赫空间的函数的博赫纳积分。
• 证明博赫纳积分可被形如球体或星形集的几何良构、$\lambda$-正则集上的黎曼型和所逼近。
• 表明此类逼近可在总和与局部误差项上实现任意精度（$\varepsilon$-精度）。
• 建立一种构造性方法，用于定义测度函数 $\delta$，使得 $\delta$-精细覆盖能生成与积分任意接近的和。

提出的方法

• 作者利用鲁辛定理构造紧集，在其上被积函数连续，从而实现一致逼近。
• 应用贝西科维奇或莫尔斯覆盖定理，利用 $\lambda$-正则且包含其中心的 $\lambda$-Morse 集生成定义域的 $\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$-穷尽序列上，$\|G(S_i)\|$ 的和是统一有界的，从而确保收敛至总积分。

实验结果

研究问题

• RQ1 在有限维空间中，博赫纳积分能否表示为球体或 $\lambda$-Morse 集等几何结构集上的黎曼型和的极限？
• RQ2 如何显式构造测度函数 $\delta$，使得 $\delta$-精细覆盖能生成与博赫纳积分任意接近的和？
• RQ3 在何种条件下，可保证近似中的全局和与局部误差均被控制在给定 $\varepsilon > 0$ 之内？
• RQ4 经典 Henstock–Kurzweil 方法在多大程度上可被推广至取值于巴拿赫空间的向量值函数？

主要发现

• 对任意 $\varepsilon > 0$，存在测度 $\delta$，使得每个 $\delta$-精细的 $\lambda$-Morse 集序列，若 $\mu$-穷尽 $X$，则其和 $\sum f(x_i)\mu(S_i)$ 与博赫纳积分的偏差在 $\varepsilon$ 之内。
• 局部误差 $\sum \|f(x_i)\mu(S_i) - G(S_i)\| < \varepsilon$ 同样受到控制，确保逼近的鲁棒性。
• $\mu$-穷尽序列上 $\|G(S_i)\|$ 的和统一有界于 $M < \infty$，这对收敛性至关重要。
• 若所有 $\delta$-精细序列均满足和条件，则 $f$ 是 $\mu$-可积且 $\int_X f\,d\mu = G(X)$。
• 证明表明 $\|f\|$ 是 $X$ 上的 $\mu$-可积函数，从而推出 $f$ 是博赫纳可积的。
• 该构造依赖于勒贝格点的存在性，以及覆盖集中集合满足 $\mu(S \setminus S^\circ) = 0$ 的事实，从而保证测度论的一致性。