Ανάλυση πίνακα σε ιδιάζουσες τιμές

Στη γραμμική άλγεβρα , η ανάλυση σε ιδιάζουσες τιμές είναι μία παραγοντοποίηση  ενός πίνακα με πραγματικά ή μιγαδικά στοιχεία, με πολλές χρήσιμες εφαρμογές στη θεωρία σημάτων και τη στατιστική.

Η ανάλυση ενός *m×n *πίνακα *M,* με πραγματικά ή μιγαδικά στοιχεία, σε ιδιάζουσες τιμές είναι μια παραγοντοποίηση της μορφής 
: \mathbf{M} = \mathbf{U} \boldsymbol{\Sigma} \mathbf{V}^*

όπου *U* είναι ένας *m*×*m* πραγματικός ή μιγαδικός ορθομοναδιαίος πίνακας, Σ ένας *m×n* ορθογώνιος διαγώνιος πίνακας με μη αρνητικές τιμές στην διαγώνιο και *V** (ο συζυγής ανάστροφος του *V*, ή απλά ο ανάστροφος του  *V* αν ο *V* είναι πραγματικός) ένας *n×n* πραγματικός ή μιγαδικός ορθομοναδιαίος πίνακας. Τα διαγώνια στοιχεία Σ*i*,*i* του Σ είναι γνωστά ως ιδιάζουσες τιμές του  *M*. Οι *m* στήλες του *U* και οι *n* στήλες του *V* ονομάζονται  **αριστερά-ιδιάζοντα διανύσματα** και **δεξιά-ιδιάζοντα διανύσματα** του Μ, αντίστοιχα.

Η ανάλυση σε ιδιάζουσες τιμές και η ανάλυση σε ιδιοτιμές είναι στενά συνδεδεμένες. Δηλαδή:
:* Τα αριστερά-ιδιάζοντα διανύσματα του *M* είναι τα ιδιοδιανύσματα του  *MM**.
:* Τα δεξιά-ιδιάζοντα διανύσματα του *M* είναι τα ιδιοδιανύσματα του  *M*M*.
:* Οι μη-μηδενικές ιδιάζουσες τιμές του *M* (που εμφανίζονται στις διαγώνιες θέσεις του *Σ*) είναι οι τετραγωνικές ρίζες των μη μηδενικών ιδιοτιμών του  *M*M* και του *MM**.

Εφαρμογές που χρησιμοποιούν την ανάλυση σε ιδιάζουσες τιμές περιλαμβάνουν τον υπολογισμό του ψευδοαντιστρόφου , τη προσαρμογή δεδομένων με την μέθοδο των ελαχίστων τετραγώνων, τις προσεγγίσεις πινάκων και την εύρεση της βαθμίδας, του χώρου των στηλών και του μηδενοχώρου ενός πίνακα.

## Διατύπωση του θεωρήματος
Υποθέτουμε ότι ο *M* είναι ενας *m×n* πίνακας του οποίου τα στοιχεία ανηκουν στο σώμα *K*, που είναι είτε το σώμα των πραγματικών αριθμών είτε το σώμα των μιγαδικών αριθμών. Τότε υπάρχει μια παραγοντοποίηση της μορφής
: \mathbf{M} = \mathbf{U} \boldsymbol{\Sigma} \mathbf{V}^*

όπου ο *U* είναι ένας *m×m* ορθομοναδιαίος πινακας (ορθογώνιος πίνακας αν το *K* είναι το σώμα των πραγματικών) με στοιχεία από το *K*, ο Σ είναι ένας *m×n* διαγώνιος πίνακας με μη αρνητικούς πραγματικούς αριθμούς στην διαγώνιο, και ο *n×n* ορθομοναδιαίος πίνακας *V** είναι ο συζηγής ανάστροφος του *n×n* ορθομοναδιαίου πίνακα *V*. Μια τέτοια παραγοντοποίηση ονομάζεται ανάλυση του *M *σε ιδιάζουσες τιμές.

Τα διαγώνια στοιχεία \sigma_i του Σ είναι γνωστά ως οι ιδιάζουσες τιμές του *M*.  Μια συνήθης σύμβαση είναι να κατατάσσουμε τις ιδιάζουσες τιμές σε φθίνουσα σειρά. Σ'αυτήν την περίπτωση, ο διαγώνιος πίνακας Σ καθορίζεται με μοναδικό τροπο απο τον *M* (όχι όμως και οι πίνακες *U* και *V*).

## Διαισθητικές ερμηνείες

### Περιστροφή, αλλαγή κλίμακας
Στην ειδική αλλά συνηθισμένη περίπτωση που ο M είναι απλά ένας *m×m* τετραγωνικός πίνακας με θετική ορίζουσα του οποίου τα στοιχεία είναι πραγματικοί αριθμοί, τότε οι U, V*, και Σ είναι *m×m* πίνακες πραγματικών αριθμών, επίσης ο Σ μπορεί να θεωρηθεί ως ένας πίνακας αλλαγής κλίμακας, και οι U και V* ως πίνακες περιστροφής.

Αν πληρούνται οι παραπάνω συνθήκες, η έκφραση \mathbf{U} \boldsymbol{\Sigma} \mathbf{V}^* \, μπορεί διαισθητικά να ερμηνευθεί ως μία σύνθεση (ή μια ακολουθία) τριών γεωμετρικών μετασχηματισμών: μιας περιστροφής, μιας αλλαγής κλίμακας και μιας ακόμα περιστροφής. Για παράδειγμα, η παραπάνω εικόνα εξηγεί πως ένας πίνακας στρέβλωσης μπορεί να περιγραφεί ως μία τέτοια ακολουθία.

### Οι ιδιάζουσες τιμές ως ημιάξονες μιας έλλειψης ή ενός ελλειψοειδούς
Όπως φαίνεται στην εικόνα, οι ιδιάζουσες τιμές μπορούν να ερμηνευθούν ως οι ημιάξονες μιας έλλειψης στο επίπεδο. Αυτή η ιδέα μπορεί να γενικοποιηθεί στον *n-*διάστατο Ευκλείδειο χώρο, με τις ιδιάζουσες τιμές κάθε *n×n* τετραγωνικού πίνακα να θεωρούνται ως οι ημιάξονες ενός *n*-διάστατου ελλειψοειδούς. Δείτε παρακάτω για περισσότερες λεπτομέρειες.

### Οι στήλες των ''U'' και ''V'' είναι ορθοκανονικές βάσεις
Καθώς οι πίνακες *U* και *V** είναι ορθομοναδιαίοι, οι στήλες του καθενός σχηματιζουν ένα σύνολο ορθοκανονικών διανυσμάτων, που μπορούν να θεωρηθούν ως διανύσματα βάσης. Από τον ορισμό του ορθομοναδιαίου πίνακα, προκύπτει οτι το ίδιο ισχύει και για τους συζηγείς αναστρόφους αυτων, *U** και *V*. Εν συντομία, οι στήλες των *U*, *U**, *V*, και *V** είναι ορθοκανονικές βάσεις.

## Παράδειγμα
Θεωρούμε τον 4×5 πίνακα

:\mathbf{M} = \begin{bmatrix}
                      1 & 0 & 0 & 0 & 2 \\
                      0 & 0 & 3 & 0 & 0 \\
                      0 & 0 & 0 & 0 & 0 \\
                      0 & 4 & 0 & 0 & 0
                    \end{bmatrix}


Μία ανάλυση αυτού του πίνακα σε ιδιάζουσες τιμές  \mathbf{U} \boldsymbol{\Sigma} \mathbf{V}^* δίνεται  από τους πίνακες

:\begin{align}
\mathbf{U} &= \begin{bmatrix}
               0 & 0 & 1 &  0 \\
               0 & 1 & 0 &  0 \\
               0 & 0 & 0 & -1 \\
               1 & 0 & 0 & 0
             \end{bmatrix} \\

\boldsymbol{\Sigma} &= \begin{bmatrix}
                        4 & 0 &        0 & 0 & 0 \\
                        0 & 3 &        0 & 0 & 0 \\
                        0 & 0 & \sqrt{5} & 0 & 0 \\
                        0 & 0 &        0 & 0 & 0
                      \end{bmatrix} \\

\mathbf{V}^* &= \begin{bmatrix}
                           0 & 1 & 0 & 0 &          0 \\
                           0 & 0 & 1 & 0 &          0 \\
                  \sqrt{0.2} & 0 & 0 & 0 & \sqrt{0.8} \\
                           0 & 0 & 0 & 1 &          0 \\
                 -\sqrt{0.8} & 0 & 0 & 0 & \sqrt{0.2}
               \end{bmatrix}
\end{align}

Παρατηρήστε ότι τα μη διαγώνια στοιχεία του  \boldsymbol{\Sigma} είναι μηδέν και ότι υπάρχει και ένα διαγώνιο στοιχείο που  είναι μηδέν. Ακόμη, επειδή οι πίνακες \mathbf{U} και \mathbf{V}^* είναι ορθομοναδιαίοι, πολλαπλασιάζοντας με τους αντίστοιχους συζυγείς αναστρόφους παίρνουμε  μοναδιαίους πίνακες όπως φαίνεται παρακάτω. Στην περίπτωσή μας επειδή οι  \mathbf{U} και \mathbf{V}^* έχουν πραγματικά στοιχεία είναι ορθογώνιοι πίνακες.

:\begin{align}
  \mathbf{U}^* \mathbf{U} &=

  \begin{bmatrix}
    0 & 0 &  0 & 1 \\
    0 & 1 &  0 & 0 \\
    1 & 0 &  0 & 0 \\
    0 & 0 & -1 & 0
  \end{bmatrix} 
   \cdot
   \begin{bmatrix}
    0 & 0 & 1 &  0 \\
    0 & 1 & 0 &  0 \\
    0 & 0 & 0 & -1 \\
    1 & 0 & 0 &  0
  \end{bmatrix} \\

  &= 
  \begin{bmatrix}
    1 & 0 & 0 & 0 \\
    0 & 1 & 0 & 0 \\
    0 & 0 & 1 & 0 \\
    0 & 0 & 0 & 1
  \end{bmatrix} \equiv

  \mathbf{I}_4
\end{align}

και

