IMC 1996/1/3

Συντονιστής: Demetres

Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 8587
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

IMC 1996/1/3

#1

Μη αναγνωσμένη δημοσίευση από Demetres » Δευ Απρ 23, 2012 3:47 pm

Έστω n φυσικός και V διανυσματικός χώρος διάστασης n.
(α) Να αποδειχθεί ότι για κάθε ενέλιξη A στον V, υπάρχει βάση του V που αποτελείται από ιδιοδιανύσματα του A.
(β) Να βρεθεί ο μέγιστος αριθμός διακεκριμένων ενελίξεων οι οποίες ανά δύο αντιμετατίθενται.

[Ένας γραμμικός τελεστής A στον V ονομάζεται ενέλιξη αν ο A^2 είναι ο ταυτοτικός τελεστής.]


Άβαταρ μέλους
Nick1990
Δημοσιεύσεις: 659
Εγγραφή: Παρ Ιαν 23, 2009 3:15 pm
Τοποθεσία: Peking University, Πεκίνο

Re: IMC 1996/1/3

#2

Μη αναγνωσμένη δημοσίευση από Nick1990 » Δευ Απρ 23, 2012 6:33 pm

a) Αν A^2 = I, τότε το ελάχιστο πολυώνυμο του A διαιρεί το x^2 - 1, άρα δεν έχει πολλαπλές ρίζες και άρα ο A διαγωνοποιείται. Είναι γνωστό ότι κάθε πίνακας που διαγωνοποιείται έχει σύνολο ιδιοδιανυσμάτων που είναι βάση του χώρου, και το ζητούμενο έπεται.

b) Δείχνουμε πρώτα το παρακάτω (γνωστό πλέον) λήμμα:

Οι διαγωνοποιήσιμοι πίνακες A,B ικανοποιούν τη σχέση AB = BA αν και μόνο αν διαγωνοποιούνται με κοινό πίνακα ιδιοδιανυσμάτων.

Απόδειξη:

Το "αν" είναι τετριμένο. Για το "μόνο αν", παρατηρούμε ότι η σχέση AB = BA μας λέει ότι κάθε ιδιόχωρος του A είναι B-αναλλοίωτος και κάθε ιδιόχωρος του B είναι A-αναλλοίωτος. Έστω x_1, x_2, ..., x_n γραμμικά ανεξάρτητα ιδιοδιανύσματα του A, τότε αν B_1, B_2, ..., B_k είναι οι ιδιόχωροι του B, από τη διαγωνισιμότητα του B, έχουμε ότι υπάρχουν μοναδικά y_{i,j} \in B_j \forall (i,j) \in \{1,2,... , n\} \times \{1,2,..., k\} ώστε x_i = y_{i,1} + ... + y_{i,k} \forall i \in \{1,2,..., n\}. Πολλαπλασιάζοντας με A κάθε τέτοια εξίσωση, έχουμε ότι για κάθε i \in \{1,2,..., n\}, υπάρχει \lambda_{i} με \lambda_ix_i = Ax_i = Ay_{i,1} + ... + Ay_{i,k}, με τα Ay_{i,m} \in B_m \forall m \in \{1,2,..., k\}, και από τη σχέση R^n = B_1 \oplus B_2 \oplus ... \oplus B_k, πρέπει Ay_{i,m} = \lambda_iy_{i,m} \forall (m,i) \in \{1,2,...,k\} \times \{1,2,..., n\}, που σημαίνει ότι τα y_{i,m} είναι όλα ιδιοδιανύσματα και του A. Επίσης τα διανύσματα αυτά παράγουν το χώρο διότι παράγουν τη βάση \{x_1, ..., x_n\}. Διαγράφοντας από αυτά μερικά μέχρι αυτά που θα μείνουν να είναι γραμμικά ανεξάρτητα, παίρνουμε τη ζητούμενη βάση.

Επαγωγικά μπορούμε να δείξουμε ότι αν m πίνακες μετατίθενται ανα 2, τότε υπάρχει κοινή βάση ιδιοδιανυσμάτων όλων. Η περίπτωση m=2 είναι το παραπάνω λήμμα, ενώ το επαγωγικό βήμα είναι μια απλή τροποποίηση της παραπάνω απόδειξης (παίρνουμε τα x_i να είναι ιδιοδιανύσματα όλων εκτός του τελευταίου, και μετά αντί να πολλαπλασιάσουμε τη σχέση με A, την πολλαπλασιάζουμε με όλους τους πίνακες εκτός του τελευταίου και χρησιμοποιούμε το ότι όλοι αυτοί κρατάνε αναλλοίωτους τους ιδιόχωρους του τελευταίου).

Πίσω στην άσκηση:

Αν X_1, X_2, ..., X_m είναι τέτοιοι πίνακες, διαφορετικοί ανα δύο, τότε αφού ο πίνακας που τους διαγωνοποιεί είναι ο ίδιος, ανα δύο θα έχουν διαφορετικές διαγώνιες μορφές με ιδιοτιμές στο σύνολο \{-1, 1\}. Όλες οι δυνατές διαγώνιες μορφές με ιδιοτιμές στο \{-1, 1\} είναι 2^n το πλήθος. Άρα m \leq 2^n. Οι 2^n διαφορετικές διαγώνιες μορφές με ιδιοτιμές στο \{-1, 1\} μας κάνουν, άρα το μέγιστο είναι 2^n.
τελευταία επεξεργασία από Nick1990 σε Τρί Απρ 24, 2012 6:10 pm, έχει επεξεργασθεί 5 φορές συνολικά.


Κολλιοπουλος Νικος.
Μεταδιδακτορικός ερευνητής.
Ερευνητικά ενδιαφέροντα: Στοχαστικές ΜΔΕ, ασυμπτωτική ανάλυση στοχαστικών συστημάτων, εφαρμογές αυτών στα χρηματοοικονομικά και στη διαχείριση ρίσκων.
kwstas12345
Δημοσιεύσεις: 1055
Εγγραφή: Δευ Ιαν 11, 2010 2:12 pm

Re: IMC 1996/1/3

#3

Μη αναγνωσμένη δημοσίευση από kwstas12345 » Δευ Απρ 23, 2012 6:39 pm

Το πρώτο ερώτημα είναι αρκετά απλό αφού ο τελεστής ικανοποιεί την σχέση: \displaystyle A^2 =1_{V} \Rightarrow m_{A}\left(x \right)|x^2-1.Σε κάθε περίπτωση το ελάχιστο πολυώνυμο είναι της μορφής \displaystyle \left(x-1 \right)\left(x+1 \right),x-1, x+1, άρα πάντα γινόμενο διακεκριμένων όρων, συνεπώς ο A διαγωνοποιείται και άρα υπάρχει μια βάση του V η οποία αποτελείται από ιδιοδιανύσματα του A.

Θα δείξουμε τώρα ότι αν \displaystyle A,B \in \mathcal{L}\left(V \right):AB=BA τότε υπάρχει μια βάση \displaystyle \mathcal{B} του V από ιδιοδιανύσματα των A,B.

Έστω \displaystyle \left\{l_{1}, l_{2},...,l_{k} \right\} διακεκριμένες ιδιοτιμές τoυ A. Tότε \displaystyle V=V\left(l_{1} \right)\oplus V\left(l_{2} \right)\oplus ...\oplus V\left(l_{k} \right).Παρατηρούμε ότι οι \displaystyle V\left(l_{i} \right) είναι B αναλλοίωτοι, άρα η \displaystyle B:V\left(l_{i} \right)\rightarrow V\left(l_{i} \right) είναι διαγωνίσιμη.

Άρα υπάρχει μια βάση \displaystyle \mathcal{B}_{i} από ιδιοδιανύσματα της B (περιορισμένη).Άρα η \displaystyle \mathcal{B}=\bigcup_{i=1}^{k}{\mathcal{B}_{i}} είναι μια βάση του V με ιδιοδιανύσματα της B και φυσικά της A.

Yποθέτουμε ότι άν έχουμε n γραμμικούς ,διαγωνίσιμους τελεστές \displaystyle A_{i} \in \mathcal{L}\left(W \right) οι οποίοι μετατίθενται ανά 2, τότε υπάρχει μια βάση του \displaystyle W από κοινά ιδιοδιανυσματά τους.

Θα το δείξουμε για n+1., αφού ο A_{n+1} είναι διαγωνίσιμος τότε \displaystyle V=V\left(l_{1} \right)\oplus V\left(l_{2} \right)\oplus...\oplus V\left(l_{k} \right) με \displaystyle \left\{l_{1}, l_{2},...,l_{k} \right\} διακεκριμένες ιδιοτιμές τoυ A_{n+1}. Παρατηρούμε ότι ο \displaystyle V\left(l_{j} \right) είναι A_{i} αναλλοίωτος υπόχωρος.

Άρα οι περιορισμοί των υπολοίπων n τελεστών είναι διαγωνίσιμοι, και επειδή μετατίθενται από την επαγωγική υπόθεση για τον \displaystyle V(l_{j}) διανυσματικό χώρο , (και για γραμμικούς τελεστές τους περιορισμούς) θα υπάρχει μια βάση \displaystyle \mathcal{B}_{j} του \displaystyle V(l_{j}) από ιδιοδιανύσματα των \displaystyle A_{1},A_{2},...,A_{n},

άρα η \displaystyle \bigcup_{j=1}^{k}{B_{j}} είναι μια βάση του W από ιδιοδιανύσματα των πρώτων ν τελεστών και φυσικά του ν+1 τελεστή.Αυτό ολοκληρώνει την επαγωγή.

Άρα έστω ότι έχουμε \displaystyle A_{1},A_{2},...,A_{s} ενελίξεις στον V, οι οποίες είναι διαγωνίσιμες, και μετατίθενται ανα δύο.Προφανώς υπάρχει μια βάση \displaystyle \mathcal{B} από ιδιοδιανύσματα των τελεστών.

Άρα οι πίνακες ως πρόν αυτή την βάση είναι διαγώνιοι πίνακες με \displaystyle a_{ii} \in \left\{-1,1 \right\} διαστασης n.Tότε προφανώς ο μέγιστος αριθμός τελεστών που μπορούμε να έχουμε είναι 2^n όσοι και οι διαφορετικοί τρόποι να βάλουμε \displaystyle 1,-1 στις n διαγώνιες θέσεις του πίνακα ως πρός την \mathcal{B}.

Eλπίζω να μην χάνει κάπου η απόδειξη.


Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 8587
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: IMC 1996/1/3

#4

Μη αναγνωσμένη δημοσίευση από Demetres » Δευ Απρ 23, 2012 8:03 pm

Να προσθέσω ότι αν έχουμε ένα οποιοδήποτε σύνολο S (ακόμη και άπειρο) διαγωνοποιήσιμων πινάκων που αντιμετατίθενται ανά δύο τότε είναι ταυτόχρονα διαγωνοποιήσιμοι.

Για την απόδειξη, έστω V ο διανυσματικός χώρος των n \times n πινάκων και έστω U ο υποχώρος που γεννάται από το S. Παίρνουμε μια βάση \mathcal{B} του U, παρατηρούμε ότι είναι πεπερασμένη (αφού ο V έχει διάσταση n^2) και ότι ανά δύο τα στοιχεία της \mathcal{B} αντιμετατίθενται. Άρα από αυτό που ήδη αποδείχθηκε από τον Νίκο και Κώστα οι πίνακες της \mathcal{B} είναι ταυτόχρονα διαγωνοποιήσιμοι και επεκτείνοντας γραμμικά το ίδιο ισχύει και για τους πίνακες του S.


Απάντηση

Επιστροφή σε “Διαγωνισμοί για φοιτητές”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 2 επισκέπτες