Mixing
策梅洛-弗兰克尔集合论
策梅洛-弗兰克尔集合论（英语：Zermelo-Fraenkel Set Theory），含选择公理時常简写为ZFC，是在数学基础中最常用形式的公理化集合论，不含選擇公理的則簡寫為ZF。
目录
1 介绍
2 公理
2.1 1.外延公理
2.2 2.正規公理
2.3 3.分類公理
2.4 4.配對公理
2.5 5.聯集公理
2.6 6.替代公理
2.7 7.無窮公理
2.8 8.冪集公理
2.9 9.良序定理
3 参见
4 參考資料
5 文献
6 外部链接
介绍
ZFC构成自一个单一的基本本体论概念集合，和一个单一的本体论假定，就是在论域中所有的个体（就是所有数学对象）都是集合。有一个单一的基本二元关系集合成员关系；集合a是集合b的成员写为a ∈{displaystyle in }
在1908年，恩斯特·策梅洛提议了第一个公理化集合论，策梅洛集合论。这个公理化理论不允许构造序数；而多数“普通数学”不使用序数就不能被开发，序数在多数集合论研究中是根本工具。此外，Zermelo的一个公理涉及“明确性”性质的概念，它的操作性意义是有歧义的。在1922年，亞伯拉罕·弗蘭克爾和陶拉爾夫·斯科倫独立的提议了定义“明确性”性质为可以在一阶逻辑中公式化的任何性质，从他们的工作促成了替代公理。Zermelo集合论接受替代公理和正规公理，产生了被称呼为ZF的这个集合论。
向ZF增加选择公理产生了ZFC。在数学成果要求选择公理的时候，有时明显的这么声明。这么单提出AC的原因是AC天生的，是非构造性的；它确立一个集合（选择集合）的存在，而不规定如何构造这个集合。所以使用AC证明的结果涉及尽管可以证明其存在（如果你不忠于构造主义本体论的话），但可能永远都不能构造出来的集合。
ZFC有无穷多个公理，因为替代公理实际上是公理模式。已知ZFC和ZF集合论二者都不能用有限数目个公理来公式化，这最先由Richard Montague证实。在另一方面，冯诺伊曼-博内斯-哥德尔集合论（Von Neumann–Bernays–Gödel, NBG）可以有限的公理化。NBG的本体论同集合一样包括类；类是有成员但不是其他类的成员的实体。NBG和ZFC是等价的集合论，在关于集合（就是说不以任何方式提及类）的任何定理在一个理论中可以证明，就可以在另一个理论中证明。
依据哥德尔第二不完备定理，ZFC的相容性不能在ZFC自身之内证明。ZFC的广延等同于普通数学，所以ZFC的相容性不能在普通数学中证明。ZFC的相容性可从弱不可及基数的存在而得出，它是其存在不能在ZFC中证明的某种东西。但是几乎没有人怀疑ZFC有什么未被发觉的矛盾；如果ZFC是不自洽的，早就该被發掘出来。这是确定无疑的：ZFC免除了朴素集合论的三大悖论，罗素悖论、布拉利-福尔蒂悖论和康托尔悖论。
文献中讨论过的ZFC的缺陷包括：
- 它比几乎所有普通数学所要求的程度还要强（Saunders MacLane和Solomon Feferman这么认为）；
- 相对于其他集合论的公理化，ZFC相对要弱。例如，它不允许全集（如新基础）或类（如NBG）的存在；
Saunders MacLane（范畴论的缔造者之一）和其他人争论说任何公理化集合论对于实际上的数学工作方式而言都是不正当的。依据他的观点，数学不是关于抽象对象的搜集和它们的性质的学科，而是关于结构和结构保持的映射的学科。
公理
ZFC的公理有許多等價的公式[1]。下列的公理集合是由丘嫩於1980年提出的。公理本身以一階邏輯來敘述，之中的句子只是用來增加對邏輯描述的直覺概念。
1.外延公理
Axiom of extensionality
兩個集合相等，若它們有相同的元素。
∀x∀y[∀z(z∈x⇔z∈y)⇒x=y]{displaystyle forall xforall y[forall z(zin xLeftrightarrow zin y)Rightarrow x=y]}。
這個公理的逆敘述可以由等式的代替性中得到。若背景邏輯不包含等式「=」，x=y可以定義為如下公式的縮寫[2]
∀z[z∈x⇔z∈y]∧∀z[x∈z⇔y∈z]{displaystyle forall z[zin xLeftrightarrow zin y]land forall z[xin zLeftrightarrow yin z]}。
如此一來，外延公理可寫成：
- ∀x∀y[∀z(z∈x⇔z∈y)⇒∀z(x∈z⇔y∈z)],{displaystyle forall xforall y[forall z(zin xLeftrightarrow zin y)Rightarrow forall z(xin zLeftrightarrow yin z)],}
![forall xforall y[forall z(zin xLeftrightarrow zin y)Rightarrow forall z(xin zLeftrightarrow yin z)],](https://wikimedia.org/api/rest_v1/media/math/render/svg/11417ddb36359f4241d548bc4793a98a12540493)
若x和y有相同的元素，則它們屬於同一個集合[1]
2.正規公理
Axiom of regularity / Axiom of foundation
每個非空集合x都包含一個成員y，使得x和y不相交。
∀x[∃a(a∈x)⇒∃y(y∈x∧¬∃z(z∈y∧z∈x))]{displaystyle forall x[exists a(ain x)Rightarrow exists y(yin xland lnot exists z(zin yland zin x))]}。
3.分類公理
設z為一個集合，且ϕ{displaystyle phi !}
∀z∀w1…wn∃y∀x[x∈y⇔(x∈z∧ϕ)]{displaystyle forall zforall w_{1}ldots w_{n}exists yforall x[xin yLeftrightarrow (xin zland phi )]}。
這個公理是Z的一部份，但在ZF中就顯得多餘，因為它可以由替代公理和空集公理中導出。
由分類公理構成的集合通常使用集合建構式符號來標記。給定一集合z和具有一自由變數x的公式ϕ(x){displaystyle phi (x)!}
{x∈z:ϕ(x)}{displaystyle {xin z:phi (x)}}。
分類公理可以用來證明空集（標記為∅{displaystyle varnothing }
∅={u∈w∣(u∈u)∧¬(u∈u)}{displaystyle varnothing ={uin wmid (uin u)land lnot (uin u)}}.
若背景邏輯包含等式，也可定義空集為
∅={u∈w∣¬(u=u)}{displaystyle varnothing ={uin wmid lnot (u=u)}}.
因此，空集公理可由此處的九個公理中導出。外延公理還可證明空集是唯一的（不依賴w）。通常會以定義性擴展，將符號∅{displaystyle varnothing }
4.配對公理
Axiom of pairing
若x和y是集合，則存在一個集合包含x 和y。
∀x∀y∃z(x∈z∨y∈z){displaystyle forall xforall yexists z(xin zlor yin z)}。
這個公理是Z的一部份，但在ZF中就顯得多餘，因為它可以由將替代公理應用至任意有兩個成員的集合上導出。此類集合的存在性可由將無窮公理或冪集公理應用兩次至空集上得到。
5.聯集公理
Axiom of union
對任一個集合F{displaystyle {mathcal {F}}}
∀F∃A∀Y∀x[(x∈Y∧Y∈F)⇒x∈A]{displaystyle forall {mathcal {F}},exists A,forall Y,forall x[(xin Yland Yin {mathcal {F}})Rightarrow xin A]}。
6.替代公理
Axiom schema of replacement
令ϕ{displaystyle phi !}
∀A∀w1,…,wn[∀x(x∈A⇒∃!yϕ)⇒∃B∀x(x∈A⇒∃y(y∈B∧ϕ))]{displaystyle forall Aforall w_{1},ldots ,w_{n}{bigl [}forall x(xin ARightarrow exists !y,phi )Rightarrow exists Bforall x{bigl (}xin ARightarrow exists y(yin Bland phi ){bigr )}{bigr ]}}。
較不形式地說，這個公理敘述：若一個可定義的函數f的定義域為一集合，且對定義域的任一x，f(x)也都是集合，則f的值域會是一個集合的子集。這個限制被需要用來避免一些悖論。
7.無窮公理
Axiom of infinity
令S(x){displaystyle S(x)!}
∃X[∅∈X∧∀y(y∈X⇒S(y)∈X)]{displaystyle exists Xleft[varnothing in Xland forall y(yin XRightarrow S(y)in X)right]}。
較口語地說，存在一個有無限多成員的集合X。滿足無窮公理的最小集合X為馮諾伊曼序數ω，這個序數也可想成是自然數的集合N{displaystyle mathbb {N} }
8.冪集公理
Axiom of power set
令z⊆x{displaystyle zsubseteq x}
∀x∃y∀z[z⊆x⇒z∈y]{displaystyle forall xexists yforall z[zsubseteq xRightarrow zin y]}。
9.良序定理
Well-ordering theorem
對任一集合X，總存在一個可良好排序X的二元關係R。這意指著，R是X上的全序關係，且X內每個非空子集在R下都有一個最小元素。
∀X∃R(Rwell-ordersX){displaystyle forall Xexists R(R;{mbox{well-orders}};X)}。
若給定前八個公理，就可以找到許多個和第九個公理等價的敘述，最著名的則為選擇公理，其敘述如下：令X為一非空集合，則存在一從X映射至X內成員的聯集的函數（稱為「選擇函數」），可使得對所有的Y ∈ X都會有f(Y) ∈ Y。因為當X為有限集合時，選擇函數的存在性很容易由前八個公理中證出，所以選擇公理只在無限集合中有意義。選擇公理被認為是非結構的，因為它只聲明一個選擇集合的存在，但完全不講這個選擇集合是如何被「建構」出來的。
参见
- 康托尔定理
- 公理化集合论
- 策梅洛集合论
- 罗素公理体系
- 新基础集合论
- ZFC系統無法確定的命題列表
參考資料
^ 1.01.1 對這些等價的公式的一個豐富但有點過時的討論，請見Fraenkel et al. (1973)
^ Hatcher 1982, p. 138, def. 1
文献
.mw-parser-output .refbegin{font-size:90%;margin-bottom:0.5em}.mw-parser-output .refbegin-hanging-indents>ul{list-style-type:none;margin-left:0}.mw-parser-output .refbegin-hanging-indents>ul>li,.mw-parser-output .refbegin-hanging-indents>dl>dd{margin-left:0;padding-left:3.2em;text-indent:-3.2em;list-style:none}.mw-parser-output .refbegin-100{font-size:100%}
亞歷山大·阿扁, 1965. The Theory of Sets and Transfinite Arithmetic. W B Saunders.
Keith Devlin, 1996 (1984). The Joy of Sets. Springer.
Abraham Fraenkel, Yehoshua Bar-Hillel, and Levy, Azriel, 1973 (1958). Foundations of Set Theory. North Holland.- Hatcher, William, 1982 (1968). The Logical Foundations of Mathematics. Pergamon.
- Jech, Thomas, 2003. Set Theory: The Third Millennium Edition, Revised and Expanded. Springer. ISBN 3-540-44085-2.
- Kunen, Kenneth, 1980. Set Theory: An Introduction to Independence Proofs. Elsevier. ISBN 0-444-86839-9.
- Suppes, Patrick, 1972 (1960). Axiomatic Set Theory. Dover.
- Tourlakis, George, 2003. Lectures in Logic and Set Theory, Vol. 2. Cambridge Univ. Press.
Jean van Heijenoort, 1967. From Frege to Godel: A Source Book in Mathematical Logic, 1879-1931. Harvard Univ. Press. Includes annotated English translations of the classic articles by Zermelo, Frankel, and Skolem bearing on ZFC.
外部链接
Metamath. An online project building a great deal of mathematics from first-order logic and ZFC. Principia Mathematica done right.
Stanford Encyclopedia of Philosophy: Set Theory -- by Thomas Jech.
Comments
Post a Comment