第326章
对于数学家而言，笔是最亲密的伙伴，这些大牛教授们人人身上都带着笔。
而这些笔现在全部送给了米尔诺教授，以一种约定俗成的仪式。
沈奇被震撼到了，他知道这一幕绝不是事先排练好的，这就是个临时事件。
“退休的时候，收到的笔越多，代表成就越大，这是普林斯顿式的致敬。如果你认可那个人所取得的成就，那么就送他一支笔。”穆勒教授对沈奇说到，然后起身，准备为米尔诺教授献笔。
沈奇站了起来，掏出随身携带的万宝龙签字笔，好歹是大师级人物，咱也得随身带笔是不是？
“沈奇，你坐下。”穆勒教授把沈奇摁回椅子上。
“我完全认可米尔诺教授所取得的杰出成就啊。”沈奇纳闷了，咋地，我不能送笔以示敬意？
“当你成为普林斯顿的正式教授，就将获得送笔资格。而现在，不可以。”穆勒教授跟沈奇讲了规矩，然后献笔给米尔诺教授。
带着一堆笔和崇高的敬意，米尔诺教授离开了咖啡厅，不久后也将离开他的家乡新泽西移居欧洲。
普林斯顿式的送别仪式简单而又隆重，在这里受到尊敬是因为道德、智慧与学术贡献。
米尔诺老寨主金盆洗手了，他的传说永远流传在江湖上，从来没在黑板上写过一个完整的证明，却囊括了最高级的数学大奖。
“建立体系是最重要的。”沈奇从米尔诺的实际案例中得到启迪。
然而谁都知道，建立一个逻辑严谨的体系比证明一个定理困难太多了，建体系是个浩大工程，需要巨大的、持续不断的人力物力财力投入。
建立基础数学体系的唯一优势是不用花费太过天文数字的金钱，最大的投入应该就是人力资源投入。
“我这手头缺兵少将的，水平也有限，目前捣鼓不出一套新的理论体系，还是先证明我的定理吧。定理证明多了，体系自然而然就出来了。”
是这个道理，欧几里得一生证明了465个定理，欧氏几何的经典体系流传了两千多年。
沈奇继续开展“穆勒—沈定理”的证明工作，并在9月底与穆勒合了一版初稿。
“令人振奋的成果是，我们完全证明了论断（1）和（2），比我在1982年时证明的更完美，毫无破绽。”穆勒显的兴奋，随即转入沉思状：“但问题是，论断（3）的证明结果令人沮丧，或许再过一个月我们才能完成最终证明。”
沈奇说到：“X*的每个ω*闭凸集是逼近紧的切比雪夫集，对于这个论断（3），我觉得我们一开始的思路就错了，它是独立的，不应该和论断（1）、（2）联系在一起。但这并不是坏事，或许，还是件值得庆幸的事情，因为我们发现的早。”
第251章 丰富产品布局，精耕细分市场
“我实在是找不到一个弱*闭凸集是近迫集，从而得到霍斯戴夫拓扑，我相信世界上没有任何一位数学家能从这个途径证明X*的每个ω*闭凸集是逼近紧的切比雪夫集。”沈奇并不是太沮丧，反而兴致盎然：“一开始我并没有意识到这是条死路，因为我没有走到死胡同的尽头。”
“那你可有好的解决方案？”穆勒问到。
沈奇已有答案：“我的解决方案是，论断（3）单独成立新课题，我暂时将它命名为‘穆勒—沈近迫定理’，这个定理有待进一步验证，它可以看作‘穆勒—沈定理’的一个推论。”
“那么新的‘穆勒—沈定理’包含（1）、（2）两条论断，这已足够，我们将在几天内完成修订工作，并公开发布‘穆勒—沈定理’的研究成果。”沈奇给出了解决方案。
“实际上……我们相当于推出一款‘减配版’的‘穆勒—沈定理’。”穆勒教授很快明白了沈奇的新方案。
沈奇点点头：“穆勒教授这个比喻很恰当，对，减配版。实际上所谓的减配版是标准版，因为论断（3）可以看成一款新产品。”
“其实就是两款长度不一样但外造型大致一样的车身，搭载同一套动力总成系统，然后分别出售，好吧，大众经常这么干。”穆勒教授果然是德国人，一语中的。
“哈哈！”沈奇大笑，说到：“所以我买了雪佛兰。”
穆勒和沈奇一合计，就这么干，先推出低配版的“穆勒—沈定理”，满足市场上的基本需求，抢先占领这个细分市场。
高配版的“穆勒—沈定理”将在不久后推出，到时候给它取个新的名字，“穆勒—沈近迫定理”是个不错的选择，从而进一步丰富产品线，巩固“穆勒—沈”在这个细分市场的占有率及品牌效应。
“穆勒—沈定理”的修订工作很快完成。
“……证毕，我们得到如下定理：
令X是巴拿赫空间，则下诉论断等价为：
（1）如果x*∈S（X*）在S（X）上达到它的范数，则x*是单位球B（X*）的ω*可凹点；
（2）X是强光滑空间。”
最后检查了一遍论文，穆勒教授亲自上传论文到arVix上预录。
论文正式投递的任务交给了沈奇。
论文名是《巴拿赫空间可凹点和强光滑空间的问题》，穆勒和沈奇均是第一作者。
论文的篇幅为24页，其中包含了“穆勒—沈定理”的完全证明。
当然了，“穆勒—沈定理”是穆勒和沈奇单方面宣称成立的，至于最终能否载入IMU的数学定理大全，需要IMU说了算。
而这些笔现在全部送给了米尔诺教授，以一种约定俗成的仪式。
沈奇被震撼到了，他知道这一幕绝不是事先排练好的，这就是个临时事件。
“退休的时候，收到的笔越多，代表成就越大，这是普林斯顿式的致敬。如果你认可那个人所取得的成就，那么就送他一支笔。”穆勒教授对沈奇说到，然后起身，准备为米尔诺教授献笔。
沈奇站了起来，掏出随身携带的万宝龙签字笔，好歹是大师级人物，咱也得随身带笔是不是？
“沈奇，你坐下。”穆勒教授把沈奇摁回椅子上。
“我完全认可米尔诺教授所取得的杰出成就啊。”沈奇纳闷了，咋地，我不能送笔以示敬意？
“当你成为普林斯顿的正式教授，就将获得送笔资格。而现在，不可以。”穆勒教授跟沈奇讲了规矩，然后献笔给米尔诺教授。
带着一堆笔和崇高的敬意，米尔诺教授离开了咖啡厅，不久后也将离开他的家乡新泽西移居欧洲。
普林斯顿式的送别仪式简单而又隆重，在这里受到尊敬是因为道德、智慧与学术贡献。
米尔诺老寨主金盆洗手了，他的传说永远流传在江湖上，从来没在黑板上写过一个完整的证明，却囊括了最高级的数学大奖。
“建立体系是最重要的。”沈奇从米尔诺的实际案例中得到启迪。
然而谁都知道，建立一个逻辑严谨的体系比证明一个定理困难太多了，建体系是个浩大工程，需要巨大的、持续不断的人力物力财力投入。
建立基础数学体系的唯一优势是不用花费太过天文数字的金钱，最大的投入应该就是人力资源投入。
“我这手头缺兵少将的，水平也有限，目前捣鼓不出一套新的理论体系，还是先证明我的定理吧。定理证明多了，体系自然而然就出来了。”
是这个道理，欧几里得一生证明了465个定理，欧氏几何的经典体系流传了两千多年。
沈奇继续开展“穆勒—沈定理”的证明工作，并在9月底与穆勒合了一版初稿。
“令人振奋的成果是，我们完全证明了论断（1）和（2），比我在1982年时证明的更完美，毫无破绽。”穆勒显的兴奋，随即转入沉思状：“但问题是，论断（3）的证明结果令人沮丧，或许再过一个月我们才能完成最终证明。”
沈奇说到：“X*的每个ω*闭凸集是逼近紧的切比雪夫集，对于这个论断（3），我觉得我们一开始的思路就错了，它是独立的，不应该和论断（1）、（2）联系在一起。但这并不是坏事，或许，还是件值得庆幸的事情，因为我们发现的早。”
第251章 丰富产品布局，精耕细分市场
“我实在是找不到一个弱*闭凸集是近迫集，从而得到霍斯戴夫拓扑，我相信世界上没有任何一位数学家能从这个途径证明X*的每个ω*闭凸集是逼近紧的切比雪夫集。”沈奇并不是太沮丧，反而兴致盎然：“一开始我并没有意识到这是条死路，因为我没有走到死胡同的尽头。”
“那你可有好的解决方案？”穆勒问到。
沈奇已有答案：“我的解决方案是，论断（3）单独成立新课题，我暂时将它命名为‘穆勒—沈近迫定理’，这个定理有待进一步验证，它可以看作‘穆勒—沈定理’的一个推论。”
“那么新的‘穆勒—沈定理’包含（1）、（2）两条论断，这已足够，我们将在几天内完成修订工作，并公开发布‘穆勒—沈定理’的研究成果。”沈奇给出了解决方案。
“实际上……我们相当于推出一款‘减配版’的‘穆勒—沈定理’。”穆勒教授很快明白了沈奇的新方案。
沈奇点点头：“穆勒教授这个比喻很恰当，对，减配版。实际上所谓的减配版是标准版，因为论断（3）可以看成一款新产品。”
“其实就是两款长度不一样但外造型大致一样的车身，搭载同一套动力总成系统，然后分别出售，好吧，大众经常这么干。”穆勒教授果然是德国人，一语中的。
“哈哈！”沈奇大笑，说到：“所以我买了雪佛兰。”
穆勒和沈奇一合计，就这么干，先推出低配版的“穆勒—沈定理”，满足市场上的基本需求，抢先占领这个细分市场。
高配版的“穆勒—沈定理”将在不久后推出，到时候给它取个新的名字，“穆勒—沈近迫定理”是个不错的选择，从而进一步丰富产品线，巩固“穆勒—沈”在这个细分市场的占有率及品牌效应。
“穆勒—沈定理”的修订工作很快完成。
“……证毕，我们得到如下定理：
令X是巴拿赫空间，则下诉论断等价为：
（1）如果x*∈S（X*）在S（X）上达到它的范数，则x*是单位球B（X*）的ω*可凹点；
（2）X是强光滑空间。”
最后检查了一遍论文，穆勒教授亲自上传论文到arVix上预录。
论文正式投递的任务交给了沈奇。
论文名是《巴拿赫空间可凹点和强光滑空间的问题》，穆勒和沈奇均是第一作者。
论文的篇幅为24页，其中包含了“穆勒—沈定理”的完全证明。
当然了，“穆勒—沈定理”是穆勒和沈奇单方面宣称成立的，至于最终能否载入IMU的数学定理大全，需要IMU说了算。