Χαρακτηριστική Euler

Euler characteristic


Χαρακτηριστική Euler
An “invariant” is a tool mathematicians use to compare spaces, or manifolds. One famous example is the Euler characteristic, shown here. To calculate it for any two-dimensional manifold, first carve the manifold into polygons. Next, add the number of faces to the number of vertices and subtract the number of edges. Every sphere will have an Euler characteristic of 2, no matter how the manifold is carved up.

Χαρακτηριστική Euler

Μαθηματικά Σταθερά Φυσική Σταθερά Μαθηματική Σταθερά
Φυσικές Σταθερές Μαθηματικές Σταθερές
Φυσικό Μέγεθος Μαθηματικό Μέγεθος
Μονάδα Μέτρησης Αριθμός

Σταθερά Planck

Διακριτά Μαθηματικά Αριθμητική Αριθμοθεωρία Αριθμός Μαθηματική Πράξη Τελεστής

- Μία Μαθηματική Σταθερά

Ετυμολογία[επεξεργασία | επεξεργασία κώδικα]

Η ονομασία "Χαρακτηριστική Euler" σχετίζεται ετυμολογικά με την λέξη "χαρακτήρας".

Εισαγωγή[επεξεργασία | επεξεργασία κώδικα]

Στα Μαθηματικά, και συγκεκριμένα στην Αλγεβρική Τοπολογία και Πολυεδρική Συνδυαστική, η χαρακτηριστική Euler ( ή χαρακτηριστική Euler-Poincare) είναι μια τοπολογική σταθερά, ένας αριθμός που περιγράφει το σχήμα ενός τοπολογικού χώρου ή την δομή αυτού ανεξάρτητα από τον τρόπο κλίσης του. Κοινώς συμβολίζεται με το γράμμα (Χ).

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

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

Πολύεδρα[επεξεργασία | επεξεργασία κώδικα]

Η χαρακτηριστική Euler έχει κλασικά ορισθεί για τις επιφάνειες των πολύεδρων, σύμφωνα με τον τύπο

όπου V, E, και F είναι αντίστοιχα οι αριθμοί των κορυφών (γωνίες), ακμών και εδρών του δοσμένου πολυγώνου. Οποιαδήποτε επιφάνεια κυρτού πολύεδρου έχει χαρακτηριστική Euler.

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

Όνομα Εικόνα Κορυφές BR V Ακμές BR E Έδρες BR F Χαρακτηριστική Όιλερ: BR VE + F
Τετράεδρο 50px 4 6 4 2
Εξάεδρο ή κύβος 50px 8 12 6 2
Οκτάεδρο 50px 6 12 8 2
Δωδεκάεδρο 50px 20 30 12 2
Εικοσάεδρο 50px 12 30 20 2

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

Όνομα Εικόνα Κορυφές BR V Ακμές BR E Έδρες BR F Χαρακτηριστική Euler: BR VE + F
Τετραημιεξάεδρο 100px 6 12 7 1
Οκταημιοκτάεδρο 100px 12 24 12 0
Κυβοημιοκτάεδρο 100px 12 24 10 −2
Μέγα Εικοσάεδρο 100px 12 30 20 2

Για τα κανονικά πολύεδρα, ο Άρθουρ Κάλευ βρήκε μια τροποποιημένη μορφή του τύπου Euler χρησιμοποιώντας τις πυκνότητες του πολύεδρου D με στοιχεία κορυφής και έδρες :

Αυτή η έκδοση ισχύει τόσο για κυρτά πολύεδρα (όπου οι όλες οι πυκνότητες είναι 1), και για τα μη κυρτά πολύεδρα Kepler-Poinsot:

Τα προβολικά πολύεδρα έχουν όλα χαρακτηριστική Euler 1, που αντιστοιχεί στο πραγματικό προβολικό επίπεδο, ενώ τα σπειροειδή πολύεδρα έχουν όλα χαρακτηριστική Euler 0, που αντιστοιχεί στον τόρο.

Επίπεδα γραφήματα[επεξεργασία | επεξεργασία κώδικα]

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

Η χαρακτηριστική του Euler για κάθε επίπεδο ενωμένο γράφημα G είναι 2. Αυτό αποδεικνύεται εύκολα από επαγωγή στον αριθμό των εδρών που προσδιορίζονται από το G ,ξεκινώντας από ένα δέντρο όπως στην αρχική υπόθεση.

Για δένδρα, E = V-1 και F = 1.

Εάν το G έχει C συνιστώσες, το ίδιο επιχείρημα με επαγωγή στο F δείχνει ότι . Mία από τις λίγες δημοσιεύσεις θεωρίας γραφημάτων του Cauchy αποδεικνύει επίσης αυτό το αποτέλεσμα.

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

Απόδειξη του τύπου Euler[επεξεργασία | επεξεργασία κώδικα]

