Μετάβαση στο περιεχόμενο
Topos Uranos

Περίληψη

Το μάθημα αυτό ερμηνεύει κάθε πίνακα με δύο γραμμές και δύο στήλες ως μετασχηματισμό του επιπέδου, εκείνον που στέλνει κάθε v⃗\vec{v}, γραμμένο ως στήλη, στο διάνυσμα Av⃗A\vec{v}. Αποδεικνύει ότι οι μετασχηματισμοί αυτοί είναι ακριβώς οι γραμμικοί και ότι καθένας καθορίζεται από τις εικόνες των δύο βασικών διανυσμάτων, που είναι οι στήλες του πίνακά του. Με αυτή την αρχή βρίσκει τους πίνακες των στροφών, των προβολών και των ανακλάσεων ως προς ευθείες που διέρχονται από την αρχή των αξόνων, των ομοιοθεσιών και των διατμήσεων. Αποδεικνύει ότι η σύνθεση μετασχηματισμών ισοδυναμεί με τον πολλαπλασιασμό των πινάκων τους, από όπου προκύπτουν η πρόσθεση των γωνιών δύο στροφών, το γεγονός ότι δύο συντιθέμενες ανακλάσεις δίνουν στροφή κατά το διπλάσιο της γωνίας των ευθειών τους και το ότι οι ανακλάσεις γενικά δεν αντιμετατίθενται. Ερμηνεύει την ορίζουσα ως τον συντελεστή με τον οποίο ο μετασχηματισμός πολλαπλασιάζει τα εμβαδά, με αρνητικό πρόσημο όταν αντιστρέφει τον προσανατολισμό, και χαρακτηρίζει τους αμφιμονοσήμαντους μετασχηματισμούς ως εκείνους με μη μηδενική ορίζουσα. Κλείνει γράφοντας με πίνακες τη στροφή των αξόνων της γενικής εξίσωσης δευτέρου βαθμού.

Μαθησιακοί στόχοι

  1. Να αναγνωρίζει έναν πίνακα ως γραμμικό μετασχηματισμό του επιπέδου και να βρίσκει τον πίνακα ενός μετασχηματισμού από τις εικόνες των βασικών διανυσμάτων.
  2. Να γράφει και να συνάγει τους πίνακες των στροφών, των προβολών, των ανακλάσεων, των ομοιοθεσιών και των διατμήσεων, και να περιγράφει γεωμετρικά τη δράση ενός δοσμένου πίνακα.
  3. Να αποδεικνύει ότι στη σύνθεση μετασχηματισμών αντιστοιχεί το γινόμενο πινάκων και να το εφαρμόζει στη σύνθεση στροφών και ανακλάσεων.
  4. Να ερμηνεύει την ορίζουσα ως συντελεστή εμβαδού και προσανατολισμού, να κρίνει πότε ένας μετασχηματισμός είναι αντιστρέψιμος και να εκφράζει με πίνακες τη στροφή των αξόνων μιας εξίσωσης δευτέρου βαθμού.

Οι πίνακες ως μετασχηματισμοί

Στο μάθημα του πρώτου κύκλου μαθημάτων Άλγεβρα και γεωμετρία I για τα διανύσματα στο επίπεδο το διάνυσμα ορίστηκε ως διατεταγμένο ζεύγος πραγματικών αριθμών, και στο μάθημα για τους πίνακες και τις πράξεις με πίνακες ορίστηκε το γινόμενο ενός πίνακα με έναν άλλον, γραμμή επί στήλη. Αν το ζεύγος (x,y)(x, y) γραφτεί ως στήλη, δηλαδή ως πίνακας με δύο γραμμές και μία στήλη, ένας πίνακας AA με δύο γραμμές και δύο στήλες μπορεί να το πολλαπλασιάσει, και το αποτέλεσμα είναι μια άλλη στήλη δύο στοιχείων, δηλαδή ένα άλλο διάνυσμα. Έτσι κάθε πίνακας μετακινεί τα σημεία του επιπέδου, και η άλγεβρα των πινάκων αποκτά γεωμετρικό νόημα. Στη συνέχεια ταυτίζουμε το ζεύγος (x,y)(x, y) με τη στήλη με στοιχεία xx και yy, και ονομάζουμε e⃗1=(1,0)\vec{e}_1 = (1, 0) και e⃗2=(0,1)\vec{e}_2 = (0, 1) βασικά διανύσματα, ώστε κάθε διάνυσμα να γράφεται v⃗=xe⃗1+ye⃗2\vec{v} = x\vec{e}_1 + y\vec{e}_2.

