Arthals' ink

Back

四元数#

TIP

强烈推荐参考 Krasjet / Quaternion 以获得直观且详细的性质证明推导。

小小的吐槽:王老师上节课明明刚说四元数不重要不要求掌握,结果这节课花了绝大部分时间来推导 hhh。

定义#

四元数是复数的推广,表示为:

q=w+xi+yj+zkq = w + xi + yj + zk

其中:

  • ww 是实数部分;
  • x,y,zx, y, z 是虚数部分;

i,j,ki, j, k 是虚数单位,满足以下关系:

i2=j2=k2=ijk=1i^2 = j^2 = k^2 = ijk = -1

反交换性质:

ij=k=ji,jk=i=kj,ki=j=ikij = k = -ji, \quad jk = i = -kj, \quad ki = j = -ik

向量形式

q=(w,v),v=(x,y,z)q = (w, \bold{v}), \quad \bold{v} = (x, y, z)

运算性质#

乘法:对于两个四元数 q1=(w1,v1)q_1 = (w_1, \bold{v}_1)q2=(w2,v2)q_2 = (w_2, \bold{v}_2),其乘法定义为:

q1q2=(w1w2v1v2,w1v2+w2v1+v1×v2)=(w1w2v1v2,w1v2+w2v1+v1×v2)\begin{aligned} q_1 q_2 &= (w_1 w_2 - \bold{v}_1^{\top} \bold{v}_2, \, w_1 \bold{v}_2 + w_2 \bold{v}_1 + \bold{v}_1 \times \bold{v}_2) \\ &= (w_1 w_2 - \bold{v}_1 \cdot \bold{v}_2, \, w_1 \bold{v}_2 + w_2 \bold{v}_1 + \bold{v}_1 \times \bold{v}_2) \end{aligned}

这被称为 Graßmann 积。

注意:四元数的乘法 不可交换,即 q1q2q2q1q_1 q_2 \neq q_2 q_1

共轭

q=(w,v)q^* = (w, -\bold{v})

模长

q2=w2+vv=qq=qq\|q\|^2 = w^2 + \bold{v}^{\top} \bold{v} = qq^* = q^*q

q1=qq2q^{-1} = \frac{q^*}{\|q\|^2}

这是模长的直接推论。

几何意义与应用#

单位四元数:若四元数的模长为 11,即 q=1\|q\| = 1,则称其为单位四元数。单位四元数可表示三维空间中的旋转。其还具有性质 q1=qq^{-1} = q^*

纯四元数:若四元数的实部为 00,即 q=(0,v)q = (0, \bold{v}),则称其为纯四元数。纯四元数可以表示三维空间中的向量。

旋转表示:任何一个旋转,都可以表示为绕某个单位向量 ω^\hat{\omega} 旋转 θ\theta 角度(证明见后)。

那么,对应的四元数可以表示为:

q=[cosθ2,sinθ2ω^]q = \left[\cos\frac{\theta}{2}, \sin\frac{\theta}{2} \hat{\omega}\right]

注意,旋转到四元数存在 “双重覆盖” 关系,我们可以很容易地发现:

q=[cosθ2,sinθ2ω^]q=[cosθ2,sinθ2ω^]=[cos(πθ2),sin(πθ2)(ω^)]\begin{aligned} q &= \left[\cos\frac{\theta}{2}, \sin\frac{\theta}{2} \hat{\omega}\right] \\ -q &= \left[-\cos\frac{\theta}{2}, -\sin\frac{\theta}{2}\hat{\omega}\right] \\ &= \left[\cos(\pi - \frac{\theta}{2}), \sin(\pi - \frac{\theta}{2}) (-\hat{\omega})\right] \end{aligned}

是等价的(q-q 意味着同一旋转轴但是翻转正方向,然后旋转 2πθ2\pi - \theta)。

double_coverage

相应地,从四元数恢复轴角表示:

