數學史第講微積分發(fā)展史_第1頁
數學史第講微積分發(fā)展史_第2頁
數學史第講微積分發(fā)展史_第3頁
數學史第講微積分發(fā)展史_第4頁
數學史第講微積分發(fā)展史_第5頁
已閱讀5頁,還剩41頁未讀, 繼續(xù)免費閱讀

下載本文檔

版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領

文檔簡介

數學史第講微積分發(fā)展史第1頁,課件共46頁,創(chuàng)作于2023年2月微積分學是微分學(DifferentialCalculs)和積分學(IntegralCalculs)統(tǒng)稱,英文簡稱Calculs,意為計算。這是因為早期微積分主要用于天文、力學、幾何中的計算問題。后來人們也將微積分學稱為分析學或無窮小分析。微積分中的基本概念主要是函數、極限、連續(xù)、導數、積分等,其中極限是微積分的基石。

微分學的主要內容包括:導數、微分。

積分學的主要內容包括:定積分、不定積分。第2頁,課件共46頁,創(chuàng)作于2023年2月一.

微積分思想萌芽

微積分的思想萌芽,部分可以追溯到古代。在古代希臘、中國和印度數學家的著作中,已不乏用樸素的極限思想,即無窮小過程計算特別形狀的面積、體積和曲線長的例子。在中國,公元前5世紀,戰(zhàn)國時期名家的代表作《莊子?天下篇》中記載了惠施的一段話:“一尺之棰,日取其半,萬世不竭”,是我國較早出現的極限思想。第3頁,課件共46頁,創(chuàng)作于2023年2月

把極限思想運用于實踐,即利用極限思想解決實際問題的典范卻是魏晉時期的數學家劉徽。他的“割圓術”開創(chuàng)了圓周率研究的新紀元。劉徽首先考慮圓內接正六邊形面積

,接著是正十二邊形面積

,然后依次加倍邊數,則正多邊形面積愈來愈接近圓面積。用他的話說,就是:“割之彌細,所失彌少。割之又割,以至于不可割,則與圓合體,而無所失矣?!卑凑者@種思想,他從圓的內接正六邊形面積一直算到內接正192邊形面積,得到圓周率

的近似值3.14。第4頁,課件共46頁,創(chuàng)作于2023年2月

南北朝時期的著名科學家祖沖之(公元429-500年)祖

恒父子推進和發(fā)展了劉徽的數學思想,首先算出了圓周率

介于3.1415926與3.1415927之間,這是我國古代最偉大的成就之一。其次明確提出了下面的原理:“冪勢既同,則積不容異。”我們稱之為“祖氏原理”,即西方所謂的“卡瓦列利原理”。并應用該原理成功地解決了劉徽未能解決的球體積問題。

第5頁,課件共46頁,創(chuàng)作于2023年2月歐洲古希臘時期也有極限思想,并用極限方法解決了許多實際問題。較為重要的當數安提芬(Antiphon,B.C420年左右)的“窮竭法”。他在研究化圓為方問題時,提出用圓內接正多邊形的面積窮竭圓面積,從而求出圓面積。但他的方法并沒有被數學家們所接受。后來,安提芬的窮竭法在歐多克斯(Eudoxus,B.C409-B.C356)那里得到補充和完善。之后,阿基米德(Archimedes,B.C287-B.C212)借助于窮竭法解決了一系列幾何圖形的面積、體積計算問題。他的方法通常被稱為“平衡法”,實質上是一種原始的積分法。他將需要求積的量分成許多微小單元,再利用另一組容易計算總和的微小單元來進行比較。但他的兩組微小單元的比較是借助于力學上的杠桿平衡原理來實現的。平衡法體現了近代積分法的基本思想,是定積分概念的雛形。

第6頁,課件共46頁,創(chuàng)作于2023年2月

與積分學相比,微分學研究的例子相對少多了。刺激微分學發(fā)展的主要科學問題是求曲線的切線、求瞬時變化率以及求函數的極大值極小值等問題。阿基米德、阿波羅尼奧斯(Apollonius,

c.BC262-c.BC190)等均曾作過嘗試,但他們都是基于靜態(tài)的觀點。古代與中世紀的中國學者在天文歷法研究中也曾涉及到天體運動的不均勻性及有關的極大、極小值問題,但多以慣用的數值手段(即有限差分計算)來處理,從而回避了連續(xù)變化率。第7頁,課件共46頁,創(chuàng)作于2023年2月二、微積分的醞釀

