ΑΣΚΗΣΕΙΣ 7 ης ΕΒΔΟΜΑΔΑΣ

Σχετικά έγγραφα
ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Προτεινοµενες Ασκησεις - Φυλλαδιο 3

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 2

b. Για κάθε θετικό ακέραιο m και για κάθε A. , υπάρχουν άπειρα το πλήθος πολυώνυμα ( x) [ x] m και ( A) 0.

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

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

βαθμού 1 με A 2. Υπολογίστε τα χαρακτηριστικά και ελάχιστα πολυώνυμα των

A, και εξετάστε αν είναι διαγωνίσιμη.

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

{ } ΠΛΗ 12: ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΤΗ ΠΛΗΡΟΦΟΡΙΚΗ Ι 2 η ΓΡΑΠΤΗ ΕΡΓΑΣΙΑ. Απαντήσεις. 1. (15 µονάδες)

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 3

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

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

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

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

Ασκήσεις2 8. ; Αληθεύει ότι το (1, 0, 1, 2) είναι ιδιοδιάνυσμα της f ; b. Να βρεθούν οι ιδιοτιμές και τα ιδιοδιανύσματα της γραμμικής απεικόνισης 3 3

Θέµατα ( ικαιολογείστε πλήρως όλες τις απαντήσεις σας)

ΕΝΔΕΙΚΤΙΚΕΣ ΑΣΚΗΣΕΙΣ ΑΛΓΕΒΡΑ ΠΙΝΑΚΩΝ. (ii) Αν ο Β m+1, με m N, αντιστρέφεται, τότε και ο Β αντιστρέφεται

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

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

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

ΘΕΩΡΗΜΑ CAYLEY-HAMILTON. Έστω A πίνακας ν ν. Από το θεώρηµα Cayley-Hamilton συµπεραίνουµε ότι το σύνολο των πολυωνύµων p( λ ), ώστε p( A)

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ -ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ. Λύσεις των Θεμάτων της Εξέτασης Ιανουαρίου 2010 στο μάθημα: «Γραμμική Άλγεβρα» (ΗΥ119)

ΣΥΝΗΘΕΙΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ 6

Λύσεις και Υποδείξεις Επιλεγµένων Ασκήσεων

Εφαρμοσμένα Μαθηματικά ΙΙ Τελική Εξέταση 19/6/2018 Διδάσκων: Ι. Λυχναρόπουλος

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 9 Επαναληπτικες Ασκησεις

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

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

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

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

Ασκήσεις1 Πολυώνυμα. x x c. με το. b. Να βρεθούν όλες οι τιμές των a, Να βρεθεί ο μκδ και το εκπ τους

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΑΡΤΙΟΙ) Προτεινοµενες Ασκησεις - Φυλλαδιο 1

,..., v n. W πεπερασμένα παραγόμενοι και dimv. Τα ακόλουθα είναι ισοδύναμα f είναι ισομορφιμός. f είναι 1-1. f είναι επί.

ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ ΠΛΗΡΟΦΟΡΙΚΗΣ ΜΑΘΗΜΑΤΙΚΑ Ι ΕΡΓΑΣΙΑ 6 ΛΥΣΕΙΣ

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

Η ΚΑΝΟΝΙΚΗ ΜΟΡΦΗ JORDAN

Γραµµικη Αλγεβρα ΙΙ. Εκπαιδευτικο Υλικο Μαθηµατος

Ένα σύστημα γραμμικών διαφορικών εξισώσεων με σταθερούς πραγματικούς συντελεστές έχει την

Γεωµετρικη Θεωρια Ελεγχου

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

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

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

Ασκήσεις4 48. P AP τριγωνικό. Αφού δείξτε ότι ο A δεν είναι διαγωνίσιμος, βρείτε αντιστρέψιμο A 1 3 1

Παραδείγματα Ιδιοτιμές Ιδιοδιανύσματα

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 4

Γραμμική Άλγεβρα II. Ασκήσεις με Υποδείξεις - Απαντήσεις. Περιεχόμενα

Διαγωνοποίηση μητρών. Στοιχεία Γραμμικής Άλγεβρας

ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΚΑΙ ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ-ΦΕΒΡΟΥΑΡΙΟΣ 2004 Θέμα 1 ο. 4

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

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

Γραµµικη Αλγεβρα ΙΙ Ασκησεις - Φυλλαδιο 10

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

Σχόλιο. Κατασκευή των τροχιών της δισδιάστατης γραμμικής δυναμικής.

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ -ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ. Λύσεις των Θεμάτων της Εξέτασης Σεπτεμβρίου 2010 στο μάθημα: «Γραμμική Άλγεβρα» (ΗΥ119)

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

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

A B. (f; B) = f(x 1 ) = a 11 x 1 + a k1 x k + 0.x k x n f(x 2 ) = a 12 x 1 + a k2 x k + 0.x k x n

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

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

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

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

n = dim N (A) + dim R(A). dim V = dim ker L + dim im L.

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 1

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

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

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

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

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

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

Γραµµικη Αλγεβρα ΙΙ. Θεωρητικα Θεµατα

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

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 6

Kεφάλαιο 4. Συστήµατα διαφορικών εξισώσεων

5.1 Ιδιοτιµές και Ιδιοδιανύσµατα

ΛΥΣΕΙΣ 6 ης ΕΡΓΑΣΙΑΣ - ΠΛΗ 12,

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ - Τμήμα Επιστήμης Υπολογιστών

Εφαρμοσμένα Μαθηματικά ΙΙ 10ο Σετ Ασκήσεων (Λύσεις) Γραμμικοί Μετασχηματισμοί

Θέμα 1. με επαυξημένο 0 1 1/ 2. πίνακα. και κλιμακωτή μορφή αυτού

1. Για καθένα από τους ακόλουθους διανυσματικούς χώρους βρείτε μια βάση και τη διάσταση. 3. U x y z x y z x y. {(,, ) } a b. c d

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

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

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

ΕΛΛΗΝΙΚΗ ΗΜΟΚΡΑΤΙΑ ΕΛΛΗΝΙΚΟ ΑΝΟΙKΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

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

[ ] και το διάνυσµα των συντελεστών:

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

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

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

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 4

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 3

ΠΛΗ ΛΥΣΕΙΣ ΕΡΓ_2 ΣΕΛ. 1/11

Γραµµικη Αλγεβρα Ι. Ακαδηµαϊκο Ετος Βοηθος Ασκησεων: Χ. Ψαρουδάκης

Κεφάλαιο 4 Διανυσματικοί Χώροι

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 7

Transcript:

ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ Ακαδηµαϊκό έτος 5-6 ΜΑΘΗΜΑ ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ Καθηγητής: Σ Πνευµατικός ΑΣΚΗΣΕΙΣ 7 ης ΕΒΔΟΜΑΔΑΣ ΟΙ ΚΑΝΟΝΙΚΕΣ ΜΟΡΦΕΣ JORDAN Θεωρούµε ένα n-διάστατο διανυσµατικό χώρο E στο σώµα Κ = ή και συµβολίζουµε L(E) το σύνολο των Κ-γραµµικών απεικονίσεων (ενδοµορφισµών) του Ε στον εαυτό του Σηµείωση Αν L(E) και Sp( f ) = {,,λ } Κ µε αντίστοιχες πολλαπλότητες p,, p, τότε: (Χ) = ( ) n (Χ ) p (Χ λ ) p, m f (Χ) = (Χ ) p (Χ λ ) p, p i p i, i =,, Οι ρίζες του ελάχιστου πολυωνύµου είναι ακριβώς οι ρίζες του χαρακτηριστικού πολυωνύµου, δηλαδή οι ιδιοτιµές του ενδοµορφισµού, όµως όχι πάντα µε την ίδια πολλαπλότητα Ο ενδοµορφισµός διατηρεί αναλλοίωτους τους ιδιόχωρους και τους χαρακτηριστικούς χώρους κάθε ιδιοτιµής και κάθε ιδιόχωρος εγκλείεται στον αντίστοιχο χαρακτηριστικό χώρο χωρίς όµως να ταυτίζεται οπωσδήποτε µε αυτόν: E λi = Ker( f λ i id), N λi = Ker( f λ i id) p i, f (E λi ) E λi, f (N λi ) N λi, E λi N λi, i =,, Από το λήµµα διάσπασης του πυρήνα προκύπτει ότι ο χώρος Ε διασπάται σε ευθύ άθροισµα των χαρακτηριστικών χώρων: E = N λ i Η διάσπαση αυτή δεν ισχύει για τους ιδιόχωρους εκτός αν το ελάχιστο πολυώνυµο έχει όλες τις ρίζες του απλές στο Κ : i= m f (Χ) = (Χ )(Χ λ ) E = E λ i Η διάσπαση σε ιδιόχωρους σηµαίνει (και αντίστροφα) ότι υπάρχει βάση ιδιοδιανυσµάτων στο χώρο Ε και τότε, στη βάση αυτή, ο πίνακας του ενδοµορφισµού είναι διαγώνιος (και αντίστροφα) Αν η διαγωνιοποίηση δεν είναι εφικτή τότε τίθεται το ερώτηµα της ύπαρξης και κατασκευής µιας βάσης στην οποία ο πίνακας του ενδοµορφισµού αποκτά τριγωνική έκφραση Άσκηση Διαπιστώστε ότι ο πίνακας κάθε ενδοµορφισµού f L(E) µπορεί σε κατάλληλη βάση να αποκτήσει τριγωνική έκφραση στο αλλά όχι πάντα στο : i= = λ n Σηµείωση Στην διαγώνιο του τριγωνικού πίνακα εµφανίζονται οι ιδιοτιµές, δηλαδή οι n ρίζες που το χαρακτηριστικό πολυώνυµο (Θεώρηµα D Alembert) Η τριγωνοποίηση είναι εφικτή στο πραγµατικό πλαίσιο µόνο αν όλες οι ιδιοτιµές είναι πραγµατικές Η κατασκευή της βάσης στην οποία τριγωνοποιείται ο πίνακας γίνεται επαγωγικά στη διάσταση του χώρου Ε Συντάξτε την απόδειξη που θα δοθεί στο µάθηµα ή εκείνη που θα επιλέξετε από τη βιβλιογραφία και τριγωνοποιείστε κάποιους πίνακες της επιλογής σας στο µιγαδικό ή εφόσον είναι εφικτό στο πραγµατικό πλαίσιο - Αν f L(E) µε ιδιοτιµές,,λ n, διακριτές ή όχι, διαπιστώστε ότι: Tr( f ) = + + λ n και det( f ) = λ n

Λήµµα αναλλοίωτων υπόχωρων Αν f L(E) και E = E E µε f (E i ) E i, i =,,, τότε οι υπόχωροι E i διαθέτουν αντίστοιχες βάσεις B i, i =,,, τέτοιες ώστε στη βάση B = B,B ο πίνακας του ενδοµορφισµού εκφράζεται ως εξής: { } του E = M M M i = Μ( f E i ) Bi Σηµείωση Η απόδειξη δεν είναι δύσκολη και βασίζεται στο αναλλοίωτο των υπόχωρων που υπεισέρχονται στη διάσπαση του Ε - Διαπιστώστε ότι η συνθήκη f (E i ) E i είναι αναγκαία και ικανή για να οριστεί η απεικόνιση f E i : E i E i - Με τον τρόπο αυτό ορίζεται η προβολή pr i : E E i, i =,,, παράλληλα προς τον υπόχωρο E, j =,, j j i Θεώρηµα Αν f L(E) και Sp( f ) ={,,λ } Κ µε αντίστοιχες πολλαπλότητες p,, p, τότε οι χαρακτηριστικοί χώροι N λi B = B,B διαθέτουν αντίστοιχες βάσεις B i τέτοιες ώστε στη βάση { } του E ο πίνακας του ενδοµορφισµού εκφράζεται ως εξής: = λ λ λ i M i = = Μ( f N λi ) Bi λ i Σηµείωση Η απόδειξη δεν είναι δύσκολη και προκύπτει από το προηγούµενο λήµµα θέτοντας στην αποσύνθεση τους χαρακτηριστικούς χώρους του ενδοµορφισµού οι οποίοι όπως ξέρετε διατηρούνται αναλλοίωτοι Για κάθε i =,, ισχύει: N λi = Ker( f λ i id) p i ( f λ i id) p i (x) =, x N λ i (Χ λ i ) p i ( f i ) =, f i = f N λ i m fi (Χ) = (Χ λ i ) p, p p P i i fi (Χ) = ( ) p i (Χ λ ) p i, p p i i i Άρα το χαρακτηριστικό πολυώνυµο του περιορισµού f i = f N λi έχει τις ρίζες του στο Κ µια ρίζα λ i πολλαπλότητας p i οπότε ο πίνακάς του M i είναι διαγωνιοποιήσιµος στο Κ και στη διαγώνιο εµφανίζεται p i φορές η ιδιοτιµή λ i Αρκεί πλέον να διαπιστώσετε ότι p i = p i και αυτό προκύπτει µε έναν απλό υπολογισµό: (Χ) = det( M XI) det( M XI) = (Χ) (Χ) = ( ) n (Χ λ i ) p (Χ λ ) p αφού λάβετε υπόψη σας την έκφραση του χαρακτηριστικού πολυωνύµου του ενδοµορφισµού f : (Χ) = ( ) n (Χ λ i ) p (Χ λ ) p Προφανώς, το πλήθος των blocs που υπεισέρχονται στην έκφραση του τριγωνικού πίνακα που υποδεικνύει το θεώρηµα είναι ίδιο µε εκείνο των χαρακτηριστικών χώρων, δηλαδή µε το πλήθος των διαφορετικών ιδιοτιµών του ενδοµορφισµού και το µέγεθος κάθε bloc είναι ίδιο µε τη διάσταση του αντίστοιχου χαρακτηριστικού χώρου Στη διαγώνιο του πίνακα εµφανίζονται οι ιδιοτιµές, µιγαδικές ή πραγµατικές, του ενδοµορφισµού µε τις αντίστοιχες πολλαπλότητές τους Αποµένει να εξοικειωθείτε µε τη διαδικασία κατασκευής της κατάλληλης βάσης κάθε χαρακτηριστικού χώρου ώστε να συγκροτηθεί η βάση του Ε στην οποία ισχύει η τριγωνική έκφραση Άσκηση Εφαρµόστε το θεώρηµα στον ενδοµορφισµό που στην κανονική βάση ορίζεται ως εξής: =

