Macierz obrotu

Macierz obrotu – macierz opisująca obrót wektora w przestrzeni euklidesowej. Obrót w $n$-wymiarowej przestrzeni euklidesowej jest opisany przez macierz kwadratową $n\times n.$ W wyniku mnożenia macierzy obrotu przez wektor otrzymuje się wektor obrócony.

W 2 wymiarach

Obrót wektora przeciwnie do obrotu wskazówek zegara o kąt $\theta .$ Wektor jest początkowo równoległy do osi $x$

W dwóch wymiarach każda macierz obrotu ma postać

$R(\theta )=\left[\begin{array}{cc}\cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{array}\right].$

Macierz ta obraca wektory kolumnowe następująco

$\left[\begin{array}{c}{x}^{\prime }\\ y^{\prime }\end{array}\right]=\left[\begin{array}{cc}\cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{array}\right]\left[\begin{array}{c}x\\ y\end{array}\right].$

Tak więc współrzędne $(x^{\prime },y^{\prime })$ punktu $(x,y)$ po obrocie mają wartości

$x^{\prime }=x\cos \theta -y\sin \theta ,$

$y^{\prime }=x\sin \theta +y\cos \theta .$

Obrót jest przeciwny do obrotu wskazówek zegara jeżeli kąt $\theta$ jest dodatni (np. 90°), zaś zgodny ze wskazówkami zegara, jeżeli kąt $\theta$ jest ujemny (np. −90°). Dlatego macierz obrotu zgodnego ze wskazówkami zegara ma postać

$R(-\theta )=\left[\begin{array}{cc}\cos \theta & \sin \theta \\ -\sin \theta & \cos \theta \end{array}\right].$

Obrót w dwóch wymiarach ma szczególną własność przemienności, tak że nie ma znaczenia kolejność wykonywanych obrotów (macierze obrotu są też przemienne).

Uwaga:

Alternatywna konwencja używa obrotu osi układu współrzędnych: wtedy pokazane tu macierze obrotu $R(\theta )$ reprezentują obrót osi zgodnie ze wskazówkami zegara o kąt $\theta .$

W 3 wymiarach – obroty podstawowe

Obrót podstawowy (zwany też obrotem elementarnym) jest to obrót wokół dowolnej osi układu współrzędnych. Poniżej zapisane trzy macierze obrotów elementarnych obracają wektory o kąt $\theta$ wokół osi $x,$ $y$ lub $z$ w trzech wymiarach zgodnie z regułą prawej dłoni. (Te same macierze reprezentują też obrót osi układu przeciwnie do obrotu wynikającego z reguły prawej dłoni, czyli „zgodnie ze wskazówkami zegara”).

$\begin{array}{cc}{R}_x(\theta )& =\left[\begin{array}{ccc}1& 0& 0\\ 0& \cos \theta & -\sin \theta \\ 0& \sin \theta & \cos \theta \end{array}\right]\\ R_y(\theta )& =\left[\begin{array}{ccc}\cos \theta & 0& \sin \theta \\ 0& 1& 0\\ -\sin \theta & 0& \cos \theta \end{array}\right]\\ R_z(\theta )& =\left[\begin{array}{ccc}\cos \theta & -\sin \theta & 0\\ \sin \theta & \cos \theta & 0\\ 0& 0& 1\end{array}\right]\end{array}$

Każda z powyższych macierzy obraca wektory kolumnowe przeciwnie do ruchu wskazówek zegara jeżeli: 1) oś obrotu kieruje się w stronę obserwatora; 2) układ współrzędnych jest prawoskrętny; 3) kąt obrotu $\theta$ jest dodatni.

Np. macierz $R_z$ dla kąta $\theta =90^{\circ }$ obraca wektor ustawiony początkowo zgodnie z osią $x$ na kierunek zgodny z osią $y;$ można to łatwo sprawdzić mnożąc macierz $R_z$ przez wektor (1,0,0):