Υπάρχουν πολλές αποδείξεις για τον τύπο Euler. Μία από αυτές έχει δοθεί από τον Cauchy το 1811 ως εξής. Iσχύει για κάθε κυρτό πολύεδρο, και γενικά για κάθε πολύεδρο, του οποίου το σύνορο είναι τοπολογικά ισοδύναμο με μία σφαίρα και οι έδρες του είναι τοπολογικά ισοδύναμες με δίσκους.

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

Μετά από αυτόν τον μετασχηματισμό, οι κανονικές έδρες δεν είναι πλέον κανονικές. Ο αριθμός των κορυφών και των ακμών έχει παραμείνει ίδιος, αλλά ο αριθμός των εδρών έχει μειωθεί κατά 1. Ως εκ τούτου, η απόδειξη του τύπουΌιλερ για το πολύεδρο περιορίζεται στην απόδειξη VE + F =1 για το μετασχηματισμένο αυτό, επίπεδο σχήμα.

Εάν υπάρχει μία έδρα με περισσότερες από τρεις πλευρές, σχεδιάσετε μία διαγώνιο, δηλαδή, μια καμπύλη στην έδρα που συνδέει τις δύο κορυφές, που δεν έχουν συνδεθεί ακόμα. Έτσι προστίθεται μια ακμή και μία έδρα και δεν αλλάζει ο αριθμός των κορυφών, γι 'αυτό και δεν αλλάζει η ποσότητα VE + F. (Η υπόθεση ότι όλες οι έδρες είναι δίσκοι είναι απαραίτητη εδώ, για να αποδειχθεί μέσω του θεωρήματος καμπύλης Τζόρνταν ότι αυτή η διαδικασία αυξάνει τον αριθμό των εδρών κατά μία). Συνεχίστε προσθέτοντας ακμές κατά αυτόν τον τρόπο έως ότου όλες οι έδρες να είναι τριγωνικές.

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

  1. Αφαιρέστε ένα τρίγωνο με μία μόνο ακμή προσκείμενη προς το εξωτερικό, όπως απεικονίζεται στο δεύτερο γράφημα. Αυτό μειώνει τον αριθμό των ακμών και εδρών κατά ένα αντίστοιχα αλλά δεν αλλάζει τον αριθμό των κορυφών, έτσι ώστε να διατηρείται το VE + F.
  2. Αφαιρέστε ένα τρίγωνο με δύο ακμές που μοιράζονται το εξωτερικό του δικτύου, όπως απεικονίζεται στο τρίτο γράφημα. Κάθε απομάκρυνση τριγώνου αφαιρεί μια κορυφή, δύο ακμές και μία έδρα, έτσι ώστε να διατηρείται το VE + F.

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

Σε αυτό το σημείο το μονό τρίγωνο έχει V = 3, E = 3, και F = 1, έτσι ώστε VE + F = 1. Δεδομένου ότι κάθε ένα από τα δύο παραπάνω βήματα μετασχηματισμού διατηρούν την ποσότητα αυτή, έχουμε δείξει VE + F = 1 για το μετασχηματισμένο, επίπεδο σχήμα αποδεικνύοντας έτσι VE + F = 2 για το πολύεδρο. Αυτό αποδεικνύει το θεώρημα.

Για επιπλέον αποδείξεις, δείτε Είκοσι αποδείξεις του τύπου Euler από τον David Eppstein. Πολλές αποδείξεις, μαζί με τις ατέλειες και τα όριά τους, χρησιμοποιούνται ως παραδείγματα στο Αποδείξεις και Διαψεύσεις του Imre Lakatos.

Τοπολογικός ορισμός[επεξεργασία | επεξεργασία κώδικα]

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

όπου το kn υποδηλώνει τον αριθμό των στοιχείων διάστασης n στο σύμπλοκο.

Παρομοίως, για ένα απλό σύμπλοκο, η χαρακτηριστική Euler ισούται με το εναλλασσόμενο άθροισμα

όπου το kn d υποδηλώνει των αριθμό των n-στοιχείων στο σύμπλοκο.

Γενικότερα ακόμα, για κάθε τοπολογικό χώρο, μπορούμε να ορίσουμε το nοστο αριθμό Betti bn ως την τάξη της n-ης μοναδικής ομολογικής ομάδας. Η χαρακτηριστική Όιλερ μπορεί στη έτσι να οριστεί ως το εναλλασσόμενο άθροισμα

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

Ιδιότητες[επεξεργασία | επεξεργασία κώδικα]

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

Ομότοπη αναλλοίωτη[επεξεργασία | επεξεργασία κώδικα]

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

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

Αρχή εγκλεισμού-αποκλεισμού[επεξεργασία | επεξεργασία κώδικα]

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

Γενικότερα, αν M και N είναι υποχώροι ενός μεγαλύτερου χώρου X, τότε είναι και η ένωση και η τομή τους. Σε ορισμένες περιπτώσεις, η χαρακτηριστική Euler υπακούει σε μια εκδοχή της αρχής εγκλεισμού-αποκλεισμού:

