Σελίδα 1 από 1

Ευθύ Άθροισμα

Δημοσιεύτηκε: Σάβ Ιαν 06, 2024 4:09 pm
από stelmarg
Μια ακόμα απορία:

Έστω ο διανυσματικός χώρος Pn(R) του n*n πινάκων επί του R και U το σύνολο των συμμετρικών n*n πινάκων , ενώ V το σύνολο των αντισυμμετρικών n*n πινάκων.
(i) Να δείξετε ότι οι U και V είναι υπόχωροι του Pn(R)
(ii) Δείξε ότι Pn(R)=U \bigoplus V

Re: Ευθύ Άθροισμα

Δημοσιεύτηκε: Σάβ Ιαν 06, 2024 5:24 pm
από Mihalis_Lambrou
stelmarg έγραψε: Σάβ Ιαν 06, 2024 4:09 pm Μια ακόμα απορία:

Έστω ο διανυσματικός χώρος Pn(R) του n*n πινάκων επί του R και U το σύνολο των συμμετρικών n*n πινάκων , ενώ V το σύνολο των αντισυμμετρικών n*n πινάκων.
(i) Να δείξετε ότι οι U και V είναι υπόχωροι του Pn(R)
(ii) Δείξε ότι Pn(R)=U \bigoplus V
Μόνο υπόδειξη γιατί και τα δύο είναι πολύ απλά και θα έπρεπε να μπορείς να τα κάνεις μόνος σου.

ι) \displaystyle{ (\lambda A + \mu B)^T = \lambda A ^T+ \mu B ^T}

ii)  A = \dfrac {1}{2} (A+A^T) + \dfrac {1}{2} (A-A^T) (προσπάθησε όμως να δεις πώς σκέφτηκα για να βρω την συγκεκριμένη διάσπαση του A)

Re: Ευθύ Άθροισμα

Δημοσιεύτηκε: Δευ Ιαν 08, 2024 2:33 pm
από stelmarg
Ναι κύριε Μιχάλη το κατάλαβα ευχαριστώ!!
γιατί ο \frac{1}{2}(A+A^t)είναι συμμετρικός πίνακας ενώ ο \frac{1}{2}(A-A^t) είναι αντισυμμετρικός πίνακας

Re: Ευθύ Άθροισμα

Δημοσιεύτηκε: Δευ Ιαν 08, 2024 6:44 pm
από Mihalis_Lambrou
stelmarg έγραψε: Δευ Ιαν 08, 2024 2:33 pm Ναι κύριε Μιχάλη το κατάλαβα ευχαριστώ!!
γιατί ο \frac{1}{2}(A+A^t)είναι συμμετρικός πίνακας ενώ ο \frac{1}{2}(A-A^t) είναι αντισυμμετρικός πίνακας
Αυτό που εννοούσα δεν είναι ο έλεγχος ότι οι συγκεκριμένοι πίνακες κάνουν την δουλειά, αλλά πώς τους σκεφτήκαμε.

Ας το δούμε, αν και απλό.

Θέλουμε λοιπόν για δεδομένο A να βρούμε X συμμετρικό και Y αντισυμμετρικό (δηλαδή X^T=X, \, Y^T=-Y) με A=X+Y,\, (*).

Από την (*) έχουμε A^T=(X+Y)^T=X^T+Y^T=X-Y, \, (**).

Με προσθαφαίρεση των (*), (**) έπεται  X= \dfrac{1}{2}(A+A^T), \,  Y= \dfrac{1}{2}(A-A^T), που είναι αυτά που έγραψα.

Re: Ευθύ Άθροισμα

Δημοσιεύτηκε: Δευ Ιαν 08, 2024 8:13 pm
από BAGGP93
plus: ο μόνος πίνακας που είναι ταυτόχρονα συμμετρικός και αντισυμμετρικός είναι ο μηδενικός (για να δικαιολογηθεί το "ευθύ").