找回密码
 注册
搜索
热搜: 活动 交友
查看: 5878|回复: 2

邱成桐对卡拉比猜想的证明是荒唐的

[复制链接]

352

主题

400

回帖

6419

积分

论坛元老

积分
6419
发表于 2022-5-12 13:35:20 | 显示全部楼层 |阅读模式
本帖最后由 ygvfe 于 2024-2-4 18:51 编辑

丘成桐什么也不懂丘成桐什么也不懂——错的一塌糊涂


一,缘起



1954年的国际数学家大会上,31岁的意大利裔数学家卡拉比,在会议的邀请报告中用一页纸写下了他著名的猜想:令M为紧致的卡勒(Kahler)流形,那么对其第一陈类中的任何一个(1,1)形式R,都存在唯一的一个卡勒度量,其Ricci形式恰好是R。




卡拉比还粗略地描述了一个他的猜想的证明方案,并证明了,如果解存在,那必是唯一的。




卡拉比认为,要证明这个猜想需要两步:




第一步,证明猜想中所说的具有指定里奇形式凯勒度量的唯一性。




第二步,证明凯勒度量的存在性。




卡拉比宣称:唯一性卡拉比自己证明了。




但是卡拉比说:“对于存在性,依赖于一个积分微分方程的存在性假定”。




卡拉比提到的“典范类的凯勒流形”中与猜想密切相关的积分可微方程,进一步明确成一个蒙日-安培方程。




--------------------------------------------------------------------------------




丘成桐解释说:




1,卡拉比猜想实际上与蒙日-安培方程等价。



2,要求解的这个蒙日-安培方程,是一个很难的非线性偏微分方程。他花了将近3年时间,做了大量准备工作,发展了强有力的偏微分方程技巧,使用先验估计方法,在1976年6月求解了这个非线性复蒙日-安培方程(至多有一个解)。

英语卡拉比.jpg 卡拉比.jpg




