Συνάρτηση

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

Σπύρος98
Δημοσιεύσεις: 15
Εγγραφή: Δευ Οκτ 17, 2016 9:11 pm

Συνάρτηση

#1

Μη αναγνωσμένη δημοσίευση από Σπύρος98 » Κυρ Ιαν 15, 2017 5:05 pm

Καλησπέρα. Ψάχνοντας έπεσα πάνω σε μία άσκηση του ανοιχτού πανεπιστημίου. Θα ήθελα να ρωτήσω μπορεί να ισχύει κάτι τέτοιο;

Έστω η απεικόνιση T:\mathbb{F}^{n}\rightarrow \mathbb{F}^{n}, n\geq 2, ώστε για κάθε \displaystyle \left ( x_{1},x_{2},\ldots, x_{n} \right )\in \mathbb{F}^{n}, ισχύει:
\displaystyle{\displaystyle T\left ( x_{1},x_{2},\ldots ,x_{n-1},x_{n} \right )=\left ( x_{1},x_{1}+x_{2},\ldots ,\sum_{i=1}^{n-1}x_{i},\sum_{i=1}^{n}x_{i} \right )} Να εξετάσετε αν η T είναι γραμμική απεικόνιση.



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

Re: Συνάρτηση

#2

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Κυρ Ιαν 15, 2017 5:20 pm

Σπύρος98 έγραψε: Έστω η απεικόνιση T:\mathbb{F}^{n}\rightarrow \mathbb{F}^{n}, n\geq 2, ώστε για κάθε \displaystyle \left ( x_{1},x_{2},\ldots, x_{n} \right )\in \mathbb{F}^{n}, ισχύει:
\displaystyle{\displaystyle T\left ( x_{1},x_{2},\ldots ,x_{n-1},x_{n} \right )=\left ( x_{1},x_{1}+x_{2},\ldots ,\sum_{i=1}^{n-1}x_{i},\sum_{i=1}^{n}x_{i} \right )} Να εξετάσετε αν η T είναι γραμμική απεικόνιση.
Ναι ισχύει και είναι πολύ απλό στην απόδειξή του.

Πρέπει εξ ορισμού να δείξεις

\displaystyle{ T \left ( x_{1}+ y_{1} ,x_{2}+ y_{2},\ldots, x_{n} + y_{n}\right ) =T \left ( x_{1} ,x_{2},\ldots, x_{n} \right ) + T \left ( y_{1} ,y_{2},\ldots, y_{n} \right )} και

\displaystyle{ T \left ( ax_{1} ,ax_{2},\ldots, ax_{n} \right)   =aT \left ( x_{1} ,x_{2},\ldots, x_{n} \right ) }

Και τα δύο είναι άμεσα αν αντικαταστήσεις τα T με τον ορισμό τους.

Το αφήνω να το δεις, ώστε να συνηθίσεις/ξεκαθαρίσεις ποιο είναι το ζητούμενο.

Και συνεχίζω βάζοντας άσκηση:

Να βρεθεί ο πίνακας του T, ως προς την κανονική βάση.


Άβαταρ μέλους
M.S.Vovos
Δημοσιεύσεις: 884
Εγγραφή: Παρ Φεβ 27, 2015 5:45 pm

Re: Συνάρτηση

#3

Μη αναγνωσμένη δημοσίευση από M.S.Vovos » Κυρ Ιαν 15, 2017 6:20 pm

Ας προσθέσω και εγώ ένα ερώτημα.

Να εξετάσετε αν η γραμμική απεικόνιση T είναι γραμμικός ισομορφισμός.

Φιλικά,
Μάριος


Είναι αυταπάτη ότι η νεότητα είναι ευτυχισμένη, μια αυταπάτη αυτών που την έχουν χάσει. W. Somerset Maugham
Σπύρος98
Δημοσιεύσεις: 15
Εγγραφή: Δευ Οκτ 17, 2016 9:11 pm

