幾何學(xué)的變革課件

9幾何學(xué)的變革歐幾里得平行公設(shè)非歐幾何的誕生非歐幾何的發(fā)展與確認(rèn)射影幾何的繁榮幾何學(xué)的統(tǒng)一9幾何學(xué)的變革歐幾里得平行公設(shè)19幾何學(xué)的變革歐氏幾何在公元前300年就已產(chǎn)生，其特征是建立了公理化方法：即從幾個(gè)概念和幾個(gè)命題，演繹出本學(xué)科其它所有概念和命題，從而構(gòu)成這一學(xué)科的全貌。運(yùn)用這種方法的學(xué)科被認(rèn)為是嚴(yán)謹(jǐn)?shù)暮统墒斓目茖W(xué)。歐氏幾何的公理體系出現(xiàn)在歐幾里得的《原本》中，在其之后的2200后，希爾伯特在《幾何基礎(chǔ)》加以完善。其間，許多數(shù)學(xué)家作了許多公理體系的完備性工作。9幾何學(xué)的變革歐氏幾何在公元前300年就已產(chǎn)生，其29幾何學(xué)的變革

然而，令人放心不下的是該公理體系中的第五公設(shè)，即平行公設(shè)的問題。因?yàn)槿藗儼l(fā)現(xiàn)即使歐幾里得本人也盡量避免使用它。9幾何學(xué)的變革39幾何學(xué)的變革9.1歐幾里得平行公設(shè)第五公設(shè)（即平行公設(shè)）尋求第五公設(shè)的證明非歐幾何的孕育9幾何學(xué)的變革9.1歐幾里得平行公設(shè)49幾何學(xué)的變革9.1歐幾里得平行公設(shè)一第五公設(shè)（即平行公設(shè)）《原本》中五個(gè)公設(shè)：1由任意一點(diǎn)到另外任意一點(diǎn)可以畫直線2一條有限直線可以繼續(xù)延長3以任意點(diǎn)為心及任意的距離可以畫圓4凡直角都彼此相等5同平面內(nèi)一條直線和另外兩條直線相交，若在某一側(cè)的兩個(gè)內(nèi)角的和小于二直角的和，則這二直線經(jīng)無限延長后在這一側(cè)相交9幾何學(xué)的變革9.1歐幾里得平行公設(shè)59.1歐幾里得的平行公設(shè)從古希臘時(shí)代開始，人們一直對(duì)第五公設(shè)有疑問，二千年來，數(shù)學(xué)家們一直在想消除這個(gè)疑問，其途徑有二：一是用更為自明的命題代替第五公設(shè)；二是證明它，使其成為一個(gè)定理。兩千年來提出眾多的替代公設(shè)有：9.1歐幾里得的平行公設(shè)從古希臘時(shí)代開始，人69.1歐幾里得的平行公設(shè)存在一對(duì)同平面的直線彼些處處等距離過己知直線外一點(diǎn)能且只能作一條直線與己知直線平行存在一對(duì)相似但不全等的三角形如果一個(gè)四邊形有一對(duì)對(duì)邊相等，并且它們與第三邊構(gòu)成的角均為直角，則余下的兩個(gè)角也是直角9.1歐幾里得的平行公設(shè)存在一對(duì)同平面的直線彼些處處等距79.1歐幾里得的平行公設(shè)如果四邊形有三個(gè)角是直角，則第四個(gè)角也是直角至少存在一個(gè)三角形，其三角和等于二直角過任何三個(gè)不在同一直線上的點(diǎn)可作一圓三角形的面積無上限

但所有這些替代公設(shè)，也不自明。9.1歐幾里得的平行公設(shè)如果四邊形有三個(gè)角是直角，則第四89.1歐幾里得的平行公設(shè)二尋求第五公設(shè)的證明多少世紀(jì)以來，試圖證明第五公設(shè)的人是如此之多，差不多夠一個(gè)軍團(tuán)，但所有這些嘗試均告失敗。9.1歐幾里得的平行公設(shè)二尋求第五公設(shè)的證明99.1歐幾里得的平行公設(shè)三非歐幾何的孕育

1薩凱里（Saccheri）著《歐幾里得無懈可擊》（1733）從著名的“薩凱里四邊形”出發(fā)證明平行公設(shè)2克呂格爾1763年，克呂格爾指出薩凱里的工作并未導(dǎo)出矛盾，他懷疑能否證明平行公設(shè)9.1歐幾里得的平行公設(shè)三非歐幾何的孕育109.1歐幾里得的平行公設(shè)