θ=2arccos(w),ω^={vsin(θ/2),θ00,θ=0\theta = 2 \arccos(w), \quad \hat{\omega} = \begin{cases} \frac{\bold{v}}{\sin(\theta/2)}, & \theta \neq 0 \\ 0, & \theta = 0 \end{cases}

其中,ww 是单位四元数的实部,四元数的一种常见表示就是 (w,x,y,z)(w,x,y,z)

四元数与旋转#

向量旋转:任意向量 v\mathbf{v} 沿着以 单位向量 定义的旋转轴 u\mathbf{u} 旋转 θ\theta 度得到 v\mathbf{v}',那么:

令向量 v\mathbf{v} 的四元数形式 v=[0,v]v = [0, \mathbf{v}],旋转四元数 q=[cos(θ2),sin(θ2)u]q = \left[\cos\left(\frac{\theta}{2}\right), \sin\left(\frac{\theta}{2}\right)\mathbf{u}\right]

则旋转后的向量 v\mathbf{v}' 可表示为:

v=qvq=qvq1\mathbf{v}' = qv q^* = qv q^{-1}

如果是给定四元数 qq 旋转向量 v\mathbf{v} ,那么设 q=[w,r]q = [w, \mathbf{r}] 是单位四元数(即 w2+r2=1w^2 + \|\mathbf{r}\|^2 = 1),向量 v\mathbf{v} 的四元数形式为 v=[0,v]v = [0, \mathbf{v}]

则:

qvq=[w,r][0,v][w,r]=[rv,wv+r×v][w,r]=[0,(12r2)v+2(rv)r+2w(r×v)]\begin{aligned} qvq^* &= [w, \mathbf{r}][0, \mathbf{v}][w, -\mathbf{r}] \\ &= [ - \mathbf{r} \cdot \mathbf{v}, w\mathbf{v} + \mathbf{r} \times \mathbf{v} ][w, -\mathbf{r}] \\ &= [0, (1-2\|\mathbf{r}\|^2)\mathbf{v} + 2(\mathbf{r} \cdot \mathbf{v})\mathbf{r} + 2w(\mathbf{r} \times \mathbf{v})] \end{aligned}

最后一个等式的展开计算如下

实部:

=(rv)w(wv+r×v)(r)=w(rv)+w(vr)+(r×v)r=0\begin{aligned} &= (- \mathbf{r} \cdot \mathbf{v})w - (w\mathbf{v} + \mathbf{r} \times \mathbf{v}) \cdot (-\mathbf{r}) \\ &= -w (\mathbf{r} \cdot \mathbf{v}) + w (\mathbf{v} \cdot \mathbf{r}) + (\mathbf{r} \times \mathbf{v}) \cdot \mathbf{r} \\ &= 0 \quad \end{aligned}

虚部:

=(rv)(r)+w(wv+r×v)+(wv+r×v)×(r)=(rv)r+w2v+w(r×v)w(v×r)(r×v)×r=(rv)r+w2v+2w(r×v)[(rr)v(vr)r]=(12r2)v+2(rv)r+2w(r×v)\begin{aligned} &= (- \mathbf{r} \cdot \mathbf{v})(-\mathbf{r}) + w (w\mathbf{v} + \mathbf{r} \times \mathbf{v}) + (w\mathbf{v} + \mathbf{r} \times \mathbf{v}) \times (-\mathbf{r}) \\ &= (\mathbf{r} \cdot \mathbf{v})\mathbf{r} + w^2 \mathbf{v} + w (\mathbf{r} \times \mathbf{v}) - w (\mathbf{v} \times \mathbf{r}) - (\mathbf{r} \times \mathbf{v}) \times \mathbf{r} \\ &= (\mathbf{r} \cdot \mathbf{v})\mathbf{r} + w^2 \mathbf{v} + 2w (\mathbf{r} \times \mathbf{v}) - \big[ (\mathbf{r} \cdot \mathbf{r})\mathbf{v} - (\mathbf{v} \cdot \mathbf{r})\mathbf{r} \big] \\ &= (1 - 2\|\mathbf{r}\|^2)\mathbf{v} + 2(\mathbf{r} \cdot \mathbf{v})\mathbf{r} + 2w (\mathbf{r} \times \mathbf{v}) \end{aligned}

其中利用了叉乘展开式:

a×b×c=(ac)b(ab)ca \times b \times c = (a \cdot c)b - (a \cdot b)c

以及单位四元数约束条件 w2+r2=1w^2 + \|\mathbf{r}\|^2 = 1,将 w2=1r2w^2 = 1 - \|\mathbf{r}\|^2 代入后合并同类项。

接下来证明这个结果与罗德里格旋转公式等价即可。

qvq=[0,(12r2)v+2(rv)r+2w(r×v)]qvq^* = [0, (1-2\|\mathbf{r}\|^2)\mathbf{v} + 2(\mathbf{r} \cdot \mathbf{v})\mathbf{r} + 2w(\mathbf{r} \times \mathbf{v})]

我们有:

  • w=cos(θ2)w = \cos(\frac{\theta}{2})
  • r=sin(θ2)u\mathbf{r} = \sin(\frac{\theta}{2})\mathbf{u},且 u\mathbf{u} 是单位向量,u=1\|\mathbf{u}\| = 1

所以:

12r2=12sin2(θ2)=cos(θ)2(rv)r=2(sin(θ2)(uv))(sin(θ2)u)=2sin2(θ2)(uv)u=(1cos(θ))(uv)u2w(r×v)=2cos(θ2)(sin(θ2)(u×v))=(2sin(θ2)cos(θ2))(u×v)=sin(θ)(u×v)\begin{aligned} 1 - 2\|\mathbf{r}\|^2 &= 1 - 2\sin^2\left(\frac{\theta}{2}\right) = \cos(\theta) \\ \\ 2(\mathbf{r} \cdot \mathbf{v})\mathbf{r} &= 2 \left(\sin\left(\frac{\theta}{2}\right)(\mathbf{u} \cdot \mathbf{v})\right) \left(\sin\left(\frac{\theta}{2}\right)\mathbf{u}\right) \\ &= 2 \sin^2\left(\frac{\theta}{2}\right) (\mathbf{u} \cdot \mathbf{v}) \mathbf{u} \\ &= (1 - \cos(\theta)) (\mathbf{u} \cdot \mathbf{v}) \mathbf{u} \\ \\ 2w(\mathbf{r} \times \mathbf{v}) &= 2 \cos\left(\frac{\theta}{2}\right) \left(\sin\left(\frac{\theta}{2}\right)(\mathbf{u} \times \mathbf{v})\right) \\ &= \left(2 \sin\left(\frac{\theta}{2}\right) \cos\left(\frac{\theta}{2}\right)\right) (\mathbf{u} \times \mathbf{v}) \\ &= \sin(\theta) (\mathbf{u} \times \mathbf{v}) \end{aligned}

将以上结果代回到 v\mathbf{v}' 的表达式中:

v=(12r2)v+2(rv)r+2w(r×v)=(cos(θ))v+(1cos(θ))(uv)u+(sin(θ))(u×v)\begin{aligned} \mathbf{v}' &= (1-2\|\mathbf{r}\|^2)\mathbf{v} + 2(\mathbf{r} \cdot \mathbf{v})\mathbf{r} + 2w(\mathbf{r} \times \mathbf{v}) \\ &= (\cos(\theta))\mathbf{v} + (1 - \cos(\theta)) (\mathbf{u} \cdot \mathbf{v}) \mathbf{u} + (\sin(\theta)) (\mathbf{u} \times \mathbf{v}) \end{aligned}

正是罗德里格旋转公式的结果。

旋转组合:两个旋转 q1q_1q2q_2 的组合等价于四元数的乘法:

q2(q1xq1)q2=(q2q1)x(q1q2) q_2 (q_1 x q_1^*) q_2^* = (q_2 q_1) x (q_1^* q_2^*)

虽然四元数不满足交换律,但其满足结合律(可以证明四元数存在对应的四维矩阵,所以矩阵的性质也是四元数的性质)。

注意:

  • 四元数的旋转表示具有 33 个自由度(四个参数加一个单位模长约束)。
  • 几何上,单位四元数可以看作 44 维球面 S3S^3 的壳。

四元数与旋转矩阵#

从四元数到旋转矩阵#

因为我们有 v=qvq1\mathbf{v}' = q \mathbf{v} q^{-1} (这里假设 v\mathbf{v} 是向量, qq 是单位四元数, v\mathbf{v}' 是旋转后的向量,并且我们将向量 v\mathbf{v} 视为纯四元数 [0,v][0, \mathbf{v}] 进行运算),我们可以计算出对应的旋转矩阵为:

