[논문 리뷰] In which spaces is every curve Lebesgue-Pettis integrable?

Heinrich von Weizsäcker|arXiv (Cornell University)|2012. 07. 25.

Advanced Banach Space Theory참고 문헌 2인용 수 4

한 줄 요약

이 논문은 실수의 국소 볼록 하우스도르프 공간 E가 모든 연속 곡선 [0,1] → E가 르베그-페티스 적분 가능할 조건을 만족하는 것으로 규명한다. 이는 E가 모든 컴acts 메트릭 공간의 닫힌 볼록 캄프를 포함하는 성질을 만족할 때이고, 이는 메트릭 볼록 컴팩턴스 성질로 불린다. 이러한 등가성은 페티스 적분 가능성과 위상적 완비성 조건을 연결하며, 보흐너 적분 프레임워크를 바나흐 공간을 초월하여 루신 측도 가능 함수와 게이지 함수를 통해 확장한다.

ABSTRACT

In a real locally convex Hausdorff space the closed convex hull of every metrizable compact set is compact if (and only if) every continuous curve has a Pettis integral with respect to Lebesgue measure. For such spaces there is a natural concept of Bochner integrals.

연구 동기 및 목표

• 모든 연속 곡선이 르베그-페티스 적분 가능해지는 국소 볼록 하우스도르프 공간 E를 규명한다.
• 국소 볼록 공간에서 연속 곡선의 페티스 적분 가능성과 위상적 완비성 성질 간의 관계를 명확히 한다.
• 보흐너 적분 프레임워크를 바나흐 공간을 초월하여 E-값 함수에 대해 루신 측도 가능 함수와 게이지 함수를 사용하여 자연스럽게 확장한다.
• 메트릭 볼록 컴팩턴스 성질이 단위 구간에서 르베그 측도를 갖는 모든 연속 곡선의 페티스 적분 가능성과 동치임을 보인다.

제안 방법

• E가 메트릭 볼록 컴팩턴스 성질을 갖는다고 가정할 경우, 임의의 연속 곡선 f:[0,1]→E의 상이 컴팩트하고 메트릭 공간이며, 그 닫힌 볼록 캄프가 컴팩트하다는 것을 증명함으로써 바리센터의 존재를 보장하고, 이는 페티스 적분 가능성을 보장한다.
• 연속 함수 f에 대해 μ=λ∘f⁻¹로 정의된 이미지 측도의 경우, 페티스 적분 가능성과 바리센터의 존재가 동치임을 이용한다.
• Pfister(1981)의 결과를 적용하여, 메트릭 볼록 컴팩턴스 성질이 컴팩트 메트릭 공간 위의 Borel 측도를 갖는 모든 E-값 연속 함수의 페티스 적분 가능성을 유도함을 보인다.
• 모든 확률 측도가 컴팩트 메트릭 공간을 지지하는 경우, 이를 [0,1]에서 연속 함수에 의한 르베그 측도의 이미지로 표현함으로써 일반적인 경우를 단위 구간으로 축소한다.
• 메트릭 볼록 컴팩턴스 성질 하에서, 게이지 함수의 적분이 유한한 루신 측도 가능 함수는 페티스 적분 가능하다는 것을 보임으로써 결과를 확장한다.
• 이산 측도의 부분을 비원자 성분으로 대체하는 정규화 기법을 사용하여, 스케일링된 컴팩트 집합 위에 지지되는 분포로 대체함으로써 바리센터를 유지하고, 메트릭 볼록 컴팩턴스 성질을 활용한다.

실험 결과

연구 질문

• RQ1 어떤 국소 볼록 하우스도르프 공간 E가 모든 연속 곡선 f:[0,1]→E가 르베그-페티스 적분 가능해지는가?
• RQ2 모든 컴팩트 메트릭 공간의 닫힌 볼록 캄프가 컴팩트한 성질인 메트릭 볼록 컴팩턴스 성질이 단위 구간에서의 모든 연속 곡선의 페티스 적분 가능성과 동치인가?
• RQ3 루신 측도 가능 함수와 게이지 함수를 사용하여 보흐너 적분을 바나흐 공간을 초월한 E-값 함수로 자연스럽게 확장할 수 있는가?
• RQ4 유계 닫힘 절대 볼록 집합 D⊂E 위의 모든 유한한, 메트릭적으로 정규 측도에 대해 바리센터가 존재하는 것이 E의 메트릭 볼록 컴팩턴스 성질을 유도하는가?

주요 결과

• 실수의 국소 볼록 하우스도르프 공간 E가 모든 연속 곡선 f:[0,1]→E가 르베그-페티스 적분 가능해지는 것은 E가 메트릭 볼록 컴팩턴스 성질을 만족할 때이고, 그 때에만 성립한다.
• 메트릭 볼록 컴팩턴스 성질은 컴팩트 메트릭 공간 위의 Borel 측도를 갖는 모든 E-값 연속 함수의 페티스 적분 가능성과 동치이다.
• 유계 닫힘 절대 볼록 집합 D⊂E 위의 모든 유한한, 메트릭적으로 정규 측도의 바리센터가 E에 존재하는 것은 E가 메트릭 볼록 컴팩턴스 성질을 만족할 때에만 성립한다.
• E가 메트릭 볼록 컴팩턴스 성질을 갖는 한, ∫φ_D∘g dν<∞를 만족하는 루신 측도 가능 함수 g:X→E의 페티스 적분은 잘 정의되어 있으며 E에 속한다.
• 지지 집합이 컴팩트하고 메트릭 공간인 일반 확률 측도 μ의 바리센터는 점 질량을 구간 위의 균일 분포로 대체하는 정규화 과정을 통해 유지되며, 이는 E 내 존재를 보장한다.
• 메트릭 볼록 컴팩턴스 조건 하에서, 분리 가능한 본질적 범위를 갖는 E-값 루신 측도 가능 함수의 페티스 적분은 게이지 함수의 적분이 유한할 경우 보흐너 적분을 자연스럽게 확장한다.