3蘭伯特著《平行線的理論》（1766）他認(rèn)識(shí)到一組假設(shè)如果不引起矛盾的話，就提供了一種可能的幾何。蘭伯特最先指出通過替換平行公設(shè)而展開新的無矛盾的幾何學(xué)的道路。薩凱里、克呂格爾、蘭伯特是非歐幾何的先行者。9.1歐幾里得的平行公設(shè)3蘭伯特11平行公理的研究(公元前3世紀(jì)至1800年)A+B+C=2π非歐幾何的孕育歐幾里得普萊菲爾(蘇格蘭,1748-1819)

勒讓德(法,1752-1833)

若一直線落在兩直線上所構(gòu)成的同旁內(nèi)角和小于兩直角,那么把兩直線無限延長,它們都在同旁內(nèi)角和小于兩直角的一側(cè)相交.平行公理的研究(公元前3世紀(jì)至1800年)A+B+C=2π非12

勒讓德(法,1752-1833)《幾何學(xué)原理》：這條關(guān)于三角形的三個(gè)內(nèi)角和的定理應(yīng)該認(rèn)為是那些基本真理之一。這些真理是不容爭論的，它們是數(shù)學(xué)永恒真理的不朽的例子。(1832)

1733年薩凱里(意,1667-1733)《歐幾里得無懈可擊》非歐幾何的孕育勒讓德(法,1752-1833)《幾何學(xué)原理》：這條關(guān)13非歐幾何的孕育

1766年蘭伯特(法,1728-1777)《平行線理論》不認(rèn)為銳角假設(shè)矛盾,認(rèn)識(shí)到如果一組假設(shè)不引起矛盾,就提供了一種可能的幾何

1763年，克呂格爾(德,1739-1812)第一位對(duì)平行線公設(shè)是否能由其它公理加以證明表示懷疑的數(shù)學(xué)家

