集合论的形成与发展文献综述

文献综述是文献综合评述的简称，指在全面搜集有关文献资料的基础上，经过归纳整理、分析鉴别，对一定时期内某个学科或专题的研究成果和进展进行系统、全面的叙述和评论。综述分为综合性的和专题性的两种形式。综合性的综述是针对某个学科或专业的，而专题性的综述则是针对某个研究问题或研究方法、手段的。文献综述的特征是依据对历史和当前研究成果的深入分析，指出当前的水平、动态、应当解决的问题和未来的发展方向，提出自己的观点、意见和建议。并依据有关理论，研究条件和实际需要等。对各种研究成果进行评述，为当前的研究提供基础或条件。对于具体科研工作而言，一个成功的文献综述，能够以其严密的分析评价和有根据的趋势预测，为新课题的确立提供了强有力的支持和论证，在某种意义上，它起着总结过去、指导提出新课题和推动理论与实践新发展的作用。文献综述具有内容浓缩化、集中化和系统化的特点，可以节省同行科技工作者阅读专业文献资料的时间和精力，帮助他们迅速地了解到有关专题的历史、进展、存在问题，做好科研定向工作。 对文献综述的质量要求主要有六条：（1）搜集文献应当客观、全面。（2）材料与评论要协调、一致。（3） 针对性强。（4）提纲挈领，突出重点。（5）适当使用统计图表。（6）不能混淆文献中的观点和作者个人的思想。 一般情况下，文献综述由五个步骤环节组成。第一步，确定综述的选题。第二步，收集相关的文献资料。第三步，整理文献。第四步，撰写综述初稿第五步，修改综述初稿，并完成文献综述。

