Ευκλείδειο διάνυσμα

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

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

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

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

Η αποδοχή και η συστηματική χρήση των αρνητικών αριθμών στα μαθηματικά και η μελέτη μεγεθών όπως η ταχύτητα, η δύναμη και η ορμή που χαρακτηρίζονται τόσο από το μέτρο τους όσο και από την κατεύθυνσή τους στο χώρο έφεραν στο προσκήνιο την έννοια του προσανατολισμένου ευθύγραμμου τμήματος και της προσανατολισμένης κίνησης, ιδέες που συναντώνται το 17o αιώνα στα έργα των Ισαάκ Νεύτων (Νιούτον) και G. W. Leibniz (Γκότφριντ Βίλχελμ Λάιμπνιτς).

Η ανάπτυξη ενός συστηματικού λογισμού με προσανατολισμένα ευθύγραμμα τμήματα άρχισε για να δοθεί γεωμετρική ερμηνεία στους αρνητικούς αριθμούς αλλά και για να βρεθεί ένας τρόπος αναλυτικής έκφρασης του μήκους και της διεύθυνσης των ευθυγράμμων τμημάτων. Σημαντικό είναι το έργο των Κάσπαρ Βέσελ (C. Wessel) και Ζαν Ρομπέρ Αργκάν (R. Argand) στον ορισμό των πράξεων με τυχαία τμήματα του επιπέδου. Στις εργασίες τους υπάρχουν οι βασικές ιδέες του σημερινού Διανυσματικού Λογισμού.

Η ουσιαστική ανάπτυξη όμως του πεδίου αυτού ξεκινά αργότερα με τη γενίκευση των πιο πάνω ιδεών στο τρισδιάστατο χώρο και με τη θεμελίωση μιας γενικής μαθηματικής θεωρίας με τα έργα των Ουίλιαμ Χάμιλτον (W. Hamilton) και Χέρμαν Γκράσσμαν (H. Grassmann). Κατά το 19ο αιώνα η ανάπτυξη του Διανυσματικού Λογισμού επηρεάστηκε από τη φυσική. Το 1880 οι φυσικοί Γιοσάια Ουίλαρντ Γκιμπς (J. W. Gibbs) και Όλιβερ Χέβισαϊντ (O. Heaviside) δημιούργησαν τη σύγχρονη θεωρία του διανυσματικού λογισμού. Τέλος το 1888 ο Τζουζέπε Πεάνο (G. Peano) θεμελίωσε αξιωματικά την έννοια του διανυσματικού χώρου.

Σύστημα αναφοράς
  Σύστημα συντεταγμένων

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

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

Χαρακτηριστικά των διανυσμάτων

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

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

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

 Αντίρροπα, όταν δεν είναι ομόρροπα. Τα συγγραμμικά και αντίρροπα διανύσματα λέμε ότι έχουν αντίθετη κατεύθυνση (γράφουμε ).

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

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

Ίσα διανύσματα 
Δύο μη μηδενικά διανύσματα ονομάζονται ίσα όταν έχουν ίδια κατεύθυνση και ίσα μέτρα (γράφουμε ).

Αντίθετα διανύσματα 
Δύο μη μηδενικά διανύσματα ονομάζονται αντίθετα όταν έχουν αντίθετη κατεύθυνση και ίσα μέτρα (γράφουμε  ή ).

Πρόσθεση και Αφαίρεση διανυσμάτων

Πρόσθεση διανυσμάτων 
Έστω δύο διανύσματα  και  και ζητούμε το άθροισμα . Με αρχή ένα σημείο Ο παίρνουμε τα διανύσματα  και . Το διάνυσμα  λέγεται άθροισμα ή συνισταμένη των δύο διανυσμάτων. Το άθροισμα των διανυσμάτων αποδεικνύεται ότι είναι ανεξάρτητο από την επιλογή του σημείου Ο. Το άθροισμα δύο διανυσμάτων μπορεί να βρεθεί και με το λεγόμενο κανόνα του παραλληλογράμμου.

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

