🔺 Το Θεώρημα Tverberg: Πάντα Χωρίζονται σε Τεμνόμενα Σύνολα

📐 Το θεώρημα

Το θεώρημα Tverberg δηλώνει ότι ένας επαρκώς μεγάλος αριθμός σημείων στον d-διάστατο Ευκλείδειο χώρο μπορεί πάντα να διαιρεθεί σε υποσύνολα με τεμνόμενες κυρτές θήκες. Συγκεκριμένα, για ένα σύνολο (d+1)(r−1)+1 σημείων, υπάρχει πάντα ένα σημείο x και μια διαμέριση των σημείων σε r υποσύνολα, έτσι ώστε το x να ανήκει στην κυρτή θήκη κάθε υποσυνόλου. Η προκύπτουσα διαμέριση ονομάζεται διαμέριση Tverberg.

🔍 Δύο χαρακτηριστικά παραδείγματα

Για r=2, το θεώρημα ανάγεται στο παλαιότερο θεώρημα του Radon (1921): οποιαδήποτε d+2 σημεία μπορούν να διαιρεθούν σε δύο υποσύνολα με τεμνόμενες κυρτές θήκες — για σημεία σε γενική θέση, η διαμέριση είναι μάλιστα μοναδική. Στο επίπεδο (d=2), αυτό σημαίνει ότι 4 σημεία χωρίζονται πάντα κατάλληλα· δοκιμάστηκε με ένα τετράγωνο, όπου οι δύο διαγώνιοι πράγματι τέμνονται, επιβεβαιώνοντας τη διαμέριση.

Η περίπτωση r=3, d=2 δηλώνει ότι οποιαδήποτε 7 σημεία στο επίπεδο μπορούν να διαιρεθούν σε τρία υποσύνολα με τεμνόμενες κυρτές θήκες. Ένα χαρακτηριστικό παράδειγμα: οι κορυφές ενός κανονικού επταγώνου, οι οποίες μπορούν να διαιρεθούν με 7 διαφορετικούς τρόπους — καθένας απλή περιστροφή του προηγούμενου.

🌐 Ιστορία και σημασία

Το θεώρημα διατυπώθηκε το 1966 από τον Νορβηγό μαθηματικό Helge Tverberg, ο οποίος έδωσε αργότερα, το 1981, μια δεύτερη, απλούστερη απόδειξη. Ανήκει στην ίδια οικογένεια θεμελιωδών αποτελεσμάτων με τα θεωρήματα Helly και Carathéodory στη συνδυαστική γεωμετρία — τα τρία μαζί είναι ισοδύναμα, αφού το καθένα μπορεί να αποδειχθεί από τα άλλα δύο.

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

📚

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →