Matrice di rotazione

Rotazione delle unità vettoriali quando il sistema di coordinate subisce una rotazione

Nell'algebra lineare, una matrice di rotazione è una matrice di trasformazione utilizzata per eseguire una rotazione nello spazio euclideo. Per esempio, utilizzando la seguente convenzione, la matrice

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

ruota i punti nel piano $xy$ in senso antiorario di un angolo $\theta$ rispetto all'origine di un sistema di riferimento cartesiano bidimensionale. Per ruotare un punto nel piano con coordinate standard $𝐯=(x,y)$, si deve moltiplicare la matrice $R$ per il vettore colonna, ottenendo:

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

Se $x$ e $y$ rappresentano le coordinate finali di un vettore, dove $x$ è il coseno e $y$ è il seno, allora le equazioni precedenti diventano l'identità trigonometrica. Infatti, una matrice di rotazione può essere letta come le formule di addizione trigonometriche in forma di matrice. Un modo per comprenderlo è ipotizzare di avere un vettore con un angolo di 30° rispetto all'asse $x$ e ruotarlo di altri 45°. Si ottengono le coordinate del punto finale del vettore a 75°.

Gli esempi riportati si applicato alle rotazioni attive di vettori in senso antiorario in un sistema di coordinate destrorso (con $y$ in senso antiorario rispetto a $x$) mediante pre-moltiplicazione (con la matrice $R$ sulla sinistra). Se uno di questi viene modificato (per esempio, ruotando gli assi in luogo dei vettori, si ha una trasformazione passiva), in quel caso si dovrebbe usare l'inversa della matrice di esempio, che coincide con la sua trasposta.

Una matrice quadrata $R$ è di rotazione se e solo se è ortogonale con numeri reali, (con $R^{𝖳}=R^{-1}$ e $\det R=1$).

