Παναγιώτης Ψαρράκος Αν. Καθηγητής

Σχετικά έγγραφα
Παναγιώτης Ψαρράκος Αν. Καθηγητής

Παναγιώτης Ψαρράκος Αν. Καθηγητής

Παναγιώτης Ψαρράκος Αν. Καθηγητής

Παναγιώτης Ψαρράκος Αν. Καθηγητής

Γραµµική Αλγεβρα. Ενότητα 6 : Ιδιοτιµές & Ιδιοδιανύσµατα. Ευστράτιος Γαλλόπουλος Τµήµα Μηχανικών Η/Υ & Πληροφορικής

Ιδιάζουσες τιμές πίνακα. y έχουμε αντίστοιχα τις σχέσεις : Αυτές οι παρατηρήσεις συμβάλλουν στην παραγοντοποίηση ενός πίνακα

Στοχαστικά Σήματα και Τηλεπικοινωνιές

Γραµµική Αλγεβρα. Ενότητα 6 : Ιδιοτιµές & Ιδιοδιανύσµατα. Ευστράτιος Γαλλόπουλος Τµήµα Μηχανικών Η/Υ & Πληροφορικής

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ. ΕΝΟΤΗΤΑ: Άλγεβρα των Πινάκων (2) ΔΙΔΑΣΚΩΝ: Βλάμος Παναγιώτης ΙΟΝΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

Παναγιώτης Ψαρράκος Αν. Καθηγητής

Κεφάλαιο 6 Ιδιοτιμές και Ιδιοδιανύσματα

ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ 12) ΕΡΓΑΣΙΑ 2 η Ημερομηνία Αποστολής στον Φοιτητή: 28 Νοεμβρίου 2011

ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΙΑΣ

ΔΕΙΚΤΕΣ ΚΑΤΑΣΤΑΣΗΣ ΙΔΙΟΤΙΜΩΝ ΠΙΝΑΚΑ ΚΑΙ ΑΠΟΜΑΚΡΥΝΣΗ ΑΠΟ ΤΗΝ ΚΑΝΟΝΙΚΟΤΗΤΑ. Διπλωματική Εργασία ΓΚΡΟΠΑ ΕΥΑΓΓΕΛΙΑ

ΓΡΑΜΜΙΚΟΣ & ΔΙΚΤΥΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

21 a 22 a 2n. a m1 a m2 a mn

8.1 Διαγωνοποίηση πίνακα

Εφαρμοσμένα Μαθηματικά ΙΙ

Εφαρμοσμένα Μαθηματικά ΙΙ

Ασκήσεις6 Διαγωνοποίηση Ερμιτιανών Πινάκων

Θεωρία Πιθανοτήτων & Στατιστική

Γραµµική Αλγεβρα. Ενότητα 3 : ιανυσµατικοί Χώροι και Υπόχωροι. Ευστράτιος Γαλλόπουλος Τµήµα Μηχανικών Η/Υ & Πληροφορικής

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

Ασκήσεις6 Το σύνηθες εσωτερικό γινόμενο στο

1 ιαδικασία διαγωνιοποίησης

ΜΕΜ251 Αριθμητική Ανάλυση

1 Επανάληψη εννοιών από τον Απειροστικό Λογισμό

Κβαντική Επεξεργασία Πληροφορίας

ΑΝΟΙΧΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ. Λογισμός ΙΙ. Χρήστος Θ. Αναστασίου Τμήμα Μηχανικών Πληροφορικής ΤΕ

Γραµµική Αλγεβρα. Ενότητα 6 : Ιδιοτιµές & Ιδιοδιανύσµατα. Ευστράτιος Γαλλόπουλος Τµήµα Μηχανικών Η/Υ & Πληροφορικής

Παναγιώτης Ψαρράκος Αν. Καθηγητής

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ. ΕΝΟΤΗΤΑ: Διανύσματα στους Rn, Cn, διανύσματα στο χώρο (1) ΔΙΔΑΣΚΩΝ: Βλάμος Παναγιώτης ΙΟΝΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

