Euler 2017/4
Συντονιστές: Demetres, silouan
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
Euler 2017/4
Έστω θετικοί ακέραιοι . Δίνονται κλειστά διαστήματα στο . Να δειχθεί ότι ισχύει τουλάχιστον ένα από τα πιο κάτω:
(α) Υπάρχουν από αυτά τα διαστήματα τα οποία είναι ξένα μεταξύ τους.
(β) Υπάρχουν από αυτά τα διαστήματα τα οποία έχουν τουλάχιστον ένα κοινό σημείο τομής.
(α) Υπάρχουν από αυτά τα διαστήματα τα οποία είναι ξένα μεταξύ τους.
(β) Υπάρχουν από αυτά τα διαστήματα τα οποία έχουν τουλάχιστον ένα κοινό σημείο τομής.
Λέξεις Κλειδιά:
Re: Euler 2017/4
Καλησπέρα,
Έστω τα διαστήματα,όπου ,και έστω ότι δεν ισχύει η δεύτερη συνθήκη.Διατάσουμε τους αριθμούς σε αύξουσα σειρά.Η υπόθεσή μας,μας εξασφαλίζει ότι,αν επιλέξουμε δείκτες ,τότε υπάρχει ένας από αυτούς,έστω ο που είναι τέτοιος ώστε ,γιατί διαφορετικά τα διαστήματα θα είχαν μη κενή τομή.Συνεπώς:
Επιλέγουμε τους και βρίσκουμε ότι υπάρχει τέτοιος ώστε .
Επιλέγουμε τους και βρίσκουμε ότι υπάρχει τέτοιος ώστε .
Επιλέγουμε τους και βρίσκουμε ότι υπάρχει τέτοιος ώστε .
Τα διαστήματα είναι ανά δύο ξένα,από όπου έπεται το ζητούμενο.
Έστω τα διαστήματα,όπου ,και έστω ότι δεν ισχύει η δεύτερη συνθήκη.Διατάσουμε τους αριθμούς σε αύξουσα σειρά.Η υπόθεσή μας,μας εξασφαλίζει ότι,αν επιλέξουμε δείκτες ,τότε υπάρχει ένας από αυτούς,έστω ο που είναι τέτοιος ώστε ,γιατί διαφορετικά τα διαστήματα θα είχαν μη κενή τομή.Συνεπώς:
Επιλέγουμε τους και βρίσκουμε ότι υπάρχει τέτοιος ώστε .
Επιλέγουμε τους και βρίσκουμε ότι υπάρχει τέτοιος ώστε .
Επιλέγουμε τους και βρίσκουμε ότι υπάρχει τέτοιος ώστε .
Τα διαστήματα είναι ανά δύο ξένα,από όπου έπεται το ζητούμενο.
Γιώργος Γαβριλόπουλος
-
- Δημοσιεύσεις: 412
- Εγγραφή: Δευ Μαρ 01, 2010 2:07 pm
Re: Euler 2017/4
Ενδιαφέρον θέμα και ωραία λύση. Προτείνω την ακόλουθη παραλλαγή (δυστυχώς δεν είναι γενίκευση, καθώς δεν νομίζω ότι μπορούμε να δημιουργήσουμε poset με κατάλληλες ιδιότητες στην παραπάνω άσκηση):
Έστω ένα poset ( μερικώς διατεταγμένο σύνολο) με στοιχεία. Να δειχθεί ότι το poset περιέχει ένα chain μεγέθους ή ένα antichain μεγέθους .
Φιλικά,
Νίκος
Έστω ένα poset ( μερικώς διατεταγμένο σύνολο) με στοιχεία. Να δειχθεί ότι το poset περιέχει ένα chain μεγέθους ή ένα antichain μεγέθους .
Φιλικά,
Νίκος
τελευταία επεξεργασία από nickthegreek σε Παρ Δεκ 08, 2017 3:04 pm, έχει επεξεργασθεί 1 φορά συνολικά.
Νίκος Αθανασίου
Μεταδιδακτορικός ερευνητής, τμήμα μαθηματικών- Πανεπιστήμιο Κρήτης
Μεταδιδακτορικός ερευνητής, τμήμα μαθηματικών- Πανεπιστήμιο Κρήτης
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
Re: Euler 2017/4
Νίκο, χρόνια πολλά και για προχθές.
Μπορούμε να κατασκευάσουμε ένα poset ως εξής: Λέμε ότι το διάστημα είναι μικρότερο του διαστήματος (όπου και ) αν .)
Είναι άμεσο ότι σε ένα chain έχουμε ξένα μεταξύ τους διαστήματα. Σε ένα chain έχουμε διαστήματα τα οποία τέμνονται ανά δύο. Για την άσκηση αρκεί να δειχθεί ότι τότε απαραίτητα πρέπει να έχουν κοινό σημείο. Αυτό δεν είναι δύσκολο. Ουσιαστικά υπάρχει και στην λύση του Γιώργου.
Μπορούμε να κατασκευάσουμε ένα poset ως εξής: Λέμε ότι το διάστημα είναι μικρότερο του διαστήματος (όπου και ) αν .)
Είναι άμεσο ότι σε ένα chain έχουμε ξένα μεταξύ τους διαστήματα. Σε ένα chain έχουμε διαστήματα τα οποία τέμνονται ανά δύο. Για την άσκηση αρκεί να δειχθεί ότι τότε απαραίτητα πρέπει να έχουν κοινό σημείο. Αυτό δεν είναι δύσκολο. Ουσιαστικά υπάρχει και στην λύση του Γιώργου.
-
- Δημοσιεύσεις: 412
- Εγγραφή: Δευ Μαρ 01, 2010 2:07 pm
Re: Euler 2017/4
Δημήτρη έχεις δίκαιο. Το σκέφτηκα κι εγώ αυτό το relation, αλλά τότε βέβαια έχουμε strict partial order. Δεν ήμουν σίγουρος αν το Dilworth εφαρμόζεται σε strict partial orders γιατί όλες οι εκφωνήσεις που θυμάμαι είχαν να κάνουν με non-strict posets.
Anyway, το φινάλε έπεται και άμεσα από το θεώρημα του Helly για κυρτά σύνολα :
https://en.wikipedia.org/wiki/Helly%27s_theorem
Σε ευχαριστώ για τις ευχές!!
Χαιρετισμούς,
Νίκος
Anyway, το φινάλε έπεται και άμεσα από το θεώρημα του Helly για κυρτά σύνολα :
https://en.wikipedia.org/wiki/Helly%27s_theorem
Σε ευχαριστώ για τις ευχές!!
Χαιρετισμούς,
Νίκος
Νίκος Αθανασίου
Μεταδιδακτορικός ερευνητής, τμήμα μαθηματικών- Πανεπιστήμιο Κρήτης
Μεταδιδακτορικός ερευνητής, τμήμα μαθηματικών- Πανεπιστήμιο Κρήτης
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
Re: Euler 2017/4
Ναι έπεται άμεσα και από το θεώρημα του Helly.
Το Dilworth ισχύει για όλα τα partial orders.
Το Dilworth ισχύει για όλα τα partial orders.
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 8 επισκέπτες