Αυτό ισχύει στις ακόλουθες περιπτώσεις:

  • αν Μ και Ν είναι ένα εξαιρούμενο ζεύγος. Ειδικότερα, εάν το εσωτερικό των M και N εντός της ένωσης εξακολουθεί να καλύπτει την ένωση.
  • αν X είναι ένας τοπικά συμπαγής χώρος και χρησιμοποιεί χαρακτηριστικές Euler με συμπαγή στηρίγματα, δεν απαιτούνται υποθέσεις σχετικά με τα M ή N.
  • αν το Χ είναι ένας στρωματοποιημένος χώρος, του οποίου όλα τα στρώματα είναι άρτιας διάστασης, η αρχή εγκλεισμού-αποκλεισμού ισχύει αν τα Μ και Ν είναι ενώσεις στρωμάτων. Αυτό ισχύει ιδιαίτερα εάν τα Μ και Ν είναι μέρη μίας μιγαδικής αλγεβρικής μεταβλητής.

Σε γενικές γραμμές, η αρχή εγκλεισμού-αποκλεισμού είναι λανθασμένη. Ένα αντιπαράδειγμα δίνεται εάν πάρουμε X να είναι η πραγματική ευθεία, M ένα υποσύνολο που αποτελείται από ένα σημείο και Ν το συμπλήρωμα του M.

Ιδιότητα Γινομένου[επεξεργασία | επεξεργασία κώδικα]

Επίσης, η χαρακτηριστική Όιλερ οποιουδήποτε χώρου γινομένου Μ × N είναι

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

Επικαλυμμένοι χώροι[επεξεργασία | επεξεργασία κώδικα]

Για περισσότερες πληροφορίες σχετικά με αυτό το ζήτημα, μελετήστε τον τύπο Riemann-Hurwitz.

Ομοίως, για ένα k-φορές επικαλυμμένο χώρο , έχουμε

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

Νηματική Ιδιότητα[επεξεργασία | επεξεργασία κώδικα]

Η ιδιότητα γινομένου ισχύει πολύ γενικότερα, για νηματικές απεικονίσεις με ορισμένες προϋποθέσεις.

Εάν είναι μία νηματική απεικόνιση με νήμα F, με τη βάση B συνδετικό μονοπάτι, και τη νηματική απεικόνιση προσανατολισμένη σε ένα ένα πεδίο Κ, τότε η χαρακτηριστικήΌιλερ με συντελεστές στο πεδίο Κ ικανοποιεί την ιδιότητα του γινομένου:

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

Για Ινοδέσμες, αυτό μπορεί επίσης να γίνει κατανοητό από την άποψη της απεικόνισης μεταφοράς – σημειώστε ότι αυτό είναι άρση και πηγαίνει «με λανθασμένο τρόπο» - της οποίας η σύνθεση με την απεικόνιση προβολής είναι πολλαπλασιασμός με την τάξη Euler του νήματος:


More generally, any compact parallelizable manifold, including any compact Lie group, has Euler characteristic 0.

The Euler characteristic of any closed odd-dimensional manifold is also 0.

The case for orientable examples is a corollary of Poincare duality.

Υποσημειώσεις[επεξεργασία | επεξεργασία κώδικα]

Εσωτερική Αρθρογραφία[επεξεργασία | επεξεργασία κώδικα]

Βιβλιογραφία[επεξεργασία | επεξεργασία κώδικα]

Ιστογραφία[επεξεργασία | επεξεργασία κώδικα]


Ikl.jpg Κίνδυνοι ΧρήσηςIkl.jpg

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

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

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



Επίσης,
Οι διάφοροι "Εξωτερικοί Σύνδεσμοι (Links)"
(όχι μόνον, της Sciencepedia
αλλά και κάθε διαδικτυακού ιστότοπου (ή αλλιώς site)),
αν και άκρως απαραίτητοι,
είναι αδύνατον να ελεγχθούν
(λόγω της ρευστής φύσης του Web),
και επομένως είναι ενδεχόμενο να οδηγήσουν
σε παραπλανητικό, κακόβουλο ή άσεμνο περιεχόμενο.
Ο αναγνώστης πρέπει να είναι
εξαιρετικά προσεκτικός όταν τους χρησιμοποιεί.

- Μην κάνετε χρήση του περιεχομένου της παρούσας εγκυκλοπαίδειας
αν διαφωνείτε με όσα αναγράφονται σε αυτήν

IonnKorr-System-00-goog.png



>>Διαμαρτυρία προς την wikia<<

- Όχι, στις διαφημίσεις που περιέχουν απαράδεκτο περιεχόμενο (άσεμνες εικόνες, ροζ αγγελίες κλπ.)


Community content is available under CC-BY-SA unless otherwise noted.