幾何學

研究形狀、大小、圖形的相對位置等的數學分支

幾何學(英語:Geometry古希臘語γεωμετρία)簡稱幾何。幾何學是數學的一個基礎分支,主要研究形狀、大小、圖形的相對位置等空間區域關係以及空間形式的度量。

笛沙格定理的描述,笛沙格定理是歐幾里得幾何射影幾何的重要結果

許多文化中都有幾何學的發展,包括許多有關長度面積體積的知識,在西元前六世紀泰勒斯的時代,西方世界開始將幾何學視為數學的一部份。西元前三世紀,幾何學中加入歐幾里德公理,產生的歐幾里得幾何是往後幾個世紀的幾何學標準[1]阿基米德發展了計算面積及體積的方法,許多都用到積分的概念。天文學中有關恆星行星天球上的相對位置,以及其相對運動的關係,都是後續一千五百年中探討的主題。幾何和天文都列在西方博雅教育中的四術中,是中古世紀西方大學教授的內容之一。

勒內·笛卡兒發明的坐標系以及當時代數的發展讓幾何學進入新的階段,像平面曲線等幾何圖形可以由函數或是方程等解析的方式表示。這對於十七世紀微積分的引入有重要的影響。透視投影的理論讓人們知道,幾何學不只是物體的度量屬性而已,透視投影後來衍生出射影幾何歐拉高斯開始有關幾何物件本體性質的研究,使幾何的主題繼續擴充,最後產生了拓撲學微分幾何

在歐幾里德的時代,實際空間和幾何空間之間沒有明顯的區別,但自從十九世紀發現非歐幾何後,空間的概念有了大幅的調整,也開始出現哪一種幾何空間最符合實際空間的問題。在二十世紀形式數學興起以後,空間(包括點、線、面)已沒有其直觀的概念在內。今日需要區分實體空間、幾何空間(點、線、面仍沒有其直觀的概念在內)以及抽象空間。當代的幾何學考慮流形,空間的概念比歐幾里德中的更加抽象,兩者只在極小尺寸下才彼此近似。這些空間可以加入額外的結構,因此可以考慮其長度。近代的幾何學和物理關係密切,就像偽黎曼流形廣義相對論的關係一樣。物理理論中最年輕的弦理論也和幾何學有密切關係。

幾何學可見的特性讓它比代數數論等數學領域更容易讓人接觸,不過一些幾何語言已經和原來傳統的、歐幾里得幾何下的定義越差越遠,例如碎形幾何及解析幾何等[2]

現代概念上的幾何其抽象程度和一般化程度大幅提高,並與分析抽象代數拓撲學緊密結合。

幾何學應用於許多領域,包括藝術,建築,物理和其他數學領域。

簡史

幾何一詞源於《幾何原本》的翻譯。《幾何原本》是世界數學史上影響最為久遠,最大的一部數學教科書。《幾何原本》傳入中國,首先應歸功於末科學家徐光啟徐光啟利瑪竇《幾何原本》中譯本的一個偉大貢獻是確定了研究圖形的這一學科中文名稱為「幾何」,並確定了幾何學中一些基本術語的譯名。「幾何」的原文是「geometria」(英文geometry),徐光啟利瑪竇在翻譯時,取「geo」的音為「幾何」(明朝音:gi-ho),而「幾何」二字中文原意又有「衡量大小」的意思。用「幾何」譯「geometria」(英文geometry),音義兼顧,確是神來之筆。幾何學中最基本的一些術語,如點、線、直線、平行線、角、三角形和四邊形等中文譯名,都是這個譯本定下來的。這些譯名一直流傳到今天,且東渡到漢字文化圈日本朝鮮等國(越南語則使用獨自翻譯的越製漢語「形學hình học)」一詞),影響深遠。

幾何學開始的最早記錄可以追蹤到公元前2世紀的古代埃及美索不達米亞[3][4]早期的幾何學是有關長度、角度、面積和體積的經驗性定律的收集,這些都是因為實際需要(比如勘探、建築、天文和一些手工業)而發展的。最早的已知有關幾何學的文本是埃及的萊因德紙草書(公元前2000-1800年)和莫斯科數學紙草書(約公元前1890年),以及古巴比倫的泥石板(比如「普林頓 322」(公元前1900年))。比如,莫斯科紙草書上給出了如何計算稜台體積的公式。[5]埃及南部的古代努比亞人曾經建立了一套幾何學系統,包括有太陽鐘的早期版本。[6][7]

幾何學有悠久的歷史。最古老的歐氏幾何基於一組公設和定義,人們在公設的基礎上運用基本的邏輯推理構做出一系列的命題。可以說,《幾何原本》是公理化系統的第一個範例,對西方數學思想的發展影響深遠。

