一種更寬鬆的「同一個形狀」
一路爬上這座階梯，「同一個形狀」一直意味著某種量出來的東西。兩個三角形相同，是當它們全等——邊長相等、角度相等，一份完美的複製。接著相似把它鬆綁成「同形而不論大小」，保住角度、放開長度。愛爾蘭根綱領那一階又把它鬆得更開：仿射幾何保住平行性卻丟掉長度與角，而射影幾何只保留直與關聯。每一步都多放掉一樣我們曾經堅持的東西。拓樸正是這條路的盡頭——它幾乎放掉了一切。
口袋裡先揣著這幅畫面。假裝每個形狀都是用柔軟、可無限拉伸的橡皮做的。你可以彎它、拉它、縮它、扭它、壓它——任何連續的變形都行。你被禁止的恰恰是兩個動作：不准撕（撕出一個洞或把橡皮割開），也不准黏（把兩處分開的地方壓在一起使它們融合）。當一個形狀能在這些規則下被揉成另一個時，兩者就算拓樸上相同。這就是拓樸被暱稱為橡皮膜幾何的緣由：它研究的是熬過一切拉伸彎折而倖存、只在撕或黏之下才破裂的那些特徵。
拓樸究竟是什麼
橡皮膜的故事是對的直覺，但數學家需要把它釘死，而且周圍不能有任何橡皮。誠實的定義仰賴單一個原始念頭：哪些點算彼此鄰近。注意「鄰近」恰恰是拉伸所保留、撕裂所摧毀的東西——隨你怎麼彎那張膜，鄰居仍是鄰居；可一旦撕開它，兩個原本相近的點，忽然就落在一道切口的兩側了。所以拓樸被打造來只捕捉「鄰近」這件事，而沒有「多近」的概念（沒有距離，沒有「|AB|」）。
那個不靠距離就捕捉鄰近的巧妙裝置，是開集。在直線上，一個開集就像從 0 到 1 的區間但不含兩個端點：在它裡頭的每一點周圍，你都還能往左或往右踏出微小的一步而仍待在裡面——沒有一點是坐在硬邊緣上的。而一個拓樸空間，無非就是一組點，連同它子集的一個選定收集——這些被宣告為開集——並遵守幾條家務規則：全空間與空集是開的，任意多個開集的聯集是開的，兩個開集的交集是開的。那份簡短的清單就是全部的根基。距離沒了；只剩下「哪些鄰域坐落在哪些之內」這個赤裸裸的格局。
A TOPOLOGY on a set X is a collection T of subsets of X (the 'open sets') such that: (1) X and the empty set are in T (2) any union of sets in T is again in T (3) the intersection of two sets in T is in T That is the whole definition. No distance, no angle, no straightness -- only which subsets are declared 'open' (= room to wiggle).
連續映射，以及那條禁止撕裂的規則
如果開集編碼了鄰近，那麼我們該在意的映射，就是那些尊重鄰近的——也就是連續的映射。你已經非正式地遇過連續，當作「你能一筆畫成而不提筆」，在實數線上則當作「輸入的微小改變造成輸出的微小改變」。拓樸把它蒸餾成一條純用開集敘述的俐落條件：一個映射 f 連續，當且僅當每個開集的原像都是開集。把它拆開來看，它說的正是我們想要的——最後落在彼此鄰近處的點，是從一開始就鄰近的點來的；途中沒有任何東西被撕開。
看看這條單一規則如何把撕裂列為非法，卻又准許你隨意拉伸。取從 0 到 1 的區間，把它拉長成兩倍：每一對鄰近的點仍是鄰近的一對，只是在數值上離得遠些——映射和它的逆都連續，毫無問題。現在改試著把這區間在中點處撕成分開的兩塊。原本橫跨中點、要多近有多近的點，如今被甩進不同的塊裡，不再鄰近；規則被違反了，這操作被禁止。拉伸來回都連續；撕裂則不然。這恰恰就是橡皮膜的契約，如今用乾淨的數學寫了出來。
同胚：拓樸的等號
現在我們能精確地說出「拓樸上相同」是什麼意思了。兩個空間之間的一個同胚，是一個映射 f，它（一）是它們的點之間完美的一一對應——每邊的每個點都恰好配上另一邊的一個——並且（二）連續，而且（三）它的逆也連續。第三個條款是默默無聞的英雄：正如 f 的連續性禁止撕裂，它禁止的是黏合。當這樣一個 f 存在時，這兩個空間就是同胚的，而在拓樸學家眼中，它們真的是同一個物件穿著不同的衣裳。
讓我們看著這定義做真正的活。一個圓和一個正方形的輪廓是同胚的：把正方形的角磨圓，你就有了一個圓，兩邊都有乾淨的連續對應，沒撕也沒融。一個實心圓盤和一個實心三角形同胚，理由相同。但一個圓和一條*線段*不同胚——而這正是定義第一次掙到它飯錢的地方。從圓的中間挖掉一個點，剩下的仍是一塊相連的片；從線段的內部挖掉一個點，它就裂成兩塊。沒有任何同胚能把「挖掉一點仍相連」的空間變成「裂成兩塊」的空間，因為它非撕不可。挖一刀之後剩下幾塊，正是拓樸能量度的一項特徵。
不變量：你如何證明兩個形狀不同
有一個值得正面面對的不對稱。要證明兩個空間是同胚的，你拿出一個明確的同胚就大功告成。但要證明兩個空間不同胚，表面上你得檢查每一個能想到的映射都失敗——一個辦不到的無窮。脫身之道正是整門學問的核心策略：找一個拓樸不變量，也就是任何兩個同胚空間都自動相等的某項特徵。只要兩個空間在哪怕一個不變量上不一致，它們之間就不可能存在任何同胚，於是你一筆就證明了它們不同。
你方才已經用了三個不變量，只是沒替它們命名。連通性——一個空間是不是全為一塊——是個不變量：一個連通的空間絕不可能與一個不連通的空間同胚。「挖掉一點後剩幾塊」這個計數是個不變量；正是它乾淨地把圓和線段分了開來。緊緻性，大致是「封閉而有界、無路逃向無窮」的性質，是第三個——這就是為什麼一條無窮長的線不可能與一個有限的圓同胚。每個不變量都是一道你能向兩個空間同時提問的問題；單單一個不同的答案，就把事情永遠了結了。
而這正是這一階接下來要去的地方，因為那些不變量會變得更銳利、更強大。下一篇導引建立歐拉示性數 chi = V − E + F，一個單一的整數——令人驚嘆的是，無論你怎麼把一個曲面切成片，它算出來都一樣——而它悄悄地數著一個曲面的洞。第三篇用它把每一個閉曲面依其虧格（也就是把手的數目）分類進一張整齊的清單。第四篇引入基本群，它藉由觀察迴圈能否被收回來捕捉洞。整一階就是對本篇所提問題的一個長長的回答：兩個形狀什麼時候真的相同，而你又要如何證明它們並不相同？
橡皮膜觀點的誠實界限
在繼續往上爬之前，先釘牢兩句誠實的提醒，免得這幅圖把你帶偏。第一，拓樸不是你花整座階梯所建起的度量幾何的替代品，正如射影幾何沒有取代歐幾里得。它是為不同問題而設的一面更粗的鏡片。一個拓樸學家是真的分不出大圓與小圓，或正方形與圓——這些區別在這個解析度下是看不見的。當你在意距離、角、面積或曲率時，你往階梯下方伸手去拿更銳利的工具；拓樸只回答那些熬過一切變形而倖存的、關於洞、塊與連通的問題。
第二，柔軟的橡皮膜語言是直覺的一位忠實嚮導，但它不是證明。嚴謹的內容完全住在開集與連續映射裡——這正是我們為何要在卡通旁邊把真正的定義也建起來。咖啡杯與甜甜圈的變形讓正確答案變得可信，然而要確立兩個曲面究竟是否真的同胚，仍需要後續導引裡的那些不變量；而這一階某些貨真價實的定理（曲面的完整分類、球面與環面確實不同這件事）也得下真功夫才釘得住。橡皮膜告訴你該期待什麼；開集與不變量則讓它確鑿無疑。