[论文解读] Sheaves and conditional sets

Asgar Jamneshan|arXiv (Cornell University)|Mar 21, 2014

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)$ 中的内部对象。

提出的方法

• 使用具有格罗滕迪克基 $P$ 的分区的范畴结构来建模完备布尔代数 $\mathcal{A}$ 上的层。
• 将层定义为集合族 $X_a$，配以满足相容性和粘合公理的限制映射 $f^b_a: X_b \to 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)$-希尔伯特空间，其内部结构是什么？

主要发现

• 通过格罗滕迪克基 $P$ 建立的 $\mathcal{A}$ 上的层范畴与条件集范畴等价，且层 $\mathfrak{P}(\mathcal{X})$ 在 $\mathbf{Sh}(\mathcal{A},P)$ 中表示幂对象。
• 对于巴拿赫空间 $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)$ 构成经典拓扑基。
• $L^2_{\mathcal{F}|\mathcal{G}}$（关于 $\mathcal{G}$ 条件的平方可积随机变量空间）是 $L^0(\mathcal{G},\mathbb{C})$-模，具有条件内积，其关联层为 $\mathbf{Sh}(\mathcal{B},P)$-希尔伯特空间。
• 任何 $\mathbf{Sh}(\mathcal{A},P)$-群均来自具有稳定群运算的经典群，反之，每个此类群通过构造均可诱导出一个层论群。