令单位四元数 q=w+xi+yj+zk=[w,(x,y,z)]q = w + x\mathbf{i} + y\mathbf{j} + z\mathbf{k} = [w, (x, y, z)],则旋转矩阵 R(q)R(q) 为:

R(q)=[12y22z22xy2zw2xz+2yw2xy+2zw12x22z22yz2xw2xz2yw2yz+2xw12x22y2]R(q) = \begin{bmatrix} 1 - 2y^2 - 2z^2 & 2xy - 2zw & 2xz + 2yw \\ 2xy + 2zw & 1 - 2x^2 - 2z^2 & 2yz - 2xw \\ 2xz - 2yw & 2yz + 2xw & 1 - 2x^2 - 2y^2 \end{bmatrix}

证明:使用三个基向量挨个求就行。

r=(x,y,z)\mathbf{r} = (x, y, z)

v=e1=(1,0,0)\mathbf{v} = \mathbf{e}_1 = (1, 0, 0)

  • r2=x2+y2+z2\|\mathbf{r}\|^2 = x^2 + y^2 + z^2
  • re1=x\mathbf{r} \cdot \mathbf{e}_1 = x
  • r×e1=(x,y,z)×(1,0,0)=(0,z,y)\mathbf{r} \times \mathbf{e}_1 = (x, y, z) \times (1, 0, 0) = (0, z, -y)
v1=(12(x2+y2+z2))e1+2xr+2w(r×e1)=(12x22y22z2)(1,0,0)+2x(x,y,z)+2w(0,z,y)=(12x22y22z2+2x2,2xy+2wz,2xz2wy)=(12y22z2,2xy+2zw,2xz2yw)\begin{aligned} \mathbf{v}'_1 &= (1-2(x^2+y^2+z^2))\mathbf{e}_1 + 2x\mathbf{r} + 2w(\mathbf{r} \times \mathbf{e}_1) \\ &= (1-2x^2-2y^2-2z^2)(1, 0, 0) + 2x(x, y, z) + 2w(0, z, -y) \\ &= (1-2x^2-2y^2-2z^2 + 2x^2, 2xy + 2wz, 2xz - 2wy) \\ &= (1 - 2y^2 - 2z^2, 2xy + 2zw, 2xz - 2yw) \end{aligned}

这就是矩阵 RR 的第一列。

v=e2=(0,1,0)\mathbf{v} = \mathbf{e}_2 = (0, 1, 0)

  • re2=y\mathbf{r} \cdot \mathbf{e}_2 = y
  • r×e2=(x,y,z)×(0,1,0)=(z,0,x)\mathbf{r} \times \mathbf{e}_2 = (x, y, z) \times (0, 1, 0) = (-z, 0, x)
v2=(12(x2+y2+z2))e2+2yr+2w(r×e2)=(12x22y22z2)(0,1,0)+2y(x,y,z)+2w(z,0,x)=(2xy2wz,12x22y22z2+2y2,2yz+2wx)=(2xy2zw,12x22z2,2yz+2xw)\begin{aligned} \mathbf{v}'_2 &= (1-2(x^2+y^2+z^2))\mathbf{e}_2 + 2y\mathbf{r} + 2w(\mathbf{r} \times \mathbf{e}_2) \\ &= (1-2x^2-2y^2-2z^2)(0, 1, 0) + 2y(x, y, z) + 2w(-z, 0, x) \\ &= (2xy - 2wz, 1-2x^2-2y^2-2z^2 + 2y^2, 2yz + 2wx) \\ &= (2xy - 2zw, 1 - 2x^2 - 2z^2, 2yz + 2xw) \end{aligned}

