[论文解读] Integrals with values in Banach spaces and locally convex spaces

Piotr Mikusiński|arXiv (Cornell University)|Mar 20, 2014

advanced mathematical theories参考文献 3被引用 3

一句话总结

本文通过简单函数的级数构造了取值于巴拿赫空间和局部凸空间的博赫纳积分，建立了其线性、收敛性性质，并证明其与盖尔范德-佩蒂斯可积性等价。核心贡献在于构建了一个严格的测度论框架，用于向量值函数的积分，通过简单函数的逼近和基于范数的收敛性，将勒贝格积分推广至抽象的巴拿赫空间和局部凸空间。

ABSTRACT

The purpose of this article is to present the construction and basic properties of the general Bochner integral. The approach presented here is based on the ideas from the book The Bochner Integral by J. Mikusinski where the integral is presented for functions defined on $\mathbb{R}^N$. In this article we present a more general and simplified construction of the Bochner integral on abstract measure spaces. An extension of the construction to functions with values in a locally convex space is also considered.

研究动机与目标

• 在取值于巴拿赫空间的抽象测度空间上，发展博赫纳积分的一般框架。
• 通过射影极限和半范数，将博赫纳积分的构造扩展至取值于局部凸空间的函数。
• 证明积分是良定义的，且不依赖于逼近简单函数级数的选择。
• 通过对偶性建立博赫纳可积性与盖尔范德-佩蒂斯可积性之间的等价性。
• 证明博赫纳可积函数空间在适当的半范数拓扑下是完备的。

提出的方法

• 使用函数的级数表示：f ≃ f₁ + f₂ + ⋯，其中 fₙ 是 L¹(X,μ,E) 中的简单函数。
• 将博赫纳积分定义为 ∫f = ∫f₁ + ∫f₂ + ⋯，依赖于 ∑‖fₙ‖₁ 的绝对收敛性。
• 应用三角不等式和范数估计，证明 ‖∫f‖ ≤ ∫‖f‖，确保有界性和连续性。
• 对于局部凸空间，使用一族半范数 (‖·‖_α) 定义拓扑，并通过射影极限扩展积分构造。
• 通过不等式 ‖∑∫fₙ‖_α ≤ ∫‖f‖_α 证明积分的独立性，利用半范数收敛性和对偶性。
• 利用对偶性证明对所有有界线性泛函 Λ，有 Λ∫f = ∫Λf，从而确认盖尔范德-佩蒂斯可积性。

实验结果

研究问题

• RQ1 能否通过简单函数的级数，在取值于巴拿赫空间的抽象测度空间上一致地定义博赫纳积分？
• RQ2 该积分构造是否不依赖于逼近简单函数级数的选择？
• RQ3 如何将博赫纳积分扩展至取值于任意局部凸空间的函数？
• RQ4 在由半范数诱导的拓扑下，博赫纳可积函数空间是否完备？
• RQ5 每个博赫纳可积函数是否也是盖尔范德-佩蒂斯可积的？对偶关系 ∫Λf = Λ∫f 是否成立？

主要发现

• 博赫纳积分是良定义的，且不依赖于逼近简单函数级数的选择，由不等式 ‖∑∫fₙ‖ ≤ ∫‖f‖ 证明。
• 博赫纳可积函数空间 L¹(X,μ,E) 在半范数 ‖f‖_α = ∫‖f‖_α 下是完备的。
• 对 E 上任意有界线性泛函 Λ，复合函数 Λf 是勒贝格可积的，且满足 Λ∫f = ∫Λf，从而确认盖尔范德-佩蒂斯可积性。
• 积分是从 L¹(X,μ,E) 到 E 的连续线性算子，满足范数不等式 ‖∫f‖ ≤ ∫‖f‖。
• 通过射影极限和半范数，该构造可自然推广至局部凸空间，保持关键积分性质。
• 空间 L¹(X,μ,E) 同构于由半范数指标化的 L¹(X,μ,R) 空间乘积中的闭子空间，确保拓扑完备性。