庞加莱猜想证明过程汉化(庞加莱猜想证明过程)
您好,我就为大家解答关于庞加莱猜想证明过程汉化，庞加莱猜想证明过程相信很多小伙伴还不知道,现在让我们一起来看看吧！1、庞加莱猜想 ...
您好,我就为大家解答关于庞加莱猜想证明过程汉化，庞加莱猜想证明过程相信很多小伙伴还不知道,现在让我们一起来看看吧！
1、庞加莱猜想 庞加莱猜想是国际数学界长期关注的一个重大难题，被列为七大“数学世纪难题”之一。
2、 法国数学家亨利·庞加莱是在1904年发表的一组论文中提出这一猜想的：“单连通的三维闭流形同胚于三维球面。
3、”它后来被推广为：“任何与n维球面同伦的n维闭流形必定同胚于n维球面。
4、”我们不妨借助二维的例子做一个粗浅的比喻：一个无孔的橡胶膜相当于拓扑学中的二维闭曲面，而一个吹涨的气球则可以视为二维球面，二者之间的点存在着一一对应的关系，同时橡胶膜上相邻的点仍是吹涨气球上相邻的点，反之亦然。
5、 庞加莱猜想和黎曼假设、霍奇猜想、杨－米尔理论等一样，被并列为七大数学世纪难题之一。
6、2000年5月，美国的克莱数学研究所为每道题悬赏百万美元求解。
7、100多年来，无数的数学家关注并致力于证实庞加莱猜想。
8、20世纪80年代初，美国数学家瑟斯顿教授因为得出了对庞加莱几何结构猜想的部分证明结果而获得菲尔兹奖。
9、之后，美国数学家汉密尔顿在这个猜想的证明上也取得了重要进展。
10、2003年，俄罗斯数学家佩雷尔曼更是提出了解决这一猜想的要领。
11、 哈佛大学教授、著名数学家、菲尔兹奖得主丘成桐2006年6月3日在中国科学院晨兴数学研究中心宣布，在美、俄等国科学家的工作基础上，中山大学朱熹平教授和旅美数学家、清华大学兼职教授曹怀东已经彻底证明了这一猜想。
12、运用汉密尔顿、佩雷尔曼的理论，朱熹平和曹怀东第一次成功处理了猜想中“奇异点”的难题，发表了300多页的论文，给出了庞加莱猜想的完全证明。
13、(上述证明过程仍需经过一到两个月的检验和其他国家的数学家们的分析。
14、) 在美国出版的《亚洲数学期刊》6月号以专刊的方式，刊载了长达300多页、题为《庞加莱猜想暨几何化猜想的完全证明：汉密尔顿－佩雷尔曼理论的应用》的长篇论文。
15、 这一证明意义重大，将有助于人类更好地研究三维空间，对物理学和工程学都将产生深远的影响。
16、 四色问题又称四色猜想，是世界近代三大数学难题之一。
17、 四色问题的内容是：“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。
18、”用数学语言表示，即“将平面任意地细分为不相重迭的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同的数字。
19、”（右图） 这里所指的相邻区域，是指有一整段边界是公共的。
20、如果两个区域只相遇于一点或有限多点，就不叫相邻的。
21、因为用相同的颜色给它们着色不会引起混淆。
22、 四色猜想的提出来自英国。
23、1852年，毕业于伦敦大学的弗南西斯·格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家都被着上不同的颜色。
24、”这个现象能不能从数学上加以严格证明呢？他和在大学读书的弟弟格里斯决心试一试。
25、兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠，可是研究工作没有进展。
26、 1852年10月23日，他的弟弟就这个问题的证明请教了他的老师、著名数学家德·摩尔根，摩尔根也没有能找到解决这个问题的途径，于是写信向自己的好友、著名数学家汉密尔顿爵士请教。
27、汉密尔顿接到摩尔根的信后，对四色问题进行论证。
28、但直到1865年汉密尔顿逝世为止，问题也没有能够解决。
29、 1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题。
30、世界上许多一流的数学家都纷纷参加了四色猜想的大会战。
31、1878～1880年两年间，著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文，宣布证明了四色定理，大家都认为四色猜想从此也就解决了。
32、 肯普的证明是这样的：首先指出如果没有一个国家包围其他国家，或没有三个以上的国家相遇于一点，这种地图就说是“正规的”（左图）。
33、如为正规地图，否则为非正规地图（右图）。
34、一张地图往往是由正规地图和非正规地图联系在一起，但非正规地图所需颜色种数一般不超过正规地图所需的颜色，如果有一张需要五种颜色的地图，那就是指它的正规地图是五色的，要证明四色猜想成立，只要证明不存在一张正规五色地图就足够了。
35、 肯普是用归谬法来证明的，大意是如果有一张正规的五色地图，就会存在一张国数最少的“极小正规五色地图”，如果极小正规五色地图中有一个国家的邻国数少于六个，就会存在一张国数较少的正规地图仍为五色的，这样一来就不会有极小五色地图的国数，也就不存在正规五色地图了。
36、这样肯普就认为他已经证明了“四色问题”，但是后来人们发现他错了。
37、 不过肯普的证明阐明了两个重要的概念，对以后问题的解决提供了途径。
38、第一个概念是“构形”。
39、他证明了在每一张正规地图中至少有一国具有两个、三个、四个或五个邻国，不存在每个国家都有六个或更多个邻国的正规地图，也就是说，由两个邻国，三个邻国、四个或五个邻国组成的一组“构形”是不可避免的，每张地图至少含有这四种构形中的一个。
40、 肯普提出的另一个概念是“可约”性。
41、“可约”这个词的使用是来自肯普的论证。
42、他证明了只要五色地图中有一国具有四个邻国，就会有国数减少的五色地图。
43、自从引入“构形”，“可约”概念后，逐步发展了检查构形以决定是否可约的一些标准方法，能够寻求可约构形的不可避免组，是证明“四色问题”的重要依据。
44、但要证明大的构形可约，需要检查大量的细节，这是相当复杂的。
45、 11年后，即1890年，在牛津大学就读的年仅29岁的赫伍德以自己的精确计算指出了肯普在证明上的漏洞。
46、他指出肯普说没有极小五色地图能有一国具有五个邻国的理由有破绽。
47、不久，泰勒的证明也被人们否定了。
48、人们发现他们实际上证明了一个较弱的命题——五色定理。
49、就是说对地图着色，用五种颜色就够了。
50、后来，越来越多的数学家虽然对此绞尽脑汁，但一无所获。
51、于是，人们开始认识到，这个貌似容易的题目，其实是一个可与费马猜想相媲美的难题。
52、 进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。
53、1913年，美国著名数学家、哈佛大学的伯克霍夫利用肯普的想法，结合自己新的设想；证明了某些大的构形可约。
54、后来美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。
55、1950年，有人从22国推进到35国。
56、1960年，有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50国。
57、看来这种推进仍然十分缓慢。
58、 高速数字计算机的发明，促使更多数学家对“四色问题”的研究。
59、从1936年就开始研究四色猜想的海克，公开宣称四色猜想可用寻找可约图形的不可避免组来证明。
60、他的学生丢雷写了一个计算程序，海克不仅能用这程序产生的数据来证明构形可约，而且描绘可约构形的方法是从改造地图成为数学上称为“对偶”形着手。
61、 他把每个国家的首都标出来，然后把相邻国家的首都用一条越过边界的铁路连接起来，除首都(称为顶点)及铁路(称为弧或边)外，擦掉其他所有的线，剩下的称为原图的对偶图。
62、到了六十年代后期，海克引进一个类似于在电网络中移动电荷的方法来求构形的不可避免组。
63、在海克的研究中第一次以颇不成熟的形式出现的“放电法”，这对以后关于不可避免组的研究是个关键，也是证明四色定理的中心要素。
64、 电子计算机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了对四色猜想证明的进程。
65、美国伊利诺大学哈肯在1970年着手改进“放电过程”，后与阿佩尔合作编制一个很好的程序。
66、就在1976年6月，他们在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明，轰动了世界。
67、 这是一百多年来吸引许多数学家与数学爱好者的大事，当两位数学家将他们的研究成果发表的时候，当地的邮局在当天发出的所有邮件上都加盖了“四色足够”的特制邮戳，以庆祝这一难题获得解决。
68、 “四色问题”的被证明仅解决了一个历时100多年的难题，而且成为数学史上一系列新思维的起点。
69、在“四色问题”的研究过程中，不少新的数学理论随之产生，也发展了很多数学计算技巧。
70、如将地图的着色问题化为图论问题，丰富了图论的内容。
71、不仅如此，“四色问题”在有效地设计航空班机日程表，设计计算机的编码程序上都起到了推动作用。
72、 不过不少数学家并不满足于计算机取得的成就，他们认为应该有一种简捷明快的书面证明方法。
73、直到现在，仍由不少数学家和数学爱好者在寻找更简洁的证明方法。
绛旓細搴炲姞鑾璁や负鐨勪笁绫荤瀛﹀亣璁惧垎鍒妇渚嬪涓嬶細绗竴绫诲亣璁炬槸鈥滈殣钄界殑瀹氫箟鈥濓紝涓句緥涓猴細鏄函灞炶嚜鐒剁殑,浜轰滑闅句互鎽嗚劚銆傛垜浠緢闅惧亣璁鹃仴杩滅墿浣撶殑浣滅敤灏辨槸鍙互蹇界暐锛岃繕鏈夊皬瑙勬ā鐨勮繍鍔ㄦ槸閬靛惊绾挎ф硶鍒欎互鍙婄粨鏋滄槸鍏充簬璧峰洜鐨勫嚱鏁般傜浜岀被鍋囪鏄腑鎬у亣璁撅紝鏄竴绉嶈兘澶熷府鍔╃瀛﹀璁＄畻銆佺悊瑙ｅ浘鍍忔垨鏄潥瀹氫俊蹇电殑杈呭姪鎬ф妧宸ф垨鎵嬫锛屼妇...
绛旓細搴炲姞鑾鐨鐚滄兂涓嶄粎鏄鏁板鐞嗚鐨勬寫鎴橈紝涔熸槸瀵逛汉绫绘櫤鍔涚殑鏋侀檺娴嬭瘯锛屽敖绠″洶闅鹃噸閲嶏紝浣嗗畠浠嶇劧婵鍙戠潃鏁板瀹朵滑鐨勬帰绱㈢簿绁炪
绛旓細1銆搴炲姞鑾辩寽鎯 搴炲姞鑾辩寽鎯虫槸鍥介檯鏁板鐣岄暱鏈熷叧娉ㄧ殑涓涓噸澶ч毦棰,琚垪涓轰竷澶р滄暟瀛︿笘绾毦棰樷濅箣涓銆 2銆 娉曞浗鏁板瀹朵酣鍒┞峰簽鍔犺幈鏄湪1904骞村彂琛ㄧ殑涓缁勮鏂囦腑鎻愬嚭杩欎竴鐚滄兂鐨:鈥滃崟杩為氱殑涓夌淮闂祦褰㈠悓鑳氫簬涓夌淮鐞冮潰銆 3銆佲濆畠鍚庢潵琚帹骞夸负:鈥滀换浣曚笌n缁寸悆闈㈠悓浼︾殑n缁撮棴娴佸舰蹇呭畾鍚岃儦浜巒缁寸悆闈 4銆佲濇垜浠笉濡ㄥ熷姪浜岀淮...
绛旓細鎴戜滑璇达紝鑻规灉琛ㄩ潰鏄滃崟杩為氱殑鈥濓紝鑰岃疆鑳庨潰涓嶆槸銆傝鐚滄兂鏄竴涓睘浜庝唬鏁版嫇鎵戝棰嗗煙鐨勫叿鏈夊熀鏈剰涔夌殑鍛介锛屽鈥滃簽鍔犺幈鐚滄兂鈥鐨璇佹槑鍙婂叾甯︽潵鐨勫悗鏋滃皢浼氬姞娣辨暟瀛﹀瀵规祦褰㈡ц川鐨勮璇嗭紝鐢氳嚦浼氬浜轰滑鐢ㄦ暟瀛﹁瑷鎻忚堪瀹囧畽绌洪棿浜х敓褰卞搷銆
绛旓細瑙ｆ瀽:杩欎釜搴炲姞鑾辩寽鎯鏄硶鍥界瀛﹀搴炲姞鑾辨彁鍑虹殑锛屾槸涓涓唬鏁版嫇鎵戝鐨勭寽鎯筹紝涓嶆槸鏁欐巿绾х殑浜洪兘寰堥毦璇佸疄銆傚簽鍔犺幈鐚滄兂鏄繖鏍风殑锛氭瘡涓崟杩為氱殑闂殑鍙畾鍚戠殑涓夌淮娴佸舰鍚岃儦浜庝笁缁寸悆闈傝繖涓寽鎯冲悗鏉ヨ鎺ㄥ箍锛屽彂灞曚负锛氭瘡涓崟杩為氱殑闂殑n缁存祦褰紝濡傛灉鍏锋湁n缁寸悆S鐨勮礉钂傛暟鍜屾尃绯绘暟锛屽畠灏卞悓鑳氫簬S銆備綘闂垜杩欐槸浠涔...
绛旓細搴炲姞鑾鏄湪1904骞村彂琛ㄧ殑涓缁勮鏂囦腑鎻愬嚭杩欎竴鐚滄兂鐨勶細鈥滃崟杩為氱殑涓夌淮闂祦褰㈠悓鑳氫簬涓夌淮鐞冮潰銆傗濆畠鍚庢潵琚帹骞夸负锛氣滀换浣曚笌n缁寸悆闈㈠悓浼︾殑n缁撮棴娴佸舰蹇呭畾鍚岃儦浜巒缁寸悆闈傗濇垜浠笉濡ㄥ熷姪浜岀淮鐨勪緥瀛愬仛涓涓矖娴呯殑姣斿柣锛氫竴涓棤瀛旂殑姗¤兌鑶滅浉褰撲簬鎷撴墤瀛︿腑鐨勪簩缁撮棴鏇查潰锛岃屼竴涓惞娑ㄧ殑姘旂悆鍒欏彲浠ヨ涓轰簩缁寸悆闈紝浜岃...
绛旓細涓撳浠搴炲姞鑾辩寽鎯鐨勫綊灞炲凡鏈夊叕璁猴紝涓嶄細鎯冲埌鈥滃畬鏁璇佹槑鈥濆浜庝紶濯掑拰绀句細澶т紬杩樺彲浠ユ湁鍙﹀涓绉嶈В閲娿傚洜涓衡滃畬鏁磋瘉鏄庘濇湰韬氨鍦ㄦ殫绀烘鍓嶆墍鏈夌殑鍖呮嫭浣╃憺鏇肩殑璇佹槑閮芥槸鈥滀笉瀹屾暣璇佹槑鈥濓紙incomplete銆proofs锛夛紝涓闈笉瀹屾暣鐨勯暅瀛愪篃灏辨槸鏀鐮寸鐨勯暅瀛愭槸涓嶈兘琛屼娇闀滃瓙鐨勫姛鑳界殑銆傞『渚胯涓鍙ワ紝涓樻垚妗愭暀鎺堟鏄婁簹娲...
绛旓細鈥濊繖涓慨姝ｅ悗鐨勭寽鎯宠绉颁负鈥滈珮缁搴炲姞鑾辩寽鎯鈥濓紝骞惰杩涗竴姝ユ墿灞曡嚦涓夌淮浠ヤ笂鐨勭淮搴︺傚湪楂樼淮涓栫晫涓紝搴炲姞鑾辩寽鎯崇殑璇佹槑鍘嗙▼寮曚汉鍏虫敞銆傚浜庝簲缁村強浠ヤ笂鐨勭寽鎯筹紝鏂拏鑺锋柉姊呭皵鍦ㄦ煇涓椂闂寸偣鍋氬嚭浜嗗叧閿х殑璇佹槑锛涜繄鍏嬪皵路寮楅噷寰锋浖鍒欏湪鍥涚淮鐚滄兂涓婂彇寰椾簡绐佺牬锛屼粬鐨勫伐浣滀负鐞嗚濂犲畾浜嗗潥瀹炲熀纭锛涜屾渶寮曚汉鐬╃洰鐨勶紝鏄縿缃楁柉...
绛旓細搴炲姞鑾:鏈鍚庝竴浣嶆暟瀛﹀叏鎵嶆硶鍥界殑蹇冪悊瀛︿笓瀹舵瘮濂堝拰鏁欒偛瀹惰タ钂欎簬1905骞磋璁″嚭浜嗕竴绉嶉闈″叏鐞冪殑娴嬮噺鏅哄晢鐨勯噺琛,浣嗙粡杩欑琛ㄦ祴楠,琚垽瀹氫负鈥滅浜衡濈殑,灞呯劧鏈変竴浣嶇殑鏁板澶у笀鈥斺旇绉颁负鈥滄暟瀛︾櫨绉戝叏涔︹濈殑搴炲姞鑾便 搴炲姞鑾1854骞4鏈堝嚭鐢熶簬娉曞浗,浠栫殑绔ュ勾鏋佷负涓嶅垢,鍖绘湳绮炬箾鐨勭埗浜插苟涓嶈兘甯︾粰浠栧仴搴枫備粬鑷辜灏辨偅鏈変竴绉嶅...
绛旓細1銆搴炲姞鑾辩寽鎯鏄硶鍥芥暟瀛﹀搴炲姞鑾辨彁鍑虹殑涓涓寽鎯筹紝鏄厠闆锋暟瀛︾爺绌舵墍鎮祻鐨勪竷涓崈绂у勾澶у闅鹃銆傚叾涓笁缁寸殑鎯呭舰琚縿缃楁柉鏁板瀹舵牸閲屾垐閲屄蜂僵闆峰皵鏇间簬2003骞村乏鍙璇佹槑銆2006骞达紝鏁板鐣屾渶缁堢‘璁や僵闆峰皵鏇肩殑璇佹槑瑙ｅ喅浜嗗簽鍔犺幈鐚滄兂銆傚簽鍔犺幈鐚滄兂鏄竴涓嫇鎵戝涓甫鏈夊熀鏈剰涔夌殑鍛介锛屽皢鏈夊姪浜庝汉绫绘洿濂藉湴鐮旂┒涓夌淮绌洪棿...
