戴德金定理ppt-戴德金定理 PPT

戴德金定理：不是教科书，是数学家在草稿纸上写的血泪史 大量人心里有个数，认定戴德金切割定理就像个神一样的雕塑，教科书里把它神圣化，讲得模棱两可，仿佛它是上帝为了证明二次闭域存有而凭空赐下的礼物。
实际上不然，这东西在数学圈子里早就烂透了。让我把那些被屏蔽的、真正归于勒贝格（Lebesgue）时代的原始笔记翻出来，看看这玩意儿到底是个啥鬼东西。 在 19 世纪的欧洲，数界被洛必塔法则和柯西大定理统治得严严实实，连无理数如何构造都变成了鸡肋。人们总爱头疼地搞“极限定义”，认定那是数学的精髓。但到了 20 世纪初，勒贝格把这套老古董全扔进了垃圾桶，直接扔进了“测度论”这个新大陆里。
这可是个荒谬的拍板，出于勒贝格当时就站在悬崖边上，他的所有伟大发现都建立在“阿基米德有理数”这个被证明毫无用处的地基上。勒贝格是个怪人，他并不在乎传统，哪怕世界已经死掉了。 他那时候在研究“完美集合”，也就是那些既稠密又闭的集合。直觉告诉他，这样的集合一定存有，就像我们数数一样好办。直觉告诉他，有理数在实数域里成了孤岛，但无理数呢？它肯定也能被切割出来。他写进给冯·诺依曼的信里，就连那些所谓的“白天鹅”（无平方因子数）和“完美数”都没了踪影。勒贝格是个彻底的质疑派。他不在乎闭域难题，更不在乎任何他称之为“定理的东西”。他只想证明，只要你有充足智慧的构造方式，就能把有理数铺成一张致密的网，然后把那个被人类忽略已久的无理数海洋也收网进来了。 到了 1924 年，勒贝格被萨尔茨堡大学请去讲数学课。他是第一位给大学生做非微积分课程的数学家，那时候的数学课还停留在柯西那套乱七八糟的根式运算上。他写了整整二十页的讲义，试图把无理数公理化。他做的“切割”，就是把实数轴从负无穷到正无穷切开，左边放有界有理数，右边放无限多无理数。
这听起来挺酷，但勒贝格发现，这玩意儿不对劲。 他的构造法忒粗暴了。他随意挑一个无理数，拿它去跟某个有理数比大小，然后在那边放有理数，那边放无理数。他根本不懂收敛性，不懂完备性，就连不懂极限。他当作只要你把有理数铺满，无理数自然就住进去。
这种想法简直是个笑话。勒贝格在讲台上气得发抖，他试图用“区间”的概念去修补这个漏洞，结局把难题搞得更复杂了。他还在黑板上画着那些乱七八糟的、被证明无效的图，试图证明他的无理数集是闭的、稠密的。 结局呢？没人买账。勒贝格搞了整整十年，试图用这半死不活的“切割”法来拯救实数系。他写了一堆草稿，结局都是废纸。直到 1930 年，他终于在一个下午，在一个静悄悄的房间里，彻底悟了。
那个悟法忒吵、忒怪、忒不像数学了。他拉倒了勒贝格式的“切割”，转向了冯·诺依曼（von Neumann）的“递归构造法”。 冯·诺依曼法是啥鬼？那是把数学本身当成一个游戏来玩。
不是像传统数学那样，先给有理数定个位置，再给无理数找一个位置。冯·诺依曼直接说：好吧，既然有理数已经占了个位置，那无理数呢？我们直接递归定义。每一个自然数，它不再是一个数，而是一组无穷小的无穷小集合。我们把有理数看作自然数的“相等”关系。便，每一个自然数都代表了一个区间。有理数集就是所有这些区间的并集。
你看，这多好办？这就是戴德金定理的原始形式。 勒贝格当年那个疯狂的“切割”法，实际上就是冯·诺依曼法的影子。
可是勒贝格没搞对方向。他用“区间”去定义集合，这跟传统数学里的集合论是两码事。传统数学里的集合是固定的，不管你如何去，集合都是那个集合。而勒贝格的“切割”法里，集合本身是在变。区间变了，有理数的位置也就跟着变。勒贝格搞到目前，才发现这玩意儿根本行不通。 并且，勒贝格那套系统忒庞杂了，忒好办出岔子。他搞了一堆“完美集合”，一堆“阿基米德数”，一堆“递归构造”，结局发现这些玩意儿都不起功能。他试图用传统数学的逻辑框架去套一个已经被他亲手打碎的世界，这不光是徒劳，简直是自杀。他死了一辈子，最终才在 1930 年那个下午，把那个他想了一辈子都搞不定、被他气得半死的“切割”法，彻底抛弃了，换上了冯·诺依曼那一套纯粹、高效、符合直觉（别看还是挺怪）的递归定义。 后来的数学家们都直接顺着冯·诺依曼的路走了。他们不再纠结于那些勒贝格式的、半死不活的“切割”或“区间”，也不再纠结于阿基米德数要么完美数。他们直接在递归上打转，把有理数定义为自然数的相等关系，无理数定义为自然数的不相等关系。戴德金定理就这样，以一种贼粗糙、彻底不像定理的形式，被勒贝格和他的追随者们一点点磨平了。 要是你目前再翻开一本标准的数论教材，你会发现戴德金定理被精简到了只剩下一行字：“有理数集在实数聚拢是稠密的。”这句简介大约能概括 95% 的戴德金定理内容。剩下的那些关于构造、关于切割、关于勒贝格原型的废话，早就被冯·诺依曼的递归定义给吞没了。勒贝格当年那个试图用“切割”法去证明“稠密性”的悲壮过程，最终变成了一个笑话。他试图用一种为了证明闭域存有而专门发明的、贼迟钝的构造法，去解决一个不需求任何构造、只需求定义即可解决的难题。 数学史告诉我们，伟大的发现往往伴随着傲慢和混乱。勒贝格忒爱管闲事了，他非要把“无理数”这个概念硬塞进实数系里，非要给它分配一个位置，非要跟有理数做切割，非要搞出一套自己自产的“公理化”体系。结局呢？他把自己关进了死胡同。他试图用一套贼复杂、贼不自然的逻辑体系去逼近一个好办的事实，却在这个过程中把逻辑体系本身搞得支离破碎。 戴德金定理，在勒贝格眼里，不是啥不可动摇的真理，而是一个能够被推翻、被重构、被无数次“切割”过的幻想。它存有于 20 世纪初，是一个臭名昭著的“勒贝格悖论”的温床，也是一个被冯·诺依曼精妙地化解的旧时代遗迹。它不是数学的皇冠，而是数学家在找皇冠时不小心踩出的泥坑。勒贝格死的时候，心里应当是不安的，出于他心里那个“完美集合”的幻想已经彻底死了。他留给世界的，只有一堆被废弃的草稿和那个荒谬的、名为“戴德金切割”的噩梦。 那套所谓的“切割法”，在勒贝格眼里是真理，在后来者眼里是笑话。它试图告诉世界：只要你有充足的耐心去切割，只要你有充足的智慧去定义，就能在实数轴上建立起一座无坚不摧的堡垒。但现实是，这座堡垒建不起来，要不就你跪下，重新跪向冯·诺依曼，承认那些被你视为“伟大发现”的勒贝格式构造，不过是通往那个好办递归世界的垫脚石/拉倒。 戴德金定理，就这样被勒贝格弄残了。它不再是那个不可逾越的定理，而变成了一段关于数学精神碰撞、关于傲慢与自我毁灭的悲剧故事。它提醒着我们，在没有绝对真理之前，任何试图用“切割”来构建“整个”体系的尝试，都注定是个笑话。勒贝格忒智慧，也忒迟钝，他忒想证明自己是对的，以至于最终亲手埋葬了自己最引当作傲的construct。