我們在階梯上的位置
你抵達代數拓撲這一級時，口袋裡已裝著點集拓撲：拓撲空間、開集、連續性、連通性、緊緻性，以及同胚的概念——具有連續逆映射的連續雙射。同胚是「形狀相同」的黃金標準，卻嚴苛得不近人情。它無法告訴你一個粗的八字形與一個細的八字形在本質上是同一回事，也不給你任何可拿來計算的代數。本級的整個工程，就是把「形狀相同」鬆弛成某種更粗、可計算、卻依然驚人有力的東西。這場鬆弛由一個想法揭幕：同倫。
開始前先誠實一句。這些是研究所層級的主題。我們假設你能流利地操作點集拓撲、線性代數，以及第一冊的光滑流形概覽，並且對抽象代數——群、同態、生成元與關係——感到自在，因為到下一篇，它就會成為基本群的語言。流形、同胚、覆疊空間這類第一冊的詞在此直接使用，不再重新推導；凡有一個出現，我們連結回去，而非重新講授。再誠實一句關於次序：同倫論、同調與微分拓撲是部分獨立的塔，「先同倫後同調」是常見卻非強制的路線——我們採取它，是因為 π_1 是切入整門學問最具體的把手。
映射的同倫：一場穿越時間的連續滑變
從兩個連續映射 f, g: X -> Y 出發。我們說 f 與 g 同倫，若你能把 f 連續地滑變成 g，途中不出現任何跳躍。形式上，一個同倫是一個連續映射 H: X × [0,1] -> Y，使得對每個 x 皆有 H(x, 0) = f(x) 與 H(x, 1) = g(x)。把第二個位置讀作時間：在時刻 t = 0 你看見 f，在時刻 t = 1 你看見 g，而期間 H(·, t) 是一族連續變化的映射，把前者揉變成後者。讓這一切成立的關鍵字眼，就是連續——對點 x 與時間 t 聯合連續，於是整部影片不出現任何破裂。
一個極小的具體例子便能釘住這個想法。設 Y = R^n，並設 f、g 是映入其中的任意兩個映射。直線同倫 H(x, t) = (1 − t) f(x) + t g(x) 做線性內插：當 t 由 0 跑到 1，每個點 f(x) 沿一條直線段行進到 g(x)。它顯然連續，故在 R^n 中任意一對映射都同倫——沒有任何阻礙。這份平凡本身就是教訓：同倫偵測的是目標空間裡的障礙，是你無法滑越的洞。R^n 沒有洞，所以一切都塌縮了。趣味，從 Y 有了一個洞的那一刻開始。
同倫是映射集合 X -> Y 上的一個等價關係，驗證這點是熟悉本科記帳工夫的一道健康的入門練習。自反性：對時間取常值的同倫 H(x, t) = f(x) 表明 f 與自身同倫。對稱性：把時間倒著跑，H'(x, t) = H(x, 1 − t)，便把由 f 到 g 的滑變翻成由 g 到 f 的滑變。遞移性：若 H 在 [0,1] 上把 f 滑到 g、K 把 g 滑到 h，就把它們接起來——在 [0, 1/2] 上以雙倍速做 H，在 [1/2, 1] 上以雙倍速做 K——而接縫處的連續性成立，因為兩者在 g 上吻合。這些等價類稱為同倫類，記作 [f]；它們是本科其餘部分所賴以建造的原子。
同倫等價：兩個空間何時算作相同
現在把這個想法從映射提升到空間。同胚要求映射 f: X -> Y 與 g: Y -> X，其複合恰好是恆等映射。把「恰好」鬆弛成「至多差一個同倫」。我們說 X 與 Y 同倫等價，若存在連續映射 f: X -> Y 與 g: Y -> X，使得 g ∘ f 與 X 上的恆等映射同倫、f ∘ g 與 Y 上的恆等映射同倫。映射 f 與 g 無須是雙射，甚至無須是單射或滿射——它們只需在「容許滑變」之後彼此抵銷。這是比同胚嚴格更弱、嚴格更寬容的相同概念，也正是本級一切所需的那一個。
這裡有個應當烙進記憶的例子。挖掉原點的平面 R^2 ∖ {0} 與圓 S^1 同倫等價。設 f: S^1 -> R^2 ∖ {0} 是內含映射，g: R^2 ∖ {0} -> S^1 是徑向投影 g(v) = v / |v|。那麼 g ∘ f 字面上就是 S^1 上的恆等映射，而 f ∘ g 經由徑向滑變 H(v, t) = (1 − t) v + t (v / |v|) 與挖洞平面上的恆等映射同倫——這條滑變永不碰到 0，因為原點已被移除。於是二維的挖洞平面與一維的圓對同倫而言是相同的——它們共享同一個洞，而同倫只看見洞，不看見維數。這唯一的洞，正是下一篇中基本群將量度為整數纏繞數的東西。
形變收縮：把空間縮到子空間上
挖洞平面的例子用到了一種特別、極富畫面感的同倫等價：我們把大空間收縮到坐落其中的一個子空間上，且全程把那個子空間釘在原地不動。這個動作值得擁有自己的名字。給定子空間 A ⊆ X，一個形變收縮是一個同倫 H: X × [0,1] -> X，滿足對所有 x 有 H(x, 0) = x、對所有 x 有 H(x, 1) ∈ A，而關鍵在於對所有 a ∈ A 與所有 t 有 H(a, t) = a——子空間 A 始終不動。當這樣的 H 存在，A 便是 X 的形變收縮核，而 X 與 A 同倫等價是順帶的免費結論。所以形變收縮是證明同倫等價的一條具體而動手的途徑：不必去獵捕兩個抽象映射，只需把整個空間滑到你關心的那部分上即可。
Deformation retraction of X onto a subspace A:
H : X x [0,1] -> X , continuous, with
H(x, 0) = x (start at the identity)
H(x, 1) in A (end inside A)
H(a, t) = a (A held fixed for all t) <-- this is the 'strong' clause
Consequence: X is homotopy equivalent to A .
Example: R^n deformation-retracts to a point {0}
H(x, t) = (1 - t) x ==> R^n is contractible.對那第三條款有一則微妙卻標準的告誡。上面那個把 A 全程釘住的版本，稱為強形變收縮；有些書捨去逐時刻的釘住，只要求末端映射落入 A 並在其上限制為恆等映射，並把這稱為形變收縮。兩者仍給出同倫等價 X ≃ A，故就本級的目的而言這個區別鮮少咬人——但在精細的論證裡它偶爾會咬，而 Hatcher、Bredon 與 tom Dieck 之間用詞確實不同。挑定一套慣例，寫下你假設的是哪一條款，並提醒你的讀者；混用強弱兩版，是冒出假「定理」的一個安靜來源。
可縮空間，以及同倫選擇遺忘的東西
塌縮得最徹底的情形值得擁有一個名字。空間 X 稱為可縮，若它與單點同倫等價——等價地說，若 X 的恆等映射與某個常值映射同倫。直線同倫 H(x, t) = (1 − t) x 表明 R^n 可縮，同樣的把戲對任何凸集、乃至任何星形集都奏效：選定中心，把一切沿徑向滑進去。一個可縮空間從同倫的視角看根本毫無特徵——沒有任何維數的洞。所以當往後的指南算出可縮空間的基本群為平凡時，那不是什麼深刻的事實，而是定義的展開：根本沒有東西可供纏繞。
現在來看誠實的部分：這場粗化丟掉了什麼？丟掉了一大堆。同倫等價無法區分一個點與一顆閉球，無法區分圓與圓環，也無法區分 R^3 與挖掉一點的 R^3——它對維數視而不見，對局部光滑性視而不見，對一個空間究竟是不是流形也視而不見。它只保留「洞的結構」，亦即同倫群與同調群將要量化的連通性資料。這是特性，不是缺陷：藉由刻意遺忘剛性的度量與光滑結構，你以細節換取可計算性，並換來一批不變量——基本群、高階同倫群，往後的同調——它們是真正算得出來的，而且沒有任何同胚層級的不變量能把它們整理得如此乾淨。
不變量、前路，以及一則誠實的限制
這一切鬆弛換來的回報，是一個策略。代數拓撲為每個空間指派一個代數對象——一個群、一個環、一列群——其方式使得同倫等價的空間得到同構的對象。這樣的對象稱為同倫不變量。若兩個空間收到不同的不變量，它們就不可能同倫等價，因而也不可能同胚；代數否決了拓撲。第一個、也最動手的不變量，是基本群，由基於一點的迴圈的同倫類構造而成，我們下一篇便建造它，並算出 π_1(S^1) = Z。粗糙卻經典的歐拉示性數是另一個同倫不變量，往後可由同調復原。
- 想證明兩個空間「不」同胚？為各自計算一個同倫不變量（先從 π_1 下手）；若它們相異，便大功告成——不可能存在任何同胚。
- 想證明兩個空間「是」同倫等價？把兩者各自形變收縮到一個小核心上，再讓核心彼此匹配——別徒手去追逐抽象映射。
- 想證明一個空間沒有洞？展示一個收縮——一個由恆等映射到常值映射的同倫——於是每個同倫群與同調群同時塌縮。
最後一則誠實的限制，因為不變量強大卻非萬能。不變量相等「不」能證明同倫等價——它只是未能否證而已。兩個空間可以共享同一個基本群、同一個同調、甚至同一個歐拉示性數，卻仍然相異；不變量是粗糙的影子，不是指紋。那個深刻的部分逆命題，亦即第五篇的懷特海定理，斷言一個誘導出所有同倫群同構的、好空間（CW 複形）之間的映射「是」同倫等價——但請留意那些容易被丟掉的假設：你需要一個貨真價實的映射，需要「所有」同倫群，還需要是 CW 複形。把口號脫去假設地宣稱出來，正是這道階梯要我們避免的那種假性封閉。