Grothendieck 宇宙
在集合论中, Grothendieck 宇宙是一类集合, 该集合包含的集合全体满足 ZFC 集合论的所有公理, 从而常规数学中的任何操作都可限制在该宇宙中进行. 这一工具可以用来规避 Russell 悖论及范畴论等中常出现的类似集合论问题. 常将 Grothendieck 宇宙视为一个小型的 ZFC 集合论, 此时该集合论中的真类可表示为可能在该宇宙之外的集合. 例如, 宇宙本身, 即宇宙中所有集合的集合, 即是该宇宙之外的集合.
在通常的 ZFC 集合论中, 不能直接证明存在 Grothendieck 宇宙. 事实上, Grothendieck 宇宙的存在性等价于不可达基数的存在性, 因此可将其视为施加于 ZFC 集合论之上的另一条公理.
1定义
定义 1.1. 如果某个集合 满足以下要求, 就称其为 Grothendieck 宇宙.
• | 传递性: 如果集合 , 那么 的元素也属于 . |
• | 二元集: 如果 , 那么 . |
• | 幂集: 如果 , 那么 . |
• | 并集: 如果 , 并且有以 为指标集的集合族 , 那么 . |
也称 的元素为 -小集合, 无歧义时简称小集合.
比较小的平凡情况包括 . 有时也在定义中要求 , 以排除这些情况.
2性质
集合论
定理 2.1. 如果 Grothendieck 宇宙 满足 , 那么 构成 ZFC 集合论的模型.
根据 Gödel 不完备性定理, ZFC 集合论本身无法证明存在这样的集合, 除非它有矛盾. 可以证明 Grothendieck 宇宙存在等价于存在不可达基数.
范畴论
在范畴论中, 我们往往不关心集合的具体元素, 而只考虑它们在同构意义下的性质. 因此, Grothendieck 宇宙也有范畴语言的版本.
定义 2.2. 给定初等意象 , Grothendieck 宇宙是一个映射 , 满足以下性质. 如果 可以写成 沿着某个映射拉回, 就说 是 (本质) 小的. 如果 本质小, 也可以说成 本质小.
• | 单射都是小的. |
• | 小映射 的复合 也小. |
• | 小映射 的前推 也小. |
• | 子对象分类子 本质小. |
直观上, 定义中的映射 可以看作一族集合 , 定义为 . 本质小映射意味着每个 都与某个小集合有双射.
定理 2.3. 给定集合意义下的 Grothendieck 宇宙 , 定义 为全体 -小带点集合的集合, 则投影映射 构成范畴意义下 的 Grothendieck 宇宙.
定义中的要求也可以有所取舍. 例如可以要求自然数对象 是本质小的. 在类型论的语境下, 往往不要求单射或者子对象分类子本质小, 因为类型论中往往不讨论严格满足泛性质的命题宇宙.
以下的条件可以视作一种下降:
• | 如果 是满射, 沿着 的拉回 本质小, 那么 也本质小. |
术语翻译
Grothendieck 宇宙 • 英文 Grothendieck universe