集合论

• 目录
• 先修知识
• 符号约定
• 参考文献

本教程系统介绍朴素集合论与公理化集合论的基础知识，从集合的直观概念出发，逐步深入到公理体系、关系与函数、自然数构造、基数与序数等核心主题。全书力求深入浅出，每个概念都配有严谨的定义、直观的解释和丰富的例题，帮助读者快速建立集合论的完整知识框架，为进一步学习分析学、拓扑学、代数学等数学分支奠定坚实基础。

目录

1. 集合
2. 公理化集合论
3. 关系
4. 映射与函数
5. 自然数与归纳
6. 基数
7. 序数与良序
8. 容斥原理

先修知识

阅读本教程需要以下基础知识：

• 高中数学基础：逻辑推理、数学归纳法、基本的代数运算
• 初步的数学证明能力：了解反证法、构造性证明等基本证明方法

符号约定

本教程使用的数学符号遵循 数学符号定义 中的约定。特别地：

• 集合用大写字母 $A, B, C$ 等表示，元素用小写字母 $a, b, c$ 等表示
• 空集记为 $\varnothing$
• 自然数集 $\mathbb{N}$，整数集 $\mathbb{Z}$，有理数集 $\mathbb{Q}$，实数集 $\mathbb{R}$
• 属于关系记为 $\in$，包含关系记为 $\subseteq$（子集）和 $\subset$（真子集）
• 集合运算：并集 $A \cup B$，交集 $A \cap B$，差集 $A \setminus B$，补集 $\overline{A}$
• 幂集记为 $\mathcal{P}(A)$，基数记为 $|A|$
• 大于等于使用 $\geqslant$，小于等于使用 $\leqslant$

参考文献

1. Paul R. Halmos, Naive Set Theory, Springer
2. Herbert B. Enderton, Elements of Set Theory, Academic Press
3. Thomas Jech, Set Theory, Springer
4. Kenneth Kunen, Set Theory: An Introduction to Independence Proofs, North-Holland