这就是矩阵 RR 的第二列。

v=e3=(0,0,1)\mathbf{v} = \mathbf{e}_3 = (0, 0, 1)

  • re3=z\mathbf{r} \cdot \mathbf{e}_3 = z
  • r×e3=(x,y,z)×(0,0,1)=(y,x,0)\mathbf{r} \times \mathbf{e}_3 = (x, y, z) \times (0, 0, 1) = (y, -x, 0)
v3=(12(x2+y2+z2))e3+2zr+2w(r×e3)=(12x22y22z2)(0,0,1)+2z(x,y,z)+2w(y,x,0)=(2xz+2wy,2yz2wx,12x22y22z2+2z2)=(2xz+2yw,2yz2xw,12x22y2)\begin{aligned} \mathbf{v}'_3 &= (1-2(x^2+y^2+z^2))\mathbf{e}_3 + 2z\mathbf{r} + 2w(\mathbf{r} \times \mathbf{e}_3) \\ &= (1-2x^2-2y^2-2z^2)(0, 0, 1) + 2z(x, y, z) + 2w(y, -x, 0) \\ &= (2xz + 2wy, 2yz - 2wx, 1-2x^2-2y^2-2z^2 + 2z^2) \\ &= (2xz + 2yw, 2yz - 2xw, 1 - 2x^2 - 2y^2) \end{aligned}

这就是矩阵 RR 的第三列。

v1,v2,v3\mathbf{v}'_1, \mathbf{v}'_2, \mathbf{v}'_3 作为列向量组合起来,就得到了图片中给出的旋转矩阵 R(q)R(q)

R(q)=[12y22z22xy2zw2xz+2yw2xy+2zw12x22z22yz2xw2xz2yw2yz+2xw12x22y2]R(q) = \begin{bmatrix} 1 - 2y^2 - 2z^2 & 2xy - 2zw & 2xz + 2yw \\ 2xy + 2zw & 1 - 2x^2 - 2z^2 & 2yz - 2xw \\ 2xz - 2yw & 2yz + 2xw & 1 - 2x^2 - 2y^2 \end{bmatrix}

证毕。

从旋转矩阵到四元数#

根据上一步结果,旋转矩阵 RR 的迹(trace)满足:

tr(R)=34(x2+y2+z2)=4w21\text{tr}(R) = 3 - 4(x^2 + y^2 + z^2) = 4w^2 - 1

我们可以计算四元数的分量为:

w=tr(R)+12x=R32R234wy=R13R314wz=R21R124w\begin{aligned} w &= \frac{\sqrt{\text{tr}(R)+1}}{2} \\ x &= \frac{R_{32}-R_{23}}{4w} \\ y &= \frac{R_{13}-R_{31}}{4w} \\ z &= \frac{R_{21}-R_{12}}{4w} \end{aligned}

其中 RijR_{ij} 表示矩阵 RR 的第 ii 行第 jj 列的元素。这些公式在 w0w \neq 0 时有效。

四元数的距离#

这部分证明亦可参见 Krasjet / Quaternion 第 4 节・四元数插值(第 37 页)。

在单位三维球面 S3S^3 上,或两个四元数 (q1,q2)(q_1, q_2) 之间的角度:

p,q=arccos(pq)\langle p, q \rangle = \arccos(p \cdot q)

证明:设 p=(pw,pv)p = (p_w, \mathbf{p}_v)q=(qw,qv)q = (q_w, \mathbf{q}_v),那么显然,从 pp 旋转到 qq 的相对旋转可以由四元数乘法 Δq=qp\Delta q = q p^* 表示。

Δq=qp=(qw,qv)(pw,pv)=(qwpwqv(pv),qw(pv)+pwqv+qv×(pv))=(qwpw+qvpv,)\begin{aligned} \Delta q &= q p^* \\ &= (q_w, \mathbf{q}_v)(p_w, -\mathbf{p}_v) \\ &= (q_w p_w - \mathbf{q}_v \cdot (-\mathbf{p}_v), q_w(-\mathbf{p}_v) + p_w \mathbf{q}_v + \mathbf{q}_v \times (-\mathbf{p}_v)) \\ &= (q_w p_w + \mathbf{q}_v \cdot \mathbf{p}_v, \dots) \end{aligned}