$R_z(90^{\circ })\left[\begin{array}{c}1\\ 0\\ 0\end{array}\right]=\left[\begin{array}{ccc}\cos 90^{\circ }& -\sin 90^{\circ }& 0\\ \sin 90^{\circ }& \cos 90^{\circ }& 0\\ 0& 0& 1\end{array}\right]\left[\begin{array}{c}1\\ 0\\ 0\end{array}\right]=\left[\begin{array}{ccc}0& -1& 0\\ 1& 0& 0\\ 0& 0& 1\end{array}\right]\left[\begin{array}{c}1\\ 0\\ 0\end{array}\right]=\left[\begin{array}{c}0\\ 1\\ 0\end{array}\right].$

W 3 wymiarach – dowolne obroty

Położenia trzech osi obrotu

(1) Obrót wokół środka ciężkości bryły

W środku ciężkości bryły (np. samolotu) umieszczamy 3 nieruchome względem Ziemi osie $x,y,z.$ Bryła dokonuje obrotu wokół tych osi (por. rysunek), przy czym kąty roll – pitch – yaw wynoszą odpowiednio

${\alpha }_{\text{roll}}$ – kąt obrotu wokół osi $x,$

${\beta }_{\text{pitch}}$ – kąt obrotu wokół osi $y,$

${\gamma }_{\text{yaw}}$ – kąt obrotu wokół osi $z.$

Macierz całego obrotu oblicza się mnożąc macierze obrotu wokół kolejnych osi, tj.

$R=R_z({\gamma }_{\text{yaw}})R_y({\beta }_{\text{pitch}})R_x({\alpha }_{\text{roll}}).$

Jeśli wynikową macierz $R$ pomnoży się z prawej strony przez wektor kolumnowy, przedstawiający np. wektor łączący pas pilota z głową, to w wyniku otrzyma się wektor opisujący położenie pilota względem Ziemi po obrocie.

(2) Podobnie, macierz

$R=R_z(\gamma )R_y(\beta )R_x(\alpha )$

przedstawia obrót wokół osi $y,$ $x,$ z zadany przez kąty Eulera $\alpha ,$ $\beta ,$ $\gamma .$

Własności macierzy obrotu w n wymiarach

Rozważymy tu obroty w dowolnej, $n$-wymiarowej przestrzeni euklidesowej. Obrót jest przykładem izometrii, tj. transformacji, która mimo że przemieszcza punkty przestrzeni, to nie zmienia odległości między nimi. Przy tym obroty odróżniają od innych izometrii dwie szczególne własności:

1. zostawiają przynajmniej jeden punkt nie zmieniony,
2. pozostawiają skrętność układu nie zmienioną.

Inaczej jest w przypadku innych izometrii: translacja przesuwa wszystkie punkty, odbicie zmienia układ lewoskrętny na prawoskrętny i odwrotnie, zaś odbicie z przemieszczeniem dokonuje obu zmian.

Tw. 1. Macierz obrotu jest macierzą ortogonalną o wyznaczniku równym 1.

Uzasadnienie:

1) Jeżeli punktem obrotu jest początek układu współrzędnych O(0,0), to każdy punkt P można określić za pomocą wektora łączącego punkt O z punktem P. Można wtedy rozważać działania na takich wektorach (które tworzą przestrzeń wektorową), zamiast rozważać działania na punktach. Załóżmy, że $(p_1,\dots ,p_n)$ są współrzędnymi wektora p łączącego punkt O z punktem P. Jeżeli wybierzemy ortonormalną bazę w przestrzeni, to kwadrat długości wektora p (równy odległości OP) wyznaczamy za pomocą twierdzenia Pitagorasa

$\Vert 𝐩{\Vert }^2=\sum _{r=1}^n{p}_r^2.$

Można to wyrazić jako też mnożenie macierzowe

$\Vert 𝐩{\Vert }^2=\left[\begin{array}{c}{p}_1\dots p_n\end{array}\right]\left[\begin{array}{c}{p}_1\\ ⋮\\ p_n\end{array}\right]={𝐩}^T𝐩.$

Nałóżmy warunek, że obrót (jak i każda inna izometria) nie zmienia odległości punktów, tzn.

${𝐩}^T𝐩=(R𝐩{)}^T(R𝐩).$

Ponieważ

