7.1 几何学
7.1.1 SO3的定义
SO3的需要满足的特殊性质,一般在normalize中会用到。对于旋转矩阵A, , 其行列式等于1:
SO3对于加法并不封闭,这也是为什么其导数不那么直接的原因。
群的定义:一个集合及一个二元运算所组成,以乘法为例
封闭性 | 乘法封闭 |
结合率 | 乘法结合律 |
存在幺元 | 1 |
存在逆 | 可逆 |
以上性质可以总结为: 封结妖(幺)逆
7.1.2 李代数
李代数的定义:由实数域上张成的向量空间V 和一个二元运算符构成
这个二元运算符俗称李括号
7.1.3 指数映射
指数映射是联系李群和李代数的连接器。实数指数的泰勒展开式,同样适用于矩阵。