所以,Δq\Delta q 的实部 Re(Δq)=qwpw+qvpv\text{Re}(\Delta q) = q_w p_w + \mathbf{q}_v \cdot \mathbf{p}_v

这正好是 ppqq 作为 4D 向量的点积 pqp \cdot q

Re(Δq)=pq=cosp,qp,q=arccos(pq)\text{Re}(\Delta q) = p \cdot q = \cos \langle p, q \rangle\\ \langle p, q \rangle = \arccos(p \cdot q)

对应旋转之间的距离:

dist(p,q)=2arccos(pq)\text{dist}(p, q) = 2 \arccos(|p \cdot q|)

或等价地:

dist(p,q)=2min{p,q,p,q}\text{dist}(p, q) = 2 \min \{\langle p, q \rangle, \langle p, -q \rangle\}

这里需要在两个值之间取最小值的原因也可以参见 Krasjet / Quaternion 第 5.4 节・双倍覆盖带来的问题(第 46 页)。

回顾之前四元数与旋转的关系,不难得知两个旋转 (R1,R2)(R_1, R_2) 的距离与其对应四元数 q(R1)q(R_1)q(R2)q(R_2) 在球面上的距离成线性关系(前者是后者的两倍)。

unit_circle_and_rotation_diagram

四元数插值#

这部分证明可以参见 Krasjet / Quaternion 第 5 节・四元数插值(第 41 页)。

线性插值(Linear Interpolation, Lerp)#

q(t)=(1t)q1+tq2q(t) = (1-t)q_1 + tq_2

lerp

归一化线性插值(Normalized Linear Interpolation, Nlerp)#

q(t)=(1t)q1+tq2(1t)q1+tq2q(t) = \frac{(1-t)q_1 + tq_2}{\|(1-t)q_1 + tq_2\|}

省流:就是除个模长,让他恢复为单位四元数。

nlerp

球面线性插值(Spherical Linear Interpolation, Slerp)#

以上两种插值都有问题,他们实际上是线性切分了弦长,而不是弧长,这会导致在转动的时候的角速度不均匀:

nlerp

所以,我们要引入新的插值方式,这就是球面线性插值(Spherical Linear Interpolation, Slerp):

q(t)=sin((1t)θ)sin(θ)q1+sin(tθ)sin(θ)q2q(t) = \frac{\sin((1-t)\theta)}{\sin(\theta)} q_1 + \frac{\sin(t\theta)}{\sin(\theta)} q_2

其中 θ\thetaq1q_1q2q_2 之间的夹角,θ=arccos(q1q2)\theta = \arccos(q_1 \cdot q_2)

slerp

证明的一个方法在 Krasjet / Quaternion 第 5.3 节・球面线性插值(第 43 页)。

不过老师的 Slide 上有另一种更简单直观的利用三角函数性质的证明方法:

vector_geometry_angle_diagram

α+β=ψv(t)=w0v0+w1v1sinαw1=sinβw0=sin(πψ)1=sinψw0=sinβsinψw1=sinαsinψψ=cos1(v0v1)\begin{aligned} \alpha+\beta&=\psi\\ \mathbf{v}(t)&=w_0\mathbf{v}_0+w_1\mathbf{v}_1\\ \frac{\sin\alpha}{w_1}&=\frac{\sin\beta}{w_0}=\frac{\sin(\pi-\psi)}1=\sin\psi\\ w_{0}&=\frac{\sin\beta}{\sin\psi}\\ w_{1}&=\frac{\sin\alpha}{\sin\psi}\\ \psi&=\cos^{-1}(\mathbf{v}_0\cdot\mathbf{v}_1) \end{aligned}

第三个式子利用了三角形的性质:

Asinα=Bsinβ=Csinγ\frac{A}{\sin\alpha}=\frac{B}{\sin\beta}=\frac{C}{\sin\gamma}

