[论文解读] A Sequential Approach to the Henstock Integral

Laramie Paxton|arXiv (Cornell University)|Sep 18, 2016

Mathematical and Theoretical Analysis参考文献 13被引用 3

一句话总结

本文提出并严格发展了序列型Henstock积分——一种在ℝ的紧致区间上基于序列的Henstock积分新定义。它建立了与标准ε-δ、Darboux及拓扑定义的等价性，证明了基本定理，包括两个收敛定理，并将序列方法定位为将Henstock积分推广至抽象空间以及改进微积分教学法的基础。

ABSTRACT

The theory of integration over R is rich with techniques as well as necessary and sufficient conditions under which integration can be performed. Of the many different types of integrals that have been developed since the days of Newton and Leibniz, one relative newcomer is that of the Henstock integral, aka the Henstock-Kurzweil integral, Generalized Riemann integral, or gauge integral, which was discovered independently by Henstock and Kurzweil in the mid-1950s. In this paper, we develop an alternative, sequential definition of the Henstock integral over closed intervals in R that we denote as the Sequential Henstock integral. We show its equivalence to the standard epsilon-delta definition of the Henstock integral as well as to the Darboux definition and to a topological definition of the Henstock integral. We then establish the basic properties and fundamental theorems, including two convergence theorems, for the Sequential Henstock integral and offer suggestions for further study.

研究动机与目标

• 提出一种严格、基于序列的Henstock积分定义，称为序列型Henstock积分。
• 证明序列型Henstock积分与标准ε-δ、Darboux及拓扑定义的Henstock积分之间的等价性。
• 为序列型Henstock积分建立基本性质与基本定理，特别是两个收敛定理。
• 探讨序列方法在将Henstock积分推广至抽象拓扑空间与度量空间（如ℝⁿ）中的潜力。
• 评估序列型Henstock积分在入门微积分课程中教学法上的可行性。

提出的方法

• 使用广义序列（网）作为核心机制，定义序列型Henstock积分，取代传统的模 Gauge 函数方法。
• 利用紧致区间与柯西序列的性质，证明序列定义与标准ε-δ定义之间的一致性。
• 通过证明序列积分满足Darboux可积性准则，建立其与Darboux定义的等价性。
• 运用拓扑论证及ℝ的完备性，证明序列定义与Henstock积分的拓扑表征一致。
• 应用该理论证明两个适用于序列型Henstock积分的收敛定理，其形式类似于控制收敛定理与有界收敛定理。
• 利用序列框架，建议通过广义网将Henstock积分推广至无限区间、ℝⁿ、度量空间及拓扑线性空间。

实验结果

研究问题

• RQ1 在ℝ的紧致区间上，序列型Henstock积分是否与标准ε-δ定义的Henstock积分等价？
• RQ2 能否证明序列型Henstock积分与Darboux及拓扑定义的Henstock积分等价？
• RQ3 可为序列型Henstock积分建立哪些基本定理，特别是收敛定理？
• RQ4 序列框架能否用于将Henstock积分推广至抽象空间（如度量空间或拓扑线性空间）？
• RQ5 序列型Henstock积分是否在入门微积分课程中具有教学法优势？

主要发现

• 序列型Henstock积分在ℝ的紧致区间上与标准ε-δ定义的Henstock积分在数学上等价。
• 序列型Henstock积分同样与Darboux及拓扑定义的Henstock积分等价，表明其在不同表述下具有稳健性。
• 已为序列型Henstock积分证明了两个收敛定理，支持其在极限运算中的应用。
• 序列框架为将Henstock积分自然推广至无限区间及高维空间（如ℝⁿ）提供了路径。
• 该方法为使用广义序列（网）将Henstock积分推广至抽象拓扑空间与度量空间提供了有希望的基础。
• 该理论支持了如下假设：序列型Henstock积分可能有助于提升学生在入门微积分课程中对积分概念的理解。