李群理论笔记1：特殊欧式群SE(3)和刚体运动描述

1.引言：我们为什么要用到特殊欧式群SE(3)描述刚体运动？

我们知道在欧式三维空间中一个物体没有约束有三个旋转自由度和三个平动自由度。为了描述一个可动构件相对另一个固定管构件能够有哪些自由度，本质就是寻找可动构件上附带的动坐标系想固定构件上附带的定坐标系之间的姿态变换。这时候就可以引入特殊欧式群$SE(3)$进行统一的描述，利用群理论描述运动学就变得统一和简化，它具有一套规整的计算规则，可以非常方便直观地利用矩阵方式计算两个坐标系之间的相对位置和姿态。

2.特殊欧式群SE(3)的定义

特殊欧式群$SE(3)$(S是special的意思，所以是特殊欧式群)是线性矩阵群 G L ( 4 , R ) = { R 4 × 4 ∣ d e t ( R ) ≠ 0 } GL(4,\R)=\{\R^{4\times4}|det(R)\neq0\} GL(4,R)={R4×4∣det(R)=0}的封闭子群，作为矩阵李群，$SE(3)$首先代表一种齐次坐标变换，可以代表某种刚体运动的集合，假设在${\mathbb{R}}^3$欧式空间中所有的点坐标都是用齐次坐标表示的，刚体运动可以表示为一个动坐标系$M$相对一个定坐标系$F$的相对位置和姿态的变化，而$SE(3)$可以表示为

$$SE(3)=\left\{\left[\begin{array}{cc}\mathbf{R}& \mathbf{P}\\ 0& 1\end{array}\right]|\mathbf{P}\in {\mathbb{R}}^3,\mathbf{R}\in SO(3)\right\}$$

式中的$\mathbf{P}$表示动坐标系$M$的原点相对于定坐标系$F$原点的相对位置，而$\mathbf{R}$表示动坐标系$M$相对定坐标系$F$的相对姿态。$\mathbf{R}$称为旋转子群，其数学定义为：

$$SO(3)=\left\{\mathbf{R}\in {\mathbb{R}}^{3\times 3}|{\mathbf{R}}^T\mathbf{R}=\mathbf{I},det(\mathbf{R})=1\right\}$$

3.$SE(3)$子群的齐次矩阵表示及其释义

3.1 $\mathbf{T}(\mathbf{v})$：沿方向$\mathbf{v}$的平移

$$\mathbf{T}(\mathbf{v})=\left\{\left[\begin{array}{cc}\mathbf{I}& a\mathbf{v}\\ 0& 1\end{array}\right]|a\in \mathbb{R}\right\}$$

表示沿方向$\mathbf{v}$的平移。

3.2$\mathbf{R}(\mathbf{P},\omega )$：沿轴$(\mathbf{P},\omega )$转动

$$\mathbf{R}(\mathbf{P},\omega )=\left\{\left[\begin{array}{cc}{e}^{\hat{\omega }\theta }& (\mathbf{I}-e^{\hat{\omega }\theta })\mathbf{P}\\ 0& 1\end{array}\right]|\theta \in [0,2\pi ],\mathbf{P}\in {\mathbb{R}}^3\right\}$$

表示沿轴$(\mathbf{P},\omega )$转动。

3.3 ${\mathbf{H}}_{\rho }(\mathbf{P},\omega )$：沿轴$(\mathbf{P},\omega )$且节距为$\rho$的螺旋转动

$${\mathbf{H}}_{\rho }(\mathbf{P},\omega )=\left\{\left[\begin{array}{cc}{e}^{\hat{\omega }\theta }& (\mathbf{I}-e^{\hat{\omega }\theta })\mathbf{P}+\rho \omega \theta \\ 0& 1\end{array}\right]|\theta \in [0,2\pi ],\mathbf{P}\in {\mathbb{R}}^3\right\}$$

表示沿轴$(\mathbf{P},\omega )$且节距为$\rho$的螺旋转动。

3.4 ${\mathbf{T}}_2(\omega )$：垂直于$\omega$的平面移动

