See also ebooksgratis.com: no banners, no cookies, totally FREE.

CLASSICISTRANIERI HOME PAGE - YOUTUBE CHANNEL
Privacy Policy Cookie Policy Terms and Conditions
Matrice ortogonale - Wikipedia

Matrice ortogonale

Da Wikipedia, l'enciclopedia libera.

In matematica, e più precisamente in algebra lineare, una matrice ortogonale è una matrice quadrata a valori reali che può essere definita in vari modi diversi, tutti equivalenti:

Secondo la prima definizione, G è ortogonale se e solo se

G\cdot G^T = G^T\cdot G = I_n.

Si può facilmente ricavare che il numero di parametri indipendenti in una matrice ortogonale NxN è \frac{N}{2}(N-1).

Indice

[modifica] Proprietà basilari

[modifica] Basi ortonormali

Una matrice quadrata è ortogonale se e solo se le sue colonne formano una base ortonormale dello spazio euclideo Rn con l'ordinario prodotto scalare. In effetti questa proprietà è semplicemente la rilettura della relazione G GT = In.

Rileggendo similmente la relazione GT G = In, si ricava l'enunciato duale del precedente: una matrice quadrata reale è ortogonale se e solo se le sue righe formano una base ortonormale di Rn.

[modifica] Isometrie

Geometricamente, le matrici ortogonali descrivono le trasformazioni lineari di Rn che sono anche isometrie. Queste preservano il prodotto scalare dello spazio, e quindi gli angoli e le lunghezze. Ad esempio, le rotazioni e le riflessioni sono isometrie.

Viceversa, se V è un qualsiasi spazio vettoriale di dimensione finita su cui è definito un prodotto scalare definito positivo, e f : VV è un'applicazione lineare con

\langle f(x),f(y)\rangle=\langle x,y\rangle

per tutti gli elementi x, y di V, allora f è una isometria ed è rappresentata in ogni base ortonormale di V da una matrice ortogonale.

In uno spazio euclideo di dimensione 2 e 3, ogni matrice ortogonale esprime una rotazione intorno ad un punto o un asse, o una riflessione, o una composizione di queste due trasformazioni.

[modifica] Gruppo ortogonale

Per approfondire, vedi la voce gruppo ortogonale.

Dalla definizione segue subito che l'inversa di ogni matrice ortogonale, cioè la sua trasposta, è anch'essa ortogonale. Analogamente, il prodotto di due ortogonali è ortogonale. Infatti,

 (G\cdot H)\cdot (G\cdot H)^T = G\cdot H\cdot H^T\cdot G^T = G\cdot G^T = I .

Questo dimostra che l'insieme delle matrici ortogonali n×n forma un gruppo. Questo è un gruppo di Lie, chiamato gruppo ortogonale e indicato con O(n).

La sua dimensione è n(n − 1)/2. Intuitivamente, la dimensione è calcolata nel modo seguente: gli n2 numeri di una matrice ortogonale sono vincolati dalle n2 uguaglianze della definizione, ciascuna delle quali è caratterizzata da una coppia di indici (i,j) che vanno da 1 a n; ma l'equazione relativa a (i,j) con i < j equivale a quella relativa a (j,i) e quindi in verità ci sono solo n(n + 1)/2 equazioni "indipendenti", e quindi n(n − 1)/2 gradi di libertà.

[modifica] Matrice ortogonale speciale

Il determinante di ogni matrice ortogonale è 1 o −1. Questo si può dimostrare come segue:

 1 = \det(I) = \det(G\cdot G^T) = \det(G)\det(G^T) = (\det(G))^2 .

Una matrice ortogonale con determinante positivo si dice matrice ortogonale speciale.

L'insieme di tutte le matrici ortogonali speciali formano un sottogruppo di O(n) di indice 2, chiamato gruppo ortogonale speciale e denotato SO(n).

[modifica] Autovalori e decomposizioni

[modifica] Autovalori

Tutti gli autovalori di una matrice ortogonale, anche quelli complessi, hanno valore assoluto 1. Autovettori relativi a differenti autovalori sono ortogonali.

[modifica] Decomposizioni lungo piani

Data una matrice ortogonale Q, esiste una matrice ortogonale P tale che


P^{-1}QP = \begin{pmatrix}
R_1               \\
& R_2             \\
& & \ddots        \\
& & & R_k         \\
& & & & \pm 1     \\
& & & & & \ddots  \\
& & & & & & \pm 1 \\
\end{pmatrix}

dove R1,...,Rk denotano matrici di rotazione 2 × 2. Intuitivamente, questo risultato dice che ogni matrice ortogonale descrive una combinazione di rotazioni e riflessioni su piani ortogonali. Le matrici R1,...,Rk corrispondono alle coppie di autovalori complessi coniugati di Q.

