[논문 리뷰] Integrals with values in Banach spaces and locally convex spaces

Piotr Mikusiński|arXiv (Cornell University)|2014. 03. 20.

advanced mathematical theories참고 문헌 3인용 수 3

한 줄 요약

이 논문은 단순 함수의 급수를 이용하여 바나흐 공간 및 국소凸 공간에 값을 갖는 함수에 대한 보흐너 적분을 구성하며, 선형성, 수렴 성질, 게르파인드-페티스 적분 가능성과의 동치성을 확립한다. 주요 기여는 단순 함수에 의한 근사와 노름 기반 수렴을 통해 르베그 적분을 추상 바나흐 공간 및 국소凸 공간으로 일반화한 엄밀한 측도론적 프레임워크를 제공하는 것이다.

ABSTRACT

The purpose of this article is to present the construction and basic properties of the general Bochner integral. The approach presented here is based on the ideas from the book The Bochner Integral by J. Mikusinski where the integral is presented for functions defined on $\mathbb{R}^N$. In this article we present a more general and simplified construction of the Bochner integral on abstract measure spaces. An extension of the construction to functions with values in a locally convex space is also considered.

연구 동기 및 목표

• 추상 측도 공간에서 바나흐 공간에 값을 갖는 보흐너 적분에 대한 일반적 프레임워크를 개발하기 위해.
• 프로젝티브 극한과 세미노름을 이용하여 보흐너 적분 구성법을 국소凸 공간에 값을 갖는 함수로 확장하기 위해.
• 근사 급수의 선택에 관계없이 적분이 잘 정의되고 독립적임을 증명하기 위해.
• 쌍대성에 의해 보흐너 적분 가능성과 게르파인드-페티스 적분 가능성의 동치성을 확립하기 위해.
• 보흐너 적분 가능 함수의 공간이 적절한 세미노름에 의해 유도된 위상에서 완비임을 보여주기 위해.

제안 방법

• 함수의 급수 표현을 사용: f ≃ f₁ + f₂ + ⋯, 여기서 fₙ는 L¹(X,μ,E)에 속하는 단순 함수이다.
• 보흐너 적분을 ∫f = ∫f₁ + ∫f₂ + ⋯로 정의하며, ∑‖fₙ‖₁의 절대 수렴에 의존한다.
• 삼각 부등식과 노름 추정을 적용하여 ‖∫f‖ ≤ ∫‖f‖를 도출함으로써 유계성과 연속성을 확보한다.
• 국소凸 공간의 경우, 위상과 적분 구성의 확장을 위해 세미노름의 집합 (‖·‖_α) 을 사용한다.
• 세미노름에서의 수렴과 쌍대성을 이용하여 ‖∑∫fₙ‖_α ≤ ∫‖f‖_α의 부등식을 통해 적분의 독립성을 증명한다.
• 쌍대성을 활용하여 모든 유계 선형 함수형 Λ에 대해 Λ∫f = ∫Λf임을 보여, 게르파인드-페티스 적분 가능성의 확인을 한다.

실험 결과

연구 질문

• RQ1 바나흐 공간에 값을 갖는 추상 측도 공간에서 단순 함수의 급수를 이용하여 보흐너 적분을 일관되게 정의할 수 있는가?
• RQ2 근사 급수의 선택에 관계없이 적분 구성이 여전히 독립적인가?
• RQ3 보흐너 적분은 임의의 국소凸 공간에 값을 갖는 함수로 어떻게 확장할 수 있는가?
• RQ4 세미노름에 의해 유도된 위상에서 보흐너 적분 가능 함수의 공간은 완비인가?
• RQ5 모든 보흐너 적분 가능 함수는 게르파인드-페티스 적분 가능하며, 쌍대성 관계 ∫Λf = Λ∫f 가 성립하는가?

주요 결과

• 근사 급수의 선택에 관계없이 보흐너 적분이 잘 정의되고 독립적이며, 부등식 ‖∑∫fₙ‖ ≤ ∫‖f‖에 의해 이를 보여준다.
• 보흐너 적분 가능 함수의 공간 L¹(X,μ,E)는 세미노름 ‖f‖_α = ∫‖f‖_α 에서 완비이다.
• E 위의 모든 유계 선형 함수형 Λ에 대해, 합성 Λf 는 르베그 적분 가능하며 Λ∫f = ∫Λf 를 만족함을 통해 게르파인드-페티스 적분 가능성의 확인이 이루어진다.
• 적분은 L¹(X,μ,E)에서 E로의 연속 선형 연산자이며, 노름 부등식 ‖∫f‖ ≤ ∫‖f‖ 를 만족한다.
• 프로젝티브 극한과 세미노름을 통해 구성이 자연스럽게 국소凸 공간으로 일반화되며, 핵심 적분 성질을 유지한다.
• 공간 L¹(X,μ,E)는 세미노름에 의해 인덱싱된 L¹(X,μ,R) 공간들의 곱공간의 닫힌 부분공간과 동형이며, 위상적 완비성을 보장한다.