$${\mathbf{T}}_2(\omega )=\left\{\left[\begin{array}{cc}\mathbf{I}& a\mathbf{x}+b\mathbf{y}\\ 0& 1\end{array}\right]|a,b\in \mathbb{R}\right\}$$

这里$\mathbf{x}$和$\mathbf{y}$应该是垂直于$\omega$的平面的任意两个不平行的矢量。

表示垂直于$\omega$的平面移动

3.5 $\mathbf{C}(\mathbf{P},\omega )$：沿轴$(\mathbf{P},\omega )$的圆柱运动

$$\mathbf{C}(\mathbf{P},\omega )=\left\{\left[\begin{array}{cc}{e}^{\hat{\omega }\theta }& (\mathbf{I}-e^{\hat{\omega }\theta })\mathbf{P}+a\omega \\ 0& 1\end{array}\right]|\theta \in [0,2\pi ],\mathbf{P}\in {\mathbb{R}}^3,a\in \mathbb{R}\right\}$$

表示沿轴$(\mathbf{P},\omega )$的圆柱运动。

3.6 $\mathbf{T}(3)$：三维移动

$$\mathbf{T}(3)=\left\{\left[\begin{array}{cc}\mathbf{I}& \mathbf{Q}\\ 0& 1\end{array}\right]|\mathbf{Q}\in {\mathbb{R}}^3\right\}$$

表示三维移动。

3.7 $\mathbf{G}(\omega )$：垂直于$\omega$的平面运动

$$\mathbf{G}(\omega )=\left\{\left[\begin{array}{cc}{e}^{\hat{\omega }\theta }& a\mathbf{x}+b\mathbf{y}\\ 0& 1\end{array}\right]|\theta \in [0,2\pi ],a,b\in \mathbb{R}\right\}$$

这里$\mathbf{x}$和$\mathbf{y}$应该是垂直于$\omega$的平面的任意两个不平行的矢量。

表示垂直于$\omega$的平面运动。

3.8 $\mathbf{S}(\mathbf{P})$：绕点$\mathbf{P}$的三维转动

$$\mathbf{S}(\mathbf{P})=\left\{\left[\begin{array}{cc}\mathbf{R}& (\mathbf{I}-\mathbf{R})\mathbf{P}\\ 0& 1\end{array}\right]|\mathbf{R}\in SO(3),\mathbf{P}\in {\mathbb{R}}^3\right\}$$

表示绕点$\mathbf{P}$的三维转动。

3.9 ${\mathbf{Y}}_{\rho }(\omega )$：垂直于$\omega$的平面且节距为$\rho$的螺旋运动

$${\mathbf{Y}}_{\rho }(\omega )=\left\{\left[\begin{array}{cc}{e}^{\hat{\omega }\theta }& a\mathbf{x}+b\mathbf{y}+\rho \omega \theta \\ 0& 1\end{array}\right]|\theta \in [0,2\pi ],a,b\in \mathbb{R}\right\}$$

表示垂直于$\omega$的平面且节距为$\rho$的螺旋运动

3.10 $\mathbf{X}(\omega )$：三维移动和$\omega$方向转动

$$\mathbf{X}(\omega )=\left\{\left[\begin{array}{cc}{e}^{\hat{\omega }\theta }& \mathbf{Q}\\ 0& 1\end{array}\right]|\theta \in [0,2\pi ],\mathbf{Q}\in {\mathbb{R}}^3\right\}$$

表示三维移动和$\omega$方向转动。

4.其他

在刚体运动的集合中。除了存在具备群结构的运动之外，还存在众多不封闭的非群结构的运动，比如五轴机床的五自由度运动。两转动副组成的运动链的末端运动，万向节运动等等，都不是李群运动，这些运动的特点是不能沿着固定坐标轴运动，因此也称为不封闭的非群运动。数学上这类不具备群结构的运动可以用$SE(3)$的规则子流形来描述，这也是机构学界的研究热点和难点。

参考资料

[1]邓宗全.空间折展机构设计[M].第一版.哈尔滨工业大学出版社.2013:32-33