Re: Συνάρτηση

#4

Μη αναγνωσμένη δημοσίευση από Σπύρος98 » Κυρ Ιαν 15, 2017 6:41 pm

Ευχαριστώ.

Είναι αρκετά εύκολο να αποδείξουμε ότι η f είναι γραμμική το ξέρω. Η διατύπωση όμως της άσκησης μου φάνηκε περίεργη.

Όσον αφορά τα ερωτήματα που θέσατε, είναι αρκετά εύκολα. Έτσι:

1) Ο πίνακας είναι ο \displaystyle{\left ( T:\mathbf{e,e} \right )=\left ( \alpha _{ij} \right )=\left\{\begin{matrix} 
1 &,i\leq j \\  
0 &,1>j  
\end{matrix}\right.}

2) Η f είναι ισομορφισμός, αφού \displaystyle{\det(\left ( T:\mathbf{e,e} \right ))=1\neq 0} (είναι σωστή η γραφή;).


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

Re: Συνάρτηση

#5

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Κυρ Ιαν 15, 2017 8:46 pm

Σπύρος98 έγραψε: 1) Ο πίνακας είναι ο \displaystyle{\left ( T:\mathbf{e,e} \right )=\left ( \alpha _{ij} \right )=\left\{\begin{matrix} 
1 &,i\leq j \\  
0 &,1>j  
\end{matrix}\right.}

2) Η f είναι ισομορφισμός, αφού \displaystyle{\det(\left ( T:\mathbf{e,e} \right ))=1\neq 0} (είναι σωστή η γραφή;).
1) Προσοχή, στο 1) έχεις τυπογραφικές αβλεψίες. Το σωστό είναι

\displaystyle{\left ( T:\mathbf{e,e} \right )=\left ( \alpha _{ij} \right )=\left\{\begin{matrix} 
1 &,{\color {red} i\geq j} \\  
0 &, {\color {red} i <j }  
\end{matrix}\right.}

2) To 2) που γράφεις είναι σωστό αλλά να και ένας άλλος τρόπος: Ο T είναι 1-1 διότι εύκολα βλέπουμε ότι αν

\displaystyle{\displaystyle \left ( x_{1},x_{1}+x_{2},\ldots ,\sum_{i=1}^{n-1}x_{i},\sum_{i=1}^{n}x_{i} \right )=0 }

τότε \displaystyle{  x_{1} =x_{2}=...=x_{n}=0}.

Τρίτος τρόπος είναι να δείξουμε ότι ο T είναι επί (σχεδόν άμεσο). Και στα δύο χρησιμοποιώ ότι τα πεδία ορισμού και τιμών είναι ίδια.


Άβαταρ μέλους
M.S.Vovos
Δημοσιεύσεις: 884
Εγγραφή: Παρ Φεβ 27, 2015 5:45 pm

Re: Συνάρτηση

#6

Μη αναγνωσμένη δημοσίευση από M.S.Vovos » Δευ Ιαν 16, 2017 12:59 pm

Κύριε Μιχάλη, μια ερώτηση.

Η εκφώνηση δεν θα έπρεπε να λέει "και για κάθε n\geq 2";


Είναι αυταπάτη ότι η νεότητα είναι ευτυχισμένη, μια αυταπάτη αυτών που την έχουν χάσει. W. Somerset Maugham
ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
Δημοσιεύσεις: 2747
Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ

Re: Συνάρτηση

#7

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Δευ Ιαν 16, 2017 1:03 pm

M.S.Vovos έγραψε:Κύριε Μιχάλη, μια ερώτηση.

Η εκφώνηση δεν θα έπρεπε να λέει "και για κάθε n\geq 2";
Μάριε η αρχική εκφώνηση το λέει.


Άβαταρ μέλους
M.S.Vovos
Δημοσιεύσεις: 884
Εγγραφή: Παρ Φεβ 27, 2015 5:45 pm

Re: Συνάρτηση

#8

Μη αναγνωσμένη δημοσίευση από M.S.Vovos » Δευ Ιαν 16, 2017 2:28 pm

Εννοώ να χρησιμοποιήσει τον ποσοδείκτη.


Είναι αυταπάτη ότι η νεότητα είναι ευτυχισμένη, μια αυταπάτη αυτών που την έχουν χάσει. W. Somerset Maugham
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 11743
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Συνάρτηση

#9

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Δευ Ιαν 16, 2017 11:23 pm

M.S.Vovos έγραψε:Εννοώ να χρησιμοποιήσει τον ποσοδείκτη.
Μάριε,

Ουσιαστικά η εκφώνηση λέει: " Έστω n\ge 2 οποιοσδήποτε φυσικός ... "

Στο σημείο που κοκκίνισα υπάρχει ποσοδείκτης.

Αν θέλουμε πιο φορμαλιστικά, λέμε:" \forall n \in \mathbb N με n\ge 2 , ορίζουμε ... "

Μην μπλέκουμε το παραπάνω με αυτό που δεν είναι σαφές ποιος είναι ο ποσοδείκτης. Στο παραπάνω δεν αμφιβάλει κανείς, παρά την ελλειπή διατύπωση.


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

Re: Συνάρτηση

#10

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Δευ Ιαν 16, 2017 11:31 pm

Και μία ακόμη ερώτηση προς τον Σπύρο:
Σπύρος98 έγραψε: Έστω η απεικόνιση T:\mathbb{F}^{n}\rightarrow \mathbb{F}^{n}, n\geq 2, ώστε για κάθε \displaystyle \left ( x_{1},x_{2},\ldots, x_{n} \right )\in \mathbb{F}^{n}, ισχύει:
\displaystyle{\displaystyle T\left ( x_{1},x_{2},\ldots ,x_{n-1},x_{n} \right )=\left ( x_{1},x_{1}+x_{2},\ldots ,\sum_{i=1}^{n-1}x_{i},\sum_{i=1}^{n}x_{i} \right )} Να εξετάσετε αν η T είναι γραμμική απεικόνιση.
Αφού είδαμε ότι είναι ισομορφισμός, βρες την αντίστροφη δηλώνοντας την εικόνα του

T^{-1} (y_{1}, \, y_{2}, \, ... \, , y_{n})

Κατόπιν βρες τον πίνακα του T^{-1}


Σπύρος98
Δημοσιεύσεις: 15
Εγγραφή: Δευ Οκτ 17, 2016 9:11 pm

Re: Συνάρτηση

#11

Μη αναγνωσμένη δημοσίευση από Σπύρος98 » Τρί Ιαν 17, 2017 3:11 pm

Mihalis_Lambrou έγραψε:Και μία ακόμη ερώτηση προς τον Σπύρο:
Σπύρος98 έγραψε: Έστω η απεικόνιση T:\mathbb{F}^{n}\rightarrow \mathbb{F}^{n}, n\geq 2, ώστε για κάθε \displaystyle \left ( x_{1},x_{2},\ldots, x_{n} \right )\in \mathbb{F}^{n}, ισχύει:
\displaystyle{\displaystyle T\left ( x_{1},x_{2},\ldots ,x_{n-1},x_{n} \right )=\left ( x_{1},x_{1}+x_{2},\ldots ,\sum_{i=1}^{n-1}x_{i},\sum_{i=1}^{n}x_{i} \right )} Να εξετάσετε αν η T είναι γραμμική απεικόνιση.
Αφού είδαμε ότι είναι ισομορφισμός, βρες την αντίστροφη δηλώνοντας την εικόνα του

T^{-1} (y_{1}, \, y_{2}, \, ... \, , y_{n})

Κατόπιν βρες τον πίνακα του T^{-1}
Για τα x=\left ( x_{1},x_{2},\ldots,x_{n}  \right )\in \mathbb{F}^{n}, y=\left ( y_{1},y_{2},\ldots,y_{n}  \right )\in \mathbb{F}^{n} με \displaystyle{T(x)=y\Rightarrow T\left ( x_{1},x_{2},\ldots ,x_{n} \right ) =\left ( y_{1},y_{2},\ldots ,y_{n} \right )} και τον τύπο της γραμμικής απεικόνισης

\displaystyle{\displaystyle T\left ( x_{1},x_{2},\ldots ,x_{n-1},x_{n} \right )=\left ( x_{1},x_{1}+x_{2},\ldots ,\sum_{i=1}^{n-1}x_{i},\sum_{i=1}^{n}x_{i} \right )} προκύπτει ότι:
\displaystyle{\left ( x_{1},x_{1}+x_{2},\ldots ,\sum_{i=1}^{n-1}x_{i},\sum_{i=1}^{n}x_{i} \right )=\left ( y_{1},y_{2},\ldots,y_{n}  \right )\Rightarrow }

\displaystyle{\left\{\begin{matrix} 
x_{1}=y_{1}\\  
x_{2}=y_{2}-y_{1}\\  
x_{3}=y_{3}-y_{2}\\  
\vdots \\x_{n}=y_{n}-y_{n-1}  
 
\end{matrix}\right.}
Επομένως ο αντίστροφος τελεστής θα είναι της μορφής \displaystyle{T^{-1}(y)=x\Rightarrow T^{-1}\left ( y_{1},y_{2},\ldots,y_{n}  \right )=\left ( y_{1},y_{2}-y_{1},\ldots,y_{n}-y_{n-1}  \right )}.


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

Re: Συνάρτηση

#12

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Τρί Ιαν 17, 2017 4:54 pm

Σπύρος98 έγραψε: Επομένως ο αντίστροφος τελεστής θα είναι της μορφής \displaystyle{T^{-1}(y)=x\Rightarrow T^{-1}\left ( y_{1},y_{2},\ldots,y_{n}  \right )=\left ( y_{1},y_{2}-y_{1},\ldots,y_{n}-y_{n-1}  \right )}.
:10sta10:


Σπύρος98
Δημοσιεύσεις: 15
Εγγραφή: Δευ Οκτ 17, 2016 9:11 pm

Re: Συνάρτηση

#13

Μη αναγνωσμένη δημοσίευση από Σπύρος98 » Τρί Ιαν 17, 2017 5:40 pm

Κάτι πιο δύσκολο σε αυτή την άσκηση τι θα μπορούσε να είναι;


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

Re: Συνάρτηση

#14

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

Σπύρος98 έγραψε:Κάτι πιο δύσκολο σε αυτή την άσκηση τι θα μπορούσε να είναι;
Οι στάνταρ ερωτήσεις θα ήσαν: Για τους T, T^* , T + T^* και T^{-1}

α) Να βρείς τις ιδιοτιμές και τα ιδιοδιανύσματα μαζί με τις αλγεβρικές και γεωμετρικές τους πολλαπλότητες,

β) Να βρεις το χαρακτηριστικό και το ελάχιστο πολυώνυμο,

γ) Να βρεις τους αναλλοίωτους υπόχωρους, δηλαδή T(M) \subseteq M, καθώς και εκείνους που επιπλέον και ο M^{\perp} είναι αναλλοίωτος υπόχωρος,

δ) Να εξετάσεις αν διαγωνοποιείται και πώς,

ε) Να βρεις την κανονική μορφή Jordan,

στ) Να βρεις τους τελεστές με τους οποίους αντιμετατίθεται,

ζ) Να βρεις τους e^T, \, e^{T^*}, \, e^{T+T^*},

και πολλά άλλα.

Σε δεύτερη φάση θα δώσω και πιο δύσκολα ερωτήματα. Ας αρχίσεις από το στ).


