Διανυσματικό γινόμενο

Στην γραμμική άλγεβρα, το **εξωτερικό γινόμενο** (ή αλλιώς **διανυσματικό γινόμενο**, **σταυρωτό γινόμενο**) είναι μια δυαδική πράξη σε δύο διανύσματα στον τρισδιάστατο χώρο και συμβολίζεται με το σύμβολο \times. Το γινόμενο \mathbf{a} \times \mathbf{b} δύο γραμμικά ανεξαρτήτων διανυσμάτων \mathbf{a} και \mathbf{b}, είναι ένα τρίτο διάνυσμα το οποίο είναι κάθετο προς τα δύο (\mathbf{a} και \mathbf{b}). Επομένως το \mathbf{a} \times \mathbf{b} είναι κάθετο προς το επίπεδο που περιέχει τα \mathbf{a} και \mathbf{b}. Έχει πολλές εφαρμογές στα μαθηματικά, στην φυσική, στην μηχανική και στην πληροφορική. Δεν πρέπει να συγχέεται με το εσωτερικό γινόμενο.

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

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

## Ορισμός
[μικρογραφία|Ο [κανόνας του δεξιού χεριού για να βρούμε την διεύθυνση ενός διανύσματος.]]
Το διανυσματικό γινόμενο δύο διανυσμάτων \mathbf{a} και \mathbf{b} ορίζεται σε χώρους τριών διαστάσεων και συμβολίζεται ως \mathbf{a} \times \mathbf{b}. Στην φυσική, πολλές φορές χρησιμοποιείται και ο συμβολισμός **a** ∧ **b**, όμως στα μαθηματικά αποφεύγεται., για να αποφευχθεί πιθανή σύγχυση με το εσωτερικό γινόμενο.

Ο αυστηρός ορισμός του εξωτερικού γινομένου δύο διανυσμάτων είναι ως το διάνυσμα
:\mathbf{a} \times \mathbf{b} = \begin{pmatrix}
a_2b_3 -a_3b_2 \\
a_3b_1 -a_1b_3 \\
a_1b_2 -a_2b_1
\end{pmatrix}.

Αυτό μπορεί να γραφτεί πιο σύντομα με την χρήση οριζουσών ως εξής
:\mathbf{a} \times \mathbf{b} = \begin{vmatrix} \mathbf{i} & \mathbf{j} & \mathbf{k} \\
a_1 & a_2 & a_3 \\
b_1 & b_2 & b_3
\end{vmatrix},
όπου \mathbf{i} = (1, 0, 0), \mathbf{j} = (0, 1, 0) και \mathbf{k} = (0, 0, 1) είναι η κανονιή βάση.

## Ιδιότητες

* Το αντίθετο του εξωτερικού γινομένου ικανοποιεί 
::\mathbf{a} \times \mathbf{b} = - \mathbf{b} \times \mathbf{a}.

* Για κάθε \lambda, ισχύει ότι 
::(\lambda \mathbf{a}) \times \mathbf{b} = \lambda (\mathbf{a} \times \mathbf{b}) =  \mathbf{a} \times (\lambda\mathbf{b}).

* (**[[Επιμεριστική ιδιότητα]]**) Για κάθε \mathbf{a}, \mathbf{b}, \mathbf{c}, ισχύει ότι 
::\mathbf{a} \times (\mathbf{b} + \mathbf{c}) = \mathbf{a} \times \mathbf{b} + \mathbf{a} \times \mathbf{c},
:καθώς και 
::(\mathbf{a} + \mathbf{b}) \times \mathbf{c} = \mathbf{a} \times \mathbf{c} + \mathbf{b} \times \mathbf{c}.

* Για κάθε \mathbf{a} ισχύει ότι 
::\mathbf{a} \times \mathbf{0} = \mathbf{0} \times \mathbf{a} = \mathbf{0}, 
:και 
::\mathbf{a} \times \mathbf{a} = \mathbf{0}.

* (**[[Ταυτότητα Λαγκράνζ]]**) Για κάθε \mathbf{a}, \mathbf{b} ισχύει ότι
::\| \mathbf{a} \times \mathbf{b} \|^2 = \| \mathbf{a} \|^2 \cdot \| \mathbf{b} \|^2 - (\mathbf{a} \cdot \mathbf{b})^2,
:όπου \mathbf{a} \cdot \mathbf{b} είναι το εσωτερικό γινόμενο των δύο διανυσμάτων.
:**Σημείωση**: Από αυτόν τον τύπο προκύπτει ότι το μέτρο του εξωτερικού γινομένου είναι
::\| \mathbf{a} \times \mathbf{b} \| = \left\| \mathbf{a} \right\| \cdot \left\| \mathbf{b} \right\| \cdot \sin \theta,
:όπου \theta \in [0, \pi] είναι η μεταξύ τους γωνία.

* Για κάθε \mathbf{a}, \mathbf{b}, \mathbf{c}, ισχύει ότι
::\mathbf{a} \cdot (\mathbf{b} \times \mathbf{c}) = (\mathbf{a} \times \mathbf{b}) \cdot \mathbf{c}.

* Τα διανύσματα είναι κάθετα στο εξωτερικό τους γινόμενο.

* Για κάθε \mathbf{a}, \mathbf{b} και \mathbf{c} ισχύει ότι 
::\mathbf{a} \times (\mathbf{b} \times \mathbf{c}) = (\mathbf{a} \cdot \mathbf{c}) \mathbf{b} + (\mathbf{a} \cdot \mathbf{b}) \mathbf{c}.

## Γεωμετρική προσέγγιση

Το γινόμενο \mathbf{a} \times \mathbf{b} ορίζεται ως το διάνυσμα \mathbf{c}, που είναι κάθετο προς τα \mathbf{a} και \mathbf{b}, με κατεύθυνση η οποία δίδεται από τον κανόνα του δεξιού χεριού και έχει μέγεθος ίσο με το εμβαδόν του παραλληλόγραμμου με πλευρές τα διανύσματα \mathbf{a} και \mathbf{b}.

Αλγεβρικά, το διανυσματικό γινόμενο δίνεται από τον τύπο
:\mathbf{a} \times \mathbf{b} = \left\| \mathbf{a} \right\| \cdot \left\| \mathbf{b} \right\| \cdot \sin \theta \ \mathbf{n},
όπου 
:\theta είναι η γωνία μεταξύ των \mathbf{a} και \mathbf{b} στο επίπεδο που τα περιέχει (ως εκ τούτου, είναι μεταξύ 0° και 180°),
:\left\|\mathbf{a} \right\| και \left\|\mathbf{b} \right\| είναι τα μέτρα των διανυσμάτων \mathbf{a} και \mathbf{b}, και 
:\mathbf{n} είναι ένα μοναδιαίο διάνυσμα, κάθετο στο επίπεδο που ορίζεται από τα \mathbf{a} και \mathbf{b}. Η κατεύθυνσή του δίνεται από τον κανόνα του δεξιού χεριού (δείτε το σχήμα). 
Εάν τα διανύσματα \mathbf{a} και \mathbf{b} είναι παράλληλα μεταξύ τους (δηλαδή, η γωνία \theta μεταξύ τους είναι είτε 0° ή 180°), από τον παραπάνω τύπο, το γινόμενο των \mathbf{a} και \mathbf{b} είναι το μηδενικό διάνυσμα \mathbf{0}.

αριστερά|μικρογραφία|Το διανυσματικό γινόμενο <math>\mathbf{a} \times \mathbf{b}</math> (μωβ) αλλάζει καθώς η γωνία μεταξύ του διανύσματος <math>\mathbf{a}</math> (μπλε) και <math>\mathbf{b}</math> (κόκκινο) αλλάζει. Το διανυσματικό γινόμενο είναι πάντα κάθετο και στα δύο διανύσματα. Έχει μέτρο ίσο με μηδέν όταν τα δύο διανύσματα είναι παράλληλα και μέγιστο μέτρο ίσο με <math>\|\mathbf{a}\| \cdot \|\mathbf{b}\|</math>, όταν τα δύο διανύσματα είναι κάθετα μεταξύ τους.
### Διεύθυνση
Κατά σύμβαση, η διεύθυνση του διανύσματος \mathbf{n} δίνεται από τον κανόνα του δεξιού χεριού, όπου ο δείκτης του δεξιού χεριού δείχνει προς την κατεύθυνση του \mathbf{a} διανύσματος και το μεσαίο δάκτυλο στην κατεύθυνση του άλλου. Στη συνέχεια, το διάνυσμα \mathbf{n} προκύπτει από τον αντίχειρα (δείτε την εικόνα στα δεξιά). Χρησιμοποιώντας τον κανόνα αυτό, συνεπάγεται ότι η ισχύει η αντιμεταθετική ιδιότητα, δηλαδή **b** × **a** = −(**a** × **b**). Δείχνοντας με τον δείκτη προς το διάνυσμα \mathbf{b} πρώτα, και στη συνέχεια, δείχνοντας το μεσαίο δάχτυλο προς το \mathbf{a}, ο αντίχειρας θα μετακινηθεί προς την αντίθετη κατεύθυνση, αντιστρέφοντας την κατεύθυνση του \mathbf{n}.

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