一千年後,笛卡兒在《方法論》的附錄《幾何》中,將坐標引入幾何,帶來革命性進步。從此幾何問題能以解析式的形式來表達。

歐幾里得幾何學的第五公設,由於並不自明,引起了歷代數學家的關注。最終,由羅巴切夫斯基和黎曼建立起兩種非歐幾何[8]

幾何學的現代化則歸功於克萊因希爾伯特等人。克萊因在普呂克的影響下,應用群論的觀點將幾何變換視為特定不變量約束下的變換群。而希爾比特為幾何奠定了真正的科學的公理化基礎。應該指出幾何學的公理化,影響是極其深遠的,它對整個數學的嚴密化具有極其重要的先導作用。它對數理邏輯學家的啟發也是相當深刻的。

古代幾何學

幾何最早的有記錄的開端可以追溯到古埃及(參看古埃及數學),古印度(參看古印度數學),和古巴比倫(參看古巴比倫數學),其年代大約始於前3000年。早期的幾何學是關於長度角度面積體積的經驗原理,被用於滿足在測繪建築天文,和各種工藝製作中的實際需要。在它們中間,有令人驚訝的複雜的原理,以至於現代的數學家很難不用微積分來推導它們。例如,埃及和巴比倫人都在畢達哥拉斯之前1500年就知道了畢達哥拉斯定理勾股定理);埃及人有方形棱錐的錐台(截頭金字塔形)的體積的正確公式;而巴比倫有一個三角函數表。

名稱的由來

幾何這個詞最早來自於希臘語γεωμετρία」,由「γέα希臘語γέα」(土地)和「μετρεĭν希臘語μετρεĭν」(測量)兩個詞合成而來,指土地的測量,即測地術。後來拉丁語化為「geometria」。中文中的「幾何」一詞,最早是在明代利瑪竇徐光啟合譯《幾何原本》時,由徐光啟所創。當時並未給出所依根據,後世多認為一方面幾何可能是拉丁化的希臘語GEO的音譯,另一方面由於《幾何原本》中也有利用幾何方式來闡述數論的內容,也可能是magnitude(多少)的意譯,所以一般認為幾何是geometria的音、意並譯。用「幾何」的音來表達,關於數與量的,用「幾何」的義來表達。換句話說,徐光啟心目中的「幾何」,可能就是今天我們所謂的「數學」。所以他為譯本所取的名字,以今日用語再翻譯一次,就是:《基礎數學》。所以如果了解《幾何原本》為《基礎數學》,它當然會包含像輾轉相除法這樣的課題。希臘語GEO+METRY按照字源意思是「地理測算」的意思,所以依照字面意思對照現代分類相當於測算學,分平面測算學與立體測算學。

1607年出版的《幾何原本》中關於幾何的譯法在當時並未通行,同時代也存在著另一種譯名——「形學」,如狄考文鄒立文劉永錫編譯的《形學備旨》,在當時也有一定的影響。在1857年李善蘭偉烈亞力續譯的《幾何原本》後9卷出版後,幾何之名雖然得到了一定的重視,但是直到20世紀初的時候才有了較明顯的取代形學一詞的趨勢,如1910年《形學備旨》第11次印刷成都翻刊本徐樹勳就將其改名為《續幾何》。直至20世紀中期,已鮮有「形學」一詞的使用出現。

分類

實務幾何學

 
畢氏定理(3, 4, 5)三角形的圖像化證明,記載在西元前500-200年的《周髀算經》中

幾何學起源於一些實務上有關量測、面積及體積的科學。在許多方面都已找到相當的公式,例如畢氏定理、圓的周長面積三角形的面積、圓柱四角錐的體積等。泰勒斯發展了以幾何物件的相似為基礎,計算一些無法直接量測的高度或距離的方法。天文學的發展也帶來三角學球面三角學的誕生,也有一些對應的計算技巧。

公理化幾何學

 
歐幾里德平行公設的說明

歐幾里德在所著的《幾何原本》中作了更抽象化的處理。歐幾里德引入了一些公理來說明點、線和面一些基本的或是可自證的性質。接著再用數學的思考再去推導其他的性質。幾何原本中的推導以其嚴謹性著稱,稱為公理化幾何。在十九世紀初時,尼古拉·羅巴切夫斯基(1792–1856)、鮑耶·亞諾什(1802–1860)及卡爾·弗里德里希·高斯(1777–1855)發展了非歐幾何,其他數學家開始再度對此一領域有興趣。二十世紀的大衛·希爾伯特試圖用公理化的理解為幾何學提供現代的基礎。

幾何建構

古典的幾何學家花了許多心力要繪製定理中繪述的幾何物件。傳統上,可以使用的工具是圓規及沒有刻度的直尺,需要在有限次數的繪製內完成圖形。有些圖形很難(甚至無法)單純用尺規作圖求得,需要配合拋物線、其他曲線或是機械工具才能完成。

