《幾何的公理化方法》是2017年1月1日世界圖書出版公司出版的一本書,作者是Francis,Borceux 。
基本介紹
- 中文名:幾何的公理化方法
- 別名:An Axiomatic Approach to Geometry Geometric Trilogy I
- 作者:Francis,Borceux
- 出版社:世界圖書出版公司
- 出版時間:2017年1月1日
- 頁數:403 頁
- 開本:24 開
- 裝幀:平裝
- ISBN:9787519220730
《幾何的公理化方法》是2017年1月1日世界圖書出版公司出版的一本書,作者是Francis,Borceux 。
《幾何的公理化方法》是2017年1月1日世界圖書出版公司出版的一本書,作者是Francis,Borceux 。內容簡介 本書以幾何公理化方法的歷史發展成果為基礎,系統給出了歐幾里得幾何、非歐幾里得幾何和投影幾何研究的現代方法。公理化幾何是形式化...
例如,該幾何中有定理:在任意直線段上可作一等邊三角形。他用通常的方法進行構造:以線段為半徑,分別以線段的兩個端點為圓心作圓,將兩個圓的交點作為三角形的第三個頂點。然而,他的公理並不保證這兩個圓必定相交。 因此,許多...
最早的幾何學當屬平面幾何。平面幾何就是研究平面上的直線和二次曲線(即圓錐曲線,就是橢圓、雙曲線和拋物線)的幾何結構和度量性質(面積、長度、角度)。平面幾何採用了公理化方法,在數學思想史上具有重要的意義。平面幾何的內容也很...
幾何公理系統的解釋 幾何公理系統的解釋(interpretation of geometric axiomatic systems)亦稱幾何公理系統的實現或模型,是幾何公理化方法的重要課題。給定一個公理系統∑,為了驗證該公理系統的協調性(無矛盾性),人們往往取現實中存在的一組...
現今說的歐氏幾何公理通常就指這五組公理。除此以外,還有羅氏幾何的公理,射影幾何的公理,仿射幾何的公理等.不同的公理產生不同的幾何學,都稱為“公理法幾何”。希爾伯特幾何簡介 在希爾伯特幾何裡面,其實點直線和平面是三個未定義的...
因此,歐氏幾何的建立,採用了分析與綜合的方法。 這不止是單獨一個命題的前提與結論之間的連結,而是所有幾何命題的連結成邏輯網路,即整個幾何領域的全面之分析與綜合。 歐氏視10條公理為「顯明」的真理,...
公理化思想是指以某些命題為前提,只用它們,不用其他假設進行推理而建立數學理論的思想。支撐近現代數學的基本思想。早在公元前 3 世紀,希臘數學家歐幾里得用由反覆實踐所證實而被認為不需要證明的少數命題為前提,用邏輯推理的方法,將...
公理是一個漢語辭彙,讀音為gōng lǐ,是指依據人類理性的不證自明的基本事實,經過人類長期反覆實踐的考驗,不需要再加證明的基本命題。在數學中,公理這一詞被用於兩種相關但相異的意思之下——邏輯公理和非邏輯公理。在這兩種意義...
公理化方法 公理化方法經常被作為一個單一的方法或著一致的過程來討論。以歐幾里得為榜樣,它確實在很多世紀中被這樣對待:直到19世紀初葉,在歐洲數學和哲學中古希臘數學的遺產代表了智力成就(在幾何學家的風格中,更幾何的發展)的最...
數學家們圍繞著幾何的基礎問題、幾何的真實性問題或者說幾何的套用可靠性問題等的討論,在完善數學基礎的過程中,相繼出現了一些新的數學分支,如數的概念、分析基礎、數學基礎、數理邏輯等,公理化方法也獲得了進一步的完善。其三,非歐...
《幾何原本)運用的公理化方法不僅為數學家提供了使其研究工作嚴謹化的工具,也為其他科學家的研究提供了可借鑑的方法,因此它作為數學史乃至科學史上的一個里程碑,標誌著人類思維的一場革命。直到19世紀末,在數學界,歐氏幾何與幾何學...
正像在代數中文字和運算的符號可以有各式各樣的具體意義一樣,在抽象幾何中基本對象及其基本關係也有相同的情形。在這裡要提出的唯一要求是須遵守若干規則或滿足若干公理。Ⅰ₃.在一直線上至少存在兩點,至少存在不在一直線上的三點。...
研究證明的形式化和公理化的理論稱為證明論。儘管理論上來說,每個非形式化的證明都可以轉為形式化證明,但實際中很少需要用到。對形式化證明的研究主要套用在廣泛意義上上可證明性的性質,或說明某些陳述的不可證明性等等。幾何證明步驟...
通過畢達哥拉斯學派和雅典學派的希波克拉底、柏拉圖、歐多克索斯等人的工作,使希臘亞歷山大學派的創始人歐幾里得在公元前約300年完成《幾何原本》,為幾何學系統化和公理化奠定了基礎。
第二章 度量幾何學 第一節 線段和圓弧的長度 第二節 面積和體積 第三節 球的體積和表面積 第四節 從長度到測度 第五節 三角學:定量化的幾何 第六節 分形幾何概觀 第三章 歐氏幾何的公理化方法 第一節 公理化思想方法的內涵與...
希爾伯特在這書中對歐幾里得幾何及有關幾何的公理系統進行了深入的研究。他不僅對歐幾里得幾何提供了完善的公理體系,還給出證明一個公理對別的公理的獨立性以及一個公理體系確實為完備的普遍原則。他把幾何進一步公理化,首先他敘述一些不加...
5.1 幾何學的統一 5.2 幾種幾何學的比較 5.3 公理化思想方法 6 幾何學的近現代發展簡介 6.1 微分幾何 6.2 拓撲學 練習1 第2章 非歐幾何的幾種典型模型 1 銳角假設與羅氏幾何 1.1 銳角假設與雙曲幾何 1.2 雙曲幾何的...
系統化數學證明的歷史可以追溯到古希臘數學。從現有的資料看,最早進行公理化證明方法的是泰勒斯,他進行了幾何的證明。他的證明得到後來的歐幾里德的多次引用。最早提出數學證明概念的人可能是畢達哥拉斯。他提出數學命題應該給予嚴格的證明...
5.1幾何學的統一 5.2幾種幾何學的比較 5.3公理化思想方法 6幾何學的近現代發展簡介 6.1微分幾何 6.2拓撲學 練習1 第2章非歐幾何的幾種典型模型 1銳角假設與羅氏幾何 1.1銳角假設與雙曲幾何 1.2雙曲幾何的代表——羅氏幾何...
帕施(Pasch,M.)於1882年擬成了順序公理,在此基礎上,希爾伯特(Hilbert,D.)於1899年發表了《幾何基礎》,完善了幾何學的公理化方法,成為近代公理化思想的經典著作。在《幾何基礎》中,希爾伯特闡明了近代公理法的基本思想,提出了歐氏...
由於實數理論的內容過於龐大,處理方式也各有不同,因此,它的有關理論也散見於各種文獻中,以下是對定義實數系方法的文獻綜述。文獻綜述 公理化方法 所謂公理化方法,起源於古希臘數學家歐幾里得的《幾何原本》。在該書中對於幾何學提出...