:\begin{align}
  \mathbf{V}^* \mathbf{V} &=

  \begin{bmatrix}
              0 & 1 & 0 & 0 &          0 \\
              0 & 0 & 1 & 0 &          0 \\
     \sqrt{0.2} & 0 & 0 & 0 & \sqrt{0.8} \\
              0 & 0 & 0 & 1 &          0 \\
    -\sqrt{0.8} & 0 & 0 & 0 & \sqrt{0.2}
  \end{bmatrix} 
  \cdot
  \begin{bmatrix}
    0 & 0 & \sqrt{0.2} & 0 & -\sqrt{0.8} \\
    1 & 0 &          0 & 0 &           0 \\
    0 & 1 &          0 & 0 &           0 \\
    0 & 0 &          0 & 1 &           0 \\
    0 & 0 & \sqrt{0.8} & 0 &  \sqrt{0.2}
  \end{bmatrix} \\

  &=
  \begin{bmatrix}
    1 & 0 & 0 & 0 & 0 \\
    0 & 1 & 0 & 0 & 0 \\
    0 & 0 & 1 & 0 & 0 \\
    0 & 0 & 0 & 1 & 0 \\
    0 & 0 & 0 & 0 & 1
  \end{bmatrix} \equiv

  \mathbf{I}_5
\end{align}

Η παραπάνω ανάλυση σε ιδιάζουσες τιμές δεν είναι μοναδική. Επιλέγοντας τον  V έτσι ώστε
:\mathbf{V}^* = \begin{bmatrix}
                         0          & 1 & 0 &          0 &           0 \\
                         0          & 0 & 1 &          0 &           0 \\
                         \sqrt{0.2} & 0 & 0 &          0 &  \sqrt{0.8} \\
                         \sqrt{0.4} & 0 & 0 & \sqrt{0.5} & -\sqrt{0.1} \\
                        -\sqrt{0.4} & 0 & 0 & \sqrt{0.5} &  \sqrt{0.1}
                      \end{bmatrix}


έχουμε άλλη μία ανάλυση σε ιδιάζουσες τιμές.

## Ιδιάζουσες τιμές, ιδιάζοντα διανύσματα και η σχέση τους με την ανάλυση σε ιδιάζουσες τιμές
Ένας μη αρνητικός πραγματικός αριθμός σ είναι μια ιδιάζουσα τιμή για τον *M* αν και μόνο αν υπάρχουν μοναδιαία διανύσματα *u* του *K**m* και *v* του *K**n* τέτοια ώστε
:\mathbf{M}\vec{v} = \sigma \vec{u} \,\text{ and } \mathbf{M}^*\vec{u} = \sigma \vec{v}

Τα διανύσματα *u* και *v* ονομάζονται **αριστερά-ιδιάζοντα** και **δεξιά-ιδιάζοντα διανύσματα** του σ, αντίστοιχα.

Σε κάθε ανάλυση πίνακα σε ιδιάζουσες τιμές
:\mathbf{M} = \mathbf{U} \boldsymbol{\Sigma} \mathbf{V}^*

τα διαγώνια στοιχεία του Σ είναι ίσα με τις ιδιάζουσες τιμές του *M*. Οι στήλες των *U* και *V* είναι, αντίστοιχα, τα αριστερά και δεξιά ιδιάζοντα διανύσματα των αντίστοιχων ιδιάζουσων τιμών. Επομένως, το παραπάνω θεώρημα συνεπάγεται οτι:
* Ένας *m* × *n* πίνακας *M *έχει το πολύ *p*&nbsp;= min(*m*,*n*) διαφορετικές ιδιάζουσες τιμές.
* Είναι πάντα δυνατόν να βρούμε μια ορθογώνια βάση *U* του *K**m* αποτελούμενη απο αριστερά ιδιάζοντα διανύσματα του *M*.
* Είναι πάντα δυνατόν να βρούμε μια ορθογώνια βάση *V* του *K**n* αποτελούμενη απο δεξιά ιδιάζοντα διανύσματα του  *M*.

Μια ιδιάζουσα τιμή για την οποία μπορούμε να βρούμε δύο αριστερά (ή δεξιά) ιδιάζοντα διανύσματα που είναι γραμμικώς ανεξάρτητα μεταξύ τους ονομάζεται εκφυλισμένη.

Οι μη εκφυλισμένες ιδιάζουσες τιμές έχουν πάντα μοναδικά αριστερά και δεξιά ιδιάζοντα διανύσματα, κατά προσέγγιση ενός πολλαπλασιαστικού παράγοντα φάσης της μορφής *e***i**φ (στην περίπτωση των πραγματικών κατα προσέγγιση προσήμου). Συνεπώς, αν όλες οι ιδιάζουσες τιμες του *M* είναι μη εκφυλισμένες και μη μηδενικές, τότε η ανάλυση του είναι μοναδική, κατά προσέγγιση πολλαπλασιασμού μιας στήλης του *U* κατά ενός μοναδιαίου παράγοντα φάσης και ταυτόχρονου πολλαπλασιασμού της αντίστοιχης στήλης του *V* με τον ίδιο μοναδιαίο παράγοντα φάσης.

Οι εκφυλισμένες ιδιάζουσες τιμές, από τον ορισμό τους, έχουν μη μοναδικά ιδιάζοντα διανύσματα. Επιπλέον, αν *u*1 και *u*2 είναι δύο αριστερά ιδιάζοντα διανύσματα που και τα δύο αντιστοιχούν στην ιδιάζουσα τιμή σ, τότε κάθε κανονικοποιημένος γραμμικός συνδυασμός των δύο αυτών διανυσμάτων είναι επίσης ένα αριστερό ιδιάζων διάνυσμα που αντιστοιχεί στην τιμή σ. Το ίδιο ισχύει και για τα δεξιά ιδιάζοντα διανύσματα. Κατά συνέπεια, αν ο *M* έχει εκφυλισμένες ιδιάζουσες τιμές, τότε η ανάλυση του σε ιδιάζουσες τιμές δεν είναι μοναδική.

## Εφαρμογές της Ανάλυσης σε ιδιάζουσες τιμές

### Ψευδοαντίστροφος
Η ανάλυση σε ιδιάζουσες τιμές μπορεί να χρησιμοποιηθεί για τον υπολογισμό του ψευδοαντιστρόφου ενός πίνακα. Πράγματι, ο ψευδοαντίστροφος ενός πίνακα *M* με ανάλυση σε ιδιάζουσες τιμές \mathbf{M} = \mathbf{U} \boldsymbol{\Sigma} \mathbf{V}^* είναι ο 
:\mathbf{M}^+ = \mathbf{V} \boldsymbol{\Sigma}^+ \mathbf{U}^*

όπου Σ+ είναι ο ψευδοαντίστροφος του Σ, που σχηματίζεται αντικαθιστώντας κάθε μη μηδενικό στοιχείο της διαγωνίου με το (πολλαπλασιαστικό) αντίστροφο του και αναστρέφοντας τον παραγόμενο πίνακα. Ο ψευδοαντίστροφος είναι ένας τρόπος να λυθούν γραμμικά προβλήματα ελαχίστων τετραγώνων.

### Επίλυση ομογενών γραμμικών εξισώσεων
Ένα σύστημα ομογενών γραμμικών εξισώσεων μπορεί να γραφεί στη μορφή \mathbf{A} \vec{x} = \mathbf{0} για κάποιο πίνακα \mathbf{A} και διάνυσμα \vec{x}.  Μια συνήθης περίπτωση είναι ο \mathbf{A} να είναι γνωστός και ένα μη μηδενικό \vec{x} να υπολογίζεται που να ικανοποιεί την εξίσωση. Ένα τέτοιο \vec{x} ανήκει στο μηδενοχώρο του \mathbf{A} και ορισμένες φορές καλείται (δεξιό) μηδενοδιάνυσμα του \mathbf{A}. Το διάνυσμα \vec{x} μπορεί να χαρακτηριστεί σαν δεξιό ιδιάζων διάνυσμα της αντίστοιχης ιδιάζουσας τιμής του \mathbf{A} που είναι μηδέν. Η παρατήρηση αυτή μας οδηγεί στο συμπέρασμα ότι αν ο \mathbf{A} είναι τετραγωνικός πίνακας και δεν έχει μηδενιζόμενη ιδιάζουσα τιμή, τότε η εξίσωση δεν έχει μη μηδενικό \vec{x} σαν λύση. Ακόμα σημαίνει ότι αν υπάρχουν πολλές μηδενιζόμενες ιδιάζουσες τιμές, κάθε γραμμικός συνδυασμός των αντίστοιχων δεξιών ιδιαζώντων διανυσμάτων είναι μια αποδεκτή λύση. Ανάλογα με τον ορισμό του (δεξιού) μηδενοδιανύσματος, ένα μη μηδενικό \vec{x} που ικανοποιεί την \vec{x^*} \mathbf{A} = \mathbf{0}, με το \vec{x^*} να δηλώνει το συζηγές αντίστροφο του \vec{x}, ονομάζεται αριστερό μηδενοδιάνυσμα του \mathbf{A}.

### Ελαχιστοποίηση μέσω της μεθόδου ελαχίστων τετραγώνων
Το πρόβλημα ελαχιστοποίησης μέσω της μεθόδου ελαχίστων τετραγώνων αναφέρεται στον υπολογισμό του διανύσματος  \mathbf{x}  που ελαχιστοποιεί την 2-νόρμα ενός διανύσματος  \mathbf{A} \, \mathbf{x}  κάτω απο την προυπόθεση  \| \mathbf{x} \| = 1.  Η λύση τελικά είναι το δεξί ιδιάζων διάνυσμα του  \mathbf{A}  που αντιστοιχεί στη μικρότερη ιδιάζουσα τιμή.

### Χώρος στηλών, μηδενοχώρος και βαθμίδα
Η ανάλυση σε ιδιάζουσες μας προσφέρει επίσης μία αναπαράσταση του χώρου των στηλών και του μηδενοχώρου ενός πίνακα *M*.  Τα δεξιά ιδιάζοντα διανύσματα αντιστοιχούν στις μηδενιζόμενες ιδιάζουσες τιμές του *M* παράγουν τον μηδενοχώρο του *M*. Για παράδειγμα. ο μηδενοχώρος του παραπάνω παραδείγματος παράγεται απο τις δύο τελευταίες στήλες του  \mathbf{V}. Τα αριστερά-ιδιάζοντα διανύσματα που αντιστοιχούν σε μη μηδενικές ιδιάζουσες τιμές του  *M* παράγουν τον χώρο των στηλών του  *M*.  Συνεπώς, η βαθμίδα του *M* ισούται με τον αριθμό των μη μηδενικών ιδιάζουσων τιμών που είναι ίση με τον αριθμό των μη μηδενικών διαγώνιων στοιχείων του \boldsymbol{\Sigma}.

