[논문 리뷰] Covering theorems and Lebesgue integration

Peter A. Loeb, Erik Talvila|ArXiv.org|2001. 01. 02.

Mathematical and Theoretical Analysis참고 문헌 5인용 수 6

한 줄 요약

이 논문은 유계 함수의 르베그 적분을, 게이지 함수에 대해 $δ$-fine인 분리된 $λ$-모르스 집합들 위의 리만 합을 사용하여 새로운 방식으로 특성화한다. 이는 헨스톡 및 맥시네 적분을 일반화한다. 핵심 기여는 모으는 커버링 정리의 강화된 형태로, 유한 차원 노름 공간 내 가측 집합의 임의의 $λ$-모르스 커버링은 유계 집합을 제외한 나머지 부분을 덮는 유한한 수의 서로소 부분가족으로 분해될 수 있음을 보장한다. 이에 따라 적분은 이러한 합들의 극한으로 정의될 수 있다.

ABSTRACT

This paper shows how the Lebesgue integral can be obtained as a Riemann sum and provides an extension of the Morse Covering Theorem to open sets. Let $X$ be a finite dimensional normed space; let $μ$ be a Radon measure on $X$ and let $Ω\subseteq X$ be a $μ$-measurable set. For $λ\geq1$, a $μ$-measurable set $S_λ(a)\subseteq X$ is a $λ$-Morse set with tag $a\in S_λ(a)$ if there is $r>0$ such that $B(a,r)\subseteq S_{λ}(a)\subseteq B(a,λr)$ and $S_λ(a)$ is starlike with respect to all points in the closed ball $B(a,r)$. Given a gauge $δ:Ω o(0,1]$ we say $S_λ(a)$ is $δ$-fine if $B(a,λr)\subseteq B(a,δ(a))$. If $f\geq0$ is a $μ$-measurable function on $Ω$ then $\int_Ωf dμ=F\in\mathbb{R}$ if and only if for some $λ\geq1$ and all $ε>0$ there is a gauge function $δ$ so that $|\sum_{n}f(x_{n}) μ(S(x_{n}))-F|

연구 동기 및 목표

• 리만 합 기반의 르베그 적분을 $λ$-모르스 집합의 커버링 가족을 통해 정의한다.
• 오픈 세트를 포함한 유한 차원 노름 공간에서 모르스 커버링 정리를 확장하여 커버링의 유한한 정렬 가능성을 보장한다.
• 헨스톡 및 맥시네 적분을 일반화하는 게이지 이론 기반의 르베그 적분 가능성 기준을 수립한다.
• 적분이 근사 연속점에서 태깅된 집합 위의 합을 통해 계산될 수 있음을 보이며, 수렴 성질을 향상시킨다.

제안 방법

• $λ$-모르스 집합을 닫힌 공을 포함하고, 그 $λ$-스케일된 형태 안에 포함되며, 내부 공 안에 태깅된 점을 가진 별형 집합으로 정의한다.
• 게이지 함수 $δ: \Omega \to (0,1]$를 도입하여 $δ$-fine 집합을 정의함으로써 커버링 집합의 크기에 국소적 제어를 확보한다.
• 강화된 모르스 커버링 정리를 사용하여, $μ$-가측 집합 $Ω$의 임의의 $λ$-모르스 커버링은 유한 개의 서로소 부분가족으로 분할될 수 있으며, 이들은 $Ω$를 $μ$-영집합을 제외한 나머지 부분까지 덮는다.
• 비음수 가측 함수 $f$의 르베그 적분이 $F$와 같다는 것은, 모든 $\varepsilon > 0$에 대해, $δ$-fine이면서 서로소인 $λ$-모르스 커버링(영집합을 제외한 나머지)이 모두 $|\sum f(x_n)\mu(S_n) - F| < \varepsilon$를 만족하도록 하는 게이지 $δ$가 존재하는 것과 동치임을 증명한다.
• 이 결과를 $f^+$와 $f^-$에 각각 적용하여 실수 계수 함수로의 특성화를 확장한다.
• 거의 everywhere 연속인 함수의 경우, 연속성 모듈러스를 기반으로 $\delta_\varepsilon$를 명시적으로 구성함으로써 리만 합이 적분으로 수렴함을 보장한다.

실험 결과

연구 질문

• RQ1 구간이나 입방체를 초월하는 더 일반적인 집합의 클래스를 사용하여, 커버링 정리를 활용해 르베그 적분을 리만 합의 극한으로 특성화할 수 있는가?
• RQ2 유한 차원 노름 공간의 오픈 세트에 대해 모르스 커버링 정리를 어떻게 확장하여 커버링의 유한한 정렬 가능성을 보장할 수 있는가?
• RQ3 어떤 게이지 조건이 가측 함수에 대해 $λ$-모르스 집합 위의 리만 합이 르베그 적분으로 수렴하도록 보장하는가?
• RQ4 연속성의 근사 점들만을 사용하여 적분을 계산할 수 있으며, 연속성 모듈러스에 기반한 구성적 게이지로 수렴이 보장되는가?
• RQ5 $λ$-모르스 집합 위의 리만 합의 수렴이 르베그 적분 가능성과 동치가 되는 조건은 무엇인가?

주요 결과

• 비음수 가측 함수 $f$의 $μ$-가측 집합 $Ω$ 위의 르베그 적분이 $F$와 같다는 것은, 모든 $\varepsilon > 0$에 대해, $δ$-fine이면서 서로소인 $λ$-모르스 커버링(영집합을 제외한 나머지)이 모두 $|\sum f(x_n)\mu(S_n) - F| < \varepsilon$를 만족하도록 하는 게이지 $δ$가 존재하는 것과 동치이다.
• 강화된 모르스 커버링 정리는, 중심이 집합 $A$에 속하는 임의의 $λ$-모르스 집합 가족이 최대 $\kappa$개의 서로소 부분가족의 내부로 커버링될 수 있음을 시사한다. 여기서 $\kappa$는 $\u03bb$, 차원 $d$, 그리고 공간의 노름에 의존한다.
• 거의 everywhere 연속인 함수의 경우, 연속성 모듈러스를 기반으로 명시적인 게이지 $\delta_\varepsilon$를 구성하여 리만 합이 적분으로 수렴함을 보장한다.
• $|f|$의 적분이 유한함은, 연속성 집합 내 태깅된 점을 가진 $\delta_1$-fine이자 서로소인 $λ$-모르스 집합의 수열 $\{S_n\}$이 존재하여 $\sum |f(x_n)|\mu(S_n) < \infty$를 만족하는 것과 동치이다.
• 이 구성은 함수가 거의 everywhere 연속이면서 게이지를 적절히 선택할 경우, 유계가 아니거나 정의역이 무한한 함수에 대해서도 리만 합이 르베그 적분으로 수렴함을 보장한다.
• 논문의 마지막 비고에서 언급했듯이, 루신의 정리와 르베그 미분 정리를 통해 이 이론은 바나흐 공간에 값을 가진 함수로도 확장된다.