SO3d::hat() 帽子算子的理解

1. 数学定义：向量 → 反对称矩阵
给定一个 3 维旋转向量

hat 算子把它变成一个 3×3 的反对称矩阵（skew-symmetric matrix）：

特点：
对角线元素全为 0；
主对角线两侧元素互为相反数：Aij​=−Aji​；
因此满足 AT=−A，这是反对称矩阵的定义。
2. 物理意义：连接 “叉乘” 和 “矩阵乘法”
在 3D 空间里，两个向量的叉乘 a×b 可以用矩阵乘法来表示：a×b=a∧b
其中 a∧ 就是用 hat 算子把向量 a 转成的反对称矩阵。

意义：
把 “几何上的叉乘” 变成 “线性代数里的矩阵乘法”，这是李代数求导、雅可比推导的核心工具。