Decomposizione ai valori singolari
In algebra lineare, la decomposizione ai valori singolari, detta anche SVD (dall'acronimo inglese di singular value decomposition), è una particolare fattorizzazione di una matrice basata sull'uso di autovalori e autovettori. Data una matrice reale o complessa di dimensione , si tratta di una scrittura del tipo:
dove è una matrice unitaria di dimensioni , è una matrice diagonale rettangolare (non è quadrata ma possiede elementi non nulli solo quando gli indici di riga e colonna coincidono) di dimensioni e è la trasposta coniugata di una matrice unitaria di dimensioni .
Gli elementi di sono detti valori singolari di ; ognuna delle colonne di è detta vettore singolare sinistro mentre ognuna delle colonne di è detta vettore singolare destro. Si verifica che:
- I vettori singolari di sinistra di sono gli autovettori di .
- I vettori singolari di destra di sono gli autovettori di .
- I valori singolari non nulli di (che si trovano sulla diagonale principale di ) sono le radici quadrate degli autovalori non nulli di e .
Storia
[modifica | modifica wikitesto]In origine, la decomposizione ai valori singolari fu sviluppata da studiosi di geometria differenziale allo scopo di determinare se una forma bilineare reale potesse essere equivalente ad un'altra tramite trasformazioni ortogonali indipendenti dei due spazi presi in considerazione. Eugenio Beltrami nel 1873, e Camille Jordan nel 1874, in modo indipendente tra loro, scoprirono che i valori singolari della forma bilineare, rappresentati in una matrice, formano un insieme completo di invarianti per forme bilineari. Anche James Joseph Sylvester arrivò al risultato della SVD, sembra in maniera indipendente dagli studi di Beltrami e Jordan. Sylvester chiamò i valori singolari moltiplicatori canonici della matrice. Il quarto matematico a scoprire la decomposizione a valori singolari fu Léon Autonne, nel 1915, che raggiunse la sua formulazione tramite lo studio delle matrici per decomposizione polare. La prima dimostrazione del procedimento di decomposizione per matrici rettangolari e a valori complessi sembra esser stata prodotta da Carl Eckart e Gale Young nel 1936.
Nel 1907, Erhard Schmidt definì un analogo dei valori singolari per gli operatori integrali (che sono compatti, sotto alcune deboli assunzioni); pare che, durante i suoi studi, Schmidt fosse ignaro dell'esistenza dei risultati sui valori singolari per le matrici finite. Questa teoria fu ulteriormente sviluppata da Émile Picard nel 1910, che fu il primo a chiamare i numeri «valeurs singulières» e a denotarli .
Metodi pratici per la computazione della SVD risalgono a Ervand Kogbetliantz fra il 1954 e il 1955 e a Magnus Hestenes nel 1958 e hanno un'implementazione simile al metodo di Jacobi, che usa rotazioni del piano o rotazioni di Givens. Tali approcci furono rimpiazzati dal metodo di Gene H. Golub e William Kahan pubblicato nel 1965 (Golub & Kahan 1965), che si basa su trasformazioni di Householder o riflessioni. Nel 1970, Golub e Christian Reinsch pubblicarono una variante dell'algoritmo di Golub/Kahan che è ancora uno dei più utilizzati.
Definizione
[modifica | modifica wikitesto]Sia una matrice. Allora esiste una fattorizzazione della stessa nella forma:
dove è una matrice unitaria di dimensioni , è una matrice diagonale rettangolare (non è quadrata ma possiede elementi non nulli solo quando gli indici di riga e colonna coincidono) di dimensioni e è la trasposta coniugata di una matrice unitaria di dimensioni .
Tale fattorizzazione è indicata come fattorizzazione SVD completa. Nella versione normalmente utilizzata, denominata forma SVD ridotta, la matrice ha dimensione mentre è . Gli elementi della diagonale di sono i valori singolari di e hanno le proprietà:
Si può dimostrare che il rango della matrice è uguale a quello della matrice . In particolare si osserva che il rango di dipende dai valori singolari ed è proprio uguale al numero di valori singolari diversi da zero.
Si supponga di avere una matrice con rango , allora si ha che e la decomposizione SVD di è definita come:
dove è una matrice singolare sinistra ortogonale, è la matrice trasposta coniugata di una matrice singolare destra ortogonale e è una matrice singolare diagonale di ordine (cioè con valori diversi da zero).
Il rango della matrice , e di conseguenza della matrice singolare , forniscono la dimensione effettiva delle tre matrici , e .
Le colonne della matrice e le righe della matrice rappresentano gli autovettori ortogonali associati agli autovalori rispettivamente di e . In altre parole, le colonne di corrispondono ai valori singolari diversi da zero dello spazio delle colonne della matrice e le righe di corrispondono ai valori singolari diversi da zero corrispondenti allo spazio delle righe della matrice .
Inoltre, essendo e due matrici unitarie, godono della seguente proprietà:
Applicazioni
[modifica | modifica wikitesto]La SVD ha numerose applicazioni nel campo dell'algebra lineare. Innanzitutto fornisce delle informazioni importanti sulla matrice , come il suo rango, qual è il suo nucleo e qual è la sua immagine. Viene usata per definire la pseudo-inversa di una matrice rettangolare utile per la risoluzione del problema dei minimi quadrati. Trova utilizzo anche nella risoluzione di sistema di equazioni lineari omogeneo.
Un'altra importante applicazione riguarda l'approssimazione della matrice , con una di rango inferiore (SVD troncata), utilizzata nell'elaborazione di immagini e nell'elaborazione dei segnali.
La SVD ha anche note applicazioni nel campo dell'analisi delle componenti principali.[1][2]
Esempio
[modifica | modifica wikitesto]Data la matrice:
una decomposizione a valori singolari è data da:
Si ha:
Moltiplicando le matrici o per le loro rispettive trasposte si ottiene come risultato la matrice identità, cioè entrambe le matrici sono ortogonali:
e
È possibile notare, inoltre, che la decomposizione a valori singolari non è unica per ogni matrice. Per esempio, scegliendo la stessa matrice , si può ottenere:
che è un'altra valida decomposizione a valori singolari.
Note
[modifica | modifica wikitesto]- ^ Wall-Rechtsteiner-Rocha.
- ^ (EN) Glenn Tesler, Principal Components Analysis (PCA) and Singular Value Decomposition (SVD) with applications to Microarrays (PDF), su math.ucsd.edu, UCSD - Dipartimento di Matematica, 2015. URL consultato il 30 giugno 2017 (archiviato dall'url originale il 30 giugno 2017).
Bibliografia
[modifica | modifica wikitesto]- (EN) Gene H. Golub, Charles F. Van Loan, Matrix computations, 3ª edizione, Johns Hopkins University Press, 1996, ISBN 0-8018-5414-8.
- (EN) Lloyd N. Trefethen e David Bau III, Numerical linear algebra, Philadelphia, Society for Industrial and Applied Mathematics, 1997, ISBN 978-0-89871-361-9.
- (EN) Gene H. Golub e Charles F. Van Loan, Matrix Computations, 3rd, Johns Hopkins, 1996, ISBN 978-0-8018-5414-9.
- (EN) Horn, Roger A.; Johnson, Charles R., Section 7.3, in Matrix Analysis, Cambridge University Press, 1985, ISBN 0-521-38632-2.
- (EN) Horn, Roger A.; Johnson, Charles R., Chapter 3, in Topics in Matrix Analysis, Cambridge University Press, 1991, ISBN 0-521-46713-6.
- (EN) Samet, H., Foundations of Multidimensional and Metric Data Structures, Morgan Kaufmann, 2006, ISBN 0-12-369446-9.
- (EN) Strang G., Section 6.7, in Introduction to Linear Algebra, 3rd, Wellesley-Cambridge Press, 1998, ISBN 0-9614088-5-5.
- (EN) Michael E. Wall, Andreas Rechtsteiner, Luis M. Rocha, Singular value decomposition and principal component analysis, in D.P. Berrar, W. Dubitzky, M. Granzow (a cura di), A Practical Approach to Microarray Data Analysis, Norwell, MA, Kluwer, 2003, pp. 91–109.
Voci correlate
[modifica | modifica wikitesto]- Autovettore e autovalore
- Decomposizione di una matrice
- Decomposizione polare
- Matrice trasposta coniugata
- Matrice unitaria
- Problema di Procuste ortogonale
- Teorema spettrale
- Valore singolare
Collegamenti esterni
[modifica | modifica wikitesto]- (EN) Eric W. Weisstein, Decomposizione ai valori singolari, su MathWorld, Wolfram Research.
- (EN) singular value decomposition, in PlanetMath.
- (EN) GSL Team, §14.4 Singular Value Decomposition, in GNU Scientific Library. Reference Manual, 2007.