近代微積分的醞釀,主要是在17世紀上半葉這半個世紀。為了理解這一醞釀的背景,我們首先來賂微回顧一下這一時期自然科學的一般形勢和天文、力學等領域發(fā)生的重大事件。首先是1608年,荷蘭眼鏡制造商里帕席發(fā)明了望遠鏡,不久伽利略將他制成的第一架天文望遠鏡對準星空而作出了令世人驚奇不已的天文發(fā)現。望遠鏡的發(fā)明不僅引起了天文學的新高漲,而且推動了光學的研究。第8頁,課件共46頁,創(chuàng)作于2023年2月1619年,開普勒公布了他的最后一條行星運動定律。開普勒行星運動三大定律要意是:

1。行星運動的軌道是橢圓,太陽位于該橢圓的一個焦點;

2。由太陽到行星的矢徑在相等的時間內掃過的面積相等;

3。行星繞太陽公轉周期的平方,與其橢圓軌道的半長軸的立方成正比。

開普勒主要是通過觀測歸納出這三條定律,從數學上推證開普勒的經驗定律,成為當時自然科學的中心課題之一。第9頁,課件共46頁,創(chuàng)作于2023年2月1638年,伽利略的《關于兩門新科學的對話》出版。伽利略建立了自由落體定律、動量定律等,為動力學奠定了基礎;他認識到彈道的拋物線性質,并斷言炮彈的最大射程應在發(fā)射角為45度時達到,等等。伽利略本人竭力倡導自然科學的數學化,他的著作激起了人們對他所確立的動力學概念與定律作精確的數學表述的巨大熱情。凡此一切,標志著自文藝復興以來在資本主義生產力刺激下蓬勃發(fā)展的自然科學開始邁入綜合與突破的階段,而這種綜合與突破所面臨的數學困難,使微分學的基本問題空前地成為人們關注的焦點。第10頁,課件共46頁,創(chuàng)作于2023年2月微積分的創(chuàng)立,首先是為了處理十七世紀的一系列主要的科學問題。有四種主要類型的科學問題:第一類是,已知物體的移動的距離表為時間的函數的公式,求物體在任意時刻的速度和加速度使瞬時變化率問題的研究成為當務之急;第二類是,望遠鏡的光程設計使得求曲線的切線問題變得不可回避;第三類是,確定炮彈的最大射程以及求行星離開太陽的最遠和最近距離等涉及的函數極大值、極小值問題也急待解決;第四類問題是求行星沿軌道運動的路程、行星矢徑掃過的面積以及物體重心與引力等,又使面積、體積、曲線長、重心和引力等微積分基本問題的計算被重新研究。第11頁,課件共46頁,創(chuàng)作于2023年2月

在17世紀上半葉,幾乎所有的科學大師都致力于尋求解決這些難題的新的數學工具,特別是描述運動與變化的無限小算法,并且在相當短的時期內,取得了迅速的進展。代表性的工作有:

1、開普勒與旋轉體體積;開普勒方法的要旨,是用無數個同維無限小元素之和來確定曲邊形的面積及旋轉體的體積。例如他認為球的體積是天數個小圓錐的體積的和,這些圓錐的頂點在球心,底面則是球面的一部分;他又把圓錐看成是極薄的圓盤之和,并由此計算出它的體積,然后進一步證明球的體積是半徑乘以球面面積的三分之一。第12頁,課件共46頁,創(chuàng)作于2023年2月2、卡瓦列里不可分量原理他在《用新方法促進的連續(xù)不可分量的幾何學》中發(fā)展了系統(tǒng)的不可分量方法。認為線是由無限多個點組成;面是由無限多條平行線段組成;立體則是由無限多個平行平面組成。他分別把這些元素叫做線、面和體的“不可分量”??ㄍ吡欣锢眠@條原理計算出許多立體圖形的體積,他對積分學創(chuàng)立最重要的貢獻還在于在1639利用平固下的不可分量原理建立了等價于下列積分式子:第13頁,課件共46頁,創(chuàng)作于2023年2月3、笛卡兒的“圓法”笛卡兒的這種代數方法在推動微積分的早期發(fā)展方面有很大的影響,牛頓就是以笛卡兒圓法為起跑點而踏上研究微積分的道路的。笛卡兒圓法在確定重根時會導致極繁復的代數計算,1658年荷蘭數學家胡德提出了一套構造曲線切線的形式法則,稱為“朗德法則”。朗德法則為確定笛卡兒圓法所需的重根提供了機械的算法,可以完成求任何代數曲線的切線斜率時所要進行的計算。第14頁,課件共46頁,創(chuàng)作于2023年2月4、費馬求極大值和極小值方法按費馬的方法。設函數f(x)在點a處取極值,費弓用“a+e”代替原來的未知量a,并使f(a+e)與f(a)逼近,即:

f(a+e)~f(a)

這里所提到的“e”就是后來微積分學當中的“”

第15頁,課件共46頁,創(chuàng)作于2023年2月5、巴羅的“微分三角形”巴羅是牛頓的老師。是英國劍橋大學第一任“盧卡斯數學教授”,也是英國皇家學會的首批會員。當巴羅發(fā)現和認識到牛頓的杰出才能時,便于1669年辭去了盧卡斯教授的職位,舉薦自己的學生——當時才27歲的牛頓來擔任。巴羅讓賢,已成為科學史上的佳話。第16頁,課件共46頁,創(chuàng)作于2023年2月6、沃利斯的“無窮算術”沃利斯另“一項重要的研究是計算四分之一單位圓的面積,并由此得到的無窮乘積表達式。并有以下猜想:第17頁,課件共46頁,創(chuàng)作于2023年2月1.牛頓的“流數術”

牛頓于1661年入劍橋大學三一學院,受教于巴羅,同時鉆研伽利賂、開普勒、笛卡兒和沃利斯等人的著作。三一學院至今還保存著牛頓的讀書筆記,從這些筆記可以看出,就數學思想的形成而言,笛卡兒的《幾何學》和沃利斯的《無窮算術》對他影響最深,正是這兩部著作引導牛頓走上了創(chuàng)立微積分之路。

1665年8月,劍橋大學因瘟疫流行而關閉,牛頓離校返鄉(xiāng),隨后在家鄉(xiāng)躲避瘟疫的兩年,競成為牛頓科學生涯中的黃金歲月。制定微積分,發(fā)現萬有引力和顏色理論,……,可以說牛頓一生大多數科學創(chuàng)造的藍圖,都是在這兩年描繪的。三、微積分的創(chuàng)立第18頁,課件共46頁,創(chuàng)作于2023年2月1、流數術的初建牛頓對微積分問題的研究始于1664年秋,當時他反復閱讀笛卡兒《幾何學》,對笛卡兒求切線的“圓法”發(fā)生興趣并試圖尋找更好的方法。就在此時,牛頓首創(chuàng)了小o記號表示x的無限小且最終趨于零的增量。

1665年夏至1667年春,牛頓在家鄉(xiāng)躲避瘟疫期間,繼續(xù)探討微積分并取得了突破性進展。據他自述,1665年11月發(fā)明“正流數術”(微分法),次年5月又建立了”反流數術”(積分法)。1666年10月,牛頓將前兩年的研究成果整理成一篇總結性論文,此文現以《流數簡論》著稱,《流數簡論》是歷史上第一篇系統(tǒng)的微積分文獻。第19頁,課件共46頁,創(chuàng)作于2023年2月2、流數術的發(fā)展

《流數簡論》標志著微積分的誕生,但它在許多方面是不成熟的。牛頓于1667年春天回到劍橋,對自己的微積分發(fā)現未作宣揚。他在這一年10月當選為三一學院成員,次年又獲碩士學位,并不是因為他在微積分方面的工作,而是因為在望遠鏡制作方面的員獻。但從那時起直到1693年大約四分之一世紀的時間里,牛頓始終不渝努力改進、完善自己的微積分學說,先后寫成了三篇微積分論文,它們分別是:

(1)1669年的《運用無限多項方程的分析》;

