Vojtech Jarnik 2016/2 Category II
Συντονιστής: Demetres
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
Vojtech Jarnik 2016/2 Category II
Έστω σύνολο και έστω το σύνολο όλων των υποσυνόλων του . Δίνεται επίσης συνάρτηση με την ιδιότητα
για κάθε τα οποία είναι ξένα μεταξύ τους.
Να δειχθεί ότι υπάρχει υποσύνολο του για το οποίο να ισχύει ότι .
για κάθε τα οποία είναι ξένα μεταξύ τους.
Να δειχθεί ότι υπάρχει υποσύνολο του για το οποίο να ισχύει ότι .
Λέξεις Κλειδιά:
-
- Επιμελητής
- Δημοσιεύσεις: 15762
- Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am
Re: Vojtech Jarnik 2016/2 Category II
Πρώτα παρατηρούμε ότι η διατηρεί την διάταξη καθώς αν τότε τα είναι ξένα με ένωση . ΆραDemetres έγραψε:Έστω σύνολο και έστω το σύνολο όλων των υποσυνόλων του . Δίνεται επίσης συνάρτηση με την ιδιότητα
για κάθε τα οποία είναι ξένα μεταξύ τους.
Να δειχθεί ότι υπάρχει υποσύνολο του για το οποίο να ισχύει ότι .
Τώρα, το σύνολο είναι μη κενό, αφού περιέχει το . Θέτουμε
οπότε για κάθε στο εν λόγω σύνολο είναι και άρα από την διατήρηση της διάταξης . Παίρνοντας τομή ως προς όλα αυτά τα είναι (αυτό σημαίνει ότι το είναι στοιχείο του συνόλου από όπου προήλθε, αλλά δεν θα χρησιμοποιήσω αυτή την πληροφορία).
Από την έπεται και άρα . Ειδικά από την είναι και άρα . Η τελευταία σε συνδυασμό με την σημαίνει ότι το σύνολο ικανοποιεί την ζητούμενη .
Σχόλιο: Θα μπορούσαμε εξ ίσου καλά να εργαστούμε με το που είναι μη κενό καθώς περιέχει το και να θέσουμε . Τα βήματα είναι παρόμοια αλλά με τα "περιέχεσθαι" ανεστραμμένα.
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
Re: Vojtech Jarnik 2016/2 Category II
Είναι άμεση συνέπεια του θεωρήματος σταθερού σημείου των Knaster-Tarksi. Αυτό λέει ότι
Αν ένα πλήρες μερικώς διατεταγμένο σύνολο και μια συνάρτηση η οποία διατηρεί την διάταξη, τότε η έχει σταθερό σημείο.
Η απόδειξη είναι ουσιαστικά αυτή που έδωσε ο Μιχάλης.
Αν ένα πλήρες μερικώς διατεταγμένο σύνολο και μια συνάρτηση η οποία διατηρεί την διάταξη, τότε η έχει σταθερό σημείο.
Η απόδειξη είναι ουσιαστικά αυτή που έδωσε ο Μιχάλης.
-
- Επιμελητής
- Δημοσιεύσεις: 15762
- Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am
Re: Vojtech Jarnik 2016/2 Category II
Δημήτρη, ευχαριστούμε για την πληροφορία.Demetres έγραψε:Είναι άμεση συνέπεια του θεωρήματος σταθερού σημείου των Knaster-Tarksi.
Δεν ήξερα το Θεώρημα Knaster-Tarksi, το οποίο πραγματικά είναι πολύ ενδιαφέρον ιδίως η γενίκευσή του για lattices. Με χρήση του google βρήκα στην wikipedia λίγα σχετικά
εδώ
Για τον ίδιο τον Tarski (1901-1983), ήξερα αρκετά. Ήταν πωλονοεβραίος που αλλαξοπίστισε σε Καθολικό και λίγο πριν τον πόλεμο μετακόμισε στην Αμερική όπου έκανε λαμπρή καριέρα. Νωρίτερα είχε αλλάξει το όνομά του από Teitelbaum σε Tarski. Είχε τεράστια συμβολή σε ευρύ φάσμα Μαθηματικών, και ιδίως Λογικής. Βλέπε λίγα εδώ.
Ήξερα την απίστευτη κατασκευή του με τον Banach για το λεγόμενο παράδοξο Banach-Tarski και ήξερα ένα αποτέλεσμά του στις Άλγεβρες Boole που κάποτε χρειάστηκα στην ερευνητική μου εργασία, αλλά και το παραπάνω διαμαντάκι με εντυπωσίασε άλλη μία φορά.
Ας προσθέσω ότι ο Tarski συχνά πυκνά πήγαινε σε Σχολεία να διδάξει Ευκλείδεια Γεωμετρία.
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 4 επισκέπτες