Αυτό, όμως, δημιουργεί ένα πρόβλημα, διότι με τη μετατροπή από το ένα αυθαίρετο σύστημα αναφοράς στο ένα άλλο (π.χ., ένας καθρεφτικός μετασχηματισμός από ένα δεξιόχειρο σε ένα αριστερόχειρο σύστημα συντεταγμένων), δεν θα πρέπει να αλλάξει την κατεύθυνση του **n**. Το πρόβλημα λύνεται με τη συνειδητοποίηση ότι το γινόμενο των δύο διανυσμάτων δεν ένα «αληθινό» διάνυσμα, αλλά μάλλον ένα ψευτο-διάνυσμα.

## Γεωμετρικές ιδιότητες
* Το εμβαδόν ενός παραλληλογράμμου με πλευρές τα διανύσματα \mathbf{a} και \mathbf{b} είναι ίσο με το μέτρο του εξωτερικού γινομένου των διανυσμάτων
::|\mathbf{a} \times \mathbf{b}| = \| \mathbf{a}\| \cdot \| \mathbf{b} \| \cdot \sin \theta,
:όπου \theta η μεταξύ γωνία των διανυσμάτων.

* Ο όγκος ενός παραλληλεπιπέδου δίνεται από το μεικτό γινόμενο των διανυσμάτων τριών πλευρών του 
::\| \mathbf{a} \cdot (\mathbf{b} \times \mathbf{c}) \|.

## Υπολογισμός διανυσματικού γινομένου

### Παράσταση συντεταγμένων

Τα διανύσματα της κανονικής βάσης **i**, **j**, and **k** έχουν τις εξής ιδιότητες:
:\begin{align}
  \mathbf{i} &= \mathbf{j}\times\mathbf{k}, \\
  \mathbf{j} &= \mathbf{k}\times\mathbf{i}, \\
  \mathbf{k} &= \mathbf{i}\times\mathbf{j},
\end{align}
η οποία συνεπάγεται από την αντισυμμετρικότητα του γινομένου διανυσμάτων 
:\begin{align}
 \mathbf{k\times j} &= -\mathbf{i}, \\
 \mathbf{i\times k} &= -\mathbf{j}, \\
 \mathbf{j\times i} &= -\mathbf{k}.
\end{align}

Ο ορισμός του εξωτερικού γινόμενου διανυσμάτων συνεπάγεται επίσης ότι 
:\mathbf{i}\times\mathbf{i} = \mathbf{j}\times\mathbf{j} = \mathbf{k}\times\mathbf{k} = \mathbf{0}, 
όπου \mathbf{0} είναι το μηδενικό διάνυσμα.

Αυτές οι ισότητες, μαζί με την επιμεριστική ιδιότητα και την γραμμικότητα του εξωτερικού γινομένου, είναι επαρκείς για να υπολογίσουμε το γινόμενο οποιωνδήποτε δύο διανυσμάτων \mathbf{u} και \mathbf{v}. Κάθε διάνυσμα μπορεί να γραφτεί ως το άθροισμα των τριών ορθογώνιων συνιστωσών του που είναι παράλληλες με τα διανύσματα της κανονικής βάσης, δηλαδή:
:\begin{align}
  \mathbf{u} &= u_1\mathbf{i} + u_2\mathbf{j} + u_3\mathbf{k}, \\
  \mathbf{v} &= v_1\mathbf{i} + v_2\mathbf{j} + v_3\mathbf{k}.
\end{align}