(2)1671年的《流數法與無窮級數》;

(3)1691年的《曲線求積術》。第20頁,課件共46頁,創(chuàng)作于2023年2月

牛頓微積分學說最早的公開表述出現在1687年出版的力學名著《自然哲學的數學原理》之中。因此《原理》也成為數學史上的劃時代著作。

《原理》在創(chuàng)導首末比方法的同時保留了無限小瞬,這種做法常常被認為自相矛盾而引起爭議。實際上,在牛頓的時代,建立微積分嚴格基礎的時機尚不成熟,在這樣的條件下,牛頓在大膽創(chuàng)造新算法的同時,堅持對微積分基礎給出不同解釋,說明了他對微積分基礎所存在的困難的深邃洞察和謹慎態(tài)度。第21頁,課件共46頁,創(chuàng)作于2023年2月《原理》被愛因斯坦盛贊為“無比輝煌的演繹成就”。全書從三條基本的力學定律出發(fā),運用微積分工具,嚴格地推導證明了包括開普勒行星運動三大定律、萬有引力定律等在內的一系列結論,并且還將微積分應用于流體運動、聲、光、潮汐、彗星乃至宇宙體系,充分顯示了這一新數學工具的威力。

《原理》中的微積分命題雖然都采用了幾何形式來敘述、證明,但正如牛頓本人后來解釋的那樣:發(fā)現原理中的絕大多救命題是依靠使用了“新分析法”,然后再“綜合地證明”。事實上,1664年參加巴羅主考的三一學院津貼生考試時,因歐氏幾何成績不佳差一點未能通過。第22頁,課件共46頁,創(chuàng)作于2023年2月2.萊布尼茨的微積分

在微積分的創(chuàng)立上,牛頓與萊布尼茨分享榮譽。萊布尼茨(1646——1716)出生于德國萊比錫一個教授家庭,早年在萊比錫大學學習法律,同時開始接觸伽利略、開普勒、笛卡兒、帕斯卡以及巴羅等人的科學思。1667年獲阿爾持多夫大學法學博士學位,次年開始為緬因茨選帝侯服務,不久被派往巴黎任大使。萊布尼茨在巴黎居留了四年[1672—1676),這四年對他整個科學生涯的意義,可以與牛頓在家鄉(xiāng)躲避瘟疫的兩年類比,萊布尼茨許多重大的成就包括創(chuàng)立微積分都是在這一時期完成或奠定了基礎。第23頁,課件共46頁,創(chuàng)作于2023年2月

萊布尼茨在巴黎與荷蘭效學家、物理學家惠更斯的結識、交往,激發(fā)了他對數學的興趣.他通過卡瓦列里、帕斯卡、巴羅等人的著作,了解并開始研究求曲線的切線以及求面積、體積等微積分問題.與牛頓流數論的運動學背景不同,萊布尼茨創(chuàng)立微積分首先是出于幾何問題的思考,尤其是特征三角形的研究.特征三角形,也稱“微分三角形”,在巴羅的著作中已經出現.帕斯卡在特殊情形下也使用過這種三角形.萊布尼茨在1673年提出了他自己的特征三角形.第24頁,課件共46頁,創(chuàng)作于2023年2月1684年萊布尼茨發(fā)表了他的第一篇微分學論文《一種求極大與極小值和求切線的新方法》,刊登在《教師學報》上,這也是數學史上第一篇正式發(fā)表的微積分文獻.該文是萊布尼茨對自己1673年以來微分學研究的概括,其中定義了微分并廣泛采用了微分記號dx,dy。萊布尼茨假設橫坐標x的微分dx是任意的量,縱坐標y的微分dy就定義為它與dx之比等于縱坐標與次切距之比的那個量。

《新方法》中明確陳述了萊布尼茨1677年已得到的函數和、差、積、商、乘冪與方根的微分公式:第25頁,課件共46頁,創(chuàng)作于2023年2月

1686年,萊布尼茨又發(fā)表了他的第一篇積分學淪文《深奧的幾何與不可分量及無限的分析》。這篇論文初步論述了積分或求積問題與微分或切線問題的互逆關系。萊布尼茨分析道:‘‘研究不定求積或其不可能性的方法,對我來說不過是我稱之為反切線方法的更廣泛的問題的特殊情形(并且事實上是比較容易的情形),而這種反切線方法包括了整個超越幾何的絕大部分.”第26頁,課件共46頁,創(chuàng)作于2023年2月3.優(yōu)先權之爭

