更多文章请关注微信公众号:SLAM之路
目录
1.What-旋转群(SO(3))
旋转是线性变换,保留了向量的长度和相对方向等特征,在3D刚体旋转领域极其重要;
因刚体运动要求旋转过程中精确保留距离[norms]/角度[angles]/相对方向[relative orientations],否则无法视为刚体;
定义旋转操作符 r:,其中
,v是欧几里得空间的矩阵,通过点乘/叉乘等满足特性
- 旋转保留向量范数 [长度]
- 旋转保留向量角度[角度]
- 旋转保留相对方向[方向]
旋转可以通过旋转矩阵或四元数组成,两者在概念或几何上均存在相似性,最大的区别在于单位四元数组
成SO(3)时存在两面性(double cover);
2.How-旋转群(SO(3))和旋转矩阵(R)
上文定义操作符r()是线性的,采用旋转矩阵时,通过矩阵乘法实现旋转:
根据旋转保留向量范数,及点乘可得:
因此R应满足正交矩阵性质,称为正交群O(3),即;从而可得
逆旋转
(正交矩阵性质)通过旋转矩阵R的转置实现;
根据旋转保留向量方向,及叉乘可得det(R)=1;因此具有行列式值为1的正交矩阵成为特殊的,习惯
称为特殊正交群SO(3);
2.1旋转矩阵指数映射:
一种数学运算技巧,使导数/扰动/等定义合理化;旋转构成刚体运动,因此使用SO(3)特殊正交群
定义连续的轨迹或路径r(t)成为可能,刚体旋转具有连续性,对旋转变换进行时间积分进行研究;