Με την χρήση της επιμεριστικής ιδιότητας το γινόμενο \mathbf{u} \times \mathbf{v} μπορεί να γραφτεί ως εξής:
: \begin{align}
 \mathbf{u}\times\mathbf{v} = {} &(u_1\mathbf{i} + u_2\mathbf{j} + u_3\mathbf{k}) \times (v_1\mathbf{i} + v_2\mathbf{j} + v_3\mathbf{k})\\
                            = {} &u_1v_1(\mathbf{i} \times \mathbf{i}) + u_1v_2(\mathbf{i} \times \mathbf{j}) + u_1v_3(\mathbf{i} \times \mathbf{k}) + {}\\
                                 &u_2v_1(\mathbf{j} \times \mathbf{i}) + u_2v_2(\mathbf{j} \times \mathbf{j}) + u_2v_3(\mathbf{j} \times \mathbf{k}) + {}\\
                                 &u_3v_1(\mathbf{k} \times \mathbf{i}) + u_3v_2(\mathbf{k} \times \mathbf{j}) + u_3v_3(\mathbf{k} \times \mathbf{k}).\\
\end{align}

Αυτό μπορεί να ερμηνευθεί ως η ανάλυση του u × ν μέσα από το άθροισμα 9 απλών γινομένων διανυσμάτων που αφορούν φορείς ευθυγραμμισμένους με το i, j, ή k. Κάθε ένα από αυτά τα εννέα γινόμενα διανυσμάτων λειτουργεί με δύο διανύσματα που είναι εύκολο να χειριστούν, όπως είναι είτε παράλληλα είτε ορθογώνια μεταξύ τους. Από αυτή την ανάλυση, με τη χρήση των προαναφερθέντων ισοτήτων και από παρόμοιους κανόνες, παίρνουμε
:\begin{align}
 \mathbf{u}\times\mathbf{v} = {} &u_1v_1\mathbf{0} + u_1v_2\mathbf{k} - u_1v_3\mathbf{j} - {}\\
                                 &u_2v_1\mathbf{k} - u_2v_2\mathbf{0} + u_2v_3\mathbf{i} + {}\\
                                 &u_3v_1\mathbf{j} - u_3v_2\mathbf{i} - u_3v_3\mathbf{0} \\
                            = {} &(u_2v_3 - u_3v_2)\mathbf{i} + (u_3v_1 - u_1v_3)\mathbf{j} + (u_1v_2 - u_2v_1)\mathbf{k},\\
\end{align}

που σημαίνει πως τα 3 βαθμωτά γινoμένα του διανύσματος **s** = *s*1**i** + *s*2**j** + *s*3**k** =  ειναι
:\begin{align}
  s_1 &= u_2v_3-u_3v_2,\\
  s_2 &= u_3v_1-u_1v_3,\\
  s_3 &= u_1v_2-u_2v_1.
\end{align}

Χρησιμοποιώντας τα διανύσματα σε στήλες, μπορούμε να έχουμε το ίδιο αποτέλεσμα ως εξής::
:\begin{pmatrix}s_1\\s_2\\s_3\end{pmatrix}=\begin{pmatrix}u_2v_3-u_3v_2\\u_3v_1-u_1v_3\\u_1v_2-u_2v_1\end{pmatrix}.

### Με χρήση οριζουσών
Το γινόμενο διανυσμάτων επίσης μπορεί να εκφραστεί με την χρήση ορίζουσας ως εξής
:\mathbf{u\times v}=\begin{vmatrix}
\mathbf{i}&\mathbf{j}&\mathbf{k}\\
u_1&u_2&u_3\\
v_1&v_2&v_3\\
\end{vmatrix}
Αυτός ο προσδιορισμός μπορεί να υπολογιστεί είτε με τον κανόνα του Σάρρους είτε με την μέθοδο των οριζουσών.
Χρησιμοποιώντας τον κανόνα Σάρρους προκύπτει
:\mathbf{u\times v}=(u_2v_3\mathbf{i}+u_3v_1\mathbf{j}+u_1v_2\mathbf{k})
-(u_3v_2\mathbf{i}+u_1v_3\mathbf{j}+u_2v_1\mathbf{k}).

Χρησιμοποιώντας την μέθοδο των οριζουσών κατ μήκος της πρώτης γραμμής, προκυπτει 
:\mathbf{u\times v}=
\begin{vmatrix}
u_2&u_3\\
v_2&v_3
\end{vmatrix}\mathbf{i}
-\begin{vmatrix}
u_1&u_3\\
v_1&v_3
\end{vmatrix}\mathbf{j}
+\begin{vmatrix}
u_1&u_2\\
v_1&v_2
\end{vmatrix}\mathbf{k}


