1ΔΙΑΝΥΣΜΑΤΑ

Εισαγωγή

Το διάνυσμα είναι ένα χαρακτηριστικό παράδειγμα έννοιας που αναπτύχθηκε μέσα από τη στενή αλληλεπίδραση Μαθηματικών και Φυσικής. Ο "κανόνας του παραλληλόγραμμου", σύμφωνα με τον οποίο το μέτρο και η κατεύθυνση δύο δυνάμεων που ασκούνται σε ένα σώμα εκφράζονται από τη διαγώνιο του παραλληλόγραμμου που σχηματίζουν, ήταν γνωστός με διάφορες μορφές στους Αρχαίους Έλληνες επιστήμονες. Ο Ήρων ο Αλεξανδρεύς, για παράδειγμα, στο έργο του "Μηχανικά" αποδεικνύει με χρήση αναλογιών την ακόλουθη γεωμετρική πρόταση:

Εικόνα

Αν ένα σημείο Σ κινείται με ομαλή κίνηση κατά μήκος μιας ευθείας ΑΒ, ενώ συγχρόνως η ΑΒ κινείται παράλληλα προς τον εαυτό της με το άκρο Α να διαγράφει μια ευθεία ΑΓ, τότε η πραγματική τροχιά του Σ (η "συνισταμένη κίνηση") θα είναι η διαγώνιος ΑΔ του παραλληλόγραμμου ΑΒΓΔ.

Αυτός ο "κανόνας" χρησιμοποιήθηκε πολλούς αιώνες για το γεωμετρικό προσδιορισμό της συνισταμένης, χωρίς όμως να θεωρείται ένα νέο είδος πρόσθεσης ευθυγράμμων τμημάτων, διαφορετικό από εκείνο που χρησιμοποιείται στην Ευκλείδεια Γεωμετρία. Για να γίνει αυτό, χρειάστηκε από τη μια μεριά η αποδοχή και συστηματική χρήση των αρνητικών αριθμών στα Μαθηματικά και από την άλλη η μελέτη φυσικών ποσοτήτων όπως η ταχύτητα, η δύναμη, η ορμή και η επιτάχυνση, που χαρακτηρίζονται τόσο από το μέτρο όσο και από τη διεύθυνσή τους. Αυτές οι εξελίξεις έφεραν στο προσκήνιο τις έννοιες της προσανατολισμένης κίνησης και του προσανατολισμένου ευθύγραμμου τμήματος, τις πρώτες ιδέες των οποίων συναντάμε σε έργα επιστημόνων του 17ου αιώνα όπως οι J. Wallis, I. Newton και G.W. Leibniz.

Η ανάπτυξη ενός συστηματικού λογισμού με προσανατολισμένα ευθύγραμμα τμήματα άρχισε στα τέλη του 18ου αιώνα, για να δοθεί μια γεωμετρική ερμηνεία στους αρνητικούς αριθμούς, αλλά και για να βρεθεί ένας τρόπος αναλυτικής έκφρασης του μήκους και της διεύθυνσης των ευθύγραμμων τμημάτων. Πρωτοποριακό υπήρξε προς αυτή την κατεύθυνση το έργο των C. Wessel (1799) και R. Argand (1806). Ξεκινώντας από την απλή περίπτωση των

προσανατολισμένων τμημάτων που βρίσκονται στην ίδια ευθεία, προχώρησαν στον ορισμό των πράξεων με τυχαία τμήματα του επιπέδου. Συγκεκριμένα, οι ορισμοί του Wessel ήταν οι εξής:

Το άθροισμα διαδοχικών προσανατολισμένων τμημάτων είναι το τμήμα που ενώνει την αρχή του πρώτου με το τέλος του τελευταίου.

Εικόνα

Το γινόμενο δύο προσανατολισμένων τμημάτων που σχηματίζουν γωνίες φ και ω αντιστοίχως με ένα μοναδιαίο τμήμα, είναι το τμήμα που έχει μήκος το γινόμενο των μηκών των δύο τμημάτων και σχηματίζει γωνία φ+ω με το μοναδιαίο τμήμα.

Εικόνα

Στις εργασίες των Wessel και Argand (και ορισμένες άλλες που δημοσιεύτηκαν εκείνη την εποχή) υπάρχουν οι βασικές ιδέες που συγκροτούν σήμερα το Διανυσματικό Λογισμό του επιπέδου. Η ουσιαστική ανάπτυξη του κλάδου αρχίζει όμως μερικές δεκαετίες αργότερα, όταν επιχειρείται η γενίκευση αυτών των ιδεών στον τρισδιάστατο χώρο και η θεμελίωση μιας γενικής μαθηματικής θεωρίας. Καθοριστικό υπήρξε προς αυτήν την κατεύθυνση του έργο του W. Hamilton (1843) και του H. Grassmann (1844). Ο W. Hamilton χρησιμοποίησε τον όρο διάνυσμα (vector). Ο όρος vector προέρχεται κατά μία εκδοχή από το λατινικό ρήμα "vehere" που σημαίνει μεταφέρω. Ο H. Grassmann χρησιμοποίησε τους όρους εσωτερικό και εξωτερικό γινόμενο.

Η παραπέρα εξέλιξη του Διανυσματικού Λογισμού επηρεάστηκε αποφασιστικά από τις εξελίξεις στη Φυσική κατά το δεύτερο μισό του 19ου αιώνα. Η χρήση της θεωρίας του Hamilton από τον ιδρυτή της ηλεκτρομαγνητικής θεωρίας J.C. Maxwell (1873) οδήγησε σε ορισμένες τροποποιήσεις, με βάση τις οποίες οι φυσικοί J.W. Gibbs και O. Heaviside δημιούργησαν στις αρχές της δεκαετίας του 1880 τη σύγχρονη θεωρία του Διανυσματικού Λογισμού (στοιχεία της οποίας παρουσιάζονται σ' αυτό το κεφάλαιο). Τέλος το 1888, ο G. Peano, με βάση τη θεωρία του Grassmann θεμελίωσε αξιωματικά την έννοια του διανυσματικού χώρου.

1.1 Η ΕΝΝΟΙΑ ΤΟΥ ΔΙΑΝΥΣΜΑΤΟΣ

Ορισμός του Διανύσματος

Υπάρχουν μεγέθη, όπως είναι η μάζα, ο όγκος, η πυκνότητα, η θερμοκρασία κτλ., τα οποία προσδιορίζονται από το μέτρο τους και από την αντίστοιχη μονάδα μέτρησης. Τα μεγέθη αυτά λέγονται μονόμετρα ή βαθμωτά.

Υπάρχουν όμως και μεγέθη, όπως είναι η δύναμη, η ταχύτητα, η επιτάχυνση, η μετατόπιση, η μαγνητική επαγωγή κτλ., που για να τα προσδιορίσουμε, εκτός από το μέτρο τους και τη μονάδα μέτρησης, χρειαζόμαστε τη διεύθυνση και τη φορά τους. Τέτοια μεγέθη λέγονται διανυσματικά μεγέθη ή απλώς διανύσματα.

Εικόνα

• Στη Γεωμετρία το διάνυσμα ορίζεται ως ένα προσανατολισμένο ευθύγραμμο τμήμα, δηλαδή ως ένα ευθύγραμμο τμήμα του οποίου τα άκρα θεωρούνται διατεταγμένα. Το πρώτο άκρο λέγεται αρχή ή σημείο εφαρμογής του διανύσματος, ενώ το δεύτερο λέγεται πέρας του διανύσματος. Το διάνυσμα με αρχή το Α και πέρας το Β συμβολίζεται με Εικόνακαι παριστάνεται με ένα βέλος που ξεκινάει από το Α και καταλήγει στο Β.

Αν η αρχή και το πέρας ενός διανύσματος συμπίπτουν, τότε το διάνυσμα λέγεται μηδενικό διάνυσμα. Έτσι, για παράδειγμα, το διάνυσμα Εικόνα είναι μηδενικό διάνυσμα.

Για το συμβολισμό των διανυσμάτων χρησιμοποιούμε πολλές φορές τα μικρά γράμματα του ελληνικού ή του λατινικού αλφάβητου επιγραμμισμένα με βέλος για παράδειγμα, Εικόνα

• Η απόσταση των άκρων ενός διανύσματος Εικόνα, δηλαδή το μήκος του ευθύγραμμου τμήματος ΑΒ, λέγεται μέτρο ή μήκος του διανύσματος Εικόνα και συμβολίζεται με Εικόνα.

Εικόνα

Αν το διάνυσμα Εικόνα έχει μέτρο 1, τότε λέγεται μοναδιαίο διάνυσμα.

• Η ευθεία πάνω στην οποία βρίσκεται ένα μη μηδενικό διάνυσμα Εικόνα λέγεται φορέας του Εικόνα.

Εικόνα

Ως φορέα ενός μηδενικού διανύσματος Εικόνα μπορούμε να θεωρούμε οποιαδήποτε από τις ευθείες που διέρχονται από το Α.





Αν ο φορέας ενός διανύσματος Εικόνα είναι παράλληλος ή συμπίπτει με μια ευθεία ζ, τότε λέμε ότι το Εικόνα είναι παράλληλο προς τη ζ και γράφουμε Εικόνα//ζ.

Εικόνα

• Δύο μη μηδενικά διανύσματα Εικόνα και Εικόνα που έχουν τον ίδιο φορέα ή παράλληλους φορείς, λέγονται παράλληλα ή συγγραμμικά διανύσματα. Στην περίπτωση αυτή λέμε ότι τα Εικόνα και Εικόνα έχουν ίδια διεύθυνση και γράφουμε Εικόνα//Εικόνα.



Τα συγγραμμικά διανύσματα διακρίνονται σε ομόρροπα και αντίρροπα. Συγκεκριμένα:

Εικόνα

- Δύο μη μηδενικά διανύσματα Εικόνα και Εικόνα λέγονται ομόρροπα:

α) όταν έχουν παράλληλους φορείς και βρίσκονται στο ίδιο ημιεπίπεδο ως προς την ευθεία ΑΓ που ενώνει τις αρχές τους ή