Υπόδειξη Χαρακτηριστικό πολυώνυµο : (Χ) = Χ (Χ ) =, λ =, ν( ) = ν(λ ) = Το θεώρηµα υποδεικνύει την ύπαρξη βάσης B = v,v 3,v 4 { } του 4 στην οποία ο πίνακας του ενδοµορφισµού εκφράζεται ως εξής: = a b Ο προσδιορισµός αυτής της βάσης και ο υπολογισµός των σταθερών a και b είναι πλέον εύκολη διαδικασία: f (v ) = v f (v ) = av + v f (v 3 ) = f (v 4 ) = bv 3 M v = v ( M I)v = av M v 3 = M v 4 = bv 3 v = t [,,,] v = t [,,,] v 3 = t [,,,] v 4 = t [,,,] = - Παρατηρείστε ότι οι χαρακτηριστικοί χώροι είναι: N λ= = < v >, N λ= = < v 3,v 4 > και 4 = N λ= N λ= - Γιατί ο πίνακας αυτού του ενδοµορφισµού δεν είναι διαγωνιοποιήσιµος; Ποιοι είναι οι ιδιόχωροι και το ελάχιστο πολυώνυµο; - Πώς θα µπορούσατε να αξιοποιήσετε αυτό το θεώρηµα για τον υπολογισµό της m οστής δύναµης του πίνακα ; Υπόδειξη Σε ένα γενικό πλαίσιο, χρησιµοποιείστε την αλλαγή βάσης = P P και δείξτε ότι: λ λ m = m λ λ Αν δεν καταφέρατε να φτάσετε στο τελικό συµπέρασµα της συγκεκριµένης ερώτησης παρατηρείστε ότι: m λ i M i = Μ( f N i ) Bi = = λ i + λ i Για τον υπολογισµό του M m i = ( λ i I + J ) m, θα χρειαστείτε τον τύπο του διωνύµου: Α,Β M(n,n), ΑΒ = ΒΑ Α + Β ( ) n n = C n Α Β n = : M i = λ i I + J Για την ολοκλήρωση του υπολογισµού παρατηρείστε ότι το χαρακτηριστικό πολυώνυµο του J είναι P J (X) = ( ) n X n και το ελάχιστο πολυώνυµο m J (X) = X m όπου m n, και επειδή m J (J ) = θα ισχύει J m =, κλπ Σηµείωση Η κατασκευή της βάσης στην οποία ο πίνακας ενός ενδοµορφισµού αποκτά την τριγωνική έκφραση που υποδεικνύει το θεώρηµα είναι γενικά επαρκής για τις εφαρµογές Εντούτοις, µια τελευταία αναγωγή µπορεί να επιτευχθεί ώστε ο πίνακας να αποκτήσει την απλούστερη δυνατή έκφραση στην οποία υπεισέρχονται blocs Jordan, δηλαδή τετραγωνικοί πίνακες της µορφής: J(λ) = = λ λ + = λ I + J(), λ Κ - Πώς εκφράζεται ο ενδοµορφισµός f : n n που ο πίνακάς του στην κανονική βάση είναι τύπου Jordan; - Ποιος είναι ο πυρήνας, η εικόνα, το χαρακτηριστικό και το ελάχιστο πολυώνυµο αυτού του ενδοµορφισµού; - Ποιος είναι ο ιδιόχωρος και ο χαρακτηριστικός χώρος της ιδιοτιµής αυτού του ενδοµορφισµού; - Παρατηρείστε ότι ο πίνακας J() είναι µηδενοδύναµος, δηλαδή υπάρχει ν : J() ν = Υπόδειξη P J (λ) (X) = ( ) n (X λ) n, m J (λ) (X) = (X λ) n, dim E λ = 3

Λήµµα Jordan Αν f L(E) µε (Χ) = ( ) n (Χ λ) n, m f (Χ) = (Χ λ) m, dim E λ =, υπάρχει βάση B του E στην οποία ο πίνακάς του συγκροτείται από υποπίνακες τύπου Jordan ως εξής: = J (λ) J (λ) όπου J i (λ) =, i =,, λ Σηµείωση Ο ενδοµορφισµός αυτός προφανώς έχει µια µόνο ιδιοτιµή λ Κ πολλαπλότητας n, οπότε υπάρχει βάση στην οποία ο πίνακάς του είναι τριγωνικός µε επαναλαµβανόµενη αυτή την ιδιοτιµή στη διαγώνιό του που επιδέχεται την ακόλουθη αποσύνθεση: Μ( f ) B = λ λ = λ + Συµβολίζουµε αυτή την αποσύνθεση A = λ I + N ή αν προτιµάτε f = λid + u Ο ενδοµορφισµός u L(E) προφανώς είναι µηδενοδύναµος, δηλαδή υπάρχει p : u p = Επειδή ο πίνακας λ I του λid δεν επηρεάζεται από την επιλογή της βάσης, αρκεί για την απόδειξη του λήµµατος να επικεντρωθούµε στους µηδενοδύναµους ενδοµορφισµούς και να προσθέσουµε το λ I Η σηµαντική ιδιότητα κάθε µηδενοδύναµου ενδοµορφισµού u L(E) είναι η διάσπαση του χώρου Ε σε ευθύ άθροισµα αναλλοίωτων υπόχωρων και ότι ο περιορισµός του σε κάθε τέτοιον αναλλοίωτο υπόχωρο είναι κυκλικός ενδοµορφισµός Σχόλιο Στην περίπτωση του λήµµατος θα διαπιστώσουµε ότι η διάσταση του ιδιόχωρου της µοναδικής ιδιοτιµής του θεωρούµενου ενδοµορφισµού υποδεικνύει το πλήθος των blocs Jordan που θα υπεισέλθουν στον τελικό του πίνακα και αυτό οφείλεται στο ότι κάθε bloc Jordan έχει µοναδική ιδιοτιµή και µονοδιάστατο ιδιόχωρο Το µέγεθος του µεγαλύτερου bloc Jordan µέσα στον τελικό πίνακα του ενδοµορφισµού δηλώνεται από τον βαθµό m του ελάχιστου πολυωνύµου Αυτό γίνεται αντιληπτό στην απόδειξη του λήµµατος Παράδειγµα Έστω f L( 5 ) µε (Χ) = (Χ λ) 5 και m f (Χ) = (Χ λ) 3 Αν dim E λ = 3 ή αν dim E λ = τότε υπάρχει βάση B του E στην οποία ο πίνακας του ενδοµορφισµού θα εκφραστεί αντίστοιχα: = λ λ λ = λ λ - Εξετάστε αν σε αυτόν τον ενδοµορφισµό θα µπορούσε να εµφανιστεί η περίπτωση dim E λ = ή dim E λ = 4 ή dim E λ = 5 Σχόλιο για τους µηδενοδύναµους ενδοµορφισµούς Αν f L(E) είναι m-µηδενοδύναµος ενδοµορφισµός τότε: - Το χαρακτηριστικό και το ελάχιστο πολυώνυµό του είναι αντίστοιχα (X) = ( ) n X n και m f (X) = X m - Υπάρχει x E τέτοιο ώστε f ν (x) και τα διανύσµατα x, f (x),, f p (x) είναι γραµµικά ανεξάρτητα - Ο ενδοµορφισµός αφήνει αναλλοίωτο τον p-διάστατο διανυσµατικό υπόχωρο C f (x) = < x, f (x),, f p (x) > E - Ο περιορισµός του ενδοµορφισµού στον υπόχωρο C f (x) είναι p-µηδενοδύναµος - Ο περιορισµός αυτός εκφράζεται στη βάση B = { f p (x),, f (x),x} µε τον p p πίνακα: = Σηµείωση Στην περίπτωση m = n συγκροτείται η αντίστοιχη κυκλική βάση B = { f n (x),, f (x),x} του χώρου Ε - Αποδείξτε τις προαναφερόµενες ιδιότητες των µηδενοδύναµων ενδοµορφισµών και µε τη συµβολή της βιβλιογραφίας επιχειρείστε να ολοκληρώσετε την απόδειξη του λήµµατος Jordan Άσκηση 3 Προσδιορίστε τη µορφή Jordan του ενδοµορφισµού f L( 3 ) που στην κανονική βάση εκφράζεται µε τον πίνακα: = = Α 4

Υπόδειξη Χαρακτηριστικό πολυώνυµο : (Χ) = (Χ ) 3 λ =, ν(λ) = 3 (περίπτωση λήµµατος Jordan) Ιδιόχωρος E λ = Ker( f λid) = < (,,) > dim E λ = ένα bloc Jordan Χαρακτηριστικός χώρος N λ = Ker( f λid) 3 = 3 (Cayley-Hamilton: ( f ) = ( f λid) 3 = N λ = 3 ) Ελάχιστο πολυώνυµο : m f (Χ) = ; Λήµµα Jordan υπάρχει βάση B του 3 στην οποία ο πίνακας του ενδοµορφισµού εκφράζεται ως εξής: = Πώς κατασκευάζεται αυτή η βάση B = {v,v 3 } ; Αναζητούµε αυτά τα διανύσµατα έτσι ώστε: Αv = v, Αv = v + v, Αv 3 = v + v 3 Συνεπώς, το διάνυσµα v ανήκει στον ιδιόχωρο E λ = < (,,) >, δηλαδή στη διανυσµατική ευθεία που στο ευκλείδειο σύστηµα = Β συντεταγµένων ορίζεται από τις εξισώσεις y =, x = z Το διάνυσµα v = (x, y,z) ορίζεται από τις εξισώσεις x y = + x, x z = y, x + z = + z, δηλαδή από τις εξισώσεις y =, x z = Επιλέγουµε λοιπόν v = (,,) και v = (,,) Το διάνυσµα v 3 = (x, y,z) ορίζεται από τις εξισώσεις x y = x, x z = y, x + z = z, δηλαδή από τις εξισώσεις y =, x = z και επιλέγουµε v 3 = (,,) Καθορίζεται έτσι ο ακόλουθος πίνακας µετάβασης P που είναι αντιστρέψιµος και πληροί τη συνθήκη Α = PΒP Β = P ΑP : P = Εφαρµογή Υπολογίστε τις λύσεις του συστήµατος των γραµµικών διαφορικών εξισώσεων: dx = x y, dy = x z, dz = x + z Θεώρηµα Jordan Αν f L(E) µε ιδιοτιµές,,λ Κ αντίστοιχης πολλαπλότητας p,, p : (Χ) = ( ) n (Χ ) p (Χ λ ) p, ( λ i λ j, p + + p = n ), τότε υπάρχει βάση B του E στην οποία ο πίνακας του ενδοµορφισµού f εκφράζεται ως εξής: = J ( ) J (λ ) όπου οι πίνακες J ( ),, J (λ ) έχουν αντίστοιχες διαστάσεις p,, p και δίνονται από το λήµµα Jordan: J (λ i ) = J (λ i ) J i (λ i ) Σηµείωση Η απόδειξη του θεωρήµατος βασίζεται στη διάσπαση του χώρου Ε σε ευθύ άθροισµα των χαρακτηριστικών χώρων και στην απευθείας εφαρµογή για κάθε χαρακτηριστικό χώρο του λήµµατος Jordan Άσκηση 4 Προσδιορίστε τη µορφή Jordan του ενδοµορφισµού f L( 3 ) που στην κανονική βάση εκφράζεται µε τον πίνακα: 3 4 = 3 = Α 3 5

Υπόδειξη (Χ) = (Χ +)(Χ ) =, λ =, ν( ) =, ν(λ ) = (εφαρµογή θεωρήµατος Jordan) Ιδιόχωροι: E λ = Ker( f id) = < (,, ) > dim E λ =, E λ = Ker( f λ id) = < (,, ) > dim E λ = Ελάχιστο πολυώνυµο: m f (Χ) = (Χ +)(Χ ) Χαρακτηριστικοί χώροι: N λ = Ker( f id) = E λ, N λ = Ker( f λ id) = {(x, y,z) 3 / x + z = } Θεώρηµα Jordan υπάρχει βάση B του 3 στην οποία ο πίνακας του ενδοµορφισµού εκφράζεται ως εξής: = = Β Για την κατασκευή της βάσης B = {v,v 3 } αναζητούµε τα διανύσµατα έτσι ώστε: Αv = v, Αv = v, Αv 3 = v + v 3 Τα ιδιοδιανύσµατα v = (,, ) και v = (,, ) ανταποκρίνονται και συµπληρώνονται µε το διάνυσµα v 3 = (x, y,z) N λ που πληροί τη συνθήκη Αv 3 = v + v 3, δηλαδή την εξίσωση y + z = και επιλέγουµε v 3 = (,,) Καθορίζεται έτσι ο ακόλουθος πίνακας µετάβασης P που είναι αντιστρέψιµος και πληροί τη συνθήκη Α = PΒP Β = P ΑP : P = P = Εφαρµογή Υπολογίστε τις λύσεις του συστήµατος των γραµµικών διαφορικών εξισώσεων: dx dy = 3x + y + 4z, dz = x + 3y z, = x y 3z Άσκηση 5 Προσδιορίστε τη µορφή Jordan του ενδοµορφισµού f L( 3 ) που στην κανονική βάση εκφράζεται µε τον πίνακα: 3 = 5 = Α 4 Εφαρµογή Υπολογίστε τις λύσεις του συστήµατος των γραµµικών διαφορικών εξισώσεων: dx dy = 3x + y z, dz = x + 5z, = x y + 4z Απάντηση = Άσκηση 6 Θεωρούµε έναν ενδοµορφισµό f L( 4 ) του οποίου ο πίνακας στην κανονική βάση είναι: Α = α 3 4 α 4 Για τις διάφορες τιµές της παραµέτρου α προσδιορίστε την αντίστοιχη κανονική µορφή Jordan Εφαρµογή: Υπολογίστε τις λύσεις του συστήµατος των γραµµικών διαφορικών εξισώσεων: X(t) = A(α)X(t) Υπόδειξη (Χ) = (Χ ) 4 λ =, ν(λ) = 4 (περίπτωση λήµµατος Jordan), m f (Χ) = (Χ ) E λ = Ker( f λid) = {(x,x,x 3,x 4 ) 4 / αy =, x + x + x 3 + x 4 = } dim E = 3 αν α = 3 blocs jordan λ dim E λ = αν α blocs jordan 6

α = J = J = P AP, P = α J = J = P AP, P = / α / α Άσκηση 7 Προσδιορίστε τη µορφή Jordan των ενδοµορφισµών που στην κανονική βάση εκφράζονται αντίστοιχα µε τους πίνακες: 3 3 4 3 3 3 6 3 7 Άσκηση 8 Θεωρούµε τον διανυσµατικό χώρο E = {ax + bx + c / a,b,c K} και τον ενδοµορφισµό: f : E E, f (P) = P P Προσδιορίστε τη βάση Jordan και τον πίνακα αυτού του ενδοµορφισµού σε αυτή τη βάση του Ε Απάντηση = Άσκηση 9 Ποιες είναι οι ενδεχόµενες κανονικές µορφές Jordan ενός ενδοµορφισµού f L( 6 ) για τον οποίο γνωρίζουµε µόνο το χαρακτηριστικό και το ελάχιστο πολυώνυµο: (Χ) = (Χ ) 4 (Χ ), m f (Χ) = (Χ ) (Χ ) Απάντηση 7