$(R𝐩{)}^T={𝐩}^T{R}^T,$

to otrzymamy:

$\begin{array}{c}{𝐩}^T𝐩={𝐩}^T(R^{T}R)𝐩.\end{array}$

Powyższe równanie musi być prawdziwe dla wszystkich wektorów p, stąd wynika, że

$R^{T}R=I,$

co oznacza, że macierz odwrotna do macierzy obrotu jest macierzą do niej transponowaną

$R^{-1}=R^T.$

Stąd wynika, że wyznacznik macierzy $R$ jest równy $\pm 1.$

Wynika z powyższego, że macierz obrotu $R$ jest macierzą ortogonalną. Własność ta jest słuszna dla dowolnej macierzy odpowiadającej izometrii.

2) W przypadku obrotu mamy dodatkowo warunek, że obroty zachowują skrętność układu współrzędnych (gdyż nie mogą zmienić kolejności osi układu), co oznacza że wyznacznik macierzy $R$ jest równy +1, tj.

$\det R=+1,$

Macierz obrotu jest więc specjalną macierzą ortogonalną (tzn. macierzą ortogonalną o wyznaczniku równym 1).

Tw. 2. Jeżeli macierz $n\times n$ ma wyznacznik równy jeden i jest ortogonalna, to macierz ta jest macierzą obrotu.

Wniosek:

Z Tw. 1 i Tw. 2 wynika, że istnieje wzajemnie jednoznaczna odpowiedniość między specjalnymi macierzami ortogonalnymi a samymi obrotami.

Grupa macierzy obrotu SO(n)

Tw. 1. Macierze obrotu $n\times n$ tworzą grupę macierzy – specjalną grupę ortogonalną $\mathrm{S}\mathrm{O}(n).$

Np. macierze 2×2 tworzą grupę SO(2), zaś macierze 3×3 tworzą grupę SO(3).

Uzasadnienie:

1) Mnożenie macierzy obrotu jest działaniem w zbiorze tych macierzy, tzn. daje w wyniku macierz obrotu. Niech $R=R_1{R}_2,$ to wtedy mamy:

$\begin{array}{cc}(R_1{R}_2{)}^T(R_1{R}_2)& =R_2^T(R_1^T{R}_1)R_2=I,\\ \det (R_1{R}_2)& =(\det R_1)(\det R_2)=+1.\end{array}$

2) Element odwrotny: Każda macierz obrotu ma macierz odwrotną, która też jest macierzą obrotu. Jest to macierz transponowana do danej macierzy

$R^{-1}=R^T,$

oraz

$\det R^T=\det R=+1.$

3) Element neutralny: Macierz jednostkowa n×n jest macierzą obrotu o kąt 0°.

4) Mnożenie macierzy jest łączne.

Tw. 2. Dla $n$ większego niż 2, mnożenie macierzy obrotu $n\times n$ nie jest przemienne – oznacza to, że grupa SO(n) jest nieabelowa dla $n>2.$ Np. weźmy

$\begin{array}{cccc}{R}_1& =\left[\begin{array}{ccc}0& -1& 0\\ 1& 0& 0\\ 0& 0& 1\end{array}\right],& R_2& =\left[\begin{array}{ccc}0& 0& 1\\ 0& 1& 0\\ -1& 0& 0\end{array}\right].\end{array}$

Wtedy mamy

$R_1{R}_2=\left[\begin{array}{ccc}0& -1& 0\\ 0& 0& 1\\ -1& 0& 0\end{array}\right]\ne R_2{R}_1=\left[\begin{array}{ccc}0& 0& 1\\ 1& 0& 0\\ 0& 1& 0\end{array}\right].$

Tw. 3. Grupa macierzy obrotu $n\times n$ jest izomorficzna z grupą obrotów w przestrzeni $n$-wymiarowej.

Oznacza to, że macierz obrotu odpowiada dokładnie fizycznie wykonanemu obrotowi wokół osi o odpowiednio dobranym kierunku.

Obroty infinitezymalne w 3D

Macierze $A$ algebry Liego $\text{so}(3)$ nie są macierzami obrotu – są one antysymetryczne i jako takie są pochodnymi macierzy obrotu, obliczonymi dla infinitezymalnego obrotu o kąt $d\theta$ od położenia $\theta =0.$ Faktyczna macierz obrotu o kąt infinitezymalny $d\theta$ ma postać

$dR\equiv I+Ad\theta ,$

gdzie $I$ jest macierzą jednostkową 3 × 3. Np. jeżeli macierz obrotu o kąt infinitezymalny wokół osi $x$ ma postać

$d{R}_x\equiv I+Ad\theta =\left[\begin{array}{ccc}1& 0& 0\\ 0& 1& -d\theta \\ 0& d\theta & 1\end{array}\right].$

Powyższą macierz otrzymamy z macierzy obrotu $R_x$ stosując przybliżenia: $\sin d\theta =d\theta ,$ $\cos d\theta =1,$ tj. pomijając wyrazy rzędu drugiego i wyższe.

Tw.

Macierze infinitezymalnego obrotu są ortogonalne i przemienne – w odróżnieniu od macierzy obrotu o kąt skończony.

Dowód:

1) Rozważmy macierz

$d{R}_x=\left[\begin{array}{ccc}1& 0& 0\\ 0& 1& -d\theta \\ 0& d\theta & 1\end{array}\right].$

Macierz ta jest ortogonalna, gdyż

$d{R}_x^{T}d{R}_x=\left[\begin{array}{ccc}1& 0& 0\\ 0& 1+d{\theta }^2& 0\\ 0& 0& 1+d{\theta }^2\end{array}\right]$

– różni się więc od macierzy jednostkowej tylko o pomijalnie małe wyrazy 2-go rzędu $d{\theta }^2.$ A więc z dokładnością do wyrazów 1-go rzędu macierze infinitezymalnego obrotu są ortogonalne, cnd.

2) Kwadrat macierzy $d{R}_x,$ tj.

$d{R}_x^2=\left[\begin{array}{ccc}1& 0& 0\\ 0& 1-d{\theta }^2& -2d\theta \\ 0& 2d\theta & 1-d{\theta }^2\end{array}\right].$

z dokładnością do wyrazów 1-go rzędu ma tę własność, że kąt podwaja się.

3) Macierz infinitezymanego obrotu wokół osi z ma postać

$d{R}_y=\left[\begin{array}{ccc}1& 0& d\varphi \\ 0& 1& 0\\ -d\varphi & 0& 1\end{array}\right].$

Porównując iloczyny infinitezymalnych obrotów mamy:

$\begin{array}{cc}d{R}_{x}d{R}_y& =\left[\begin{array}{ccc}1& 0& d\varphi \\ d\theta d\varphi & 1& -d\theta \\ -d\varphi & d\theta & 1\end{array}\right]\\ d{R}_{y}d{R}_x& =\left[\begin{array}{ccc}1& d\theta d\varphi & d\varphi \\ 0& 1& -d\theta \\ -d\varphi & d\theta & 1\end{array}\right].\end{array}$

Ponieważ $d\theta d\varphi$ jest 2-go rzędu, to można pominąć ten wyraz. Widać, że z dokładnością do wyrazów pierwszego rzędu mnożenie macierzy infinitezymalnego obrotu jest przemienne, tj.

$d{R}_{x}d{R}_y=d{R}_{y}d{R}_x,$ cnd.

Składając infinitezymalne obroty można otrzymać obroty skończone (por. Grupa obrotów).

Zobacz też

• grupa obrotów
• grupa SO(2)
• macierz ortogonalna

Bibliografia

• H. Guściora, M. Sadowski, Repetytorium z algebry liniowej, Wydawnictwo Naukowe PWN, Warszawa 1997.
• T. Trajdos, Matematyka cz. II, Podręczniki akademickie, Warszawa 1993.

Linki zewnętrzne

• Szablon:Springer
• Szablon:MathWorld
• Macierze obrotu na stronie MathPages
• Parametryzacja SOn(R) za pomocą uogólnionych kątów Eulera
• Obrót wokół dowolnego punktu
• Obroty z wykorzystaniem kwaternionów