[논문 리뷰] Lusin's Theorem and Bochner Integration

Peter A. Loeb, Erik Talvila|arXiv (Cornell University)|2004. 06. 18.

Point processes and geometric inequalities참고 문헌 16인용 수 25

한 줄 요약

이 논문은 유한 차원 노름 공간에서의 미분 기저로부터 유도된 기하학적으로 구조화된 집합—특히 구 또는 $\lambda$-모르세 집합—을 사용하여 보흐너 적분의 헨스톡–쿠르즈와일 유형 적분 표현을 수립한다. 임의의 $\varepsilon > 0$에 대해, 총 합과 국소 오차 모두가 $\varepsilon$ 이내가 되는 방식으로 보흐너 적분을 근사하는 합을 제시하며, 르베그 점과 루신의 정리로부터 유도된 구조적 게이지 함수에 기반한다.

ABSTRACT

It is shown that the approximating functions used to define the Bochner integral can be formed using geometrically nice sets, such as balls, from a differentiation basis. Moreover, every appropriate sum of this form will be within a preassigned $ε$ of the integral, with the sum for the local errors also less than $ε$. All of this follows from the ubiquity of Lebesgue points, which is a consequence of Lusin's theorem, for which a simple proof is included in the discussion.

연구 동기 및 목표

• 유한 차원 노름 공간에서 범주형 공간 값 함수에 대한 보흐너 적분에 대해 헨스톡–쿠르즈와일 적분 프레임워크를 확장한다.
• 보흐너 적분이 공역이 볼록 또는 스타형 집합인 기하학적으로 우아한 $\lambda$-정규 집합 위에서의 리만형 합으로 근사될 수 있음을 보여준다.
• 이러한 근사가 총 합과 국소 오차 항 모두에서 임의의 정밀도($\varepsilon$-정밀도)를 달성할 수 있음을 보여준다.
• 총 적분값에 대해 임의로 가까운 합을 생성하는 데 필요한 $\delta$-미세 커버를 보장하는 구조적 게이지 함수 $\delta$를 정의하는 방법을 수립한다.

제안 방법

• 저자들은 루신의 정리를 이용해 적분된 함수가 연속이 되는 컴팩트 집합을 구성함으로써 균일 근사를 가능하게 한다.
• 베식로비치 또는 모르세 커버링 정리를 적용하여, 중심을 포함하고 $\lambda$-정규인 $\lambda$-모르세 집합을 사용해 도메인의 $\delta$-미세 커버를 생성한다.
• 연속성의 모듈러스와 $\varepsilon$ 허용 오차에 기반한 게이지 함수 $\delta: X \to (0,1]$를 정의하며, 각 집합 $S_i$가 그 태그 $x_i$를 중심으로 하되 반지름이 $\delta(x_i)$ 이내임을 보장한다.
• 근사 합은 $\sum f(x_i)\mu(S_i)$ 형태로 구성되며, 르베그 점의 광범위한 존재성에 기반해 총 합과 오차 항 모두가 $\varepsilon$ 이내로 제한된다.
• 증명은 적분 기능의 가산 가법성과 커버에 포함된 집합 $S$에 대해 $\mu(S \setminus S^\circ) = 0$ 임을 이용한다.
• 핵심 기술적 단계로는 $\mu$-포화 수열에서 $\|G(S_i)\|$의 합이 일관되게 유계임을 보여주는 것으로, 이는 총 적분으로의 수렴을 보장한다.

실험 결과

연구 질문

• RQ1 유한 차원 공간에서 구 또는 $\lambda$-모르세 집합과 같은 기하학적으로 구조화된 집합 위에서의 리만형 합의 극한으로서 보흐너 적분을 표현할 수 있는가?
• RQ2 어떻게 하면 $\delta$-미세 커버가 보흐너 적분에 대해 임의로 가까운 합을 생성하도록 보장하는 게이지 함수 $\delta$를 명시적으로 구성할 수 있는가?
• RQ3 총 합과 국소 오차 항 모두가 주어진 $\varepsilon > 0$ 이내에 유지되도록 보장하기 위한 조건은 무엇인가?
• RQ4 클래식한 헨스톡–쿠르즈와일 접근법을 범주형 공간 값 함수에 대해 어느 정도까지 일반화할 수 있는가?

주요 결과

• 모든 $\varepsilon > 0$에 대해, $\mu$-포화되는 모든 $\delta$-미세 $\lambda$-모르세 집합의 수열이 보흐너 적분으로부터 $\varepsilon$ 이내의 합 $\sum f(x_i)\mu(S_i)$를 생성하도록 하는 게이지 $\delta$가 존재한다.
• 국소 오차 $\sum \|f(x_i)\mu(S_i) - G(S_i)\| < \varepsilon$ 도 제어되며, 이는 안정적인 근사성을 보장한다.
• $\mu$-포화 수열에서 $\|G(S_i)\|$의 합은 $M < \infty$ 이내로 일관되게 유계이며, 이는 수렴에 필수적이다.
• 함수 $f$는 $\mu$-적분 가능하고, 모든 $\delta$-미세 수열에서의 합 조건이 성립할 경우 $\int_X f\,d\mu = G(X)$ 임을 보장한다.
• 증명은 $\|f\|$가 $X$ 위에서 $\mu$-적분 가능하다는 것을 보여주며, 이는 $f$가 보흐너 적분 가능하다는 것을 의미한다.
• 이 구성은 르베그 점의 존재성과 커버링 집합에 대해 $\mu(S \setminus S^\circ) = 0$ 임을 이용하며, 이는 측도 이론적 일致성을 보장한다.