β) όταν έχουν τον ίδιο φορέα και μία από τις ημιευθείες ΑΒ και ΓΔ περιέχει την άλλη. Στην περίπτωση αυτή λέμε ότι τα Εικόνα και Εικόνα έχουν την ίδια κατεύθυνση (ίδια διεύθυνση και ίδια φορά) και γράφουμε Εικόνα.

Εικόνα

- Δύο μη μηδενικά διανύσματα Εικόνα και Εικόνα λέγονται αντίρροπα, όταν είναι συγγραμμικά και δεν είναι ομόρροπα. Στην περίπτωση αυτή λέμε ότι τα διανύσματα Εικόνα και Εικόνα έχουν αντίθετη κατεύθυνση (ίδια διεύθυνση και αντίθετη φορά) και γράφουμε Εικόνα.




Ίσα Διανύσματα

Εικόνα

Δύο μη μηδενικά διανύσματα λέγονται ίσα όταν έχουν την ίδια κατεύθυνση και ίσα μέτρα. Για να δηλώσουμε ότι δύο διανύσματα Εικόνα και Εικόνα είναι ίσα, γράφουμε Εικόνα=Εικόνα. Τα μηδενικά διανύσματα θεωρούνται ίσα μεταξύ τους και συμβολίζονται με Εικόνα


Εύκολα αποδεικνύεται ότι:

• Αν Εικόνα τότε Εικόνα και Εικόνα


• Αν Μ είναι το μέσον του ΑΒ, τότε Εικόνα και αντιστρόφως.

Εικόνα



Αντίθετα Διανύσματα

Δύο διανύσματα λέγονται αντίθετα, όταν έχουν αντίθετη κατεύθυνση και ίσα μέτρα. Για να δηλώσουμε ότι δύο διανύσματα Εικόνα και Εικόνα είναι αντίθετα, γράφουμε

Εικόνα

           Εικόνα

Είναι φανερό ότι

           Εικόνα

Ειδικότερα, έχουμε Εικόνα





Γωνία δύο Διανυσμάτων

Έστω δύο μη μηδενικά διανύσματα Εικόνα Με αρχή ένα σημείο Ο παίρνουμε τα διανύσματα Εικόνα

Εικόνα

Την κυρτή γωνία Εικόνα, που ορίζουν οι ημιευθείες ΟΑ και ΟΒ, την ονομάζουμε γωνία των διανυσμάτων Εικόνα και Εικόνα και τη συμβολίζουμε με Εικόνα ή ακόμα, αν δεν προκαλείται σύγχυση, με ένα μικρό γράμμα, για παράδειγμα θ. Εύκολα αποδεικνύεται ότι η γωνία των Εικόνα είναι ανεξάρτητη από την επιλογή του σημείου Ο. Είναι φανερό επίσης ότι Εικόνα ή σε ακτίνια Εικόνα και ειδικότερα:

• θ = 0, αν Εικόνα


• θ = π, αν Εικόνα

Εικόνα

Αν Εικόνα τότε λέμε ότι τα διανύσματα Εικόνα είναι ορθογώνια ή κάθετα και γράφουμε Εικόνα







Αν ένα από τα διανύσματα Εικόνα είναι το μηδενικό διάνυσμα, τότε ως γωνία των Εικόνα μπορούμε να θεωρήσουμε οποιαδήποτε γωνία θ με Εικόνα Έτσι, μπορούμε να θεωρήσουμε ότι το μηδενικό διάνυσμα, Εικόνα, είναι ομόρροπο ή αντίρροπο ή ακόμη και κάθετο σε κάθε άλλο διάνυσμα.

ΕΦΑΡΜΟΓΗ

Εικόνα

Έστω Μ το μέσο της πλευράς ΑΓ ενός τριγώνου ΑΒΓ. Με αρχή το Μ γράφουμε τα διανύσματα Εικόνα. Να αποδειχτεί ότι το Α είναι το μέσο του ΔΕ.

ΑΠΟΔΕΙΞΗ

Αρκεί να δείξουμε ότι Εικόνα. Πράγματι, επειδή Εικόνα, είναι

                             Εικόνα

Όμως το Μ είναι μέσο του ΑΓ. Άρα,

                             Εικόνα

Επομένως, λόγω των (1) και (2), έχουμε Εικόνα, οπότε:

                             Εικόνα

Επειδή επιπλέον Εικόνα, έχουμε

                             Εικόνα

Έτσι, από τις σχέσεις (3) και (4) έχουμε Εικόνα