集合论的建立 康托在柏林大学的导师是外尔斯托拉斯，库曼和克罗内克。库曼教授是数论专家，他以引进理想数并大大推动费马大定理的研究而举世闻名是。克罗内克是一位大数学家，当时许多人都以得到他的赞许为荣。外尔斯托拉斯是一位优秀教师也是一位大数学家。他的演讲给数学分析奠定了一个精确而稳定的基础。例如，微积分中著名的观念就是他首先引进的。正是由于这些人的影响，康托对数论较早产生兴趣，并集中精力对高斯所留下的问题作了深入的研究。他的毕业论文就是关于 =0的素数问题的。这是高斯在《算术研究》中提出而未解决的问题。这片论文写得相当出色，它足以证明作者具有深刻的洞察力和对优秀思想的继承能力。然而，他的超穷集合论的创立，并没有受惠于早期对数论的研究。相反，他很快接受了数学家海涅的建议转向了其他领域。海涅鼓励康托研究一个十分有趣，也是较困难的问题：任意函数的三角级数的表达式是否唯一？对康托来说这个问题是促使他建立集合论的最直接原因。函数可用三角级数表示，最早是1822年傅立叶提出来的。此后对于间断点的研究，越来越成为分析领域中引人注目的问题，从19世纪30年代起，不少杰出的数学家从事着对不连续函数的研究，并且都在一定程度上与集合这一概念挂起了钩。这就为康托最终建立集合论创造了条件。1870年，海涅证明，如果表示一个函数的三角级数在区间[-π,π]中去掉函数间断点的任意小邻域后剩下的部分上是一致收敛的，那么级数是唯一的。至于间断点的函数情况如何，海涅没有解决。康托开始着手解决这个以如此简洁的方式表达的唯一性问题。于，他跨出了集合论的第一步。 康托一下子就表现出比海涅更强的研究能力。他决定尽可能多地取消限制，当然这会使问题本身增加难度。为了给出最有普遍性的解，康托引进了一些新的概念。在其后的三年中，康托先后发表了五篇有关这一题目的文章。1872年当康托将海涅提出的一致收敛的条件减弱为函数具有无穷个间断点的情况时，他已经将唯一性结果推广到允许例外值是无穷集的情况。康托1872年的论文是从间断点问题过度到点集论的极为重要的环节，使无穷点集成为明确的研究对象。 集合论里的中心，难点是无穷集合这个概念本身。从希腊时代以来，无穷集合很自然地引起数学家们和哲学家们的注意。而这种集合的本质以及看来是矛盾的性质，很难象有穷集合那样来把握它。所以对这种集合的理解没有任何进展。早在中世纪，人们已经注意到这样的事实：如果从两个同心圆出发画射线，那么射线就在这两个圆的点与点之间建立了一一对应，然而两圆的周长是不一样的。16世纪，伽俐略还举例说，可以在两个不同长的线段ab与cd之间建立一一对应，从而想象出它们具有同样的点。 他又注意到正整数可以和它们的平方构成一一对应，只要使每个正整数同它们的平方对应起来就行了: 1 2 3 4 … … n … … 2 3 4 … … n … … 但这导致无穷大的不同的“数量级”，伽俐略以为这是不可能的因为所有无穷大都一样大。 不仅是伽俐略，在康托之前的数学家大多不赞成在无穷集之间使用一一对应的比较手段，因为它将出现部分等于全体的矛盾高斯明确表态：“我反对把一个无穷量当作实体，这在数学中是从来不允许的。无穷只是一种说话的方式… …”柯西也不承认无穷集合的存在。他不能允许部分同整体构成一一对应这件事。当然，潜无穷在一定条件下是便于使用的，但若把它作为无穷观则是片面的。数学的发展表明，只承认潜无穷，否认实无穷是不行的。康托把时间用到对研究对象的深沉思考中。他要用事实来说明问题，说服大家。康托认为，一个无穷集合能够和它的部分构成一一对应不是什么坏事，它恰恰反应了无穷集合的一个本质特征。对康托来说，如果一个集合能够和它的一部分构成一一对应，它就是无穷的。它定义了基数,可数集合等概念。并且证明了实数集是不可数的代数数是可数的康托最初的证明发表在1874年的一篇题为《关于全体实代数数的特征》的文章中,它标志着集合论的诞生。 随着实数不可数性质的确立，康托又提出一个新的，更大胆的问题。1874年，他考虑了能否建立平面上的点和直线上的点之间的一一对应。从直观上说，平面上的点显然要比线上的点要多得多。康托自己起初也是这样认识的。但三年后，康托宣布：不仅平面和直线之间可以建立一一对应，而且一般的n维连续空间也可以建立一一对应！这一结果是出人意外的。就连康托本人也觉得“简直不能相信”。然而这又是明摆着的事实，它说明直观是靠不住的，只有靠理性才能发现真理，避免谬误。 既然n维连续空间与一维连续统具有相同的基数，于是，康托在1879到1884年间集中于线性连续统的研究，相继发表了六篇系列文章，汇集成《关于无穷的线性点集》。前四篇直接建立了集合论的一些重要结果，包括集合论在函数论等方面的应用。其中第五篇发表于1883年，它的篇幅最长，内容也最丰富。它不仅超出了线性点集的研究范围，而且给出了超穷数的一个完全一般的理论，其中借助良序集的序型引进了超穷序数的整个谱系。同时还专门讨论了由集合论产生的哲学问题，包括回答反对者们对康托所采取的实无穷立场的非难。这篇文章对康托是极为重要的。1883年，康托将它以《集合论基础》为题作为专著单独出版。 《集合论基础》的出版，是康托数学研究的里程碑。其主要成果是引进了作为自然数系的独立和系统扩充的超穷数。康托清醒地认识到，他这样做是一种大胆的冒进。“我很了解这样做将使我自己处于某种与数学中关于无穷和自然数性质的传统观念相对立的地位，但我深信，超穷数终将被承认是对数概念最简单、最适当和最自然的扩充。”《集合论基础》是康托关于早期集合理论的系统阐述，也是他将做出具有深远影响的特殊贡献的开端。 康托于1895年和1897年先后发表了两篇对超限数理论具有决定意义的论文。在该文中,他改变了早期用公理定义(序)数的方法，采用集合作为基本概念。他给出了超限基数和超限序数的定义，引进了它们的符号；依势的大小把它们排成一个“序列”；规定了它们的加法，乘法和乘方… …。到此为止，康托所能做的关于超限基数和超限序数理论已臻于完成。但是集合论的内在矛盾开始暴露出来。康托自己首先发现了集合论的内在矛盾。他在1895年的文章中遗留下两个悬而未决的问题：一个是连续统假说；另一个是所有超穷基数的可比较性。他虽然认为无穷基数有最小数而没有最大数，但没有明显叙述其矛盾之处。一直到1903年罗素发表了他的著名悖论。集合论的内在矛盾才突出出来，成为20世纪集合论和数学基础研究的出发点。