本博客主要记录学习高翔老师视觉SLAM14讲的总结笔记,若有总结不对的地方,欢迎大家与我讨论。
一、群
- 群是一种集合加上一种运算的代数结构,即,满足封结幺逆的性质。
- 李群是指具有连续光滑性质的群,如SO(3)和SE(3)。
二、李代数
- 李代数由一个集合N、一个数域F和一个二元运算组成的,满足封闭性、双线性、自反性和雅可比等价性。李代数描述的是李群的局部性质,是李群单位元处的正切空间。
- 李代数so(3)是SO(3)对应的李代数,满足
- 李代数se(3)是SE(3)对应的李代数,满足
其中,表示平移,但与变换矩阵中的平移不同。
三、指数映射和对数映射
四、BCH公式
由于SO(3)对加法运算并不封闭,所以当求类似,对SO(3)求导时,没有很好的导数性质,所以可以转换为李代数,从而具有导数性质。BCH公式如下所示:
上式分别对应的左乘模型和右乘模型,其中为:
对于微小角度变化,根据左乘模型可以用李代数表达为:
由此,李群上相乘运算(角度相加)转换为李代数上的相加运算。
五、SO(3)上的李代数导数
5.1李代数求导模型
详细推导过程,可看书P84,结果为:
5.2扰动模型
左扰动:
右扰动:
六、SE(3)上的李代数求导
左扰动:
右扰动: