拓撲學
在數學裏,拓撲學(英語:Topology)也可寫成拓樸學[1],或意譯為位相幾何學,是一門研究拓撲空間的學科,主要研究空間內,在連續變化[註 1]下維持不變的性質。在拓撲學裏,重要的拓撲性質包括連通性與緊緻性。
拓撲學是由幾何學與集合論裏發展出來的學科,研究空間、維度與變換等概念。這些詞彙的來源可追溯至哥特佛萊德·萊布尼茲,他在17世紀提出「位置的幾何學」(geometria situs)和「位相分析」(analysis situs)的說法。萊昂哈德·歐拉的柯尼斯堡七橋問題與歐拉示性數被認為是該領域最初的定理。「拓撲學」一詞由利斯廷於19世紀提出,雖然直到20世紀初,拓撲空間的概念才開始發展起來。到了20世紀中葉,拓撲學已成為數學的一大分支。
拓撲學有許多子領域:
歷史
拓撲學開始於對幾何上特定問題的研究。李昂哈德·歐拉於1736年有關柯尼斯堡七橋問題的論文[2]被認為是現代拓撲學的第一份學術著作。
「拓撲學」一詞於1847年由利斯廷在《Vorstudien zur Topologie》一書[3]中提出。拓撲學的英文於1883年在自然雜誌上對利斯廷的訃文[4]中第一次出現,用來區分「…定性的幾何學,於主要被以定量關係對待的一般幾何學中」。不過,上述用詞都與現代對拓撲學的定義不完全相同。
現代拓撲學主要依靠集合論的概念。集合論由格奧爾格·康托爾於19世紀後半所發展。除了建立起集合論的基本概念外,康托爾亦將歐氏空間裏的點集合作為他對傅立葉級數之研究的一部分。
儒勒·昂利·龐加萊於1895年發表論文《相位分析》(Analysis Situs)[5],引進同倫與同調的概念,這些概念現在被認為是代數拓撲的一部分。
統合格奧爾格·康托爾、維多·沃爾泰拉、西薩爾·阿爾澤拉、雅克·阿達馬與朱利奧·阿斯科利等人對函數空間的成果,莫里斯·弗雷歇於1906年引入度量空間的概念[6]。度量空間現在被認為是一般拓撲空間的特例。於1914年,費利克斯·郝斯多夫提出「拓撲空間」一詞,並給出現代稱之郝斯多夫空間的定義。今日的拓撲空間之定義為郝斯多夫空間稍微的推廣,由卡齊米日·庫拉托夫斯基於1922年所給出[7]。[註 2]
中文譯名
中國第一本拓撲學書籍,是江澤涵由德語著作翻譯,書名譯為《拓撲學》,於1947年出版。[8]按江澤涵所述,他不是創造「拓撲學」名詞的人,在1939年他在西南聯大授課時,用的名詞是「形勢幾何學」,後來姜立夫提議,因為「想找出一個合適名詞來刻劃這門學科是沒有可能的」,於是仿照「幾何學」音譯geometry的辦法,使用音譯的「拓撲學」。首先創造譯名者,可能是姜立夫,也可能是陳省身。陳省身在《學算六十年》回憶文章中說:「姜[立夫]先生1946年去美,創所工作便落在我的身上。我着重於「訓練新人」。最初一批研究人員,大多是大學新畢業的學生。我每周講12小時的課,授「拓撲學」(拓撲譯名即是那時起的)。」[9]
簡介
拓撲學可定義為「對特定物件(稱為拓撲空間)在特定變換(稱為連續映射)下不變之性質的研究,尤其是那些在特定可逆變換(稱為同胚)下不變之性質。」
拓撲被用來指附加於一集合 上的結構,該結構基本上會將集合 描繪成一拓撲空間,使之能處理在變換下的收斂性、連通性與連續性等性質。
拓撲空間幾乎會自然地出現在數學的每個分支裏。這使得拓撲學成為數學中的重要統合概念之一。
激勵拓撲學裏的洞見來自於一些不依靠物件實際形狀,而是其組織方式的幾何問題。例如,正方形與圓形有許多共通之性質:兩者在拓撲學看來均為一維物件,且都能將平面分成外部及內部兩個部分。
在拓撲學的第一篇論文中,李昂哈德·歐拉證明,不可能找到一條通過柯尼斯堡(現為加里寧格勒)的路,且七座橋都恰只通過一次。此一結論不依靠橋的長度,以及其之間的距離,而只與其連通性質有關:哪座橋會連接哪兩座島與河岸。這個問題被稱為柯尼斯堡七橋問題,且導致了圖論的發展。
同樣地,代數拓撲上的毛球定理表示,「沒有人能撫平毛球上的毛,而沒有翹起的毛。」這個事實能立即讓大多數人信服,儘管他們可能不知道該定理更形式化的陳述,即球體上不存在非零連續切向量場。如同「柯尼斯堡七橋問題」一般,此一結論亦不依靠球體的形狀,而可適用於任何一類光滑表面,只要表面上沒有洞。
為了處理這些不依靠物件實際形狀的問題,必須清楚知道這些問題只依靠着何種性質。這產生出了同胚的概念。不可能只穿越每座橋一次能適用於其排列同胚於那些在柯尼斯堡裏七座橋之橋樑;而毛球定理也適用於任何與球體同胚之形狀。
直觀上來看,兩個空間同胚,若其中一個空間可不須切開或黏合即可變形成另一個空間。一個古老的笑話為,拓撲學無法分辨咖啡杯與甜甜圈,因為足夠柔軟的甜甜圈可被凹成一個杯底,中間的洞則可縮成一個手柄。
同胚可以被認為是最基本的「拓撲等價」。另一種為同倫等價。很難不使用到專業術語來描述同倫,但其中一個重要的概念為,兩個物件為同倫等價,若兩者都可由某個較大的物件「壓扁」而成。
英文字母的等價類: | |
---|---|
同胚 | 同倫等價 |
拓撲學入門時一個簡單的練習題為,將大寫的英文字母以同胚等價及同倫等價分類。其結果部分會取決於所用的字型,這裏則使用無襯線Myriad字型。同倫是個較同胚來得粗糙的關係;一個同倫等價類能包含多個同胚類。例如, 有一個洞, 有一個洞及一個尾巴,兩者不同胚;但因為 的尾巴可被壓扁成「洞」的一部分,所以 與 同倫。
上述的同胚類包括:
- 沒有洞、
- 沒有洞及有三個尾巴、
- 沒有洞及有四個尾巴、
- 有一個洞及沒有尾巴、
- 有一個洞及一個尾巴、
- 有一個洞及兩個尾巴、
- 有兩個洞及沒有尾巴、
- 有一橫槓及四個尾巴[註 3]
同倫類則較大,因為尾巴可以被壓扁到一點,分別為:
- 一個洞、
- 兩個洞、
- 沒有洞。
為了正確分類字母,必須證明兩個在同一類裏的字母等價,且兩個在不同類裏的字母不等價。在同胚的情形下,可以透過選擇移除的點來看字母是否會被拆成不同的部分。例如, 與 不同胚,因為移除 的中心部分會拆成 4 個部分;而移除 相應之部分後,則會拆成 3 個部分。同倫等價的情形則較為困難,需要一個用來表示代數不同量[註 4]的更精細之參數,這個參數在不同的類別裏會不同。
概念
集合上的拓撲
非正式地說,「拓撲」是指一個集合裏的元素之間空間上的關連。相同的集合可以有不同的拓撲。例如,實數線、複平面及康托爾集可被視為具有不同拓撲的相同集合。
形式上來看,令 為一集合,且 為 的子集族;則 稱之為「 上的拓撲」,若:
- 空集合與 均為 的元素
- 內元素間的任何併集均為 的元素
- 內有限多個元素間的任何交集均為 的元素
若 為 上的拓撲,則二元對 ( , ) 稱之為「拓撲空間」。符號 可用來標記具有特定拓撲 的集合 。
的元素被稱為 內的開集合。 的子集被稱為閉集合,若其補集為 內的元素[註 6]。 的子集可能是開集合、閉集合、兩者都是(閉開集),或兩者都不是。空集合及 自身永遠都同時是開集合與閉集合。一個包含點 的開集合稱之為 的「鄰域」。
一個具拓撲的集合稱之為拓撲空間。
連續函數與同胚
拓撲空間之間的函數被稱為「連續」的,若任一開集合的原像均為開集合。若函數將實數映射至實數[註 7],則其連續之定義等價於微積分內對連續之定義。若一連續函數為一對一且滿射,且若其反函數亦為連續,則該函數稱之為同胚,且該函數的定義域被稱為同胚於其值域。[註 8]
流形
因為拓撲空間極為多變且奇特,許多拓撲學的領域會專注於被稱為流形的更為熟悉之空間。「流形」是一個拓撲空間,在每一點附近都類似歐氏空間。更確切地說,每個 維流形上的點均有個與 維歐氏空間同胚之鄰域。線與圓是一維流形,而雙扭線不是。二維流形亦稱之為曲面。[註 9]
主題
一般拓撲學
一般拓撲學是拓撲學的分支,處理用於拓撲學的基本集合論定義與建構[10]。一般拓撲學是拓撲學內大多數分支的基礎,包括微分拓撲學、幾何拓撲學與代數拓撲學。一般拓撲學又稱為點集拓撲學。
點集拓撲學的基本概念為「連續性」、「緊緻性」與「連通性」。直觀來看,連續函數將鄰近的點映射至鄰近的點上。緊緻集合為可被有限多個任意小之集合覆蓋之集合。連通集合為不能被分成兩個拆開之部分的集合。「鄰近」、「任意小」與「拆開」等詞都可以透過使用開集合來精確定義。若改變了開集合的定義,連續函數、緊緻集合與連通集合的定義亦會改變。每個對「開集合」定義之選擇均是一個「拓撲」。具拓撲之集合稱之為「拓撲空間」。
「度量空間」是個可為距離指配一個被稱為「度量」之數值的一類拓撲空間。擁有度量能簡化許多證明,而許多常見的拓撲空間也都是度量空間。
代數拓撲學
代數拓撲學為數學的一個分支,使用抽象代數裏的工具來研究拓撲空間[11]。其基本目標為尋找代數不變量,以分類同胚意義下的拓撲空間,但最常分類的是同倫等價下的拓撲空間。
雖然代數拓撲學主要是使用代數來研究拓撲問題,但使用拓撲學來解決代數問題,有時也是有可能的。例如,代數拓撲數能輕易地證明自由群的任一個子群仍是個自由群。
微分拓撲學
微分拓撲學是一門學科,研究在微分流形上的可微函數[12],與微分幾何密切相關,並一齊組成微分流形的幾何理論。
更具體來說,微分拓撲考慮只依靠定義在流形上之光滑結構的性質與結構。可在光滑流形上附加額外的幾何結構,以用來阻礙存在於微分拓撲中的某幾類等價與形變。例如,體積與黎曼曲率是可區分相同光滑流形上的不同幾何結構之不變量;亦即,雖然可光滑地「攤平」某些流形,但可能需要扭曲空間,並影響其曲率或體積。
幾何拓撲學
幾何拓撲學是拓撲學的一個分支,主要側重於低維[註 10]流形及其與幾何之互動的研究,但亦包括部分較高維拓撲[13][14]。幾何拓撲學的研究主題包括可定向性、柄分解、局部平坦與平面及高維商弗力士定理。
在高維拓撲裏,特徵類是個基本的不變量,割補理論是其重要理論。
低維拓撲具有強烈幾何含意,體現在二維的單值化定理裏,這個曲面都有一個常數曲率的度量;幾何上來說,每個曲面都會是下面 3 種幾何的其中一種:正曲率/球面、零曲率/平面、負曲率/雙曲面。三維的幾何化猜想[註 11]表示,每個三維流形都可被分解成數個質流形,而每個質流形都會是八種幾何的其中一種。
二維拓撲可被視為具單一變量的複幾何[註 12]來研究。透過單值化定理,每類共形的度量都會等價於一個唯一的複流形。而四維拓撲則可被視為具有二個變量的複幾何(複曲面)來研究,雖然不是每個四維流形都能有一個複結構。
推廣
有時需要用到拓撲學裏的工具時,不一定存在「點的集合」。在無點拓撲學裏,考慮改以開集合的格來作為該理論的基本概念[15];而格羅滕迪克拓撲則是個定義在任意範疇上的結構,允許在這些範疇上定義出層,以及一般上同調理論的定義[16]。
應用
生物學
紐結理論是拓撲學的一個分支,用於生物學中,以研究DNA內特定酶的影響。這些酶會切斷、扭曲且重新連接 DNA,形成電泳速率較慢的可觀察結果[17]。拓撲學也被用於演化生物學裏,以表示表現型與基因型間的關係[18]。基因型的改變對表現型的改變之影響方式,可決定是否只需少數的突變,即可呈現出極為不同的表現型來。
電腦科學
拓撲數據分析使用代數拓撲學裏的技術,以確認一個集合的大尺度結構[註 13]。拓撲數據分析使用的主要方法為:
物理學
拓撲量子場論(或稱拓撲場論)是一個用來計算拓撲不變量的量子場論。
雖然拓撲量子場論是由物理學家所發明,但亦與數學相關,與代數拓撲學裏的紐結理論及四維流形之理論,以及代數幾何裏的模空間之理論等,均有關連。唐納森、瓊斯、維騰與孔采維奇等菲爾茲獎得主,其工作均與拓撲場論有關。
在宇宙論裏,拓撲學可用來描述宇宙的整體形狀[20]。這個領域被稱為時空拓撲學[21]。
機械人
機械人的各種可能姿勢可透過被稱為位形空間的流形來描述[22]。在運動規劃裏,會找出在位形空間內兩個點間的路徑。這些路徑表示機械人關節等部分移至所需位置與姿勢的運動[23]。
輸電網絡
拓撲在輸電網絡中,指網絡建構與運行的路徑,其根據系統可靠度的要求、負載和發電特性而有所不同。一般輸電網絡的拓撲可分為樹狀與網狀兩種結構。輸電與配電網絡最簡單的拓撲是樹狀結構,由中央調控的高電壓、大電流電力,藉由變電站逐步降低電壓、電流,分配至各樹狀分支線路中,直到到達目標家庭用戶和企業用戶為止。但是,單個節點故障可能會導致節點以下分支網絡的失效。網狀結構可以提供更高的可靠度,但是其運作與管理相對複雜[24]。
註釋
- ^ 如拉伸或彎曲,但不包括撕開或黏合
- ^ 有關更進一步的發展,請見點集拓撲學與代數拓撲學。
- ^ 上的「橫槓」幾乎短到看不到
- ^ 如基本群
- ^ 例如Braggadocio字型模版是由一片相連的材質所組成。
- ^ 即其補集為開集合
- ^ 兩個空間均具有標準拓撲
- ^ 另一種說法為,該函數具有至拓撲的自然延伸。若兩個空間同胚,則兩者具有相同的拓撲性質,且被認為在拓撲上是相同的。立方體與球體同胚,咖啡杯與甜甜圈亦同。不過,圓圈並不同胚於甜甜圈。
- ^ 例如包括平面、球體、環面等可以在三維空間實現的曲面,以及克萊因瓶與實投影平面等無法在三維空間實現之曲面。
- ^ 即二維、三維與四維
- ^ 現已得到證明成為定理
- ^ 在黎曼曲面裏為複曲線
- ^ 如確認許多點組成的雲是球形或環形
- ^ 具體來說,是使用持續同調的理論
參見
參考文獻
- ^ 雙語詞彙、學術名詞暨辭書資訊網. 國家教育研究院. [2013-06-17]. (原始內容存檔於2020-11-05). 很多人寫成「拓樸」,有些是單純的訛誤,有些是因為對譯名用字的不同看法,所以「拓樸」、「拓撲」兩種寫法都正確。
- ^ Euler, Leonhard. Solutio problematis ad geometriam situs pertinentis (PDF). [2015-09-20]. (原始內容存檔 (PDF)於2016-03-04).
- ^ Listing, Johann Benedict. Vorstudien zur Topologie. Göttingen: Vandenhoeck und Ruprecht. 1848: 67.
- ^ Tait, Peter Guthrie. Johann Benedict Listing (obituary). Nature. 1883年2月, 27 (1): 316–317.
- ^ Poincaré, Henri. Analysis situs. Journal de l'École Polytechnique. 1895, 2 (1): 1–123.
- ^ Fréchet, Maurice. Sur quelques points du calcul fonctionnel. PhD dissertation. 1906.
- ^ Kuratowski, Kazimierz. Sur l'opération Ā de l'Analysis Situs (PDF). Fundamenta Mathematicae (Warsaw: Polish Academy of Sciences). 1922, 3: 182–199 [2015-09-20]. ISSN 0016-2736. (原始內容存檔 (PDF)於2018-07-20).
- ^ 江泽涵:拓荒中国拓扑第一人. 2019-12-17 [2023-02-20]. (原始內容存檔於2023-02-20).
- ^ 黃河清. “拓扑学”探源. 中國科技術語. 2019-06-18, (2) [2023-02-20]. (原始內容存檔於2023-02-20).
- ^ Munkres, James R. Topology. Vol. 2. Upper Saddle River. Prentice Hall. 2000.
- ^ Allen Hatcher. Algebraic topology. Cambridge University Press. 2002: 544 [2015-09-20]. ISBN 0-521-79160-X. (原始內容存檔於2012-02-20).
- ^ Lee, John M. Introduction to Smooth Manifolds. Springer-Verlag. 2006. ISBN 978-0-387-95448-6.
- ^ Budney, Ryan. What is geometric topology?. mathoverflow.net. 2011 [2015-09-20]. (原始內容存檔於2016-04-03).
- ^ R.B. Sher and R.J. Daverman. Handbook of Geometric Topology. North-Holland. 2002. ISBN 0-444-82432-4.
- ^ Johnstone, Peter T. The point of pointless topology. Bulletin of the American Mathematical Society. 1983, 8 (1): 41–53 [2021-12-18]. (原始內容存檔於2021-02-27).
- ^ Artin, Michael. Grothendieck topologies. Cambridge, MA: Harvard University, Dept. of Mathematics. 1962. Zbl 0208.48701.
- ^ Adams, Colin. The Knot Book: An Elementary Introduction to the Mathematical Theory of Knots. American Mathematical Society. 2004. ISBN 0-8218-3678-1.
- ^ Barble M R Stadler; et al. The Topology of the Possible: Formal Spaces Underlying Patterns of Evolutionary Change. Journal of Theoretical Biology: 241–274. [2015-09-20]. doi:10.1006/jtbi.2001.2423. (原始內容存檔於2015-09-24).
- ^ 移至: 19.0 19.1 Gunnar Carlsson. Topology and data (PDF). BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY. April 2009, 46 (2): 255–308 [2015-09-20]. doi:10.1090/S0273-0979-09-01249-X. (原始內容存檔 (PDF)於2009-03-20).
- ^ Marcel Dekker. The Shape of Space: How to Visualize Surfaces and Three-dimensional Manifolds 2nd. 1985. ISBN 0-8247-7437-X.
- ^ S. W. Hawking; A. R. King, P. J. McCarthy. A new topology for curved space–time which incorporates the causal, differential, and conformal structures. J. Math. Phys. 1976年2月, 17 (2): 174–181.
- ^ John J. Craig. Introduction to Robotics: Mechanics and Control 3rd. Prentice-Hall. 2004.
- ^ Jean-Claude Latombe. Robot Motion Planning. Kluwer Academic Publishers. 1991.
- ^ Abdelhay A. Sallam & Om P. Malik. Electric Distribution Systems. IEEE Computer Society Press. 2011-05: 21. ISBN 9780470276822.
延伸閱讀
- Ryszard Engelking. General Topology. Sigma Series in Pure Mathematics. Heldermann Verlag. 1989年12月. ISBN 3-88538-006-4.
- Nicolas Bourbaki. Elements of Mathematics: General Topology. Addison–Wesley. 1966.
- Breitenberger, E. Johann Benedict Listing. James, I. M. (編). History of Topology. North Holland. 2006. ISBN 978-0-444-82375-5.
- Kelley, John L. General Topology. Springer-Verlag. 1975. ISBN 0-387-90125-6.
- Brown, Ronald. Topology and Groupoids. Booksurge. 2006 [2015-09-20]. ISBN 1-4196-2722-8. (原始內容存檔於2016-03-12). (對一般拓撲學提供有用的幾何觀點,並使用原群來討論塞弗特-范坎彭定理、覆疊空間及群作用等主題。)
- Wacław Sierpiński. General Topology. Dover Publications. 2000. ISBN 0-486-41148-6.
- Pickover, Clifford A. The Möbius Strip: Dr. August Möbius's Marvelous Band in Mathematics, Games, Literature, Art, Technology, and Cosmology. Thunder's Mouth Press. 2006. ISBN 1-56025-826-8. (對拓撲學及幾何學提供簡要的介紹)
- Gemignani, Michael C., Elementary Topology 2nd, Dover Publications Inc., 1990 [1967], ISBN 0-486-66522-4
- C. Wayne Patty. Foundations of Topology. USA: PWS-KENT Publishing Company. 1993. ISBN 0-534-93264-9.
外部連結
- Hazewinkel, Michiel (編), Topology, general, 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4
- Elementary Topology: A First Course (頁面存檔備份,存於互聯網檔案館) Viro, Ivanov, Netsvetaev, Kharlamov.
- 開放目錄專案中的「拓撲學」
- The Topological Zoo (頁面存檔備份,存於互聯網檔案館) at The Geometry Center.
- Topology Atlas
- Topology Course Lecture Notes Aisling McCluskey and Brian McMaster, Topology Atlas.
- Topology Glossary
- Moscow 1935: Topology moving towards America (頁面存檔備份,存於互聯網檔案館), a historical essay by Hassler Whitney.