微積分的創(chuàng)立是數學發(fā)展史上的重大事件,在18世紀的歐洲,曾有一場關于建立微積分優(yōu)先權問題的爭論。“優(yōu)先權”之爭是由局外人搬弄是非引發(fā)的。1699年一位瑞士數學家N.F.德丟勒在一本小冊子中提出“牛頓是微積分的第一發(fā)明人”,萊布尼茲則是“第二發(fā)明人”,“曾從牛頓那里有所借鑒”,尤其后面這句話,使得德國人十分不滿.1712年,英國皇家學會還專門成立一個“調查委員會”,并于第二年公布了一份《通報》,宣布“確認牛頓為第一發(fā)明人?!边@種事態(tài)引起了萊布尼茲的申訴,雙方爭論越演越烈,指責對方的話說得十分難聽。這實在是“科學史上最不幸的一頁”,使得18世紀英國數學家與歐洲大陸數學家分道揚鑣,英國數學堅持牛頓原始創(chuàng)新的那種傳統(tǒng)不肯改進,遠離了數學分析逐漸完善的主流,分析數學的主流與中心移到了德國與法國,不必要的“優(yōu)先權”之爭使英國數學受到了損失。第27頁,課件共46頁,創(chuàng)作于2023年2月

就微積分而言,牛頓在1687年以前并未公開發(fā)表任何有關微積分的文章,而萊布尼茲則于1684年和1686年分別先于牛頓發(fā)表了關于微分與積分的兩篇重要文章,可見文章的發(fā)表萊布尼茲先于牛頓,但牛頓對微積分的發(fā)現確實領先于萊布尼茲,而且萊布尼茲對牛頓有很高的評價。1701年在柏林王宮的宴會上,當普魯士王問萊布尼茲如何評價牛頓時,萊布尼茲答:“綜觀有史以來的全部數學,牛頓做了一多半的工作。”牛頓對萊布尼茲也有公正的評價,牛頓在《原理》的前言中稱:“十年前,我在給學問淵博的數學家萊布尼茲的信中曾指出:我發(fā)現了一種新方法,可以用來求極大值、極小值、作切線以及解決其他類似的問題,而且這種方法也適用于無理數。這位名人回信說他也發(fā)現了類似的方法,并把他的方法給我看了。他的方法與我的大同小異,除了用語、符號、算式和量的產生方式外,沒有實質性區(qū)別??梢娕nD也承認萊布尼茲與他同時發(fā)現了微積分。第28頁,課件共46頁,創(chuàng)作于2023年2月兩人工作的不同點:(1)在建立微分學的出發(fā)點上,牛頓主要從力學出發(fā),以速度為模型,而萊布尼茲則主要從幾何出發(fā),從作曲線在一點的切線開始建立了微分學。(2)在積分學問題上,牛頓偏重于求微分的反運算,即今天的不定積分概念;而萊布尼茲則側重于把積分了解為求微分的“和”,實際上他把這種算法叫“求和計算”,也就是今天的定積分概念。(3)對無窮小的理解也不盡相同。牛頓的無窮小不分階數,而萊布尼茲試圖定義高階微分,并對其間的關系作過生動的比喻(如恒星、地球、砂粒等)。由此可見,萊布尼茲的微分有許多層次,在這一點上比牛頓深刻。(4)二人采用的符號不同。比如牛頓用“點”,而萊布尼茲用“d”等,并由于他精心設計,反復改進,系統(tǒng)地提出了至今仍沿用的符號,這對微積分的發(fā)展起到了積極作用。第29頁,課件共46頁,創(chuàng)作于2023年2月(5)他們二人的學風也不盡相同。作為科學家的牛頓學風嚴謹,小心謹慎,重視實際。作為哲學家的萊布尼茲則比較大膽,富于想象,勇于推廣,因為他不贊成因過分的細密而阻礙了最好的創(chuàng)造。牛頓的支持者有著名數學家泰勒和馬克勞林,萊布尼茲的維護者則是著名數學家貝努利兄弟,這場爭論把歐洲科學家分成勢不兩立的兩派-英國派和大陸派,并因此使雙方停止了學術交流。由于牛頓的代表著作《自然哲學的數學原理》中主要使用的幾何方法,所以在牛頓去逝后的100多年中,英國人繼續(xù)以幾何為主要工具,沿用牛頓的落后記號,以致使英國數學開始落后于大陸。第30頁,課件共46頁,創(chuàng)作于2023年2月四、微積分的發(fā)展與完善1.函數概念的發(fā)展解析幾何出現以后,有了變量,這為函數概念的產生與發(fā)展提供了條件,而自然科學的發(fā)展需要人們研究函數。微積分產生之后,函數的研究就成為必然,初等函數已經被充分認識。牛頓用“流量”一詞表示變量之間的關系,萊布尼茲用“函數”一詞表示任何一個隨曲線上的點的變動而變動的量。1734年,歐拉使用記號表示函數。這個時期的函數概念,是由解析表達式(有限或無限的)所給出,是運算的組合,函數要與曲線聯系起來。第31頁,課件共46頁,創(chuàng)作于2023年2月

