[논문 리뷰] Sheaves and conditional sets

Asgar Jamneshan|arXiv (Cornell University)|2014. 03. 21.

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

한 줄 요약

이 논문은 완비 부울 대수 위의 층과 조건부 집합 사이의 범주적 동치를 수립하며, 고전적 집합론적 구성이 조건부 설정으로 이행될 수 있도록 해주는 전이 원칙을 제공한다. 주요 기여는 층 토포스 내부의 대상을 조건부 구조로 체계적으로 해석함으로써, 확률론과 확률적 분석에서 조건부 수학에 대한 토포스 이론적 기반을 마련하는 것이다.

ABSTRACT

The purpose of this note is to record a connection between sheaves on complete Boolean algebras and conditional sets. This connection yields a transfer principle for conditional set theory. On the other hand we use conditional set theory to interpret the internal objects of a respective sheaf topos.

연구 동기 및 목표

• 완비 부울 대수 위의 층과 조건부 집합 사이의 범주적 동치를 수립하기.
• 고전적 집합론적 구성이 조건부 집합론에 해석될 수 있도록 해주는 전이 원칙을 개발하기.
• 특히 $L^0$-모듈러스와 노름 공간의 맥락에서, 층 토포스 내부의 대상을 조건부 구조로 해석하기.
• 특히 확률론과 확률적 분석에서 조건부 수학에 대한 토포스 이론적 기반을 제공하기.
• 고전적 구조, 예를 들어 군, 벡터 공간, 힐버트 공간 등이 조건부 구조를 갖는 경우, 이들이 $\mathbf{Sh}(\mathcal{A},P)$ 층 토포스 내부의 대상과 정확히 일치함을 보여주기.

제안 방법

• 완비 부울 대수 $\mathcal{A}$ 위의 층을 파artition의 그로텐디크 기저 $P$를 갖는 사이트 구조로 모델링하기.
• 제약 맵 $f^b_a: X_b \to X_a$ 를 갖는 집합의 가족 $X_a$ 로서 층을 정의하며, 호환성 및 붙임 조건을 만족시키기.
• 포함관계를 성분별 부분집합 관계로 정의하는, 부분대상의 층인 $\mathfrak{P}(\mathcal{X})$ 를 도입하기.
• 제약 맵과 가환하는 함수의 가족으로서 층의 준동형사상을 구성하기.
• $L^0$-모듈러스 위의 조건부 집합 구조를 이용해, 고전적 노름과 내적을 조건부 대응체로 옮기기.
• $L^0(M)$ 과 $L^0(H)$ 에 층 구성법을 적용하여, 각각 $\mathbf{Sh}(\mathcal{A},P)$-노름 공간과 힐버트 공간을 얻기.

실험 결과

연구 질문

• RQ1 완비 부울 대수 위의 층을 조건부 집합과 체계적으로 어떻게 연결할 수 있는가?
• RQ2 고전적 집합론적 구성이 조건부 수학으로 이행될 수 있도록 해주는 전이 원칙은 무엇인가?
• RQ3 층 토포스 $\mathbf{Sh}(\mathcal{A},P)$ 내부의 내부 대상들이 고전적 $L^0$-모듈러스의 조건부 구조와 어떻게 대응되는가?
• RQ4 $\mathbf{Sh}(\mathcal{A},P)$ 에서의 조건부 위상과 필터 기저는 고전적 $L^0$-모듈러스의 위상 기저와 어떤 방식으로 대응되는가?
• RQ5 $L^0(H)$ 에 대응하는 층이 $\mathbf{Sh}(\mathcal{A},P)$-힐버트 공간으로 어떻게 해석될 수 있으며, 그 내부 구조는 무엇인가?

주요 결과

• $\mathcal{A}$ 위의 층의 범주와 조건부 집합의 범주 사이에 동치가 존재하며, 이는 $\mathbf{Sh}(\mathcal{A},P)$ 에서의 전력 대상으로서의 층 $\mathfrak{P}(\mathcal{X})$ 를 나타낸다.
• 바나흐 공간 $M$ 에 대해 $L^0(M)$ 에 대응하는 층은 $\mathbf{Sh}(\mathcal{A},P)$-노름 공간이며, 이는 $L^0$-값 함수의 안정성에 의해 노름이 옮겨진다.
• 복소 힐버트 공간 $H$ 에 대해 $L^0(H)$ 에 대응하는 층은 $\mathbf{Sh}(\mathcal{A},P)$-복소 힐버트 공간이며, $L^0(\mathbb{C})$-값 내적은 위상을 유도한다.
• $L^0$-모듈러스 위의 조건부 노름에 의해 유도되는 조건부 위상은 층 구성법을 통해 층 위상으로 대응되며, 공 $B_r(x)$ 가 고전적 위상 기저를 이룬다.
• $\mathcal{F}|\mathcal{G}$ 조건부로 제곱-integrable 랜덤 변수의 공간 $L^2_{\mathcal{F}|\mathcal{G}}$ 는 조건부 내적을 갖는 $L^0(\mathcal{G},\mathbb{C})$-모듈러스이며, 이에 대응하는 층은 $\mathbf{Sh}(\mathcal{B},P)$-힐버트 공간이다.
• 모든 $\mathbf{Sh}(\mathcal{A},P)$-군은 안정된 군 연산을 갖는 고전적 군으로부터 유도되며, 반대로 모든 이러한 군은 이 구성법을 통해 층 이론적 군으로 유도된다.