Μετασχηματισμός του επιπέδου είναι μια συνάρτηση που αντιστοιχίζει σε κάθε διάνυσμα του επιπέδου ένα άλλο διάνυσμα του επιπέδου. Αν AA είναι πίνακας με δύο γραμμές και δύο στήλες, ο μετασχηματισμός με πίνακα AA είναι εκείνος που αντιστοιχίζει σε κάθε v⃗\vec{v} το γινόμενο Av⃗A\vec{v}.
T(v⃗)=Av⃗=(abcd)(xy)=(ax+bycx+dy)T(\vec{v}) = A\vec{v} = \begin{pmatrix} a & b \\ c & d \end{pmatrix}\begin{pmatrix} x \\ y \end{pmatrix} = \begin{pmatrix} ax + by \\ cx + dy \end{pmatrix}

Για παράδειγμα, ο πίνακας με στοιχεία 22, 00, 00 και 33 στέλνει το σημείο (x,y)(x, y) στο σημείο (2x,3y)(2x, 3y): τεντώνει το επίπεδο στο διπλάσιο κατά την οριζόντια διεύθυνση και στο τριπλάσιο κατά την κατακόρυφη. Οι μετασχηματισμοί με πίνακα έχουν μια ιδιότητα που τους ξεχωρίζει από τις υπόλοιπες συναρτήσεις του επιπέδου και που εκφράζεται με τον ορισμό που ακολουθεί.

Ένας μετασχηματισμός TT του επιπέδου είναι γραμμικός αν διατηρεί το άθροισμα διανυσμάτων και τον πολλαπλασιασμό διανύσματος με αριθμό: για όλα τα u⃗\vec{u} και v⃗\vec{v} του επιπέδου και για κάθε πραγματικό αριθμό tt ισχύουν οι δύο ισότητες που ακολουθούν.
T(u⃗+v⃗)=T(u⃗)+T(v⃗),T(tv⃗)=tT(v⃗)T(\vec{u} + \vec{v}) = T(\vec{u}) + T(\vec{v}), \qquad T(t\vec{v}) = tT(\vec{v})
ΘεώρημαΟι στήλες του πίνακα

Κάθε μετασχηματισμός με πίνακα είναι γραμμικός, και οι στήλες του πίνακά του είναι οι εικόνες των βασικών διανυσμάτων: η πρώτη είναι η εικόνα του e⃗1\vec{e}_1 και η δεύτερη η εικόνα του e⃗2\vec{e}_2. Αντίστροφα, κάθε γραμμικός μετασχηματισμός του επιπέδου είναι ο μετασχηματισμός ενός μοναδικού πίνακα, εκείνου που έχει στήλες τις T(e⃗1)T(\vec{e}_1) και T(e⃗2)T(\vec{e}_2).

Χρησιμοποιούνται η επιμεριστική ιδιότητα του γινομένου πινάκων και η συμβατότητά του με τον πολλαπλασιασμό με αριθμό, που αποδείχθηκαν στο μάθημα για τους πίνακες και τις πράξεις με πίνακες. Το σχήμα παρακολουθεί τον μετασχηματισμό με πίνακα AA και στήλες (2,1)(2, 1) και (−1,1)(-1, 1).