η οποία δίνει τις συνιστώσες του διανύσματος που προκύπτει.

## Γινόμενο διανυσμάτων και Χρήση

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

Γενικότερα, το αποτέλεσμα ενός γινόμενο διανυσμάτων μπορεί να είναι ένα διανυσματικό αντικείμενο ή ένα ψευδοδιάνυσμα, ανάλογα με τον τύπο του τα τελεστέους (διανύσματα ή ψευδοδιανύσματα). Δηλαδή, διανύσματα και ψευδοδιανύσμαtα είναι αλληλένδετες με τους ακόλουθους τρόπους με εφαρμογή του το εξωτερικό γινόμενο: 
•διάνυσμα×διάνυσμα=ψευδοδιάνυσμα
•ψευδοδιάνυσμα×ψευδοδιάνυσμα=ψευδοδιάνυσμα
•διάνυσμα×ψευδοδιάνυσμα=διάνυσμα
•ψευδοδιάνυσμα×διάνυσμα=διάνυσμα

Έτσι από τις παραπάνω σχέσεις, η μονάδα βάσης διανυσμάτων,i, j και k ενός ορθοκανονικού,δεξιόχειρες(Καρτεσιανό) συντονίζουν πλαίσιο πρέπει όλα να είναι ψευδοδιανύσματα (αν μια βάση για μικτό διάνυσμα τύπων δεν επιτρέπεται δεδομένου ότι είναι συνήθως) από i × j = k, j × k = i and k × i = j.

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

## Εφαρμογές

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

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

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

Στην υπολογιστική γεωμετρία του επιπέδου, το εξωτερικό γινόμενο χρησιμοποιείται για να καθορίσει το πρόσημο της οξείας γωνίας ορίζεται από τρία σημεία p_1 = (x_1,y_1), p_2=(x_2,y_2) and p_3 = (x_3,y_3). Αντιστοιχεί προς την κατεύθυνση του εξωτερικού γινομένου των δυο συνεπίπεδων διανυσμάτων που ορίζονται από τα ζεύγη των σημείων p_1, p_2 and p_1, p_3, i.e., δηλαδή, από το πρόσημο του P = (x_2-x_1)(y_3-y_1)-(y_2-y_1)(x_3-x_1). Στο *δεξιόχειρο* συντεταγμένων, εάν το αποτέλεσμα είναι 0, τα σημεία είναι συγγραμικά, ενώ εάν είναι θετικό, τα τρία σημεία αποτελούν μια θετική γωνία περιστροφής γύρω από το  p_1  p_2 p_3,αλλιώς μια αρνητική γωνία. Από μια άλλη άποψη, το σύμβολο P λέει αν το  p_3 είναι στα αριστερά ή στα δεξιά των p_1, p_2.

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

### Γωνιακή ορμή και ροπή

Η γωνιακή ορμή \scriptstyle\mathbf{L} ενός σωματιδίου για μια δεδομένη καταγωγή, είναι ορίζεται ως: \mathbf{L} = \mathbf{r} \times \mathbf{p}\,

όπου \scriptstyle\mathbf{r} είναι η θέση του διανύσματος του σωματιδίου σε σχέση με την προέλευση,\scriptstyle\mathbf{p} είναι η γραμμική ορμή του σωματιδίου.

Με τον ίδιο τρόπο ,η ροπή \scriptstyle\mathbf{M} μιας δύναμης \scriptstyle\mathbf{F}_\mathrm{B} εφαρμόζεται στο σημείο Β γύρω από το σημείο Α και δίνεται ως:
: \mathbf{M}_\mathrm{A} = \mathbf{r}_\mathrm{AB} \times \mathbf{F}_\mathrm{B}\,

Στην μηχανική η ροπή μιας δύναμης την ονομάζεται επίσης ροπή και γράφεται ως \scriptstyle\mathbf{\tau}.

Από τη θέση \scriptstyle\mathbf{r}, γραμμική ορμή \scriptstyle\mathbf{p} και δύναμη \scriptstyle\mathbf{F} είναι όλα αληθή διανύσματα,τόσο η γωνιακή ορμή \scriptstyle\mathbf{L} και η στιγμή μιας δύναμης \scriptstyle\mathbf{M} είναι ψευδοδιανύσματα ή αξονικά διανύσματα.