球面均匀采样#

考虑我们如何随机采样一个旋转。

引理:在 SO(3)\mathbb{SO}(3) 中均匀采样旋转矩阵等价于从单位四元数的集合 S(3)\mathbb{S}(3) 中均匀采样。

原因:两个旋转之间的距离与对应的四元数在单位球面上的距离成线性关系。

那么,如何均匀采样 S(3)\mathbb{S}(3) 呢?

方法:从四维标准正态分布 N(0,I4×4)\mathcal{N}(0, I_{4 \times 4}) 中随机采样一个变量,并将其归一化,从而得到(直接解释为)单位四元数。

原因:由于标准正态分布是各向同性的(即在所有方向上均匀分布),所以采样得到的单位四元数在 S(3)\mathbb{S}(3) 中也是均匀分布的。

随后,采样得到的单位四元数也就可以转换为对应的旋转矩阵(如果需要)。

有趣的事实#

对于神经网络来讲,最好的旋转表示方法是 9 个数的旋转矩阵。因为其他的表示方法均可能出现对于输入的微小扰动,即一个小的旋转,出现一个跳变,而只有最初最冗余的 R3×3\mathbb{R}^{3\times3} 旋转矩阵保证其必然是连续的( 即连续性 ),而这对于神经网络是很好的性质。

各旋转表示方式对比#

RepresentationInverse?Composing?Any local movement in SO(3) can be achieved by local movement in the domain?
Rotation Matrix✔️✔️N/A
Euler AngleComplicatedComplicatedNo
Angle-axis✔️Complicated?
Quaternion✔️✔️✔️
  • 旋转矩阵:可逆、可组合(矩阵连乘)、但在 SO(3)\mathbb{SO}(3) 上移动不直接(9 D - 6 约束 = 3DoF)
  • 欧拉角:逆向复杂、组合复杂、因为 Gimbal lock 的存在,与 SO(3)\mathbb{SO}(3) 不能平滑映射
  • 轴角:可逆、组合复杂、大部分情况下可以与 SO(3)\mathbb{SO}(3) 平滑映射,但是在边界情况(如旋转 00 度时)不行
  • 四元数:完美

运动规划#

形式化表述#

配置空间 (Configuration Space)#

定义:配置空间(Configuration spcae,C-space)是 Rn\mathbb{R}^n 的一个子集,包含系统的所有可能状态(即状态空间)。

  • CC:配置空间,表示所有可能状态的集合。
  • CfreeCC_{\text{free}} \subseteq C自由空间,包含所有有效状态(无碰撞)。
  • CobsCC_{\text{obs}} \subseteq C障碍空间,表示有障碍的无效状态。
  • CfreeCobs=CC_{\text{free}} \cup C_{\text{obs}} = C
  • CfreeCobs=C_{\text{free}} \cap C_{\text{obs}} = \varnothing

问题定义#

configuration_space_pathfinding

给定:

  • 自由空间 CfreeC_{\text{free}}
  • 起始状态 qstartCfreeq_{\text{start}} \in C_{\text{free}}
  • 目标状态 qgoalCfreeq_{\text{goal}} \in C_{\text{free}}

目标:计算一系列动作,使机器人从 qstartq_{\text{start}} 移动到 qgoalq_{\text{goal}}

注意,这里的符号 qq 不是四元数(quaternion)的意思,其是配置空间中的一个点,即状态。

例如,对于一个机械臂,其配置空间可能是 Rn\mathbb{R}^n,那么 qq 就是关节的角度组合之一 (θ1,θ2,,θn)(\theta_1, \theta_2, \dots, \theta_n)

挑战#

  1. 避免障碍物:确保路径始终在 CfreeC_{\text{free}} 内。
  2. 长规划时间:路径可能较长,需要优化。
  3. 高维空间:配置空间维度可能很高(例如多关节机器人)。
机器人学 II
https://arthals.ink/blog/robotics-ii
Author Arthals
Published at March 5, 2025
Comment seems to stuck. Try to refresh?✨