论即其与计算机相关的问题 .pdf

集合论 1、集合论的历史。 集合论是一门研究数学基础的学科。集合论是现代数学的基础，是数学不可 或缺的基本描述工具。可以这样讲，现代数学与离散数学的“大厦”是建立在集 合论的基础之上的。21世纪数学中最为深刻的活动，就是关于数学基础的探讨。 这不仅涉及到数学的本性，也涉及到演绎数学的正确性。数学中若干悖论的发现， 引发了数学史上的第三次危机，而这种悖论在集合论中尤为突出。 集合论是德国著名数学家康托尔(G.Cantor)于19世纪末创立的。 十七世纪数学中出现了一门新的分支：微积分。在之后的一二百年中这一崭 新学科获得了飞速发展并结出了丰硕成果。其推进速度之快使人来不及检查和巩 固它的理论基础。十九世纪初，许多迫切问题得到解决后，出现了一场重建数学 基础的运动。正是在这场运动中，康托尔开始探讨了前人从未碰过的实数点集， 这是集合论研究的开端。1874 年，德国数学家康托尔在著名的《克雷尔数学杂 志》上发表了关于无穷集合论的第一章革命性文章。从1874年到1884年，康托 尔的一系列关于集合的文章，奠定了集合论的基础。他对集合所下的定义是：把 若干确定的、有区别的（不论是具体的或抽象的）事物合并起来，看作一个整体，， 其中各事物称为该集合的元素。 没想到集合论一诞生就遭到了许多数学家的激烈反对，当时的权威数学家克 罗内克(Kronecker)非常敌视康托尔的集合论思想，时间达整整十年之久，法国 数学大家庞加莱(Poincare)则预测后一代人将把集合论当作一种疾病。在猛烈的 攻击下与过度的用脑思考中，康托尔本人一度成为这一激烈论争的牺牲品，他得 了精神分裂症，几次陷于精神崩溃。 然而乌云遮不住太阳，经历二十余年后，集合论最终获得了世界公认。到二 十世纪初集合论已得到数学家们的赞同。数学家们乐观地认为从算术公理系统出 发，只要借助集合论的概念，便可以建造起整个数学的大厦。在1900年第二次 国际数学大会上，著名数学家庞加莱就曾兴高采烈地宣布“……数学已被算术化 了。我们可以说，现在数学已经达到了绝对的严格。”然而这种自得的情绪并没 能持续多久。英国哲学家罗素(Russell)就很怀疑数学的这种严密性，他经过三 年的苦思冥想，于1902年找到了一个能证明自己观点的简单明确的“罗素悖论”。 不久，集合论是有漏洞的消息迅速就传遍了数学界。 罗素构造了一个所有不属于自身（即不包含自身作为元素）的集合R。现在 问R是否属于R？如果R属于R，则R满足R 的定义，因此R不应属于自身，即 R不属于R；另一方面，如果R不属于R，则R不满足R 的定义，因此R应属于 自身，即R属于R。这样，不论何种情况都存在着矛盾（为了使罗素悖论更加通 俗易懂，罗素本人在1919年将其改写为“理发师悖论”）。这一仅涉及集合与属 于两个最基本概念的悖论如此简单明了以致根本留不下为集合论漏洞辩解的余 地。号称“天衣无缝”、“绝对严密”的数学陷入了自相矛盾之中。从此整个数学 的基础被动摇了，由此引发了数学史上的第三次数学危机。 危机产生后，众多数学家投入到解决危机的工作中去。1908年，德国数学 家策梅罗(E.Zermelo)提出公理化集合论，试图把集合论公理化的方法来消除悖 论。他认为悖论的出现是由于康托尔沒有把集合的概念加以限制，康托尔对集合 的定义是含混的．策梅罗希望简洁的公理能使集合的定义及其具有的性質更为显 然。策梅罗的公理化集合论后来演变成ZF或ZFS公理系统。从此原本直观的集 合概念被建立在严格的公理基础之上，从而避免了悖论的出现。这就是集合论发 展的第二个阶段：公理化集合论。与此相对应，在1908年以前由康托尔创立的 集合论被称为朴素集合论。公理化集合论是对朴素集合论的严格处理。它保留了 朴素集合论的有价值的成果并消除了其可能存在的悖论，因而较圆满地解决了第 三次数学危机。公理化集合论的建立，标志着著名数学家希耳伯特所表述的一种 激情的胜利，他大声疾呼：没有人能把我们从康托尔为我们创造的乐园中赶出去。 2、集合论在计算科学中的应用。 起初，集合论主要是对分析数学中的“数集”或几何学中的“点集”进行研 究。但是随着科学的发展，集合论的概念已经深入到现代各个方面，成为表达各 种严谨科学概念必不可少的数学语言。 随着计算机时代的到来，集合的元素已由传统的“数集”和“点集”拓展成 包含文字、符号、图形、图表和声音等多媒体信息，构成了各种数据类型的集合。 集合不仅可以用来表示数及其运算，更可以用来表示和处理非数值信息