ZFC公理体系：修订间差异

←上一编辑下一编辑→

可视化wikitext

2025年7月4日 (五) 14:06的版本

我们采用以下的 9 条公理、公理模式作为我们所使用的 ZFC 公理体系．

外延公理：两个集合 $A, B$ 相等，当且仅当任意 $x$ ，有 $x \in A$ 等价于 $x \in B$ ．
配对公理：对于任意两个集合 $A, B$ ，有 ${A, B}$ 是一个集合．
分离公理模式：对于任意集合 $S$ 和带 $n + 1$ 个参数的公式 $ϕ (x, p_{0}, p_{1}, \dots, p_{n})$ ，有 ${x \in S ∣ ϕ (x, p_{0}, p_{1}, \dots, p_{n})}$ 是一个集合．
并集公理：对于一个集合 $S$ ，存在一个集合 $U$ 使得对任意 $x \in S$ 和任意 $y \in x$ ，有 $y \in U$ ．
幂集公理：对于任意一个集合 $S$ ，存在一个集合 $U$ 使得 $A \subseteq S$ 等价于 $A \in U$ ．
正则公理：任意一个非空集合 $S$ 上都存在 $\in$ 链最小元，或者换句话说，存在 $x \in S$ 使得 $x \cap S = \emptyset$ ．
替换公理模式：对于任意一个集合 $S$ ，如果存在一个函数 $f : S \to U$ ，则 $f (S)$ 是一个集合．
无穷公理：存在一个集合 $S$ 使得空集是 $S$ 的元素，且对于任意 $x \in S$ 有 $x \cup {x} \in S$ ．
选择公理：对于一族两两不相交的非空集 ${U_{i} ∣ i \in I}$ ，存在集合 $S$ 使得对任意 $i \in I$ 有 $S \cap U_{i}$ 是单点集．这里对脚标集 $I$ 没有要求（可以是不可数集）．

我们将去掉第 9 条公理的公理体系称为 ZF，将去掉第 9 条和第 6 条的公理体系称为 ZF-REG，将去掉第 9 条和第 8 条的公理体系称为 ZF-INF，将去掉第 9 条和第 7 条的公理体系称为Z．

ZFC 中的公理之间存在着一定的关系，例如，第 7 条替换公理模式可推第 3 条分离公理模式．

下面我们将给出一些 ZFC 允许的集论操作．

1.并集用符号 $\cup$ 表述．

我们允许任意有穷多集合取并（本质就是将它们纳入一个集合让后对这个集合取它的并集），对于无穷多集合取并，我们在无穷公理和选择公理的帮助下也是能够完成．

2.交集用符号 $\cap$ 表述．

我们允许任意有穷多集合取交（利用分离公理模式），对于无穷多集合取交，我们在无穷公理和选择公理的帮助下也是能够完成．

3.补集/差集．

一个集合 $A$ 关于另一个包含 $A$ 作为子集的集合 $S$ 的补集，即为 $B = {x \in S ∣ x \notin A}$ ，通过分离公理可以得到．

4.笛卡尔积．

一个集合 $A$ 和一个集合 $B$ 的笛卡尔积 $A \times B$ 被定义为一个新的集合 $S = {(a, b) ∣ a \in A \land b \in B}$ ，这个 $(a, b)$ 的表示被称为有序对，一个有序对 $(a, b)$ 要求满足： $(a, b) = (c, d)$ 当且仅当 $a = c$ 且 $b = d$ ， $(a, b)$ 也可以被集论语言描述为 ${a, {a, b}}$ ，因此， $A \times B$ 这个笛卡尔积也可以被描述为 $A$ 与 $B$ 的并集取两次幂集之后通过分离公理得到的一个特殊的子集．

$n$ 多元的多元组被描述为以下形式．

二元： $(a, b)$ ．
三元： $(a, b, c) = ((a, b), c)$ ．
四元： $(a, b, c, d) = (((a, b), c), d)$ ．

以此类推．

任意有限多集合的笛卡尔积都存在且非空，通过选择公理，我们可以保证，无穷多集合的笛卡尔积也是非空的． $A^{n}$ 表示 $n$ 个 $A$ 自行相乘得到的笛卡尔积，我们也称呼 $A \times B$ 的一个子集是在 $A$ 和 $B$ 上的一个关系，称 $A^{n}$ 的一个子集是在 $A$ 上的一个 $n$ 元关系．

函数被我们定义为一种特殊的 $n$ 元关系．

根据笛卡尔积的概念，我们提出了 $range (A)$ 和 $domain (A)$ 的概念，其中 $A$ 是一个 $n + 1$ 元关系， $domain (A)$ 是全体前 $n$ 元所构成的集合， $range (A)$ 是全体最后一元构成的集合，用函数的语言描述就是从作为集合形式的函数上挖掘出了定义域和值域．