Στην αριθμητική γραμμική άλγεβρα οι ιδιάζουσες τιμές μπορούν να χρησιμοποιηθούν για τον υπολογισμό της *δραστικής* (*effective)*' **βαθμίδας ''ενός πίνακα, μιας και τα σφάλματα στις στρογγυλοποιήσεις μπορουν να οδηγήσουν σε μικρές αλλά όχι μηδενικές ιδιάζουσες τιμές σε πίνακες που δεν έχουν πλήρη τάξη.

===Προσέγγιση μέσω πινάκων χαμηλής τάξης===
Σε μερικές πρακτικές εφαρμογές υπάρχει η ανάγκη της προσέγγισης ενός πίνακα  <math>\mathbf{M}</math> με έναν αλλον  <math>\tilde{\mathbf{M}}</math>, περιορισμένο, ο οποίος έχει μία συγκεκριμένη βαθμίδα <math>r</math>.  Στην περίπτωση που η προσσέγιση βασίζεται στην ελαχιστοποίηση της [[νόρμα του Φρομπένιους|νόρμας του Φρομπένιους]] της διαφοράς  <math>\mathbf{M}  - \tilde{\mathbf{M}}</math> υπό τον περιορισμό  <math>\operatorname{rank}\left(\tilde{\mathbf{M}}\right) = r</math> , η λύση δίνεται απο την ανάλυση σε ιδιάζουσες τιμές του <math>\mathbf{M}</math>, 
:<math>\tilde{\mathbf{M}} = \mathbf{U} \tilde{\boldsymbol{\Sigma}} \mathbf{V}^*</math>

όπου ο <math>\tilde{\boldsymbol{\Sigma}}</math> διαφέρει από τον  <math>\boldsymbol{\Sigma}</math> στο ότι περιέχει μόνο τις <math>r</math> μεγαλύτερες ιδιάζουσες τιμές  (οι υπόλοιπες αντικαθιστώνται με μηδέν).  Αυτό είναι γνωστό ως το θεώρημα των **Eckart–Young, ** μιας και αποδείχθηκε από αυτούς το 1936 (παρόλο που αργότερα ανακαλυφθηκε ότι ήταν ήδη γνωστό από προγενέστερους, βλέπε ).

===Διαχωρίσιμα μοντέλα===
Η ανάλυση σε ιδιάζουσες τιμές μπορεί να θεωρηθεί ως ανάλυση ενός πίνακα σε σταθμισμένο διατεταγμένο άθροισμα διαχωρίσιμων πινάκων. Ένας πίνακας <math>\mathbf{A}</math>λεγεται διαχωρίσιμος αν μπορεί να γραφτεί ως [[εξωτερικό γινόμενο]]  δύο διανυσμάτων  <math>\mathbf{A} = \mathbf{u} \otimes \mathbf{v}</math>, ή,  <math>\mathbf{A(i, j)} = \mathbf{u}(i) \mathbf{v}(j)</math>. Ειδικότερα, ο πίνακας M μπορεί να αναλυθεί ως εξής:
:<math>\mathbf{M} = \sum_i \mathbf{A}_i = \sum_i \sigma_i U_i \otimes V_i^\dagger</math>

Όπου  <math>U_i</math> και <math>V_i</math> είναι οι ''i-στές'' στήλες των αντίστοιχων πινάκων της ανάλυσης σε ιδιάζουσες τιμές, <math>\sigma_i</math> είναι οι διατεταγμένες ιδιάζουσες τιμές, και κάθε <math>\mathbf{A}_i</math> είναι διαχωρίσιμος. Η ανάλυση σε ιδιάζουσες τιμές μπορεί να χρησιμοποιηθεί στην ανάλυση ενός φίλτρου επεξεργασίας εικόνας σε οριζόντια και κάθετα φίλτρα. Παρατηρήστε ότι το πλήθος των μη μηδενικών <math>\sigma_i</math>είναι ακριβώς η βαθμίδα του πίνακα.

===Εγγύτατος ορθογώνιος πίνακας===
Η ανάλυση σε ιδιάζουσες τιμές του <math>\mathbf{A}</math> μπορεί να χρησιμοποιηθεί για τον προσδιορισμό του εγγύτατου [[Ορθογώνιος πίνακας|ορθογώνιου πίνακα]]   <math>\mathbf{R}</math> του <math>\mathbf{A}</math>. Η απόσταση υπολογίζεται μέσω της [[Φρομπένιους νόρμα]]ς<nowiki/> του <math>\mathbf{R} - \mathbf{A}</math>. Η λύση είναι το γινόμενο <math>\mathbf{U} \mathbf{V}^*</math>. Αποτέλεσμα το όποιο είναι διαισθητικά αναμενόμενο αφού ένας ορθογώνιος πίνακας θα έπρεπε να είχε μία ανάλυση <math>\mathbf{U} \mathbf{I} \mathbf{V}^*</math> όπου <math>\mathbf{I}</math> είναι ο [[μοναδιαίος πίνακας]], έτσι ωστε αν  <math>\mathbf{A} = \mathbf{U} \boldsymbol{\Sigma} \mathbf{V}^*</math> τότε το γινόμενο <math>\mathbf{A} = \mathbf{U} \mathbf{V}^*</math> ισοδυναμεί με την αντικατάσταση των ιδιαζόντων τιμών με μονάδες.

Ένα παρόμοιο πρόβλημα με ενδιαφέρουσα εφαρμογή στην [[ανάλυση σχημάτων]] είναι το [[ορθογώνιο πρόβλημα του Προκρούστη]], το οποίο συνίσταται στην εύρεση ενός ορθογωνίου πίνακα  <math>\mathbf{R}</math> ο οποίος απεικονίζει όσο το δυνατόν καλύτερα τον <math>\mathbf{A}</math> στον <math>\mathbf{B}</math>. Συγκεκριμένα,

:<math>\mathbf{R} = \arg\min_\boldsymbol{\Omega} \|\mathbf{A}\boldsymbol{\Omega} - \mathbf{B}\|_F \quad\mathrm{subject\ to}\quad \boldsymbol{\Omega}^T\boldsymbol{\Omega} = \mathbf{I}</math>

όπου  <math>\| \ldots \|_F</math> συμβολίζει την νόρμα του Φρομπένιους.

Το πρόβλημα αυτό είναι ισοδύναμο με την εύρεση του εγγύτατου ορθογώνιου πίνακα του  <math>\mathbf{M} = \mathbf{A}^{T}\mathbf{B}</math>.

