[論文レビュー] A Sequential Approach to the Henstock Integral

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

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

ひとこと要約

本稿では、ℝにおけるコンパクトな区間上で、ヘンスト積分の新たな、系列に基づく定義である逐次ヘンスト積分を導入し、厳密に展開する。標準的なε-δ、ダーブォー、位相的定義と同等であることを確立し、2つの収束定理を含む基本定理を証明し、抽象的空間へのヘンスト積分の拡張および微積分教育における改善の基盤として、逐次的アプローチの有効性を提示する。

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.

研究の動機と目的

• 逐次ヘンスト積分と呼ばれる、厳密で系列に基づくヘンスト積分の定義を構築すること。
• 逐次ヘンスト積分が、標準的なε-δ、ダーブォー、および位相的定義のヘンスト積分と同等であることを示すこと。
• 逐次ヘンスト積分の基本的性質および基本定理（特に2つの収束定理）を確立すること。
• 逐次的アプローチが、ℝを超えて抽象的位相空間や距離空間へのヘンスト積分の拡張に利用可能である可能性を検討すること。
• 逐次ヘンスト積分が、入門的微積分課程における積分教育に実用的利点を提供するかを評価すること。

提案手法

• 一般化された系列（ネット）をコアメカニズムとして用い、従来のゲージ関数アプローチに代わる逐次ヘンスト積分を定義する。
• コンパクト区間およびコーシー列の性質を用いて、逐次的定義と標準的なε-δ定義との同等性を証明する。
• 逐次的積分がダーブォーの可積分性基準を満たすことを示すことにより、ダーブォー定義との同等性を確立する。
• 位相的議論とℝの完備性を用いて、逐次的定義がヘンスト積分の位相的特徴付けと一致することを示す。
• 理論を応用して、支配収束定理および有界収束定理に類似した2つの収束定理を、逐次ヘンスト積分に対して証明する。
• 逐次的フレームワークを活用し、無限区間、ℝⁿ、距離空間、位相線形空間への一般化を一般化されたネットを用いて提案する。

実験結果

リサーチクエスチョン

• RQ1 コンパクトな区間におけるℝ上での標準的ε-δ定義のヘンスト積分と、逐次ヘンスト積分は同等であるか？
• RQ2 逐次ヘンスト積分は、ダーブォーおよび位相的定義のヘンスト積分とも同等であると示せるか？
• RQ3 逐次ヘンスト積分に対して、特に収束定理を含むどのような基本定理を確立できるか？
• RQ4 逐次的フレームワークを用いて、距離空間や位相線形空間などの抽象的空間へのヘンスト積分の拡張が可能か？
• RQ5 逐次ヘンスト積分は、入門的微積分課程における積分教育に教育的利点を提供するか？

主な発見

• 逐次ヘンスト積分は、ℝにおけるコンパクト区間上で、標準的なε-δ定義のヘンスト積分と数学的に同等である。
• 逐次ヘンスト積分は、ダーブォーおよび位相的定義のヘンスト積分とも同等であることが示され、あらゆる定式化において堅牢であることが確認された。
• 逐次ヘンスト積分に対して2つの収束定理が証明され、極限操作への応用が可能であることが裏付けられた。
• 逐次的フレームワークは、無限区間やℝⁿのような高次元空間へのヘンスト積分の一般化に自然な道筋を提供する。
• 一般化された系列（ネット）を用いたアプローチにより、抽象的位相空間および距離空間へのヘンスト積分の拡張に有望な基盤が得られた。
• 理論は、逐次ヘンスト積分が入門的微積分課程における積分理解の向上に寄与する可能性があるという仮説を支持する。