[科普中国]-旋转矩阵- · 科普中国网

简介

旋转矩阵的原理在数学上涉及到的是一种组合设计：覆盖设计。而覆盖设计，填装设计，斯坦纳系，t-设计都是离散数学中的组合优化问题。它们解决的是如何组合集合中的元素以达到某种特定的要求。其最古老的数学命题是寇克曼女生问题：

某教员打算这样安排她班上的十五名女生散步：散步时三女生为一组，共五组。问能否在一周内每日安排一次散步，使得每两名女生在一周内一道散步恰好一次？寇克曼于1847年提出了该问题，过了100多年后，对于一般形式的寇克曼问题的存在性才彻底解决。用1~15这15个数字分别代表15个女生，其中的一组符合要求的分组方法是：

星期日：（1，2，3），（4，8，12），（5，10，15），（6，11，13），（7，9，14）

星期一：（1，4，5），（2，8，10），（3，13，14），（6，9，15），（7，11，12）

星期二：（1，6，7），（2，9，11），（3，12，15），（4，10，14），（5，8，13）

星期三：（1，8，9），（2，12，14），（3，5，6），（4，11，15），（7，10，13）

星期四：（1，10，11），（2，13，15），（3，4，7），（5，9，12），（6，8，14）

星期五：（1，12，13），（2，4，6），（3，9，10），（5，11，14），（7，8，15）

星期六：（1，14，15），（2，5，7），（3，8，11），（4，9，13），（6，10，12）

历史Patric Ostergard

他的主要贡献是用了全新的模拟退火算法解决了旋转矩阵的构造问题，运用他的模拟退火程序，可以很迅速的产生许许多多的旋转矩阵。

Alex Sidorenko

他研究出了许多旋转矩阵和几种产生旋转矩阵的基于秃岭浏览的一般方法。

Greg Kuperberg

他注意到线性的[v,t]编码的补集可以给出区组长度不定的覆盖设计，而这可以产生对现有的旋转矩阵的一系列改进。

Dan Gordon

他收集的旋转矩阵是迄今为止最全面，最权威的。

性质设是任何维的一般旋转矩阵:

（1）两个向量的点积(内积)在它们都被一个旋转矩阵操作之后保持不变:2

（2）从而得出旋转矩阵的逆矩阵是它的转置矩阵:

这里的是单位矩阵。

（3）一个矩阵是旋转矩阵，当且仅当它是正交矩阵并且它的行列式是单位一。正交矩阵的行列式是 ±1；如果行列式是 −1，则它包含了一个反射而不是真旋转矩阵。

（4）旋转矩阵是正交矩阵，如果它的列向量形成的一个正交基，就是说在任何两个列向量之间的标量积是零(正交性)而每个列向量的大小是单位一(单位向量)。

（5）任何旋转向量可以表示为斜对称矩阵A的指数:

这里的指数是以泰勒级数定义的而是以矩阵乘法定义的。A矩阵叫做旋转的“生成元”。旋转矩阵的李代数是它的生成元的代数，它就是斜对称矩阵的代数。生成元可以通过 M 的矩阵对数来找到。

二维空间在二维空间中，旋转可以用一个单一的角定义。作为约定，正角表示逆时针旋转。把笛卡尔坐标的列向量关于原点逆时针旋转的矩阵是:

三维空间在三维空间中，旋转矩阵有一个等于单位1的实特征值。旋转矩阵指定关于对应的特征向量的旋转(欧拉旋转定理)。如果旋转角是 θ，则旋转矩阵的另外两个(复数)特征值是 exp(iθ) 和 exp(-iθ)。从而得出 3 维旋转的迹数等于 1 + 2 cos(θ)，这可用来快速的计算任何 3 维旋转的旋转角。

3 维旋转矩阵的生成元是三维斜对称矩阵。因为只需要三个实数来指定 3 维斜对称矩阵，得出只用三个是实数就可以指定一个 3 维旋转矩阵。

旋转生成旋转矩阵的一种简单方式是把它作为三个基本旋转的序列复合。关于右手笛卡尔坐标系的x-,y- 和z-轴的旋转分别叫做roll,pitch和yaw旋转。因为这些旋转被表达为关于一个轴的旋转，它们的生成元很容易表达。

绕x-轴的主动旋转定义为:3

这里的是 roll 角，和右手螺旋的方向相反（在yz平面顺时针）。