智能机器人与旋量代数(8)

2.6 刚体运动与刚体变换

所有可能的刚体(Rigid Body)运动变换空间是李群的一个范例。刚体变换都是由旋转、平移和反射(reflections)构成的，实际机械没有反射。

在机器人机构学中，关心的是一系列质点组成的刚体的运动。

定义 2.10 刚体是任意两点之间距离保持不变的点的集合。若$P$和$Q$是刚体上任意两点，则当刚体运动时，必须满足
$$||p(t)-q(t)||=||p(0)-q(0)||=const$$

定义2.11 刚体运动(rigid body motion)是指物体上任意两点之间距离始终保持不变的连续运动。对于刚体而言，从一个位形到达另一个位形的刚体运动称为刚体位移(rigid body displacement)。典型的刚体位移包括平移运动(translation，简称移动)和旋转运动(rotation，简称转动)。

刚体变换定义1 对于由$R^3$的子集$O$描述的刚体，其刚体运动可以用一系列连续变换$g(t):O\to R^3$ 来描述，即将刚提上各点相对于某个固定坐标系的运动描述为时间的函数。这样，刚体位移就可以用反映刚体上各点从初始位形到终止位形的单一映射$g:O\to R^3$ 来表示，并称为刚体变换(rigid body transformation)，记作$g(p)$.

刚体变换定义2 同时满足以下两个条件的变换$g:O\to R^3$，称为刚体变换。

(1). 保持刚体上任意两点间的距离（向量的范数）不变。

(2). 保持刚体上任意两矢量间的夹角不变。

对于刚体变换的矩阵表示，可表示为如下的$4\times 4$矩阵
$$A=\left[\begin{array}{cc}R& P\\ 0& 1\end{array}\right]$$
其中：$R$ 是$3\times 3$ 的旋转矩阵；$P$是一个平移向量。

刚体变换矩阵作用于空间的一个点可以表示为：
$$\left(\begin{array}{c}{q}^{\prime }\\ 1\end{array}\right)=\left[\begin{array}{cc}R& P\\ 0& 1\end{array}\right]\left(\begin{array}{c}q\\ 1\end{array}\right)\left(\begin{array}{c}Rq+P\\ 1\end{array}\right)$$

进一步地，我们得到一般刚体变换的逆为：
$$A^{-1}={\left[\begin{array}{cc}R& P\\ 0& 1\end{array}\right]}^{-1}\left[\begin{array}{cc}{R}^T& -R^{T}P\\ 0& 1\end{array}\right]$$

刚体的位姿描述离不开坐标系。在机构与机器人分析中，经常采用两类坐标系：

一类是与地（或机架）固定连接的定坐标系，即参考坐标系(reference coordinate frame)，一般用$A$ 表示。

另一类是与活动构件固定连接且随之一起运动的动坐标系，称之为物体坐标系(body coordinate frame),一般用$B$ 表示。
$${}^{A}P=\left(\begin{array}{c}x\\ y\\ z\end{array}\right){,}^{B}P=\left(\begin{array}{c}u\\ v\\ w\end{array}\right)$$

刚体转动与三维旋转群

旋转矩阵${}_B^{A}R$是一个单位正交的正定矩阵（其它各类机器人学教材都有，我这里懒得打字了）

我们可以把这样的$3\times 3$旋转矩阵集合$R$称为三维旋转群(rotation group).
S O ( 3 ) = { R ∈ R 3 × 3 ∣ R T R = I , d e t R = 1 } SO(3)=\{R\in R^{3\times 3}| R^TR=I, det R=1\} SO(3)={R∈R3×3∣RTR=I,detR=1}

进一步推广到$n$维，即：
S O ( n ) = { R ∈ R n × n ∣ R T R = I , d e t R = 1 } SO(n)=\{R\in R^{n\times n}| R^TR=I, det R=1\} SO(n)={R∈Rn×n∣RTR=I,detR=1}
可以证明，这些旋转矩阵满足群的四大基本特征：封闭性、幺元律、可逆性与结合律。

更有趣的是，旋转矩阵$R\in SO(3)$ 不仅可以表示刚体上某一点在不同坐标系中的坐标变换，还可以表示刚体相对于固定坐标系旋转后的位形。用参数化的$p(t)\in SO(3)$可以表示相应的运动轨迹，可以记作：
$$p(t)=Rp(0),t\in [0,T]$$
它也满足旋转矩阵的合成法则
$${}_C^{A}R{=}_B^{A}R{\cdot }_C^{B}R$$

此时的刚体变换性质：假设旋转变换$R\in SO(3)$是一个刚体变化，满足：

(1). $R$ 保持距离不变：对任意 $p,q\in R^3$，有：
$$||Rq-RP||=||q-p||$$
(2). $R$ 保持两矢量夹角不变。