===Αλγόριθμος του Kabsch===
Ο αλγόριθμος του [[Αλγόριθμος του Kabsch|Kabsch]] (επονομαζόμενος και πρόβλημα του [[Wahba's problem|Wahba]]<nowiki/>σε άλλα πεδία) κάνει χρήση της ανάλυσης σε ιδιάζουσες τιμές για να υπολογίσει την βέλτιστη περιστροφή (με βάση και την ελαχιστοποίση μέσω της μεθόδου ελαχίστων τετραγώνων) που θα ευθυγραμμίσει ένα σύνολο σημείων με ένα άλλο αντίστοιχο σύνολο σημείων. Χρησιμοποιείται, μεταξύ άλλων εφαρμογών, για να συγκρίνουμε τις δομές των μορίων.

===Επεξεργασία σημάτων===
Η ανάλυση σε ιδιάζουσες τιμές και ο ψευδοαντίστροφος έχουν εφαρμοστεί επιτυχημένα στην επεξεργασία σήματος και στα μεγάλα δεδομένα (big data), για παράδειγμα στην επεξεργασία γονιδιωματικού σήματος.

===Άλλα παραδείγματα===
Η ανάλυση σε ιδιάζουσες τιμές εφαρμόζεται ευρέως και στην μελέτη των γραμμικών [[αντίστροφο πρόβλημα|αντιστρόφων προβλημάτων]] και είναι χρήσιμη στην ανάλυση μεθόδων κανονικοποίησης όπως αυτή του [[Tikhonov regularization|Tikhonov]]. Χρησιμοποιείται ευρύτατα στην Στατιστική όπου σχετίζεται με την [[ανάλυση κυρίων συνιστωσών]] και την [[Ανάλυση Αντιστοιχιών]]. Στη [[Επεξεργασία σήματος|επεξεργασία σημάτων]] χρησιμοποιείται στον τομέα της αναγνώρισης προτύπων. Μία ακόμη χρήση είναι η [[Λανθάνουσα σημασιολογική δεικτοδότηση]]  στην επεξεργασία κειμένων φυσικών γλωσσών.

Η ανάλυση σε ιδιάζουσες τιμές παίζει επίσης σημαντικό ρόλο στον τομέα της [[κβαντική πληροφορία|κβαντικής πληροφορίας]], σε μία μορφή που αναφέρεται συχνά ως [[ανάλυση Scmidt|ανάλυση Schmidt]]. Μέσω αυτής, οι καταστάσεις δύο κβαντικών συστημάτων αναλύονται, παρέχοντας μία ικανή και αναγκαία συνθήκη για την [[κβαντική διεμπλοκή]] τους: αν η βαθμίδα του πίνακα  <math>\mathbf{\Sigma}</math> είναι μεγαλύτερη από ένα.

Μία εφαρμογή της ανάλυσης σε ιδιάζουσες τιμές σε μεγάλους πίνακες είναι η [[Αριθμητική πρόγνωση καιρού|αριθμητική πρόγνωση του καιρού]], όπου οι[[Lanczos algorithm|μέθοδοι Lanczos]]  χρησιμοποιούνται για τον υπολογισμό τον γραμμικώς ταχυτέρων αναπτυσσόμενων  αναταράξεων   της κύριας  αριθμητικής πρόγνωσης με δοσμένες αρχικές συνθήκες για ενα χρονικό διάστημα ή ισοδύναμα για τον υπολογισμό των ιδιαζόντων διανυσμάτων που αντιστοιχούν στις μεγαλύτερες ιδιάζουσες τιμές του γραμμικοποιημένου διαδότη για τον παγκόσμιο καιρό σε ένα χρονικό διάστημα. Τα ιδιάζοντα διανύσματα εξόδου σε αυτήν την περίπτωση είναι ολόκληρα κλιματολογικά συστήματα. Αυτές οι διαταραχές χρησιμοποιούνται στη συνέχεια από πλήρη μη γραμμικά μοντέλα για να δημιουργήσουν ένα φάσμα όλων των πιθανών εξελίξεων του καιρού, βοηθώντας έτσι στην κατανόηση της αβεβαιότητας που θα συνοδεύει την κύρια πρόβλεψη.

Η ανάλυση σε ιδιάζουσες τιμές έχει επίσης εφαρμοστεί στην μοντελοποίηση ελλατωμένης τάξης. Σκοπός της μοντελοποίησης ελλατωμένης τάξης είναι η ελλάτωση των βαθμών ελευθερίας περίπλοκων συστημάτων τα οποία πρόκειται να μοντελοποιηθούν. Η ανάλυση σε ιδιάζουσες τιμές χρησιμοποιήθηκε σε συνδυασμό με [[ακτινική συνάρτηση βάσης|συναρτήσεις ακτινικής βάσης]] για τον υπολογισμό μέσω παρεμβολής των λύσεων τριδιάστατων ασταθών προβλημάτων ροής.

Η ανάλυση σε ιδιάζουσες τιμές έχει επίσης εφαρμοστεί στην θεωρία αντίστροφων προβλημάτων. Μία σημαντική εφαρμογή είναι η κατασκευή υπολογιστικών μοντέλων για δεξαμενές πετρελαίου.

Η ανάλυση σε ιδιάζουσες τιμές χρησιμοποιείται σε [[Σύστηµα προτάσεων|συστηµάτα προτάσεων]] για την πρόβλεψη  της βαθμολόγισης των προιόντων από τους καταναλωτές.

== Σχέση με την παραγοντοποίηση με χρήση ιδιοτιμών  ==
Η ανάλυση σε ιδιάζουσες τιμές είναι μια γενικότερη μέθοδος με την έννοια οτι μπορεί να χρησιμοποιηθεί σε κάθε πίνακα ''m'' × ''n'' ενώ αντιθέτως η ανάλυση σε ιδιοτιμές μπορεί να εφαρμοστεί μόνο σε συγκεκριμένα είδη τετραγωνικών πινάκων. Παρόλαυτα, οι δύο αναλύσεις σχετίζονται μεταξύ τους.

Δοσμένης μιας ανάλυσης σε ιδιάζουσες τιμές του ''M'', όπως περιγράφηκε πιο πάνω, ισχύουν οι παρακάτω δύο σχέσεις:

:<math>\begin{align}
  \mathbf{M}^* \mathbf{M} &= \mathbf{V} \boldsymbol{\Sigma^*} \mathbf{U}^*\, \mathbf{U} \boldsymbol{\Sigma} \mathbf{V}^* = \mathbf{V} (\boldsymbol{\Sigma}^* \boldsymbol{\Sigma}) \mathbf{V}^* \\
  \mathbf{M} \mathbf{M}^* &= \mathbf{U} \boldsymbol{\Sigma} \mathbf{V}^*\, \mathbf{V} \boldsymbol{\Sigma}^* \mathbf{U}^* = \mathbf{U} (\boldsymbol{\Sigma} \boldsymbol{\Sigma}^*) \mathbf{U}^*
\end{align}</math>

Τα δεξιά μέλη των σχέσεων περιγράφουν την ανάλυση σε ιδιοτιμές των αριστερών μελών. Ως συμπέρασμα έχουμε οτι:

:* Οι στήλες του ''V'' (δεξιά ιδιάζοντα διανύσματα) είναι [[Ιδιοδιάνυσμα|ιδιοδιανύσματα]] του <math>\mathbf{M}^*\mathbf{M}</math>.
:* Οι στήλες του ''U'' (αριστερά ιδιάζοντα διανύσματα) είναι ιδιοδιανύσματα του <math>\mathbf{M}\mathbf{M}^*</math>.
:* Τα μη μηδενικά στοιχεία του ''Σ'' (μη μηδενικές ιδιάζουσες τιμές) είναι οι τετραγωνικές ρίζες των μη μηδενικών ιδιοτιμών του <math>\mathbf{M}^*\mathbf{M}</math> ή του <math>\mathbf{M}\mathbf{M}^*</math>.

Στην ειδική περίπτωση που ο ''M'' είναι κανονικός πίνακας, που από τον ορισμό του σημαίνει ότι  ειναι και τετραγωνικός, το [[φασματικό θεώρημα]] μας λέει οτι μπορεί να διαγωνιοποιηθεί ορθομοναδιαία  χρησιμοποιώντας μια βάση απο ιδιοδιανύσματα, έτσι ώστε να μπορεί να γραφτεί στη μορφή <math>\mathbf{M} = \mathbf{U} \mathbf{D} \mathbf{U}^*</math> για κάποιο ορθομοναδιαίο πίνακα ''U'' και διαγώνιο πίνακα ''D''. Όταν ο ''M'' είναι επίσης θετικά ημιορισμένος, η ανάλυση <math>\mathbf{M} = \mathbf{U}\mathbf{D}\mathbf{U}^*</math> είναι επίσης ανάλυση σε ιδιάζουσες τιμές.

Ωστόσο, η ανάλυση σε ιδιοτιμές και η ανάλυση σε ιδιάζουσες τιμές διαφέρουν για όλους τους άλλους πίνακες ''M'': η ανάλυση σε ιδιοτιμές ειναι <math>\mathbf{M} = \mathbf{U}\mathbf{D}\mathbf{U}^{-1}</math> όπου ο ''U'' δεν είναι απαραίτητα ορθομοναδιαίος και ο ''D'' δεν είναι απαραίτητα θετικά ημιορισμένος, ενώ η ανάλυση σε ιδιάζουσες τιμές είναι <math>\mathbf{M} = \mathbf{U} \boldsymbol{\Sigma} \mathbf{V}^*</math> όπου ο ''Σ'' είναι διαγώνιος και θετικά ημιορισμένος, και οι ''U'' και ''V'' είναι ορθομοναδιαίοι πίνακες που δεν σχετίζονται απαραίτητα μεταξύ τους, πλυν της σχέσης τους μέσω του ''M''.

== Ύπαρξη ==
Μια ιδιοτιμή ''λ'' ενός πίνακα ''M'' χαρακτηρίζεται από την αλγεβρική σχέση ''M u'' = ''λ u''. Όταν ο ''M'' είναι [[Ερμητιανός πίνακας|ερμητιανός]], η χρήση του [[Λογισμός των μεταβολών|λογισμού των μεταβολών]]  είναι επίσης δυνατή. Ας είναι ο ''M'' ένας ''n'' × ''n'' συμμετρικός πίνακας με πραγματικά στοιχεία. Ορίζουμε την ''f'':**R**<sup>''n''</sup> → **R** ως ''f''(''x'') = ''x<sup>T</sup> M x''. Από το θεώρημα ακραίων τιμών, η συνεχής αυτή συνάρτηση λαμβάνει μέγιστη τιμή για κάποιο ''u'' όταν περιοριστεί στην κλειστή μοναδιαία σφαίρα {||''x''|| ≤ 1}. Από το θεώρημα πολλαπλασιαστών του Lagrange, το ''u'' απαραίτητα ικανοποιεί το εξής:

:<math>\nabla f = \nabla \vec{x}^T \mathbf{M} \vec{x} = \lambda \cdot \nabla \vec{x}^T \vec{x}</math>

όπου το  σύμβολο, <math>\nabla</math>, είναι ο τελεστής [[ανάδελτα]].

Ένας σύντομος υπολογισμός μας δείχνει οτι το παραπάνω οδηγεί στο ''M u'' = ''λ u'' (η συμμετρία του ''M'' είναι απαραίτητη εδώ). Επομένως το ''λ'' είναι η μεγαλύτερη ιδιοτιμή του ''M''. Ο ίδιος υπολογισμός εκτελεσμένος στο ορθογώνιο συμπλήρωμα του ''u'' δίνει την επόμενη μεγαλύτερη ιδιοτιμή και πάει λέγοντας. Η μιγαδική περίπτωση (ο ''Μ'' και πάλι ερμητιανός) είναι παρόμοια. Σε αυτήν την περίπτωση ορίζουμε   ''f''(''x'') = ''x* M x'' να είναι μια πραγματική συνάρτηση 2''n'' πραγματικών μεταβλητών.

Οι ιδιάζουσες τιμές ειναι όμοιες με την έννοια ότι μπορούν να περιγραφούν αλγεβρικά ή μέσω του λογισμού μεταβολών . Αν και, σε αντίθεση με την περίπτωση των ιδιοτιμών, ο ''Μ ''δεν είναι απαραίτητο να ειναι ερμητιανός ή συμμετρικός.

Η παράγραφος αυτή δίνει αυτά τα δύο επιχειρήματα για την ύπαρξη της ανάλυσης σε ιδιάζουσες τιμές.

=== Βασισμένη στο φασματικό θεώρημα  ===
Ας είναι ''M'' ένας ''m × n'' πίνακας με μιγαδικά στοιχεία. Ο ''M*M'' είναι θετικά ημιορισμένος και ερμητιανός. Από το [[φασματικό θεώρημα]], θα υπάρχει ένας ορθομοναδιαίος ''n'' × ''n'' πίνακας ''V'' τέτοιος ώστε

:<math>\mathbf{V}^* \mathbf{M}^* \mathbf{M} \mathbf{V} = \begin{bmatrix} \mathbf{D} & 0 \\ 0 & 0\end{bmatrix}</math>

όπου ο ''D'' είναι διαγώνιος και θετικά ορισμένος. Χωρίζουμε τον ''V'' καταλλήλως ώστε να μπορούμε να γράψουμε

:<math>\begin{bmatrix} \mathbf{V}_1^* \\ \mathbf{V}_2^* \end{bmatrix} \mathbf{M}^* \mathbf{M} \begin{bmatrix} \mathbf{V}_1 & \mathbf{V}_2 \end{bmatrix} =
  \begin{bmatrix} \mathbf{V}_1^* \mathbf{M}^* \mathbf{M} \mathbf{V}_1 & \mathbf{V}_1^* \mathbf{M}^* \mathbf{M} \mathbf{V}_2 \\ \mathbf{V}_2^* \mathbf{M}^* \mathbf{M} \mathbf{V}_1 & \mathbf{V}_2^* \mathbf{M}^* \mathbf{M} \mathbf{V}_2 \end{bmatrix} =
  \begin{bmatrix} \mathbf{D} & 0 \\ 0 & 0 \end{bmatrix}
</math>

Τότε ''V<sub>1</sub>*M*MV<sub>1</sub>'' = ''D'' και ''V<sub>2</sub>*M*MV<sub>2</sub>'' = ''0''. Το τελευταίο σημαίνει οτι ''MV<sub>2</sub>'' = ''0''.

Επίσης, αφού ο ''V'' είναι ορθομοναδιαίος, ''V<sub>1</sub>*V<sub>1</sub>'' = ''I'', ''V<sub>2</sub>*V<sub>2</sub>'' = ''I'' και ''V<sub>1</sub>V<sub>1</sub>*'' + ''V<sub>2</sub>V<sub>2</sub>*'' = ''I''.

Ορίζουμε τον

:<math>\mathbf{U}_1 = \mathbf{M} \mathbf{V}_1 \mathbf{D}^{-\frac{1}{2}}</math>

Τότε

:<math>\mathbf{U}_1 \mathbf{D}^\frac{1}{2} \mathbf{V}_1^* = \mathbf{M} \mathbf{V}_1 \mathbf{D}^{-\frac{1}{2}} \mathbf{D}^\frac{1}{2} \mathbf{V}_1^* = \mathbf{M}</math>

Βλέπουμε οτι αυτό είναι σχεδόν το επιθυμητό αποτέλεσμα, πλυν του ότι οι  ''U''<sub>1</sub> και ''V''<sub>1</sub> δεν είναι γενικά ορθομοναδιαίοι, αλλα απλώς [[Ισομετρία|ισομετρίες]]. Για να ολοκληρώσουμε το επιχείρημα έχουμε ότι θα πρέπει να "συμπληρώσουμε" αυτούς τους πίνακες για να τους μετατρέψουμε σε ορθομοναδιαίους. Για παράδειγμα, μπορούμε να επιλέξουμε έναν ''U''<sub>2</sub> τέτοιο ώστε ο

:<math>\mathbf{U} = \begin{bmatrix} \mathbf{U}_1 & \mathbf{U}_2 \end{bmatrix}</math>

να είναι ορθομοναδιαίος.

Ορίζουμε τον
:<math>\boldsymbol{\Sigma} =
  \begin{bmatrix}
    \begin{bmatrix}
      \mathbf{D}^\frac{1}{2} & 0 \\
      0                      & 0
    \end{bmatrix} \\
    0
  \end{bmatrix}
</math>
όπου οι έξτρα μηδενικές γραμμές προστίθενται ή αφαιρούνται έτσι ώστε το σύνολο των μηδενικών γραμμών να ισούται με το σύνολο των στηλών του ''U''<sub>2</sub>. Τότε

:<math>
  \begin{bmatrix}
    \mathbf{U}_1 & \mathbf{U}_2
  \end{bmatrix}
  \begin{bmatrix}
    \begin{bmatrix}
      \mathbf{}D^\frac{1}{2} & 0 \\
      0                      & 0
    \end{bmatrix} \\
    0
  \end{bmatrix}
  \begin{bmatrix}
    \mathbf{V}_1 & \mathbf{V}_2
  \end{bmatrix}^* =
  \begin{bmatrix}
    \mathbf{U}_1 & \mathbf{U}_2
  \end{bmatrix}
  \begin{bmatrix}
    \mathbf{D}^\frac{1}{2} \mathbf{V}_1^* \\
    0
  \end{bmatrix} =
  \mathbf{U}_1 \mathbf{D}^\frac{1}{2} V_1^* =
  \mathbf{M}
</math>

που είναι και το επιθυμητό αποτέλεσμα:
:<math>\mathbf{M} = \mathbf{U} \boldsymbol{\Sigma} \mathbf{V}^*</math>

Παρατηρήστε ότι το επιχείρημα αυτό θα μπορούσε να ξεκινήσει διαγωνιοποιώντας τον ''MM*'' αντί για τον ''M*M'' (αυτό δείχνει επακριβώς ότι οι ''MM*'' και ''M*M'' έχουν τις ίδιες μη μηδενικές ιδιοτιμές).

=== Βασισμένη στο λογισμό των μεταβολών  ===
Οι ιδιάζουσες τιμές μπορούν επίσης να χαρακτηριστούν ως τα μέγιστα του ''u''<sup>T</sup>''Mv'', όταν θεωρηθεί σαν συνάρτηση των ''u'' και ''v'', πάνω απο συγκεκριμένους υποχώρους. Τα ιδιάζοντα διανύσματα είναι οι τιμές των ''u'' και ''v'' όπου παρουσιάζονται τα μέγιστα.

Ας είναι ''M'' ένας ''m'' × ''n'' πίνακας με πραγματικά στοιχεία και <math>S^{m-1}</math> και <math>S^{n-1}</math> τα σύνολα των 2-νορμ μοναδιαίων διανυσμάτων των **R**<sup>''m''</sup> και **R**<sup>''n''</sup> αντίστοιχα. Ορίζουμε τη συνάρτηση

:<math>\sigma(\vec{u}, \vec{v}) = \vec{u}^{T} M \vec{v}</math>

για διανύσματα ''u'' ∈ <math>S^{m - 1}</math> και ''v'' ∈ <math>S^{n - 1}</math>. Θεωρούμε τη συνάρτηση ''σ'' περιορισμένη στο <math>S^{m - 1}</math> × <math>S^{n - 1}</math>.  Μιας και τα <math>S^{m - 1}</math> και <math>S^{n - 1}</math> είναι [[Συμπαγής χώρος|συμπαγή σύνολα]] , η [[τοπολογία γινόμενο]] τους είναι επίσης συμπαγής. Επιπλέον, μιας και η ''σ'' είναι συνεχής, λαμβάνει τουλάχιστον μια μέγιστη τιμή για τουλάχιστον ένα ζεύγος διανυσμάτων ''u'' ∈ <math>S^{m - 1}</math> και ''v'' ∈ <math>S^{n - 1}</math>. Η μέγιστη αυτή τιμή γράφεται ''σ''<sub>1</sub> και τα αντίστοιχα διανύσματα ''u''<sub>1</sub> και ''v''<sub>1</sub>. Μιας και το <math>\sigma_{1}</math> είναι η μέγιστη τιμή της <math>\sigma(u ,v)</math> θα πρέπει να είναι μη αρνητική. Αν ήταν αρνητική, αλλάζοντας το πρόσημο είτε του ''u''<sub>1</sub> είτε του ''v''<sub>1</sub> θα την έκανε θετική και επομένως μεγαλύτερη.

**Υπόθεση:** Τα ''u''<sub>1</sub>, ''v''<sub>1</sub> είναι αριστερά και δεξιά ιδιάζοντα διανύσματα του ''M'' με αντίστοιχη ιδιάζουσα τιμή την ''σ''<sub>1</sub>.

**Απόδειξη:** Όμοια με την περίπτωση των ιδιοτιμών, από την υπόθεση τα δύο διανύσματα ικανοποιούν την εξίσωση πολλαπλασιαστών του Lagrange:

:<math>\nabla \sigma = \nabla \; \vec{u}^T \mathbf{M} \vec{v} - \lambda_1 \cdot \nabla \; \vec{u}^T \vec{u} - \lambda_2 \cdot \nabla \; \vec{v}^T \vec{v}</math>

Μετά απο μερικές πράξεις, παίρνουμε

:<math>\mathbf{M} \vec{v}_{1} = 2 \lambda_{1} \vec{u}_{1} + 0</math>

και

:<math>\mathbf{M}^{T} \vec{u}_{1} = 0 + 2 \lambda_{2} \vec{v}_{1}</math>

Πολλαπλασιάζοντας την πρώτη εξίσωση από αριστερά με <math>\vec{u}_1^T</math> και τη δεύτερη εξίσωση και πάλι απο αριστερά με  <math>\vec{v}_1^T</math> και παίρνοντας ||''u''|| = ||''v''|| = 1  έχουμε ότι

:<math>\sigma_1 = 2\lambda_1 = 2\lambda_2.</math>

Σε συνδυασμό με το ζεύγος των εξισώσεων παραπάνω, παίρνουμε τα εξής

:<math>\mathbf{M} \vec{v}_1 = \sigma_1 \vec{u}_1</math>

και

:<math>\mathbf{M}^T \vec{u}_1 = \sigma_1 \vec{v}_1</math>

Αυτό αποδεικνύει την υπόθεση.

Περισσότερα ιδιάζοντα διανύσματα και ιδιάζουσες τιμές μπορούν να βρεθούν μεγιστοποιώντας το ''σ''(''u'', ''v'') με κανονικοποιημένα ''u'', ''v'' τα οποία είναι ορθογώνια ως  προς τα ''u''<sub>1</sub> και ''v''<sub>1</sub>, αντίστοιχα.

Η μετάβαση από τους πραγματικούς στους μιγαδικούς είναι παρόμοια με την περίπτωση των ιδιοτιμών.

== Γεωμετρική σημασία ==
Επειδή οι ''U'' και ''V'' είναι ορθομοναδιαίοι, γνωρίζουμε ότι οι στήλες ''u''<sub>1</sub>, …, ''u<sub>m</sub>'' του ''U'' σχηματίζουν μία [[ορθοκανονική βάση]] του ''K''<sup>''m''</sup> και οι στήλες ''v''<sub>1</sub>, …, ''v<sub>n </sub>''του ''V'' μία ορθοκανονική βάση για το ''K''<sup>''n''</sup> (θεωρόντας και τον γνωστό [[Βαθμωτός πολλαπλασιασμός|βαθμωτό πολλαπλασιασμό]] στους χώρους αυτούς).

Ο [[γραμμικός μετασχηματισμός]] ''T'' :''K''<sup>''n''</sup> → ''K''<sup>''m''</sup> που απεικονίζει το ''x'' στο ''Mx'' έχει ιδιαίτερα απλή περιγραφή σε σχέση με αυτές τις ορθοκανονικές βάσεις: έχουμε ''T''(''v<sub>i</sub>'') = ''σ<sub>i</sub> u<sub>i</sub>'', για ''i'' = 1,...,min(''m'',''n''), όπου ''σ<sub>i</sub>''  είναι το ''i''-στο στοιχείο της διαγωνίου του Σ, και ''T''(''v''<sub>''i''</sub>) = 0 για ''i'' > min(''m'',''n'').

Η γεωμετρική σημασία της ανάλυσης ενός πίνακα σε ιδιάζουσες τιμές συνοψίζεται ως εξής: για κάθε γραμμική απεικόνιση ''T'' :''K''<sup>''n''</sup> → ''K''<sup>''m''</sup> μπορούμε να βρούμε ορθοκανονικές βάσεις των ''K''<sup>''n''</sup> και ''K''<sup>''m''</sup> έτσι ώστε η ''T'' να απεικονίζει το ''i''-στο διάνυσμα βάσης του ''K''<sup>''n''</sup> σε ένα μη αρνητικό πολλαπλάσιο του ''i''-στου διανύσματος βάσης του ''K''<sup>''m''</sup>, και να απεικονίσει την υπόλοιπη βάση σε μηδενικά διανύσματα. Σε σχέση με αυτές τις βάσεις, η απεικόνιση ''T'' αντιπροσωπεύεται από έναν διαγώνιο πίνακα με μη αρνητικά, πραγματικά στοιχεία.

Μία καλύτερη εποπτική περιγραφή των ιδιάζουσων τιμών και της ανάλυσης πίνακα σε αυτές -τουλάχιστον για πραγματικούς διανυσματικούς χώρους- είναι η εξής: Θεωρούμε μια σφαίρα ''S'' με ακτίνα ένα στον **R**<sup>''n''</sup>. Η γραμμική απεικόνιση ''T'' απεικονίζει την σφαίρα σε ένα [[ελλειψοειδές]] στον **R**<sup>''m''</sup>. Οι μη μηδενικές ιδιάζουσες τιμές είναι τα μήκη των [[ημιάξονας|ημιαξόνων]] του ελλειψοειδούς. Ειδικά όταν ''n''=''m'', και όλες οι ιδιάζουσες τιμές είναι μη μηδενικές, η ανάλυση της γραμμικής απεικόνισης ''T'' μπορεί εύκολα να αναλυθεί σαν αλληλουχία τριών συνεχόμενων κινήσεων: Θεωρούμε το ελλειψοειδές ''T''(''S'') και τους άξονές του, τότε θεωρούμε τις κατευθύνσεις στον **R**<sup>''n''</sup> που καθορίζονται από την ''T'' σε αυτούς τους άξονες. Αυτές οι κατευθύνσεις είναι μεταξύ τους ορθογώνιες. Αρχικά θεωρούμε την [[ισομετρία]] ''v*'' που απεικονίζει αυτές τις κατευθύνσεις στους άξονες συντεταγμένων του **R**<sup>''n''</sup> . Εν συνεχεία, ο [[ενδομορφισμός]] ''d'' διαγωνιοποιημένος κατά μήκος των αξόνων συντεταγμένων, μεγεθυνμένος ή συρρικνωμένος προς κάθε κατεύθυνση, χρησιμοποιώντας τα μήκη των ημιαξόνων της ''T''(''S'') ως συντελεστές μεγέθυνσης. Η σύνθεση ''d''<small> ο </small>''v*'' στέλνει την μοναδιαία σφαίρα σε ένα ελλειψοειδές ισομετρικό του ''T''(''S''). Για να ορίσουμε την τρίτη και τελευταία κίνηση ''u'', θεωρούμε την ισομετρία που μεταφέρει το ελλειψοειδές στο ''T''(''S''). Όπως μπορεί εύκολα να ελεγθεί, η σύνθεση ''u''<small> ο </small> ''d''<small> ο </small>''v*'' ταυτίζεται με το ''T''.

== Υπολογίζοντας την ανάλυση σε ιδιάζουσες τιμές ==

=== Αριθμητική προσέγγιση  ===
Η ανάλυση σε ιδιάζουσες τιμές ενός πίνακα ''M'' υπολογίζεται μεσω μία διαδικασιας που αποτελείται απο δύο βήματα. Στο πρώτο βήμα, ο πίνακας υποβιβάζεται σε έναν [[διδιαγώνιος πίνακα|διδιαγώνιο πίνακα]], δηλαδή σε έναν πίνακα του οποιου τα μόνα μη μηδενικά στοιχεία είναι αυτά της κύριας διαγώνιου καθώς και αυτά της υποδιαγωνίου ή της υπερδιαγωνίου. Το βήμα αυτό απαιτεί [[big Ο notation|O]](''mn''<sup>2</sup>) πράξεις κινητής υποδιαστολής (floating-point operations (flops)), αν υποθέσουμε ότι  ''m'' ≥ ''n''. Στο δεύτερο βήμα υπολογίζουμε την ανάλυση σε ιδιάζουσες τιμές του διδιαγώνιου πίνακα. Αυτό το βήμα μπορεί να γίνει μόνο με επαναληπτικές μεθόδους (όπως οι αλγόριθμοι για τις ιδιοτιμές ). Ωστόσο, στην πράξη αρκεί να υπολογίσουμε την ανάλυση σε ιδιάζουσες τιμές μέχρι μια συγκεκριμενη ακρίβεια, για παράδειγμα την  [[machine epsilon]]. Αν αυτή η ακρίβεια θεωρηθεί σταθερή τότε το δεύτερο βήμα απαιτεί  O(''n'') βήματα, καθένα από τα οποία κοστίζει  O(''n'') flops. Συνεπώς, το πρώτο βήμα είναι υπολογιστικά πιο ακριβό και έτσι το συνολικό κόστος είναι O(''mn''<sup>2</sup>) flops .

Το πρώτο βήμα μπορεί να υλοποιηθεί μέσω των [[αντικατοπτρισμός του Householder|αντικατοπτρισμών του Householder]]<nowiki/> με κόστος 4''mn''<sup>2</sup> &minus; 4''n''<sup>3</sup>/3 flops, αν υποθέσουμε ότι μας ενδιαφέρουν μόνο οι ιδιάζουσες τιμές και όχι τα ιδιάζοντα διανύσματα. Αν το ''m'' είναι πολυ μεγαλύτερο από το ''n'' τότε συμφέρει περισσότερο να υποβιβάσουμε πρώτα τον πίνακα σε τριγωνικό μεσω της [[QR παραγοντοποίηση]]ς και μετά με χρήση των αντικατοπτρισμών Householder να υποβιβάσουμε περαιτέρω τον πίνακα σε διδιαγώνια μορφή. Το συνολικό κόστος τότε είναι 2''mn''<sup>2</sup> + 2''n''<sup>3</sup> flops .

Το δεύτερο βήμα μπορεί να γίνει με μία παραλλαγή του [[QR αλγόριθμος|QR αλγορίθμου]] για τον υπολογισμό των ιδιοτιμών, ο οποίος περιγράφηκε πρώτη φορά από τους . Η υπορουτίνα DBDSQR της βιβλιοθήκης [[βιβλιοθήκη LAPACK|LAPACK]] υλοποιεί αυτήν την επαναληπτική μέθοδο, με μερικές προσθήκες ώστε να καλυφθεί και η περίπτωση που οι ιδιάζουσες τιμές είναι πολύ μικρές . Η ρουτίνα  DGESVD η οποία υπολογίζει την ανάλυση σε ιδιάζουσες τιμές αποτελείται από ένα αρχικό βήμα χρήσης αντικατοπτρισμών Householder, αν είναι απαραίτητο, και μία QR παραγοντοποίηση.

Ο ίδιος αλγόριθμος έχει υλοποιηθεί και στην [[GNU Scientific Library]] (GSL). Η GSL προσφέρει επίσης μία εναλλακτική μέθοδο, η οποία χρησιμοποιεί μονόπλευρους  [[Jacobi orthogonalization]] στο βήμα 2 . Αυτή η μέθοδος υπολογίζει την ανάλυση σε ιδιάζουσες τιμές του διδιαγωνίου πίνακα υπολογίζοντας μία σειρά από αναλύσεις σε ιδιάζουσες τιμές 2x2 πινάκων όμοια με τον τρόπο που ο [[αλγόριθμος ιδιοτιμών του Jacobi]] χρησιμοποιεί μεθόδους για τον υπολογισμό ιδιοτιμών 2x2 πινάκων. Επίσης μία άλλη μέθοδος για το βήμα 2 χρησιμοποιεί την ιδέα των [[αλγόριθμοι διαίρει και βασίλευε για ιδιοτιμές|αλγορίθμων διαίρει και βασίλευε για ιδιοτιμές]] .

=== Αναλυτικοί τύποι για  2x2 πίνακες ===
Οι ιδιάζουσες τιμές ενός 2x2 πίνακα μπορούν να βρεθούν αναλυτικά. Έστω <math>\mathbf{M} = z_0\mathbf{I} + z_1\sigma_1 + z_2\sigma_2 + z_3\sigma_3</math> όπου  <math>z_i \in \mathbb{C}</math> οι μιγαδικοί αριθμοί που παραμετροποιούν τον πίνακα, <math>\mathbf{I}</math> ο [[μοναδιαίος πίνακας]], και <math>\sigma_i</math> οι [[Pauli πίνακες]] . Τότε οι δύο ιδιάζουσες τιμές δίνονται από τον τύπο
:<math>\begin{align}
  \sigma_{\pm} &= \sqrt{|z_0|^2 + |z_1|^2 + |z_2|^2 + |z_3|^2 \pm \sqrt{(|z_0|^2 + |z_1|^2 + |z_2|^2 + |z_3|^2)^2 - |z_0^2 - z_1^2 - z_2^2 - z_3^2|^2}} \\
               &= \sqrt{|z_0|^2 + |z_1|^2 + |z_2|^2 + |z_3|^2 \pm 2\sqrt{(\mathrm{Re}z_0z_1^*)^2 + (\mathrm{Re}z_0z_2^*)^2 + (\mathrm{Re}z_0z_3^*)^2 + (\mathrm{Im}z_1z_2^*)^2 + (\mathrm{Im}z_2z_3^*)^2 + (\mathrm{Im}z_3z_1^*)^2}}
\end{align}</math>

==Ελλατωμένες αναλύσεις σε ιδιάζουσες τιμές==
Στις εφαρμογές δεν συνηθίζεται να είναι απαραίτητη όλη η ανάλυση, συμπεριλαμβανομένης και μιας πλήρους unitary ανάλυσης του μηδενοχώρου του πίνακα. Αντ'αυτού, τις περισσότερες φορές επαρκεί (και είναι και ταχύτερο και πιο οικονομικό στην αποθήκευση) να υπολογίσουμε μια ελλατωμένη μορφή της ανάλυσης. Τα παρακάτω ισχύουν για έναν ''m''×''n'' πίνακα ''M'' βαθμίδας ''r'':

==="Λεπτή" ανάλυση σε ιδιάζουσες τιμές===
:<math>\mathbf{M} = \mathbf{U}_n \boldsymbol{\Sigma_n} \mathbf{V}^*</math>

Μόνο τα διανύσματα της ''n'' στήλης του ''U'' που αντιστοιχούν στα διανύσματα γραμμων του ''V*'' υπολογίζονται. Τα εναπομείναντα διανύσματα στηλών του ''U'' δεν λαμβανονται υπόψιν. Αυτή η διαδικασία ειναι εμφανώς γρηγορότερη και πιο οικονομική από μια πλήρη ανάλυση αν το ''n''≪''m''. Ο ''U''<sub>n</sub> είναι τοτε ένας ''m''×''n'' πίνακας, ο Σ<sub>n</sub> ένας ''n''×''n'' διαγώνιος, και ο ''V'' ένας ''n''×''n''.

Το πρώτο βήμα στο υπολογισμό της "λεπτής" ανάλυσης σε ιδιάζουσες τιμές είναι συνήθως μια [[ανάλυση QR|QR ανάλυση]]  του ''M'', που είναι αρκετά ταχύτερη στον υπολογισμό όταν ''n''≪''m''.

==="Συμπαγής" ανάλυση σε ιδιάζουσες τιμές===
:<math>\mathbf{M} = \mathbf{U}_r \boldsymbol{\Sigma}_r \mathbf{V}_r^*</math>

Μόνο τα διανύσματα της ''r'' στήλης του ''U'' και της ''r'' γραμμής του ''V*'' που αντιστοιχούν στις μη μηδενικές τιμές Σ<sub>r</sub> υπολογίζονται. Τα υπόλοιπα διανύσματα των ''U'' και ''V*'' δεν υπολογίζονται. Αυτό είναι ακόμα ταχύτερο και πιο οικονομικό απο την προηγούμενη μέθοδο αν ισχύει ''r''≪''n''. Ο πίνακας ''U''<sub>r</sub> είναι τότε ''m''×''r'', ο Σ<sub>r</sub>  ''r''×''r'' διαγώνιος, και ο ''V''<sub>r</sub>* ένας ''r''×''n''.

==="Αποκομένη" ανάλυση σε ιδιάζουσες τιμές===
:<math>\tilde{\mathbf{M}} = \mathbf{U}_t \boldsymbol{\Sigma}_t \mathbf{V}_t^*</math>

Μόνο τα διανύσματα της ''t'' στήλης του ''U'' και της ''t'' γραμμής του ''V*'' που αντιστοιχούν στην ''t'' μεγαλύτερη ιδιάζουσα τιμή Σ<sub>t</sub> υπολογίζονται. Ο υπόλοιπος πίνακας δε λαμβάνεται υπόψιν. Η μέθοδος αυτή γίνεται ταχύτερη και οικονομικότερη απο την προηγούμενη όταν ''t''≪''r''. Ο ''U''<sub>t</sub> είναι τότε ένας ''m''×''t'' πίνακας, ο Σ<sub>t</sub> ένας ''t''×''t'' διαγώνιος, και ο ''V''<sub>t</sub>* ένας ''t''×''n''.

Φυσικά η truncated SVD δεν είναι πλέον μια ακριβής ανάλυση του αρχικού πίνακα ''M'', αλλά όπως αναφέρθηκε [[#Προσέγγιση μέσω πινάκων χαμηλής τάξης|παραπάνω]], ο κατά προσέγγιση πίνακας <math>\tilde{\mathbf{M}}</math> είναι όπως καταλαβαίνουμε η κοντινότερη προσέγγιση του ''M'' που μπορούμε να πετύχουμε από ένα πίνακα βαθμίδας ''t''.

==Νόρμες==

=== Ky Fan νόρμες ===
Το άθροισμα των  ''k'' μεγαλύτερων ιδιάζουσων τιμών του ''M'' είναι μία [[νόρμα πίνακα]], η  [[Ky Fan]]  ''k-''νόρμα του ''M''.

Η πρώτη από τις  Ky Fan νόρμες, η Ky Fan 1-νόρμα ταυτίζεται με την νόρμα του τελεστή του  ''M'' αν αυτός θεωρηθεί γραμμικός τελεστής μεταξύ των ευκλείδιων χώρων ''K''<sup>''m''</sup> και ''K''<sup>''n''</sup>. Με άλλα λόγια, η Ky Fan 1-νόρμα είναι η νόρμα τελεστή που επάγεται από το σύνηθες ''l''<sup>2</sup> Ευκλείδιο εσωτερικό γινόμενο. Για αυτό τον λόγο ονομάζεται και 2-νόρμα τελεστή. Εύκολα μπορεί να επαληθευτεί η σχέση μεταξύ της Ky Fan 1-νόρμας και των ιδιάζουσων τιμών. Στη γενική περίπτωση για κάθε φραγμένο τελεστη  ''M'' μεταξύ χώρων  Hilbert (πεπερασμένης ή άπειρης διάστασης) ισχύει ότι :

:<math>\| \mathbf{M} \| = \| \mathbf{M}^* \mathbf{M} \|^\frac{1}{2}</math>

Ωστόσο, στην περίπτωση των πινάκων για τον  ''M*M''<sup>½</sup> ισχύει ότι  ''M*M''<sup>½</sup> = ''M''<sup>½</sup>''M* , ''οπότε η  ||''M* M''||<sup>½</sup> είναι η μεγαλύτερη ιδιοτιμή του  ''M* M''<sup>½</sup>, δηλαδή η μεγαλύτερη ιδιάζουσα τιμή του  ''M''.

Η τελευταία από τις  Ky Fan νόρμες, το άθροισμα όλων των ιδιάζουσων τιμών, είναι η νόρμα του ίχνους : ||''M''|| = Tr[(''M*M'')<sup>½</sup>] (οι ιδιοτιμές του  ''M* M'' είναι τα τετράγωνα των ιδιάζουσων τιμών.)

=== Νόρμα των Hilbert–Schmidt ===
Οι ιδιάζουσες τιμές σχετίζονται και με μία άλλη νόρμα από τον χώρο των τελεστών. Θεωρείστε το [[Hilbert–Schmidt operator|Hilbert–Schmidt]] εσωτερικό γινόμενο επί των  ''n'' × ''n'' πινάκων το οποίο ορίζεται μέσω της σχέσης  <math>\langle \mathbf{M}, \mathbf{N} \rangle = \operatorname{trace}(\mathbf{N}^*\mathbf{M})</math>. Η επαγόμενη νόρμα θα είναι η <math>\|\mathbf{M}\| = \langle \mathbf{M}, \mathbf{M}\rangle^\frac{1}{2} = \operatorname{trace}(\mathbf{M}^*\mathbf{M})^\frac{1}{2}</math>. Επειδή το [[Ίχνος (γραμμική άλγεβρα)|ίχνος]] μένει αναλλοίωτο κάτω από unitary ισοδυναμία, έχουμε ότι

:<math>\| \mathbf{M} \| = \left(\sum \sigma_i ^2\right)^\frac{1}{2}</math>

όπου  <math>\sigma_i</math> είναι οι ιδιάζουσες τιμές του . Αυτή ονομάζεται [[νόρμα του Φρομπένιους]],**Schatten 2-νόρμα**, ή **Hilbert–Schmidt νόρμα του** ''M''. Έυκολα προκύπτει ότι αν

:<math>\mathbf{M} = (m_{ij})</math>

η Φρομπένιους νόρμα του  ''M'' συμπίπτει με

:<math>\left( \sum_{ij} | m_{ij} |^2 \right)^\frac{1}{2}</math>

== Ανάλυση τανυστή σε ιδιάζουσες τιμές ==
Το πρόβλημα εύρεσης μιας προσέγγισης ενός τανυστή μέσω πίνακα χαμηλής ταξης  δεν είναι ορθά ορισμένο. Με άλλα λόγια, δεν υπάρχει η "καλύτερη" λύση, παραμόνο μια σειρά απο καλύτερες κάθε φορά προσεγγίσεις που συγκλίνουν σε άπειρα μεγάλους πίνακες. Παρ'όλ αυτά, υπάρχουν αρκετοί τρόποι να δοκιμάσουμε να κάνουμε την ανάλυση.

Υπάρχουν δύο ειδών αναλύσεις τανυστών οι οποίες γενικεύουν την ανάλυση σε ιδιάζουσες τιμές στην περίπτωση των [[Τανυστής|πολυδιάστατων διατάξεων]] . Ο ένας από αυτούς αναλύει ένα τανυστή σε άθροισμα τανυστών πρώτης-τάξης, βλέπε αλγόριθμο [[Candecomp]]-[[PARAFAC]] (CP). Ο CP αλγόριθμος δεν πρέπει να συγχέεται με την rank-''R'' ανάλυση. Αυτό που κάνει ο CP αλγόριθμος είναι για ένα δωθέν ''N '' να αναλύει ένα τανυστή σε ένα άθροισμα από ''N'' τανυστές πρώτης-τάξης που ταιριάζουν βέλτιστα με τον αρχικό τανυστή. Ο δεύτερος τρόπος ανάλυσης υπολογίζει τους ορθοκανονικούς χώρους που σχετίζονται με τους διάφορους άξονες ή άλλα χαρηκτηριστικά ενός τανυστή (ορθοκανονικός χώρος γραμμών, χώρος στηλών κτλ.). Η ανάλυση αυτή αναφέρεται στη βιβλιογραφία ως [[Ανάλυση Tucker|Tucker3/TuckerM]], ''M''-mode ανάλυση, πολυγραμμική ανάλυση και κάποιες φορές ως [[Higher-order singular value decomposition|higher-order SVD]] (HOSVD).

== Φραγμένοι τελεστές σε χώρους Hilbert ==
Η παραγοντοποίηση <math>\mathbf{M} = \mathbf{U} \boldsymbol{\Sigma} \mathbf{V}^*</math> μπορεί να επεκταθεί σε ένα [[φραγμένος τελεστή|φραγμένο τελεστή]] ενός διαχωρίσιμου χώρου Hilbert ''H''. Πιο συγκεκριμένα για κάθε φραγμένο τελεστή ''M'', υπάρχει μία [[μερική ισομετρία]]  ''U'', ένας ορθομοναδιαίος ''V'', ένας μετρικός χώρος (''X'',&nbsp;''μ''), και μία μη αρνητική μετρίσημη συνάρτηση ''f''  τέτοια ώστε

:<math>\mathbf{M} = \mathbf{U} T_f \mathbf{V}^*</math>

όπου  <math>T_f</math> είναι ο [[πολλαπλασιαστικός τελεστής]] της ''f'' στον ''L''<sup>2</sup>(''X'', ''μ'').

Αυτό μπορεί να αποδειχθεί αν μιμηθούμε το επιχείρημα της γραμμικής άλγεβρας που χρησιμοποιήθηκε παραπάνω για την περίπτωση των πινάκων. ''VT<sub>f</sub> V*'' είναι η μοναδική θετική τετραγωνική ρίζα του  ''M*M'', όπως δίνεται από τον [[συναρτησιακός λογισμός του Borel|συναρτησιακό λογισμό του Borel]] για [[αυτοσυζυγής τελεστής|αυτοσυζυγείς τελεστές]]. Ο ''U'' δεν χρειάζεται να είναι ορθομοναδιαίος επειδή, σε αντίθεση με την πεπερασμένη περίπτωση, δοθείσης μίας ισομετρίας ''U''<sub>1</sub> με μη τετριμμένο πυρήνα, δεν υπάρχει πάντα κατάλληλος τελεστής  ''U''<sub>2</sub> τέτοιος ώστε ο

:<math>\begin{bmatrix} U_1 \\ U_2 \end{bmatrix}</math>

να είναι unitary τελεστής.

Όσο για τους πίνακες, η παραγοντοποίηση σε ιδιάζουσες τιμές είναι ισοδύναμη με την [[πολική ανάλυση]] για τελεστές: μπορούμε απλά να γράψουμε

:<math>\mathbf{M} = \mathbf{U} \mathbf{V}^* \cdot \mathbf{V} T_f \mathbf{V}^*</math>

και να παρατηρήσουμε ότι ο ''U V*'' είναι μερική ισομετρία και η  ''VT<sub>f</sub> V*'' θετική.

=== Ιδιάζουσες τιμές και συμπαγείς τελεστές ===
Για να επεκτείνουμε την έννοια της ιδιάζουσας τιμής και του αριστερού/δεξιού ιδιάζοντος διανύσματος στην περίπτωση των τελεστών, πρέπει να περιοριστούμε στους [[Συμπαγής τελεστής σε χώρο Hilbert|συμπαγείς τελεστές]]. Είναι γεγονός πως οι συμπαγείς τελεστές σε [[χώρος Banach|χώρους Banach]] έχουν διακριτό φάσμα. Αυτό ισχύει και για συμπαγείς τελεστές σε χώρους Hilbert, αφού αυτοί οι χώροι είναι ειδική περίπτωση των χώρων Banach. Αν ο Τ είναι συμπαγής, κάθε μη μηδενικό λ στο φάσμα είναι ιδιοτιμή. Ακόμη, ένας συμπαγής αυτοσυζηγής τελεστής μπορεί να διαγωνιοποιηθεί από τα ιδιοδιανύσματά του. Αν ο Μ είναι συμπαγής, το ίδιο είναι και ο Μ*Μ. Εφαρμόζοντας το αποτέλεσμα της διαγωνιοποίησης, η unitary εικόνα της θετικής τετραγωνικής ρίζας του ''T<sub>f</sub>'' έχει ένα σύνολο ορθοκανονικών ιδιοδιανυσμάτων {''e<sub>i</sub>''} που αντιστοιχούν σε αυστηρά θετικές ιδιοτιμές {''σ<sub>i</sub>''}. Για κάθε&nbsp;''ψ''&nbsp;∈&nbsp;''H'',

:<math>\mathbf{M} \psi = \mathbf{U} T_f \mathbf{V}^* \psi = \sum_i \langle \mathbf{U} T_f \mathbf{V}^* \psi, \mathbf{U} e_i \rangle \mathbf{U} e_i =
                           \sum_i \sigma_i \langle \psi, \mathbf{V} e_i \rangle \mathbf{U} e_i</math>

όπου οι σειρές συγκλίνουν με στην νόρμα του  ''H''. Παρατηρήστε πως η παραπάνω έκφραση ισχύει και στην περίπτωση της πεπερασμένης διάστασης. Τα ''σ<sub>i</sub>''  καλούνται ιδιάζουσες τιμές του ''M''. Τα {''U e<sub>i</sub>''} και {''V e<sub>i</sub>''} μπορούν να θεωρηθούν αριστερά και δεξιά ιδιάζοντα διανύσματα του ''M'' αντίστοιχα.

Οι συμπαγείς τελεστές σε χώρους Hilbert είναι η κλειστή θήκη των   πεπερασμένης βαθμίδας  στην ομοιόμορφη τοπολογία τελεστών. Η παραπάνω έκφραση (άθροισμα) είναι μία εξήγηση αυτού του ισχυρισμού.  Μία άμεση συνέπεια αυτού είναι:

**Θεώρημα:*' Ο *M* είναι συμπαγής αν και μόνο αν ο *M*M* είναι συμπαγής.

==Ιστορία==
Η ανάλυση ενός πίνακα σε ιδιάζουσες τιμές αρχικά αναπτύχθηκε από όσους ασχολήθηκαν με την [[διαφορική γεωμετρία]], με σκοπό να ελλέγξουν αν η [[διγραμμική μορφή]] ενός πίνακα, μπορεί να ισούται με μία άλλη χρησιμοποιώνας ανεξάρτητους ορθογώνιους μετασχηματισμούς των δύο χώρων στους οποίυος δρα η διγραμμική μορφή. Ο [[:el:Εουτζένιο Μπελτράμι|Eugenio Beltrami]] και ο [[Καμίλ Τζόρνταν|Camille Jordan]] ανακάλυψαν ξεχωριστά, το 1873 και 1874 αντίστοιχα, ότι οι ιδιάζουσες τιμές  των διγραμμικών μορφών, γραμμένες σε μορφή πίνακα, συνιστούν ένα [[πλήρες σύνολο αναλλοιώτων|πλήρες σύνολο]] [[αναλλοίωτη|αναλλοίωτων]]  για διγραμμικές μορφές κάτω απο ορθογώνιες αντικαταστάσεις. Ο [[Τζέημς Τζόζεφ Συλβέστερ|James Joseph Sylvester]] επίσης κατασκεύασε την ανάλυση πίνακα σε ιδιάζουσες τιμές για πραγματικούς τετραγωνικούς το 1889, ανεξάρτητα και από τον [[Εουτζένιο Μπελτράμι|Beltrami]] και από τον [[Καμίλ Τζόρνταν|Τζόρνταν]]. Ο [[Τζέημς Τζόζεφ Συλβέστερ|Sylvester]] ονόμασε τις ιδιάζουσες τιμές κανονικούς πολλαπλασιαστές (canonical multipliers) του πίνακα Α. Ο τέταρτος μαθηματικός που ανέλυσε έναν πίνακα σε ιδιάζουσες τιμές, ανεξάρτητα των προηγουμένων, ήταν ο [[Ωτόννε|Autonne]] το 1915, ο οποίος έφτασε εκεί μέσω της [[Πολική Ανάλυση|πολικής ανάλυσης]]. Η πρώτη απόδειξη  της ανάλυσης ενός πίνακα σε ιδιάζουσες τιμές για ορθογώνιους και μιγαδικούς πίνακες, φέρεται να έγινε από τον [[Κάρολος Εκάρτ|Carl Eckart]] και τον [[Γκέηλ Γιανγκ|Gale Young]] το 1936, οι οποίοι την είδαν σαν γενίκευση του μετασχηματισμού του κύριου άξονα για [[ερμιτιανός πίνακας|ερμιτιανούς πίνακες]].

Το 1907, ο [[Έρχαρντ Σμιντ|Erhard Schmidt]] όρισε μία έννοια ανάλογη με αυτή των ιδιαζόντων τιμών για τους [[ολοκληρωτικός τελεστής|ολοκληρωτικούς τελεστές]] (που είναι συμπαγής, κάτω απο ορισμένες αδύναμες υποθέσεις. Δεν γνώριζε για την δουλειά που γινόταν παράλληλα πάνω στις ιδιάζουσες τιμές πεπερασμένων πινάκων. Η θεωρία αναπτύχθηκε περαιτέρω από τον Émile Picard το 1910, ο οποίος ήταν ο πρώτος που αποκάλεσε τα στοιχεία <math>\sigma_k</math> *ιδιάζουσες τιμές* (ή στα γαλλικά: *valeurs singulières'').

Πρακτικές μέθοδοι του υπολογισμού της ανάλυσης πίνακα σε ιδιάζουσες τιμές, χρονολογούνται από το 1954, 1955 με τον Kogbetliantz και το 1958 με τον Hestenes. Που θυμίζουν αρκετά τον αλγόριθμο υπολογισμού ιδιοτιμών του Jacobi, που χρησιμοποιεί περιστροφές επιπέδων ή περιστροφές του Givens. Παρ' ότι αυτές αντικαταστάθηκαν από τη μέθοδο των Gene Golub και William Kahan που εκδόθηκε το 1965, που χρησιμοποιεί μετασχηματισμούς του Householder ή αντανακλάσεις. Το 1970, ο Golub και ο Christian Reinsch δημοσίευσαν μία παραλαγή του αλγορίθμου Golub/Kahan που είναι και η πιο πολυχρησιμοποιημένη μέχρι σήμερα.

## Σχετικά πεδία
*Ανάλυση κανονικής συσχέτισης 
*Κανονική μορφή
*Ανάλυση αντιστοιχίας
*Ψηφιακή επεξεργασία σήματος
*Μείωση διάστασης
*Ανάλυση σε ιδιοτιμές
*Εμπειρικές ορθογώνιες συναρτήσεις
*Ανάλυση Fourier
*Μετασχηματισμοί σχετικοί με ανάλυση Fourier
*Γενικευμένη ανάλυση σε ιδιάζουσες τιμές
*Λανθάνουσα σημασιολογική ανάλυση
*Λανθάνουσα σημασιολογική δεικτοδότηση
*Γραμμική μέθοδος ελαχίστων τετραγώνων
*Προσέγγιση με πίνακες χαμηλής βαθμίδας
*Ανάλυση πινάκων
*Πολυγραμμική ανάλυση κυρίων συνιστωσών
*Αναζήτηση κοντινότερου γειτνιάζοντος σημείου
*Μη-γραμμική επαναληπτική μερική μέθοδος ελαχίστων τετραγώνων
*Πολική ανάλυση
*Ανάλυση κύριων συνιστωσών
*Ιδιάζουσα τιμή 
*Χρονοσειρές
*Δισδιάστατη ανάλυση σε ιδιάζουσες τιμές (2DSVD)
*Ανισότητα των ιχνών του von Neumann
*Συμπίεση κυμάτων

## Παραπομπές


## Αναφορές
* 
* 
* 
* 
* 
* Halldor, Bjornsson and Venegas, Silvia A. (1997). "A manual for EOF and SVD analyses of climate data". McGill University, CCGCR Report No. 97-1, Montréal, Québec, 52pp.
* 
*
*
*
*
* 
*
*

Κατηγορία:Γραμμική άλγεβρα
Κατηγορία:Αριθμητική γραμμική άλγεβρα