Υπολογιστικά & Διακριτά Μαθηματικά

ΓΡΑΜΜΙΚΟΣ & ΔΙΚΤΥΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

Μαθηματικά Διοικητικών & Οικονομικών Επιστημών

ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΟΙΚΟΝΟΜΟΛΟΓΟΥΣ

ΕΙΣΑΓΩΓΗ ΣΤΗ ΒΕΛΤΙΣΤΟΠΟΙΗΣΗ ΣΥΣΤΗΜΑΤΩΝ

Ασκήσεις3 Διαγωνίσιμες Γραμμικές Απεικονίσεις

Μαθηματικά. Ενότητα 6: Ασκήσεις Ορίων Συνάρτησης. Σαριαννίδης Νικόλαος Τμήμα Λογιστικής και Χρηματοοικονομικής

Χαρακτηριστική Εξίσωση Πίνακα

ΓΡΑΜΜΙΚΟΣ & ΔΙΚΤΥΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ. ΕΝΟΤΗΤΑ: Αριθμητική Γραμμική Άλγεβρα (1) ΔΙΔΑΣΚΩΝ: Βλάμος Παναγιώτης ΙΟΝΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

Γραµµική Αλγεβρα. Ενότητα 4 : Ορθογωνιότητα. Ευστράτιος Γαλλόπουλος Τµήµα Μηχανικών Η/Υ & Πληροφορικής

Παναγιώτης Ψαρράκος Αν. Καθηγητής

Έντυπο Yποβολής Αξιολόγησης ΓΕ

ΚΕΦ.6:ΤΕΤΡΑΓΩΝΙΚΕΣ ΜΟΡΦΕΣ. ΣΥΜΜΕΤΡΙΚΟΙ ΠΙΝΑΚΕΣ

Θεωρία Τελεστών. Ενότητα: Το Φασµατικό Θεώρηµα - Εισαγωγή. Αριστείδης Κατάβολος. Τµήµα Μαθηµατικών

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ. ΕΝΟΤΗΤΑ: Διανυσματικοί Χώροι (1) ΔΙΔΑΣΚΩΝ: Βλάμος Παναγιώτης ΙΟΝΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

ΧΑΡΑΚΤΗΡΙΣΤΙΚΟ ΠΟΛΥΩΝΥΜΟ ΠΙΝΑΚΑ: Έστω Α ένας n nπίνακας επί ενός σώματος F. Για χ στο F, ορίζεται το πολυώνυμο ( ως προς χ ) : h ( x) = det( A- xi ).

Μία απεικόνιση από ένα διανυσματικό χώρο V στον εαυτό του, L : V V την ονομάζουμε γραμμικό τελεστή στο V (ή ενδομορφισμό του V ). Ορισμός. L : V V γρα

Εφαρμοσμένα Μαθηματικά ΙΙ Τελική Εξέταση Ι. Λυχναρόπουλος

Κεφάλαιο 3 ΣΤΟΙΧΕΙΑ ΓΡΑΜΜΙΚΗΣ ΑΛΓΕΒΡΑΣ

Παραγοντοποιήσεις πίνακα

ΜΕΜ251 Αριθμητική Ανάλυση

Εφαρμοσμένη Βελτιστοποίηση

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ. ΕΝΟΤΗΤΑ: Διανυσματικοί Χώροι (2) ΔΙΔΑΣΚΩΝ: Βλάμος Παναγιώτης ΙΟΝΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

Ασκήσεις3 Διαγωνισιμότητα Βασικά σημεία Διαγωνίσιμοι πίνακες: o Ορισμός και παραδείγματα.

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ. ΕΝΟΤΗΤΑ: Άλγεβρα των Πινάκων (1) ΔΙΔΑΣΚΩΝ: Βλάμος Παναγιώτης ΙΟΝΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

= 7. Στο σημείο αυτό θα υπενθυμίσουμε κάποιες βασικές ιδιότητες του μετασχηματισμού Laplace, δηλαδή τις

Κεφάλαιο 2 Πίνακες - Ορίζουσες

