[논문 리뷰] The topology of spaces of probability measures, I

Тарас Банах|arXiv (Cornell University)|2011. 12. 28.

Advanced Topology and Set Theory참고 문헌 10인용 수 4

한 줄 요약

이 논문은 컴팩트 하우스도르프 공간에서 티히콘오프 공간으로 확장된 고전적 확률측도 함수자 $P$의 두 개의 새로운 함자 $\hat{P}$ 및 $P_\tau$를 도입하고 연구한다. $\hat{P}(X)$는 $X$ 위의 라돈 확률측도의 공간이며, $P_\tau(X)$는 $X$ 위의 $\tau$-스무쓰한 확률측도의 공간이다. 이 논문은 $\hat{P}$와 $P_\tau$가 조밀도, 무게, 메트리화 가능성, 바이어/가측 구조와 같은 핵심 위상수학적 및 집합론적 성질을 유지하는 잘 정의된 위상함자임을 증명한다.

ABSTRACT

For a Tychonoff space $X$, the constructions $\hat P(X)$ and $P_τ(X)$ of the spaces of probability Radon measures and probability $τ$-smooth measures on $X$ are considered. It is proved that these constructions determine functors in the category of Tychonoff spaces, which extend the functor $P$ of probability measures in the category of compacta. In this part we investigate general topological properties of the spaces $\hat P(X)$ and $P_τ(X)$, as well as categorial properties of the functors $\hat P$ and $P_τ$.

연구 동기 및 목표

• 컴팩트 공간에서의 고전적 확률측도 함자 $P$를 더 넓은 티히콘오프 공간의 범주로 확장하는 것.
• 두 개의 중간 구조인 $\hat{P}(X)$ — 티히콘오프 공간 $X$ 위의 라돈 확률측도의 공간 — 과 $P_\tau(X)$ — $X$ 위의 $\tau$-스무쓰한 확률측도의 공간 — 를 정의하고 연구하는 것.
• $\hat{P}$와 $P_\tau$가 컴팩트 공간에서의 고전적 $P$ 함자를 확장하는 티히콘오프 공간의 범주에서의 함자임을 확립하는 것.
• $\hat{P}(X)$와 $P_\tau(X)$의 위상수학적 및 범주론적 성질을 조사하는 것. 조밀도, 무게, 메트리화 가능성, 바이어 집합 등을 포함한다.
• $p$-파라콤팩트성, 체흐-완전성, 그리고 프로젝션 계층 수준과 같은 중요한 구조적 성질이 유지되는지 보여주는 것.

제안 방법

• $\hat{P}(X)$를 $\beta X$ 위의 확률측도 $\mu$의 집합으로 정의한다. 이때 $\mu_*(X) = 1$ 이어야 하며, 여기서 $\mu_*(X)$는 $\beta X$ 내에서 $X$에 대한 상한 $\mu$-측도이다.
• $P_\tau(X)$를 $\beta X$ 위의 확률측도 $\mu$의 집합으로 정의한다. 이때 $\mu^*(X) = 1$ 이어야 하며, 여기서 $\mu^*(X)$는 $\beta X$ 내에서 $X$에 대한 하한 $\mu$-측도이다.
• 연속 함수를 유지하고 합성과 호환됨을 보여, $\hat{P}$와 $P_\tau$가 티히콘오프 공간의 범주에서 자기 자신으로의 함자임을 증명한다.
• 유계 연속 함수의 바나흐 공간인 $C_b(X)$ 위에서의 적분을 통한 측도의 표현을 사용하여, 라돈 측도와 $\tau$-스무쓰 측도를 특성화한다.
• $P_\beta(X) \subset \hat{P}(X) \subset P_\tau(X) \subset P(\beta X)$ 를 확립하며, 컴팩트 경우에 등호가 성립함을 보인다.
• 기타 기술적 결과들 — 바이어 집합과 프로젝션 계층의 성질 포함 — 를 활용하여 $\hat{P}$에 의한 집합의 상의 성질을 분석한다.

실험 결과

연구 질문

• RQ1 고전적 컴팩트 공간에서의 확률측도 함자 $P$를 위상수학적 및 범주론적 성질을 유지하면서 티히콘오프 공간으로 어떻게 확장할 수 있는가?
• RQ2 상한 및 하한 $\mu$-측도를 통한 $P(\beta X)$의 부분공간으로 정의된 $\hat{P}(X)$와 $P_\tau(X)$의 위상수학적 및 범주론적 성질은 무엇인가?
• RQ3 함자 $\hat{P}$는 조밀도, 무게, 메트리화 가능성, $p$-파라콤팩트성과 같은 기본 위상수학적 불변량을 유지하는가?
• RQ4 메트리카블 컴팩트 공간의 맥락에서 함자 $\hat{P}$와 $P_\tau$는 프로젝션 계층과 바이어 집합과 어떻게 상호작용하는가?
• RQ5 티히콘오프 공간 위의 라돈 측도의 텐서곱이 곱 공간 위의 라돈 측도로 확장되는 조건은 무엇인가?

주요 결과

• $X$ 위의 라돈 확률측도로 구성된 구조 $\hat{P}(X)$는 고전적 $P$ 함자를 컴팩트 공간에서 티히콘오프 공간의 범주 $\mathcal{Tych}$로 확장하는 함자 $\hat{P}: \mathcal{Tych} \to \mathcal{Tych}$를 이룬다.
• 함자 $\hat{P}$는 티히콘오프 공간의 조밀도를 유지한다: 임의의 무한한 티히콘오프 공간 $X$에 대해 $d(\hat{P}(X)) = d(X)$ 이다.
• 함자 $\hat{P}$는 티히콘오프 공간의 무게를 유지한다: 임의의 무한한 티히콘오프 공간 $X$에 대해 $w(\hat{P}(X)) = w(X)$ 이다.
• 함자 $\hat{P}$는 메트리화 가능성도 유지한다: 만약 $X$가 메트리카블이라면 $\hat{P}(X)$ 역시 메트리카블이다.
• 함자 $\hat{P}$는 $p$-파라콤팩트 공간과 체흐-완전 공간의 범주를 유지한다.
• 모든 $n \geq 0$에 대해, 만약 $A \in \mathcal{P}_{2n}(X)$ 이면 $\hat{P}(A) \in \mathcal{P}_{2n+1}(P(X))$ 이다. 이는 $\hat{P}$가 프로젝션 계층의 수준을 정확히 한 단계 증가시킴을 보여준다.