@@ 第1行： / 第1行： @@
-我们采用以下的9条公理、公理模式作为我们所使用的ZFC公理体系。
+我们采用以下的 9 条公理、公理模式作为我们所使用的 ZFC 公理体系．
-# 外延公理：两个集合 <math>A,B</math> 相等，当且仅当任意x， <math>x \in A</math> 等价于 <math>x \in B</math>
+# 外延公理：两个集合 <math>A,B</math> 相等，当且仅当任意 <math>x</math>，有 <math>x \in A</math> 等价于 <math>x \in B</math>．
-# 配对公理：对于任意两个集合 <math>A,B</math> ， <math>\{A,B\}</math> 是一个集合<br />
+# 配对公理：对于任意两个集合 <math>A,B</math>，有 <math>\{A,B\}</math> 是一个集合．
-# 分离公理模式：对于任意集合 <math>S</math> ，和带 <math>n</math> 个参数的公式 <math>\phi (x,p0,p1,p2,p3,\cdots),\{x\in S: \phi(x,p0,p1,\cdots)\}</math> 是一个集合
+# 分离公理模式：对于任意集合 <math>S</math> 和带 <math>n+1</math> 个参数的公式 <math>\phi(x,p_0,p_1,\cdots,p_n)</math>，有 <math>\{x\in S\mid\phi(x,p_0,p_1,\cdots,p_n)\}</math> 是一个集合．
-# 并集公理：对于一个集合 <math>S</math> ，存在一个集合 <math>U</math> 使得任意 <math>x\in S</math> ，任意 <math>y\in x,y\in U</math>
+# 并集公理：对于一个集合 <math>S</math> ，存在一个集合 <math>U</math> 使得对任意 <math>x\in S</math> 和任意 <math>y\in x</math>，有 <math>y\in U</math>．
-# 幂集公理：对于任意一个集合 <math>S</math> ，存在一个集合 <math>U</math> 使得 <math>A</math> 是 <math>S</math> 的子集等价于 <math>A\in U</math>
+# 幂集公理：对于任意一个集合 <math>S</math>，存在一个集合 <math>U</math> 使得 <math>A\sube S</math> 等价于 <math>A\in U</math>．
-# 正则公理：任意一个非空集合 <math>S</math> 上都存在 <math>\in</math> 链最小元，或者换句话说，存在 <math>x\in S</math> 使得 <math>S</math> 非空且 <math>x</math> 交 <math>S</math> 为空
+# 正则公理：任意一个非空集合 <math>S</math> 上都存在 <math>\in</math> 链最小元，或者换句话说，存在 <math>x\in S</math> 使得 <math>x\cap S=\varnothing</math>．
-# 替代公理：对于任意一个集合 <math>S</math> ，如果存在一个函数 <math>f:S\rightarrow U</math> ，则 <math>U</math> 是一个集合
+# 替换公理模式：对于任意一个集合 <math>S</math>，如果存在一个函数 <math>f:S\rightarrow U</math> ，则 <math>f(S)</math> 是一个集合．
-# 无穷公理：存在无穷集/存在一个集合 <math>S</math> 使得空集是 <math>S</math> 的元素，且对于任意 <math>x\in S,x\cup\{x\}\in S</math>
+# 无穷公理：存在一个集合 <math>S</math> 使得空集是 <math>S</math> 的元素，且对于任意 <math>x\in S</math> 有 <math>x\cup\{x\}\in S</math>．
-# 选择公理：对于任意集合 <math>S</math> ，存在一个选择函数使得 <math>f(S)\in S</math>
+# 选择公理：对于一族两两不相交的非空集 <math>\{U_i\mid i\in I\}</math>，存在集合 <math>S</math> 使得对任意 <math>i\in I</math> 有 <math>S\cap U_i</math> 是单点集．这里对脚标集 <math>I</math> 没有要求（可以是不可数集）．
-我们将去掉第9条公理的公理体系称为ZF,将去掉第9条和第6条的公理体系称为ZF-REG，将去掉第九条和第8条的公理体系称为ZF-INF，将去掉第九条和第7条的公理体系称为Z
-ZFC中的公理之间存在着一定的关系，例如，第7条替代公理模式可推第3条分离公理模式。
-下面我们将给出一些ZFC允许的集论操作
+我们将去掉第 9 条公理的公理体系称为 ZF，将去掉第 9 条和第 6 条的公理体系称为 ZF-REG，将去掉第 9 条和第 8 条的公理体系称为 ZF-INF，将去掉第 9 条和第 7 条的公理体系称为Z．
-.并集 用符号U表述
+ZFC 中的公理之间存在着一定的关系，例如，第 7 条替换公理模式可推第 3 条分离公理模式．
-我们允许任意有穷多集合取并（本质就是将它们纳入一个集合让后对这个集合取它的并集），对于无穷多集合取并，我们在无穷公理和选择公理的帮助下也是能够完成
+下面我们将给出一些 ZFC 允许的集论操作．
-.交集 用符号∩表述
+.并集 用符号 <math>\cup</math> 表述．
-我们允许任意有穷多集合取交（利用分离公理模式），对于无穷多集合取交，我们在无穷公理和选择公理的帮助下也是能够完成
+我们允许任意有穷多集合取并（本质就是将它们纳入一个集合让后对这个集合取它的并集），对于无穷多集合取并，我们在无穷公理和选择公理的帮助下也是能够完成．
-.补集/差集
+.交集 用符号 <math>\cap</math> 表述．
-一个集合A关于另一个包含A作为子集的集合S的补集，即为B=｛x∈S：x∉A｝，通过分离公理可以得到
+我们允许任意有穷多集合取交（利用分离公理模式），对于无穷多集合取交，我们在无穷公理和选择公理的帮助下也是能够完成．
-.笛卡尔积
+.补集/差集．
-一个集合A和一个集合B的笛卡尔积A*B被定义为一个新的集合S=｛（a，b）：a∈A∧b∈B｝，这个（a，b）的表示被称为有序对，一个有序对（a，b）要求满足：（a，b）=（c，d）当且仅当a=c且b=d，（a，b）也可以被集论语言描述为｛a，｛a，b｝｝，因此，A*B这个笛卡尔积也可以被描述为A与B的并集取两次幂集之后通过分离公理得到的一个特殊的子集
+一个集合 <math>A</math> 关于另一个包含 <math>A</math> 作为子集的集合 <math>S</math> 的补集，即为 <math>B=\{x\in S\mid x\notin A\}</math> ，通过分离公理可以得到．
-n多元的多元组被描述为以下形式
+.笛卡尔积．
-（a，b）二元
+一个集合 <math>A</math> 和一个集合 <math>B</math> 的笛卡尔积 <math>A\times B</math> 被定义为一个新的集合 <math>S=\{(a,b)\mid a\in A\land b\in B\}</math> ，这个 <math>(a,b)</math> 的表示被称为有序对，一个有序对 <math>(a,b)</math> 要求满足： <math>(a,b)=(c,d)</math> 当且仅当 <math>a=c</math> 且 <math>b=d</math>，<math>(a,b)</math> 也可以被集论语言描述为 <math>\{a,\{a,b\}\}</math> ，因此，<math>A\times B</math> 这个笛卡尔积也可以被描述为 <math>A</math> 与 <math>B</math> 的并集取两次幂集之后通过分离公理得到的一个特殊的子集．
-（a，b，c）=（（a，b），c）三元
+<math>n</math> 多元的多元组被描述为以下形式．
-（a，b，c，d）=（（（a，b），c），d）四元
+* 二元：<math>(a,b)</math>．
+* 三元：<math>(a,b,c)=((a,b),c)</math>．
+* 四元：<math>(a,b,c,d)=(((a,b),c),d)</math>．
-以此类推
+以此类推．
-任意有限多集合的笛卡尔积都存在且非空，通过选择公理，我们可以保证，无穷多集合的笛卡尔积也是非空的，A^n表示n个A自行相乘得到的笛卡尔积，我们也称呼A*B的一个子集是在A和B上的一个关系，称A^n的一个子集是在A上的一个n元关系
+任意有限多集合的笛卡尔积都存在且非空，通过选择公理，我们可以保证，无穷多集合的笛卡尔积也是非空的．<math>A^n</math> 表示 <math>n</math> 个 <math>A</math> 自行相乘得到的笛卡尔积，我们也称呼 <math>A\times B</math> 的一个子集是在 <math>A</math> 和 <math>B</math> 上的一个关系，称 <math>A^n</math> 的一个子集是在 <math>A</math> 上的一个 <math>n</math> 元关系．
-函数被我们定义为一种特殊的n元关系
+函数被我们定义为一种特殊的 <math>n</math> 元关系．
-根据笛卡尔积的概念，我们提出了range（A）和domain（A）的概念，其中A是一个n+1元关系，domain（A）是全体前n元所构成的集合，range（A）是全体最后一元构成的集合，用函数的语言描述就是从作为集合形式的函数上挖掘出了定义域和值域。
+根据笛卡尔积的概念，我们提出了 <math>\operatorname{range}(A)</math> 和 <math>\operatorname{domain}(A)</math> 的概念，其中 <math>A</math> 是一个 <math>n+1</math> 元关系，<math>\operatorname{domain}(A)</math> 是全体前 <math>n</math> 元所构成的集合，<math>\operatorname{range}(A)</math> 是全体最后一元构成的集合，用函数的语言描述就是从作为集合形式的函数上挖掘出了定义域和值域．