Μοντέρνα Θεωρία Ελέγχου

Υπολογιστικά & Διακριτά Μαθηματικά

Παναγιώτης Ψαρράκος Αν. Καθηγητής

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ (ΗΥ-119)

Συστήματα Αυτομάτου Ελέγχου II

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

Ιόνιο Πανεπιστήμιο - Τμήμα Πληροφορικής

Στοχαστικά Σήµατα και Εφαρµογές

Γραµµική Αλγεβρα. Ενότητα 6 : Ιδιοτιµές & Ιδιοδιανύσµατα. Ευστράτιος Γαλλόπουλος Τµήµα Μηχανικών Η/Υ & Πληροφορικής

Copyright: Ψωμόπουλος Ευάγγελος, Eκδόσεις Zήτη, Γ έκδοση: Μάρτιος 2012, Θεσσαλονίκη

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ = U1SV 1 V 2 A = [U1 U2] S = diag(σ 1,...,σ r ) R r r. και σ 1 σ r > 0. Ειδικότερα,

Εφαρμοσμένη Βελτιστοποίηση

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

Εισαγωγή στις Τηλεπικοινωνίες. Δομή της παρουσίασης

Τι είναι βαθμωτό μέγεθος? Ένα μέγεθος που περιγράφεται μόνο με έναν αριθμό (π.χ. πίεση)

Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης. Λογισμός 3 Ασκήσεις. Μιχάλης Μαριάς Τμήμα Α.Π.Θ.

ΒΟΗΘΗΤΙΚΕΣ ΣΗΜΕΙΩΣΕΙΣ

Εφαρμοσμένα Μαθηματικά ΙΙ Εξέταση Σεπτεμβρίου 25/9/2017 Διδάσκων: Ι. Λυχναρόπουλος

ΓΡΑΜΜΙΚΟΣ & ΔΙΚΤΥΑΚΟΣ ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

Γραμμική Άλγεβρα και Μαθηματικός Λογισμός για Οικονομικά και Επιχειρησιακά Προβλήματα

Τετραγωνικά μοντέλα. Τετραγωνικό μοντέλο συνάρτησης. Παράδειγμα τετραγωνικού μοντέλου #1. Παράδειγμα τετραγωνικού μοντέλου #1

Μαθηματικά και Φυσική με Υπολογιστές

ΤΕΤΥ Εφαρμοσμένα Μαθηματικά 1. Τελεστές και πίνακες. 1. Τελεστές και πίνακες Γενικά. Τι είναι συνάρτηση? Απεικόνιση ενός αριθμού σε έναν άλλο.

Επιστηµονικός Υπολογισµός Ι

Μεταθέσεις και πίνακες μεταθέσεων

Κεφάλαιο 7 Ορθογώνιοι Πίνακες

Γραμμική Άλγεβρα II Εαρινό εξάμηνο

Τετραγωνικά μοντέλα. Τετραγωνικό μοντέλο συνάρτησης. Παράδειγμα τετραγωνικού μοντέλου #1. Παράδειγμα τετραγωνικού μοντέλου #1

Project 1: Principle Component Analysis

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ. ΕΝΟΤΗΤΑ: Διανύσματα στους Rn, Cn, διανύσματα στο χώρο (3) ΔΙΔΑΣΚΩΝ: Βλάμος Παναγιώτης ΙΟΝΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ. Λογισμός 4. Ενότητα 2: Ορισμός του ολοκληρώματος. Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών

Μιγαδικός λογισμός και ολοκληρωτικοί Μετασχηματισμοί

Λογισμός 3. Ενότητα 18: Θεώρημα Πεπλεγμένων (Ειδική περίπτωση) Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών ΑΝΟΙΚΤΑ ΑΚΑ ΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ (Εξ. Ιουνίου - 02/07/08) ΕΠΙΛΕΓΜΕΝΕΣ ΑΠΑΝΤΗΣΕΙΣ

Μαθηματικά. Ενότητα 13: Κυρτότητα Συνάρτησης Σαριαννίδης Νικόλαος Τμήμα Λογιστικής και Χρηματοοικονομικής

Γραμμική Άλγεβρα και Μαθηματικός Λογισμός για Οικονομικά και Επιχειρησιακά Προβλήματα

1. a. Έστω b. Να βρεθούν οι ιδιοτιμές και τα ιδιοδιανύσματα του A Έστω A και ( x) [ x]

Μαθηματικά. Ενότητα 7: Μη Πεπερασμένα Όρια. Σαριαννίδης Νικόλαος Τμήμα Λογιστικής και Χρηματοοικονομικής

Transcript:

Ανάλυση Πινάκων Κεφάλαιο 2: Παραγοντοποίηση SVD Παναγιώτης Ψαρράκος Αν. Καθηγητής Δ.Π.Μ.Σ. Εφαρμοσμένες Μαθηματικές Επιστήμες Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών Τομέας Μαθηματικών Εθνικό Μετσόβιο Πολυτεχνείο

Άδεια Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άδεια χρήσης άλλου τύπου, αυτή πρέπει να αναφέρεται ρητώς.

Η Παραγοντοποίηση SVD Η σημαντικότερη, ως προς τις εφαρμογές, παραγοντοποίηση πινάκων είναι η γνωστή παραγοντοποίηση ιδιαζούσων τιμών (singular value decomposition), την οποία και θα καλούμε παραγοντοποίηση SVD. Θεώρημα 1 Αν A είναι ένας ν µ μιγαδικός πίνακας, τότε υπάρχουν ορθομοναδιαίοι πίνακες U C ν ν και V C µ µ τέτοιοι ώστε όπου s 1 s 2 s min{ν,µ} 0. A = Udiag{s 1,s 2,...,s min{ν,µ} }V Ανάλυση Πινάκων 1 / 25

Απόδειξη. Αρχικά θεωρούμε μοναδιαία διανύσματα x C µ και y C ν τέτοια ώστε Ax = A 2 y (η απόδειξη της ύπαρξης αφήνεται ως άσκηση). Τότε υπάρχουν πίνακες V 2 C µ (µ 1) και U 2 C ν (ν 1) τέτοιοι ώστε οι V = [x V 2 ] και U = [y U 2 ] να είναι ορθομοναδιαίοι. Εύκολα μπορεί κανείς να δει ότι [ ] [ ] U y AV = Ax w A 2 w =. 0 B 0 B Παρατηρούμε ακόμη ότι ( A 2 2 + w w ) 2 [ A 2 w 0 B [ A 2 w 0 B ][ ] 2 A 2 w 2 ] 2 ( ) A 2 2 + w 2 2. 2 Ανάλυση Πινάκων 2 / 25

Συνέχεια Απόδειξης. Από το προηγούμενο προκύπτει ότι [ ] A 2 w 0 B 2 2 A 2 2 + w 2 2. Ομως, επειδή οι πίνακες U και V είναι ορθομοναδιαίοι, έχουμε ότι [ A 2 w 0 B ] 2 2 = A 2 2, και για το λόγο αυτό πρέπει w = 0. Δηλαδή, ισχύει [ ] U A 2 0 AV =. 0 B Η απόδειξη ολοκληρώνεται με επαγωγή. Ανάλυση Πινάκων 3 / 25

Ο διαγώνιος πίνακας diag{s 1,s 2,...,s min{ν,µ} } συμβολίζεται με Σ και οι τιμές καλούνται ιδιάζουσες τιμές του A. s 1 s 2... s min{ν,µ} 0 Αν γράψουμε U = [u 1 u 2... u ν ] και V = [v 1 v 2... v ν ], τότε τα διανύσματα στήλες u i και v i (1 i min{ν,µ}) λέγονται αριστερά και δεξιά ιδιάζοντα διανύσματα που αντιστοιχούν στην ιδιάζουσα τιμή s i. Από τις σχέσεις AV = UΣ και A U = VΣ T προκύπτει ότι Av i = s i u i και A u i = s i v i (1 i min{ν, µ}). Ενα απλό παράδειγμα παραγοντοποίησης SVD είναι A = [ 0.96 1.72 2.28 0.96 ] = UΣV = [ 0.6 0.8 0.8 0.6 ][ 3 0 0 1 ][ 0.8 0.6 0.6 0.8 ]. Ανάλυση Πινάκων 4 / 25

Άμεσες Παρατηρήσεις και Σχόλια Η παραγοντοποίηση SVD δίνει πολλές πληροφορίες για τη δομή ενός πίνακα. Αν θεωρήσουμε ότι η ιδιάζουσα τιμή s r είναι η ελάχιστη μη μηδενική ιδιάζουσα τιμή ενός ν µ πίνακα A, δηλαδή αν s 1 s 2 s r > s r+1 = = s min{ν,µ} = 0, τότε ο πυρήνας του A είναι rank(a) = r, και η εικόνα του A είναι (Ker(A) =) Null(A) = span{v r+1,v r+2,...,v µ } (Image(A) =) Range(A) = span{u 1,u 2,...,u r }. Ανάλυση Πινάκων 5 / 25

Από την απόδειξη του Θεωρήματος 1 είναι ϕανερό ότι s 1 = s 1 (A) = A 2, ενώ μπορεί κανείς να δεί ότι η (ορθομοναδιαία αναλλοίωτη) νόρμα Frobenius του A, A F = a ij 2, γράφεται i,j A F = s 2 1 + s2 2 + + s2 min{ν,µ}. Επιπλέον, για ν µ, ισχύει Ax 2 min = s µ, x 0 x 2 ενώ για ν = µ, det(a) = s 1 s 2 s ν. Ανάλυση Πινάκων 6 / 25

Από τις σχέσεις και AA = Udiag{s 2 1,s2 2,...,s2 min{ν,µ} }U A A = V diag{s 2 1,s2 2,...,s2 min{ν,µ} }V, συμπεραίνουμε ότι: Οι μη μηδενικές ιδιάζουσες τιμές του A είναι οι τετραγωνικές ρίζες των μη μηδενικών ιδιοτιμών των (θετικά ημιοριμένων) ερμιτιανών πινάκων AA και A A. Τα αριστερά ιδιάζοντα διανύσματα του A είναι τα ιδιοδιανύσματα του AA. Τα δεξιά ιδιάζοντα διανύσματα του A είναι τα ιδιοδιανύσματα του A A. Ανάλυση Πινάκων 7 / 25

Κάθε ν ν μιγαδικός πίνακας A γράφεται A = UΣV = UΣU UV = (UΣU )(UV ), όπου ο πίνακας P = UΣU είναι ερμιτιανός και θετικά ημιορισμένος, ενώ ο W = UV είναι ορθομοναδιαίος. Δηλαδή, κάθε ν ν πίνακας A γράφεται ως γινόμενο A = PW ενός θετικά ημιορισμένου πίνακα P με rank(p) = rank(a) και ενός ορθομοναδιαίου πίνακα W. Η παραγοντοποίηση αυτή είναι γνωστή ως πολική παραγοντοποίηση (polar decomposition) του πίνακα A και αποτελεί ανάλογο της πολικής γραφής ενός μιγαδικού αριθμού z = z e iθ, όπου το μέτρο z 0 αντιστοιχεί στον θετικά ημιορισμένο πίνακα P και το e iθ στον ορθομοναδιαίο πίνακα W. Ανάλυση Πινάκων 8 / 25

Προσεγγίσεις Χαμηλού Βαθμού (Low-Rank) Εστω ένας πίνακας A C ν µ βαθμού rank(a) = r, με παραγοντοποίηση SVD A = Udiag{s 1,s 2,...,s min{ν,µ} }V = s 1 0 0 0 s 2 0. [u 1 u 2 u ν ]..... 0 0 s r... 0 (ν r) (µ r) v 1 v 2.. v µ. Ανάλυση Πινάκων 9 / 25

Με απλές πράξεις βλέπουμε ότι A = = r [u 1 u 2 u ν ] diag{0,...,0,s i,0,...,0} i=1 r s i u i v i. i=1 Δηλαδή, ο A γράφεται ως αθροισμα r πινάκων βαθμού 1. Η συγκεκριμένη γραφή οδηγεί σε προσέγγιση του πίνακα A από πίνακες μικρότερου του r = rank(a) βαθμού. v 1 v 2. v µ Ανάλυση Πινάκων 10 / 25

Θεώρημα 2 Εστω ένας πίνακας A C ν µ βαθμού rank(a) = r, με παραγοντοποίηση SVD, A = Udiag{s 1,s 2,...,s r,0,...0} V (s 1 s 2 s r > 0). Για τυχαίο ϕυσικό αριθμό k < r, θεωρούμε τον πίνακα A k = k s i u i v i. i=1 Τότε ισχύει ότι rank(a k ) = k και min A B 2 = A A k 2 = s k+1. rank(b)=k Ανάλυση Πινάκων 11 / 25

Απόδειξη. Χωρίς βλάβη της γενικότητας, θεωρούμε ότι ν µ. Από τον ορισμό του A k προκύπτει άμεσα ότι rank(a k ) = k, U (A A k )V = diag { 0,0,...,0,s k+1,s k+2,...,s min{ν,µ} } και Είναι λοιπόν ϕανερό ότι A A k 2 = s k+1. min A B 2 A A k 2 = s k+1. rank(b)=k Ανάλυση Πινάκων 12 / 25

Συνέχεια Απόδειξης. Ας θεωρήσουμε τώρα έναν ν µ πίνακα B βαθμού rank(b) = k και μία ορθοκανονική βάση του πυρήνα Null(B), { x 1,x 2,...,x µ k }. Λόγω των διαστάσεων τους, οι υπόχωροι span { x 1,x 2,...,x µ k } = Null(B) και span{v 1,v 2,...,v k+1 } έχουν μη τετριμμένη τομή. Δηλαδή, υπάρχει μοναδιαίο διάνυσμα y Null(B) span{v 1,v 2,...,v k+1 }. Αφού By = 0 και έπεται ότι k+1 k+1 Ay = s i u i v i y = s i (v i y)u i, i=1 k+1 k+1 A B 2 2 (A B)y 2 2 = Ay 2 2 = s 2 i v i y 2 s 2 k+1 v i y 2 = s 2 k+1. i=1 i=1 i=1 Αρα min A B 2 = s k+1 και η απόδειξη ολοκληρώθηκε. rank(b)=k Ανάλυση Πινάκων 13 / 25

Πόρισμα 1 (Απόσταση από τη μη αντιστρεψιμότητα) Εστω ένας αντιστρέψιμος πίνακας A C ν ν με παραγοντοποίηση SVD, Τότε A = Udiag{s 1,s 2,...,s ν } V (s 1 s 2 s ν > 0). min{ 2 : C ν µ, det(a + ) = 0} = s ν και ένας πλησιέστερος στον A μη αντιστρέψιμος πίνακας (όχι κατ ανάγκη μοναδικός) είναι ο A ν 1 = Udiag{s 1,s 2,...,s ν 1,0} V = s 1 u 1 v 1 + s 2 u 2 v 2 + + s ν 1 u ν 1 v ν 1. Ανάλυση Πινάκων 14 / 25

Η γνώση ενός ν µ πίνακα A απαιτεί τη διαχείρηση νµ στοιχείων, ενώ η γνώση της προσέγγισης του A, A k = s 1 u 1 v 1 + s 2 u 2 v 2 + + s k u k v k, απαιτεί τη διαχείρηση (ν + µ + 1)k στοιχείων. Αν k < (νµ)/(ν + µ + 1), τότε η προσέγγιση A k απαιτεί τη γνώση και διαχείρηση λιγότερων στοιχείων από τα στοιχεία του ίδιου του πίνακα A. Ειδικά στην περίπτωση που ο πίνακας A έχει πολλές μικρές ιδιάζουσες τιμές, μπορούμε να επιλέξουμε k πολύ μικρότερο του (νµ)/(ν + µ + 1) ώστε η προσέγγιση A k να είναι ικανοποιητική αλλά και ιδιαίτερα οικονομική ως προς τη διαχείρηση στοιχείων. Κάτι τέτοιο είναι σύνηθες στη μεταφορά ψηφιακής εικόνας σε μεγάλες αποστάσεις (δορυφόροι, διαστημικές αποστολές), όπου τα στοιχεία του πίνακα είναι δείκτες ϕωτεινότητας. Ανάλυση Πινάκων 15 / 25

Στη συνέχεια, περιοριζόμαστε στην περίπτωση των τετραγωνικών πινάκων και θεωρούμε ένα ν ν μιγαδικό πίνακα A και έναν αριθμό λ C. Αν ο λi ν A έχει παραγοντοποίηση SVD της μορφής: λi ν A = UΣV = Udiag{s 1 (λ),s 2 (λ),...,s ν (λ)} V, με ιδιάζουσες τιμές s 1 (λ) s 2 (λ) s ν (λ) 0, τότε από το γεγονός ότι ο βαθμός rank(λi ν A) ταυτίζεται με το πλήθος των μη μηδενικών ιδιάζουσων τιμών του λi ν A, έπεται το παρακάτω αποτέλεσμα. Ανάλυση Πινάκων 16 / 25

Πόρισμα 2 Ο αριθμός λ C είναι ιδιοτιμή του πίνακα A γεωμετρικής πολλαπλότητας γ αν και μόνο αν s 1 (λ) s 2 (λ) s ν γ (λ) > s ν γ+1 (λ) = = s ν (λ) = 0. Το πόρισμα αυτό και το Θεώρημα 2 οδήγουν στον ορισμό και τον υπολογισμό της απόστασης του A από το σύνολο των ν ν πινάκων που έχουν ένα τυχαίο αριθμό λ C ως ιδιοτιμή γεωμετρικής πολλαπλότητας (τουλάχιστον) γ, E A (λ,γ) = min{ 2 : C ν ν, με λ ιδιοτιμή του A + = s ν γ+1 (λ). γεωμετρικής πολλαπλότητας γ} Πλησιέστερος στον A πίνακας με τον λ ως ιδιοτιμή γεωμετρικής πολλαπλότητας γ είναι ο όπου 0 2 = s ν γ+1 = E A (λ,γ). A + 0 = λi ν Udiag { s 1,...,s ν γ,0,...,0 } V, Ανάλυση Πινάκων 17 / 25

Ευστάθεια Τετραγωνικών Γραμμικών Συστημάτων Εστω ένας ν ν αντιστρέψιμος πίνακας A με παραγοντοποίηση SVD A = UΣV = Udiag{s 1,s 2,...,s ν } V = ν s i u i v i. i=1 Τότε ισχύει (Udiag{s 1,s 2,...,s ν } V ) ( V diag { } s ) 1 1,s 1 2,...,s 1 ν U = I ν, δηλαδή { 1 A 1 = V diag, 1,..., 1 } U, s1 s 2 s ν άρα και A 1 2 = 1/s ν. Συνεπώς το σύστημα Ax = β έχει λύση x = A 1 β = ν ( u i β ) v i. s i i=1 Ανάλυση Πινάκων 18 / 25

Η γραφή αυτή δείχει ότι μικρές διαταραχές στα στοιχεία του A ή του β μπορούν να προκαλέσουν σχετικά μεγάλες διαταραχες στη λύση x αν η ιδιάζουσα τιμή s ν είναι μικρή, δηλαδή αν ο A είναι κοντά σε μη αντιστρέψιμο πίνακα. Για να μελετήσουμε την ευστάθεια του συστήματος Ax = β, θεωρούμε το διαταραγμένο και παραμετρικοποιημένο σύστημα (A + εf)x(ε) = β + εf, x(0) = x, (1) με F C ν ν και f C ν δεδομένα και ε μία πραγματική μεταβλητή. Αφού ο πίνακας A είναι αντιστέψιμος, υπάρχει περιοχή του 0 όπου ορίζεται η συνεχής διανυσματική συνάρτηση x(ε) = (A + εf) 1 (β + εf). Ανάλυση Πινάκων 19 / 25