1807年,傅里葉由于研究熱的傳導問題,發(fā)現了不能用單個(有限的)解析式表達的函數,如,

他的這一發(fā)現是函數概念發(fā)展的一個轉折點。雖然歐拉等人也有類似傅里葉的思想,但只是在傅里葉對熱傳導深入研究引起人們注意時,他關于函數的這個發(fā)現才對人們有所震動。第32頁,課件共46頁,創(chuàng)作于2023年2月

1821年,柯西在他關于分析學的著作中給出函數一個新的定義:若干個有聯系的變量之間,當給定了其中一個變量的值,就可以決定所有其它變量的值。該定義基本上擺脫了“解析表達式”的要求,側重于關于變量間關系的認識,但仍未揭示出變量之間的對應關系這一函數概念的本質。更進一步的定義是德國數學家狄利克雷在1837年給出的:如果對于給定區(qū)間的每一個的值,有唯一的一個的值與之對應,那么就是的一個函數。他還舉出一個著名函數的例子,以說明函數概念的一般性,這就是“狄利克雷函數”:當是有理數時,取值1;當是無理數時,取值0。這個函數是不可能寫出任何解析表達式來的。第33頁,課件共46頁,創(chuàng)作于2023年2月2.函數的極限極限的思想自古以來就有,但直到柯西時,才使它有了一個明確的定義。他在1821年的《代數分析教程》中這樣說的:當一個變量逐次所取得的值無限趨向一個定值,最終使變量的值和該定值之差要多么小就有多小,則該定值就叫做這些值的極限??挛鞯亩x與前人不同的是,他擺脫了幾何圖形及幾何量的任何牽連,只用了“變量”的“數”或函數,沒有幾何或力學的直觀。在此基礎上,柯西很自然的定義了“無窮小量”及“無窮大量”,他把無窮小量看成是以0為極限的變量,這就澄清了對無窮小量“似零非零”的模糊認識,把它從物理的、幾何的原形中抽象成為一個純數學概念。第34頁,課件共46頁,創(chuàng)作于2023年2月由柯西建立起來的這個分析體系,極限是最基本的概念,使用它給出了微分、積分、收斂、連續(xù)等幾乎所有的概念。但是,柯西的定義中這樣一些描述性的詞語,如:“無限接近”、“要多小就多小”等,其數學意義是不確切的,還留有物理過程的直觀痕跡,沒有達到算術化程度,因此這樣的極限論還是初步的、不精確的。1850年左右,魏爾斯特拉斯為排除極限概念中的幾何直觀性,提出了關于極限的純算術定義,用他發(fā)明的所謂語言來表達極限概念,也就是我們現今使用的定義,它與柯西的定義不同的是:第35頁,課件共46頁,創(chuàng)作于2023年2月①其中沒有任何或明或暗地含有幾何、運動的含義,完全算術化了。②沒有“變量”、“變化”、“趨向”等動態(tài)的詞,是一個靜態(tài)的定義,它說明極限的本質是“靜態(tài)”的。③柯西定義中“要多小有多少”這種詞是一種定性的描述,現在量化了。④沒有涉及“無窮小量”,從而可以徹底地在微積分中排除“無窮小”概念。第36頁,課件共46頁,創(chuàng)作于2023年2月3.關于導數

