[논문 리뷰] Some Notes on Standard Borel and Related Spaces

Chris Preston|ArXiv.org|2008. 09. 18.

Advanced Topology and Set Theory참고 문헌 12인용 수 8

한 줄 요약

이 논문은 표준 보렐 및 해석적 공간의 기존 접근 방식을 대체로, 보편적 모델로 쓰이는 칸토어 공간 $\mathsf{M} = \{0,1\}^\mathbb{N}$를 사용한다. 가чёт히 생성된 가측 공간이 $\mathsf{M}$에 정확히 통합됨을 보이며, 분리성 조건을 완화한 표준 보렐 공간의 일반화인 '유형 $\mathcal{B}$' 공간을 도입하여, 콜모고로프 확장 정리 및 조건부 분포의 존재성과 같은 핵심 결과를 더 넓은 설정에서 확보한다.

ABSTRACT

These notes give an elementary approach to parts of the theory of standard Borel and analytic spaces.

연구 동기 및 목표

• 표준 보렐 공간 이론을 폴리시 공간 이론에 의존하지 않고, 보편적 모델로 칸토어 공간 $\mathsf{M} = \{0,1\}^\mathbb{N}$를 사용하여 재구성한다.
• 분리성 조건을 완화함으로써 표준 보렐 공간을 일반화하는 '유형 $\mathcal{B}$' 공간을 도입하여, 핵심 구조적 성질을 유지한다.
• 유형 $\mathcal{B}$ 공간의 더 넓은 범주 내에서 가측 선택자, 조건부 분포, 콜모고로프 확장 성질과 같은 기초 결과를 확립한다.
• 가чёт히 생성된 가측 공간의 표준 표현으로서 $\mathsf{M}$로의 가측 사상이 어떻게 작용하는지 제시한다.
• 표준 보렐 공간에서 요구되는 많은 고전적 결과들이, 더 일반적인 유형 $\mathcal{B}$ 공간 설정에서도 그대로 유지됨을 보여준다.

제안 방법

• 가측 구조의 보편적 모델로서의 칸토어 공간 $\mathsf{M} = \{0,1\}^\mathbb{N}$에 제품 위상과 보렐 $\sigma$-대수 $\mathcal{B}$를 부여한다.
• 모든 원상에 대해 $f^{-1}(\mathcal{B}) = \mathcal{E}$를 만족하는 '정확히 가측' 사상 $f: (X,\mathcal{E}) \to (\mathsf{M}, \mathcal{B})$를 정의함으로써, 가측 공간과 $\mathsf{M}$의 부분집합 사이의 동형을 가능하게 한다.
• 가чёт히 생성된 가측 공간 $ (X,\mathcal{E}) $가 $ (\mathsf{M}, \mathcal{B}) $로의 정확히 가측 사상과 함께 존재하고, 그 상이 $\sigma$-대수 $\mathcal{D} \supseteq \mathcal{B}$에 포함되며, 유한 교차에 대해 닫혀 있을 경우, 이를 '유형 $\mathcal{D}$' 공간으로 정의한다.
• 한계 커널 $\pi_n$의 극한을 이용하여 쿼드라틱 확률 커널 $\pi$를 구성하며, $\mathcal{E}_\infty$를 추적 $\sigma$-대수로, $E' = \{x \in E' : \text{분산 항이 사라진다}\}$로 정의한다.
• 레마 13.6를 적용하여 제곱 커널의 적분을 그 $L^2$-노름과 동치로 다루며, 모든 $\mu \in \mathcal{G}$에 대해 $\mu(E_E) = 1$임을 증명함으로써 $E_E$ 위에서 거의 확실히 지지됨을 보장한다.
• 세 가지 공리(1) $\pi(x, \Delta_x) = 1$ a.s., (2) $\pi(x, X \setminus \Delta_x) = 0$, (3) $\mu = \mu\pi$ iff $\mu \in \mathcal{G}$를 모두 만족함을 확인함으로써, 정리 13.2를 증명한다.

실험 결과

연구 질문

• RQ1 표준 보렐 공간 이론을 폴리시 공간의 구조에 의존하지 않고, 오직 칸토어 공간 $\mathsf{M}$만을 보편적 모델로 사용하여 발전시킬 수 있는가?
• RQ2 표준 보렐 공간에서 분리성 조건을 완화할 경우 어떤 성질이 유지되고, 이러한 일반화된 공간은 어떻게 특징지을 수 있는가?
• RQ3 비분리 가측 공간에서 가측 선택자나 조건부 분포의 존재성이 성립하는 조건은 무엇인가?
• RQ4 기저 가측 공간이 분리성이 없을 경우 콜모고로프 확장 정리를 어떻게 일반화할 수 있는가?
• RQ5 칸토어 공간 $\mathsf{M}$은 정확히 가측 사상에 의해 가чёт히 생성된 가측 공간을 어떻게 표현하는가?

주요 결과

• 모든 가чёт히 생성된 가측 공간은 칸토어 공간 $\mathsf{M}$으로의 정확히 가측 사상이 존재함을 보이며, 이를 통해 표준 표현이 가능하다.
• 가측 공간이 표준 보렐 공간이 되는 것은, 정확히 가측 사상에 의해 유도된 동형사상이 $\mathsf{M}$의 보렐 부분집합과 동형이 되는 것과 동치이다.
• 유형 $\mathcal{B}$ 공간은 분리성 요구 조건을 제거함으로써 표준 보렐 공간을 일반화하지만, 비가чёт히 생성된 $\mathsf{M}$의 보렐 부분집합과의 동형성과 같은 핵심 성질을 유지한다.
• 분산 항이 $L^2$-적분에서 사라짐에 따라, $\mu = \mu\pi$이 되는 것과 $\mu \in \mathcal{G}$이 되는 것이 동치임을 보여주는 쿼드라틱 확률 커널 $\pi$의 존재가 입증된다.
• 모든 $\mu \in \mathcal{G}$에 대해 $E_E = \{x \in E' : \int (\pi'(y,E))^2 \pi'(x,dy) = (\pi'(x,E))^2 \}$는 $\mu(E_E) = 1$을 만족함을 보이며, 이는 커널이 결정론적임을 보장하는 거의 확실한 지지 집합임을 의미한다.
• 모든 $x \in E$에 대해 $\pi(x,E)$를 $\pi'(x,E)$로, 그 외에는 0으로 정의하면, 모든 세 공리를 만족하는 가측 쿼드라틱 확률 커널이 되며, 이는 마르코프 커널의 정규 버전을 만족한다.