




版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領
文檔簡介
第10章
分析的嚴格化
第十章分析的嚴格化
10.1柯西與分析基礎
經過近一個世紀的嘗試與醞釀,數學家們在嚴格化基礎上重建微積分的努力到19世紀初開始獲得成效.這方面的先聲來自捷克學者波爾察諾(B.Bolzano,1781—1848),他在1817年發表了《純粹分析證明》,以證明連續函數的中值定理為目的,其中包含了對函數連續性、導數等概念的合適定義,但波爾察諾的工作長期湮沒無聞.19世紀分析嚴格化真正有影響的先驅是法國數學家柯西.
柯西長期擔任巴黎綜合工科學校教授,他有許多著作都是以工科大學講義形式面世的.在分析方法方面,他寫出了一系列著作,其中最有代表性的是《分析教程》(1821)和《無限小計算教程概論》(1823),它們以嚴格化為目標,對微積分的基本概念,如變量、函數、極限、連續性、導數、微分、收斂等等給出了明確的定義,并在此基礎上重建和拓展了微積分的重要事實與定理.什么叫數學概念?什么叫數學里面的定義?什么叫數學概念?數學是研究數量、結構、變化以及空間模型等概念的一門學科。透過抽象化和邏輯推理的使用,由計數、計算、量度和對物體形狀及運動的觀察中產生。為了公式化新的猜想以及從合適選定的公理及定義中建立起嚴謹推導出的真理,數學家們拓展了這些概念。什么叫數學里面的定義?數學概念(mathematicalconcepts):是人腦對現實對象的數量關系和空間形式的本質特征的一種反映形式,即一種數學的思維形式。
正確地理解和形成一個數學概念,必須明確這個數學概念的內涵——對象的“質”的特征,及其外延——對象的“量”的范圍。一般來說,數學概念是運用定義的形式來揭露其本質特征的。
有些數學概念要經過長期的醞釀,最后才以定義的形式表達,如函數、極限等。
定義是準確地表達數學概念的方式。下面欣賞柯西給出的一些定義:以下是這方面的一些例子:
1.變量.“依次取許多互不相同的值的量叫作變量”.
2.函數.“當變量之間這樣聯系起來的時候,即給定了這些變量中的一個值,就可以決定所有其他變量的值的時候,人們通常想象這些量是用其中的一個來表達的,這時這個量就取名為自變量,而由這些自變量表示的其他量就叫作這個自變量的函數”.
3.極限.“當同一變量逐次所取的值無限趨向于一個固定的值,最終使它的值與該定值的差要多小就多小,那么最后這個定值就稱為所有其他值的極限”.
4.無限小量.“當同一變量逐次所取的絕對值無限減小,以致比任意給定的數還要小,這個變量就是所謂的無限小或無限小量”.
5.連續函數.柯西第一次解決了函數連續性的定義問題.按他的定義,函數在給定限之間關于保持連續,如果在這兩限之間變量的每個無限小增量總產生函數本身的一個無限小增量.6.導數與微分.柯西把導數明確定義為差商當無限地趨向于零的極限,函數的微分則定義為
.
7.積分.柯西首先指出,在研究積分或原函數的各種性質以前,應先證明它們是存在的.也就是說需要首先對一大類函數給出積分的一般定義.設函數在給定區間上連續,并用點把區間劃分為個子區間,對應于每個這樣的劃分,構造近似和:問:你能簡單的總結一下這個過程嗎?柯西證明這個和數當區間長趨向于零時的極限與劃分的方式無關,并把這個極限定義為在區間上的積分這個定義后來被黎曼直接推廣,將每個區間端點用區間內任一點來代替,就得到現在所說的黎曼積分.
分割---近似---作和---取極限。
在以上一系列定義的基礎上,柯西得以嚴格地表述并證明微積分基本定理,中值定理等一系列重要定理,如微積分基本定理被表述為:在區間上給定連續函數,對于,由
定義的新函數就是的原函數或反導數,即在上有我們一般還稱為什么函數?柯西還對無窮級數進行了嚴格化處理,明確定義了級數的收斂性,并研究了判別級數收斂的條件.令是所研究的無窮級數前項的和,為自然數,若當趨向于無限大時,和無限趨近于某一極限,柯西就說級數是收斂的.
柯西在數學發明方面有特別豐富能力,其多產能力在歷史上只被超過了兩次(被歐拉和凱萊超過)。他的工作就象他的時代,是革命的。
現代數學的兩個引起興趣的主要問題應歸功于柯西,這兩個問題中的每一個都標志著與十八世紀數學的斷然決裂。
第一個是把嚴格性引進了數學分析。
第二個是組合方面。
柯西(A-L.Cauchy,1789—1851)于1789年8月21日(巴士底獄陷落后不到六個星期)出生在巴黎。柯西○1813年,柯西已經以他光輝的研究工作,特別是關于多面體的論文和關于對稱函數的論文,吸引了法國主要數學家們的注意。
○柯西到二十七歲(1816年)時已經使自己上升到當時的數學家的最前列。他唯一的重要競爭對手是沉默的高斯。柯西
○1826—1830年,創辦一個他自己的雜志《數學練習》,第二輯繼續以《分析數學和物理練習》為名,發表他在純數學和應用數學方面的評論性的和獨創性的著作。偉大數學家柯西柯西
柯西(Cauchy1789-1857),法國數學家,在數學領域,有很高的建樹和造詣。很多數學的定理和公式也都以他的名字來稱呼,如柯西不等式、柯西積分公式...
柯西創造力驚人,數學論文像連綿不斷的泉水在柯西的一生中噴涌,他發表了789篇論文,出版專著7本。從他23歲寫出第一篇論文到68歲逝世的45年中,平均每月發表一至兩篇論文.
柯西
他在純數學和應用數學的功力是相當深厚的,在數學寫作上,他是被認為在數量上僅次于歐拉的人,他一生一共著作了789篇論文和幾本書,其中有些還是經典之作。
柯西柯西在幼年時,有機會遇到拉普拉斯和拉格朗日兩位大數學家。他們對他的才能十分賞識;拉格朗日認為他將來必定會成為大數學家,但建議他的父親在他學好文科前不要學數學。柯西于1805年考入綜合工科學校,在那里主要學習數學和力學;1807年考入橋梁公路學校,1810年以優異成績畢業,前往瑟堡參加海港建設工程。柯西
柯西去瑟堡時攜帶了拉格朗日的《解析函數論》和拉普拉斯的《天體力學》,后來還陸續收到從巴黎寄出或從當地借得的一些數學書。他在業余時間悉心攻讀有關數學各分支方面的書籍,從數論直到天文學方面。根據拉格朗日的建議,他進行了多面體的研究,并于1811及1812年向科學院提交了兩篇論文。
柯西27歲即當選為法國科學院院士,還是英國皇家學會會員和許多國家的科學院院士.二、柯西的數學成就
柯西對數學的最大貢獻是在微積分中引進了清晰和嚴格的表述與證明方法.正如著名數學家馮·諾伊曼所說:“嚴密性的統治地位基本上由柯西重新建立起來的.”
在這方面他寫下了三部專著:《分析教程》、《無窮小計算教程》、《微分計算教程》.他的這些著作,擺脫了微積分單純的對幾何、運動的直觀理解和物理解釋,引入了嚴格的分析上的敘述和論證,從而形成了微積分的現代體系.柯西馮·諾伊曼的簡介,參看第99頁。柯西
作為一位學者,他思路敏捷,功績卓著。由柯西卷帙浩大的論著和成果,人們不難想象他的一生是怎樣孜孜不倦的勤奮工作。但是柯西卻是個具有復雜性格的人。他是忠誠的保王黨人,熱心的天主教徒,落落寡歡的學者。尤其作為久負盛名的科學泰斗,他常常忽視青年學者的創造。例如,由于柯西“失落”了才華出眾的年輕數學家阿貝爾和伽羅華的開創性論文手稿,造成群論晚問世半個世紀。柯西1857年5月23日,他突然去世,享年68歲,他因為熱病去世,臨終前,他還與巴黎大主教在說話,他說的最后一句話是:
“人總是要死的,但是,他們的功績永存!”
10.2分析的算術化
柯西的工作是令人尊敬的,但他的理論還只能說是“比較嚴格”,人們不久便發現柯西的理論也存在漏洞.例如,他用了許多“無限趨近”、“想要多小就多小”等直覺描述的語言.特別是,微積分計算是在實數舞臺上進行的,但直到19世紀中葉,對于什么是實數,竟還沒有明確的定義.數學家們對實數系本身仍然是以直觀的方式來理解的,他們相當隨意地使用無理數(如),而沒有認真考察它們的確切意義和性質.為了進行計算,他們依靠了這樣的假設:任何無理數都能用有理數來任意逼近,如=1.4142….由于對實數系缺乏充分的理解,就不可能真正為微積分奠定牢固的基礎.例如,柯西在證明連續函數積分(作為和式的極限)的存在性、證明級數收斂判別準則的充分性以及證明中值定理
時,都需要實數的完備性,而實數系的這種基本性質在當時并沒有證實.
對實數系缺乏認識不僅造成邏輯上的間斷,而且實際上常常導致錯誤.由于沒有建立一致收斂性概念,柯西得出過一個錯誤判斷:
若皆連續,且級數收斂,則連續;他還斷定這時對收斂級數可以逐項積分
另一個在當時普遍持有的錯誤觀念是認為凡連續函數都是可微的.因此,當德國數學家魏爾斯特拉斯在1861年舉出一個處處連續但卻處處不可微的函數例子時,數學界可以說是大為震驚.
魏爾斯特拉斯的例子是:其中是奇數,常數,是使得.
高斯曾經稱“數學是眼睛的科學”,但是要看清魏爾斯特拉斯擺在數學家們面前的這條曲線,單靠一雙好眼睛是無論如何不夠的.魏爾斯特拉斯的例子使人們迫切感到徹底擺脫對幾何直覺的依賴,重新認識考察分析基礎的必要性.另一位德國數學家戴德金(R.Dedekind)在1858年開始講授微積分時說過的一段話,也反映出當時的數學家不滿足于柯西的標準,而尋求使分析進一步嚴格化的途徑的愿望:
“我比以往任何時候更加強烈地感到這種算法缺乏真正科學的基礎.在討論一個變量逼近于一個固定的極限值的概念時,特別是在證明每個連續增加但不超過一切界限的量必定趨向于一個極限這一定理時,我依靠的是幾何上的證據.……但是,決不能認為以這種方式引入微分學是科學的.這一點已經得到公認.至于我本人,也無法克制這種不滿意的感覺而下定決心研究這個問題,直到為無窮小分析原理建立純粹算術的和完全嚴格的基礎為止.”
把分析建立在“純粹算術”的基礎之上,這方面的努力在19世紀后半葉釀成了數學史上著名的“分析算術化”運動,這場運動的主將是上面已經提到的魏爾斯特拉斯.魏爾斯特拉斯認為實數賦予我們極限與連續等概念,從而成為全部分析的本源.要使分析嚴格化,首先就要使實數系本身嚴格化.為此最可靠的辦法是按照嚴密的推理將實數歸結為整數(有理數).這樣,分析的所有概念便可由整數導出,使以往的漏洞和缺陷都能得以填補.這就是所謂“分析算術化”綱領,魏爾斯特拉斯本人和他的學生們為實現這一綱領作出了艱苦的努力并獲得了很大成功.10.2.1魏爾斯特拉斯
魏爾斯特拉斯(Weierstrass,1815—1897),德國數學家,中學畢業時成績優秀,共獲7項獎,其中包括數學,但他的父親卻把他送到波恩大學去學習法律和商業.魏爾斯特拉斯對商業和法律都毫無興趣.在波恩大學他把相當一部分時間花在自學他所喜歡的數學上,攻讀了包括拉普拉斯的《天體力學》在內的一些名著。他在波恩的另一部分時間則花在了擊劍上.魏爾斯特拉斯體魄魁偉,擊劍時出手準確,加上旋風般的速度,很快就成為波恩人心目中的擊劍名星.魏爾斯特拉斯魏爾斯特拉斯這樣在波恩大學度過四年之后,魏爾斯特拉斯回到家里,沒有得到他父親所希望的法律博士學位,連碩士學位也沒有得到.這使他父親勃然大怒,呵斥他是一個“從軀殼到靈魂都患病的人”.這時多虧他家的一位朋友建議,魏爾斯特拉斯被送到明斯特去準備教師資格考試.1841年,他正式通過了教師資格考試.在這期間,他的數學老師居德曼認識到他的才能.
居德曼(C.Gudermann)是一位橢圓函數論專家,他的橢圓函數論給了魏爾斯特拉斯很大影響,魏爾斯特拉斯為通過教師資格考試而提交的一篇論文的主題就是求橢圓函數的冪級數展開.居德曼在這篇論文的評語中寫道:“論文顯示了一位難得的數學人才,只要不被埋沒荒廢,一定會對科學的進步作出貢獻”.
居德曼的評語并沒有引起任何重視,魏爾斯特拉斯在獲得中學教師資格后開始了漫長的中學教師生活.他在兩處偏僻的地方中學度過了包括30歲到40歲的這段數學家的黃金歲月.
他在中學不光是教數學,還教物理、德文、地理甚至體育和書法課,而所得薪金連進行科學通信的郵資都付不起.但魏爾斯特拉斯以驚人的毅力,過著一種雙重的生活.他白天教課,晚上攻讀研究阿貝爾等人的數學著作,并寫了許多論文.其中有少數發表在當時德國中學發行的一種不定期刊物“教學簡介”上,但正如魏爾斯特拉斯后來的學生、瑞典數學家米塔·列夫勒所說的那樣:“沒有人會到中學的教學簡介中去尋找有劃時代意義的數學論文。”不過魏爾斯特拉斯這一段時間的業余研究,卻奠定了他一生數學創造的基礎.
一直到1853年,魏爾斯特拉斯將一篇關于阿貝爾函數的論文寄給了德國數學家克雷爾主辦的《純粹與應用數學雜志》(常常簡稱《數學雜志》),這才使他時來運轉.
克雷爾的雜志素以向有創造力的年青數學家開放而著稱.他接受了魏爾斯特拉斯的論文并在第二年就發表出來,隨即引起了轟動.哥尼斯堡大學一位數學教授親自到魏爾斯特拉斯當時任教的布倫斯堡中學向他頒發了哥尼斯堡大學博士學位證書.普魯士教育部宣布晉升魏爾斯特拉斯,并給了他一年假期帶職從事研究.此后,他再也沒有回到布倫斯堡.1856年,也就是他當了15年中學教師之后,魏爾斯特拉斯被任命為柏林工業大學數學教授,同年被選進柏林科學院.他后來又轉到柏林大學任教授直到去世,晚年享有很高的聲譽,幾乎被看成是德意志的民族英雄.在數學史上,魏爾斯特拉斯關于分析嚴格化的貢獻使他獲得了“現代分析之父”的稱號.這種嚴格化的突出表現是創造了一套語言,用以重建分析體系.可以說,數學分析達到今天所具有的嚴密形式,本質上歸功于魏爾斯特拉斯的工作.
10.2.2實數理論
魏爾斯特拉斯很少正式發表自己的研究成果,他的許多思想和方法主要是通過他在柏林工業大學和柏林大學的課堂講授而傳播的,其中有一些后來由他的學生整理發表出來.在1857年開始的解析函數論課程中,魏爾斯特拉斯給出了第一個嚴格的實數定義,這個定義大意是先從自然數出發定義正有理數,然后通過無窮多個有理數的集合來定義實數.像大多數情況一樣,魏爾斯特拉斯只是在課堂上作了講授.1872年,有人曾建議他發表這一定義,但被魏爾斯特拉斯拒絕了.不過,1872年,戴德金、康托爾(Cantor,1845—1918)、梅雷(H.C.R.Meray)和海涅(H.E.Heinte)等人幾乎同時發表了他們各自的實數理論,而其中戴德金和康托爾的實數構造方法正是我們現在通常所采用的.戴德金尤利烏斯·威廉·理查德·戴德金(JuliusWilhelmRichardDedekind
,1831—1916)又譯狄德金,最偉大的德國數學家、理論家和教育家,近代抽象數學的先驅。據《辭海》,戴德金還是格丁根大學哲學博士、柏林科學院院士。格奧爾格·康托爾
格奧爾格·康托爾(Cantor,GeorgFerdinandLudwigPhilipp,1845.3.3-1918.1.6)德國數學家,集合論的創始人。生于俄國圣彼得堡(今俄羅斯列寧格勒)。父親是猶太血統的丹麥商人,母親出身藝術世家。1856年全家遷居德國的法蘭克福。先在一所中學,后在威斯巴登的一所大學預科學校學習。
戴德金的方法也稱為戴德金分割,是將一切有理數的集合劃分為兩個非空不相交的子集和,使得中的每一個元素小于中的每一個元素,這時戴德金把這個劃分定義為有理數的一個分割,記為。有些分割是有理數產生的,在這樣的分割中,要么有最大元素,要么有最小元素.但有些分割卻不是.例如,若是由滿足的一切正有理數組成,是由一切其余的有理數組成,則既不存在的最大元素,也不存在的最小元素,因為不存在有理數使得.戴德金說:每當我們考慮一個不是由有理數產生的分割時,就得到一個新數即無理數,我們認為這個數是由分割完全確定的.因此,戴德金就把一切實數組成的集合R定義為有理數集的一切分割,而一個實數就是一個分割.
康托爾的基本思想則是把實數定義為有理數序列,這里必須是滿足柯西收斂準則的基本序列,即當時,對任意正整數一致地趨于0.康托爾把每個有理數基本序列與一個實數等同起來.而兩個基本序列與,若,則被看成是等價的,即它們定義同一個實數.用現代語言說,康托爾的定義相當于把實數集合定義為有理數的基本序列的一切等價類的集合.如果是一個有理數,則序列就表示對應于的實數.
戴德金和康托爾在他們各自的實數定義下都嚴格證明了實數系的完備性.例如,康托爾證明了,若是任一實數序列,又若對于任意正整數一致地有成立,則必存在唯一的一個實數,它被一個由有理數構成的基本序列所確定,使得.這表明,由實數構成的基本序列不會產生任何更新類型的數,或者說由實數構成的基本序列不需要任何更新類型的數來充當它的極限,因為已經存在的實數已足夠提供其極限了.因此,從為基本序列提供極限的觀點來說,實數系是一個完備系.這樣,長期以來圍繞著實數概念的邏輯循環得以徹底消除.實數的定義及其完備性的確立,標志著由魏爾斯特拉斯倡導的分析算術化運動大致宣告完成.10.2.3集合論的誕生在分析的嚴格化過程中,一些基本概念如極限、實數、級數等的研究都涉及到由無窮多個元素組成的集合,特別是在對那些不連續函數進行分析時,需要對使函數不連續或使收斂問題變得很困難的點集進行研究,這樣就導致了集合論的建立.狄利克雷、黎曼等人都研究過這方面的問題,但只有康托爾在這一過程中系統發展了一般點集的理論,并開拓了一個全新的數學研究領域.
康托爾是在研究函數的三角級數表達式的唯一性問題時開始接觸無窮點集的.為了描述這種集合,他在1872年發表的《關于三角級數中一個定理的推廣》這篇文章里,定義了一系列點集論的基本概念,如極限點、導集、二階導集,…,第一型導集、第二型導集等,奠定了無窮點集論的初步基礎.在將唯一性定理推廣到允許無窮例外點等的過程中,康托爾認識到,這些例外點的集合及其導集所產生的問題與全體實數集合的構造性質密切相關.因此,康托爾開始關注這樣一個問題:
像自然數集那樣的無窮集合和像實數集那樣的無窮集合存在著怎樣的關系?
1873年11月29日,康托爾在給戴德金的信中將上述問題以更明確的形式提了出來:
全體正整數集合和全體實數集合能否建立一一對應?
康托爾這個問題看起來似乎不成問題,因為是離散的,是連續的,但康托爾認為這個問題也許并不那么簡單,我們不能過分相信直覺.
康托爾
導致康托爾作出這種判斷的,是他不久前剛剛證明的一個結論:全體有理數的集合是可數的.這很有些出乎意料,因為有理數不像自然數,它是稠密的,在任何兩個不同的有理數之間都存在另一個有理數,事實上,有無限多個.依靠直覺,似
考慮正有理數按以下方式排成的陣列(如圖)。在其中,第一行依大小次序包括所有以1為分母的正分數,即全體正整數;第二行依大小次序包括所有以2為分母的正分數;第三行依大小次序包括所有以3為分母的正分數等等.顯然,每個正有理數出現在這個陣列中.如果我們按箭頭所示依次重新排序,略去已經出現過的數,就得到全體正有理數的一個無窮序列,
于是序列就是包括所有有理數的集合。這樣就證明了有理數集的可數性.乎可以斷言有理數是不可數的,但事實并非如此.康托爾的證明如下(這里是他1895年給出的第二個證明).更令人驚異的是,康托爾還證明全體實代數數的集合也是可數的,而在直覺上實代數數似乎要比有理數多得多.康托爾起初想要證明實數集也是可數的,但他終于發現,在自然數集和實數集之間不可能建立一一對應.康托爾的第一個證明是在1873年12月作出的,而以“康托爾對角線法”著稱的第二個證明則發表于1890年.在這第二個證明中,康托爾實際考慮的是實數集.他的思路是,假定是可數集,則必然存在中所有實數的一個序列,現將每個這樣的實數寫成十進小數形式,并約定將有理數寫成無窮小數,如于是有現構造,并規定如果,則,如果,則,因此是中的一個實數,但卻不同于上面序列中的任何一個數.這就與假定相矛盾,因此是不可數的.康托爾關于實數不可數性的發現,是為建立超窮集合論而邁出的真正有意義的一步.之后,康托爾開始考慮在正整數和實數兩個不同的無窮集合之外,是否還有更大的無窮?從1874年到1877年,他經過三年的探索,證明了維空間的點集與線性點集是可以建立一一對應的.這個結論與直覺如此相悖,以致康托爾驚呼:“我見到了,但我不相信.”當這個結果在1878年發表后,也引起了克羅內克等人的激烈反對.正是在這篇文章中,康托爾明確提出了“基數”或“勢”的概念:給定兩個集合和,如果能夠根據某種規則在它們之間建立起一一對應的關系,就稱這兩個集合有相同的“基數”,或者說“等勢”.康托爾認為,建立集合論重要的是把數的概念從有窮數推廣到無窮數.為此,他建立了超窮基數和超窮序數的理論.因為既然維空間不能產生更大的無窮集合,進一步就要問能否從已知的無窮集合出發根據確鑿的數學運算來形成更大的無窮.康托爾先是在1883年的一篇文章里提出了良序集和序數的概念,并根據序數理論從序數集來形成更大的無窮.而后他又在1891年發表的“集合論的一個根本問題”里,利用一集合的冪集(即該集合所有子集的集合)來形成較原集合更大的無窮,并證明了著名的康托爾定理:一集合的冪集的基數較原集合的基數大。
因此,從自然數集的基數(也是一切可數集的基數)出發,根據康托爾定理就得到了超窮基數一個無限上升的序列:
這里表示自然數集的基數,表示其冪集的基數,等等.這樣,康托爾就為我們展現了一幅壯麗的圖景:無窮也具有無窮多的“層次”,并不存在一個最大的無窮.
可以證明,就是實數集的基數(也稱連續統的基數),那么在自然數集基數與連續統基數之間是否還存在其他基數?上述序列是否窮盡了一切超窮基數呢?
這就是著名的連續統假設和廣義連續統假設,康托爾沒有解決這個問題,后來希爾伯特把它列為他所提出的23個著名問題的第一個問題(見第11章).格奧爾格·康托爾
格奧爾格·康托爾(Cantor,1845-1918)德國數學家,集合論的創始人。生于俄國圣彼得堡(今俄羅斯列寧格勒)。父親是猶太血統的丹麥商人,母親出身藝術世家。1856年全家遷居德國的法蘭克福。先在一所中學,后在威斯巴登的一所大學預科學校學習。
康托爾,1862年入蘇黎世大學學工,翌年轉入柏林大學攻讀數學和神學,受教于庫默爾(Kummer,1810-1893)、維爾斯特拉斯和克羅內克(Kronecker,1823-1891)。
1866年曾去格丁根學習一學期。1867年在庫默爾指導下獲博士學位。畢業后受魏爾斯特拉斯的直接影響,由數論轉向嚴格的分析理論的研究,不久嶄露頭角。他在哈雷大學任教(1869-1913)的初期證明了復合變量函數三角級數展開的唯一性,繼而用有理數列極限定義無理數。
1872年成為該校副教授,1879年任教授。由于學術觀點上受到的沉重打擊,使康托爾曾一度患精神分裂癥。
1884年,由于連續統假設長期得不到證明,再加上與克羅內克(康托爾的老師)的尖銳對立,精神上屢遭打擊,5月底,他支持不住了,第一次精神崩潰。雖在1887年恢復了健康,繼續工作,但晚年一直病魔纏身。1918年1月6日在德國哈雷(Halle)-維滕貝格大學附屬精神病院去世。令人唏噓不已…
康托爾愛好廣泛,極有個性,終身信奉宗教。早期在數學方面的興趣是數論,1870年開始研究三角級數并由此導致19世紀末、20世紀初最偉大的數學成就——集合論和超窮數理論的建立。除此之外,他還努力探討在新理論創立過程中所涉及的數理哲學問題.1888-1893年康托爾任柏林數學會第一任會長,1890年領導創立德國數學家聯合會并任首屆主席。主要貢獻
康托爾對數學的貢獻是集合論和超窮數理論。
兩千多年來,科學家們接觸到無窮,卻又無力去把握和認識它,這的確是向人類提出的尖銳挑戰。康托爾以其思維之獨特,想象力之豐富,方法之新穎繪制了一幅人類智慧的精品——集合論和超窮數理論,令19、20世紀之交的整個數學界、甚至哲學界感到震驚。
可以毫不夸張地講,“關于數學無窮的革命幾乎是由他一個人獨立完成的。”評價
康托爾的集合論得到公開的承認和熱情的稱贊應該說首先在瑞士蘇黎世召開的第一屆國際數學家大會上表現出來。隨著時間的推移,人們逐漸認識到集合論的重要性。希爾伯特(Hilbert,1862-1943)高度贊譽康托爾的集合論“是數學天才最優秀的作品”,“是人類純粹智力活動的最高成就之一”,“是這個時代所能夸耀的最巨大的工作”。在1900年第二屆國際數學家大會上,希爾伯特高度評價了康托爾工作的重要性,并把康托爾的連續統假設列入20世紀初有待解決的23個重要數學問題之首。希爾伯特用堅定的語言向世界宣布:“沒有任何人能將我們從康托爾所創造的伊甸園中驅趕出來”。
10.3分析的擴展
19世紀分析的嚴格化成為這個時代分析的特點,但是,加固基礎的工作并沒有影響到19世紀的分析學家們去進一步拓廣自己的領域。伴隨著分析的嚴格化,分析中的一朵奇葩——復變函數論成長壯大起來;與物理問題密切相關的微分方程繼續成為數學家和物理學家共同關注的焦點;數學家們也開始更自覺地將分析工具應用于其他的數學分支,解析數論應運而生,概率論則為在20世紀的獨立發展作好了準備(概率論的發展將在第11章中介紹).10.3.1復分析的建立
直到19世紀初,復數的“合法性”仍是一個未解決的問題,但是這并沒有妨礙18世紀的數學家如達朗貝爾和歐拉等人在他們的工作中大量地使用復數和復變量,他們也由此發現了復函數的一些重要性質.例如,達朗貝爾在研究流體力學問題時,歐拉在用復函數計算實積分時,都得到了現在所稱的柯西—黎曼方程:
其中分別是復變量的一個復函數的實部和虛部.他們的工作導致了分析技巧和函數概念的重要發展然而不論是歐拉還是達朗貝爾都沒有進一步研究復函數的性質,在他們那里復函數并不是一個基本的實體,相反,他們是依靠把的實部和虛部分開來進行其分析工作的.下面簡單回顧一下:達朗貝爾和歐拉達朗貝爾(法,1717-1783)
自學成才,進入巴黎科學院:院士、終身秘書1751-1757年與狄德羅(1713-1784)共同主編《百科全書》“科學處于17世紀的數學時代到18世紀的力學時代,力學應該是數學家的主要興趣。”《動力學》、《數學手冊》數學分析的重要開拓者之一,其成就僅次于歐拉、拉格朗日、拉普拉斯和丹尼爾?伯努利
18世紀最偉大的數學家、分析的化身、“數學家之英雄”
圣彼得堡科學院(1727-1741,1766-1783)柏林科學院(1741-1766)1748年《無窮小分析引論》、1755年《微分學原理》、1768-1770年《積分學原理》最多產的數學家、《歐拉全集》84卷李善蘭譯的《代數學》(1859)等著作記載了歐拉的學說“讀讀歐拉,他是我們大家的老師”“四杰”:阿基米德、牛頓、歐拉、高斯歐拉(瑞士,1707-1783)
復分析真正作為現代分析的一個研究領域,是在19世紀建立起來的,而且主要是通過柯西、黎曼和魏爾斯特拉斯三個人的工作而發展的.
柯西的第一篇復變函數論方面的重要論文是他1814年所寫的“關于定積分理論的報告”.確切地說,柯西討論的是計算反常(實)積分的值,這是自歐拉時代起數學家們所研究的一個課題.
柯西認為,在計算定積分的值時,歐拉以及后來的拉普拉斯等人使用了“一種基于從實到虛的過程的歸納法”,而他本人的目的則是將這一過程用“直接的和嚴格的分析來建立”.他還討論了二重積分的換序問題,正是在這里,他引入了我們上面提到的那個著名方程.
然而,柯西在這篇文章中仍舊像歐拉和拉普拉斯那樣沒有把復函數作為一個基本實體來考慮.事實上,直到1825年,柯西在這方面并沒有前進幾步.柯西在1825年出版的一本小冊子《關于積分限為虛數的定積分的報告》可以看成是復分析發展史上的一個里程碑.在其中他建立了我們現在所稱的柯西積分定理.柯西本人對這個定理的敘述如下:如果對于和是有窮的并且是連續的,,并令,其中取實值,那么積分的值與函數和的形式無關,也就是說與積分路徑無關.柯西還考慮了在矩形區域內部或邊界上成為無窮的情形.這時沿著兩條不同路徑的積分的值一般是不同的.他在各種假設下計算了它們之間的差.例如只在位于兩條積分路徑之間的一點處成為無窮,并且以下極限存在,即在有一個單極點,他證明積分之間的差是.柯西在1826年的一篇論文中稱量本身為積分留數.另外柯西還指出,當一個函數在兩條積分路徑之間有幾個極點時,積分之差必須取留數之和.從1826年起,柯西發表了一系列有關留數計算的文章,并給出了留數的新的表達式.留數的概念和發展是柯西的一個重要貢獻.然而,直到1846年,柯西所關心的中心問題還是實積分及其值的計算.標志著柯西復變函數觀點發生轉變的是他在1846年發表的兩篇文章,其中他把與路徑無關的基本定理和留數定理分別推廣到了任意閉曲線的情形。到1850年前后,柯西已完全認識到他的工作作為復變函數基本結果的重要性.
也就在這個時候,黎曼以他的一篇關于復分析基礎的論文在哥廷根大學獲得博士學位.正如著名數學家阿爾福斯(L.V.Ahlfors)所說,這篇論文不僅包含了現代復變函數論主要部分的萌芽,而且開啟了拓撲學的系統研究,革新了代數幾何,并為黎曼自己的微分幾何研究鋪平了道路.
就復變函數論來講,這篇論文最突出的特征是其中的幾何觀點.正是在這里,黎曼引入了一個全新的幾何概念,即黎曼曲面.
引入這種曲面的出發點在于對多值函數進行研究.黎曼面可以看作是由一些互相適當連接的重疊的平面構成.例如考察函數,對于每個值,一般有的兩個值與之對應.為了研究這個函數并保持兩個值集和(或者說函數的兩個分支)分開,黎曼給每個分支引進一個值平面,還在每個平面上引進一個點對應于,將這兩個平面看成是一個位于另一個的上方,它們在兩個分支給出相同值的那些值處,即和處連接起來.這樣的這兩個平面(或稱葉)就構成了黎曼面.因此,當在黎曼面上變動時,就變為的一個單值函數.
雖然黎曼面是一個幾何概念,但它遠非是直觀的,我們也不可能在三維空間里準確地表示出黎曼面,為此,黎曼的觀點還遭遇到了一些同時代人的反對.例如魏爾斯特拉斯就稱黎曼面不過是一種“幾何幻想物”.
黎曼非歐幾何黎曼(1826-1866)德國著名數學家。1846年,進入哥廷根大學學神學,后在數學家的影響下,放棄神學改學數學,有幸成為高斯晚年的學生。獲博士后留校。
黎曼(1826-1866)魏爾斯特拉斯本人為復變函數論開辟了又一條研究途徑.魏爾斯特拉斯的工作一向以嚴格著稱,這一點我們在上一節已經領略到了.同樣,他關于解析函數的工作也是以追求絕對的嚴格性為特征的.因此,魏爾斯特拉斯不僅拒絕使用柯西通過復積分所獲得的結果(包括柯西積分定理和留數理論),他也不能接受黎曼提出的那種幾何“超驗”方法.他相信函數論的原理必須建立在代數真理的基礎上,所以他把目光投向了冪級數.用冪級數表示已用解析形式給出的復函數,對于魏爾斯特拉斯來說并不是一個新的創造.但是,從已知的一個在限定區域內定義某個函數的冪級數出發,根據冪級數的有關定理,推導出在其他區域中定義同一函數的另一些冪級數,這個問題是魏爾斯特拉斯解決的.上述過程也稱為解析開拓,它在魏爾斯特拉斯的理論中起著基本的作用.使用這種方法,已知某個解析函數在一點處的冪級數,通過解析開拓,我們就可以完全得到這個解析函數.在19世紀末,魏爾斯特拉斯的方法占據了主導地位,正是這種影響,使得
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯系上傳者。文件的所有權益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
- 4. 未經權益所有人同意不得將文件中的內容挪作商業或盈利用途。
- 5. 人人文庫網僅提供信息存儲空間,僅對用戶上傳內容的表現方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
- 6. 下載文件中如有侵權或不適當內容,請與我們聯系,我們立即糾正。
- 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 2025至2031年中國維他命美白早霜行業投資前景及策略咨詢研究報告
- 新疆生產建設兵團農八師一四三團第一中學2025屆高三3月高考模擬考試語文試題試卷含解析
- 新疆烏魯木齊市名校2025屆高中畢業班第二次質量檢測試題數學試題理試題含解析
- 新鄉醫學院《全媒體制播技術B》2023-2024學年第二學期期末試卷
- 2025至2031年中國磨輪基體行業投資前景及策略咨詢研究報告
- 興平市2025年五下數學期末質量跟蹤監視模擬試題含答案
- 2025-2030年中國LCoS顯示芯片行業市場供需規模及發展戰略決策報告
- 甘肅省定西市2023-2024學年中考三模數學試題含解析
- 廣東惠城區2024屆初中數學畢業考試模擬沖刺卷含解析
- 2024-2025崗位安全培訓考試試題附下載答案可打印
- 2025年國家電投集團招聘筆試參考題庫含答案解析
- GB 17681-2024危險化學品重大危險源安全監控技術規范
- 安踏新媒體營銷案例分析
- 知不足而后進 望遠山而力行-期中家長會【課件】
- 氟化工藝作業安全培訓
- 神經重癥患者鎮痛鎮靜中國共識(2023版)
- 安康通智慧養老養老服務系統介紹
- 數字減影血管造影(DSA)X射線設備質量控制檢測規范
- 《從零到卓越- 創新與創業導論》教案
- 2024年中國塑料酸奶瓶市場調查研究報告
- 15J403-1-樓梯欄桿欄板(一)
評論
0/150
提交評論