[논문 리뷰] Some Remarks on Vector-Valued Integration

Vladimir Kadets, B. M. Shumyatskiy외 3명|ArXiv.org|1999. 03. 17.

Advanced Control Systems OptimizationEngineering참고 문헌 2인용 수 17

한 줄 요약

이 논문은 바나흐 공간에 값이 있는 함수에 대해 상한 르베그 적분을 통한 노름의 상한 르베그 적분으로 정의된 RL(Riemann-Lebesgue) 적분을 소개하고, 그 성질을 수립한다. 주요 기여는 RL-적분 가능성( integrability )이 페티스 적분 가능성( Pettis integrability )을 함의하며, RL-적분 가능 함수들이 약한 측정 가능성을 갖는다는 것을 증명하는 바이며, 리만, 보흐너, 페티스 적분 사이의 다리 역할을 하여 바나흐 공간 기하학에 강력한 구조적 함의를 제공한다.

ABSTRACT

The article presents a new method of integration of functions with values in Banach spaces. This integral and related notions prove to be a useful tool in the study of Banach space geomtry.

연구 동기 및 목표

• 리만 및 보흐너 적분을 통합하면서도 페티스 적분의 한계를 피하는 새로운 벡터 값 적분 이론을 개발하는 것.
• 노름의 상한 르베그 적분을 바탕으로 한 프레임워크를 수립하여 새로운 바나흐 공간—RL 공간—을 정의하는 것.
• RL-적분 가능 함수들이 약한 측정 가능하고 페티스 적분 가능하다는 것을 증명하여 새로운 적분 이론을 기존 이론과 연결하는 것.
• 비가산 바나흐 공간 기하학을 연구하는 데 있어 RL 적분이 유용한 도구가 되는지 보여주는 것.

제안 방법

• 비음수 함수의 상한 르베그 적분을 가측 우성 함수들의 르베그 적분의 하한으로 정의한다.
• 함수의 노름의 상한 르베그 적분을 통해 RL-노름을 정의하고, 공간 $\overline{L_1}(\Omega, \Sigma, \mu, X)$ 를 구성한다.
• 가чёт 분할과 표본 점을 사용하여 RL-적분 합을 정의하고, RL-노름에서 이러한 합의 극한으로서 RL 적분을 정의한다.
• 함수의 노름에서 적분 가능한 우성 함수가 존재하면, 그와 어떤 함수성에도 합성된 결과가 측정 가능하다는 것을 증명하여 약한 측정 가능성을 함의한다.
• 함수 $x^*f$ 의 가장 작은 가측 우성 함수와 가장 큰 가측 열등 함수의 존재를 이용하여, 비측정 가능성 가정 시 모순을 도출함으로써 약한 측정 가능성을 증명한다.
• 모든 가측 집합 $A$ 에 대해, $x^*$ 가 $f|_A$ 의 RL 적분에 작용한 결과가 $x^*f|_A$ 의 르베그 적분과 일치함을 보여 페티스 적분 가능성을 확인한다.

실험 결과

연구 질문

• RQ1 리만 및 보흐너 적분을 일반화하면서도 페티스 적분보다 더 취급하기 쉬운 새로운 벡터 값 적분을 정의할 수 있는가?
• RQ2 적분 가능한 우성 함수를 갖는 함수에 대해 RL 적분이 약한 측정 가능성과 페티스 적분 가능성을 함의하는가?
• RQ3 RL 적분은 비가산 바나흐 공간 기하학과 어떻게 관련이 있는가?
• RQ4 RL 공간 $\overline{L_1}$ 의 구조적 성질은 무엇이며, 보흐너 및 페티스 적분 가능 함수와 비교해 볼 때 어떻게 다른가?

주요 결과

• RL 적분은 잘 정의되어 있으며, RL-노름에 대해 바나흐 공간을 이룬다. 이는 리만 및 보흐너 적분을 일반화한다.
• 적분 가능한 우성 함수를 갖는 $\overline{L_1}$ 의 모든 함수는, $x^*f$ 의 가측 우성 함수와 열등 함수를 이용한 모순을 통한 증명으로 약한 측정 가능성을 갖는다.
• 가측 집합 $A$ 에서 함수 $f$ 의 RL 적분은 모든 $x^* \in X^*$ 에 대해 $x^*(x_A) = \int_A x^*f \, d\mu$ 를 만족하는 유일한 원소 $x_A \in X$ 이다. 이는 페티스 적분 가능성을 증명한다.
• RL 적분은 페티스 적분보다 엄격히 더 엄격한 조건을 갖지만, 비완비성 및 부동근의 미분 불능성 등의 문제를 피한다.
• 함수 $f$ 가 약한 측정 가능하지 않다고 가정할 경우, $x^*f$ 의 가장 작은 가측 우성 함수와 가장 큰 가측 열등 함수의 구성에서 모순이 발생하므로, 약한 측정 가능성은 증명된다.
• RL 적분은 리만/보흐너 적분과 페티스 적분 사이의 자연스러운 다리를 제공하므로, 비가산 설정에서 특히 바나흐 공간 기하학에 있어 유용한 도구가 된다.