在公理系统中的集合.PPT

定理9．7．3 对任意的非空集合A，广义交∩A是集合， 证明 对非空集合A，存在A1∈A．选取公式(?y)(y∈A→x∈y)为p(x)．依据子集公理，对集合A1和上述公式，存在集合 A0＝{x|x∈A1^(?y)(y∈A→x∈y))， 此外 ∩A={x|(?y)(y∈A→x∈y))． 由A1∈A和(?y)(y∈A→x∈y)可以推出x∈A1，所以A0＝∩A，∩A是集合． 定理9．7．4 对任意的集合A和B，笛卡儿积A×B是集合． 证明 对任意的x，y，有 下面用子集公理证明一个重要结论． 定理9.7.5 不存在集合A,使任一集合都是A的元素． 证明 假设存在集合A，任一集合是A的元素．选p(x)为? x ∈x，依据子集公理，存在集合 与假设矛盾，定理得证。 下面说明，为什么以前规定∩?不存在? 假设∩?是集合，则由广义交的定义， x∈∩??(?y)(y∈?→x∈y)． 因为y∈?永假，所以右式永真．于是左式x∈∩?对所有x永真，于是∩?是所有集合的集合，与定理9．7．5矛盾．因此规定∩?不存在， 9．7．3 正则公理和奇异集合 首先定义非空集合的极小元． 定义9．7．1 对任意的集合A和B，当有A∈B且A∩B=?，就称A为B的一个极小元． 例如集合B＝{{?}，{?，{?}}}，则A1={?}是B的极小元，A2={?，{?}}不是B的极小元． 正则公理是说任一非空集合都有极小元． (?x)(x??→(?y)(y∈x^x∩y=?)) 正则公理又称为基础公理或限制公理．由这个公理可以推出集合的一些重要性质． 定理9．7．6 对任意的集合A，A?A． 证明 假设存在集合A，使A∈A，可以构造集合{A}，有A∈{A}．由正则公理，{A}有极小元，这只能是{A}的唯一元素A，因此，A∩{A}=?．但是，由假设A∈A，则A与{A}有公共元A，即A∩{A}??．产生矛盾．所以，A?A． 定理9．7．7 对任意的集合A1和A2有 ﹁(A1∈A2^A2∈A1)． 证明留作思考题，{A1, A2}违反正则公理。 定理9．7．8 对任何非空的传递集合A，有?∈A． 证明 假设存在非空传递集合A，有??A，由正则公理，A中有极小元y，使y∈A且y∩A＝?，由假设??A，则y≠?．由正则公理，非空集合y有极小元z，使z∈y且z∩y=?，因为A是传递集合，且z∈y和y∈A，所以z∈A，再考虑z∈y，则y∩A??，产生矛盾．结论得证． 由定理结论?∈A，可以进一步推出∩A=?，因而∩A是传递集合．这是定理9.5.16的结论， 下面讨论奇异集合的有关问题． 定义9．7．2 如果集合A中有集合的序列A0∈A，A1∈A，…，An∈A，…，使得 …，An+l∈An，An∈An-1，…，A1∈A0， 或简写为 …∈An+1∈An∈An-1 ∈…∈A2∈A1∈A0， 就称A为奇异集合， 定理9．7．9 奇异集合不满足正则公理， 证明 设A为奇异集合，则A中的—些元素满足 …∈An+1∈An∈An-1 ∈…∈A2∈A1∈A0 于是可以构造A的非空子集 B＝{A0，A1，…，An ，…}， 假设B中有极小元Ai(i≥0．)，则Ai∈B且Ai∩B＝?．然而，因为Ai+l∈Ai和Ai+l∈B，所以Ai∩B??，产生矛盾．因此B没有极小元，不满足正则公理．奇异集合A不是集合． 定理9．7．10 若非空集合A不是奇异集合，则A满足正则公理． 证明 假设A中没有极小元．则对任一个A0∈A，都存在A1，使A1∈A0且A1∈A．A1也不是A的极小元，应存在A2，使A2∈A1且A2∈A．依此类推，A中应有元素A0，A1，…，An,…，使得 …∈An+1∈An∈An-1∈…∈A1∈A0 因此A是奇异集合，与已知矛盾．所以A中有极小元，A满足正则公理． 定理指出，若存在奇异集合，则不满足正则公理；若存在正则公理，则不存在奇异集合．正则公理是限制性的，它排除了奇异集合的存在，1908年提出的集合论公理中没有正则公理，1917年提出了奇异集合问题．1925年提出了正则公理，解决了奇异集合问题。 9，7．4 无穷公理和自然数集合 无穷公理给出自然数集合的存在性．下面先定义自然数，再说明无穷公理． 定义9．7．3 对任意的集合A，可以定义集合A+=AU{A}，把A+称为A的后继，A称为A+的前驱． 定义9．7．4 集合0＝?是一个自然数，若集合n是一个自然数，则集合n+1=n+也是一个自然数． 按照这个定义，可以列出各自然数 0没有元素，1有一个元素，2有两个元素，所以。这样定义自然数是合理的，很容易定义自然数间的大小关系， 定义9．7．5 对任意的自然数m和n