差别
这里会显示出您选择的修订版和当前版本之间的差别。
| 两侧同时换到之前的修订记录 前一修订版 | |||
| public:math:mathematical_analysis:chapter_1 [2024/06/02 15:48] – [4. 作为关系的函数.函数的图像] oakfire | public:math:mathematical_analysis:chapter_1 [2024/06/02 15:55] (当前版本) – [2. 公理化集合论] oakfire | ||
|---|---|---|---|
| 行 112: | 行 112: | ||
| * 推论：任何集合 A 都拥有空子集 ∅X={x∈X|x≠x}, | * 推论：任何集合 A 都拥有空子集 ∅X={x∈X|x≠x}, | ||
| - **并公理** 对于由集合构成的任何集合 M, 存在集合 ∪M, 成为集合 M 的并， 它的元素恰好是 M 中所含元素的元素。 | - **并公理** 对于由集合构成的任何集合 M, 存在集合 ∪M, 成为集合 M 的并， 它的元素恰好是 M 中所含元素的元素。 | ||
| - | * 由并公理及分出公理，可定义集 M 的**交**为集合 \( \cap M := \{ x \in \cup M|\forall X((X \in M) \Rightarrow (x \in X)\} \) | + | * 由并公理及分出公理，可定义集 M 的**交**为集合 \[ \cap M := \{ x \in \cup M|\forall X((X \in M) \Rightarrow (x \in X)\} \] |
| - **对公理** 对于任意集合 X,Y, 存在一个集合 Z, 使 X 与 Y 是它仅有的元素。 | - **对公理** 对于任意集合 X,Y, 存在一个集合 Z, 使 X 与 Y 是它仅有的元素。 | ||
| * Z 即 X 与 Y 的无序对。 | * Z 即 X 与 Y 的无序对。 | ||
| - **子集之集的公理** 对于任意集合 X, 存在集合 P(X), | - **子集之集的公理** 对于任意集合 X, 存在集合 P(X), | ||
| - | * 由此公理，可定义 X×Y的直积： \(X \times Y := \{ p \in \mathcal{P}(\mathcal{P}(X)\cup \mathcal{P}(Y))| p=(x, | + | * 由此公理，可定义 X×Y的直积： \[X \times Y := \{ p \in \mathcal{P}(\mathcal{P}(X)\cup \mathcal{P}(Y))| p=(x, |
| * 公理1~5限制了形成新集的可能。可推论**不存在所有集之“集”**——这样可规避罗素悖论 | * 公理1~5限制了形成新集的可能。可推论**不存在所有集之“集”**——这样可规避罗素悖论 | ||
| - **无穷公理** 归纳集存在 | - **无穷公理** 归纳集存在 | ||
oakfire