3,从而给出了卡拉比猜想的证明(实际上是:丘成桐证明了其流形上复数的蒙日—安培方程,至多只有一个解。








-----------------------------------------------------------------------------




二,我们总结丘成桐证明的这个过程




1,卡拉比提出这个猜想的第二步需要证明存在性。




2,这个存在性依赖于一个积分微分方程的存在性假定。




3,这个存在性假定的东西就是卡拉比在【典范类的凯勒流形】中明确的“蒙日-安培方程”。




4,丘成桐指出卡拉比猜想与蒙日-安培方程等价。




5,丘成桐用了3年时间解开了这个“非线性复蒙日-安培方程”至多有一个解(至多有一个解不是必然有一个解;至少有一个解才是必然有解)。




---------------------------------------------------------------------------------




三,驳斥丘成桐荒谬结论




驳斥一,丘成桐说的【至多有一个解】的含义是:




1,否定至少有两个或者两个以上的解(上限)。




2,不能保证有一个解。很可能一个解也没有(下限)。




就是说,如果没有一个解的情况下,就不能说丘成桐解开了蒙日-安培方程。




为什么?因为,【至多只有一个解】属于或然性推理。或然性推理的前提与结论之间没有蕴含关系,所以,或然性推理的结论是不可靠的,大多数情况下是错误的。




论据有两种:一是事实论据,方程有解应该提供事实论据。二是道理论据,方程无解可以用矛盾指出为什么无解。




---------------------------------------------------




驳斥二,丘成桐说的【卡拉比猜想实际上与蒙日-安培方程等价】其实就是循环论证:




就是说,论题卡拉比猜想是支撑论据蒙日-安培方程的。同时,论据蒙日-安培方程又反过来证明卡拉比猜想。




循环论证是指:论据的真实性需要论题来证明。或者两个论据中的任何一个都需要对方证明。




卡拉比的蛋(唯一性和整个猜想)保存在丘成桐的鸡腹中(存在性)。丘成桐的鸡是等待卡拉比的蛋孵化以后才能存在。虚假论据。




什么情况下论据可以与论题等价?论题在设定不能成立的假定下的反证法可以等价转换;如果设定命题成立等价的假设就是预期理由的逻辑错误。




----------------------------------------------




驳斥三,解方程不等于数学命题证明




丘成桐说解开了方程-于是证明了卡拉比猜想




解方程是在原因-结构下找出结果。




解方程相关概念




1.含有未知数的等式叫方程,也可以说是含有未知数的等式是方程。




2.使等式成立的未知数的值,称为方程的解,或方程的根。




3.解方程就是求出方程中所有未知数的值的过程。




4.方程一定是式,等式不一定是方程。不含未知数的等式不是方程。




5.验证:一般解方程之后,需要进行验证。验证就是将解得的未知数的值代入原方程,看看方程两边是否相等。如果相等,那么所求得的值就是方程的解。




6.注意事项:写“解”字,等号对齐,检验。




7.方程依靠等式各部分的关系,和加减乘除各部分的关系(加数+加数=和,和-其中一个加数=另一个加数,差+减数=被减数,被减数-减数=差,被减数-差=减数,因数×因数=积,积÷一个因数=另一个因数,被除数÷除数=商,被除数÷商=除数,商×除数=被除数)。




8,等式的性质一:等式的两边同时加上或减去同一个数,等式依然成立。等式的性质二:等式的两边同时乘或除以同一个不为0的数等式的两边依然成立。




证明是告诉你结果,让你按照规则给出原因-过程的必然性,把道理讲清楚。




1,证明是对一个合理的论题-命题,利用正确的演绎推理,得出必然的结论。




2,证明有一系列原则。




包括:a,命题原则。b,证明原则。




例如,命题必须是一个全称判断,命题的主项必须是普遍概念或者单独概念(不能是集合概念),命题的谓项必须根据是肯定判断还是否定判断决定是否周延。使用的词项的概念必须具有专一性-稳定性-精确性-可以检验。




又例如,证明中的推理过程使用的词项(概念)必须具有传递性。




三段论格式必须是正确的。




结论必须符合语法规则。




(内容很多,详见百度百科【数学证明】)




丘成桐哪里有水平搞清楚这些。




并且,丘成桐把估计和计算当成证明。估计是或然判断,不能作为论据。计算只能在大前提的框架下作为小前提使用。结论必须明确,丘成桐的【至多只有一个】荒谬而可笑,




丘成桐至多有一个解不是必然存在一个解。如果是至少有一个解,才能算“必然存在”。




-----------------------------------------------------------




四,数学证明的论据真实性是什么?




1,建立在共识情况下的公理。




2,货真价实的定理。




3,经过严格定义的词项(概念)之间的逻辑关系才能传递,例如:






4,支撑前面论据,处于后面的论据必须是蕴含关系,不能是等值关系。(两个等值的论据不需要支撑,只要有一个就可以了),




5,命题如果是:一个方程没有或者有某种解、例如没有整数解等(例如“费马大定理”),必须提供具体的反例。




6,一个方程有解的猜想,不是证明,而是解方程。只不过有的方程容易,有的困难。




所以,1,丘成桐的存在性(蒙日-安培方程)是与卡拉比猜想是等值关系,充分必要条件(当且仅当蒙日-安培方程有解,卡拉比猜想成立;当且仅当卡拉比猜想成立,复蒙日-安培方程有解)。循环论证,没有任何意义。




2,解方程得出“至多一个解”不能肯定必然有解,也就是没有证明卡拉比猜想。




3,大量逻辑错误,把估计和计算当成证明。







总之,丘成桐思维混乱,缺乏必要的逻辑常识和训练,就是一个数学白痴,这一辈子完了,什么也不懂。丘成桐居然不懂逻辑学。不懂语法。
https://www.youtube.com/watch?v=qi49BbjoFfI&feature=youtu.be


352

主题

400

回帖

6419

积分

论坛元老

积分
6419
 楼主| 发表于 2023-8-2 22:01:02 | 显示全部楼层

丘成桐什么也不懂——错的一塌糊涂

本帖最后由 ygvfe 于 2024-2-5 12:50 编辑



[size=0.875em]搜索





个人工具[size=0.875]







[size=0.8em]




[size=0.875]内容 隐藏




卡拉比猜想[size=0.875em]2 种语言

[size=0.875]




工具[size=0.875][size=0.875]



















[size=0.875]来自维基百科,自由的百科全书

[size=0.875]

微分几何的数学领域,卡拉比猜想是由Eugenio Calabi1954,1957)提出的关于某些复杂流形上存在某些黎曼度量的猜想。 丘成桐(1977年,1978年)证明了这一点,他获得了菲尔兹奖和奥斯瓦尔德·凡勃伦奖,部分原因是他的证明。他的工作主要是分析称为复数蒙日-安培方程的椭圆偏微分方程,是几何分析领域有影响力的早期成果。
更准确地说,卡拉比猜想断言了在闭复流形的 Kähler 度量设置内解决规定的 Ricci 曲率问题。根据 Chern-Weil 理论,任何此类度量的 Ricci 形式都是表示第一陈类闭微分 2 形式。卡拉比推测,对于任何这样的微分形式R,每个Kähler类中正好有一个Kähler度量,其Ricci形式为R。(一些紧复流形不承认 Kähler 类,在这种情况下,猜想是空洞的。
在第一个陈类消失的特殊情况下,这意味着每个 Kähler 类都只包含一个 Ricci-flat 度量。这些通常被称为 Calabi-Yau 流形。然而,不同作者经常以略有不同的方式使用该术语——例如,某些用法可能指复流形,而另一些用法可能指复流形以及特定的 Ricci-flat Kähler 度量。
这个特例可以等同地看作是紧复流形上零标量曲率Kähler-Einstein度量的完全存在和唯一性理论。非零标量曲率的情况并不是卡拉比猜想的特例,因为凯勒-爱因斯坦问题的“右边”取决于“未知”度量,从而将凯勒-爱因斯坦问题置于规定里奇曲率的领域之外。然而,丘成桐在求解卡拉比猜想时对复杂的蒙日-安培方程的分析足够普遍,因此也解决了负标量曲率的凯勒-爱因斯坦度量的存在。第三个也是最后一个正标量曲率的情况在 2010 年代得到解决,部分原因是利用了卡拉比猜想。
卡拉比猜想的证明大纲[编辑]
Calabi 将 Calabi 猜想转化为复 Monge-Ampère 类型的非线性偏微分方程,并表明该方程最多有一个解,从而建立了所需 Kähler 度量的唯一性。
Yau 通过使用连续性方法构造了该方程的解来证明 Calabi 猜想。这涉及首先求解一个较简单的方程,然后证明简单方程的解可以连续变形为硬方程的解。丘成桐的解决方案中最难的部分是证明对解决方案的导数的确定的先验估计
卡拉比猜想向微分方程的变换[编辑]
假设�是一个具有 Kähler 形式的复杂致密歧管�. 由∂∂¯-引理,同一 de Rham 同调类中的任何其他 Kähler 形式都属于
�+��′�
对于一些流畅的功能�上�,唯一性,最多添加一个常量。因此,卡拉比猜想等价于以下问题:
让�=��是正平滑函数�平均值为 1。然后有一个平滑的实函数�;跟(�+��′�)�=����和�;在添加常量之前是唯一的。
这是单个函数的复数 Monge-Ampère 型方程�. 这是一个特别难求解的偏微分方程,因为它在最高阶方面是非线性的。当�=0如�=0是一个解决方案。连续性方法的思想是表明它可以为所有人求解�通过显示�可以解决的是开放和封闭。由于集�对于它可以解决的是非空的,并且所有�是连接的,这说明可以全部解决�.
从平滑函数到平滑函数取的映射�自�定义者
�=(�+��′�)�/��
既不是射弹也不是射弹。它不是注入的,因为将常量添加到�不变�,它不是投射的,因为�必须为正数且平均值为 1。因此,我们认为映射仅限于函数�被归一化为平均值为 0,并询问此映射是否是正集合的同构�=��平均值为 1。Calabi 和 Yau 证明了它确实是一个同构。这分几个步骤完成,如下所述。
解决方案的独特性[编辑]
要证明解决方案是唯一的,需要证明如果
(�+��′�1)�=(�+��′�2)�
然后φ1 和φ2 相差一个常数 (因此,如果它们都归一化为平均值为 0,则必须相同)。 Calabi 通过证明
|�(�1−�2)|2
由最多为 0 的表达式给出。由于它显然至少为 0,因此它必须为 0,因此
�(�1−�2)=0
这反过来又迫使φ1 和 φ2 相差一个常数。
F的集合是开放的[编辑]
证明可能的 F 的集合是开放的(在平均值为 1 的平滑函数集合中)涉及证明,如果可以求解某些 F 的方程,那么就有可能求解所有足够接近的 F 的方程。卡拉比通过使用巴纳赫空间隐函数定理证明了这一点:为了应用这一点,主要步骤是证明上面微分算子的线性化是可逆的。
F的集合是封闭的[编辑]
这是证明中最难的部分,也是丘成桐完成的部分。 假设 F 处于 可能图像的闭包中 功能φ。这意味着有一个序列 功能φ1、φ2、... 使得相应的函数 F 1、F2,... 收敛到 F,问题是要表明 φs 的某个子序列收敛到解φ。为了做到这一点,丘成桐为函数 φi 及其高阶导数找到了一些先验边界 就 log(fi) 的高阶导数而言。找到这些边界需要一长串硬估计,每个估计值都比之前的估计值略有改进。Yau 得到的边界足以表明i φ函数都位于合适的 Banach 函数空间的紧凑子集中,因此可以找到一个收敛子序列。 该子序列收敛到与图像 F φ的函数,该函数 显示可能的图像集 F 已关闭。
参考资料[编辑]

外部链接[编辑]

分类



  • 此页面最后编辑于2023年3月22日 (星期二) 21:24 (UTC)。







回复

使用道具 举报

352

主题

400

回帖

6419

积分

论坛元老

积分
6419
 楼主| 发表于 2023-8-9 16:17:04 | 显示全部楼层
其实,丘成桐就是一个白痴,所有的工作都是错误的,包括他的学术田刚。
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 注册

本版积分规则

手机版|阿波罗网

GMT+8, 2024-4-18 14:29

快速回复 返回顶部 返回列表