[modifica] Decomposizione QR

Se A è una arbitraria matrice di tipo m × n di rango n (mn), possiamo sempre scrivere

 A = Q \begin{pmatrix} R \\ 0 \end{pmatrix}

dove Q è una matrice ortogonale di tipo m × m e R è una matrice triangolare superiore di tipo n &times n con valori positivi sulla diagonale principale. Questa è conosciuta come decomposizione QR di A e può essere dimostrata applicando l'ortogonalizzazione di Gram-Schmidt alle colonne di A.

Questa decomposizione risulta utile per risolvere numericamente i sistemi di equazioni lineari e i problemi di minimi quadrati.

[modifica] Matrici ortogonali e rappresentazione delle algebre di Clifford

Per approfondire, vedi la voce Rappresentazione delle algebre di Clifford.

Alle matrici ortogonali si può attribuire un secondo significato geometrico che si collega alle rappresentazione matriciale delle algebre di Clifford. Qui lo introduciamo in modo semplice attraverso un semplice esempio.

I vettori della base canonica di R2 sono e1 = [1 0] e e2 =[0 1] e per un generico vettore di questo piano cartesiano scriviamo

[x y]= x·[1 0] + y·[0 1]

La matrice ortogonale

 E_1 := \begin{bmatrix} 0&1 \\ 1&0  \end{bmatrix}

rappresenta la riflessione rispetto alla bisettrice y=x, poiché scambia le due componenti di ogni vettore piano:

 \begin{bmatrix} x&y \end{bmatrix}
\times \begin{bmatrix} 0&1 \\ 1&0  \end{bmatrix}
= \begin{bmatrix} y&x \end{bmatrix}

La matrice ortogonale

 E_2 := \begin{bmatrix} 1&0 \\ 0&-1  \end{bmatrix}

rappresenta invece la riflessione rispetto all'asse x, poiché il punto [x y] ha come immagine [x,−y].

 \begin{bmatrix} x&y \end{bmatrix}
\times \begin{bmatrix} 1&0 \\ 0&-1  \end{bmatrix}
= \begin{bmatrix} x&-y \end{bmatrix}

Per i due prodotti di queste matrici si trova

 E_1 \times E_2 =
\begin{bmatrix} 0&1 \\ 1&0  \end{bmatrix}
\times \begin{bmatrix} 1&0 \\ 0&-1  \end{bmatrix}
=      \begin{bmatrix} 0&-1 \\ 1&0  \end{bmatrix}
  E_2 \times E_1 =
\begin{bmatrix} 1&0 \\ 0&-1 \end{bmatrix}
\times \begin{bmatrix} 0&1 \\  1&0  \end{bmatrix}
=      \begin{bmatrix} 0&1 \\ -1&0  \end{bmatrix}
.

Si tratta delle due rotazioni nel piano di π/2 e di −π/2, rotazioni opposte: quindi le due matrici Ei anticommutano. In formule:

 e_1^2 = e_2^2 = I \; ; \quad e_1 e_2 = - e_2 e_1

Consideriamo ora E1 ed E2 come vettori di base del piano bidimensionale delle loro combinazioni lineari

(x,y) := x E_1 + y E_2 = \begin{bmatrix} y&x \\ x&-y \end{bmatrix} .

Consideriamo anche la seguente composizione di due di queste entità MV (matriciali e vettoriali) A e B:

 A \cdot B := \frac{1}{2}(AB + BA),

In dettaglio si trova

 \begin{bmatrix} y&x \\ x&-y  \end{bmatrix} \cdot \begin{bmatrix} v&u \\ u&-v  \end{bmatrix} =
   \begin{bmatrix} xu+yv & 0 \\ 0 & xu+yv \end{bmatrix}

Per il quadrato di una di queste entità MV in particolare

 \begin{bmatrix} y&x \\ x&-y  \end{bmatrix} \cdot \begin{bmatrix} y&x \\ x&-y
\end{bmatrix} = \begin{bmatrix} x^2+y^2 & 0 \\ 0 & x^2+y^2 \end{bmatrix}

Si può quindi definire come prodotto interno di A e B la precedente composizione, a meno della matrice unità I2. Questo è lecito in quanto chiaramente si tratta di una forma bilineare simmetrica positiva. Il prodotto interno di una entità MV con sé stessa fornisce il quadrato della sua norma.

Dato che le entità base anticommutano vediamo che

 E_1 \cdot E_2 = 0.

Le entità E1 ed E2 sono ortogonali secondo entrambe le loro interpretazioni:

  1. sono matrici ortogonali
  2. rappresentano vettori di base ortogonali in quanto matrici anticommutative.

[modifica] Generalizzazioni

L'analogo complesso delle matrici ortogonali sono le matrici unitarie.

[modifica] Voci correlate



aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -