[论文解读] 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$，泛函 $x^*$ 作用于 $f|_A$ 的RL积分等于 $x^*f|_A$ 的勒贝格积分，从而确认佩蒂斯可积性。

实验结果

研究问题

• RQ1 能否定义一种新的向量值积分，使其同时推广黎曼积分与博赫纳积分，且比佩蒂斯积分更具可处理性？
• RQ2 RL积分是否对具有可积控制函数的函数蕴含弱可测性与佩蒂斯可积性？
• RQ3 RL积分如何与非可分巴拿赫空间的几何结构相关联？
• RQ4 RL空间 $\overline{L_1}$ 的结构性质是什么？它与博赫纳可积函数和佩蒂斯可积函数相比有何异同？

主要发现

• RL积分在RL-范数下是良定义的，并构成一个巴拿赫空间，该空间同时推广了黎曼积分与博赫纳积分。
• 任何在 $\overline{L_1}$ 中且具有可积控制函数的函数都是弱可测的，该结论通过使用 $x^*f$ 的可测控制函数与下界进行反证法得以证明。
• 函数 $f$ 在可测集 $A$ 上的RL积分是唯一的元素 $x_A \in X$，使得对所有 $x^* \in X^*$ 都有 $x^*(x_A) = \int_A x^*f \, d\mu$，从而证明了佩蒂斯可积性。
• RL积分比佩蒂斯积分更为严格，但避免了其病态性质，如不完备性以及原函数不可微性等问题。
• 若 $f$ 不是弱可测的，则 $x^*f$ 的最小可测控制函数与最大可测下界的存在性将导致矛盾，从而证明了弱可测性。
• RL积分在黎曼/博赫纳积分与佩蒂斯积分之间建立了自然的桥梁，使其成为研究巴拿赫空间几何（尤其是在非可分情形下）的宝贵工具。