1817年和1823年,波爾察諾與柯西分別定義了導數,都是按照函數增量與自變量增量之比的極限來定義的。與導數有關的嚴密化問題,有下面幾點:①柯西給出導數定義后,又把定義為任一有限量,而把定義為,從而導數概念與萊布尼茲的微分統(tǒng)一起來,并可以通過導數定義微分。②1797年,拉格朗日給出“拉格朗日中值定理”,1823年,柯西給出了中值定理的證明,并且用它闡明了與之間的關系。第37頁,課件共46頁,創(chuàng)作于2023年2月③可微性與連續(xù)性的關系花了幾十年時間才被人們弄清楚。柯西認為,連續(xù)函數一定是可微的。雖然波爾察諾在1834年就已經知道連續(xù)性與可微性有區(qū)別,并且構造出連續(xù)但在任何點都沒有導數的函數來,但是他沒有發(fā)表。1854年,黎曼給出處處連續(xù)但在很多點沒有導數的例子,這也沒有引起人們的注意。連續(xù)性與可微性之間驚人的區(qū)別,是由瑞士人塞萊里埃指出的,1860年他給出處處連續(xù)但處處不可微的函數(a是正整數),此后魏爾斯特拉斯也給出這樣的例子,連續(xù)性不蘊含可微性的發(fā)現有重大意義,它使人們更加不敢依賴直觀和幾何的思考方式了。第38頁,課件共46頁,創(chuàng)作于2023年2月4.積分學的嚴密化過程牛頓的積分本質上是微分法的逆運算,也可以說是“不定積分”;萊布尼茲把面積看成矩形微元的和,實際上是定積分。他們的這種模糊不清的概念和關系延續(xù)了100多年之后才被柯西等人弄清楚了。

1823年,柯西對定積分做了開創(chuàng)性的工作,即他對連續(xù)函數下了定積分的定義,并對積分的理論進行了下列建設性的工作。①他證明連續(xù)函數的積分必存在,并強調在使用積分前先解決這個問題,這說明他對存在性是很重視的。由于沒有一致連續(xù)性的概念,他的證明是有缺陷的。第39頁,課件共46頁,創(chuàng)作于2023年2月②證明了微積分基本定理。③證明了全體原函數彼此之間僅相關一個常數,且定義了不定積分為變上限的定積分,由此開始,人們把不定積分與原函數區(qū)分開了。④定義了無窮區(qū)間上的積分及無界函數的積分。⑤用極限定義了區(qū)域的面積、曲線的長、立體的體積等概念。

1854年,黎曼從考慮傅里葉級數和積分公式出發(fā),認為被積函數的條件應該放寬,因此他把積分定義推廣到有界函數上,不再要求連續(xù)性,即所謂黎曼積分.1875年,達布引入了“達布和”,給出了可積性充要條件。至此,黎曼積分的理論基本上得到了完善。第40頁,課件共46頁,創(chuàng)作于2023年2月5.無窮級數微積分的發(fā)展與無窮級數的研究密不可分。牛頓在他的的流數論中自由運用無窮級數,他憑借二項式定理得到了和等許多函數的級數。泰勒級數則提供了將函數展開成無窮級數的一般方法。在18世紀,各種初等函數的級數展開陸續(xù)得到,并在解析運算中被普遍用來代表函數而成為微積分的有力工具。數學家在早期運用無窮級數時,沒有對收斂和發(fā)散問題引起足夠重視。到了18世紀末,由于應用無窮級數得到了一些可疑的有時甚至是完全荒謬的結果。第41頁,課件共46頁,創(chuàng)作于2023年2月如無窮級數到底等于什么?當時人們認為一方面另一方面,那么豈非?這種矛盾曾使傅里葉這樣的大數學家也困惑不解,甚至于讓歐拉也在此犯下了可笑的錯誤。他在得到后,再令

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
  • 4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網僅提供信息存儲空間,僅對用戶上傳內容的表現方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容,請與我們聯系,我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論