[논문 리뷰] A Sequential Approach to the Henstock Integral

Laramie Paxton|arXiv (Cornell University)|2016. 09. 18.

Mathematical and Theoretical Analysis참고 문헌 13인용 수 3

한 줄 요약

이 논문은 ℝ 내 컴act 구간에서 헨스토크 적분의 새로운, 수열 기반 정의인 순차 헨스토크 적분을 도입하고 철저히 발전시킨다. 이는 표준 ε-δ, 다르부 및 위상수학적 정의와 동치임을 입증하고, 두 개의 수렴 정리와 같은 기본 정리들을 증명하며, 추상 공간으로의 헨스토크 적분 확장과 계산학 교육 향상에 기초로 삼을 수 있음을 보여준다.

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.

연구 동기 및 목표

• 순차 헨스토크 적분이라 불리는 엄밀한 수열 기반의 헨스토크 적분 정의를 개발한다.
• 순차 헨스토크 적분이 표준 ε-δ, 다르부 및 위상수학적 정의와 동치임을 입증한다.
• 순차 헨스토크 적분의 기본 성질과 기본 정리—특히 두 개의 수렴 정리—를 수립한다.
• 순차적 접근이 헨스토크 적분을 ℝ 외의 추상 위상수학적 및 메트릭 공간으로 확장하는 데 사용될 수 있는 잠재력을 탐색한다.
• 순차 헨스토크 적분이 초급 계산학 과정에서 적분을 가르치는 데 있어 교육적 타당성을 갖는지 평가한다.

제안 방법

• 전통적인 게이지 함수 접근 방식을 대체하기 위해 일반화된 수열(넷)을 핵심 수단으로 사용하여 순차 헨스토크 적분을 정의한다.
• 콤���트 구간과 코시 수열의 성질을 이용하여 순차 정의와 표준 ε-δ 정의 사이의 동치성을 증명한다.
• 순차 적분이 다르부 적분 가능성 기준을 만족함을 보여줌으로써 순차 정의와 다르부 정의 사이의 동치성을 수립한다.
• 위상수학적 추론과 ℝ의 완비성으로 인해 순차 정의가 헨스토크 적분의 위상적 특성과 일치함을 보인다.
• 이론을 적용하여 두 개의 수렴 정리(열림 수렴 정리 및 유계 수렴 정리 유사)를 순차 헨스토크 적분에 대해 증명한다.
• 순차 프레임워크를 활용하여 일반화된 넷을 통해 무한 구간, ℝⁿ, 메트릭 공간, 위상 벡터 공간 등으로의 일반화를 제안한다.

실험 결과

연구 질문

• RQ1 콤팩트 구간 ℝ에서 순차 헨스토크 적분은 표준 ε-δ 정의와 동치인가?
• RQ2 순차 헨스토크 적분은 다르부 및 위상수학적 정의와 동치임을 입증할 수 있는가?
• RQ3 순차 헨스토크 적분에 대해 어떤 기본 정리—특히 수렴 정리—를 수립할 수 있는가?
• RQ4 순차적 프레임워크를 이용하여 헨스토크 적분을 메트릭 공간 또는 위상 벡터 공간과 같은 추상 공간으로 확장할 수 있는가?
• RQ5 순차 헨스토크 적분은 초급 계산학 과정에서 적분을 가르치는 데 교육적 이점이 있는가?

주요 결과

• 순차 헨스토크 적분은 ℝ 내 콤팩트 구간에서 표준 ε-δ 정의와 수학적으로 동치이다.
• 순차 헨스토크 적분은 다르부 및 위상수학적 정의와도 동치이며, 다양한 정의 체계 간의 강건성을 입증한다.
• 순차 헨스토크 적분에 대해 두 개의 수렴 정리가 증명되었으며, 이는 극한을 통과시키는 운영에의 활용을 뒷받침한다.
• 순차 프레임워크는 무한 구간 및 ℝⁿ과 같은 고차원 공간으로의 헨스토크 적분 일반화에 자연스러운 길을 제공한다.
• 이론은 일반화된 수열(넷)을 사용하여 헨스토크 적분을 추상 위상수학적 및 메트릭 공간으로 확장할 수 있는 유망한 기초를 제공한다.
• 이론은 순차 헨스토크 적분이 초급 계산학 과정에서 학생들이 적분을 이해하는 데 도움이 될 수 있다는 가설을 지지한다.