Απόδειξη

  1. T(u⃗+v⃗)=A⋅(u⃗+v⃗)=Au⃗+Av⃗,T(tv⃗)=A⋅(tv⃗)=tAv⃗T(\vec{u} + \vec{v}) = \resaltar{A \cdot \left( \vec{u} + \vec{v} \right)} = \resaltar{A\vec{u} + A\vec{v}}, \qquad T(t\vec{v}) = \resaltar{A \cdot \left( t\vec{v} \right)} = \resaltar{tA\vec{v}}

    Έστω AA ένας πίνακας και TT ο μετασχηματισμός του. Η επιμεριστική ιδιότητα και η συμβατότητα με τον πολλαπλασιασμό με αριθμό δίνουν τις δύο συνθήκες της γραμμικότητας· στο σχήμα, το παραλληλόγραμμο που σχηματίζουν τα u⃗\vec{u} και v⃗\vec{v} πηγαίνει σε εκείνο που σχηματίζουν οι εικόνες τους.

  2. T(e⃗1)=(abcd)(10)=(ac)T(\vec{e}_1) = \resaltar{\begin{pmatrix} a & b \\ c & d \end{pmatrix}\begin{pmatrix} 1 \\ 0 \end{pmatrix}} = \dato{c1}{\resaltar{\begin{pmatrix} a \\ c \end{pmatrix}}}

    Υπολογίζουμε την εικόνα του e⃗1\vec{e}_1: στον πολλαπλασιασμό γραμμή επί στήλη, από κάθε γραμμή του AA μετράει μόνο το πρώτο στοιχείο.

  3. T(e⃗2)=(abcd)(01)=(bd)T(\vec{e}_2) = \resaltar{\begin{pmatrix} a & b \\ c & d \end{pmatrix}\begin{pmatrix} 0 \\ 1 \end{pmatrix}} = \dato{c2}{\resaltar{\begin{pmatrix} b \\ d \end{pmatrix}}}

    Με τον ίδιο τρόπο, στην εικόνα του e⃗2\vec{e}_2 μετράει μόνο το δεύτερο στοιχείο κάθε γραμμής.

  4. T(v⃗)=T(xe⃗1+ye⃗2)=xT(e⃗1)+yT(e⃗2)=xAe⃗1+yAe⃗2=Av⃗T(\vec{v}) = \resaltar{T(x\vec{e}_1 + y\vec{e}_2)} = xT(\vec{e}_1) + yT(\vec{e}_2) = \resaltar{xA\vec{e}_1 + yA\vec{e}_2} = A\vec{v}

    Έστω τώρα TT ένας οποιοσδήποτε γραμμικός μετασχηματισμός, και έστω AA ο πίνακας με στήλες τις T(e⃗1)T(\vec{e}_1) και T(e⃗2)T(\vec{e}_2). Γράφουμε v⃗=xe⃗1+ye⃗2\vec{v} = x\vec{e}_1 + y\vec{e}_2 και εφαρμόζουμε τη γραμμικότητα· από τους δύο παραπάνω υπολογισμούς, T(e⃗1)=Ae⃗1T(\vec{e}_1) = A\vec{e}_1 και T(e⃗2)=Ae⃗2T(\vec{e}_2) = A\vec{e}_2. Στο σχήμα, το πλέγμα του επιπέδου πηγαίνει σε ένα πλέγμα από παραλληλόγραμμα.

  5. Be⃗1=T(e⃗1)=Ae⃗1,Be⃗2=T(e⃗2)=Ae⃗2→B=AB\vec{e}_1 = T(\vec{e}_1) = A\vec{e}_1, \quad B\vec{e}_2 = T(\vec{e}_2) = A\vec{e}_2 \rightarrow B = A

    Αν ένας άλλος πίνακας BB ικανοποιούσε επίσης T(v⃗)=Bv⃗T(\vec{v}) = B\vec{v} για κάθε v⃗\vec{v}, οι στήλες του BB, που είναι οι Be⃗1B\vec{e}_1 και Be⃗2B\vec{e}_2, θα συνέπιπταν με τις στήλες του AA· ο πίνακας είναι μοναδικός.

Το θεώρημα ανάγει τη μελέτη ενός γραμμικού μετασχηματισμού στη μελέτη δύο διανυσμάτων: για να γνωρίζουμε τον πίνακα αρκεί να ξέρουμε πού πηγαίνουν τα e⃗1\vec{e}_1 και e⃗2\vec{e}_2, και για να ξέρουμε τι κάνει ένας πίνακας αρκεί να διαβάσουμε τις στήλες του. Από τη γραμμικότητα προκύπτουν επιπλέον αρκετές γεωμετρικές ιδιότητες. Η αρχή των αξόνων μένει σταθερή, αφού A0⃗=0⃗A\vec{0} = \vec{0}· γι’ αυτό οι παράλληλες μεταφορές, που μετακινούν την αρχή, δεν είναι γραμμικές. Η ευθεία με διανυσματική εξίσωση p⃗+td⃗\vec{p} + t\vec{d}, που μελετήθηκε στο μάθημα του πρώτου κύκλου μαθημάτων για τα διανύσματα, πηγαίνει στο σύνολο των σημείων Ap⃗+tAd⃗A\vec{p} + tA\vec{d}, που είναι ευθεία αν το Ad⃗A\vec{d} δεν είναι μηδενικό και ένα μόνο σημείο αν είναι. Ομοίως, ένα ευθύγραμμο τμήμα πηγαίνει σε ευθύγραμμο τμήμα ή σε σημείο, παράλληλες ευθείες πηγαίνουν σε παράλληλες ευθείες ή σε σημεία, και το τετράγωνο με κορυφές 0⃗\vec{0}, e⃗1\vec{e}_1, e⃗1+e⃗2\vec{e}_1 + \vec{e}_2 και e⃗2\vec{e}_2, που θα το λέμε μοναδιαίο τετράγωνο, πηγαίνει στο παραλληλόγραμμο, ίσως εκφυλισμένο, που σχηματίζουν οι δύο στήλες του πίνακα.