Διανυσματικός χώρος

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

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

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

## Εισαγωγή και ορισμός
### Παράδειγμα πρώτο: Βέλη στο επίπεδο
Το πρώτο παράδειγμα ενός διανυσματικού χώρου αποτελείται από τα βέλη σε ένα σταθερό επίπεδο, ξεκινώντας από ένα σταθερό σημείο. Αυτό χρησιμοποιείται στη φυσική για να περιγράψει τις δυνάμεις και τις ταχύτητες. Έχοντας δυο τέτοια βέλη, \mathbf{v} και \mathbf{w}, η διαγώνιος του παραλληλογράμμου που σχηματίζουν, είναι επίσης ένα βέλος που ξεκινάει από το ίδιο σημείο ορισμού. Αυτό το διαγώνιο βέλος το ονομάζουμε *άθροισμα* και το συμβολίζουμε με \mathbf{v}+\mathbf{w}. Στην ειδική περίπτωση που τα δύο βέλη έχουν την ίδια γραμμή διεύθυνσης, το άθροισμα τους είναι εκείνο το βέλος που έχει μέγεθος (ή μέτρο) ίσο με το αλγεβρικό άθροισμα των μέτρων των δύο αρχικών βελών, δηλαδή τα μέτρα προστίθενται όταν τα διανύσματα έχουν την ίδια κατεύθυνση και αφαιρούνται όταν έχουν την αντίθετη.
Μια άλλη διεργασία που μπορεί να επιτευχθεί με τα βέλη είναι η αλλαγή κλίμακας στην οποία ένας οποιουδήποτε θετικός πραγματικός αριθμός \alpha μέσο του πολλαπλασιασμού του με ένα βέλος \mathbf{v} έχει σαν αποτέλεσμα ένα άλλο βέλος που έχει την ίδια φορά με το \mathbf{v} αλλά επεκτείνεται (\alpha>1) ή συρρικνώνεται (\alpha) σύμφωνα με το μήκος του \alpha. Η πράξη αυτή ονομάζεται πολλαπλασιασμός του \mathbf{v} με το βαθμωτό μέγεθος \alpha και συμβολίζεται με \alpha \mathbf{v}. Αν ο αριθμός \alpha είναι αρνητικός, τότε το \alpha \mathbf{v} ορίζεται ως βέλος που δείχνει προς την αντίθετη κατεύθυνση. Οι παρακάτω εικόνες δείχνουν δυο παραδείγματα: αν \alpha=2, το διάνυσμα που προκύπτει \alpha \mathbf{w} έχει την ίδια κατεύθυνση με το \mathbf{w}, αλλά είναι επεκτεταμένο κατά το διπλάσιο μήκος του (δεξιά εικόνα). Ισοδύναμα 2\mathbf{w} είναι το άθροισμα \mathbf{w}+\mathbf{w}. Από την άλλη, (-1)\mathbf{v}= -\mathbf{v}, έχει την αντίθετη κατεύθυνση αλλά το ίδιο μήκος με το \mathbf{v}.


Αρχείο:Vector_addition3.svg
Αρχείο:Scalar_multiplication.svg


