矩陣李群 是什麼？
Matrix Lie Groups：矩陣李群 的完整解釋
既是光滑流形又具有群結構的矩陣集合，在機器人學、3D 視覺、幾何深度學習中用於描述剛體運動與對稱性。
矩陣李群（Matrix Lie Groups）是抽象代數、微分幾何與 AI 應用交叉的重要數學結構。要理解矩陣李群，需要從群論與流形兩個角度切入，再看它如何在現代 AI 系統中發揮作用。
群論基礎：群（Group）是一個集合配上一個二元運算，滿足四條公理：封閉性（兩個元素的運算結果仍在集合中）、結合律、存在單位元素、每個元素存在逆元素。矩陣乘法天然滿足結合律，因此由矩陣組成的群只需再驗證封閉性與逆元素的存在性。
最重要的矩陣李群包括幾類。一般線性群 GL(n, R) 是所有 n×n 可逆實數矩陣的集合；特殊正交群 SO(n) 是所有行列式為 1 的正交矩陣集合，SO(2) 描述平面旋轉，SO(3) 描述三維空間中的旋轉；特殊歐氏群 SE(3) 結合旋轉與平移，描述三維剛體運動（也稱為「位姿」），是機器人學和 3D 視覺最核心的群結構；辛群（Symplectic Group）在量子力學與哈密頓力學中有重要應用；酉群 U(n) 在量子計算中描述量子態的演化。
李群的「光滑流形」性質使得微積分運算可以在群上進行。每個李群對應一個切空間結構，稱為李代數（Lie Algebra），記為 g，是李群在單位元素處的切空間。指數映射（exponential map）將李代數的元素映射到李群，對數映射（logarithmic map）則是其逆，這使得在李代數（線性空間）上做計算、再映射回李群成為可能：這是李群計算的核心技巧。
在 3D 電腦視覺中，李群提供了精確描述相機姿態（位置 + 朝向）的框架。相機的旋轉用 SO(3) 中的元素（3×3 旋轉矩陣或等價的四元數）表示，完整的位姿（旋轉 + 平移）用 SE(3) 中的 4×4 齊次變換矩陣表示。SLAM（Simultaneous Localization and Mapping）系統和視覺里程計（Visual Odometry）在最佳化相機軌跡時，需要在 SE(3) 上進行優化，而李代數提供了在局部線性化後進行梯度計算的數學工具（Sophus 庫等是常見的 C++ 實現）。
在幾何深度學習（Geometric Deep Learning）中，李群是實現等變性（equivariance）的數學基礎。等變神經網路設計目標是讓網路輸出隨輸入的幾何變換（旋轉、平移、反射）以可預測的方式變換。對 SO(3) 等變的網路在 3D 點雲處理、分子屬性預測等任務上展現出遠超普通 3D 卷積網路的樣本效率，因為它們能在訓練時從一個方向的樣本泛化到所有方向，無需資料增廣。代表性工作包括 SE(3)-Transformer、Equivariant Graph Neural Networks（EGNN）等。
機器人運動規劃中，機械手臂末端執行器的位置與朝向（末端位姿）在 SE(3) 中描述，關節空間與任務空間的轉換（正運動學與逆運動學）涉及大量 SO(3) 和 SE(3) 的計算。強化學習控制機械手臂的研究中，用李群結構化的策略網路能更有效地學習旋轉敏感的操作任務。
對 AI 工程師而言，矩陣李群的實用知識集中在以下幾點：了解旋轉的群結構（為什麼旋轉不能簡單地用歐拉角線性插值）、理解指數映射與李代數的關係（為什麼在 SO(3) 上做梯度下降要用李代數的局部線性化）、以及認識到等變深度學習框架背後的群理論基礎。隨著幾何深度學習在分子藥物設計、蛋白質結構預測、機器人學習等領域的快速發展，矩陣李群的應用正從理論數學走向 AI 工程實踐的前沿。 矩陣李群（Matrix Lie Groups）是微分幾何與代數學的交叉概念，在深度學習和機器人學中有重要應用，特別是在需要保持旋轉、剛體變換等幾何結構的 AI 系統中。
李群（Lie Group）同時是群（Group，具有乘法、逆元、單位元）和光滑流形（Smooth Manifold，每點鄰域類似歐氏空間），矩陣李群特指以矩陣乘法為群操作的李群。最常見的矩陣李群包括：SO(3)（三維旋轉群，所有 3×3 正交矩陣且行列式為 1）、SE(3)（三維特殊歐氏群，描述剛體變換）、GL(n)（可逆 n×n 矩陣群）。
在機器人學和 SLAM（同時定位與地圖建構）中，機器人位姿（位置 + 方向）自然地生活在 SE(3) 流形上，而非歐氏空間。若錯誤地用加法更新旋轉（如直接對旋轉矩陣加上增量），更新後的矩陣可能不再是有效的旋轉矩陣（行列式不為 1、正交性破壞）。正確做法是使用李群的指數映射（Exponential Map）在切空間（李代數）中進行線性更新，再映射回流形，確保每一步更新都保持有效的幾何結構。
在深度學習的幾何深度學習（Geometric Deep Learning）中，對稱性和群論為設計等變網路（Equivariant Networks）提供了理論基礎。能對 SO(3)（或 SO(2)）保持等變性的神經網路可以自然處理三維點雲或球面資料，無需資料增強也能學習旋轉無關的特徵，在分子性質預測和天文影像分析中有突出應用。
卷積神經網路可以被解釋為在平移群（Translation Group）上的等變算子，而群卷積（Group Convolution）將這一思想推廣到更廣泛的對稱群，G-CNN（Group-equivariant Convolutional Networks）正是基於這一原理設計。