旋量代数与李群、李代数
戴建生 · 高等教育出版社 2014
从直线几何到旋量系理论：刚体运动的代数与几何统一框架
关于本笔记
旋量（screw）是 19 世纪几何与代数交汇处诞生的数学工具，凭借几何概念清晰、代数运算简便、物理意义明确的优点，已成为机构学与机器人学的数学基础之一。
本笔记基于戴建生《旋量代数与李群、李代数》（高等教育出版社，2014），全书九章贯通旋量代数与李群、李代数理论。全书的核心框架是两条对应关系：瞬时旋量 ↔ 李代数 se(3)，有限位移旋量 ↔ 李群 SE(3)。19 世纪 Ball 的几何直觉与 Sophus Lie 的代数理论在此汇流。
注意：该书所称 screw（Ball 1876年提出，用于刚体运动）与量子力学中的 spinor（Cartan 1913年提出，用于电子自旋）中文译名相同但研究对象不同。
📖 章节笔记
第四章
反对称矩阵的 $[\hat{u}]^3 = -[\hat{u}]$ 如何把无穷级数化简为三项？
- 齐次变换矩阵
- Rodrigues 公式
- 四元数与对偶四元数
- se(3) → SE(3) 指数映射
第五章
伴随矩阵 $\mathrm{Ad}(g)$ 的物理意义是什么？
- $3 \times 3$ 对偶正交矩阵与 $6 \times 6$ 分块矩阵
- 伴随算子 Ad(g)
- Rodrigues 一般运动公式
关键概念速查
- 旋量
S = (s; s₀)- 六维向量，主部方向（三维），副部矩（三维）
- 旋量
- 旋距 $h = \frac{\mathbf{s} \cdot \mathbf{s}_0}{\mathbf{s} \cdot \mathbf{s}}$
- 旋转与平移的比例，为不变量
- Twist
V ∈ se(3)- 刚体速度（角速度 + 线速度）
- Twist
- Wrench
F ∈ se*(3)- 力与力矩
- Wrench
- Plücker 坐标
(l,m,n;p,q,r)- 直线六维坐标，满足 $lp+mq+nr=0$
- Plücker 坐标
- 互易积
s₁·s₂₀ + s₂·s₁₀- 旋量内积，为不变量，互易⇔值为零
- 互易积
- Rodrigues 公式 $R = I + \hat{\mathbf{u}}\sin\theta + \hat{\mathbf{u}}^2(1-\cos\theta)$
- 绕轴旋转的闭式解
- 指数映射 $\exp : se(3) \to SE(3)$
- 瞬时旋量 → 有限位移旋量
- Chasles 定理
- 任意刚体位移 = 绕轴旋转 + 沿轴平移
- 对偶元
ε, ε²=0- Clifford 引入，编码位置信息到方向
- 对偶元
- Klein 二次曲面
- 五维射影空间中满足 $lp+mq+nr=0$ 的超曲面
🗺️ 阅读路径
按教材顺序
只关心运动学应用
参考来源
- 戴建生 (2014)《旋量代数与李群、李代数》，高等教育出版社
- 戴建生 (2014)《机构学与机器人学的几何基础与旋量代数》，Springer
- Screw theory - Wikipedia
- Exponential Coordinates of Rigid-Body Motion - Northwestern Modern Robotics