Trasformata di Cayley

Da testwiki.
Versione del 17 feb 2021 alle 21:16 di imported>Datolo12 (nuova chiave d'ordine per Categoria:Trasformate: "Cayley" usando HotCat)
(diff) ← Versione meno recente | Versione attuale (diff) | Versione più recente → (diff)
Vai alla navigazione Vai alla ricerca

In matematica, con trasformata di Cayley si identificano oggetti diversi.

La trasformata di Cayley è stata inizialmente introdotta da Arthur Cayley come una mappa tra lo spazio delle matrici antisimmetriche e quello delle matrici ortogonali speciali. In analisi complessa, la trasformata di Cayley è una mappa conforme tale per cui l'immagine del semipiano complesso superiore è il disco unitario, mentre nella teoria degli spazi di Hilbert denota una trasformazione tra operatori lineari.

Mappa tra matrici

Si consideri lo spazio vettoriale delle matrici di dimensione n×n su , e sia A una matrice antisimmetrica, cioè tale che AT=A. La matrice I+A, dove I denota la funzione identità, è in tal caso invertibile.

Si definisce trasformata di Cayley la matrice ortogonale speciale Q definita nel modo seguente:

Q=(IA)(I+A)1

Dal momento che la moltiplicazione fra matrici nella definizione è commutativa, la trasformata di Cayley può essere definita in modo equivalente come:

Q=(I+A)1(IA)

Viceversa, data una matrice ortogonale che non possiede -1 come autovalore, allora la matrice:

A=(IQ)(I+Q)1

è antisimmetrica.

Mappa conforme

Template:Vedi anche

La trasformata di Cayley mappa il semipiano complesso superiore nel disco unitario.

In analisi complessa, la trasformata di Cayley è una mappa conforme dal piano complesso in sé data da:

W:zz𝐢z+𝐢

Si tratta di una trasformazione lineare fratta, e può essere estesa ad un automorfismo definito sulla sfera di Riemann.

Tale funzione gode delle seguenti proprietà:

Mappa tra spazi di Hilbert

Generalizzando i concetti di mappa matriciale e mappa sul piano complesso, si definisce su uno spazio di Hilbert la trasformata di Cayley per operatori lineari:

U=(A𝐢I)(A+𝐢I)1A=𝐢(I+U)(IU)1

Tale funzione permette, in particolare, di definire la diagonalizzazione di operatori autoaggiunti non limitati attraverso una misura a valori di proiettore.

Bibliografia

Voci correlate

Template:Portale