佐恩引理和良序定理

快捷方式: 差异，相似，杰卡德相似系数，参考。

佐恩引理和良序定理之间的区别

佐恩引理 vs. 良序定理

佐恩引理（Zorn's Lemma）也被称为库拉托夫斯基-佐恩（Kuratowski-Zorn）引理，是集合论中一个重要的定理，其陳述為： 在任何一非空的偏序集中，若任何链（即全序的子集）都有上界，則此偏序集内必然存在（至少一枚）极大元。 佐恩引理是以数学家马克斯·佐恩的名字命名的。 具体来说，假设(P, \le)是一个偏序集，它的一个子集T称为是一个全序子集，如果对于任意的s, t \in T有s \le t或t \le s。而T称为是有上界的，如果P中存在一个元素u，使得对于任意的t \in T，都有t \le u。在上述定义中，并不要求u一定是T中的元素。而一个元素m \in T称为是極大的，如果x \in T且x \ge m，则必然有x. 在數學中，良序定理（Well-ordering theorem）表示「所有集合都可以被良序排序」。这是非常重要的，因为它使所有集合均适用於超限归纳法。.

超限归纳法

超限归纳法（transfinite induction）是数学归纳法向（大）良序集合比如基数或序数的集合的扩展。.

佐恩引理和超限归纳法 · 良序定理和超限归纳法 · 查看更多 »

良序关系

在数学中，集合S上的良序关系（或良序）需要满足：1.是在S上的全序关系2.

佐恩引理和良序关系 · 良序关系和良序定理 · 查看更多 »

集合

集合可以指：.

佐恩引理和集合 · 良序定理和集合 · 查看更多 »

选择公理

选择公理（Axiom of Choice，縮寫AC）是数学中的一条集合论公理。这条公理声明，对所有非空指标集族 (S_i)_，总存在一个索引族 (x_i)_，对每一个 i \in I，均有 x_i \in S_i。选择公理最早于1904年，由恩斯特·策梅洛为证明良序定理而公式化完成。 非正式地說，选择公理声明：給定一些盒子（可以是無限個），每个盒子中都含有至少一个小球，那么可以作出这样一种选择，使得可从每个盒子中恰好选出一个小球。在很多情况下这样的选择可不借助选择公理；尤其是在“盒子个数有限”和“存在具體的選擇規則”（當每個盒子都恰好只有一个小球具有某項特征）这两种情况下。再举一个例子，假设有许多（甚至是无限）双鞋子，则我们可以选取每双鞋左边的鞋子构成一个具体的选择。然而，假设有无限双袜子（假设每双袜子都没有可区分的特征），在这种情况下，有效的选择只能通过选择公理得到。 尽管曾具有争议性，选择公理現在已被大多数数学家毫无保留地使用着，例如带有选择公理的策梅洛-弗兰克尔集合论（ZFC）。数学家们使用选择公理的原因是，有许多被普遍接受的数学定理，比如是吉洪诺夫定理，都需要选择公理来证明。現代的集合论学家也研究与选择公理相矛盾的公理，例如。 在一些構造性數學的理論中會避免选择公理的使用，不過也有的將选择公理包括在內。.

佐恩引理和选择公理 · 良序定理和选择公理 · 查看更多 »