李群是什么?
李群就是一个矩阵的集合,为何有了矩阵还要弄个矩阵集合呢?因为矩阵它只是一个数,而像实际应用中我可能需要一系列数去描述某个事件的变化。而李群就是用来描述旋转平移上的变化,物体的旋转平移是连续的所以李群它也是随时间变化连续的。某个时刻下李群它是一个矩阵,但是一段时间内它是无数个矩阵的集合。
旋转矩阵和齐次变换矩阵都是李群。旋转矩阵一般叫做特殊正交群简写为SO(3)
,Special orthogonal Group,齐次变换矩阵一般叫做特殊欧几里得群SE(3)
,Special euclidean Group。之所以字前面加个特殊是因为他们的行列式等于1,正交群是指他们是正交矩阵,欧几里得是指的是欧几里得变换这种变换是刚体变换(不会改变物体、向量的大小)。
李代数又是什么?
由于李群它是矩阵,而矩阵的元素是关于角度和时间的函数。某个时刻角度增加了一点点,并不能通过矩阵直接加减某个增量。这使得求导有困难。然后科学家就想到一个办法,那就是我对它自变量直接进行加减某个小的增量不就可以实现导数了么?李群就像一个函数,而李代数就是这个函数的自变量。只不过李群这个函数比较特殊,它是一个矩阵。李代数这个自变量也很特殊它是一个向量。
李群与李代数之间的关系?
我们在前面提到了旋转矩阵SO(3)和齐次变换矩阵SE(3)都是李群。那么他们对应的李代数是什么呢?
答:旋转矩阵SO(3)对应的李代数是旋转向量(如果不懂旋转向量和旋转矩阵可以看这篇文章),齐次变换矩阵的李代数是一个六维的向量组成这个向量的内容是平移量和旋转角度量。前面我们提到了李群就相当于一个函数,李代数就是相当于李群的自变量。那么这个自变量与函数之间的变换关系是什么呢?答:他们是指数变换关系。
数学家是怎么发现李群与李代数他们是指数关系?
我们知道旋转矩阵是李群,旋转矩阵是正交矩阵。正交矩阵意味着 R R T = I RR^T=I RRT=I,由于李群是随时间变化的矩阵,所以我们把那个矩阵加个时间自变量,于是前面那个式子就变成了 R ( t ) R ( t ) T = I R(t)R(t)^T=I R(t)R(t)T=I。然后我们对这个式子进行求导,自变量是t。然后上面那个式子变成了 R ˙ ( t ) R ( t ) T + R ( t ) R ˙ ( t ) T = 0 \dot R(t)R(t)^T + R(t)\dot R(t)^T=0 R˙(t)R(t)T+R(t)R˙(t)T=0。然后有 R ˙ ( t ) R ( t ) T = − R ( t ) R ˙ ( t ) T = − [ R ˙ ( t ) R ( t ) T ] T \dot R(t)R(t)^T = -R(t)\dot R(t)^T = -[\dot R(t)R(t)^T]^T R˙