人教版A版高中数学选修3-1无穷集合论的创立.pptVIP

康托集合论的起源 19世纪,分析的严密化使人们必须考虑，收敛的无穷级数（有一个有限和）和那些发散级数的区别。在这些级数中，三角函数的无穷级数，即以傅立叶命名的傅立叶级数，起了极其重要的作用。 无穷集合论的创立 傅立叶（J.B.J.Fourier ，1768～1830，法国） 1807年 “对任意给定的函数都可以用一具有特殊类型的系数的三角级数表示” 被称为傅立叶级数 成为数学分析与数学物理中强有力的工具,但在当时被认为是缺乏严格性的。 无穷集合论的创立 “集合论，至少部分是起源于黎曼（Riemann）等人对于三角级数丰富的研究以及对不连续函数的分析。狄里克莱（Dirichlet）,李普希兹（Lipschitz），汉凯尔（Hankel）等人都对探索三角级数问题时引进例外点集，但主要是因为他们大体上是在三角级数的范围内考虑问题，虽然所作的大量工作包含了集合论的思想，只是在对函数分析时充当辅助性手段 ” 无穷集合论的创立 柯西（A.L.Cauchy，1789～1857） 1823年，试图建立更严格的傅立叶级数理论，但他的许多论证是不充分的。 狄里希雷（P.G.L.Dirichlet ，1805～1859） 1829年，发表了一篇关于傅立叶级数的论文，其中证明，对于一个给定的函数，只要它是连续的，就完全可以由它的傅立叶级数表示，端点可能除外，而在不连续点和端点（－π和π）处，函数仅当满足某些附加条件时才可由傅立叶级数表示。 康托（G.Cantor，1845～1918） 1870年-1872年 “函数展开为三角级数 的唯一性” 无穷集合论的创立 数学分析里间断函数求积分问题和三角级数收敛性问题的研究都要求对于产生各种不连续情形的函数定义域之上的点集进行特殊的考察，一般是要求能够从某一区间的所有点中分离出另一无穷点集。这个分离出的无穷集的性质在很大程度上影响着对有关问题的讨论。 “无穷的各种关系弄得完全明朗” 无穷集合论的创立 “在建立三角级数表达式的唯一性定理时，他改造了他的前辈和同事的旧思想，表现出一种独创精神。康托在整个研究中将无穷集合作为一个独立于函数理论的对象进行考察，并在这一过程中大胆开创了数学的一个全新领域——超穷集合论.” 无穷集合论的创立 《论所有实代数数的一个性质》（1874) 1873年11月29日，康托在给戴德金的一封信中明确提出了后来导致集合论产生的问题：正整数的集合（n）与实数的集合（x）之间能否建立一一对应？ 无穷集合论的创立 “取所有正整数 n的集体，表示为（n)，然后考虑所有实数 x的集体，表示为(x）；简单说来，问题就是（n)和（x)是否能够对应起来，使得一个集体中的每一个个体只对应另一个集体中一个且唯一一个个体？乍一看，我们可以说答案是否定的，这种对应不可能，因为（n)由离散的部分构成，而（x)构成一个连续统；但是从这种说法我们什么结果也得不到. 虽然我非常倾向于认为（n)和（x)不能有这样一个一意对应，但是我找不出理由，我对这事极为关注，也许这理由非常简单。” 历史性发现：尽管有理数具有稠密性，但是它们是可数的！ 戴德金在《连续性和无理数》（1872年出版） 稠密性与连续性 康托在1895年给出的第二个证明是现在普遍采用的。 无穷集合论的创立 证明有理数集Q是可列集（采用对角线的对应方法） “上面把有理数域比作直线，结果认识到前者充满了间隙，它是不完备的、不连续的，而我们则把直线看成是没有间隙的、完备的和连续的。……” “连续性公理” 实数就其数目和特性而言，要比有理数更丰富，因为无理数竟然能不可思议地填满了有理数以外的所有空隙，从而在连续性和完备性上完全超过了有理数。 1873年12月7日，康托在给戴德金的信中断言实数是可数的，全体实数可以排成一个序 列。但他很快发现所给出的证明太繁，两天后当他企图修改它时，偶然发现对任意包含在（0，1）中的区间（a，b）,他能够证明存在一个数m \in (a，b)，没有列在上面的序列中。 无穷集合论的创立 由此，康托在一个星期之内戏剧性地改变了自己的主张，获得一个全新的、先前几乎不太令人注意的方法突然涌现在他头脑中，康托得到了意外的收获，他立即补上了两个证明：代数数是可数的，实数是不可数的。 无穷集合论的创立 康托这第一步的主要成就在于在混沌一片的无穷划出一首线，在无穷当中区分开来可数的与不可数的两类，这成为研究无穷的出发点。 康托第一次把可数性概念这词引进数学，并且给出明确的含义，判定的方法 对于凡是能和正整数构成一一对应的任何一个集合都称为可列集合（可数集合）。