### Παράδειγμα δεύτερο: Διατεταγμένα ζεύγη αριθμών
Ένα δεύτερο παράδειγμα ενός διανυσματικού χώρου παρέχεται από ζεύγη πραγματικών αριθμών x και y. (Η σειρά των συνιστωσών x και y είναι καθοριστική, γι' αυτό το λόγο ένα τέτοιο ζεύγος ονομάζεται διατεταγμένο). Το ζεύγος αυτό γράφεται ως (x,y). Η πρόσθεση δυο ζευγών και ο πολλαπλασιασμός ενός με έναν αριθμό απεικονίζεται παρακάτω:

:
(x_1,y_1)+(x_2,y_2)=(x_1+x_2,y_1+y_2)


και

:
\alpha (x,y)=(\alpha x,\alpha y)


### Ορισμός
Ένας διανυσματικός χώρος πάνω από ένα σώμα \mathcal{K} είναι ένα σύνολο V εφοδιασμένο με δυο πράξεις, οι οποίες ικανοποιούν τα οχτώ αξιώματα που παρατίθενται παρακάτω. Τα στοιχεία του συνόλου V ονομάζονται *διανύσματα*. Τα στοιχεία του συνόλου \mathcal{K} ονομάζονται *βαθμωτά*. Στα δύο παραπάνω παραδείγματα, το σύνολο μας αποτελείται από τα επίπεδα βέλη με σταθερό σημείο εκκίνησης και τα ζεύγη των πραγματικών αριθμών, αντίστοιχα, ενώ το σώμα μας είναι οι πραγματικοί αριθμοί. 

Για να χαρακτηρισθεί ένας χώρος ως διανυσματικός , το σύνολο V και οι πράξεις της πρόσθεσης και του πολλαπλασιασμού πρέπει να τηρούν ορισμένες προϋποθέσεις που ονομάζονται αξιώματα. Στην παρακάτω λίστα, έστω \mathbf{u}, \mathbf{v} και \mathbf{w} είναι αυθαίρετα διανύσματα στο V, και \alpha και \beta βαθμωτά στο \mathcal{K}.

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

:
(x_{_V},y_{_V})+(x_{_W},y_{_W})=(x_{_W},y_{_W})+(x_{_V},y_{_V}).


Ομοίως, στο γεωμετρικό παράδειγμα των διανυσμάτων ως βέλη, \mathbf{v} + \mathbf{w} = \mathbf{w} + \mathbf{v}, δεδομένου ότι το παραλληλόγραμμο που καθορίζει το άθροισμα των διανυσμάτων είναι ανεξάρτητο της σειράς των διανυσμάτων. Όλα τα άλλα αξιώματα μπορούν να ελεγχθούν με παρόμοιο τρόπο και στα δύο παραδείγματα.

Η αφαίρεση μεταξύ δυο διανυσμάτων και η διαίρεση με \alpha (μη μηδενικό) βαθμωτό μπορούν να οριστούν ως εξής:

:
    \begin{align}
        \mathbf{v} - \mathbf{w} &= \mathbf{v} + (-\mathbf{w}) \\
        \frac{\mathbf{v}}{a} &= \frac{1}{a}\mathbf{v}.
    \end{align}


Όταν το βαθμωτό σώμα \mathcal{K} είναι οι πραγματικοί αριθμοί \mathbb{R}, ο διανυσματικός χώρος ονομάζεται *πραγματικός διανυσματικός χώρος*. Όταν το βαθμωτό σώμα είναι των μιγαδικών αριθμών, αυτό ονομάζεται *μιγαδικός διανυσματικός χώρος*. Αυτές οι δύο περιπτώσεις είναι εκείνες που χρησιμοποιούνται πιο συχνά στη μηχανική. Ο πιο γενικός ορισμός ενός διανυσματικού χώρου, επιτρέπει βαθμωτά να είναι τα στοιχεία του οποιουδήποτε σταθερού σώματος \mathcal{K}. Η έννοια είναι γνωστή τότε ως ένα *Κ-διανυσματικός χώρος* ή *διανυσματικός χώρος επί του <math>\mathcal{K}</math>*. Ένα σώμα είναι, ουσιαστικά, ένα σύνολο αριθμών που διαθέτει τις πράξεις της πρόσθεσης, της αφαίρεσης, του πολλαπλασιασμού και της διαίρεσης. Για παράδειγμα, οι ρητοί αριθμοί αποτελούν επίσης ένα σώμα.

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

Το ότι ότι η πρόσθεση και βαθμωτός πολλαπλασιασμός διανυσμάτων είναι δυαδικές πράξεις, οδηγεί στη δημιουργία μια νέας ιδιότητα που χαρακτηρίζει τις δυο αυτές πράξεις *κλειστές*, δηλαδή ότι \mathbf{u} + \mathbf{v} και αv ανήκουν στο V για κάθε \alpha \in \mathcal{K}, και \mathbf{u}, \mathbf{v} \in V.

Στην αφηρημένη άλγεβρα, τα πρώτα τέσσερα αξιώματα μπορούν να υπαχθούν απαιτώντας το σύνολο των διανυσμάτων να είναι μια αβελιανή ομάδα κάτω από ένα μόνο αξίωμα. Τα υπόλοιπα αξιώματα δίνουν μια συγκεκριμένη ομάδα την δομή Κ-module. Με άλλα λόγια, υπάρχει ένας δακτύλιος ομομορφισμού f από το πεδίο \mathcal{K} στο δακτύλιο ενδομορφισμού της ομάδας των διανυσμάτων. Τότε ο βαθμωτός πολλαπλασιασμός \alpha\mathbf{v} ορίζεται ως (f (\alpha)) (\mathbf{v}).

Υπάρχει μια σειρά από συνέπειες των αξιωμάτων των διανυσματικών χώρων. Κάποιες από αυτές προέρχονται από την στοιχειώδη θεωρία της ομάδας, που εφαρμόζεται στο σύνολο των διανυσμάτων. Για παράδειγμα, το μηδενικό διάνυσμα \mathbf{0} του V και το πρόσθετο αντίστροφης -\mathbf{v} για κάθε διάνυσμα \mathbf{v} είναι μοναδικά. Άλλες ιδιότητες απορρέουν από την επιμεριστική, για παράδειγμα, \alpha \mathbf{v}=\mathbf{0} αν και μόνο αν \alpha = 0  ή \mathbf{v}=\mathbf{0}.

## Παραδείγματα

### Χώροι συντεταγμένων
Το πιο απλό παράδειγμα διανυσματικών χώρων πάνω από ένα σώμα \mathcal{K} είναι το ίδιο το σώμα, εφοδιασμένο με τις συνήθεις πράξεις της πρόσθεση και του πολλαπλασιασμού. Γενικότερα, ένας διανυσματικός χώρος μπορεί να αποτελείται από n-πλειάδες (ακολουθίες μήκους n) των στοιχείων του \mathcal{K}, όπως:

:
(\alpha_1,\alpha_2,\dots,\alpha_n), \text{όπου } \forall \alpha_i \in \mathcal{K}


Ένας διανυσματικός χώρος που αποτελείται από το σύνολο των n-πλειάδων ενός πεδίου \mathcal{K} είναι γνωστός ως ένας χώρος συντεταγμένων, που συνήθως συμβολίζονται με \mathcal{F}^n. Η περίπτωση n = 1 είναι το προαναφερθέν απλούστερο παράδειγμα, στο οποίο το σώμα \mathcal{K} θεωρείται επίσης ως ένας διανυσματικός χώρος πάνω από τον εαυτό του. Η περίπτωση \mathcal{F}=\mathbb{R} και n = 2 συζητήθηκε στο παράδειγμα 2 παραπάνω. 

### Οι μιγαδικοί αριθμοί και επεκτεταμένα σώματα
Το σύνολο των μιγαδικών αριθμών \mathbb{C}, δηλαδή, οι αριθμοί που μπορούν να γραφτούν στη μορφή x + iy για τους πραγματικούς αριθμούς x και y, όπου i = \sqrt{-1} να είναι η φανταστική μονάδα, σχηματίζουν ένα διανυσματικό χώρο πάνω από τους πραγματικούς αριθμούς με τη συνήθη πρόσθεση και πολλαπλασιασμό: (x + iy) + (\alpha + i\beta) = (\alpha + x) + i (y + \beta) και \gamma \cdot (x + iy) = (\gamma \cdot x) + i (\gamma \cdot y) για πραγματικούς αριθμούς x,y,\alpha,\beta,\gamma. Τα αξιώματα των διανυσματικών χώρων ισχύουν και για τους μιγαδικούς μιας και ισχύουν οι ίδιοι κανόνες για τις αριθμητικές πράξεις και στους μιγαδικούς.

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

Γενικότερα, οι επεκτάσεις σωμάτων παρέχουν μια άλλη κατηγορία παραδειγμάτων των διανυσματικών χώρων: ένα σώμα \mathcal{K} που περιέχει ένα μικρότερο σώμα \mathcal{E}, είναι ένας Ε-διανυσματικός χώρος, με τον δεδομένο πολλαπλασιασμό και τις λειτουργίες της πρόσθεση του \mathcal{K}. Για παράδειγμα οι μιγαδικοί αριθμοί είναι ένας διανυσματικός χώρος πάνω από το \mathbb{R} και το επεκτεταμένο σώμα \mathbb{Q}(i\sqrt{5}) είναι διανυσματικός χώρος πάνω από το \mathbb{Q}.

### Συναρτησιακοί χώροι
Συναρτήσεις από οποιοδήποτε σταθερό σύνολο \Omega σε ένα σώμα \mathcal{K}, αποτελούν επίσης διανυσματικούς χώρους, εκτελώντας την πρόσθεση και τον βαθμωτό πολλαπλασιασμό σημειακά. Δηλαδή, το άθροισμα των δύο συναρτήσεις f και g είναι η συνάρτηση (f + g) και δίνεται από τον τύπο

:
(f + g)(w) = f(w) + g(w),


όμοια πραγματοποιείται και ο πολλαπλασιασμός. Οι αλγεβρικοί περιορισμοί μπορούν να δώσουν επίσης διανυσματικούς χώρους, για παράδειγμα ο διανυσματικός χώρος *Κ[x]* δίνεται από την πολυωνυμική συνάρτηση:

:
f(x)=r_0+r_1x+\dots + r_{n-1}x^{n-1}+r_n x^n \text{, όπου } \forall r_i \in \mathcal{K}.


### Γραμμικές εξισώσεις
Συστήματα ομογενών γραμμικών εξισώσεων είναι στενά συνδεδεμένα με διανυσματικούς χώρους, για παράδειγμα η λύση του συστήματος

:
    \begin{align}
        \alpha+3\beta+\gamma=0 \\
        4\alpha+2\beta+2\gamma=0
    \end{align}


δίνεται από τριάδες αυθαίρετων μεταβλητών \alpha, \beta=\frac{\alpha}{2},\gamma=-\frac{5\alpha}{2}. Επειδή τα αθροίσματα και τα βαθμωτά πολλαπλάσια των μεταβλητών ικανοποιούν τις ίδιες αναλογίες με τις αρχικές μεταβλητές, συνεπάγεται ότι και αυτά αποτελούν λύσεις του συστήματος, έτσι δημιουργείται ένας διανυσματικός χώρος. Οι πίνακες μπορούν να χρησιμοποιηθούν για να συμπυκνώσουμε πολλές γραμμικές εξισώσεις σε μία διανυσματική, δηλαδή 

:
\mathbf{Ax}=\mathbf{0}, 

όπου \mathbf{A} = \begin{bmatrix}
1 & 3 & 1 \\
4 & 2 & 2\end{bmatrix} είναι ο πίνακας που περιέχει τους συντελεστές των δοθέντων εξισώσεων, \mathbf{x} είναι το διάνυσμα (\alpha,\beta,\gamma), ως \mathbf{Ax} δηλώνεται το γινόμενο των πινάκων και \mathbf{0}=(0,0) το μηδενικό διάνυσμα. Σε παρόμοιο ύφος, οι λύσεις ομογενών γραμμικών διαφορικών εξισώσεων αποτελούν διανυσματικό χώρο. Για παράδειγμα

:
f*(x) + 2f'(x) + f(x) = 0
</math>

δίνει <math>f(x) = \alpha e^{-x} + \beta x e^{-x}</math>, όπου <math>\alpha,\beta</math> είναι αυθαίρετες σταθερές, και <math>e^x</math> είναι η [[Εκθετική συνάρτηση|φυσική εκθετική συνάρτηση]].

==Βάση και διάσταση==

[[Αρχείο:Vector_components_and_base_change.svg|200px|thumb|right|Ένα διάνυσμα <math>\mathbf{v}</math> στον <math>\mathbb{R}^2</math> (μπλε) εκφράζεται σε διαφορετικές βάσεις: χρησιμοποιώντας την [[κανονική βάση]] του <math>\mathbb{R}^2</math>, <math>\mathbf{v} = x\mathbf{e}_1+ y\mathbf{e}_2</math> (μαύρο), και χρησιμοποιώντας μία διαφορετική, όχι [[Ορθογωνιότητα|ορθογώνια]] βάση: <math>\mathbf{v} = \mathbf{f}_1 + \mathbf{f}_1</math> (κόκκινο)]]

Οι βάσεις επιτρέπουν την εισαγωγή [[Διατεταγμένο διάνυσμα|συντεταγμένων]] ως μέσο αναπαράστασης διανυσμάτων. Μια βάση είναι μια (πεπερασμένη ή μη πεπερασμένη) ομάδα <math>\mathcal{B}=\{\mathbf{b}_i\}_{i \in I}</math> διανυσμάτων <math>\mathbf{b}_i</math>, για ευκολία συχνά έχει ως δείκτες ένα [[σύνολο δεικτών]] <math>I</math> , που συνδέει όλο το χώρο και είναι [[Γραμμική ανεξαρτησία|γραμμικά ανεξάρτητη]]. «Σύνδεση όλου του χώρου» σημαίνει ότι κάθε διάνυσμα v μπορεί να εκφραστεί ως ένα πεπερασμένο άθροισμα (ονομάζεται [[γραμμικός συνδυασμός]])  των στοιχείων της βάσης:

:<math>
\mathbf{v}=\alpha_1 \mathbf{b}_{i1}+\alpha_2 \mathbf{b}_{i2}+\dots+\alpha_n \mathbf{b}_{in}
</math>

Όπου τα <math>\alpha_k</math> είναι βαθμωτά, ονομάζονται συντεταγμένες του διανύσματος <math>\mathbf{v}</math> ως προς τη βάση <math>\mathcal{B}</math> και <math>\mathbf{b}_{ik}</math> με <math>(k=1,\dots,n)</math> τα στοιχεία του <math>\mathcal{B}</math>. Γραμμική ανεξαρτησία σημαίνει ότι οι συντεταγμένες <math>\alpha_k</math> είναι μοναδικές για κάθε διάνυσμα στο διανυσματικό χώρο. 

Για παράδειγμα, τα [[Διατεταγμένο διάνυσμα|διατεταγμένα διανύσματα]] <math>\mathbf{e}_1=(1,0,\dots,0), \mathbf{e}_2=(0,1,\dots,0),\dots \mathbf{e}_n=(0,0,\dots,1)</math>, από μία βάση του <math>\mathcal{F}^n</math>, ονομάζεται [[κανονική βάση]], αφού κάθε διάνυσμα <math>\mathbf{x}=(x_1,x_2,\dots,x_n)</math> μπορεί να εκφραστεί μοναδικά ως γραμμικός συνδυασμός <math>\mathbf{x}=x_1(1,0,\dots,0)+x_2(0,1,\dots,0)+\dots+x_n(0,0,\dots,1)=x_1\mathbf{e}_1+x_2\mathbf{e}_2+\dots+x_n\mathbf{e}_n</math>

Οι αντίστοιχες συντεταγμένες <math>x_1, x_2,\dots,x_n</math> είναι ακριβώς οι [[Καρτεσιανό γινόμενο| καρτεσιανές συντεταγμένες]] του διανύσματος.

Κάθε διανυσματικός χώρος έχει μία βάση. Αυτό συνάγεται από το [[λήμμα του Zorn]], έναν ισοδύναμο τύπο από το [[αξίωμα της επιλογής]]. Δεδομένων των άλλων αξιωμάτων [[Σύνολο θεωρίας των Zermelo-Fraenkel|της θεωρίας των συνόλων των Zermelo-Fraenkel]], η ύπαρξη βάσεων είναι ισοδύναμη με το αξίωμα της επιλογής. [[Το λήμμα του υπερφίλτρου]], το οποίο είναι πιο αδύναμο από το αξίωμα της επιλογής, υπονοεί ότι όλες οι βάσεις ενός δοσμένου διανυσματικού χώρου έχουν τον ίδιο αριθμό στοιχείων, ή [[Πληθάριθμος|πληθάριθμο]] *θεώρημα διάστασης για διανυσματικούς χώρους*. Ονομάζεται *διάσταση* του διανυσματικού χώρου, συμβολίζεται με dimV. Αν ο χώρος συνδέεται από πολλά πεπερασμένα διανύσματα οι παρακάτω προτάσεις μπορούν να αποδειχθούν χωρίς τόσο θεμελιώδη συμβολή  από τη θεωρία συνόλων.

Η διάσταση από το διατεταγμένο χώρο <math>\mathcal{F}^n</math> είναι <math>n</math>, από τη βάση που παρουσιάζεται πιο πάνω. Η διάσταση του πολυωνυμικού δακτυλίου <math>F[x]</math> που παρουσιάστηκε πιο πάνω είναι [[αριθμητικά άπειρη]], η βάση έχει δοθεί <math>1, x, x^2,\dots</math>. Κατά μείζονα λόγο, η διάσταση πιο γενικών συναρτησιακών χώρων, όπως ο χώρος των συναρτήσεων σε κάποια (φραγμένα ή μη φραγμένα) μεσοδιαστήματα, είναι άπειρη. Κάτω από βολική ομαλότητα, υποθέσεις σε συντελεστές που συμπεριλαμβάνονται, η διάσταση του χώρου των λύσεων μιας ομογενούς [[Συνήθης διαφορική εξίσωση| συνήθους διαφορικής εξίσωσης]] ισούται με το βαθμό της εξίσωσης. Για παράδειγμα, ο χώρος των λύσεων για την παραπάνω εξίσωση παράγεται από <math>e^{-x}</math> και το <math>xe^{-x}</math>. Αυτές οι δύο συναρτήσεις είναι γραμμικά ανεξάρτητες στο <math>\mathbb{R}</math>, οπότε η διάσταση του χώρου είναι δύο, όπως και ο βαθμός της εξίσωσης.

Η προέκταση ενός πεδίου πάνω στο σύνολο των ρητών αριθμών <math>\mathbb{Q}</math> μπορεί να θεωρηθεί ως ένας διανυσματικός χώρος πάνω στο <math>\mathbb{Q}</math> (ορίζοντας την προσθήκη διανύσματος σαν προσθήκη πεδίου, τον βαθμωτό πολλαπλασιασμό ως πολλαπλασιασμό πεδίου με στοιχεία του <math>\mathbb{Q}</math> και κατά τ' άλλα αγνοώντας το πεδίο πολλαπλασιασμού). Η διάσταση (ή [[Βαθμός ή επέκταση πεδίου |βαθμός]]) της επέκτασης πεδίου <math>\mathbb{Q}(\alpha)</math> πέρα από τον <math>\mathbb{Q}</math> εξαρτάται από το <math>\alpha</math>. Αν το <math>\alpha</math> προϋποθέτει κάποια πολυωνυμική εξίσωση

:<math>
q_n\alpha^n+q_{n-1}\alpha^{n-1}+\dots+q_0=0
</math>

με ρητούς συντελεστές <math>q_n,\dots,q_0</math> (ή με άλλα λόγια αν το <math>\alpha</math> είναι [[Αλγεβρικός αριθμός|αλγεβρικό]]), η διάσταση είναι πεπερασμένη. Ειδικότερα, αυτή ισούται με το βαθμό του [[Ελάχιστο πολυώνυμο (θεωρία πεδίου)|ελάχιστου πολυωνύμου]] έχοντας το <math>\alpha</math> ως [[Ρίζα (μαθηματικά)|ρίζα]]. Για παράδειγμα, οι μιγαδικοί αριθμοί <math>\mathbb{C}</math> είναι ένας πραγματικός δισδιάστατος διανυσματικός χώρος, που παράγεται από το <math>1</math> και τη [[φανταστική μονάδα]] <math>i</math>. Η τελευταία ικανοποιεί την <math>i^2+1=0</math>, μια εξίσωση με βαθμό δύο. Έτσι, ο <math>\mathbb{C}</math> είναι ένας δισδιάστατος <math>\mathbb{R}</math>-διανυσματικός χώρος (και, όπως κάθε πεδίο, μονοδιάστατος όπως ένας διανυσματικός χώρος στον εαυτό του, <math>\mathbb{C}</math>). Αν το α δεν είναι αλγεβρικό, η διάσταση του <math>\mathbb{Q}(\alpha)</math> στον <math>\mathbb{Q}</math> είναι άπειρη. Για παράδειγμα, για <math>\alpha= \pi</math> δεν υπάρχει τέτοια εξίσωση, δηλαδή το [[Πι |π]] είναι [[Υπερβατικός αριθμός |υπερβατικό]].

==Γραμμικές απεικονίσεις και πίνακες==

Η σχέση των δύο διανυσματικών χώρων μπορεί να εκφραστεί από τη *γραμμική απεικόνιση* ή *γραμμικό μετασχηματισμό*. Αυτές είναι [[Συνάρτηση|συναρτήσεις]] που αντανακλούν την κατασκευή του διανυσματικού χώρου, δηλαδή διατηρούν την πρόσθεση και τον βαθμωτό πολλαπλασιασμό:

:<math>
f(\mathbf{v}+\mathbf{w})=f(\mathbf{v})+f(\mathbf{w}) \text{ και } f(\alpha \cdot \mathbf{v})=\alpha f(\mathbf{v}), \text{ με } \forall \mathbf{v},\mathbf{w} \in V, \forall \alpha \in \mathcal{F}.
</math>

Ένας [[ισομορφισμός]] είναι μία γραμμική απεικόνιση <math>f: V\rightarrow W</math> έτσι ώστε να υπάρχει μία [[Αντίστροφη συνάρτηση |αντίστροφη απεικόνιση]] <math>g: W\rightarrow V</math>, η οποία είναι μια απεικόνιση όπου οι δύο πιθανές [[Σύνθεση συνάρτησης|συνθέσεις]] <math>f\circ g : W\rightarrow W</math> και <math>g\circ f: V\rightarrow V</math> να είναι ταυτοτικές απεικονίσεις. Ισοδύναμα, η <math>f</math> είναι 1-1 ([[Ένα προς ένα|ένεση]]) και επί ([[Επί συνάρτηση |έφεση]]). Αν υπάρχει ένας ισομορφισμός ανάμεσα στο <math>V</math> και στο <math>W</math>, οι δύο χώροι λέγονται *ισομορφικοί*· αυτοί είναι τότε ουσιαστικά ταυτοτικοί ως διανυσματικοί χώροι, εφόσον όλες οι ταυτότητες που ανήκουν στο <math>V</math> μέσω της <math>f</math>, μεταφέρονται σε παρόμοιες στον <math>W</math> και αντίστροφα μέσω της <math>g</math>.
[[Αρχείο:Vector_components.svg|right|frame|Περιγράφεται ένα βέλος διανύσματος <math>\mathbf{v}</math> από τις συντεταγμένες <math>x</math> και <math>y</math> το οποίο αποδίδει ένα ισομορφισμό διανυσματικών χώρων.]]
Για παράδειγμα, τα «βέλη στο επίπεδο» και τα «διατεταγμένα ζεύγη αριθμών» στους διανυσματικούς χώρους είναι ισομορφικά: ένα σχεδιασμένο βέλος <math>\mathbf{v}</math> που παρεκκλίνει στην [[Προέλευση (μαθηματικά) |προέλευση]] κάποιου (αναθεωρημένου) [[Σύστημα αναφοράς|συστήματος αναφοράς]] μπορεί να εκφραστεί σαν ένα διατεταγμένο ζεύγος λαμβάνοντας υπόψη το <math>x</math> και <math>y</math>-στοιχείο του βέλους, όπως φαίνεται στην εικόνα στα δεξιά. Αντίστροφα, έχοντας ένα ζεύγος <math>(x,y)</math>, το βέλος πηγαίνοντας απ’ το <math>x</math> στα δεξιά (ή στα αριστερά, αν το <math>x</math> είναι αρνητικό), και απ’ το <math>y</math> πάνω (ή κάτω, αν το <math>y</math> είναι αρνητικό) γυρίζει πίσω το βέλος <math>\mathbf{v}</math>.

Οι γραμμικές απεικονίσεις <math>V\rightarrow W</math> ανάμεσα σε δύο αμετάβλητους διανυσματικούς χώρους σχηματίζουν τον διανυσματικό χώρο <math>Hom_F(V,W)</math>, αναγράφεται και <math>\mathcal{L}(V,W)</math>. Ο χώρος των γραμμικών απεικονίσεων απ’ τον <math>V</math> στον <math>F</math> ονομάζεται [[δυϊκός διανυσματικός χώρος]], αναγράφεται και  <math>V^{*}</math>. Μέσω της φυσικής απεικόνισης (και ένεσης) <math>V\rightarrow V^{**}</math>, κάθε διανυσματικός χώρος μπορεί να επεκταθεί στο διπλό του η απεικόνιση είναι ένας ισομορφισμός αν και μόνο αν ο χώρος είναι πεπερασμένης διάστασης.

Όταν μια βάση του <math>V</math> είναι επιλεγμένη, οι γραμμικές απεικονίσεις <math>f:V\rightarrow W</math> είναι εντελώς καθοριστικές προδιαγράφοντας τις εικόνες των διανυσμάτων της βάσης, γιατί κάθε στοιχείο του <math>V</math> εκφράζεται μοναδικά ως ένας γραμμικός συνδυασμός του. Αν <math>dim(V)=dim(W)</math>, μια [[1-1 |1-1 αντιστοιχία]] ανάμεσα σε σταθερές βάσεις των <math>V</math> και <math>W</math> δίνει αύξηση σε μια γραμμική απεικόνιση που απεικονίζει κάθε στοιχείο βάσης του <math>V</math> στο αντίστοιχο στοιχείο βάσης του <math>W</math>. Είναι ένας ισομορφισμός από τον ίδιο του τον ορισμό. Συνεπώς, δύο διανυσματικοί χώροι είναι ισομορφικοί αν οι διαστάσεις τους συμφωνούν, και αντίστροφα. Με άλλα λόγια, κάθε διανυσματικός χώρος είναι εντελώς "ταξινομημένος" (μέχρι και ισομορφισμό) από τη διάστασή του, ένα μόνο αριθμό. Ειδικότερα, κάθε n-διάστατος *F*-διανυσματικός χώρος <math>V</math> είναι ισομορφικός στον <math>\mathcal{F}^n</math>. Υπάρχει, ωστόσο, όχι "κανονικός" ή προτιμότερα ισομορφισμός στην πραγματικότητα ένας ισομορφισμός <math>\varphi:\mathcal{F}^n \rightarrow V</math><math>V</math> είναι ισοδύναμος με την επιλογή μιας βάσης του <math>V</math>, μέσω της <math>\varphi</math>. Η ελευθερία επιλογής μια βολικής βάσης είναι ιδιαίτερα χρήσιμη στο απειρο-διάστατο γενικό πλαίσιο παρακάτω.

===Πίνακες===
[[Αρχείο:Πίνακας_γραμμές_και_στήλες.svg|right|thumb|350px|Ένας τυπικός πίνακας.]]
Οι *πίνακες* είναι μια χρήσιμη ιδέα για να απεικονίσουμε γραμμικές απεικονίσεις. Γράφονται σαν έναν ορθογώνιο πίνακα με βαθμούς(scalars), όπως στην εικόνα στα δεξιά. Κάθε <math> m \times n </math> πίνακας <math>\mathbf{A}</math> είναι (ή περιγράφει) μια γραμμική απεικόνιση από τον <math>\mathcal{F}^n</math> στον <math>\mathcal{F}^m</math> σύμφωνα με το παρακάτω
:<math>
\mathbf{x}=(x_1,x_2,\dots,x_n)\mapsto \big(\sum_{j=1}^n a_{1j}x_j, \sum_{j=1}^n a_{2j}x_j,...,\sum_{j=1}^n a_{mj}x_j\big)
</math>

όπου <math>\Sigma</math> συμβολίζει [[άθροιση]],

ή χρησιμοποιώντας τον [[Πολλαπλασιασμός πινάκων |πολλαπλασιασμό πινάκων]] του πίνακα <math>\mathbf{A}</math>  με το διατεταγμένο διάνυσμα <math>\mathbf{x}</math> 
:<math>
\mathbf{x}\mapsto \mathbf{Ax}
</math>

Επιπλέον, μετά την επιλογή βάσεων των <math>V</math> και <math>W</math>, κάθε γραμμική απεικόνιση <math>f:V\rightarrow W</math> φαίνεται μοναδικά από έναν πίνακα μέσω αυτής της τοποθέτησης.

Η [[ορίζουσα]] <math>\det\mathbf{A}</math> ενός [[Τετραγωνικός πίνακας |τετραγωνικού πίνακα]] <math>\mathbf{A}</math> είναι μια τιμή (βαθμωτή) που δείχνει αν η σχετική απεικόνιση είναι ισομορφισμός ή όχι: αν είναι έτσι είναι ικανό και αναγκαίο η ορίζουσα να είναι διάφορη του μηδενός. Ο γραμμικός μετασχηματισμός του <math>\mathbb{R}^n</math> που αντιστοιχεί σε έναν πραγματικό <math>n \times n</math> πίνακα διατηρεί τον προσανατολισμό του αν και μόνον αν η ορίζουσά του είναι θετική.

==Διανυσματικοί χώροι με πρόσθετη δομή==
===Κανονικοί διανυσματικοί χώροι και εσωτερικά γινόμενα===

Ο "υπολογισμός" διανυσμάτων γίνεται προσδιορίζοντας το μέτρο τους, ένα δεδομένο το οποίο υπολογίζει μήκη διανυσμάτων, ή από ένα [[εσωτερικό γινόμενο]], το οποίο μετράει γωνίες ανάμεσα στα διανύσματα. Τα μέτρα και τα εσωτερικά γινόμενα συμβολίζονται με <math>|\mathbf{v}|</math> και <math>\lang \mathbf{v},\mathbf{w} \rang</math> αντίστοιχα. Το δεδομένο ενός εσωτερικού γινομένου συνεπάγεται ότι τα μήκη των διανυσμάτων μπορούν να οριστούν επίσης, ορίζοντας το αντίστοιχο μέτρο <math>|\mathbf{v}|:=\sqrt{\lang \mathbf{v},\mathbf{v}\rang}</math>. Οι διανυσματικοί χώροι ενσωματώνουν τόσες πολλές πληροφορίες ώστε να είναι γνωστοί ως *διανυσματικοί χώροι μέτρων και εσωτερικών γινομένων, αντίστοιχα''. Ο διατεταγμένος χώρος \mathcal{F}^n μπορεί να εφοδιαστεί με το σύνηθες εσωτερικό γινόμενο:

:
\lang \mathbf{x},\mathbf{y} \rang = \mathbf{x} \cdot \mathbf{y} = \sum_{i=1}^{n} x_i y_i=x_1 y_1+x_2 y_2+\dots+x_n y_n.


Στον \mathbb{R}^2, αυτό αντανακλά τη συνήθη ιδέα της γωνίας ανάμεσα στα δύο διανύσματα \mathbf{x} και \mathbf{y}, από το νόμο των συνημίτονων:
:
\mathbf{x}\cdot \mathbf{y}=\cos(\angle({\mathbf{x},\mathbf{y}}))|\mathbf{x}|\cdot|\mathbf{y}|.


Εξαιτίας αυτού, δύο διανύσματα που ικανοποιούν τη  \lang \mathbf{x},\mathbf{y} \rang=0 ονομάζονται ορθογώνια ή κάθετα μεταξύ τους. Μια σημαντική παραλλαγή του συνήθους γινομένου χρησιμοποιείται στο χώρο Μινκόβσκι: \mathbb{R}^4 όπου προσδίδεται το γινόμενο Lorentz
:
\lang \mathbf{x}|\mathbf{y} \rang = x_1 y_1+x_2 y_2 +x_3 y_3 - x_4 y_4


Σε αντίθεση με το σύνηθες εσωτερικό γινόμενο, αυτό δεν είναι θετικά ορισμένο. Επιπλέον το 
\lang \mathbf{x}|\mathbf{x}\rang  παίρνει αρνητικές τιμές, για παράδειγμα όταν το \mathbf{x}=(0,0,0,1). Απομονώνοντας την τέταρτη συντεταγμένη - που αντιστοιχεί στον χρόνο, σε αντίθεση με την τρισδιάστατη περιγραφή του χώρου - το καθιστά χρήσιμο για τη μαθηματική αντιμετώπιση της ειδικής σχετικότητας.

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


## Βιβλιογραφία
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 

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

### Ελληνικά άρθρα
* 
* 
* 
* 

### Ξενόγλωσσα άρθρα
* 
* 
* 
* 
* 

Κατηγορία:Θεμελιώδεις έννοιες της φυσικής
Κατηγορία:Γραμμική άλγεβρα
Κατηγορία:Διανύσματα
Κατηγορία:Μαθηματικές δομές