特殊正交群 SO(3)

SO(3) 是数学家给“所有可能的三维旋转”这一完整集合起的名字——你能让一个物体在三维空间里旋转或倾斜的每一种方式，都被收拢进这一个整齐的家族里。这个名字看起来吓人，但想法其实很亲切：它不过就是“所有转动的集合”，就像所有整数构成一个可数事物的整齐家族一样。一个刚性物体能拥有的任何朝向，都是这个家族里的一员，而 SO(3) 真正编目的就只是这些。

让它在数学意义上成为一个“群”的，是这些转动能够合理地组合起来。先做一次旋转，再做一次，整体结果仍然只是某一个单独的旋转——仍然是这个家族里的一员（这一性质叫做封闭性）。每次旋转都能通过反方向转回去而被撤销（这是它的逆元），而什么都不做（不转）也算是一员（这是单位元）。正因为有这些干净的规则，SO(3) 表现得像一个自成一体的旋转世界：你绝不会因为把成员组合起来而意外地“掉出”这个世界。

在实践中，工程师用来表示朝向的旋转矩阵，正是 SO(3) 里的居民：每一个合法的旋转矩阵都是这个空间里的一个点，而这个空间里的每个点都是一次合法的旋转。明白朝向住在这样一个特殊的、弯曲的空间里（而不是在一条平直的数轴上），正是它在提醒机器人专家：对旋转做平均或插值，要比对普通数字做平均小心得多。