1 验证SO(3) SE(3) Sim(3)关于乘法成群 补充:分块矩阵求逆 2.验证验证( R 3 , R , × )构成李代数。 其中二重叉积公式参考这里 叉积线性性质的几何解释 3.验证so(3) se(3)满足李代数要求的性质。 4.验证性质4.20 4.21 5.证明 R p ∧ R ( T ) = ( R p ) ∧ Rp^{\land}R(T)=(Rp)^{\land} Rp∧R(T)=(Rp)∧ 6.证明 R e x p ( ξ ∧ ) R T = e x p ( ( R p ) ∧ ) Rexp(\xi^{\land})R^{T}=exp((Rp)^{\land}) Rexp(ξ∧)RT=exp((Rp)∧) 7. 推导右扰动下的导数 8. find_package() 参考这篇