集合论的诞生与发展是怎样的

[家长评语集合]下面fanwen51小编为大家提供一篇家长评语集合，欢迎浏览！如果单从作业看，你是很不错。可作业只是检查你课堂上学习情况，关键是你运用课堂上所学的知识解决问题的能力，这就是你为...+阅读

数学分析严格化的先驱波尔查诺（1781〜1848年）是一位探索实无穷的先驱，他是第一个为了建立集合的明确理论而付出了积极努力的人。他明确谈到实在无穷集合的存在，强调两个集合等价的概念，也就是后来的一一对应的概念。他知道，无穷集合的一个部分或子集可以等价于其整体，他认为这个事实必须接受。例如0到5之间的实数通过公式y = 12x/5可与0到 12之间的实数构成一一对应，虽然后面的集合包含前面的集合^为此，他为无穷集合指定超限数，使不同的无穷集合，超限数不同。不过，后来康托尔指出，波尔查诺指定无穷集合的超限数的具体方法是错误的。另外，他还提出了一些集合的性质，并将它们视为悖论。因此，他关于无穷的研究哲学意义大于数学意义。应该说，他是康托尔集合论的先驱。黎曼（1826〜1866年）是在1854年的就职论文《关于用三角级数表示函数的可能性》中首次提出“唯一性问题”的。大意是：如果函数f(x)在某个区间内除间断点外所有点上都能展开为收敛于函数值的三角级数，那么这样的三角级数是否是唯一的？但他没有给予回答。1870 年海浬（1821〜1881年）证明：当f(x)连续，且它的三角级数展开式一致收敛时，展开式是唯一的。进一步的问题是：当f(x)具有无穷多个间断点时，唯一性能否成立？康托尔就是通过对唯一性问题的研究，认识到无穷集合的重要性，并开始从事无穷集合的一般理论研究。早在1870年和1871年，康托尔两次在《数学杂志》上发表论文，证明了函数f(x)的三角级数表示的唯一性定理，而且证明了即使在有限个间断点处不收敛，定理仍然成立。 1872年他在《数学年鉴》上发表了一篇题为《三角级数中一个定理的推广》的论文，把海涅的一致收敛的严酷条件推广到允许间断点是某种无穷的集合的情形。为了描述这种集合，他首先定义了点集的极限点，然后引进了点集的导集和导集的导集等有关重要概念。这是从唯一性问题的探索向点集论研究的开端，并为点集论奠定了理论基础。 1873年11月29日，康托尔在给戴德金（1831〜1916年）的一封信中，终于把导致集合论产生的问题明确地提了出来：正整数的集合（n）与实数的集合（x）之间能否把它们一一对应起来？同年12月7日，康托尔写信给戴德金，说他已能成功地证明实数的“集体”是不可数的，也就是不能同正整数的“集体”一一对应起来。这个时期应该看成是集合论的诞生日。 1874年，康托尔发表了这个证明，不过论文题目换成另外一个题目“论所有实代数数集体的一个性质，”因为克洛内克（1823〜1891年）根本就反对这种论文，他认为这种论文根本没有内容，无的放矢。该文提出了“可数集”概念，并以一一对应为准则对无穷集合进行分类，证明了如下重要结果：

（1）一切代数数是可数的；

（2）任何有限线段上的实数是不可数的；

（3）超越数是不可数的；

（4）一切无穷集并非都是可数的，无穷集同有穷集一样也有数量（基数）上的区别。 1874年1月5日，康托尔给戴德金写信，提出下面的问题：是否能把一块曲面（如包含边界在内的正方形）一意地映射到一条线（如包含端点在内的线段），使得面上每一点对应线上一点而且反过来线上每一点对应面上一点？ 1877年6月20日，他给戴德金写信，这次他告诉他的朋友这个问题答案是肯定的理由，虽然几年以来他都认为答案是否定的。信中说“我看到了它，但我简直不能相信它”。关于这一成果的论文1878年发表后，吸引人们研究度量空间维数的本质，很快出现一批论文。这批论文标志着集合拓扑的幵始。从1879〜1883年，康托尔写了六篇系列论文，论文总题目是“论无穷线形点流形”，其中前四篇同以前的论文类似，讨论了集合论的一些数学成果，特别是涉及集合论在分析上的一些有趣的应用。第五篇论文后来以单行本出版，单行本的书名叫《一般集合论基础》。第六篇论文是第五篇的补充。《一般集合论基础》在数学上的主要成果是引进超穷数。该文从内容到叙述方式都同现代的朴素集合论基本一致，所以该书标志着点集论体系的建立。 1884年，由于连续统假设长期得不到证明，再加上与克罗内克的尖锐对立，精神上屡遭打击，5月底，康托尔支持不住了，第一次精神崩溃。他的精神沮丧，不能很好地集中研究集合论，从此深深地卷入神学、哲学及文学的争论而不能自拔。不过每当他恢复常态时，他的思想总变得超乎寻常的清晰，并继续集合论的工作。《对超穷集合论基础的贡献》是康托尔最后一部重要的数学著作。《贡献》分两部分，第一部分是全序集合的研究，于1895年5月在《数学年刊》上发表。第二部分于1897年5月在《数学年刊》上发表。《贡献》的发表标志着集合论已从点集论过渡到抽象集合论。但是，由于它还不是公理化的，而且它的某些逻辑前提和某些证明方法如不给予适当的限制便会导出悖论，所以康托尔的集合论通常成为古典集合论或朴素集合论。不过，康托尔的集合论并不是完美无缺的。一方面，康托尔对“连续统假设”和“良序性定理”始终束手无策；另一方面，19和20世纪之交发现的布拉利一福蒂悖论、...