特殊正交群 SO(3)

SO(3) 是數學家給「所有可能的三維旋轉」這一完整集合起的名字——你能讓一個物體在三維空間裡旋轉或傾斜的每一種方式，都被收攏進這一個整齊的家族裡。這個名字看起來嚇人，但想法其實很親切：它不過就是「所有轉動的集合」，就像所有整數構成一個可數事物的整齊家族一樣。一個剛性物體能擁有的任何朝向，都是這個家族裡的一員，而 SO(3) 真正編目的就只是這些。

讓它在數學意義上成為一個「群」的，是這些轉動能夠合理地組合起來。先做一次旋轉，再做一次，整體結果仍然只是某一個單獨的旋轉——仍然是這個家族裡的一員（這一性質叫做封閉性）。每次旋轉都能透過反方向轉回去而被撤銷（這是它的逆元），而什麼都不做（不轉）也算是一員（這是單位元）。正因為有這些乾淨的規則，SO(3) 表現得像一個自成一體的旋轉世界：你絕不會因為把成員組合起來而意外地「掉出」這個世界。

在實踐中，工程師用來表示朝向的旋轉矩陣，正是 SO(3) 裡的居民：每一個合法的旋轉矩陣都是這個空間裡的一個點，而這個空間裡的每個點都是一次合法的旋轉。明白朝向住在這樣一個特殊的、彎曲的空間裡（而不是在一條平直的數軸上），正是它在提醒機器人專家：對旋轉做平均或插值，要比對普通數字做平均小心得多。