Επιπλέον, παραγωγίζοντας κατά μέλη τη σχέση (1) καταλήγουμε στη διανυσματική παράγωγο ẋ(0) = A 1 (f Fx) και το ανάπτυγμα Taylor πρώτης τάξης της x(ε), x(ε) = x + εẋ(0) + O(ε 2 ) = x + εa 1 (f Fx) + O(ε 2 ). Επομένως, x(ε) x 2 x 2 ε A 1 2 ( f 2 x 2 + F 2 ) + O(ε 2 ). Ανάλυση Πινάκων 20 / 25

Στο σημείο αυτό πρέπει να ορίσουμε το βαθμό (δείκτη) κατάστασης (για την 2-νόρμα) του πίνακα A, κ 2 (A) = A 2 A 1 2 = s 1(A) s ν (A) 1, δεχόμενοι κατά σύμβαση ότι κ 2 (A) = όταν ο A δεν είναι αντιστρέψιμος. Χρησιμοποιώντας την ανισότητα β 2 A 2 x 2, βλέπουμε ότι ( x(ε) x 2 κ 2 (A) ε F 2 + ε f ) 2 + O(ε 2 ), x 2 A 2 β 2 όπου ε F 2 A 2 και ε f 2 β 2 διάνυσμα β. είναι τα σχετικά σφάλματα στον πίνακα A και στο Ανάλυση Πινάκων 21 / 25

Δηλαδή, το σχετικό σφάλμα της λύσης x μπορεί να γίνει ίσο με k 2 (A) ϕορές το συνολικό σχετικό σφάλμα των A και β. Αυτό σημαίνει ότι ο βαθμός κατάστασης k 2 (A) ποσοτικοποιεί την ευαισθησία του συστήματος Ax = β. Οι πίνακες με σχετικά μικρό βαθμό κατάστασης ονομάζονται πίνακες καλής κατάστασης (well conditioned). Ανάλυση Πινάκων 22 / 25

Ο βαθμός κατάστασης του A ορίζεται για κάθε νόρμα με τον ίδιο τρόπο. Ετσι έχουμε κ 1 (A) = A 1 A 1 1, κ (A) = A A 1 κ.ο.κ. Επιπλέον, από την Πρόταση 5.2 (Κεφάλαιο 1) προκύπτουν οι ανισότητες και 1 ν κ 2(A) κ 1 (A) νκ 2 (A), 1 ν κ (A) κ 2 (A) νκ (A) 1 ν κ 1(A) κ (A) νκ 1 (A). Ανάλυση Πινάκων 23 / 25

Τέλος χωρίς απόδειξη, έχουμε το ακόλουθο αποτέλεσμα. Θεώρημα 3 Εστω ένα ν ν γραμμικό σύστημα και μία διαταραχή του, Ax = β ( A C ν ν, β C ν) (A + A)y = β + β, όπου x και y είναι οι αντίστοιχες λύσεις. Εστω ακόμη μία οποιαδήποτε νόρμα πίνακα που επάγεται από νόρμα διανύσματος, με αντίστοιχο βαθμό κατάστασης κ(a). Αν A ε A και β ε β, τότε ισχύει y x x 2εκ(A) 1 εκ(a). Ανάλυση Πινάκων 24 / 25

Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του διδάσκοντα. Το έργο «Ανοικτά Ακαδημαϊκά Μαθήματα» του ΕΜΠ έχει χρηματοδοτήσει μόνο την αναδιαμόρφωση του υλικού. Το έργο υλοποιείται στο πλαίσιο του Επιχειρησιακού Προγράμματος «Εκπαίδευση και Δια Βίου Μάθηση» και συγχρηματοδοτείται από την Ευρωπαϊκή Ενωση (Ευρωπαϊκό Κοινωνικό Ταμείο) και από εθνικούς πόρους.