Chapter3Part1(集合论).pptVIP

离散数学（集合论篇） Discrete Mathematics （Sets Theory） 第二篇 集合论 集合论(Set Theory)是现代数学的基础．它的起源可追溯到16世纪末，主要是对数集进行卓有成效的研究．但集合论实际发展是由 19世纪 70年代德国数学家康托尔(G . Cantor) 在无穷序列和分析的有关课题的理论研究中创立的．康托尔对具有任意特性的无穷集合进入了深入的探讨，提出了关于基数、序数、超穷数和良序集等理论，奠定了集合论的深厚基础．因此，康托尔被誉为集合论的创始人．但随着集合论的发展，以及它与数学哲学密切联系所作的讨论，在本世纪初，出现了许多似是而非、自相矛盾的悖论，如著名的罗素(B . A . W . Russell)悖论，有力冲击了或者说动摇了集合论的发展． 第二篇 集 合 论 由此原发许多数学家哲学家为克服这些矛盾而建立了各种公理化集合论体系，其中尤以本世纪初、中期的ZFS(E . Zermelo, A . Fraenkel, T . Skolem)和NBG(Von Neurnann, P . Bernavs, K . G?del)公理化体系最为流行. 到 20世纪 60年代，P . L . Cohen发明了强制方法而得到了关于连续统与选择公理的独立性成果，尔后的研究结果推陈出新，大量涌现．在同一时代，美国数学家 L . A.Zadeh提出了Fuzzy集理论, 以及 20世纪80年代波兰数学家Z . Pawlak发表了Rough集理论，这两种理论区别于以往的集合论， 是一种新的模糊集理论，受到了学术界的重视和青睐，取得了喜人成果．还有多位著名学者也为集合论的发展作出了重要贡献． 第二篇 集 合 论 集合论在计算机科学、人工智能领域、逻辑学及语言学等方面都有着重要的应用．对子从事计算机科学的工作者来说，集合论是不可缺少的理论知识，熟悉和掌握它是十分必要的． 第三章 集合、关系与映射 近百年来，集合论按直观朴素方法和公理化方法都有很大发展，特别是公理化集合论系统的发展已被公认为近代数学的最重大成果之一．以有限集合为背景来直观朴素地阐述集合理论，这在中学课程中已作了通俗介绍，人们称之为“孩子们的集合论”，而且这种理论会出现似是而非的悖论，导致数学基础的危机．既然如此，本课程将按ZFS公理化的方法去展开，以达到用有效的方法解决困难的目的，并给出一个表述简洁精确、论证严谨有序、内容协调丰富的科学体系． 3.1 集合的基本概念 1.罗素悖论 集合这个概念是非常基本和自然的，并且自古以来在一些数学著作中就已经使用．然而，人们通常把集合创始人归功于19世纪中期德国数学家康托尔(G.Cantor), 因为他对集合论作出巨大贡献．在集合论发展的开始阶段，康托尔并不明显地从公理出发来讨论集合论，可是，剖析康托尔集合论中的许多证明便知，几乎他所证明的一切定理均能从三个公理得出．这三个公理是: 3.1 集合的基本概念 ①外延公理: 如果两个集合中各个元都是相同的则它们相等． ②抽象公理: 任给一个性质，都有一个满足该性质的客体所组成的集合． ③选择公理: 每个集合都有一个选择函数． 但是, 毛病却出在抽象公理上. 1903年, 英国哲学家和数学家罗素(B.A.M.Russel)发现“由不为自身的成员这一性质的所有客体的集合”会导出矛盾来, 这就是著名罗素悖论. 由于悖论在推动公理化发展方面有重要作用, 在这里给出它的推导. 3.1 集合的基本概念 为了便于符号表述, 先引进一个表示属于关系的二位谓词∈, 如“x∈y”, 读作x属于y, 或者x为y的元(或元素、成员), 或者x在y中. 再使用已熟悉的数理逻辑符号, 则有抽象公理： (?y)(?x)(x∈y??(x)) (1) 其中, ?(x)是不以y为自由变元的公式(公式的定义下面给出). 为了得出罗素悖论，取中?(x)为“x不为x的成员”, 即?(x)=?(x∈x). 于是, 得到抽象公理的一个特例： (?y)(?x)(x∈y??(x∈x)) (2) 3.1 集合的基本概念 在(2)中取x＝y，可得 (?y)(?y)(y∈y??(y∈y)) (3) 而(3)等价于(y∈y∧?(y∈y), 即导出矛盾. 由此可见，这个简单推导对集合论的公理基础有深远影响．它表明了把(1)作为公理是承认得太多了．如果坚持朴素的逻辑，便不能在自身不矛盾的方式下坚持每个性质均存在一个具有该性质的客体构成的集合． 3.1 集合的基本概念 由于罗素悖论对抽象公理的巨大冲击, 蕴育着一个新的更加完善的公理即将产生．1908年德国数学家策