幾何中的數

 
畢達格拉斯發現三角形的三邊可能會有不可通約性

古希臘畢達格拉斯就已考慮過數字在幾何中的角色。不過因為不可通約長度的出現,不符合他的哲學觀點,因此他們放棄抽象的幾何量,改用實際上的幾何量,例如圖案的長及面積。後來勒內·笛卡兒利用坐標系再讓數字和幾何連結,笛卡兒也發現根據一圖示的代數表現可以知道此形狀,後來笛卡兒用的坐標系就稱為笛卡兒坐標系

幾何學中重要的概念

公理

歐幾里得所提出的抽象概念,進而使得《幾何原本》列入了最有影響力的書籍之一,歐幾里得提出五大公理和公設,揭示了點線面的自可證的基本性質,他一直試圖通過其他數學理論來嚴謹性推導其他性質,而這也是歐幾里得陳述的最特色的地方,並使得幾何更加公理化和系統化英語synthetic geometry。19世紀初,尼古拉·羅巴切夫斯基 (1792–1856), 鮑耶·亞諾什 (1802–1860), 卡爾·弗里德里希·高斯 (1777–1855)對非歐幾里得幾何的探索使得幾何學領域又得以重新發展,而在20世紀初,大衛希爾伯特把公理性證明的引入成就了現代幾何學的出現。

點作為歐幾里得空間的基本構成,通過很多方式定義,包括歐幾里得所定義的「點不占據空間[9]」以及在代數與嵌套空間的引用[10]。在幾何學的眾多領域,包括分析幾何,微分幾何,以及拓撲學,所有的單元都是點構造出來的,然而,有些幾何學的研究缺乏對點這個元素的參照。[11]

歐幾里得把線形容成『在點之間均勻鋪着』的『沒有寬度的長度』[9],在現代數學體系已給知的多元幾何中,線的定義也相當的接近幾何學中的定義,例如在解析幾何中,點坐標的集合所構成的一個已知一次方程稱為線,[12]而在像重合幾何這種更抽象的設定中,線可以是個單獨的對象,而區別於點的集合所構成的情況[13]。在微分幾何中,對曲率不為0的流形測地線往往更好能表達線的概念。 [14]

平面

二維,光滑且無限延展的平層構成了平面[9]幾何學到處都會用到面,例如,研究拓撲學的曲面對象可以看作一個沒有距離和角度做參照的平層[15];對在仿射空間的面,沒有參照距離卻有共線性和曲率的研究[16]。或是在高斯平面(複平面)需要用到複分析[17]等。

歐幾里得所描述的平面,是指在一個平面內兩條相交卻不平行的直線中間的傾角[9] 在現代幾何學名詞中,共有一個頂點的兩條射線形成角的兩邊,而所形成的角度稱為角。 [18]

歐幾里得幾何中,角一般用來研究多邊形三角形,也有對其本身的研究[9]對三角形或單位圓中對角的研究構成了三角學的基礎[19]

微分幾何微積分學中, 平面曲線曲線曲面內的角可以用導數表示.[20][21]

當代的幾何學

歐幾里德幾何

 
421多胞形英語4 21 polytopeE8英語E8 (mathematics)李群考克斯特元素英語Coxeter plane下的正交投影

歐幾里德幾何計算幾何計算機圖形凸幾何英語convex geometry關聯幾何有限幾何學離散幾何學,以及組合數學中的部份領域都有密切關係。歐幾里德幾何和歐幾里德群在晶體學上的進展和哈羅德·斯科特·麥克唐納·考克斯特的研究已受到注意,可以在考克斯特群及多胞形的理論中看到。幾何群論英語Geometric group theory是將幾何學延伸到離散群中,有關其幾何結構及代數技術的研究。

微分幾何

微分幾何因著愛因斯坦廣義相對論假設有曲率的宇宙,因此逐漸受到數學物理的重視。現代的微分幾何是本質性的,將空間視為是微分流形,其幾何結構則由黎曼流形處理,包括如何量測二點之間的距離等。不再只是歐幾里德幾何中先驗的一部份。

拓撲學和幾何學

 
較粗的三葉結

拓撲學轉換幾何英語transformation geometry中的一部份,專注在同胚的轉換,拓撲學在二十世紀有顯著的進展,簡單來說,拓撲學可以說是「橡皮下的幾何學」。當代的幾何拓撲學微分拓撲,以及像莫爾斯理論等子領域,被大部份數學家視為是幾何學的一部份。代數拓撲點集拓撲學則被視為是另一個新的領域。

解析幾何

 
五維卡拉比-丘流形

解析幾何是歐幾里德幾何的現代版本,從1950年代末到1970年代中有大幅的進展,主要是因為讓-皮埃爾·塞爾亞歷山大·格羅森迪克的貢獻,這也產生了概形以及代數拓撲學一些方法的重視,包括許多的上同調理論英語cohomology theory千禧年大獎難題中的霍奇猜想就是解析幾何學的問題。

低維度代數簇代數曲線代數曲面英語algebraic surface的研究以及三維代數簇(algebraic threefolds)的研究都有很多進展。Gröbner基英語en:Gröbner basis理論及實代數幾何英語real algebraic geometry應用在現在解析幾何的一些子領域中。算術幾何(Arithmetic geometry)是結合了解析幾何及數論的一個新的領域。另外一個研究方向是模空間複幾何英語Complex geometry。代數幾何的方法廣泛的用在弦理論膜宇宙理論中。

分支學科

相關條目

其他領域

參考文獻

  1. ^ Martin J. Turner,Jonathan M. Blackledge,Patrick R. Andrews (1998). "Fractal geometry in digital imaging頁面存檔備份,存於網際網路檔案館". Academic Press. p. 1. ISBN 978-0-12-703970-1
  2. ^ 在代數幾何中常提到有限體代數簇的幾何,也許是奇點。某一方面來看,這些只是有限個點產生的集合,但配合幾何的想像及已充分發展的幾何工具,可以找到一些結構,並設定性質,讓它們可以類比一般空間的圓球圓錐
  3. ^ J. Friberg, "Methods and traditions of Babylonian mathematics. Plimpton 322, Pythagorean triples, and the Babylonian triangle parameter equations", Historia Mathematica, 8, 1981, pp. 277—318.
  4. ^ Neugebauer, Otto. The Exact Sciences in Antiquity (2 ed.). Dover Publications. 1969 [1957]. ISBN 978-0-486-22332-2.  Chap. IV "Egyptian Mathematics and Astronomy", pp. 71–96.
  5. ^ Boyer(1991), "Egypt" p. 19
  6. ^ The Journal of Egyptian Archaeology. Vol. 84, 1998 Gnomons at Meroë and Early Trigonometry. pg. 171
  7. ^ Neolithic Skywatchers. May 27, 1998 by Andrew L. Slayman Archaeology.org. [2012-09-09]. (原始內容存檔於2011-06-05). 
  8. ^ 自然科學概論. 五南圖書出版股份有限公司. 1996: 246– [27 September 2014]. ISBN 978-957-11-1185-8. 
  9. ^ 9.0 9.1 9.2 9.3 9.4 Euclid's Elements – All thirteen books in one volume, Based on Heath's translation, Green Lion Press ISBN 1-888009-18-7.
  10. ^ Clark, Bowman L. Individuals and Points. Notre Dame Journal of Formal Logic. Jan 1985, 26 (1): 61–75 [29 August 2016]. doi:10.1305/ndjfl/1093870761. (原始內容存檔於2017-09-09). 
  11. ^ Gerla, G., 1995, "Pointless Geometries頁面存檔備份,存於網際網路檔案館)" in Buekenhout, F., Kantor, W. eds., Handbook of incidence geometry: buildings and foundations. North-Holland: 1015–31.
  12. ^ John Casey英語John Casey (mathematician) (1885) Analytic Geometry of the Point, Line, Circle, and Conic Sections, link from 互聯網檔案館.
  13. ^ Buekenhout, Francis (1995), Handbook of Incidence Geometry: Buildings and Foundations, Elsevier B.V.
  14. ^ geodesic – definition of geodesic in English from the Oxford dictionary. OxfordDictionaries.com英語OxfordDictionaries.com. [2016-01-20]. (原始內容存檔於2016-07-15). 
  15. ^ Munkres, James R. Topology. Vol. 2. Upper Saddle River: Prentice Hall, 2000.
  16. ^ Szmielew, Wanda. 'From affine to Euclidean geometry: An axiomatic approach.' Springer, 1983.
  17. ^ Ahlfors, Lars V. "Complex analysis: an introduction to the theory of analytic functions of one complex variable." 'New York, London' (1953).
  18. ^ Sidorov, L.A., Angle, Hazewinkel, Michiel (編), 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4 
  19. ^ Gelʹfand, Izrailʹ Moiseevič, and Mark Saul. "Trigonometry." 'Trigonometry'. Birkhäuser Boston, 2001. 1-20.
  20. ^ 詹姆斯·史都華 (數學家) (2012). Calculus: Early Transcendentals, 7th ed., Brooks Cole Cengage Learning. ISBN 978-0-538-49790-9
  21. ^ Jost, Jürgen, Riemannian Geometry and Geometric Analysis, Berlin: Springer-Verlag, 2002, ISBN 3-540-42627-2 

外部連結