霍奇猜想
霍奇猜想是代數幾何的一個(gè)重大的懸而未決的問(wèn)題。由威廉·瓦倫斯·道格拉斯·霍奇提出,它是關(guān)于非奇異復代數簇的代數拓撲和它由定義子簇的多項式方程所表述的幾何的關(guān)聯(lián)的猜想,屬于世界十大數學(xué)難題之一。
龐加萊猜想
龐加萊猜想是法國數學(xué)家龐加萊提出的一個(gè)猜想,其中三維的情形被俄羅斯數學(xué)家格里戈里·佩雷爾曼于2003年左右證明。2006年,數學(xué)界最終確認佩雷爾曼的證明解決了龐加萊猜想。后來(lái),這個(gè)猜想被推廣至三維以上空間,被稱(chēng)為“高維龐加萊猜想”。提出這個(gè)猜想后,龐加萊一度認為自己已經(jīng)證明了它。
黎曼假說(shuō)概述
有些數具有特殊的屬性,它們不能被表示為兩個(gè)較小的數字的乘積,如2,3,5,7,等等。這樣的數稱(chēng)為素數(或質(zhì)數),在純數學(xué)和應用數學(xué)領(lǐng)域,它們發(fā)揮了重要的作用。所有的自然數中的素數的分布并不遵循任何規律。然而,德國數學(xué)家黎曼(1826年—1866年)觀(guān)察到,素數的頻率與一個(gè)復雜的函數密切相關(guān)。
楊米爾斯的存在性和質(zhì)量缺口
楊米爾斯的存在性和質(zhì)量缺口是世界十大數學(xué)難題之一,問(wèn)題起源于物理學(xué)中的楊·米爾斯理論。該問(wèn)題的正式表述是:證明對任何緊的、單的規范群,四維歐幾里得空間中的楊米爾斯方程組有一個(gè)預言存在質(zhì)量缺口的解。該問(wèn)題的解決將闡明物理學(xué)家尚未完全理解的自然界的基本方面。
納維—斯托克斯方程
建立了流體的粒子動(dòng)量的改變率(加速度)和作用在液體內部的壓力的變化和耗散粘滯力(類(lèi)似于摩擦力)以及重力之間的關(guān)系。這些粘滯力產(chǎn)生于分子的相互作用,能告訴我們液體有多粘。這樣,納維—斯托克斯方程描述作用于液體任意給定區域的力的動(dòng)態(tài)平衡,這在流體力學(xué)中有十分重要的意義。
四色猜想
四色猜想的內容是“任何一張地圖只用四種顏色就能使具有共同邊界的國家著(zhù)上不同的顏色!币簿褪钦f(shuō)在不引起混淆的情況下一張地圖只需四種顏色來(lái)標記就行。
用數學(xué)語(yǔ)言表示即“將平面任意地細分為不相重疊的區域,每一個(gè)區域總可以用1234這四個(gè)數字之一來(lái)標記而不會(huì )使相鄰的兩個(gè)區域得到相同的數字!边@里所指的相鄰區域是指有一整段邊界是公共的。如果兩個(gè)區域只相遇于一點(diǎn)或有限多點(diǎn)就不叫相鄰的。因為用相同的顏色給它們著(zhù)色不會(huì )引起混淆。
哥德巴赫猜想
1742年6月7日,德國數學(xué)家哥德巴赫在寫(xiě)給著(zhù)名數學(xué)家歐拉的一封信中,提出了兩個(gè)大膽的猜想:
1、任何不小于6的偶數,都是兩個(gè)奇質(zhì)數之和;
2、任何不小于9的奇數,都是三個(gè)奇質(zhì)數之和。
這就是數學(xué)史上著(zhù)名的“哥德巴赫猜想”。顯然,第二個(gè)猜想是第一個(gè)猜想的推論。因此,只需在兩個(gè)猜想中證明一個(gè)就足夠了。
同年6月30日,歐拉在給哥德巴赫的回信中, 明確表示他深信哥德巴赫的這兩個(gè)猜想都是正確的定理,但是歐拉當時(shí)還無(wú)法給出證明。由于歐拉是當時(shí)歐洲最偉大的數學(xué)家,他對哥德巴赫猜想的信心,影響到了整個(gè)歐洲乃至世界數學(xué)界。從那以后,許多數學(xué)家都躍躍欲試,甚至一生都致力于證明哥德巴赫猜想?墒侵钡19世紀末,哥德巴赫猜想的證明也沒(méi)有任何進(jìn)展。證明哥德巴赫猜想的難度,遠遠超出了人們的想象。有的數學(xué)家把哥德巴赫猜想比喻為“數學(xué)王冠上的明珠”。
我們從6=3+3、8=3+5、10=5+5、……、100=3+97=11+89=17+83等這些具體的例子中,可以看出哥德巴赫猜想都是成立的。有人甚至逐一驗證了3300萬(wàn)以?xún)鹊乃信紨,竟然沒(méi)有一個(gè)不符合哥德巴赫猜想的。20世紀,隨著(zhù)計算機技術(shù)的發(fā)展,數學(xué)家們發(fā)現哥德巴赫猜想對于更大的數依然成立?墒亲匀粩凳菬o(wú)限的,誰(shuí)知道會(huì )不會(huì )在某一個(gè)足夠大的偶數上,突然出現哥德巴赫猜想的反例呢?于是人們逐步改變了探究問(wèn)題的方式。
幾何尺規作圖問(wèn)題
尺規作圖相傳神話(huà)中的一個(gè)國王對兒子給他造的墳墓不滿(mǎn)意,命令把墳墓擴大一倍,但是當時(shí)的工匠都不知如何解決。后來(lái),德利安人為了擺脫某種瘟疫,遵照神諭,必須把阿波洛的立方體祭壇擴大一倍。據說(shuō),這個(gè)問(wèn)題提到柏拉圖那里,柏拉圖又把它交給了幾何學(xué)家.這就是著(zhù)名的倍立方問(wèn)題。除倍立方問(wèn)題外,還有三等分任意角、化圓為方(作一正方形,使其面積等于給定的圓面積)。 古希臘人用尺規作圖,主要目的在于訓練智力,培養邏輯思維能力,所以對作圖的工具有嚴格的限制。他們規定作圖只能用直尺和圓規,而他們所謂的直尺是沒(méi)有刻度的。正是在這種嚴格的限制下,產(chǎn)生了種種難題。
在數學(xué)史中,很難找到像這樣長(cháng)期被人關(guān)注的問(wèn)題.兩千多年以來(lái),無(wú)數人的聰明才智傾注于這三個(gè)問(wèn)題而毫無(wú)結果。但對這三個(gè)問(wèn)題的深入探索,促進(jìn)了希臘幾何學(xué)的發(fā)展,引出了大量的發(fā)現,如圓錐曲線(xiàn)、許多二次和三次曲線(xiàn)以及幾種超越曲線(xiàn)的發(fā)現等;后來(lái)又有關(guān)于有理域、代數數、超越數、群論和方程論若干部分的發(fā)展。直到19世紀,即距第一次提出這三個(gè)問(wèn)題兩千年之后,這三個(gè)尺規作圖問(wèn)題才被證實(shí)在所給的條件下是不可能解決的。