Διάσταση (διανυσματικός χώρος)

Στα μαθηματικά, η διάσταση ενός διανυσματικού χώρου V είναι η πολλαπλότητα (δηλ. ο αριθμός των διανυσμάτων) μιας βάσης του V πάνω στο πεδίο βάσης του p. 44, §2.36. Μερικές φορές ονομάζεται διάσταση Χάμελ (από τον Γκέοργκ Χάμελ) ή αλγεβρική διάσταση για να διακρίνεται από άλλους τύπους διαστάσεων.

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

Η διάσταση του διανυσματικού χώρου  πάνω από το πεδίο  μπορεί να γραφεί ως  ή ως  που διαβάζεται ως «διάσταση του  πάνω από το ». Όταν η  μπορεί να συναχθεί από τα συμφραζόμενα, η  όπως γράφεται συνήθως.

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

Ο διανυσματικός χώρος  έχει

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

Οι μιγαδικοί αριθμοί  είναι και πραγματικός και μιγαδικός διανυσματικός χώρος- έχουμε  και  Έτσι η διάσταση εξαρτάται από το πεδίο βάσης.

Ο μόνος διανυσματικός χώρος με διάσταση  είναι ο  ο διανυσματικός χώρος που αποτελείται μόνο από το μηδενικό του στοιχείο.

 Ιδιότητες 

Αν  είναι ένας γραμμικός υποχώρος του  τότε 

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

Ο χώρος  έχει την κανονική βάση  όπου  είναι η -th στήλη του αντίστοιχου πίνακα ταυτότητας. Επομένως, η  έχει διάσταση 

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

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

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

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

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

Αν  είναι ένας διανυσματικός χώρος πάνω από ένα πεδίο  και αν η διάσταση του  συμβολίζεται με \dim  τότε:

Αν dim  is finite then 
Αν dim  is infinite then 

Γενικεύσεις

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

Η διάσταση Κρουλ ενός αντιμεταθετικού δακτυλίου, που πήρε το όνομά της από τον Βόλφγκανγκ Κρουλ (1899-1971), ορίζεται ως ο μέγιστος αριθμός αυστηρών εγκλεισμάτων σε μια αυξανόμενη αλυσίδα πρώτων ιδανικών του δακτυλίου. 

 Ίχνος 

Βλ. επίσης: (Ίχνος πίνακα)

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


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

Πρώτον, επιτρέπει τον ορισμό μιας έννοιας της διάστασης όταν κάποιος έχει ένα ίχνος αλλά δεν έχει φυσική έννοια της βάσης. Επί παραδείγματι, μπορεί κανείς να έχει μια άλγεβρα  με απεικονίσεις   και μια απεικόνιση  (που αντιστοιχεί στο ίχνος, που ονομάζεται συν-μονάδα (counit)). Η σύνθεση  είναι μια βαθμωτή (που είναι ένας γραμμικός τελεστής σε έναν 1-διάστατο χώρο) αντιστοιχεί στο «ίχνος της ταυτότητας», και δίνει μια έννοια της διάστασης για μια αφηρημένη άλγεβρα. Στην πράξη, στις διάλγεβρες, ο χάρτης αυτός απαιτείται να είναι η ταυτότητα, η οποία μπορεί να προκύψει από την κανονικοποίηση της συν-μονάδα (counit) διαιρώντας με τη διάσταση  (), οπότε σε αυτές τις περιπτώσεις η σταθερά κανονικοποίησης αντιστοιχεί στη διάσταση.

Εναλλακτικά, μπορεί να είναι δυνατό να ληφθεί το ίχνος των τελεστών σε έναν χώρο άπειρης διάστασης- σε αυτή την περίπτωση ορίζεται ένα (πεπερασμένο) ίχνος, παρόλο που δεν υπάρχει (πεπερασμένη) διάσταση, και δίνει μια έννοια της «διάστασης του τελεστή». Αυτοί εμπίπτουν στην κατηγορία των «τελεστών κλάσης ίχνους» σε ένα χώρο Χίλμπερτ, ή γενικότερα των πυρηνικών τελεστών σε ένα χώρο Μπάναχ.

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

 Εξωτερικοί σύνδεσμοι 
English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
 Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο
 Θεωρία ομάδων και Λι αλγεβρών -Εθνικό Αρχείο Διδακτορικών Διατριβών
 Θεωρία Αριθμών και Εφαρμογές
 Υπολογιστική Θεωρία Αριθμών
 Καμπυλότητες και γεωμετρία του Riemann σε διαφορίσιμες πολλαπλότητες Εθνικό Αρχείο Διδακτορικών Διατριβών
 Μέθοδοι μηχανικής μάθησης βασισμένες σε έλεγχο μονοτροπικότητας Εθνικό Αρχείο Διδακτορικών Διατριβών
  Παράμετροι και Στατιστικά. Διωνυμική και Κανονική Κατανομή
 Wolfram Mathematica Online Integrator
  A Table of Integrals of the Error Functions

 Δείτε επίσης 
 Απαγορευτική αρχή του Πάουλι
 Μορφοκλασματική διάσταση
 Διδιάστατος χώρος
 Αλγεβρική θεωρία αριθμών
 Άρθουρ Στάνλεϋ Έντινγκτον
 Μοναδιαία βηματική συνάρτηση
 Σουμπραμανιάν Τσαντρασεκάρ
 Ευκλείδειος χώρος
 Υπερβολική γεωμετρία
 Βαθμός (γραμμική άλγεβρα)
 Εφαρμοσμένα μαθηματικά
 Υπολογιστική ρευστοδυναμική
 Καμπυλότητα Γκάους
 Καρτεσιανό σύστημα συντεταγμένων
 Θεμελιώδες θεώρημα αριθμητικής
 Αλγεβρική γεωμετρία
 Διάσταση Κρουλ
 Συνήθης διαφορική εξίσωση
 Γραμμική απεικόνιση

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











 Παραπομπές 









 . Review: Séquin, Carlo H. (2009), Journal of Mathematics and the Arts 3: 229–230, 

Temme, N. M. (2010), "Exponential, Logarithmic, Sine, and Cosine Integrals", in Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W. (eds.), NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0-521-19225-5, MR 2723248.

Κατηγορία:Θεωρήματα στην ανάλυση
Κατηγορία:Μαθηματική ανάλυση
Κατηγορία:Επιφάνειες
Κατηγορία:Διαφορική τοπολογία
Κατηγορία:Διανύσματα
Κατηγορία:Διανυσματικός λογισμός
Κατηγορία:Μαθηματικές συναρτήσεις