1820年F?鮑約(匈,1775-1856):“我經(jīng)過了這個(gè)長夜的渺無希望的黑暗,在這里埋沒了我一生的一切亮光和一切快樂,……或許這個(gè)無底洞的黑暗將吞食掉一千個(gè)猶如燈塔般的牛頓,而使大地永無光明?！狈菤W幾何的孕育1766年蘭伯特(法,1728-1777149.2非歐幾何的誕生高斯波約羅巴切夫斯基9.2非歐幾何的誕生159.2非歐幾何的誕生一高斯（Gauss，1777—1855）

1799年，高斯意識(shí)到平行公設(shè)不能由其它歐氏公理推出來，并從1813年起發(fā)展了這種平行公設(shè)在其中不成立的新幾何學(xué)，稱之為反歐幾里得幾何學(xué)，但高斯生前未發(fā)表。9.2非歐幾何的誕生一高斯（Gauss，1777—18169.2非歐幾何的誕生二波約（1802—1860）

1823年，波約開始理解平行公設(shè)問題的實(shí)質(zhì)，稱“我要白手起家創(chuàng)造一個(gè)奇怪的新世界”。波約稱他的非歐幾何為“絕對(duì)幾何”。著《絕對(duì)空間的科學(xué)》9.2非歐幾何的誕生二波約（1802—1860）179.2非歐幾何的誕生三羅巴切夫斯基（1792—1856）1826《簡要論述平行線定理的一個(gè)嚴(yán)格證明》1829《論幾何原理》1835—1838系列論文《具有完備的平行線理論的新幾何學(xué)原理》1840《平行理論的幾何研究》9.2非歐幾何的誕生三羅巴切夫斯基（1792—185189.2非歐幾何的誕生羅巴切夫斯基在否定第五公理的同時(shí)，假設(shè)其反面之一：“過已知直線外一點(diǎn)，可作多于一條的直線與已知直線平行”，得到了一系列定理，并且認(rèn)為他得到了一門新的幾何學(xué)。羅巴切夫斯基宣布自己建立了新的幾何學(xué)之后，遭到了許多數(shù)學(xué)大家的嘲笑、諷刺，德國詩人歌德也出來諷刺他。實(shí)際上，羅巴切夫斯基的理論得到世界的認(rèn)可是在他去世幾十年后的事了。9.2非歐幾何的誕生羅巴切夫斯基在否定第五公理19π(α)非歐幾何

1813年高斯(德,1777-1855)：非歐幾里得幾何

1832年波約(匈,1802-1860)《絕對(duì)空間的科學(xué)》

幾何學(xué)上的哥白尼

1826年羅巴切夫斯基(俄,1792-1856)《簡要論述平行線定理的一個(gè)嚴(yán)格證明》π(α)非歐幾何1813年高斯(德,1777-185520羅巴切夫斯基(蘇聯(lián),1951)非歐幾何羅巴切夫斯基(俄,1792-1856)，喀山大學(xué)教授、校長1815年著手研究平行線理論，試圖給出平行公設(shè)的證明1826年在物理數(shù)學(xué)系會(huì)議宣讀《簡要論述平行線定理的一個(gè)嚴(yán)格證明》1829年論文《幾何學(xué)原理》在《喀山大學(xué)通報(bào)》全文發(fā)表直至羅巴切夫斯基去世的30年內(nèi)，沒能贏得社會(huì)的承認(rèn)和贊美羅巴切夫斯基(蘇聯(lián),非歐幾何羅巴切夫斯基(俄,1792-21鮑約(羅馬尼亞,1960)非歐幾何鮑約父子之墓鮑約(羅馬尼亞,1960)非歐幾何鮑約父子之墓229.3非歐幾何的發(fā)展與確認(rèn)黎曼幾何非歐幾何的相容性公理系統(tǒng)的相對(duì)相容性的證明非歐幾何的意義9.3非歐幾何的發(fā)展與確認(rèn)239.3非歐幾何的發(fā)展與確認(rèn)

非歐幾何從發(fā)現(xiàn)到獲得普遍接受經(jīng)歷了曲折的道路，要達(dá)到這一目標(biāo)，需要確定非歐幾何自身的無矛盾性和現(xiàn)實(shí)意義。一黎曼幾何

黎曼（Rieman，1826—1866）在1854年發(fā)展了羅巴切夫斯基等人的思想，建立了現(xiàn)稱為“黎曼幾何”的一種更廣泛的幾何，歐氏幾何、羅氏幾何、黎曼非歐幾何都只是其特例。9.3非歐幾何的發(fā)展與確認(rèn)非歐幾何249.3非歐幾何的發(fā)展與確認(rèn)

在羅氏幾何產(chǎn)生后的1854年，德國數(shù)學(xué)家黎曼把歐氏第五公設(shè)改為：“過已知直線外一點(diǎn)，沒有與其平行之直線”，得到的一種新的幾何學(xué)—黎曼非歐幾何，為非歐幾何的另一翼。9.3非歐幾何的發(fā)展與確認(rèn)259.3非歐幾何的發(fā)展與確認(rèn)在黎曼幾何中，最重要的一種對(duì)象是常曲率空間，對(duì)于三維空間，有下列情形：曲率為正常數(shù)黎曼非歐幾何橢圓幾何曲率為負(fù)常數(shù)羅氏非歐幾何雙曲幾何曲率恒為零歐氏幾何9.3非歐幾何的發(fā)展與確認(rèn)在黎曼幾何中，最重要的一種對(duì)象26內(nèi)蘊(yùn)幾何，流形曲率1854年黎曼(德,1826-1866)《關(guān)于幾何基礎(chǔ)的假設(shè)》非歐幾何內(nèi)蘊(yùn)幾何，流形曲率1854年黎曼(德,1826-1866)27非歐幾何

1846年進(jìn)入哥廷根大學(xué)專修語言和神學(xué)1847-1848年到柏林大學(xué),進(jìn)入數(shù)學(xué)領(lǐng)域1849-1851年在哥廷根大學(xué),取得博士學(xué)位,學(xué)位論文“單復(fù)變函數(shù)一般理論基礎(chǔ)”1854年講師職位講演:關(guān)于幾何基礎(chǔ)的假設(shè),1857年副教授,1859年教授1862年得肺結(jié)核,1866年在意大利逝世1876年出版《黎曼全集》(發(fā)表論文18篇,遺稿12篇)偉大的分析學(xué)家：復(fù)變函數(shù)論、阿貝爾函數(shù)論、超幾何級(jí)數(shù)與常微分方程、解析數(shù)論、實(shí)分析、幾何學(xué)、數(shù)學(xué)物理、物理學(xué)黎曼(德,1826-1866)

“黎曼是一個(gè)富有想象的天才,他的想法即使沒有證明,也鼓舞了整整一個(gè)世紀(jì)的數(shù)學(xué)家.”非歐幾何1846年進(jìn)入哥廷根大學(xué)專修語言和神學(xué)黎曼(德,289.3非歐幾何的發(fā)展與確認(rèn)二非歐幾何的相容性三公理系統(tǒng)的相對(duì)相容性的證明9.3非歐幾何的發(fā)展與確認(rèn)二非歐幾何的相容性29模型與相容性

1868年貝爾特拉米(意,1835-1899)非歐幾何曳物線偽球面模型與相容性1868年貝爾特拉米(意,1835-18930

1871年克萊因(德,1849-1925)

1882年龐加萊(法,1854-1912)非歐幾何克萊因-龐加萊圓1871年克萊因(德,1849-1925)1882319.3非歐幾何的發(fā)展與確認(rèn)四非歐幾何的意義

1解決了平行公理的獨(dú)立性問題。推動(dòng)了一般公理體系的獨(dú)立性、相容性、完備性問題的研究，促進(jìn)了數(shù)學(xué)基礎(chǔ)這一更為深刻的數(shù)學(xué)分支的形成與發(fā)展。9.3非歐幾何的發(fā)展與確認(rèn)四非歐幾何的意義329.3非歐幾何的發(fā)展與確認(rèn)2證明了對(duì)公理方法本身的研究能推動(dòng)數(shù)學(xué)的發(fā)展，理性思維和對(duì)嚴(yán)謹(jǐn)、邏輯和完美的追求，推動(dòng)了科學(xué)，從而推動(dòng)了社會(huì)的發(fā)展和進(jìn)步。在數(shù)學(xué)內(nèi)部，各分支紛紛建立了自己的公理體系，包括被公認(rèn)為最困難的概率論也在20世紀(jì)30年代建立自己的公理體系。實(shí)際上公理化的研究又孕育了“元數(shù)學(xué)”的產(chǎn)生和發(fā)展。9.3非歐幾何的發(fā)展與確認(rèn)2證明了對(duì)公理方法本身的研339.3非歐幾何的發(fā)展與確認(rèn)3非歐幾何實(shí)際上預(yù)示了相對(duì)論的產(chǎn)生，就象微積分預(yù)示了人造衛(wèi)星一樣。非歐幾何與相對(duì)論和匯合是科學(xué)史上劃時(shí)代的事件。人們都認(rèn)為是愛因斯坦創(chuàng)立了相對(duì)論，但是，也許愛因斯坦更清楚，是他和一批數(shù)學(xué)家Poincare,Minkouski,Hilbert等共同的工作。出現(xiàn)動(dòng)鐘延緩，動(dòng)尺縮短，時(shí)空彎曲等現(xiàn)象。這些都是非歐幾何與相對(duì)論的科學(xué)發(fā)現(xiàn)。9.3非歐幾何的發(fā)展與確認(rèn)3非歐幾何實(shí)際上預(yù)示了相對(duì)349幾何學(xué)的變革9.4射影幾何的繁榮9幾何學(xué)的變革35蒙日(法國,1953)

1803年卡爾諾(法,1753-1823)的《位置幾何學(xué)》卡爾諾(法國,1950)

1799年蒙日(法,1746-1818)的《畫法幾何學(xué)》射影幾何

早期開拓者:德沙格(法,1591-1661),帕斯卡(法,1623-1662)蒙日(法國,1953)1803年卡爾諾(法36綜合方法連續(xù)性原理對(duì)偶原理1822年龐斯列(法,1788-1867)的《論圖形的射影性質(zhì)》射影幾何綜合方法連續(xù)性原理對(duì)偶原理1822年龐斯列(法,1788-37代數(shù)方法默比烏斯(德,1790-1868)1827年默比烏斯(德,1790-1868)的《重心計(jì)算》1829年普呂克(德,1801-1868)的三線坐標(biāo)普呂克(德,1801-1868)射影幾何代數(shù)方法默比烏斯(德,1790-1868)1827年默比烏38射影幾何施陶特(德,1798-1867)

1847年施陶特(德,1798-1867)的《位置幾何學(xué)》

凱萊(英,1821-1895)在射影幾何基礎(chǔ)上建立歐氏幾何和非歐幾何凱萊(英,1821-1895)射影幾何施陶特(德,1798-1867)1847年施陶399幾何學(xué)的變革9.5幾何學(xué)的統(tǒng)一

愛爾朗根綱領(lǐng)（克萊因，1872年）：所謂幾何學(xué)，就是研究幾何圖形對(duì)于某類變換群保持不變的性質(zhì)的學(xué)問，或者說任何一種幾何只是研究與特定的變換群有關(guān)的不變量?？巳R因以射影幾何為基礎(chǔ)、對(duì)幾何學(xué)做了分類。9幾何學(xué)的變革9.5幾何學(xué)的統(tǒng)一40所謂幾何學(xué)，就是研究幾何圖形對(duì)于某類變換群保持不變的性質(zhì)的學(xué)科，或者說任何一種幾何學(xué)只是研究與特定的變換群有關(guān)的不變量。

1872年克萊因(德,1849-1925)的《愛爾朗根綱領(lǐng)》統(tǒng)一的幾何學(xué)1865年進(jìn)入波恩大學(xué)(建于1786年)學(xué)習(xí)生物1866-1868年普呂克(德,1801-1868)的博士1869-1886年:哥廷根大學(xué)、柏林大學(xué)、普法戰(zhàn)爭、埃爾朗根大學(xué)、慕尼黑工業(yè)大學(xué)、萊比錫大學(xué)、哥廷根大學(xué)克萊因使哥廷根這座具有高斯、黎曼傳統(tǒng)的德國大學(xué)更富有科學(xué)魅力，吸引了一批有杰出才華的年青數(shù)學(xué)家，使之成為20世紀(jì)初世界數(shù)學(xué)的中心之一所謂幾何學(xué)，就是研究幾何圖形對(duì)于某類變換群保持不變的性質(zhì)的學(xué)41《愛爾朗根綱領(lǐng)》射影幾何仿射幾何單重橢圓幾何二重橢圓幾何雙曲幾何歐幾里得幾何其它仿射幾何統(tǒng)一的幾何學(xué)克萊因：“音樂能激發(fā)或撫慰情懷，繪畫使人賞心悅目，詩歌能動(dòng)人心弦，哲學(xué)使人獲得智慧，科學(xué)可改善物質(zhì)生活，但數(shù)學(xué)能給予以上的一切?！薄稅蹱柪矢V領(lǐng)》射影幾何仿射幾何單重橢圓幾何二重橢圓幾何雙曲42幾何學(xué)的公理化1899年希爾伯特《幾何基礎(chǔ)》選擇和組織公理系統(tǒng)的原則希爾伯特(德,1862-1943)“建立幾何的公理和探究它們之間的關(guān)系，是一個(gè)歷史悠久的問題；關(guān)于這個(gè)問題的討論，從歐幾里得以來的數(shù)學(xué)文獻(xiàn)中，有過難以計(jì)數(shù)的專著，這問題實(shí)際就是要把我們的空間直觀加以邏輯的分析。”本書中的研究，是重新嘗試著來替幾何建立一個(gè)完備的，而又盡可能簡單的公理系統(tǒng)；要根據(jù)這個(gè)系統(tǒng)推證最重要的幾何定理，同時(shí)還要使我們的推證能明顯地表出各類公理的含義和個(gè)別公理的推論的含義?！睅缀螌W(xué)的公理化1899年希爾伯特《幾何基礎(chǔ)》選擇和組織公理43演講完畢，謝謝觀看！演講完畢，謝謝觀看！449幾何學(xué)的變革歐幾里得平行公設(shè)非歐幾何的誕生非歐幾何的發(fā)展與確認(rèn)射影幾何的繁榮幾何學(xué)的統(tǒng)一9幾何學(xué)的變革歐幾里得平行公設(shè)459幾何學(xué)的變革歐氏幾何在公元前300年就已產(chǎn)生，其特征是建立了公理化方法：即從幾個(gè)概念和幾個(gè)命題，演繹出本學(xué)科其它所有概念和命題，從而構(gòu)成這一學(xué)科的全貌。運(yùn)用這種方法的學(xué)科被認(rèn)為是嚴(yán)謹(jǐn)?shù)暮统墒斓目茖W(xué)。歐氏幾何的公理體系出現(xiàn)在歐幾里得的《原本》中，在其之后的2200后，希爾伯特在《幾何基礎(chǔ)》加以完善。其間，許多數(shù)學(xué)家作了許多公理體系的完備性工作。9幾何學(xué)的變革歐氏幾何在公元前300年就已產(chǎn)生，其469幾何學(xué)的變革

然而，令人放心不下的是該公理體系中的第五公設(shè)，即平行公設(shè)的問題。因?yàn)槿藗儼l(fā)現(xiàn)即使歐幾里得本人也盡量避免使用它。9幾何學(xué)的變革479幾何學(xué)的變革9.1歐幾里得平行公設(shè)第五公設(shè)（即平行公設(shè)）尋求第五公設(shè)的證明非歐幾何的孕育9幾何學(xué)的變革9.1歐幾里得平行公設(shè)489幾何學(xué)的變革9.1歐幾里得平行公設(shè)一第五公設(shè)（即平行公設(shè)）《原本》中五個(gè)公設(shè)：1由任意一點(diǎn)到另外任意一點(diǎn)可以畫直線2一條有限直線可以繼續(xù)延長3以任意點(diǎn)為心及任意的距離可以畫圓4凡直角都彼此相等5同平面內(nèi)一條直線和另外兩條直線相交，若在某一側(cè)的兩個(gè)內(nèi)角的和小于二直角的和，則這二直線經(jīng)無限延長后在這一側(cè)相交9幾何學(xué)的變革9.1歐幾里得平行公設(shè)499.1歐幾里得的平行公設(shè)從古希臘時(shí)代開始，人們一直對(duì)第五公設(shè)有疑問，二千年來，數(shù)學(xué)家們一直在想消除這個(gè)疑問，其途徑有二：一是用更為自明的命題代替第五公設(shè)；二是證明它，使其成為一個(gè)定理。兩千年來提出眾多的替代公設(shè)有：9.1歐幾里得的平行公設(shè)從古希臘時(shí)代開始，人509.1歐幾里得的平行公設(shè)存在一對(duì)同平面的直線彼些處處等距離過己知直線外一點(diǎn)能且只能作一條直線與己知直線平行存在一對(duì)相似但不全等的三角形如果一個(gè)四邊形有一對(duì)對(duì)邊相等，并且它們與第三邊構(gòu)成的角均為直角，則余下的兩個(gè)角也是直角9.1歐幾里得的平行公設(shè)存在一對(duì)同平面的直線彼些處處等距519.1歐幾里得的平行公設(shè)如果四邊形有三個(gè)角是直角，則第四個(gè)角也是直角至少存在一個(gè)三角形，其三角和等于二直角過任何三個(gè)不在同一直線上的點(diǎn)可作一圓三角形的面積無上限

但所有這些替代公設(shè)，也不自明。9.1歐幾里得的平行公設(shè)如果四邊形有三個(gè)角是直角，則第四529.1歐幾里得的平行公設(shè)二尋求第五公設(shè)的證明多少世紀(jì)以來，試圖證明第五公設(shè)的人是如此之多，差不多夠一個(gè)軍團(tuán)，但所有這些嘗試均告失敗。9.1歐幾里得的平行公設(shè)二尋求第五公設(shè)的證明539.1歐幾里得的平行公設(shè)三非歐幾何的孕育

1薩凱里（Saccheri）著《歐幾里得無懈可擊》（1733）從著名的“薩凱里四邊形”出發(fā)證明平行公設(shè)2克呂格爾1763年，克呂格爾指出薩凱里的工作并未導(dǎo)出矛盾，他懷疑能否證明平行公設(shè)9.1歐幾里得的平行公設(shè)三非歐幾何的孕育549.1歐幾里得的平行公設(shè)

3蘭伯特著《平行線的理論》（1766）他認(rèn)識(shí)到一組假設(shè)如果不引起矛盾的話，就提供了一種可能的幾何。蘭伯特最先指出通過替換平行公設(shè)而展開新的無矛盾的幾何學(xué)的道路。薩凱里、克呂格爾、蘭伯特是非歐幾何的先行者。9.1歐幾里得的平行公設(shè)3蘭伯特55平行公理的研究(公元前3世紀(jì)至1800年)A+B+C=2π非歐幾何的孕育歐幾里得普萊菲爾(蘇格蘭,1748-1819)

勒讓德(法,1752-1833)

若一直線落在兩直線上所構(gòu)成的同旁內(nèi)角和小于兩直角,那么把兩直線無限延長,它們都在同旁內(nèi)角和小于兩直角的一側(cè)相交.平行公理的研究(公元前3世紀(jì)至1800年)A+B+C=2π非56

勒讓德(法,1752-1833)《幾何學(xué)原理》：這條關(guān)于三角形的三個(gè)內(nèi)角和的定理應(yīng)該認(rèn)為是那些基本真理之一。這些真理是不容爭論的，它們是數(shù)學(xué)永恒真理的不朽的例子。(1832)

1733年薩凱里(意,1667-1733)《歐幾里得無懈可擊》非歐幾何的孕育勒讓德(法,1752-1833)《幾何學(xué)原理》：這條關(guān)57非歐幾何的孕育

1766年蘭伯特(法,1728-1777)《平行線理論》不認(rèn)為銳角假設(shè)矛盾,認(rèn)識(shí)到如果一組假設(shè)不引起矛盾,就提供了一種可能的幾何

1763年，克呂格爾(德,1739-1812)第一位對(duì)平行線公設(shè)是否能由其它公理加以證明表示懷疑的數(shù)學(xué)家

1820年F?鮑約(匈,1775-1856):“我經(jīng)過了這個(gè)長夜的渺無希望的黑暗,在這里埋沒了我一生的一切亮光和一切快樂,……或許這個(gè)無底洞的黑暗將吞食掉一千個(gè)猶如燈塔般的牛頓,而使大地永無光明?！狈菤W幾何的孕育1766年蘭伯特(法,1728-1777589.2非歐幾何的誕生高斯波約羅巴切夫斯基9.2非歐幾何的誕生599.2非歐幾何的誕生一高斯（Gauss，1777—1855）

1799年，高斯意識(shí)到平行公設(shè)不能由其它歐氏公理推出來，并從1813年起發(fā)展了這種平行公設(shè)在其中不成立的新幾何學(xué)，稱之為反歐幾里得幾何學(xué)，但高斯生前未發(fā)表。9.2非歐幾何的誕生一高斯（Gauss，1777—18609.2非歐幾何的誕生二波約（1802—1860）

1823年，波約開始理解平行公設(shè)問題的實(shí)質(zhì)，稱“我要白手起家創(chuàng)造一個(gè)奇怪的新世界”。波約稱他的非歐幾何為“絕對(duì)幾何”。著《絕對(duì)空間的科學(xué)》9.2非歐幾何的誕生二波約（1802—1860）619.2非歐幾何的誕生三羅巴切夫斯基（1792—1856）1826《簡要論述平行線定理的一個(gè)嚴(yán)格證明》1829《論幾何原理》1835—1838系列論文《具有完備的平行線理論的新幾何學(xué)原理》1840《平行理論的幾何研究》9.2非歐幾何的誕生三羅巴切夫斯基（1792—185629.2非歐幾何的誕生羅巴切夫斯基在否定第五公理的同時(shí)，假設(shè)其反面之一：“過已知直線外一點(diǎn)，可作多于一條的直線與已知直線平行”，得到了一系列定理，并且認(rèn)為他得到了一門新的幾何學(xué)。羅巴切夫斯基宣布自己建立了新的幾何學(xué)之后，遭到了許多數(shù)學(xué)大家的嘲笑、諷刺，德國詩人歌德也出來諷刺他。實(shí)際上，羅巴切夫斯基的理論得到世界的認(rèn)可是在他去世幾十年后的事了。9.2非歐幾何的誕生羅巴切夫斯基在否定第五公理63π(α)非歐幾何

1813年高斯(德,1777-1855)：非歐幾里得幾何

1832年波約(匈,1802-1860)《絕對(duì)空間的科學(xué)》

幾何學(xué)上的哥白尼

1826年羅巴切夫斯基(俄,1792-1856)《簡要論述平行線定理的一個(gè)嚴(yán)格證明》π(α)非歐幾何1813年高斯(德,1777-185564羅巴切夫斯基(蘇聯(lián),1951)非歐幾何羅巴切夫斯基(俄,1792-1856)，喀山大學(xué)教授、校長1815年著手研究平行線理論，試圖給出平行公設(shè)的證明1826年在物理數(shù)學(xué)系會(huì)議宣讀《簡要論述平行線定理的一個(gè)嚴(yán)格證明》1829年論文《幾何學(xué)原理》在《喀山大學(xué)通報(bào)》全文發(fā)表直至羅巴切夫斯基去世的30年內(nèi)，沒能贏得社會(huì)的承認(rèn)和贊美羅巴切夫斯基(蘇聯(lián),非歐幾何羅巴切夫斯基(俄,1792-65鮑約(羅馬尼亞,1960)非歐幾何鮑約父子之墓鮑約(羅馬尼亞,1960)非歐幾何鮑約父子之墓669.3非歐幾何的發(fā)展與確認(rèn)黎曼幾何非歐幾何的相容性公理系統(tǒng)的相對(duì)相容性的證明非歐幾何的意義9.3非歐幾何的發(fā)展與確認(rèn)679.3非歐幾何的發(fā)展與確認(rèn)

非歐幾何從發(fā)現(xiàn)到獲得普遍接受經(jīng)歷了曲折的道路，要達(dá)到這一目標(biāo)，需要確定非歐幾何自身的無矛盾性和現(xiàn)實(shí)意義。一黎曼幾何

黎曼（Rieman，1826—1866）在1854年發(fā)展了羅巴切夫斯基等人的思想，建立了現(xiàn)稱為“黎曼幾何”的一種更廣泛的幾何，歐氏幾何、羅氏幾何、黎曼非歐幾何都只是其特例。9.3非歐幾何的發(fā)展與確認(rèn)非歐幾何689.3非歐幾何的發(fā)展與確認(rèn)

在羅氏幾何產(chǎn)生后的1854年，德國數(shù)學(xué)家黎曼把歐氏第五公設(shè)改為：“過已知直線外一點(diǎn)，沒有與其平行之直線”，得到的一種新的幾何學(xué)—黎曼非歐幾何，為非歐幾何的另一翼。9.3非歐幾何的發(fā)展與確認(rèn)699.3非歐幾何的發(fā)展與確認(rèn)在黎曼幾何中，最重要的一種對(duì)象是常曲率空間，對(duì)于三維空間，有下列情形：曲率為正常數(shù)黎曼非歐幾何橢圓幾何曲率為負(fù)常數(shù)羅氏非歐幾何雙曲幾何曲率恒為零歐氏幾何9.3非歐幾何的發(fā)展與確認(rèn)在黎曼幾何中，最重要的一種對(duì)象70內(nèi)蘊(yùn)幾何，流形曲率1854年黎曼(德,1826-1866)《關(guān)于幾何基礎(chǔ)的假設(shè)》非歐幾何內(nèi)蘊(yùn)幾何，流形曲率1854年黎曼(德,1826-1866)71非歐幾何

1846年進(jìn)入哥廷根大學(xué)專修語言和神學(xué)1847-1848年到柏林大學(xué),進(jìn)入數(shù)學(xué)領(lǐng)域1849-1851年在哥廷根大學(xué),取得博士學(xué)位,學(xué)位論文“單復(fù)變函數(shù)一般理論基礎(chǔ)”1854年講師職位講演:關(guān)于幾何基礎(chǔ)的假設(shè),1857年副教授,1859年教授1862年得肺結(jié)核,1866年在意大利逝世1876年出版《黎曼全集》(發(fā)表論文18篇,遺稿12篇)偉大的分析學(xué)家：復(fù)變函數(shù)論、阿貝爾函數(shù)論、超幾何級(jí)數(shù)與常微分方程、解析數(shù)論、實(shí)分析、幾何學(xué)、數(shù)學(xué)物理、物理學(xué)黎曼(德,1826-1866)

“黎曼是一個(gè)富有想象的天才,他的想法即使沒有證明,也鼓舞了整整一個(gè)世紀(jì)的數(shù)學(xué)家.”非歐幾何1846年進(jìn)入哥廷根大學(xué)專修語言和神學(xué)黎曼(德,729.3非歐幾何的發(fā)展與確認(rèn)二非歐幾何的相容性三公理系統(tǒng)的相對(duì)相容性的證明9.3非歐幾何的發(fā)展與確認(rèn)二非歐幾何的相容性73模型與相容性

1868年貝爾特拉米(意,1835-1899)非歐幾何曳物線偽球面模型與相容性1868年貝爾特拉米(意,1835-18974

1871年克萊因(德,1849-1925)

1882年龐加萊(法,1854-1912)非歐幾何克萊因-龐加萊圓1871年克萊因(德,1849-1925)1882759.3非歐幾何的發(fā)展與確認(rèn)四非歐幾何的意義

1解決了平行公理的獨(dú)立性問題。推動(dòng)了一般公理體系的獨(dú)立性、相容性、完備性問題的研究，促進(jìn)了數(shù)學(xué)基礎(chǔ)這一更為深刻的數(shù)學(xué)分支的形成與發(fā)展。9.3非歐幾何的發(fā)展與確認(rèn)四非歐幾何的意義769.3非歐幾何的發(fā)展與確認(rèn)2證明了對(duì)公理方法本身的研究能推動(dòng)數(shù)學(xué)的發(fā)展，理性思維和對(duì)嚴(yán)謹(jǐn)、邏輯和完美的追求，推動(dòng)了科學(xué)，從而推動(dòng)了社會(huì)的發(fā)展和進(jìn)步。在數(shù)學(xué)內(nèi)部，各分支紛紛建立了自己的公理體系，包括被公認(rèn)為最困難的概率論也在20世紀(jì)30年代建立自己的公理體系。實(shí)際上公理化的研究又孕育了“元數(shù)學(xué)”的產(chǎn)生和發(fā)展。9.3非歐幾何的發(fā)展與確認(rèn)2證明了對(duì)公理方法本身的研779.3非歐幾何的發(fā)展與確認(rèn)3非歐幾何實(shí)際上預(yù)示了相對(duì)論的產(chǎn)生，就象微積分預(yù)示了人造衛(wèi)星一樣。非歐幾何與相對(duì)論和匯合是科學(xué)史上劃時(shí)代的事件。人們都認(rèn)為是愛因斯坦創(chuàng)立了相對(duì)論，但是，也許愛因斯坦更清楚，是他和一批數(shù)學(xué)家Poincare,Minkouski,Hilbert等共同的工作。出現(xiàn)動(dòng)鐘延緩，動(dòng)尺縮短，時(shí)空彎曲等現(xiàn)象。這些都是非歐幾何與相對(duì)論的科學(xué)發(fā)現(xiàn)。9.3非歐幾何的發(fā)展與確認(rèn)3非歐幾何實(shí)際上預(yù)示了相對(duì)789幾何學(xué)的變革9.4射影幾何的繁榮9幾何學(xué)的變革79蒙日(法國,1953)

1803年卡爾諾(法,1753-1823)的《位置幾何學(xué)》卡爾諾(法國,1950)

1799年蒙日(法,1746-1818)的《畫法幾何學(xué)》射影幾何

早期開拓者:德沙格(法,1591-1661),帕斯卡(法,1623-1662)蒙