Γωνία δύο μη μηδενικών διανυσμάτων ονομάζουμε τη κυρτή γωνία που αυτά σχηματίζουν αν τα πάρουμε με κοινή αρχή και είναι ανεξάρτητη από την επιλογή του σημείου κοινής αρχής.

Πολλαπλασιασμός αριθμού με διάνυσμα 
Έστω κ ένας πραγματικός αριθμός με κ0 και  ένα μη μηδενικό διάνυσμα. Ονομάζουμε γινόμενο του κ με το  ένα νέο διάνυσμα το οποίο είναι ομόρροπο του  αν κ>0 και αντίρροπο του  αν κ<0 και επίσης έχει μέτρο . Αν κ=0 ή τότε ορίζουμε ως  το μηδενικό διάνυσμα. Ως συνέπεια του ορισμού ισχύει: . Σημαντικό είναι επίσης το εξής θεώρημα, σύμφωνα με το οποίο αν  είναι δύο διανύσματα με , τότε

Ιδιότητες πολλαπλασιασμού αριθμού με διάνυσμα 
Για κάθε διάνυσμα  και για κάθε  αποδεικνύεται ότι ισχύουν οι εξής ιδιότητες:

Εσωτερικό/Αριθμητικό γινόμενο δύο διανυσμάτων 
Το εσωτερικό γινόμενο δύο διανυσμάτων  και  συμβολίζεται με  και ορίζεται ως

όπου με  και  συμβολίζουμε τα μέτρα των διανυσμάτων  και  αντίστοιχα, cos θ (ελλ. συν θ ), 
και θ τη γωνία που σχηματίζεται ανάμεσα στα δύο διανύσματα. Είναι φανερό πως το εσωτερικό γινόμενο δύο διανυσμάτων θα είναι πάντα ένας αριθμός και όχι ένα νέο διάνυσμα όπως στην πρόσθεση και την αφαίρεση διανυσμάτων.

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

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

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

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

Το εξωτερικό γινόμενο δεν γενικεύεται για n διαστάσεις, έχει νόημα μόνο σε τρισδιάστατους χώρους.

Αν  και  είναι τα δύο διανύσματα, το εξωτερικό γινόμενο συμβολίζεται ως  και ορίζεται ως

 και  είναι τα μέτρα των διανυσμάτων  και , 
sin θ το ημιτονο αυτών των διανυσμάτων,  
 είναι η γωνία μεταξύ των δύο διανυσμάτων, και  είναι το μοναδιαίο διάνυσμα κάθετο στο επίπεδο που ορίζουν τα  και .

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

Για παράλληλα ή αντιπαράλληλα διανύσματα το εξωτερικό γινόμενο δίνει το μηδενικό διάνυσμα, εφόσον  και .

Το εξωτερικό γινόμενο δύο διανυσμάτων  και   μπορεί ακόμη να εκφραστεί με την μορφή ορίζουσας: .

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

Μέτρο διανύσματος 
Μέτρο (διανύσματος) είναι ένας αριθμός που χαρακτηρίζει ένα διάνυσμα ή ένα βαθμωτό μέγεθος, χωρίς όμως να πρόκειται πάντα για την ίδια μονάδα μέτρου, π.χ. Newton για τη δύναμη, Joule για την ενέργεια.

Στην περίπτωση του διανύσματος δεν πρόκειται για τον μοναδικό αριθμό που το χαρακτηρίζει, καθώς υπάρχουν επίσης η διεύθυνση και η φορά (που μαζί αυτά τα δύο ονομάζονται κατεύθυνση) που χαρακτηρίζουν ένα διάνυσμα.
Στην περίπτωση του βαθμωτού μεγέθους, όμως, είναι ο μοναδικός αριθμός που το χαρακτηρίζει.

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

όπου  οι συνιστώσες του διανύσματος και  τα μοναδιαία διανύσματα της βάσης, τότε το μέτρο του διανύσματος θα ισούται με

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

Αφηρημένη άλγεβρα
Γραμμική άλγεβρα
Θεμελιώδεις έννοιες της φυσικής
Μηχανική