一切都歸結於 df_p 的秩
上一份指南裡，對光滑映射 f: M -> N 與點 p in M，我們建立了微分 df_p: T_p M -> T_{f(p)} N——一個向量空間之間貨真價實的線性映射。它身上最有用的一個數，就是它的秩：像的維數。線性代數已經告訴你，m 維到 n 維空間之間的線性映射，秩至多是 min(m, n)；而 f 在 p 附近的幾何，幾乎完全由 df_p 實際達到的秩所支配。其中三個特殊情形有專屬名稱，整個微分拓樸的其餘部分就建立在它們之上。
設 dim M = m、dim N = n。當 df_p 是單射（秩為 m，這迫使 m <= n）時，我們稱 f 在 p 處為浸入；當 df_p 是滿射（秩為 n，這迫使 m >= n）時，稱 f 在 p 處為淹沒；而 df_p 達到最大可能的秩 min(m, n) 時，稱其為滿秩。浸入在無窮小尺度上把 M 擠進 N 而不壓垮任何方向；淹沒在無窮小尺度上把 M 鋪滿整個 N。這些是單點上的條件，但光滑性意味著秩不會毫無預警地掉下來，所以一個點條件會傳播到一整個鄰域。
局部模型：常秩定理
這裡是整份指南背後的引擎。常秩定理說：若 f 在某鄰域上有常數秩 r，那麼在 p 與 f(p) 附近，你可以選取座標卡，使 f 變成最簡單、最像線性的映射——它只保留 r 個座標，其餘全歸零。這是矩陣化成簡化列梯形式的流形版本，只不過「列運算」現在是光滑的座標變換。底下的一切，都是這一條定理在三個特殊情形下的讀法。
immersion (rank m, m<=n): (x_1,...,x_m) |-> (x_1,...,x_m, 0,...,0) submersion (rank n, m>=n): (x_1,...,x_m) |-> (x_1,...,x_n) constant rank r: (x_1,...,x_m) |-> (x_1,...,x_r, 0,...,0)
讀浸入那一行，你就明白為什麼浸入是局部單射：在那些座標卡裡，f 字面上就是把 R^m 當作 R^n 前 m 個座標軸的包含映射，顯然是一對一。讀淹沒那一行，你就明白為什麼淹沒是局部滿射，更妙的是，為什麼它的纖維長得如此整齊：f 就是忘掉後 m - n 個座標的投影，所以每根纖維都是一份 R^{m-n}，以座標切片的姿態坐落其中。這第二種讀法，正是正則值定理的種子。
浸入相對於嵌入：那道微妙的縫隙
浸入是局部陳述，所以它在整體上可能出岔子。八字形是經典的警示：一條浸入平面的直線自我相交，於是映射不是單射。更糟的是，即使是單射的浸入，也可能無法給你 M 在 N 內的忠實副本。標準例子是以無理斜率在環面上稠密纏繞的直線：它處處是單射且是浸入，但它的像會任意靠近自身，於是它從環面繼承來的子空間拓樸，並不等於它作為一條直線本來的拓樸。
要排除這種情況，我們要求得更多。嵌入是一個單射的浸入，且同時是到其像（帶子空間拓樸）上的同胚。那多出來的條款——拓樸上的忠實——正是八字形與稠密直線所缺的。當你真的握有嵌入，像就是個如假包換的嵌入子流形：它坐落於 N 之中，自帶的光滑結構與 N 賦予它的那一個相符。在最常見的情形下，有一條乾淨的定理救你：從緊緻流形出發的每個單射浸入，自動是嵌入，因為從緊緻空間到豪斯多夫空間的連續單射，永遠是到其像上的同胚。
正則值定理：白賺的子流形
現在從浸入翻轉到淹沒，你就得到本學科最常用的定理。若在纖維 f^{-1}(q) 中的每個 p 處 df_p 都是滿射——也就是 f 在 q 的每個原像處都是淹沒——就稱點 q in N 為 f 的正則值。（若纖維為空，q 平凡地是正則值。）正則值定理接著陳述：若 q 是正則值，則水平集 f^{-1}(q) 是 M 的一個 m - n 維嵌入子流形，且在它的每個點處，其切空間恰好是 df_p 的核。
為什麼成立？再讀一次常秩定理的淹沒那行：在每個原像附近，f 看起來就是忘掉後 m - n 個座標的投影 R^m -> R^n，於是纖維 f^{-1}(q) 局部上就是前 n 個座標被固定住的切片——一份乾淨的 R^{m-n}，其切空間是那些投影為零的方向，亦即 ker df_p。「q 是正則值」這個假設，恰恰就是讓那幅局部圖景在纖維的每一點上同時成立的許可證，把這些切片黏成一個光滑子流形。
- 選定方程。要把 S^{n-1} 實現為 R^n 的子流形，取 f: R^n -> R，f(x) = x_1^2 + ... + x_n^2。
- 計算微分。此處 df_p 是列向量 (2 x_1, ..., 2 x_n)，即 2x^T；它滿射到 R，恰好當它非零時成立。
- 找出秩下降之處。df_p = 0 只發生在 x = 0，唯一的臨界點；其臨界值為 f(0) = 0。
- 選一個正則值。任何 c > 0 都避開臨界值，所以 1 是正則值，f^{-1}(1) = S^{n-1} 就是個光滑的 (n-1) 維子流形——完全不用手寫座標卡。
- 讀出切空間。在 p in S^{n-1} 處，T_p S^{n-1} = ker df_p = { v : x . v = 0 }——恰好是與位置向量正交的超平面，正是你早就預期的答案。
這給你買來什麼，以及誠實的附帶細則
同一道食譜也把正交群 O(n) 建構成矩陣空間裡的子流形（取 f(A) = A^T A，正則值取單位矩陣）、特殊線性群，以及無數其他例子——李群將在後面的階梯上以這種方式登場。正則值定理也是帶邊子流形最乾淨的來源，更是你接下來會遇到的橫截性的自然舞台：在那裡，你不是命中單一個值，而是要求兩個映射乾淨地交會於一個子流形。而你剛用過的那幅局部圖景——淹沒就是投影——正是讓淹沒在其像上成為局部平凡纖維化的結構性事實。
現在來說誠實話。定理要求 q 是正則值，而大多數值確實如此——但並非全部。臨界值（纖維裡含有臨界點的那種）可能給出根本不是流形的水平集：錐面 x^2 + y^2 - z^2 = 0 之所以有個奇異頂點，正是因為 0 是那個 f 的臨界值。隨之而來的自然問題——正則值多不多？——由薩德定理回答，那是下一份指南的頭條：臨界值構成一個測度為零的集合，所以你隨手挑的幾乎每個值都是正則的。在那之前，沒有先檢查你選的值是否真的避開臨界點，就絕不要套用正則值定理。
最後一句關於適用範圍的安心話。嵌入並不稀奇：惠特尼嵌入定理說，每個光滑 m 維流形都嵌入到 R^{2m+1}（再費點工夫，可嵌入 R^{2m}），所以你在指南一裡逐卡定義的那些抽象流形，確實能以某個歐氏空間裡如假包換的子流形之姿存在。不過要小心這句口號——它是關於光滑嵌入、而非等距嵌入的存在定理；在保持給定度量的前提下把流形塞進去，是更難的納許嵌入故事，完全是另一門課了。