Μια με ίχνος πίνακα

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

Άβαταρ μέλους
pito
Δημοσιεύσεις: 1771
Εγγραφή: Τρί Μάιος 18, 2010 10:41 pm
Τοποθεσία: mathematica

Μια με ίχνος πίνακα

#1

Μη αναγνωσμένη δημοσίευση από pito » Παρ Ιουν 21, 2013 10:00 am

Έστω ο A ένας πίνακας 2x2. Να δείξετε ότι υπάρχουν 2 πίνακες B,C 2x2 τέτοιοι ώστε A=BC-CB αν και μόνο αν το ίχνος του πίνακα A είναι μηδέν.


1. Δεν διδάσκουμε με αυτό που λέμε και κάνουμε. Διδάσκουμε με αυτό που είμαστε.
2. Ο μέτριος δάσκαλος περιγράφει. Ο καλός δάσκαλος εξηγεί. Ο σωστός δάσκαλος αποδεικνύει. Ο σπουδαίος δάσκαλος εμπνέει. ( Γουίλιαμ Γουάρντ)
Άβαταρ μέλους
chris_gatos
Επιμελητής
Δημοσιεύσεις: 6970
Εγγραφή: Κυρ Δεκ 21, 2008 9:03 pm
Τοποθεσία: Ανθούπολη

Re: Μια με ίχνος πίνακα

#2

Μη αναγνωσμένη δημοσίευση από chris_gatos » Παρ Ιουν 21, 2013 10:42 am

Καλημέρα Μυρτώ. Νομίζω κλασσική άσκηση γρ. άλγεβρας.

ΕΔΩ υπάρχει μία
εκτεταμένη ανάλυση της πρότασης από τον Νίκο.


Χρήστος Κυριαζής
Άβαταρ μέλους
pito
Δημοσιεύσεις: 1771
Εγγραφή: Τρί Μάιος 18, 2010 10:41 pm
Τοποθεσία: mathematica

Re: Μια με ίχνος πίνακα

#3

Μη αναγνωσμένη δημοσίευση από pito » Δευ Ιουν 24, 2013 5:52 pm

Κύριε Χρήστο σας ευχαριστώ για την απάντηση, θα μελετήσω την λύση του κ.Νίκου.


1. Δεν διδάσκουμε με αυτό που λέμε και κάνουμε. Διδάσκουμε με αυτό που είμαστε.
2. Ο μέτριος δάσκαλος περιγράφει. Ο καλός δάσκαλος εξηγεί. Ο σωστός δάσκαλος αποδεικνύει. Ο σπουδαίος δάσκαλος εμπνέει. ( Γουίλιαμ Γουάρντ)
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18255
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Μια με ίχνος πίνακα

#4

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Τρί Ιουν 25, 2013 7:56 pm

Τα παραπάνω μου θύμισαν μια ωραία άσκηση που συνάντησα στα φοιτητικά μου χρόνια:

α) Στις πεπερασμένες διαστάσεις, ας πούμε στον \mathbb R^n, δείξτε ότι δεν υπάρχουν πίνακες A, B με \displaystyle{AB-BA=I} (ο ταυτοτικός).

Γενικότερα,

β) (Για επίπεδο ΑΕΙ). Σε χώρους Banach δείξτε ότι δεν υπάρχουν συνεχείς γραμμικές απεικονίσεις A, B με \displaystyle{AB-BA=I} (ο ταυτοτικός).

γ) (Για επίπεδο ΑΕΙ). Βρείτε διανυσματικό χώρο και γραμμικές απεικονίσεις A, B σε αυτόν με \displaystyle{AB-BA=I} (ο ταυτοτικός).

Φιλικά,

Μιχάλης


Bern
Δημοσιεύσεις: 45
Εγγραφή: Κυρ Απρ 07, 2013 12:26 am

Re: Μια με ίχνος πίνακα

#5

Μη αναγνωσμένη δημοσίευση από Bern » Δευ Αύγ 19, 2013 2:08 am

Για το (β) απευθείας και το (α) έπεται. Δείχνεις ότι κατ' ανάγκην ένας από τους δυο είναι μη φραγμένος. Πρώτα βλέπεις (επαγωγικά) ότι είναι A^nB-BA^n=nA^{n-1}. Αυτό δείχνει ότι o A δεν είναι μηδενοδύναμος. Τώρα, αν υποθέσεις ότι οι A,B είναι φραγμένοι έχεις:

n\|A^{n-1}\|\leq \|A^nB\|+\|BA^n\|\leq \|A^{n-1}\|\cdot \|AB\|+\|BA\|\cdot \|A^{n-1}\|.

Τελικά παίρνεις ότι n\leq \|AB\|+\|BA\|\Rightarrow n/2\leq \|A\|\cdot \|B\| για όλα τα n, άτοπο.

Για το (γ) πάρε χώρο τον c_{00}, A τον τελεστή της αριστερά μετατόπισης και Be_n=ne_{n+1}.


Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18255
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Μια με ίχνος πίνακα

#6

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Δευ Αύγ 19, 2013 10:49 am

Ωραία.

Ένας γρήγορος και κλασικός τρόπος για το α) είναι να πούμε: Αν AB-BA=I τότε n=tr (I)= tr (AB-BA) = tr(AB)-tr(BA)=0, άτοπο.

Μ.


Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18255
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Μια με ίχνος πίνακα

#7

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Δευ Αύγ 19, 2013 4:52 pm

Bern έγραψε: Για το (γ) πάρε χώρο τον c_{00}, A τον τελεστή της αριστερά μετατόπισης και Be_n=ne_{n+1}.
Άλλος τρόπος για το γ) (με συγγένεια στον παραπάνω) είναι:

Στον χώρο των πολυωνύμων πραγματικής μεταβλητής θέτουμε \displaystyle{Ap = p{'}} (η παράγωγος) και \displaystyle{(Bp)(t) = tp(t)}. Τότε

\displaystyle{ ((AB-BA)p) (t) = (tp(t)){'}- tp{'}(t)= p(t)}, δηλαδή \displaystyle{ (AB-BA)p =p} , όπως θέλαμε.

Φιλικά,

Μιχάλης.


Απάντηση

Επιστροφή σε “ΑΛΓΕΒΡΑ”

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

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