数学文化神秘的无穷与三次数学危机.ppt

为了消除悖论，数学家们要将康托“朴素的集合论”加以公理化；并且规定构造集合的原则，例如，不允许出现“所有集合的集合”、“一切属于自身的集合”这样的集合。危机的解决第69页,共80页，星期六，2024年，5月“非断言的”定义方式上面的每一个悖论都涉及一个集合S和S的一个成员M(既M是靠S定义的)。这样的一个定义被称作是“非断言的”，而非断言的定义在某种意义上是循环的。例如，考虑罗素的理发师悖论：用M标志理发师，用S标示所有成员的集合，则M被非断言地定义为“S的给并且只给不自己刮胡子人中刮胡子的那个成员”。此定义的循环的性质是显然的——理发师的定义涉及所有的成员，并且理发师本身就是这里的成员。因此，不允许有非断言的定义便可能是一种解决集合论的己知悖论的办法。然而，对这种解决办法，有一个严重的责难，即包括非断言定义的那几部分数学是数学家很不愿丢弃的。第70页,共80页，星期六，2024年，5月1908年，策梅洛（E.F.F.Zermelo,1871—1953）提出了由7条公理组成的集合论体系，称为Z-系统。1922年，弗兰克（A.A.Fraenkel）又加进一条公理，还把公理用符号逻辑表示出来，形成了集合论的ZF-系统。再后来，还有改进的ZFC-系统。这样，大体完成了由朴素集合论到公理集合论的发展过程，悖论消除了。第71页,共80页，星期六，2024年，5月现代公理集合论的大堆公理，简直难说孰真孰假，可是又不能把它们都消除掉，它们跟整个数学是血肉相连的。但是，新的系统的相容性尚未证明。因此，庞加莱在策梅洛的公理化集合论出来后不久，形象地评论道：“为了防狼，羊群已经用篱笆圈起来了，但却不知道圈内有没有狼”。数学的确定性在一步一步地丧失。这就是说，第三次数学危机的解决，并不是完全令人满意的。第三次危机表面上解决了实质上更深刻地以其它形式延续第72页,共80页，星期六，2024年，5月5．无限集合也有“大小”——从“一一对应”说起实无限的观点让我们知道，同样是无限集合，也可能有不同的“大小”。正整数集合是最“小”的无限集合。实数集合比正整数集“大”。实数集合上全体连续函数的集合又比实数集合更大。不存在最“大”的无限集合（即对于任何无限集合，都能找到更“大”的无限集合）。第73页,共80页，星期六，2024年，5月这需要“一一对应”的观点。1）“一一对应”——双射（单射+满射）2）集合的势|A|——集合中元素的多少3）|N|=可数无穷势，|Q|=4）|R|=不可数无穷（称连续统势）,无理数比有理数多得多。第74页,共80页，星期六，2024年，5月5）无穷集合可能有不同的势，其中最小的势是；不存在最大的势。6）“连续统假设”长期未彻底解决“连续统假设”：可数无穷是无限集中最小的势，连续统势是（否？）次小的势。第75页,共80页，星期六，2024年，5月康托1882年曾认为他证明了这一假设，后来发现证明有错。直到现在，这一问题仍吸引着一些数学家的兴趣。第76页,共80页，星期六，2024年，5月HIlbert23个问题中的NumberOne连续统猜想是著名的Hilbert23个问题的第一个1938年，奥地利数学家、逻辑学家和哲学家哥德尔（KurtGdel，1906－1978），证明标准集合论与连续统假设是一致的、不矛盾。1963年，美国数学家保罗·科恩(P.Cohen)证明，若否定连续统假设，也不与集合论矛盾。第77页,共80页，星期六，2024年，5月非康托集合论1962年之前科恩的主要工作是在调和分析方面，1959—1960年，他做出杰出的工作，获得美国数学会1964年度Bocher奖。这是美国在分析方面的最高奖，是个了不起的荣誉。可是，这时他已转向另一领域并取得更大的成就：在1963年证明连续统假设的独立性，这时离他转行还不到一年。由于这个成就相当于在数学中建立了非欧几何—非康托尔集合论，从而荣誉纷至沓来：除了荣获菲尔兹奖之外，科