同一個空間上的兩種結構，彼此對話
這個想法的兩半你都已掌握。從本級稍早的指南你已認識光滑流形 M，也明白映射 f: M -> N 光滑是什麼意思；而從大學代數你知道群：一個帶有結合性乘法、單位元 e 與逆元的集合。一個李群就是這兩者最簡單的聯姻——一個集合 G，既承載光滑流形結構又承載群結構，唯一的要求是：群運算尊重光滑性。這裡還沒有任何奇異的東西；整個學科講的，就是當你堅持讓這兩種尋常結構住在同一個空間上並彼此合作時，會發生什麼。
把話說白，相容性其實只是一個條件：乘法映射 m: G x G -> G，m(g, h) = gh，以及取逆映射 i: G -> G，i(g) = g^(-1)，兩者都光滑。（G x G 以顯然的乘積方式成為流形，所以那裡的「光滑」正是你學過的意思。）這就是定義的全部。值得停下來體會它有多精簡——我們並未分別要求取逆既光滑又連續等等；對 m 一句、對 i 一句，本級其餘豐富的理論便隨之而來。順帶一提，一個常見的捷徑：只要求單一映射 (g, h) -> g h^(-1) 光滑，與上述等價，還能省下一行。
為何連續對稱性會交給你一個李群
李群之所以無可迴避，是因為它們是連續對稱性的天然居所。一個有限的對稱群——比方說正方形的八個對稱——是離散集合：你可以轉九十度，卻不能少轉一根頭髮。圓的對稱則是另一種類：你可以轉任意實角度 theta，而那些旋轉構成群 SO(2)，它就是圓本身披上了群結構。一旦一個系統擁有你能連續形變的對稱，這組對稱便獲得了一個拓樸與一個光滑結構，而群法則之所以光滑，是因為把兩個鄰近的旋轉複合起來，得到的還是一個鄰近的旋轉。這就是李群自行浮現。
這也是為何李群從不獨行——它們總與所作用的對象成對出現。一個李群 G 光滑地作用在流形 M 上，就是一個光滑群作用；而當作用是遞移的（你能用某個 g 從任一點抵達任一點）時，空間 M 便是一個齊性空間 G/H。把這句話揣在口袋裡：李群不只是一團彎曲的矩陣，它是一台把某個幾何剛性地搬來搬去的機器，而你在意的多數空間——球面、雙曲空間、射影空間——都是古典群的齊性空間。本級第五篇會把這件事講成整個故事。
頭號範例：GL(n, R) 以及它如何派生其餘
一切範例之母是一般線性群 GL(n, R)：所有可逆的 n 乘 n 實矩陣，以矩陣乘法為群法則。它為何是流形？全體 n 乘 n 矩陣的集合不過是 R^(n^2)，一個平坦的歐氏空間，而「可逆」意思就是「行列式不為零」。由於 det 是連續函數，可逆矩陣便構成 R^(n^2) 的一個開子集——而流形的開子集仍是同維數的流形。所以 GL(n, R) 是 R^(n^2) 的一塊開區域，因而是維數 n^2 的光滑流形，只需一張整體座標卡，無須圖冊黏合。
現在檢查群法則是否光滑。乘積 AB 的每一個元素都是 A 與 B 各元素的多項式——一些乘積之和——所以 m: GL x GL -> GL 光滑，多項式要多光滑有多光滑。取逆比看起來更光滑：依克拉瑪法則，A^(-1) 的每一個元素都是 A 各元素的多項式除以 det A，而 det A 在 GL 上永不為零，所以 i: A -> A^(-1) 是分母非零的兩個光滑函數之比，因而光滑。兩條都成立，所以 GL(n, R) 是如假包換的李群——而幾乎其餘每一個古典群，都是它被一些方程切出的子群。
GL(n, R) = { A in M_n(R) : det A != 0 } (open in R^(n^2), dim = n^2)
multiplication m(A, B) = AB entries are polynomials -> smooth
inversion i(A) = A^(-1) Cramer: poly / det A -> smooth
SL(n, R) = { det A = 1 } O(n) = { A^T A = I } SO(n) = O(n) cap SL古典群，以及讓它們合法的那條定理
古典矩陣群是 GL 中你會用之不竭的具名子群，每一個都由一條乾淨的代數約束定義。SL(n, R)，特殊線性群，是 det A = 1（保體積的映射）。O(n)，正交群，是 A^T A = I（保長度與角度的映射——剛性旋轉與反射）；其中 SO(n) 再加上 det A = 1，只留下旋轉。在複數上的對應陣容是 U(n)，么正群，滿足 A* A = I（以共軛轉置 A* 取代 A^T），以及多加 det A = 1 的 SU(n)。最後 Sp(2n) 保持一個辛形式——哈密頓力學的對稱。每一個都是李群，每一個都會帶著自己的性格再次登場。
為何這每一個真的是流形，而不是某種鋸齒狀的集合？有兩個互補的答案。動手派的：O(n) 是映射 A -> A^T A - I（落在對稱矩陣中）的零集，而這個映射具有正則值定理所要求的常秩性質，所以它的等位集自動是光滑子流形——你還能用這個方法算出它的維數是 n(n-1)/2。結構派的更乾淨，也是整個學科的基石：嘉當閉子群定理說，李群的任何子群，只要作為拓樸子集是閉的，就自動是光滑嵌入的李子群，無須再檢查任何光滑性。
一個小算例：SU(2) 就是三維球面
讓我們把抽象變具體，把某一個古典群完完全全地辨認出來。取 SU(2)：滿足 A* A = I 且 det A = 1 的二乘二複矩陣 A。把條件寫開，每一個這樣的矩陣都具有第一列 (a, b)、第二列 (-b-bar, a-bar) 的形式，其中 a-bar 與 b-bar 是複共軛，並受單一方程 |a|^2 + |b|^2 = 1 約束。把 a = x_1 + i x_2 與 b = x_3 + i x_4 拆成實部與虛部，那一條方程就化為 x_1^2 + x_2^2 + x_3^2 + x_4^2 = 1。
但這恰恰就是 R^4 中單位球面 S^3 的方程。所以作為流形，SU(2)「就是」三維球面——一個緊緻、連通、單連通的三維流形——如今還額外帶著一條光滑的群法則。這是你能把一整個李群捧在手心的最小場合：一個熟悉的圓球，同時也懂得如何相乘。SU(2) 主宰電子的量子自旋、並二重覆蓋旋轉群 SO(3)，這絕非偶然；等第三篇講到單參數子群與指數映射時，我們會回到這層覆蓋。
- 用 A* A = I 與 det A = 1 寫出一般的 SU(2) 矩陣；它化簡為第一列 (a, b)、第二列 (-b-bar, a-bar)。
- 剩下的約束 det A = 1 坍縮為單一實方程 |a|^2 + |b|^2 = 1。
- 令 a = x_1 + i x_2、b = x_3 + i x_4，便讀出 |a|^2 + |b|^2 = x_1^2 + x_2^2 + x_3^2 + x_4^2。
- 認出 x_1^2 + x_2^2 + x_3^2 + x_4^2 = 1 就是 R^4 中的單位球面 S^3，所以 SU(2) 與 S^3 微分同胚。
本級的去向
你如今掌握的定義，刻意只是起點，而非收成。一個你能連續變動的群元素，天生就求著被微分，而在單位元附近微分乘法，正是流形與群開始交換資訊的方式。那個在單位元的導數，就是李代數，G 的線性化，而它強大得驚人：一個有限維向量空間，帶著一個括號，依李氏定理，幾乎捕捉了 G 在單位元附近的一切。第二篇會經由左不變向量場仔細地把它造出來，那才是這門學科真正展開的地方。
有一個值得隨身攜帶的提醒。古典群之所以感覺具體，是因為它們是矩陣，這是一份禮物——但它也可能誤導。並非每個李群都自然地是矩陣群（SL(2, R) 的萬有覆蓋是標準的反例，它不容許任何忠實的有限維矩陣表示），所以你為矩陣證明的定理，在一般情形可能需要一個誠實的額外論證。對本級而言，矩陣群已綽綽有餘可供學習，我們也會以它們領頭；只要在心裡記一顆星號，提醒自己「李群」比「矩陣群」更寬，而每當這道縫隙真正咬人時，我們都會標示出來。