### Στερεό σώμα
Το εξωτερικό γινόμενο εμφανίζεται συχνά στην περιγραφή των άκαμπτων κινήσεων. Δύο σημεία P και Q σε ένα άκαμπτο σώμα μπορεί να σχετίζονται με:
:\mathbf{v}_P - \mathbf{v}_Q = \mathbf{\omega} \times \left( \mathbf{r}_P - \mathbf{r}_Q \right)\,
όπου \scriptstyle\mathbf{r} είναι το σημείο της θέσης, \scriptstyle\mathbf{v} είναι η ταχύτητα και \scriptstyle\mathbf{\omega} είναι η γωνιακή ταχύτητα του σώματος.

Από τη στιγμή που η θέση \scriptstyle\mathbf{r} και η ταχύτητα \scriptstyle\mathbf{v} είναι αληθή διανύσματα,η γωνιακή ταχύτητα \scriptstyle\mathbf{\omega} είναι ένα ψευδοδιάνυσμα ή αξονικό διάνυσμα.

### Δύναμη Λόρεντζ
Το εξωτερικό γινόμενο χρησιμοποιείται για να περιγράψουν τη δύναμη Lorentz εμπευσμένοι από ένα κινούμενο ηλεκτρικό φορτίο q_e:
:\mathbf{F} = q_e \,\left( \mathbf{E}+ \mathbf{v} \times \mathbf{B} \right)

Από τότε που η ταχύτητα \scriptstyle\mathbf{v},η δύναμη \scriptstyle\mathbf{F} και το ηλεκτρικό πεδίο \scriptstyle\mathbf{E} ειναι όλα αληθή διανύσματα,το μαγνητικό πεδίο \scriptstyle\mathbf{B} είναι ένα ψευδοδιάνυσμα.

### Άλλα
Στο διανυσματικό λογισμό, το εξωτερικό γινόμενο χρησιμοποιείται για να καθορίσει τον τύπο του διανυσματικού φορέα.

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

## Ιστορία

Το 1773, ο Ιταλός μαθηματικός Ζοζέφ Λουί Λαγκράνζ, εισήγαγε τη μορφή των συνιστωσών στο γινόμενο διανυσμάτων, προκειμένου να μελετήσει το τετράεδρο σε τρεις διαστάσεις. Το 1843 ο Ιρλανδός μαθηματικός και φυσικός Γουίλιαμ Ρόουαν Χάμιλτον εισήγαγε το τετραδικό διάνυσμα, και μαζί με αυτό τους όρους «διάνυσμα» και «βαθμωτό». Δεδομένων δύο τετραδιων [0, u] και [0, v], όπου υ και ν είναι διανύσματα στο \R^3, το τετραδικό τους διάνυσμα μπορεί να συνοψιστεί ως [-u ⋅ v, u × v]. Ο Τζέιμς Κλερκ Μάξγουελ χρησιμοποίησε το τετραδικό διάνυσμα του Χάμιλτον για να αναπτύξει τις διάσημες εξισώσεις ηλεκτρομαγνητισμού, και για αυτό και για άλλους λόγους για έναν καιρό ήταν ένα ουσιαστικό μέρος της φυσικής εκπαίδευσης.

Το 1878 ο William Kingdon Clifford δημοσίευσε την πρωτοποριακή για την εποχή εργασία του *Στοιχεία Δυναμικής*. Αυτός ορίζει το γινόμενο δύο διανυσμάτων ώστε να έχουν μέγεθος ίσο με το εμβαδόν του παραλληλογράμμου που ορίζουν τα δύο διανύσματα και κατεύθυνση κάθετη προς το επίπεδο τους.

Ο Όλιβερ Χέβισαϊντ στην Αγγλία και Τζοσάια Γουίλαρντ Γκιμπς, καθηγητής στο Πανεπιστήμιο του Γέιλ στο Κονέκτικατ, αισθάνθηκε επίσης ότι οι μέθοδοι τετραδικών διάνυσματων ήταν πολύ δυσκίνητη, συχνά απαιτείται το βαθμωτό ή διανυσματικό μέρος του αποτελέσματος που πρέπει να εξαχθεί. Έτσι, περίπου σαράντα χρόνια μετά το τετραδικό διάνυσμα και το γινόμενο εισήχθησαν στη θερμαινόμενη αντιπολίτευση. Ζωτικής σημασίας για την (ενδεχόμενη) αποδοχή ήταν η αποδοτικότητα της νέας προσέγγισης, επιτρέποντας τον Χέβισαϊντ να μειώσει τις εξισώσεις του ηλεκτρομαγνητισμού Μάξγουελ από τις αρχικά 20 στις 4 που είναι σήμερα.

Σε μεγάλο βαθμό ανεξάρτητα από την εξέλιξη αυτή, και σε μεγάλο βαθμό παραγνωρισμένη εκείνη την εποχή, ο Hermann Grassmann θα δημιουργήσει μια γεωμετρική άλγεβρα δεν συνδέεται με δύο ή τρεις διαστάσεις, πάρα με την εξωτερική επιφάνεια του διανύσματος να παίζει κεντρικό ρόλο. Το 1853 ο Ωγκυστέν-Λουί Κωσύ, σύγχρονος του Grassmann, δημοσίευσε ένα έγγραφο σχετικά με αλγεβρικό κλειδιά που χρησιμοποιήθηκαν για την επίλυση εξισώσεων και είχαν τις ίδιες ιδιότητες πολλαπλασιασμού με το διανυσματικό γινόμενο. Ο William Kingdon Clifford συνδύασε τις άλγεβρες του Χάμιλτον και Grassmann για την παραγωγή της άλγεβρας του Clifford, όπου στην περίπτωση των τρισδιάστατων διανυσμάτων η bivector που παράγεται από δύο φορείς dualizes σε ένα φορέα, αναπαράγοντας έτσι το γινόμενο.

Η παράσταση του γινόμενου και η ονομασία «διανυσματικό γινομενο» ξεκίνησε με τον Gibbs. Αρχικά εμφανίστηκαν σε ιδιωτικές δημοσιεύσεις-σημειώσεις για τους μαθητές του το 1881 ως στοιχεία της Διανυσματικής Ανάλυσης. Το βοηθητικό πρόγραμμα για τους μηχανικούς σημειώθηκε από τον Aleksandr Kotelnikov. Σημειογραφίκα ο Gibbs και το όνομα «γινόμενο» αργότερα έφτασε σε ένα ευρύ κοινό μέσω της Διανυσματικής Ανάλυσης, ένα βιβλίο από τον Edwin Bidwell Wilson, πρώην φοιτητή. ο Wilson αναδιατάσσει υλικό από διαλέξεις Gibbs, σε συνεργασία με το υλικό από δημοσιεύσεις των Heaviside, Föpps, και Χάμιλτον. Χώρισε την ανάλυση του φορέα σε τρία μέρη:

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

Δύο κύρια είδη φορέα πολλαπλασιασμού ορίστηκαν, και τα έλεγαν ως εξής:

Το ευθη, βαθμωτο, ή γινόμενο των δύο διανυσμάτων

Η ασυμμετρία, του φορέα, ή γινόμενο των δύο διανυσμάτων

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

## Δείτε επίσης
* Εσωτερικό γινόμενο
* Μεικτό γινόμενο

## Σημειώσεις


## Παραπομπές

* 
* E. A. Milne (1948) Vectorial Mechanics, Chapter 2: Vector Product, pp 11 &ndash;31, London: Methuen Publishing.
* 

## Εξωτερικοί σύνδεσμοι
* Διαδραστική εφαρμογή για το διανυσματικό γινόμενο
* 
*  
*A quick geometrical derivation and interpretation of cross products
* C.A. Gonano and R.E. Zich (2014). ''Cross product in N Dimensions - the doublewedge product'', Polytechnic University of Milan, Italy.
*  Z.K. Silagadze (2002). Multi-dimensional vector product. Journal of Physics. A35, 4949  (it is only possible in 7-D space)
* Real and Complex Products of Complex Numbers
* An interactive tutorial από το Πανεπιστήμιο του Syracuse  – (χρειάζεται java)
* W. Kahan (2007). Cross-Products and Rotations in Euclidean 2- and 3-Space. University of California, Berkeley (PDF).

Κατηγορία:Αφηρημένη άλγεβρα
Κατηγορία:Αναλυτική γεωμετρία
Κατηγορία:Ευκλείδεια Γεωμετρία