Trasformazione ortogonale

Da Wikipedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca

In matematica, più precisamente in algebra lineare, una trasformazione ortogonale è una trasformazione lineare di uno spazio euclideo che preserva il prodotto scalare.

Una trasformazione ortogonale può essere espressa (rispetto ad una base ortonormale finita) tramite una matrice ortogonale. Una trasformazione ortogonale è sempre un'isometria. D'altra parte, ogni isometria che fissa l'origine è una trasformazione ortogonale.

Sia uno spazio euclideo, cioè uno spazio vettoriale reale dotato di un prodotto scalare definito positivo. Una trasformazione ortogonale è una trasformazione lineare che preserva il prodotto scalare. Vale cioè la relazione:

per ogni coppia di vettori in .[1]

Una trasformazione ortogonale preserva la norma di un vettore:

Più in generale, la trasformazione preserva la distanza su :

In altre parole, una trasformazione ortogonale è una isometria.

Non tutte le isometrie di sono trasformazioni ortogonali: ad esempio la traslazione di un vettore fissato non nullo:

è una isometria che non fissa l'origine, e quindi non è una trasformazione ortogonale.

D'altra parte, ogni isometria che fissa l'origine è una trasformazione ortogonale. Quindi ogni isometria è composizione di una trasformazione ortogonale e di una traslazione.

Matrice associata

[modifica | modifica wikitesto]

La matrice associata ad una trasformazione ortogonale rispetto ad una base ortonormale è una matrice ortogonale, ovvero una matrice quadrata tale che:

Le applicazioni ortogonali formano un gruppo con l'operazione di composizione di funzioni. Questo gruppo è isomorfo al gruppo ortogonale formato da tutte le matrici ortogonali.

Generalizzazioni

[modifica | modifica wikitesto]

Prodotto scalare arbitrario

[modifica | modifica wikitesto]

Nella definizione di trasformazione ortogonale, alcuni autori non richiedono che il prodotto scalare sia definito positivo. Con questa convenzione, ad esempio, una trasformazione di Lorentz è una trasformazione ortogonale dello spazio di Minkowski, il cui prodotto scalare ha segnatura .

  1. ^ Todd Rowland, Orthogonal Transformation, su mathworld.wolfram.com, MathWorld. URL consultato il 4 maggio 2012.
  • (EN) F.R. Gantmakher, The theory of matrices , 1 , Chelsea, reprint (1959) pp. 263ff (Translated from Russian)
  • (EN) W. Noll, Finite dimensional spaces , M. Nijhoff (1987) pp. Sect. 43
  • (EN) H.W. Turnball, A.C. Aitken, An introduction to the theory of canonical matrices , Blackie & Son (1932)

Voci correlate

[modifica | modifica wikitesto]

Collegamenti esterni

[modifica | modifica wikitesto]
  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica