公理集合论 (ZFC)
带选择公理的策梅洛-弗兰克尔集合论 (ZFC) 是作为现代数学标准形式基础的一阶公理系统。
用 PaperMind 寻找选题即将推出Find papers & topics
Tools & resources
Learn & explore
视频即将推出
Definition
ZFC 是一种一阶逻辑理论，带有一个用于成员资格的二元关系符号，其公理（外延性、配对、并集、幂集、无穷、分离、替换、正则和选择）描述了集合的宇宙，并可从中推导出普通数学。
Scope
本主题涵盖 ZFC 的各个公理、它们生成的累积集合层次结构、分离和替换公理模式的作用，以及选择公理的特殊地位。它解释了熟悉的数学对象如何在该系统中被编码为集合。
Core questions
- 每个 ZFC 公理断言了什么以及为什么需要它？
- 累积层次结构如何组织集合的宇宙？
- 为什么选择公理被单独列出，它意味着什么？
- 数字、函数和关系如何在 ZFC 中被构造为集合？
Key theories
- 外延性公理和正则公理
- 外延性公理指出集合由其成员决定，而正则公理排除了无限下降的成员链，将宇宙构造为一个良基的累积层次结构。
- 分离和替换模式
- 分离模式形成由某个性质定义的子集，而替换模式允许在可定义类函数下集合的像成为一个集合，两者共同提供了构建大型集合所需的力量，同时避免了重新引入经典的悖论。
- 选择公理
- 选择公理断言任何非空集合的集合都存在一个选择函数；它等价于佐恩引理和良序定理，在许多数学领域中不可或缺，但独立于其他公理。
Clinical relevance
ZFC 是大多数在职数学家进行推理的隐含框架：它确定了哪些对象存在以及哪些构造是合法的，因此理解其公理有助于阐明哪些论证在基础上是可靠的，哪些论证依赖于选择或其他有争议的原则。
History
策梅洛于 1908 年提出了第一个公理化，以确保其良序定理的证明；弗兰克尔和斯科伦在 20 世纪 20 年代增加了替换模式，冯·诺依曼阐明了累积层次结构和正则公理，从而产生了现在称为 ZFC 的系统。
Key figures
- Ernst Zermelo
- Abraham Fraenkel
- Thoralf Skolem
- John von Neumann
Related topics
Seminal works
- kunen2011
- jech2003
- enderton1977
Frequently asked questions
- 为什么不直接使用朴素集合论？
- 朴素概括（允许形成满足任何性质的所有集合的集合）会导致罗素悖论。ZFC 用受限的分离和替换模式取代了无限制的概括，这避免了悖论，同时仍然足够强大以用于数学。
- 选择公理是必需的吗？
- 许多主流数学，包括向量空间的基和分析与代数中的许多结果，都依赖于它。它独立于其他公理，因此可以一致地假设或否定它，但通常被采纳。