-
旋轉矩陣
鎖定
- 中文名
- 旋轉矩陣
- 外文名
- Rotation matrix
- 學 科
- 數學
- 研究者
- 底特羅夫
- 分 為
- 主動旋轉與被動旋轉
- 相關術語
- 正交矩陣
旋轉矩陣簡介
旋轉矩陣的原理在數學上涉及到的是一種組合設計:覆蓋設計。而覆蓋設計,填裝設計,斯坦納系,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
他收集的旋轉矩陣是迄今為止最全面,最權威的。
旋轉矩陣性質
設
是任何維的一般旋轉矩陣:
(5)任何旋轉向量可以表示為斜對稱矩陣A的指數:
旋轉矩陣二維空間
旋轉矩陣三維空間
在三維空間中,旋轉矩陣有一個等於單位1的實特徵值。旋轉矩陣指定關於對應的特徵向量的旋轉(歐拉旋轉定理)。如果旋轉角是 θ,則旋轉矩陣的另外兩個(複數)特徵值是 exp(iθ) 和 exp(-iθ)。從而得出 3 維旋轉的跡數等於 1 + 2 cos(θ),這可用來快速的計算任何 3 維旋轉的旋轉角。
3 維旋轉矩陣的生成元是三維斜對稱矩陣。因為只需要三個實數來指定 3 維斜對稱矩陣,得出只用三個是實數就可以指定一個 3 維旋轉矩陣。
旋轉矩陣旋轉
生成旋轉矩陣的一種簡單方式是把它作為三個基本旋轉的序列複合。關於右手笛卡爾座標系的x-,y- 和z-軸的旋轉分別叫做roll,pitch和yaw旋轉。因為這些旋轉被表達為關於一個軸的旋轉,它們的生成元很容易表達。
繞y-軸的主動旋轉定義為:
繞z-軸的主動旋轉定義為:
任何 3 維旋轉矩陣
都可以用這三個角
來刻畫,並且可以表示為 roll, pitch 和 yaw 矩陣的乘積。
在
中所有旋轉的集合,加上覆合運算形成了旋轉羣SO(3)。這裏討論的矩陣接着提供了這個羣的羣表示。更高維的情況可參見Givens旋轉。
旋轉矩陣角-軸表示
這個旋轉可以簡單的以生成元來表達:
在運算於向量r上的時候,這等價於Rodrigues旋轉公式:
角-軸表示密切關聯於四元數表示。依據軸和角,四元數可以給出為正規化四元數Q:
這裏的i,j和k是Q的三個虛部。
旋轉矩陣歐拉角表示
在三維空間中,旋轉可以通過三個歐拉角
來定義。有一些可能的歐拉角定義,每個都可以依據 roll, pitch 和 yaw 的複合來表達。依據 "z-x-z" 歐拉角,在右手笛卡爾座標中的主動旋轉矩陣可表達為:
進行乘法運算生成:
因為這個旋轉矩陣不可以表達為關於一個單一軸的旋轉,它的生成元不能像上面例子那樣簡單表達出來。
旋轉矩陣SVD表示
對旋轉軸
和旋轉角
,旋轉矩陣
這裏的
的縱列張開正交於q 的空間而 G 是
度 Givens 旋轉,就是説