Poiché la moltiplicazione di matrici non ha effetto sul vettore nullo (le coordinate dell'origine), le matrici di rotazione descrivono le rotazioni attorno all'origine, fornendo una descrizione algebrica di tali rotazioni e sono ampiamente utilizzate per calcoli in geometria, fisica e computer grafica. In alcuni testi, il termine "rotazione" viene generalizzato includendo le rotazioni improprie, con determinante $-1$ (invece di $+1$). Questi combinano rotazioni "proprie" con "riflessioni" (che invertono l'orientamento). In altri casi, dove le riflessioni vengono trascurate, la dicitura vera e propria può essere omessa. Qui verrà fatta quest'ipotesi.

L'insieme di tutte le matrici ortogonali di dimensione $n$ con determinante $+1$ è una rappresentazione di un gruppo noto come gruppo ortogonale speciale $\text{SO}(n)$, un esempio è il gruppo di rotazione tridimensionale $\text{SO}(3)$. L'insieme di tutte le matrici ortogonali di dimensione $n$ con determinante $+1$ o $-1$ è una rappresentazione del gruppo ortogonale (generale) $\text{O}(n)$.

In due dimensioni

Una rotazione antioraria di un vettore attraverso l'angolo $\theta$. Il vettore è inizialmente allineato con l'asse $x$.

Nel piano, la matrice di rotazione standard ha la seguente forma:

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

Ruota i vettori colonna mediante il seguente prodotto matriciale:

$\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].$

Pertanto, le nuove coordinate $(x^{\prime },y^{\prime })$ di un punto $(x,y)$, dopo la rotazione, sono

$\{\begin{array}{c}{x}^{\prime }=x\cos \theta -y\sin \theta \\ y^{\prime }=x\sin \theta +y\cos \theta .\end{array}$

Esempi

Quando il vettore

$\widehat{𝐱}=\left[\begin{array}{c}1\\ 0\end{array}\right]$

viene ruotato di un angolo $\theta$, le sue coordinate diventano

$\left[\begin{array}{c}\cos \theta \\ \sin \theta \end{array}\right],$

e quando il vettore

$\widehat{𝐲}=\left[\begin{array}{c}0\\ 1\end{array}\right]$

viene ruotato di un angolo $\theta$, le sue coordinate diventano

$\left[\begin{array}{c}-\sin \theta \\ \cos \theta \end{array}\right].$

Direzione

La direzione di rotazione del vettore è antioraria se $\theta$ è positivo (per esempio 90°), oraria se $\theta$ è negativo (per esempio −90°) per $R(\theta )$. Pertanto, la matrice di rotazione in senso orario si ottiene con

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

Il caso bidimensionale è l'unico non banale (non unidimensionale) dove il gruppo di matrici di rotazione è commutativo: non ha importanza l'ordine con cui eseguite rotazioni multiple. Una convenzione alternativa prevede l'uso di assi rotanti, dove le matrici di cui sopra rappresentano una rotazione degli assi in senso orario di un angolo $\theta$.

Orientamento non standard del sistema di coordinate

Una rotazione di un angolo $\theta$ con assi non standard.

Se si utilizza un sistema di riferimento destrorso, con l'asse

$x$

a destra e l'asse

$y$

in alto, la rotazione

$R(\theta )$

avviene in senso antiorario. Viceversa, con un sistema di coordinate cartesiane sinistrorso, dove l'asse

$x$

è sempre orientato verso destra ma l'asse

$y$

è rivolto verso il basso,

$R(\theta )$

produce una rotazione in senso orario. Questi orientamenti sono utilizzati raramente in matematica, ma sono tipici della computer grafica bidimensionale, dove sovente si fissa l'origine degli assi in alto a sinistra con l'asse

$y$

rivolto verso il basso dello schermo o della pagina.

Di seguito sono riportate altre convenzioni che possono alterare il senso di rotazione prodotto da una matrice di rotazione.

Rotazioni bidimensionali tipiche

Particolarmente utili sono le matrici

$\left[\begin{array}{cc}0& -1\\ 1& 0\end{array}\right],\left[\begin{array}{cc}-1& 0\\ 0& -1\end{array}\right],\left[\begin{array}{cc}0& 1\\ -1& 0\end{array}\right],$

le quali rappresentano, rispettivamente, le rotazioni in senso antiorario di 90°, 180° e 270°.Template:Immagine multipla

Relazione con il piano complesso

Da

${\left[\begin{array}{cc}0& -1\\ 1& 0\end{array}\right]}^2=\left[\begin{array}{cc}-1& 0\\ 0& -1\end{array}\right]=-I,$

le matrici della forma

$\left[\begin{array}{cc}x& -y\\ y& x\end{array}\right]$

generano un anello isomorfo al campo dei numeri complessi $ℂ$. Sotto questo isomorfismo, le matrici di rotazione equivalgono al gruppo circolare della circonferenza unitaria dei numeri complessi di modulo unitario.

Identificando ${ℝ}^2$ con $ℂ$ attraverso la trasformazione lineare $(a,b)\mapsto a+ib,$ l'azione di una matrice di rotazione sui vettori di ${ℝ}^2$ corrisponde alla moltiplicazione per il numero complesso $x+iy$, e le rotazioni corrispondono alla moltiplicazione per numeri complessi di modulo 1.

Poiché ogni matrice di rotazione può essere scritta come

$\left[\begin{array}{cc}\cos t& -\sin t\\ \sin t& \cos t\end{array}\right],$

la corrispondenza di cui sopra associa tale matrice al numero complesso

$\cos t+i\sin t=e^{it}.$

Quest'ultima identità è nota come formula di Eulero.

In tre dimensioni

Rotazioni tridimensionali di base

Una rotazione tridimensionale di base (detta anche rotazione elementare) è una rotazione attorno a uno degli assi del sistema di coordinate. Le tre matrici di rotazione seguenti ruotano i vettori di un angolo $\theta$ attorno all'asse $x$, $y$ o $z$, nelle tre dimensioni, utilizzando la regola della mano destra, la quale codifica i loro segni alternati. Si noti che la regola della mano destra funziona solo quando si moltiplica $R\cdot \overrightarrow{x}$ . (Le stesse matrici possono anche rappresentare una rotazione oraria degli assi.)

$\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}$

Per vettori colonna, ciascuna di queste rotazioni di base avviene in senso antiorario quando l'asse, attorno al quale si verifica, punta verso l'osservatore. Il sistema di coordinate è destrorso e l'angolo $\theta$ è positivo. $R_z$, per esempio, ruoterebbe un vettore allineato all'asse $y$ verso l'asse $x$, come si può verificare operando con $R_z$ sul vettore $(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].$

Ciò è simile alla rotazione prodotta dalla matrice di rotazione bidimensionale sopra menzionata. Di seguito sono riportate convenzioni alternative che potrebbero apparentemente o realmente invertire il senso della rotazione prodotta da queste matrici.

Rotazioni tridimensionali generalizzate

Una rotazione completa dell'asteroide Vesta vista dalla sonda Dawn.

Da queste tre rotazioni di base si possono ottenere altre matrici di rotazione tridimensionali, utilizzando la moltiplicazione di matrici. Per esempio, il prodotto

$\begin{array}{cc}R=R_z(\alpha )R_y(\beta )R_x(\gamma )& =\stackrel{\text{imbardata}}{\left[\begin{array}{ccc}\cos \alpha & -\sin \alpha & 0\\ \sin \alpha & \cos \alpha & 0\\ 0& 0& 1\end{array}\right]}\stackrel{\text{beccheggio}}{\left[\begin{array}{ccc}\cos \beta & 0& \sin \beta \\ 0& 1& 0\\ -\sin \beta & 0& \cos \beta \end{array}\right]}\stackrel{\text{rollio}}{\left[\begin{array}{ccc}1& 0& 0\\ 0& \cos \gamma & -\sin \gamma \\ 0& \sin \gamma & \cos \gamma \end{array}\right]}\\ & =\left[\begin{array}{ccc}\cos \alpha \cos \beta & \cos \alpha \sin \beta \sin \gamma -\sin \alpha \cos \gamma & \cos \alpha \sin \beta \cos \gamma +\sin \alpha \sin \gamma \\ \sin \alpha \cos \beta & \sin \alpha \sin \beta \sin \gamma +\cos \alpha \cos \gamma & \sin \alpha \sin \beta \cos \gamma -\cos \alpha \sin \gamma \\ -\sin \beta & \cos \beta \sin \gamma & \cos \beta \cos \gamma \end{array}\right]\end{array}$

rappresenta una rotazione i cui angoli di imbardata, beccheggio e rollio sono rispettivamente $\alpha$, $\beta$ e $\gamma$. Più formalmente, si tratta di una rotazione intrinseca i cui angoli di Eulero sono $\alpha$, $\beta$ e $\gamma$, rispetto agli assi $x$, $y$ e $z$. Similmente, il prodotto

$\begin{array}{c}\\ R=R_z(\gamma )R_y(\beta )R_x(\alpha )& =\left[\begin{array}{ccc}\cos \gamma & -\sin \gamma & 0\\ \sin \gamma & \cos \gamma & 0\\ 0& 0& 1\end{array}\right]\left[\begin{array}{ccc}\cos \beta & 0& \sin \beta \\ 0& 1& 0\\ -\sin \beta & 0& \cos \beta \end{array}\right]\left[\begin{array}{ccc}1& 0& 0\\ 0& \cos \alpha & -\sin \alpha \\ 0& \sin \alpha & \cos \alpha \end{array}\right]\\ & =\left[\begin{array}{ccc}\cos \beta \cos \gamma & \sin \alpha \sin \beta \cos \gamma -\cos \alpha \sin \gamma & \cos \alpha \sin \beta \cos \gamma +\sin \alpha \sin \gamma \\ \cos \beta \sin \gamma & \sin \alpha \sin \beta \sin \gamma +\cos \alpha \cos \gamma & \cos \alpha \sin \beta \sin \gamma -\sin \alpha \cos \gamma \\ -\sin \beta & \sin \alpha \cos \beta & \cos \alpha \cos \beta \end{array}\right]\end{array}$

rappresenta una rotazione estrinseca i cui angoli di Eulero (impropri) sono $\alpha$, $\beta$ e $\gamma$, attorno agli assi $x$, $y$ e $z$.

Queste matrici producono l'effetto desiderato solo se vengono utilizzate per moltiplicare vettori colonna e (poiché in generale il prodotto tra matrici non gode della proprietà commutativa) solo se vengono applicate nell'ordine specificato (si veda Ambiguità per maggiori dettagli). L'ordine delle operazioni di rotazione è da destra a sinistra; la matrice adiacente al vettore colonna è la prima a essere applicata, poi quella a sinistra.

Conversione da matrice di rotazione ad asse-angolo

Ogni rotazione in tre dimensioni è definita dal suo asse (un vettore lungo quest'asse non cambia con la rotazione) e dal suo angolo, la quantità di rotazione attorno all'asse (teorema di Eulero sulla rotazione).

Esistono diversi metodi per calcolare l'asse e l'angolo di una matrice di rotazione (si veda anche la rappresentazione asse-angolo). Qui si descrive solo il metodo basato sul calcolo degli autovettori e autovalori della matrice di rotazione. È anche possibile utilizzare la traccia della matrice di rotazione.

Determinazione dell'asse

Una rotazione $R$ attorno all'asse $𝐮$ può essere scomposta utilizzando 3 endomorfismi $𝐏$, $(𝐈-𝐏)$ e $𝐐$ (clicca per ingrandire)

Data una matrice di rotazione $R$ di ordine 3, un vettore $𝐮$ parallelo all'asse di rotazione deve soddisfare

$R𝐮=𝐮,$

affinché la rotazione di $𝐮$ attorno all'asse di rotazione risulti in $𝐮$. L'equazione precedente può essere risolta per $𝐮$ che è unica a meno di un fattore di scala $R=I$.

Inoltre, l'equazione può essere riscritta

$R𝐮=I𝐮⟹(R-I)𝐮=0,$

la quale mostra che $𝐮$ giace nello spazio nullo $R-I$.

Osservato da un altro punto di vista, $𝐮$ è un autovettore di $R$ corrispondente all'autovalore $\lambda =1$. Ogni matrice di rotazione deve avere questo autovalore, mentre gli altri due autovalori sono complessi coniugati l'uno dell'altro. Ne consegue che una matrice di rotazione in tre dimensioni ha, a meno di una costante moltiplicativa, un solo autovettore reale.

Un modo per determinare l'asse di rotazione è dimostrare che:

$\begin{array}{cc}0& =R^{𝖳}0+0\\ & =R^{𝖳}(R-I)𝐮+(R-I)𝐮\\ & =(R^{𝖳}R-R^{𝖳}+R-I)𝐮\\ & =(I-R^{𝖳}+R-I)𝐮\\ & =(R-R^{𝖳})𝐮\end{array}$

Poiché $(R-R^{𝖳})$ è una matrice antisimmetrica, si può scegliere $𝐮$ tale che

$[𝐮{]}_{\times }=(R-R^{𝖳}).$

Il prodotto matrice-vettore diventa un prodotto vettoriale di un vettore con se stesso, assicurando il risultato nullo:

$(R-R^{𝖳})𝐮=[𝐮{]}_{\times }𝐮=𝐮\times 𝐮=0.$

Pertanto, se

$R=\left[\begin{array}{ccc}a& b& c\\ d& e& f\\ g& h& i\end{array}\right],$

si ha

$𝐮=\left[\begin{array}{c}h-f\\ c-g\\ d-b\end{array}\right].$

Il modulo di $𝐮$ così calcolato è $\Vert 𝐮\Vert =2\sin \theta$, dove $\theta$ è l'angolo di rotazione.

Questo non funziona se $R$ è simmetrica. Soprattutto, se $R-R^{𝖳}$ è nulla, in questo caso tutti i passaggi successivi non sono validi ed è necessario diagonalizzare $R$ e trovare l'autovettore corrispondente all'autovalore 1.

Determinazione dell'angolo

Per trovare l'angolo di rotazione, una volta noto l'asse di rotazione, si considera un vettore $𝐯$ perpendicolare all'asse. Pertanto, l'angolo di rotazione è l'angolo tra $𝐯$ e $R𝐯$.

Un metodo più diretto, tuttavia, consiste semplicemente nel calcolare la traccia: la somma degli elementi diagonali della matrice di rotazione. Occorre fare attenzione nel selezionare il segno giusto affinché l'angolo $\theta$ corrisponda all'asse scelto:

$\mathrm{tr}(R)=1+2\cos \theta ,$

da cui segue che il valore assoluto dell'angolo è

$|\theta |=\arccos \left(\frac{\mathrm{tr}(R)-1}{2}\right).$

Per l'asse di rotazione $𝐧=(n_1,n_2,n_3)$, si può ottenere l'angolazione corretta da

$\{\begin{array}{ccc}\cos \theta & =& \frac{\mathrm{tr}(R)-1}{2}\\ \sin \theta & =& -\frac{\mathrm{tr}(K_{n}R)}{2}\end{array}$

dove

$K_n=\left[\begin{array}{ccc}0& -n_3& n_2\\ n_3& 0& -n_1\\ -n_2& n_1& 0\end{array}\right].$

Matrice di rotazione da asse e angolo

La matrice di una rotazione propria $R$ di un angolo $\theta$ attorno all'asse $𝐮=(u_x,u_y,u_z)$, avente vettore unitario $u_x^2+u_y^2+u_z^2=1$, è data da:

$R=\left[\begin{array}{ccc}{u}_x^2(1-\cos \theta )+\cos \theta & u_x{u}_y(1-\cos \theta )-u_z\sin \theta & u_x{u}_z(1-\cos \theta )+u_y\sin \theta \\ u_x{u}_y(1-\cos \theta )+u_z\sin \theta & u_y^2(1-\cos \theta )+\cos \theta & u_y{u}_z(1-\cos \theta )-u_x\sin \theta \\ u_x{u}_z(1-\cos \theta )-u_y\sin \theta & u_y{u}_z(1-\cos \theta )+u_x\sin \theta & u_z^2(1-\cos \theta )+\cos \theta \end{array}\right].$

Una derivazione di questa matrice dai primi principi può essere trovata qui. L'idea di base per ricavare questa matrice è quella di suddividere il problema in pochi semplici passaggi noti.

1. Si ruota l'asse dato e il punto così che l'asse si trovi in uno dei piani coordinati ($xy$, $yz$ o $zx$).
2. Si ruota l'asse dato e il punto allineando l'asse con uno dei due assi coordinati per quel particolare piano coordinato ($x$, $y$ o $z$).
3. Si utilizza una delle matrici di rotazione fondamentali per ruotare il punto in base all'asse delle coordinate con cui è allineato l'asse di rotazione.
4. Si ruota in senso inverso la coppia asse-punto così da raggiungere la configurazione finale come nel passaggio 2 (annullamento del passaggio 2).
5. Si inverte la rotazione della coppia asse-punto eseguita nel passaggio 1 (annullando il passaggio 1).

Il tutto può essere scritto in modo più conciso come

$R=(\cos \theta )I+(\sin \theta )[𝐮{]}_{\times }+(1-\cos \theta )(𝐮\otimes 𝐮),$

dove $[𝐮{]}_x$ è la matrice del prodotto vettoriale di $𝐮$; l'espressione $𝐮\otimes 𝐮$ è il prodotto diadico e $I$ è la matrice identità. In alternativa, le voci della matrice sono:

$R_{jk}=\{\begin{array}{cc}{\cos }^2\frac{\theta }{2}+{\sin }^2\frac{\theta }{2}(2u_j^2-1),& \text{se }j=k\\ 2u_j{u}_k{\sin }^2\frac{\theta }{2}-{\epsilon }_{jkl}{u}_l\sin \theta ,& \text{se }j\ne k\end{array}$

dove ${\epsilon }_{jkl}$ è il simbolo di Levi-Civita con ${\epsilon }_{123}=1$. Questa è una forma matriciale della formula di Rodrigues con

$𝐮\otimes 𝐮=𝐮{𝐮}^{𝖳}=\left[\begin{array}{ccc}{u}_x^2& u_x{u}_y& u_x{u}_z\\ u_x{u}_y& u_y^2& u_y{u}_z\\ u_x{u}_z& u_y{u}_z& u_z^2\end{array}\right],[𝐮{]}_{\times }=\left[\begin{array}{ccc}0& -u_z& u_y\\ u_z& 0& -u_x\\ -u_y& u_x& 0\end{array}\right].$

In ${ℝ}^3$ la rotazione di un vettore $𝐱$ attorno all'asse $𝐮$ di un angolo $\theta$ può essere scritta come:

$R_{𝐮}(\theta )𝐱=𝐮(𝐮\cdot 𝐱)+\cos \left(\theta \right)(𝐮\times 𝐱)\times 𝐮+\sin \left(\theta \right)(𝐮\times 𝐱)$

o, equivalentemente:

$R_{𝐮}(\theta )𝐱=𝐱\cos \theta +𝐮(𝐱\cdot 𝐮)(1-\cos \theta )-𝐱\times 𝐮\sin \theta .$

Questo può anche essere scritto in notazione tensoriale come:

$(R_{𝐮}(\theta )𝐱{)}_i=(R_{𝐮}(\theta ){)}_{ij}{𝐱}_j,\text{con}(R_{𝐮}(\theta ){)}_{ij}={\delta }_{ij}\cos \theta +{𝐮}_i{𝐮}_j(1-\cos \theta )-\sin \theta {\epsilon }_{ijk}{𝐮}_k.$

Se lo spazio tridimensionale è destrorso e $\theta >0$, questa rotazione avverrà in senso antiorario quando $𝐮$ punta verso l'osservatore (regola della mano destra). In modo esplicito, con $(\mathit{\alpha },\mathit{\beta },𝐮)$ una base ortonormale destrorsa,

$R_{𝐮}(\theta )\mathit{\alpha }=\cos \left(\theta \right)\mathit{\alpha }+\sin \left(\theta \right)\mathit{\beta },R_{𝐮}(\theta )\mathit{\beta }=-\sin \left(\theta \right)\mathit{\alpha }+\cos \left(\theta \right)\mathit{\beta },R_{𝐮}(\theta )𝐮=𝐮.$

Si noti la differenza meramente apparente alla formulazione algebrica dell'equivalenza di Lie mostrata in seguito.

Proprietà

Una proiezione 3D di un'immagine a 8 celle che esegue una rotazione attorno a un piano che divide la figura da sinistra a destra e dall'alto verso il basso.

Ogni matrice di rotazione $R$ $n$-dimensionale che agisce su ${ℝ}^n$ è una matrice ortogonale

$R^{𝖳}=R^{-1}$

di conseguenza:

$\det R=\pm 1.$

Una rotazione si definisce propria se $\det R=1$, impropria (o roto-riflettente) se $\det R=-1$. Per dimensioni pari, con $n=2k$, gli $n$ autovalori $\lambda$ di una rotazione propria sono coppie di complessi coniugati i quali si presentano come radici dell'unità: $\lambda =e^{\pm i\theta j}$ per $j=1,\dots ,k$, reale solo per $\lambda =\pm 1$. Pertanto, non esistono vettori fissi per la rotazione ($\lambda =1$) e non vi è quindi nemmeno un asse di rotazione. Tutti gli autovettori fissi si presentano in coppie e l'asse di rotazione è un sottospazio di dimensione pari.

Per dimensioni dispari $n=2k+1$, una rotazione propria $R$ avrà un numero dispari di autovalori, con almeno un $\lambda =1$ e l'asse di rotazione sarà un sottospazio di dimensione dispari. Dimostrazione:

$\begin{array}{cc}\det (R-I)& =\det \left(R^{𝖳}\right)\det (R-I)=\det (R^{𝖳}R-R^{𝖳})=\det (I-R^{𝖳})\\ & =\det (I-R)={(-1)}^n\det (R-I)=-\det (R-I),\end{array}$

dove $I$ è la matrice identità e $\det (R^{𝖳})=\det (R)=1$, così come $(-1{)}^n=-1$ per $n$ dispari. Pertanto, $\det (R-I)=0$, questo implica che esiste un vettore diverso da zero $𝐯$ con $(R-I)𝐯=0$, ossia $R𝐯=𝐯$, un autovettore fisso. Possono anche esserci coppie di autovettori fissi nel sottospazio di dimensione pari ortogonali a $𝐯$, pertanto, la dimensione totale degli autovettori fissi è dispari.

Per esempio, nello spazio bidimensionale $n=2$, una rotazione di un angolo $\theta$ ha autovalori $\lambda =e^{i\theta }$ e $\lambda =e^{-i\theta }$, quindi non c'è alcun asse di rotazione, tranne quando $\theta =0$: caso della rotazione nulla. Nello spazio tridimensionale $n=3$, l'asse di una rotazione propria non nulla è sempre una retta univoca e una rotazione attorno a questo asse di un angolo $\theta$ ha autovalori $\lambda =1,e^{i\theta },e^{-i\theta }$. Nello spazio quadridimensionale $n=4$, i quattro autovalori sono della forma $e^{\pm i\theta },e^{\pm i\phi }$. La rotazione nulla ha $\theta =\phi =0$. Il caso di $\theta =0,\phi \ne 0$ è noto come rotazione semplice, con due autovalori unitari che formano un piano assiale, e rotazione bidimensionale ortogonale al piano assiale. Il caso di $\theta =\phi$ è noto come rotazione isoclina, in quanto gli autovalori $e^{\pm i\theta }$ sono ripetuti due volte e ogni vettore viene ruotato di un angolo $\theta$.

La traccia di una matrice di rotazione è uguale alla somma dei suoi autovalori. Per $n=2$, una rotazione di angolo $\theta$ ha traccia $2\cos \theta$. Per $n=3$, una rotazione attorno a un asse qualsiasi di un angolo $\theta$ ha traccia $1+2\cos \theta$. Per $n=4$ la traccia è $2(\cos \theta +\cos \phi )$, la quale, per una rotazione isoclina, diventa $4\cos \theta$.

Esempi

• La matrice di rotazione $2\times 2$

$Q=\left[\begin{array}{cc}0& 1\\ -1& 0\end{array}\right]$

corrisponde a una rotazione sul piano di 90° in senso orario intorno all'origine.

• La trasposta della matrice $2\times 2$

$M=\left[\begin{array}{cc}0,936& 0,352\\ 0,352& -0,936\end{array}\right]$

è la sua inversa ma, poiché il suo determinante è -1, non si tratta di una matrice di rotazione vera e propria; è una riflessione attraverso la retta $11y=2x$.

• La matrice di rotazione $3\times 3$

$Q=\left[\begin{array}{ccc}1& 0& 0\\ 0& \frac{\sqrt{3}}{2}& \frac{1}{2}\\ 0& -\frac{1}{2}& \frac{\sqrt{3}}{2}\end{array}\right]=\left[\begin{array}{ccc}1& 0& 0\\ 0& \cos 30^{\circ }& \sin 30^{\circ }\\ 0& -\sin 30^{\circ }& \cos 30^{\circ }\end{array}\right]$

corrisponde a una rotazione di −30° attorno all'asse $x$ nello spazio tridimensionale.

• La matrice di rotazione $3\times 3$

$Q=\left[\begin{array}{ccc}0,36& 0,48& -0,80\\ -0,80& 0,60& 0,00\\ 0,48& 0,64& 0,60\end{array}\right]$

corrisponde a una rotazione di circa −74° attorno all'asse $(-\frac{1}{2},1,1)$ nello spazio tridimensionale.

• La matrice di permutazione $3\times 3$

$P=\left[\begin{array}{ccc}0& 0& 1\\ 1& 0& 0\\ 0& 1& 0\end{array}\right]$

è una matrice di rotazione, come lo è la matrice di qualsiasi permutazione pari, e ruota di 120° attorno all'asse $z=y=z$.

• La matrice $3\times 3$

$M=\left[\begin{array}{ccc}3& -4& 1\\ 5& 3& -7\\ -9& 2& 6\end{array}\right]$

ha determinante $+1,$ ma non è ortogonale (la sua trasposta non è uguale alla sua inversa), pertanto non è una matrice di rotazione.

• La matrice $4\times 3$

$M=\left[\begin{array}{ccc}0,5& -0,1& 0,7\\ 0,1& 0,5& -0,5\\ -0,7& 0,5& 0,5\\ -0,5& -0,7& -0,1\end{array}\right]$

non è quadrata, pertanto non può essere una matrice di rotazione; anche se $M^{𝖳}M$ genera una matrice identità $3\times 3$ (le cui colonne sono ortonormali).

• La matrice $4\times 4$

$Q=-I=\left[\begin{array}{cccc}-1& 0& 0& 0\\ 0& -1& 0& 0\\ 0& 0& -1& 0\\ 0& 0& 0& -1\end{array}\right]$

descrive una rotazione isoclina in quattro dimensioni, una rotazione di angoli uguali (180°) attraverso due piani ortogonali.

• La matrice di rotazione $5\times 5$

$Q=\left[\begin{array}{ccccc}0& -1& 0& 0& 0\\ 1& 0& 0& 0& 0\\ 0& 0& -1& 0& 0\\ 0& 0& 0& -1& 0\\ 0& 0& 0& 0& 1\end{array}\right]$

ruota i vettori nel piano dei primi due assi coordinati di 90°, ruota i vettori nel piano dei due assi successivi di 180° e lascia inalterato l'ultimo asse coordinato.

Geometria

Nella geometria euclidea, una rotazione è un esempio di isometria: una trasformazione che sposta i punti senza modificarne le distanze tra loro. Le rotazioni si distinguono dalle altre isometrie per due proprietà aggiuntive: lasciano (almeno) un punto fisso e lasciano invariata la chiralità. Diversamente, una traslazione sposta ogni punto, una riflessione scambia l'ordinamento sinistrorso con quello destrorso, un'antitraslazione compie entrambe le cose e una rotazione impropria combina un cambio di chiralità con una rotazione normale.

Se si considera punto fisso come origine di un sistema di riferimento cartesiano, allora a ogni punto possono essere assegnate coordinate come spostamento dall'origine. In questo modo è possibile lavorare con lo spazio vettoriale degli spostamenti invece che con i punti stessi. Supponendo, per ipotesi che $(p_1,\dots ,p_n)$ siano le coordinate del vettore $𝐩$ dall'origine $O$ al punto $P$. Se si sceglie una base ortonormale per le coordinate, la distanza al quadrato da $P$, per il teorema di Pitagora, è:

$d^2(O,P)=\Vert 𝐩{\Vert }^2=\sum _{r=1}^n{p}_r^2$

la quale può essere calcolata utilizzando il prodotto matriciale

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

Una rotazione geometrica trasforma linee in linee e mantiene i rapporti delle distanze tra i punti. Da queste proprietà si evince che una rotazione è una trasformazione lineare dei vettori e, pertanto, può essere scritta in forma matriciale, $Q𝐩$. Il fatto che una rotazione preservi non solo i rapporti, ma anche le distanze stesse, si afferma con

${𝐩}^{𝖳}𝐩=(Q𝐩{)}^{𝖳}(Q𝐩),$

o

${𝐩}^{𝖳}I𝐩=\left({𝐩}^{𝖳}{Q}^{𝖳}\right)(Q𝐩)={𝐩}^{𝖳}\left(Q^{𝖳}Q\right)𝐩.$

Poiché questa equazione vale per tutti i vettori, $𝐩$, si conclude che ogni matrice di rotazione $Q$ soddisfa la condizione di ortogonalità,

$Q^{𝖳}Q=I.$

Le rotazioni preservano la proprietà della mano destra perché non possono cambiare l'ordine degli assi, il che implica la condizione di matrice "speciale":

$\det Q=+1.$

Altrettanto importante è dimostrare che qualsiasi matrice che soddisfi queste due condizioni genera una rotazione.

Prodotto

L'inversa di una matrice di rotazione è la sua trasposta, che è a sua volta una matrice di rotazione:

$\begin{array}{cc}{\left(Q^{𝖳}\right)}^{𝖳}\left(Q^{𝖳}\right)& =Q{Q}^{𝖳}=I\\ \det Q^{𝖳}& =\det Q=+1.\end{array}$

Il prodotto di due matrici di rotazione è una matrice di rotazione:

$\begin{array}{cc}{\left(Q_1{Q}_2\right)}^{𝖳}\left(Q_1{Q}_2\right)& =Q_2^{𝖳}\left(Q_1^{𝖳}{Q}_1\right)Q_2=I\\ \det \left(Q_1{Q}_2\right)& =(\det Q_1)(\det Q_2)=+1.\end{array}$

Per $n>2$, il prodotto delle matrici di rotazione $n\times n$ generalmente non è commutativo.

$\begin{array}{cccc}{Q}_1& =\left[\begin{array}{ccc}0& -1& 0\\ 1& 0& 0\\ 0& 0& 1\end{array}\right]& Q_2& =\left[\begin{array}{ccc}0& 0& 1\\ 0& 1& 0\\ -1& 0& 0\end{array}\right]\\ Q_1{Q}_2& =\left[\begin{array}{ccc}0& -1& 0\\ 0& 0& 1\\ -1& 0& 0\end{array}\right]& Q_2{Q}_1& =\left[\begin{array}{ccc}0& 0& 1\\ 1& 0& 0\\ 0& 1& 0\end{array}\right].\end{array}$

Notando che ogni matrice identità è una matrice di rotazione e che la moltiplicazione di matrici è associativa, è possibile riassumere tutte queste proprietà dicendo che le matrici di rotazione $n\times n$ formano un gruppo, che per $n>2$ è noto come gruppo ortogonale speciale e indicato con $\text{SO}(n)$, $\text{SO}(n,ℝ)$, ${\text{SO}}_n$, o ${\text{SO}}_n(ℝ)$, il gruppo delle matrici di rotazione $n\times n$ è isomorfo al gruppo delle rotazioni in uno spazio $n$-dimensionale. Ciò significa che la moltiplicazione delle matrici di rotazione corrisponde alla composizione delle rotazioni, applicate in ordine da sinistra a destra delle matrici corrispondenti.

Ambiguità

Rotazioni di alias e alibi

L'interpretazione di una matrice di rotazione può essere soggetta a numerose ambiguità.

Nella maggior parte dei casi l'effetto dell'ambiguità è equivalente all'effetto di una inversione della matrice di rotazione (per queste matrici ortogonali equivale alla matrice trasposta).

Trasformazione di alias o alibi (passiva o attiva)

Le coordinate di un punto $P$ possono cambiare a causa di una rotazione del sistema di coordinate $CS$ (alias), o di una rotazione del punto $P$ (alibi). Nel secondo caso, la rotazione di $P$ produce anche una rotazione del vettore $𝐯$ il quale rappresenta $P$. In altre parole, o $P$ e $𝐯$ sono fissi mentre $CS$ ruota (alias), o $CS$ è fisso mentre $P$ e $𝐯$ ruotano (alibi). Ogni data rotazione può essere legittimamente descritta in entrambi i modi, poiché vettori e sistemi di riferimento ruotano effettivamente l'uno rispetto all'altro, attorno allo stesso asse ma in direzioni opposte. In questo caso si è scelto l'approccio alibi per descrivere le rotazioni. Per esempio

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

rappresenta una rotazione in senso antiorario di un vettore $𝐯$ di un angolo $\theta$, o una rotazione di $CS$ dello stesso angolo ma nella direzione opposta (ossia in senso orario). Le trasformazioni alibi e alias sono anche note rispettivamente come trasformazioni attive e passive.

Pre-moltiplicazione e post-moltiplicazione

Lo stesso punto $P$ può essere rappresentato sia da un vettore colonna $𝐯$ come da un vettore riga $𝐰$. Le matrici di rotazione possono pre-moltiplicare i vettori colonna $R𝐯$, come post-moltiplicare i vettori riga $𝐰R$. Tuttavia, $R𝐯$ produce una rotazione nella direzione opposta rispetto a $𝐰R$. Qui, le rotazioni prodotte sui vettori colonna sono descritte mediante una pre-moltiplicazione. Per ottenere esattamente la stessa rotazione (ossia le stesse coordinate finali del punto $P$), il vettore riga equivalente deve essere post-moltiplicato per la matrice trasposta di $R$ (ossia $𝐰R^{𝖳}$).

Coordinate destrorse e sinistrorse

La matrice e il vettore possono essere rappresentati, rispetto a un sistema di coordinate destrorso o sinistrorso. In questo articolo, salvo diversa indicazione, si conviene che l'approccio sia destrorso.

Vettori e forme

Lo spazio vettoriale ha uno spazio duale di funzioni lineari e la matrice può agire sia sui vettori, sia sulle forme.

Decomposizioni

Piani indipendenti

Si consideri la matrice di rotazione $3\times 3$

$Q=\left[\begin{array}{ccc}0,36& 0,48& -0,80\\ -0,80& 0,60& 0,00\\ 0,48& 0,64& 0,60\end{array}\right].$

Se $Q$ agisce in una data direzione $𝐯$, semplicemente come una scala di un fattore $\lambda$, allora si ha

$Q𝐯=\lambda 𝐯,$

poiché

$\mathrm{𝟎}=(\lambda I-Q)𝐯.$

Pertanto $\lambda$ è una radice del polinomio caratteristico per $Q$,

$\begin{array}{cc}0& =\det (\lambda I-Q)\\ & ={\lambda }^3-\frac{39}{25}{\lambda }^2+\frac{39}{25}\lambda -1\\ & =(\lambda -1)({\lambda }^2-\frac{14}{25}\lambda +1).\end{array}$

Due caratteristiche sono degne di nota. Innanzitutto, una delle radici (o autovalori) è 1, questo dimostra che una data direzione non è interessata dalla matrice di rotazione. Per le rotazioni in tre dimensioni, questo coincide con l'asse di rotazione (un concetto che non ha significato in nessun'altra dimensione). In secondo luogo, le altre due radici sono una coppia di complessi coniugati, il cui prodotto è 1 (il termine costante della quadratica) e la cui somma è $2\cos \theta$ (il termine lineare negativo). Questa fattorizzazione è interessante per le matrici di rotazione $3\times 3$ poiché per tutte avviene la medesima cosa. (Come nei casi particolari, dove in una rotazione nulla i "complessi coniugati" sono entrambi 1, e per una rotazione di 180° sono entrambi $-1$.) Inoltre, una fattorizzazione simile rimane valida per qualsiasi matrice di rotazione $n\times n$. Se la dimensione $n$ è dispari, ci sarà un autovalore "sospeso" uguale a 1; e per qualsiasi dimensione, il resto del polinomio si scompone in termini quadratici come quello con i due casi speciali indicati. Si ha la garanzia che il polinomio caratteristico avrà grado $n$ con $n$ autovalori. E, poiché una matrice di rotazione commuta con la sua trasposta, è una matrice normale, quindi può essere diagonalizzata. In conclusione, ogni matrice di rotazione, quando viene espressa in un opportuno sistema di coordinate, si suddivide in rotazioni indipendenti di sottospazi bidimensionali, di non più $\frac{n}{2}$ di loro.

La somma degli elementi sulla diagonale principale di una matrice è detta traccia; non cambia se si riorienta il sistema di coordinate ed è sempre uguale alla somma degli autovalori. Quest'implicazione risulta utile per le matrici di rotazione $2\times 2$ e $3\times 3$ poiché la traccia rivela l'angolo di rotazione $\theta$, nello spazio bidimensionale (o sottospazio). Per una matrice $2\times 2$ la traccia è $2\cos \theta$, e per una matrice $3\times 3$ è $1+2\cos \theta$. Nel caso tridimensionale, il sottospazio è costituito da tutti i vettori perpendicolari all'asse di rotazione (direzione invariante, con autovalore 1). È pertanto possibile estrarre da qualsiasi matrice di rotazione $3\times 3$ un asse di rotazione e un angolo, e questi determinano completamente la rotazione.

Angoli sequenziali

I vincoli su una matrice di rotazione $2\times 2$ implicano che debba avere la forma

$Q=\left[\begin{array}{cc}a& -b\\ b& a\end{array}\right]$

con $a^2+b^2=1$. Pertanto, è possibile porre $a=\cos \theta$ e $b=\sin \theta$, per un dato angolo $\theta$. Per ricavare $\theta$ non è sufficiente considerare solo $a$ o $b$; vanno considerati assieme per posizionare l'angolo nel giusto quadrante, utilizzando la funzione arcotangente2.

Considerando la prima colonna della matrice di rotazione $3\times 3$,

$\left[\begin{array}{c}a\\ b\\ c\end{array}\right].$

Sebbene $a^2+b^2$ probabilmente non sarà uguale a 1, ma a un valore $r^2<1$, è possibile usare una leggera variazione del calcolo precedente per trovare la cosiddetta rotazione di Givens che trasforma la colonna in

$\left[\begin{array}{c}r\\ 0\\ c\end{array}\right],$

azzerando $b$. Ciò agisce sul sottospazio compreso tra gli assi $x$ e $y$. È possibile ripetere il processo per il sottospazio $xy$ fino ad azzerare $c$. Agendo sulla matrice completa, queste due rotazioni producono la forma schematica

$Q_{xz}{Q}_{xy}Q=\left[\begin{array}{ccc}1& 0& 0\\ 0& \ast & \ast \\ 0& \ast & \ast \end{array}\right].$

Spostando l'attenzione sulla seconda colonna, una rotazione di Givens del sottospazio $yz$ può ora azzerare il valore $z$. Ciò porta la matrice completa alla forma

$Q_{yz}{Q}_{xz}{Q}_{xy}Q=\left[\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right],$

che è una matrice identità. Pertanto, si è scomposto $Q$ come

$Q=Q_{xy}^{-1}{Q}_{xz}^{-1}{Q}_{yz}^{-1}.$

Una matrice di rotazione $n\times n$ avrà

$(n-1)+(n-2)+\dots +2+1=\sum _{k=1}^{n-1}k=\frac{1}{2}n(n-1)$

termini sotto la diagonale nulla. È possibile azzerarli estendendo la stessa idea di passare attraverso le colonne con una serie di rotazioni in una sequenza fissa di piani. Si conclude che l'insieme delle matrici di rotazione $n\times n$ ciascuna delle quali ha $n^2$ termini, può essere parametrizzato da $\frac{1}{2}n(n-1)$ angoli.

$xz{x}_w$	$xz{y}_w$	$xy{x}_w$	$xy{z}_w$
$yx{y}_w$	$yx{z}_w$	$yz{y}_w$	$yz{x}_w$
$zy{z}_w$	$zy{x}_w$	$zx{z}_w$	$zx{y}_w$
$xz{x}_b$	$yz{x}_b$	$xy{x}_b$	$zy{x}_b$
$yx{y}_b$	$zx{y}_b$	$yz{y}_b$	$xz{y}_b$
$zy{z}_b$	$xy{z}_b$	$zx{z}_b$	$yx{z}_b$

Nelle tre dimensioni ciò ripropone in forma matriciale un'osservazione fatta da Eulero, per cui i matematici chiamano la sequenza ordinata di tre angoli angoli di Eulero. Tuttavia la situazione è più complicata di quanto finora indicato. Nonostante le piccole dimensioni, si ha una notevole libertà nella sequenza delle coppie di assi che si utilizzano; oltre a una certa libertà nella scelta degli angoli. Pertanto si hanno molte convenzioni diverse impiegate quando le rotazioni tridimensionali vengono parametrizzate nella fisica, medicina, chimica e altre discipline. Includendo l'opzione degli assi del mondo o degli assi del corpo, sono possibili 24 sequenze differenti. Mentre alcune discipline chiamano qualsiasi sequenza, angoli di Eulero, altre usano nomi diversi alle diverse sequenze (Cardano, Tait–Bryan, rollio-beccheggio-imbardata).

Uno dei motivi per cui ci sono così tante opzioni è che le rotazioni in tre dimensioni (e superiori) non commutano. Se si inverte una determinata sequenza di rotazioni, si ottiene un risultato differente. Ciò implica anche che non si possono comporre due rotazioni sommando i loro angoli corrispondenti. Quindi gli angoli di Eulero non sono vettori, nonostante la somiglianza nell'aspetto come una terna di numeri.

Dimensioni nidificate

Template:Vedi anche Una matrice di rotazione $3\times 3$ come

$Q_{3\times 3}=\left[\begin{array}{ccc}\cos \theta & -\sin \theta & 0\\ \sin \theta & \cos \theta & 0\\ 0& 0& 1\end{array}\right]$

ricorda la matrice di rotazione $2\times 2$,

$Q_{2\times 2}=\left[\begin{array}{cc}\cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{array}\right],$

incorporato nell'angolo in alto a sinistra:

$Q_{3\times 3}=\left[\begin{array}{cc}{Q}_{2\times 2}& \mathrm{𝟎}\\ {\mathrm{𝟎}}^{𝖳}& 1\end{array}\right].$

Questa non è un'illusione: non una, ma molte coppie di rotazioni $n$-dimensionali che si trovano all'interno di rotazioni di sottogruppi $(n+1)$-dimensionali. Ogni inserimento lascia fissa una direzione, che nel caso delle matrici $3\times 3$ è l'asse di rotazione. per esempio, si ha

$\begin{array}{cc}{Q}_{𝐱}(\theta )& =\left[\begin{array}{ccc}1& 0& 0\\ 0& \cos \theta & -\sin \theta \\ 0& \sin \theta & \cos \theta \end{array}\right],\\ [8px]Q_{𝐲}(\theta )& =\left[\begin{array}{ccc}\cos \theta & 0& \sin \theta \\ 0& 1& 0\\ -\sin \theta & 0& \cos \theta \end{array}\right],\\ [8px]Q_{𝐳}(\theta )& =\left[\begin{array}{ccc}\cos \theta & -\sin \theta & 0\\ \sin \theta & \cos \theta & 0\\ 0& 0& 1\end{array}\right],\end{array}$

fissando rispettivamente l'asse $x$ l'asse $y$ e l'asse $z$. L'asse di rotazione non deve essere necessariamente un asse di coordinate; se $𝐮=(x,y,z)$ è un vettore unitario nella direzione desiderata, allora

$\begin{array}{cc}{Q}_{𝐮}(\theta )& =\left[\begin{array}{ccc}0& -z& y\\ z& 0& -x\\ -y& x& 0\end{array}\right]\sin \theta +(I-𝐮{𝐮}^{𝖳})\cos \theta +𝐮{𝐮}^{𝖳}\\ [8px]& =\left[\begin{array}{ccc}(1-x^2)c_{\theta }+x^2& -z{s}_{\theta }-xy{c}_{\theta }+xy& y{s}_{\theta }-xz{c}_{\theta }+xz\\ z{s}_{\theta }-xy{c}_{\theta }+xy& (1-y^2)c_{\theta }+y^2& -x{s}_{\theta }-yz{c}_{\theta }+yz\\ -y{s}_{\theta }-xz{c}_{\theta }+xz& x{s}_{\theta }-yz{c}_{\theta }+yz& (1-z^2)c_{\theta }+z^2\end{array}\right]\\ [8px]& =\left[\begin{array}{ccc}{x}^2(1-c_{\theta })+c_{\theta }& xy(1-c_{\theta })-z{s}_{\theta }& xz(1-c_{\theta })+y{s}_{\theta }\\ xy(1-c_{\theta })+z{s}_{\theta }& y^2(1-c_{\theta })+c_{\theta }& yz(1-c_{\theta })-x{s}_{\theta }\\ xz(1-c_{\theta })-y{s}_{\theta }& yz(1-c_{\theta })+x{s}_{\theta }& z^2(1-c_{\theta })+c_{\theta }\end{array}\right],\end{array}$

dove $c_{\theta }=\cos \theta$, $s_{\theta }=\sin \theta$, è una rotazione dell'angolo $\theta$ che lascia inalterato l'asse $𝐮$.

Una direzione nello spazio $(n+1)$-dimensionale sarà un vettore di modulo unitario, che può essere considerato un punto su una sfera generalizzata, $S^n$. Pertanto è naturale descrivere il gruppo di rotazione $\text{SO}(n+1)$ come combinazione di $\text{SO}(n)$ e $S^n$. Un formalismo adatto è il fibrato,

$\text{SO}(n)\hookrightarrow \text{SO}(n+1)\to S^n,$

dove per ogni direzione nello spazio di base, $S^n$, la fibra su di essa nello spazio totale, $\text{SO}(n+1)$, è una copia dello spazio della fibra, $\text{SO}(n)$, vale a dire le rotazioni che mantengono fissa quella direzione.

Si può costruire una matrice di rotazione $n\times n$ partendo da una matrice $2\times 2$ puntando il suo asse fisso su $S^2$ (la sfera ordinaria nello spazio tridimensionale), puntando la rotazione risultante su $S^3$, e così via fino a $S^{n-1}$. Un punto su $S^n$ può essere selezionato utilizzando $n$ numeri, quindi abbiamo di nuovo $\frac{1}{2}n(n-1)$ numeri per ogni $n\times n$ matrice di rotazione.

In effetti, è possibile vedere la decomposizione angolare sequenziale, discussa in precedenza, come l'inversione di questo processo. La composizione di $n-1$ rotazioni di Givens porta la prima colonna (e riga) a $(1,0,\dots 0)$, così che, il resto della matrice è una matrice di rotazione di dimensione inferiore di uno, incorporata in modo da lasciare $(1,0,\dots ,0)$ fisso.

Parametri di inclinazione tramite la formula di Cayley

Quando una matrice di rotazione $Q$ di ordine $n$ non ha $-1$ come autovalore, quindi nessuna delle rotazioni planari che comprende è una rotazione di 180°, allora $Q+I$ è una matrice invertibile. La maggior parte delle matrici di rotazione si adattano a questa descrizione, e per esse si può dimostrare che $(Q-I)(Q+I{)}^{-1}$ è una matrice antisimmetrica, $A$. Quindi $A^{𝖳}=-A$; e poiché la diagonale è necessariamente zero, e poiché il triangolo superiore determina quello inferiore $A$ contiene $\frac{1}{2}n(n-1)$ termini indipendenti.

Convenientemente, $I-A$ è invertibile ogni volta che $A$ è antisimmetrica; quindi possiamo recuperare la matrice originale usando la trasformata di Cayley,

$A\mapsto (I+A)(I-A{)}^{-1},$

che mappa qualsiasi matrice antisimmetrica $A$ in una matrice di rotazione. Infatti, tolte le eccezioni menzionate, è possibile produrre qualsiasi matrice di rotazione con questo metodo. Sebbene nelle applicazioni pratiche difficilmente è possibile permettersi di ignorare le rotazioni di 180°, la trasformata di Cayley rimane uno strumento potenzialmente utile, poiché fornisce una parametrizzazione della maggior parte delle matrici di rotazione senza funzioni trigonometriche.

In tre dimensioni, per esempio, si ha

$\begin{array}{c}\left[\begin{array}{ccc}0& -z& y\\ z& 0& -x\\ -y& x& 0\end{array}\right]\mapsto \frac{1}{1+x^2+y^2+z^2}\left[\begin{array}{ccc}1+x^2-y^2-z^2& 2xy-2z& 2y+2xz\\ 2xy+2z& 1-x^2+y^2-z^2& 2yz-2x\\ 2xz-2y& 2x+2yz& 1-x^2-y^2+z^2\end{array}\right].\end{array}$

Se si considerano le voci oblique in un vettore, $(x,y,z)$, si produce una rotazione di 90° attorno all'asse $x$ per $(1,0,0)$, attorno all'asse $y$ per $(0,1,0)$, e attorno all'asse $z$ per $(0,0,1)$. Le rotazioni di 180° sono appena fuori portata; infatti, nel limite per $x\to \mathrm{\infty }$, $(x,0,0)$ si avvicina a una rotazione di 180° attorno all'asse $x$ e similmente per le altre direzioni.

Decomposizioni trasvezionali

Per il caso bidimensionale, una matrice di rotazione può essere scomposta in tre matrici di trasvezione:

$\begin{array}{cc}R(\theta )& =\left[\begin{array}{cc}1& -\tan \frac{\theta }{2}\\ 0& 1\end{array}\right]\left[\begin{array}{cc}1& 0\\ \sin \theta & 1\end{array}\right]\left[\begin{array}{cc}1& -\tan \frac{\theta }{2}\\ 0& 1\end{array}\right].\end{array}$

Ciò è utile, per esempio, nella computer grafica, poiché le trasvezioni possono essere implementate con meno moltiplicazioni rispetto alla rotazioni dirette di una bitmap. Nei computer moderni questo aspetto può avere scarsa importanza, ma nei dispositivi mobili rimane importante, poiché legato al consumo della batteria.

Una rotazione può anche essere scritta come due trasvezioni e una scalatura:

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

Teoria dei gruppi

Di seguito sono riportati alcuni fatti fondamentali sul ruolo dell'insieme di tutte le matrici di rotazione di dimensione fissa (qui principalmente 3) in matematica e in fisica, dove la simmetria rotazionale è un requisito di ogni legge veramente fondamentale (per l'assunzione di isotropia dello spazio) e dove la stessa simmetria, quando presente, è una proprietà esemplificativa di molti problemi di natura meno fondamentale. Gli esempi abbondano nella meccanica classica e nella meccanica quantistica. La conoscenza della parte delle soluzioni relativa a questa simmetria si applica (con delle qualifiche) a tutti questi problemi e può essere estrapolata da un problema specifico in questione, riducendone la complessità. Un esempio – in matematica e fisica – è la teoria delle armoniche sferiche. Il loro ruolo nella teoria dei gruppi di rotazione è essere uno spazio di rappresentazione per l'intero insieme di rappresentazioni irriducibili di dimensione finita del gruppo di rotazione $\text{SO}(3)$.

Guppo di Lie

Le matrici di rotazione $n\times n$ per ogni $n$ formano un gruppo, il gruppo ortogonale speciale, $\text{SO}(n)$. Questa struttura algebrica è accoppiata con una spazio topologico ereditato da ${\mathrm{GL}}_n(ℝ)$ così che le operazioni di prodotto e inversione siano funzioni analitiche degli elementi della matrice. Pertanto $\text{SO}(n)$ è per ogni $n$ un gruppo di Lie. È compatto e connesso, ma non semplicemente connesso. È anche un gruppo semi-semplice, in effetti un gruppo semplice con l'eccezione $\text{SO}(4)$. La rilevanza di ciò è che tutti i teoremi e tutti i meccanismi della teoria delle varietà analitiche (le varietà analitiche sono in particolare varietà differenziabili) sono applicabili e la ben sviluppata teoria delle rappresentazioni dei gruppi semisemplici compatti è pronta per l'uso.

Algebra di Lie

Template:Vedi anche L'algebra di Lie $𝔰𝔬(n)$ di $\text{SO}(n)$ è data da

$𝔰𝔬(n)=𝔬(n)=\{X\in M_n(ℝ)\mid X=-X^{𝖳}\},$

ed è lo spazio delle matrici antisimmetriche di dimensione $n$, vedere gruppo classico, dove $𝔬(n)$ è l'algebra di Lie di $\text{O}(n)$, il gruppo ortogonale. Per riferimento, la base più comune per $𝔰𝔬(3)$ è

$L_{𝐱}=\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& -1\\ 0& 1& 0\end{array}\right],L_{𝐲}=\left[\begin{array}{ccc}0& 0& 1\\ 0& 0& 0\\ -1& 0& 0\end{array}\right],L_{𝐳}=\left[\begin{array}{ccc}0& -1& 0\\ 1& 0& 0\\ 0& 0& 0\end{array}\right].$

Mappa esponenziale

Template:Vedi anche Collegando l'algebra di Lie al gruppo di Lie si ottiene la mappa esponenziale, definita ricorrendo alla serie delle matrici esponenziali standard per $e^A$. Per qualsiasi matrice antisimmetrica $A$, $\exp (A)$ è sempre una matrice di rotazione.

Un esempio importante è il caso $3\times 3$. Nel gruppo di rotazione $\text{SO}(3)$, si dimostra che è possibile identificare ogni $A\in 𝔰𝔬(3)$ con un vettore di Eulero $\mathit{\omega }=\theta 𝐮$, dove $𝐮=(x,y,z)$ è un vettore avente modulo unitaria.

Per le proprietà dell'identificazione $𝐬𝐮(2)\cong {ℝ}^3$, $𝐮$ è nello spazio nullo di $A$. Pertanto, $𝐮$ è lasciato invariante da $\exp (A)$ ed è quindi un asse di rotazione.

Con la formula di Rodrigues sulla rotazione matriciale, si ottiene,

$\begin{array}{cc}\exp (A)& =\exp (\theta (𝐮\cdot 𝐋))\\ & =\exp \left(\left[\begin{array}{ccc}0& -z\theta & y\theta \\ z\theta & 0& -x\theta \\ -y\theta & x\theta & 0\end{array}\right]\right)\\ & =I+\sin \theta 𝐮\cdot 𝐋+(1-\cos \theta )(𝐮\cdot 𝐋{)}^2,\end{array}$

dove

$𝐮\cdot 𝐋=\left[\begin{array}{ccc}0& -z& y\\ z& 0& -x\\ -y& x& 0\end{array}\right].$

Questa è la matrice per una rotazione attorno all'asse $𝐮$ dell'angolo $\theta$.

Formula di Baker–Campbell–Hausdorff

La formula BCH fornisce un'espressione esplicita per $Z=\log (e^X{e}^Y)$ in termini di un'espansione in serie di commutatori annidati di $X$ e $Y$. Questa espansione generale si sviluppa come

$Z=C(X,Y)=X+Y+\frac{1}{2}[X,Y]+\frac{1}{12}[X,[X,Y]]-\frac{1}{12}[Y,[X,Y]]+\dots$

Nel caso $3\times 3$, lo sviluppo infinito generale ha una forma compatta,

$Z=\alpha X+\beta Y+\gamma [X,Y].$

Come identità di gruppo, quanto sopra vale per tutte le rappresentazioni fedeli, compresa quella del doppietto (rappresentazione spinor), che è più semplice. La stessa formula esplicita segue quindi direttamente attraverso le matrici di Pauli; si veda la derivazione $2\times 2$ per $\text{SU}(2)$. Per un caso generale $n\times n$ un approfondimento è su questo articolo.

Gruppo di rotazione

Il gruppo di Lie $\text{SO}(n)$ delle matrici di rotazione $n\times n$ non è uno spazio semplicemente connesso, pertanto la teoria di Lie dice che è un'immagine omomorfa di un gruppo di rivestimento universale. Spesso il gruppo di rivestimento, che in questo caso è chiamato gruppo di rotazione indicato con $\mathrm{Spin}(n)$ è il più semplice e naturale da usare.

Nel caso di rotazioni nel piano, $\text{SO}(2)$ topologicamente è una circonferenza, $S^1$. Il suo gruppo di rivestimento universale, $\mathrm{Spin}(2)$, è isomorfo alla retta dei numeri reali, $R$, rispetto all'addizione. Ogni volta che vengono utilizzati angoli di ampiezza arbitraria si sfrutta la praticità del rivestimento universale. Ogni matrice di rotazione $2\times 2$ è prodotta da un'infinità numerabile di angoli, separati da multipli interi di $2\pi$. Di conseguenza, il gruppo fondamentale di $\text{SO}(2)$ è isomorfo agli interi, $𝐙$.

Nel caso di rotazioni spaziali, $\text{SO}(3)$ è topologicamente equivalente allo spazio proiettivo reale tridimensionale, ${𝐑𝐏}^3$. Il suo gruppo di rivestimento universale $\mathrm{Spin}(3)$ è isomorfo alla sfera tridimensionale $S^3$. Ogni matrice di rotazione $3\times 3$ è prodotta da due punti opposti sulla sfera. Di conseguenza, il gruppo fondamentale di $\text{SO}(3)$ è isomorfo al gruppo di due elementi, ${𝐙}_2$.

È possibile descrivere $\mathrm{Spin}(3)$ isomorfo ai quaternioni di norma unitaria rispetto alla moltiplicazione, o a certe matrici reali $4\times 4$, o a matrici unitarie speciali complesse $2\times 2$, note come $\text{SU}(2)$. I rivestimenti per il primo e l'ultimo caso sono dati da

$ℍ\supset \{q\in ℍ:\Vert q\Vert =1\}\ni w+𝐢x+𝐣y+𝐤z\mapsto \left[\begin{array}{ccc}1-2y^2-2z^2& 2xy-2zw& 2xz+2yw\\ 2xy+2zw& 1-2x^2-2z^2& 2yz-2xw\\ 2xz-2yw& 2yz+2xw& 1-2x^2-2y^2\end{array}\right]\in \mathrm{S}\mathrm{O}(3),$

e

$\mathrm{S}\mathrm{U}(2)\ni \left[\begin{array}{cc}\alpha & \beta \\ -\bar{\beta }& \bar{\alpha }\end{array}\right]\mapsto \left[\begin{array}{ccc}\frac{1}{2}({\alpha }^2-{\beta }^2+\overline{{\alpha }^2}-\overline{{\beta }^2})& \frac{i}{2}(-{\alpha }^2-{\beta }^2+\overline{{\alpha }^2}+\overline{{\beta }^2})& -\alpha \beta -\bar{\alpha }\bar{\beta }\\ \frac{i}{2}({\alpha }^2-{\beta }^2-\overline{{\alpha }^2}+\overline{{\beta }^2})& \frac{i}{2}({\alpha }^2+{\beta }^2+\overline{{\alpha }^2}+\overline{{\beta }^2})& -i(+\alpha \beta -\bar{\alpha }\bar{\beta })\\ \alpha \bar{\beta }+\bar{\alpha }\beta & i(-\alpha \bar{\beta }+\bar{\alpha }\beta )& \alpha \bar{\alpha }-\beta \bar{\beta }\end{array}\right]\in \mathrm{S}\mathrm{O}(3).$

Molte caratteristiche di questi casi sono le stesse anche per dimensioni superiori. I rivestimenti sono tutti due-a-uno, con $\text{SO}(n)$, $n>2$, aventi gruppo fondamentale ${𝐙}_2$. L'ambiente naturale per questi gruppi si trova all'interno di un'algebra di Clifford. Un tipo di azione delle rotazioni è prodotto da una specie di "panino", indicato con $q\vee q^{*}$. Ancora più importante nelle applicazioni alla fisica è il fatto che la rappresentazione dello spin corrispondente dell'algebra di Lie si trova all'interno dell'algebra di Clifford. Può essere elevato a potenza nel modo consueto per fornire una rappresentazione a due valori, detta rappresentazione proiettiva del gruppo di rotazione. Questo è il caso di $\text{SO}(3)$ e $\text{SU}(2)$, dove la rappresentazione a due valori può essere letta come un "inverso" del rivestimento. In base alle proprietà dei rivestimenti, l'inverso può essere scelto uno a uno come sezione locale, ma non globalmente.

Rotazioni infinitesimali

Le matrici nell'algebra di Lie non sono di per sé rotazioni; le matrici antisimmetriche sono derivate, differenze proporzionali di rotazioni. Una vera e propria "rotazione differenziale", o "matrice di rotazione infinitesimale" assume la forma

$I+Ad\theta ,$

dove $d\theta$ è infinitamente piccolo e $A\in 𝐬𝐨(n)$, per esempio con $A=L_x$,

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

Le regole per il calcolo sono le stesse, fatta eccezione per il fatto che gli infinitesimi di second'ordine vengono sistematicamente eliminati. Con queste regole, queste matrici non soddisfano tutte le stesse proprietà delle matrici di rotazione finite ordinarie sotto il trattamento usuale degli infinitesimi. Si scopre che l'ordine in cui vengono applicate le rotazioni infinitesimali è irrilevante.

Conversioni

Si è osservata l'esistenza di numerose scomposizioni che si applicano a qualsiasi dimensione, vale a dire a piani indipendenti, angoli sequenziali e dimensioni nidificate. In tutti questi casi è possibile scomporre una matrice o costruirne una. Si è inoltre prestato particolare attenzione alle matrici di rotazione $3\times 3$ che meritano ulteriore attenzione in entrambe le direzioni.

Quaternioni

Template:Vedi anche Dato il quaternione unitario $𝐪=w+x𝐢+y𝐣+z𝐤$, la matrice di rotazione $3\times 3$ pre-moltiplicata equivalente (da utilizzare con vettori colonna) è

$Q=\left[\begin{array}{ccc}1-2y^2-2z^2& 2xy-2zw& 2xz+2yw\\ 2xy+2zw& 1-2x^2-2z^2& 2yz-2xw\\ 2xz-2yw& 2yz+2xw& 1-2x^2-2y^2\end{array}\right].$

Ora ogni componente quaternionica appare moltiplicata per due in un termine di grado due e, se tutti questi termini sono nulli, ciò che resta è la matrice identità. Ciò porta a una conversione efficiente e robusta da qualsiasi quaternione, sia unitario, sia non unitario, a una matrice di rotazione. Dato:

$\begin{array}{cc}n& =w\times w+x\times x+y\times y+z\times z\\ s& =\{\begin{array}{cc}0& \text{se }n=0\\ \frac{2}{n}& \text{diversamente}\end{array}\\ \end{array}$

si può calcolare

$Q=\left[\begin{array}{ccc}1-s(yy+zz)& s(xy-wz)& s(xz+wy)\\ s(xy+wz)& 1-s(xx+zz)& s(yz-wx)\\ s(xz-wy)& s(yz+wx)& 1-s(xx+yy)\end{array}\right].$

Senza la necessità di un quaternione unitario, si scopre che i quaternioni non nulli agiscono come coordinate omogenee per matrici di rotazione $3\times 3$. La trasformata di Cayley, discussa in precedenza, si ottiene scalando il quaternione così che la sua componente $w$ sia 1. Per una rotazione di 180° attorno a qualsiasi asse, $w$ sarà nullo, il che mostra le limitazioni di Cayley.

La somma degli elementi lungo la diagonale principale (la traccia), più uno, è pari a $4-4(x^2+y^2+z^2)$, ossia $4w^2$. Si può quindi scrivere la traccia stessa come $2w^2+2w^2-1$; e dalla versione precedente della matrice si vede come i valori della diagonale abbiano la stessa forma: $2x^2+2w^2-1$, $2y^2+2w^2-1$, e $2z^2+2w^2-1$. È quindi possibile confrontare agevolmente le grandezze di tutte e quattro le componenti del quaternione ricorrendo alla diagonale della matrice. È infatti possibile ottenere tutte e quattro le grandezze utilizzando le somme e le radici quadrate, nonché scegliere segni coerenti utilizzando la parte di simmetria obliqua dei valori esterni alla diagonale:

$\begin{array}{cc}t& =\mathrm{tr}Q=Q_{xx}+Q_{yy}+Q_{zz}(\text{della traccia di }Q)\\ r& =\sqrt{1+t}\\ w& =\frac{1}{2}r\\ x& =\mathrm{sgn}(Q_{zy}-Q_{yz})\left|\frac{1}{2}\sqrt{1+Q_{xx}-Q_{yy}-Q_{zz}}\right|\\ y& =\mathrm{sgn}(Q_{xz}-Q_{zx})\left|\frac{1}{2}\sqrt{1-Q_{xx}+Q_{yy}-Q_{zz}}\right|\\ z& =\mathrm{sgn}(Q_{yx}-Q_{xy})\left|\frac{1}{2}\sqrt{1-Q_{xx}-Q_{yy}+Q_{zz}}\right|.\end{array}$

Alternativamente, utilizzare una singola radice quadrata e divisione

$\begin{array}{cc}t& =\mathrm{tr}Q=Q_{xx}+Q_{yy}+Q_{zz}\\ r& =\sqrt{1+t}\\ s& =\frac{1}{2r}\\ w& =\frac{1}{2}r\\ x& =(Q_{zy}-Q_{yz})s\\ y& =(Q_{xz}-Q_{zx})s\\ z& =(Q_{yx}-Q_{xy})s.\end{array}$

Questo è numericamente stabile fintanto che la traccia, $t$, non è negativa; in questo caso, si rischia di dividere (quasi) per zero. In tal caso, supponendo che $Q_{xx}$ sia l'elemento diagonale più grande, allora $x$ avrà il modulo maggiore (gli altri casi sono derivati dalla permutazione ciclica); pertanto, quanto segue è sicuro.

$\begin{array}{cc}r& =\sqrt{1+Q_{xx}-Q_{yy}-Q_{zz}}\\ s& =\frac{1}{2r}\\ w& =(Q_{zy}-Q_{yz})s\\ x& =\frac{1}{2}r\\ y& =(Q_{xy}+Q_{yx})s\\ z& =(Q_{zx}+Q_{xz})s.\end{array}$

Se la matrice contiene un errore significativo, come un errore numerico accumulato, è possibile costruire una matrice simmetrica $4\times 4$,

$K=\frac{1}{3}\left[\begin{array}{cccc}{Q}_{xx}-Q_{yy}-Q_{zz}& Q_{yx}+Q_{xy}& Q_{zx}+Q_{xz}& Q_{zy}-Q_{yz}\\ Q_{yx}+Q_{xy}& Q_{yy}-Q_{xx}-Q_{zz}& Q_{zy}+Q_{yz}& Q_{xz}-Q_{zx}\\ Q_{zx}+Q_{xz}& Q_{zy}+Q_{yz}& Q_{zz}-Q_{xx}-Q_{yy}& Q_{yx}-Q_{xy}\\ Q_{zy}-Q_{yz}& Q_{xz}-Q_{zx}& Q_{yx}-Q_{xy}& Q_{xx}+Q_{yy}+Q_{zz}\end{array}\right],$

e trovare l'autovettore, $(x,y,z,w)$, del suo autovalore di modulo maggiore. Se $Q$ è davvero una matrice di rotazione, quel valore sarà 1. Il quaternione così ottenuto corrisponderà alla matrice di rotazione più vicina alla matrice data (Nota: la formulazione dell'articolo citato è post-moltiplicata, pertanto funziona con vettori riga).

Decomposizione polare

Se la matrice $M$ di ordine $n$ è non singolare, le sue colonne sono vettori linearmente indipendenti; quindi l'ortogonalizzazione di Gram-Schmidt può adattarle per essere una base ortonormale. Espresso in termini di algebra lineare numerica, si converte $M$ in una matrice ortogonale, $Q$, utilizzando la decomposizione QR. Tuttavia, spesso è preferibile una $Q$ più vicina a $M$, cosa che questo metodo non riesce a realizzare. Per questo, lo strumento che si utilizza è la decomposizione polare.

Per misurare la vicinanza, è possibile utilizzare qualsiasi norma matriciale invariante rispetto alle trasformazioni ortogonali. Una scelta conveniente è la norma di Frobenius $\Vert Q-M{\Vert }_{𝖥}$, al quadrato, che è la somma dei quadrati delle differenze degli elementi. Scrivendo questo in termini di traccia, $\mathrm{Tr}$, l'obiettivo è

Trovare $Q$ che minimizzi $\mathrm{Tr}((Q-M{)}^{𝖳}(Q-M))$, soggetto a $Q^{𝖳}Q=I$.

Attraverso la scrittura in termini matriciali, la funzione obiettivo si riduce a un polinomio quadratico. Può essere minimizzata nel solito modo, trovando il punto dove la sua derivata si annulla. Per una matrice $3\times 3$, il vincolo di ortogonalità implica sei uguaglianze scalari che gli elementi di $Q$ devono soddisfare. Per incorporare i vincoli, è possibile impiegare una tecnica standard, il metodo dei moltiplicatori di Lagrange, assemblati come una matrice simmetrica, $Y$. Pertanto il metodo è:

Differenziare $\mathrm{Tr}((Q-M{)}^{𝖳}(Q-M)+(Q^{𝖳}Q-I)Y)$ rispetto (agli elementi di) $Q$, ed eguagliarla a zero.

Si consideri un esempio $2\times 2$. Inclusi i vincoli, si vuole minimizzare

$\begin{array}{cc}& {(Q_{xx}-M_{xx})}^2+{(Q_{xy}-M_{xy})}^2+{(Q_{yx}-M_{yx})}^2+{(Q_{yy}-M_{yy})}^2\\ & +(Q_{xx}^2+Q_{yx}^2-1)Y_{xx}+(Q_{xy}^2+Q_{yy}^2-1)Y_{yy}+2(Q_{xx}{Q}_{xy}+Q_{yx}{Q}_{yy})Y_{xy}.\end{array}$

Derivando a turno rispetto a $Q_{xx}$, $Q_{xy}$, $Q_{yx}$, $Q_{yy}$, si ottiene la una matrice

$2\left[\begin{array}{cc}{Q}_{xx}-M_{xx}+Q_{xx}{Y}_{xx}+Q_{xy}{Y}_{xy}& Q_{xy}-M_{xy}+Q_{xx}{Y}_{xy}+Q_{xy}{Y}_{yy}\\ Q_{yx}-M_{yx}+Q_{yx}{Y}_{xx}+Q_{yy}{Y}_{xy}& Q_{yy}-M_{yy}+Q_{yx}{Y}_{xy}+Q_{yy}{Y}_{yy}\end{array}\right]$

In generale, si ottiene l'equazione

$0=2(Q-M)+2QY,$

tale che

$M=Q(I+Y)=QS,$

dove $Q$ è ortogonale e $S$ simmetrica. Per garantire un minimo, la matrice $Y$ (e, pertanto, $S$) devono essere definite positive. L'algebra lineare definisce $QS$ la decomposizione polare di $M$, con $S$ la radice quadrata positiva di $S^2=M^{𝖳}M$.

$S^2={\left(Q^{𝖳}M\right)}^{𝖳}\left(Q^{𝖳}M\right)=M^{𝖳}Q{Q}^{𝖳}M=M^{𝖳}M.$

Quando $M$ è non singolare, i fattori $Q$ e $S$ della decomposizione polare sono univocamente determinati. Tuttavia, il determinante di $S$ è positivo poiché $S$ è definita positiva, pertanto $Q$ eredita il segno del determinante di $M$. Questo garantisce soltanto che $Q$ sia ortogonale, non che sia una matrice di rotazione. Ciò è inevitabile: una $M$ con determinante negativo non ha una matrice di rotazione più vicina definita in modo univoco.

Asse e angolo

Visualizzazione di una rotazione rappresentata tramite asse e angolo di Eulero.

Per costruire efficientemente una matrice di rotazione

$Q$

da un angolo

$\theta$

e un asse unitario

$𝐮$

, si sfrutta la simmetria e l'antisimmetria all'interno dei suoi termini. Se

$x$

,

$y$

, e

$z$

sono le componenti del vettore unitario che rappresenta l'asse, e

$\begin{array}{cc}c& =\cos \theta \\ s& =\sin \theta \\ C& =1-c\end{array}$

si ha

$Q(\theta )=\left[\begin{array}{ccc}xxC+c& xyC-zs& xzC+ys\\ yxC+zs& yyC+c& yzC-xs\\ zxC-ys& zyC+xs& zzC+c\end{array}\right].$

La determinazione di un asse e di un angolo, come la determinazione di un quaternione, è possibile solo a meno del segno; ossia $(𝐮,\theta )$ e $(-𝐮,-\theta )$ corrispondono alla stessa matrice di rotazione, come $q$ e $-q$. Inoltre, l'estrazione asse-angolo presenta ulteriori difficoltà. L'angolo può essere limitato da 0° a 180°, ma formalmente gli angoli sono ambigui per multipli di 360°. Quando l'angolo è nullo, l'asse non è definito. Quando l'angolo è 180°, la matrice è simmetrica, il che ha implicazioni nell'estrazione dell'asse. In prossimità di multipli di 180°, si deve fare attenzione nell'evitare problemi numerici: nell'estrazione dell'angolo, un'arcotangente a due argomenti $\mathrm{atan2}(\sin \theta ,\cos \theta )$ pari a $\theta$ evita l'insensibilità della funzione arcocoseno; nel calcolo dell'ampiezza dell'asse per forzare l'ampiezza unitaria, un approccio basato sulla forza bruta potrebbe perdere accuratezza per effetto dello scarto di flusso.

Un approccio parziale è il seguente:

$\begin{array}{cc}x& =Q_{zy}-Q_{yz}\\ y& =Q_{xz}-Q_{zx}\\ z& =Q_{yx}-Q_{xy}\\ r& =\sqrt{x^2+y^2+z^2}\\ t& =Q_{xx}+Q_{yy}+Q_{zz}\\ \theta & =\mathrm{atan2}(r,t-1).\end{array}$

Le componenti $x$, $y$ e $z$ dell'asse verrebbero pertanto divise per $r$. Un approccio completamente robusto utilizza un algoritmo differente quando la traccia $t$, della matrice $Q$, è negativa, come nell'estrazione dei quaternioni. Quando $r$ è nullo poiché l'angolo è zero, si deve fornire un asse da una sorgente diversa dalla matrice.

Angoli di Eulero

La complessità della conversione aumenta con gli angoli di Eulero (qui utilizzati in senso lato). La prima difficoltà consiste nello stabilire quale delle ventiquattro varianti dell'ordine degli assi cartesiani verrà utilizzata. Supponiamo che i tre angoli siano ${\theta }_1$, ${\theta }_2$, ${\theta }_3$; fisici e chimici possono interpretarli come

$Q({\theta }_1,{\theta }_2,{\theta }_3)=Q_{𝐳}({\theta }_1)Q_{𝐲}({\theta }_2)Q_{𝐳}({\theta }_3),$

mentre nel campo della dinamica dei velivoli si può utilizzare

$Q({\theta }_1,{\theta }_2,{\theta }_3)=Q_{𝐳}({\theta }_3)Q_{𝐲}({\theta }_2)Q_{𝐱}({\theta }_1).$

Un approccio sistematico inizia con la scelta dell'asse più a destra. Tra tutte le permutazioni di $(z,y,z)$, solo due pongono quell'asse per primo; una è una permutazione pari e l'altra dispari. A parità di scelta è determinato l'asse centrale. Restano due possibilità per la scelta dell'asse più a sinistra: duplicare il primo oppure no. Queste tre scelte forniscono $3\times 2\times 2=12$ varianti; è possibile raddoppiarle a 24 scegliendo assi statici o rotanti.

Questo è sufficiente per costruire una matrice di angoli, ma le terne differiscono in molti modi e possono produrre la medesima matrice di rotazione. Per esempio, si supponga di utilizzare la convenzione $xyz$ di cui sopra; si avranno le seguenti coppie equivalenti:

(90°,	45°,	−105°)	≡	(−270°,	−315°,	255°)	multipli di 360°
(72°,	0°,	0°)	≡	(40°,	0°,	32°)	allineamento univoco
(45°,	60°,	−30°)	≡	(−135°,	−60°,	150°)	capovolgimento bidirezionale

Gli angoli per qualsiasi ordine possono essere trovati utilizzando un algoritmo semplice ed efficiente.

Il problema dell'allineamento univoco, l'analogo matematico del blocco cardanico fisico, si verifica quando la rotazione centrale allinea gli assi della prima e dell'ultima rotazione. Affligge ogni ordine degli assi, sia a multipli pari, sia dispari di 90°. Queste singolarità non sono caratteristiche della matrice di rotazione in quanto tale e si verificano solo con l'utilizzo degli angoli di Eulero.

Le singolarità vengono evitate quando si considera e si manipola la matrice di rotazione come vettori di riga ortonormali (nelle applicazioni tridimensionali spesso denominati vettore destro, vettore superiore e vettore esterno) anziché come angoli. Anche quando si lavora con i quaternioni si evitano le singolarità.

Formulazione da vettore a vettore

In alcuni casi è interessante descrivere la rotazione specificando come un vettore viene mappato in un altro attraverso il percorso più breve (angolo più piccolo). In ${ℝ}^3$ questo descrive completamente la matrice di rotazione associata. In generale, dato $x,y\in {𝕊}^n$, la matrice

$R:=I+y{x}^{𝖳}-x{y}^{𝖳}+\frac{1}{1+⟨x,y⟩}{(y{x}^{𝖳}-x{y}^{𝖳})}^2$

appartiene a $\text{SO}(n+1)$ e mappa $x$ su $y$.

Matrice di rotazione casuale uniforme

Talvolta si rende necessario generare una matrice di rotazione casuale uniformemente distribuita. Sembra intuitivamente chiaro in due dimensioni che ciò significa che l'angolo di rotazione è distribuito uniformemente tra 0 e $2\pi$. Questa intuizione è corretta, ma non è valida per le dimensioni superiori. Per esempio, se si scompongono le matrici di rotazione $3\times 3$ nella forma asse-angolo, l'angolo non dovrebbe essere distribuito uniformemente; la probabilità che (la grandezza) dell'angolo sia al massimo $\theta$ dovrebbe essere $\frac{1}{\pi }(\theta -\sin \theta )$, per $0\le \theta \le \pi$.

Poiché $\text{SO}(n)$ è un gruppo di Lie connesso e localmente compatto, si ha un semplice criterio standard per l'uniformità, vale a dire che la distribuzione non cambia quando composta da una qualsiasi rotazione arbitraria (una "traslazione" del gruppo di Lie). Questa definizione corrisponde a quella che viene chiamata misura di Haar. Nell'articolo citato viene mostrato come utilizzare la trasformata di Cayley per generare e testare matrici secondo questo criterio.

È pure possibile generare una distribuzione uniforme in qualsiasi dimensione utilizzando l'algoritmo dei sottogruppi. Ciò sfrutta ricorsivamente la struttura del gruppo di dimensioni nidificate di $\text{SO}(n)$, come segue. Genera un angolo uniforme e costruisce una matrice di rotazione $2\times 2$. Per passare da $n$ a $n+1$, si genera un vettore $𝐯$ distribuito uniformemente sulla $n$-sfera $S^n$, quindi si incorpora la matrice $n\times n$ nella dimensione immediatamente più grande con l'ultima colonna $(0,\dots ,0,1)$, e si ruota la matrice più grande così che l'ultima colonna diventi $𝐯$.

Come al solito, si hanno delle alternative speciali per il caso $3\times 3$. Ciascuno di questi metodi parte con tre scalari casuali indipendenti, distribuiti uniformemente sull'intervallo unitario sfrutta la dimensione dispari per ottenere una rotazione tramite una trasformazione di Householder per negazione e la utilizza per puntare l'asse di una rotazione planare uniforme.

Un altro metodo utilizza i quaternioni unitari. La moltiplicazione delle matrici di rotazione è omomorfa alla moltiplicazione dei quaternioni e la moltiplicazione per un quaternione unitario ruota la sfera unitaria. Poiché l'omomorfismo è un'isometria locale, si conclude immediatamente che per produrre una distribuzione uniforme su $\text{SO}(3)$ è possibile utilizzare una distribuzione uniforme su $S^3$. In pratica: creare un vettore di quattro elementi dove ciascuno di essi è un campionamento di una distribuzione normale. Normalizzando la sua lunghezza, si ottiene un quaternione unitario casuale uniformemente campionato che rappresenta una rotazione casuale uniformemente campionata. Si noti che quanto detto sopra si applica solo alle rotazioni in dimensione 3. Per un'idea generalizzata dei quaternioni, è necessario esaminare i rotori.

Si possono usare anche gli angoli di Eulero, anche se non con ogni angolo distribuito uniformemente. Per la forma asse-angolo, l'asse è distribuito uniformemente sulla sfera unitaria delle direzioni, $S^2$, mentre l'angolo ha la distribuzione non uniforme su $[0,\pi ]$.

Note

Note al testo

Fonti

Voci correlate

• Formula di Rodrigues
• Asse angolo
• Rotazione
• Matrice di trasformazione
• Angoli di Eulero
• Rollio
• Beccheggio
• Imbardata
• Isometria
• Versori

Collegamenti esterni

• Template:Collegamenti esterni
• Math Awareness Month 2000 interactive demo (richiede Java)
• Rotation Matrices su MathPages.com
• Anselmo Canfora, Parametrizzazione di SO_n(R) degli angoli di Eulero su altervista.org
• Rotation about any point su euclideanspace.com