Άτλας (τοπολογία)

Στα μαθηματικά, ειδικότερα στην τοπολογία, μια

πολλαπλότητα περιγράφεται χρησιμοποιώντας τον άτλα. Ένας άτλας αποτελείται από μεμονωμένους

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

Χάρτες

Ο ορισμός του άτλαντα εξαρτάται από την έννοια του χάρτη. Ένας χάρτης για έναν τοπολογικό χώρο M είναι ένας ομοιομορφισμός $\varphi$ από ένα ανοιχτό υποσύνολο U του M σε ένα ανοιχτό υποσύνολο του Ευκλείδειου χώρου. Ο χάρτης γράφεται ως το διατεταγμένος ζεύγος $(U,\varphi )$ , ώπου το σύνολο U ονομάζεται πεδίο του χάρτη.

Επίσημος ορισμός του άτλα

Ένας άτλας σε έναν τοπολογικό χώρο M είναι μια συλλογή $\{(U_{\alpha },\varphi _{\alpha })\}$ χαρτών στο M έτσι ώστε $\bigcup U_{\alpha }=M$. Αν η εικόνα του άτλα είναι ο ν-διάστατος Ευκλείδειος χώρος, τότε ο χώρος M λέγεται ν-διάστατη πολλαπότητα.

Χάρτες μετάβασης

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

Για να γίνουμε πιο σαφείς, υποθέτουμε ότι $(U_{\alpha },\varphi _{\alpha })$ και $(U_{\beta },\varphi _{\beta })$ είναι δύο χάρτες μια πολλαπλότητας M έτσι ώστε η τομλη $U_{\alpha }\cap U_{\beta }$ να είναι διάφορη του κενού. Ο χάρτης μετάβασης $\tau _{\alpha ,\beta }$ είναι ο χάρτης που ορίζεται στην τομή $U_{\alpha }\cap U_{\beta }$ με

$\tau _{\alpha ,\beta }=\varphi _{\beta }\circ \varphi _{\alpha }^{-1}.$

Σημειώνεται ότι αφού $\varphi _{\alpha }$ και $\varphi _{\beta }$ είναι ομοιομορφισμοί, ο χάρτης μετάβασης $\tau _{\alpha ,\beta }$ είναι επίσης ομοιομορφισμός.

Περισσότερη δομή

Συχνά είναι επιθυμητή περισσότερη δομή σε μία πολλαπλότητα από την τοπολογική δομή. For example, if one would like an unambiguous notion of διαφόρισης συναρήσεων σε μία πολλαπλότητα, θα ήταν απαραίτητο να κατασκευαστεί ένας άτλας of functions on a manifold, then it is necessary to construct an atlas του οποίου οι συναρτήσεις μετάβασης θα είναι διαφορίσιμες. Τότε μπορεί να οριστεί σαφώς η έννοια του εφαπτομένου διανύσματος και στη συνέχεια της κατευθυνόμενης παραγώγου.

Αν κάθε συνάρτηση μετάβασης είναι λεία τότε ο άτλας ονομάζεται λείος άτλας. Αν ο χάρτης μετάβασης έχει μόνο k συνεχείς παραγώγους τότε ο άτλας συμβολίζεται $C^{k}$.

Αν κάθε συνάρτηση μετάβασης ανήκει σε μια ψευδο-ομάδα ${\mathcal {G}}$ ομοιομορφισμών του Ευκλείδειου χώρου, τότε ο άτλας λέγεται ${\mathcal {G}}$-άτλας.

Αναφορές

• Lee, John M. (2006). Introduction to Smooth Manifolds. Springer-Verlag. ISBN 978-0-387-95448-6. 
• Sepanski, Mark R. (2007). Compact Lie Groups. Springer-Verlag. ISBN 978-0-387-30263-8. 

Εξωτερικοί σύνδεσμοι

• Atlas by Rowland, Todd