Σπύρος98
Δημοσιεύσεις: 15
Εγγραφή: Δευ Οκτ 17, 2016 9:11 pm

Re: Συνάρτηση

#15

Μη αναγνωσμένη δημοσίευση από Σπύρος98 » Τρί Ιαν 17, 2017 7:32 pm

Mihalis_Lambrou έγραψε:
Σπύρος98 έγραψε:Κάτι πιο δύσκολο σε αυτή την άσκηση τι θα μπορούσε να είναι;
Οι στάνταρ ερωτήσεις θα ήσαν: Για τους T, T^* , T + T^* και T^{-1}

α) Να βρείς τις ιδιοτιμές και τα ιδιοδιανύσματα μαζί με τις αλγεβρικές και γεωμετρικές τους πολλαπλότητες,

β) Να βρεις το χαρακτηριστικό και το ελάχιστο πολυώνυμο,

γ) Να βρεις τους αναλλοίωτους υπόχωρους, δηλαδή T(M) \subseteq M, καθώς και εκείνους που επιπλέον και ο M^{\perp} είναι αναλλοίωτος υπόχωρος,

δ) Να εξετάσεις αν διαγωνοποιείται και πώς,

ε) Να βρεις την κανονική μορφή Jordan,

στ) Να βρεις τους τελεστές με τους οποίους αντιμετατίθεται,

ζ) Να βρεις τους e^T, \, e^{T^*}, \, e^{T+T^*},

και πολλά άλλα.

Σε δεύτερη φάση θα δώσω και πιο δύσκολα ερωτήματα. Ας αρχίσεις από το στ).
Κ. Λάμπρου ευχαριστώ για τα ερωτήματα. Όμως, δεν μπορώ να τα απαντήσω αφού η ύλη στην οποία αναφέρονται είναι Γραμμικής ΙΙ, που είναι στο 2ο εξάμηνο.


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

Re: Συνάρτηση

#16

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Τρί Ιαν 17, 2017 8:40 pm

Σπύρος98 έγραψε: Όμως, δεν μπορώ να τα απαντήσω αφού η ύλη στην οποία αναφέρονται είναι Γραμμικής ΙΙ, που είναι στο 2ο εξάμηνο.
Ωραία. Κάνε μόνο την στ) που είναι στις μέχρι τώρα γνώσεις σου. Για ευκολία κάνε την για την περίπτωση n=4 αλλά ας την εμπλουτίσω λίγο, οπότε την αναδιατυπώνω:

α) Για το T παραπάνω (αλλά με n=4), να βρεθoύν όλοι οι 4\times 4 πίνακες A με AT=TA.

β) Να αποδειχθεί ότι όλοι οι πίνακες της μορφής a_0I + a_1T + a_2T^2+... + a_NT^N (δηλαδή τα πολυώνυμα του T), όπου I ο ταυτοτικός, είναι πίνακες που ικανοποιούν την α).

γ) Πέρα από τα πολυώνυμα του T υπάρχουν άλλοι πίνακες που ικανοποιούν την α);

Ίδια εργασία για τον T^* και τον T^{-1} (εδώ T^* ο ανάστροφος, δηλαδή οι γραμμές του T να γίνουν στήλες).

δ) Οι πίνακες A που ικανοποιούν την α) για τον T είναι οι ίδιοι για τους ανίστοιχους που ικανοπούν την α) για τον T^{-1};

ε) Είναι ο T^{-1} ίσος με πολυώνυμο του T;

Η άσκηση είναι απλή, αλλά έχει κάποιες πράξεις. Με γνώση περισσότερης θεωρίας λύνεται και χωρίς πολλές πράξεις. Π.χ. το δ) μπορείς να το απαντήσεις αμέσως τώρα χωρίς καθόλου πράξεις, και πριν κάνεις τα προηγούμενα υποερωτήματα.

Καλό... χαρτί και μολύβι.


Απάντηση

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

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

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