SEEMOUS 2021/3
Συντονιστής: Demetres
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
SEEMOUS 2021/3
Έστω πίνακας τέτοιος ώστε , όπου με συμβολίζουμε τον Ερμιτιανό ανάστροφο (δηλαδή τον αναστροφοσυζυγή πίνακα) του .
(α) Να δείξετε ότι .
(β) Να δείξετε ότι οι μη μηδενικές ιδιοτιμές του έχουν μέτρο .
(α) Να δείξετε ότι .
(β) Να δείξετε ότι οι μη μηδενικές ιδιοτιμές του έχουν μέτρο .
Λέξεις Κλειδιά:
Re: SEEMOUS 2021/3
Για το 2ο, επειδή ο είναι projection, ισχύει ότι το φάσμα του είναι το . Άρα, αν
είναι μη μηδενική ιδιοτιμή του και ο είναι φυσιολογικός τότε το είναι μη-μηδενική πραγματική ιδιοτιμή του , οπότε
Σχόλιο Χρησιμοποιώντας φάσματα και συναρτησιακό λογισμό η παραπάνω άσκηση γενικεύεται σε οποιαδήποτε - άλγεβρα (by Iason Moutzouris).
είναι μη μηδενική ιδιοτιμή του και ο είναι φυσιολογικός τότε το είναι μη-μηδενική πραγματική ιδιοτιμή του , οπότε
Σχόλιο Χρησιμοποιώντας φάσματα και συναρτησιακό λογισμό η παραπάνω άσκηση γενικεύεται σε οποιαδήποτε - άλγεβρα (by Iason Moutzouris).
τελευταία επεξεργασία από BAGGP93 σε Δευ Αύγ 09, 2021 4:16 pm, έχει επεξεργασθεί 1 φορά συνολικά.
Παπαπέτρος Ευάγγελος
Re: SEEMOUS 2021/3
Νομίζω πως η παραπάνω απόδειξη δεν είναι πλήρης ως προς το α), εκτός αν έχω καταλάβει κάτι λάθος. Αυτό που αποδεικνύεται είναι μια ιδιότητα για τον που την έχουν όλοι οι Ερμιτιανοί πίνακες, και δεν συνεπάγεται πως είναι projection.
Ας δούμε μια άλλη προσέγγιση:
Οι πίνακες και είναι έχουν ίδια χαρακτηριστικά πολυώνυμα, άρα και τις ίδιες ακριβώς διαφορετικές ιδιοτιμές , στις ίδιες πολλαπλότητες, οι οποίες είναι μη αρνητικοί πραγματικοί αριθμοί (αφοί οι πίνακες αυτοί είναι Ερμιτιανοί και θετικά ορισμένοι). Ακόμα, οι πίνακες αυτοί ως Ερμιτιανοί είναι διαγωνοποιήσιμοι με ορθομοναδιαίες βάσεις ιδιοδιανυσμάτων, οπότε , όπου , οι ιδιόχωροι της ιδιοτιμής των πινάκων και αντίστοιχα. Επειδή οι αλγεβρικές πολλαπλότητες ταυτίζονται με τις γεωμετρικές σε διαγωνοποιήσιμους πίνακες και επειδή κάθε ιδιοτιμή έχει την ίδια πολλαπλότητα σε καθένα από τους δύο πίνακες, έχουμε ακόμα για κάθε .
Έστω τώρα και για κάποια . Πολλαπλασιάζοντας τη σχέση που δίνεται με από τα αριστερά και από τα δεξιά, παίρνουμε: . Επειδή τώρα οι ιδιοτιμές είναι θετικές και διαφορετικές για διαφορετικά και , εύκολα για κάθε υπάρχει το πολύ ένα ώστε να μπορούμε να έχουμε , και για κάθε υπάρχει το πολύ ένα ώστε να μπορούμε να έχουμε . Τα "το πολύ ένα" όμως παραπάνω είναι στην ουσία "ακριβώς ένα", καθώς κανένα μη μηδενικό στοιχείο δε μπορεί να είναι κάθετο σε όλα τα στοιχεία κάθε ιδιόχωρου σε ένα ευθύ άθροισμα που παράγει όλο το χώρο. Αυτό μας λέει ότι για κάθε έχουμε , οπότε εύκολα και
Στη συνέχεια, η είναι μια αναδιάταξη, οπότε αν για το τυχαίο πάρουμε με , από προηγούμενη σχέση έχουμε από όπου παίρνουμε , ενώ και στις 2 περιπτώσεις πρέπει να έχουμε . Απ' όλα αυτά προκύπτει πως οι 2 πίνακες είναι ίσοι (έχουν τις ίδιες ιδιοτιμές και τους ίδιους αντίστοιχους ιδιοχώρους).
Τώρα για το β) μπορούμε να χρησιμοποιήσουμε το α) για να γράψουμε τη σχέση που δίνεται ως , οπότε πολλαπλασιάζοντας με ένα ιδιοδιάνυσμα του από δεξιά και με από αριστερά, αν είναι η αντίστοιχη ιδιοτιμή παίρνουμε:
.
Όμως οπότε η παραπάνω δίνει:
δηλαδή που δίνει για .
Ας δούμε μια άλλη προσέγγιση:
Οι πίνακες και είναι έχουν ίδια χαρακτηριστικά πολυώνυμα, άρα και τις ίδιες ακριβώς διαφορετικές ιδιοτιμές , στις ίδιες πολλαπλότητες, οι οποίες είναι μη αρνητικοί πραγματικοί αριθμοί (αφοί οι πίνακες αυτοί είναι Ερμιτιανοί και θετικά ορισμένοι). Ακόμα, οι πίνακες αυτοί ως Ερμιτιανοί είναι διαγωνοποιήσιμοι με ορθομοναδιαίες βάσεις ιδιοδιανυσμάτων, οπότε , όπου , οι ιδιόχωροι της ιδιοτιμής των πινάκων και αντίστοιχα. Επειδή οι αλγεβρικές πολλαπλότητες ταυτίζονται με τις γεωμετρικές σε διαγωνοποιήσιμους πίνακες και επειδή κάθε ιδιοτιμή έχει την ίδια πολλαπλότητα σε καθένα από τους δύο πίνακες, έχουμε ακόμα για κάθε .
Έστω τώρα και για κάποια . Πολλαπλασιάζοντας τη σχέση που δίνεται με από τα αριστερά και από τα δεξιά, παίρνουμε: . Επειδή τώρα οι ιδιοτιμές είναι θετικές και διαφορετικές για διαφορετικά και , εύκολα για κάθε υπάρχει το πολύ ένα ώστε να μπορούμε να έχουμε , και για κάθε υπάρχει το πολύ ένα ώστε να μπορούμε να έχουμε . Τα "το πολύ ένα" όμως παραπάνω είναι στην ουσία "ακριβώς ένα", καθώς κανένα μη μηδενικό στοιχείο δε μπορεί να είναι κάθετο σε όλα τα στοιχεία κάθε ιδιόχωρου σε ένα ευθύ άθροισμα που παράγει όλο το χώρο. Αυτό μας λέει ότι για κάθε έχουμε , οπότε εύκολα και
Στη συνέχεια, η είναι μια αναδιάταξη, οπότε αν για το τυχαίο πάρουμε με , από προηγούμενη σχέση έχουμε από όπου παίρνουμε , ενώ και στις 2 περιπτώσεις πρέπει να έχουμε . Απ' όλα αυτά προκύπτει πως οι 2 πίνακες είναι ίσοι (έχουν τις ίδιες ιδιοτιμές και τους ίδιους αντίστοιχους ιδιοχώρους).
Τώρα για το β) μπορούμε να χρησιμοποιήσουμε το α) για να γράψουμε τη σχέση που δίνεται ως , οπότε πολλαπλασιάζοντας με ένα ιδιοδιάνυσμα του από δεξιά και με από αριστερά, αν είναι η αντίστοιχη ιδιοτιμή παίρνουμε:
.
Όμως οπότε η παραπάνω δίνει:
δηλαδή που δίνει για .
Κολλιοπουλος Νικος.
Μεταδιδακτορικός ερευνητής.
Ερευνητικά ενδιαφέροντα: Στοχαστικές ΜΔΕ, ασυμπτωτική ανάλυση στοχαστικών συστημάτων, εφαρμογές αυτών στα χρηματοοικονομικά και στη διαχείριση ρίσκων.
Μεταδιδακτορικός ερευνητής.
Ερευνητικά ενδιαφέροντα: Στοχαστικές ΜΔΕ, ασυμπτωτική ανάλυση στοχαστικών συστημάτων, εφαρμογές αυτών στα χρηματοοικονομικά και στη διαχείριση ρίσκων.
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 4 επισκέπτες