Μεγιστικὴ ὑποκλάση τοῦ δυναμοσυνόλου
- Γ.-Σ. Σμυρλής
- Δημοσιεύσεις: 578
- Εγγραφή: Κυρ Οκτ 14, 2012 9:47 am
- Τοποθεσία: Λευκωσία, Κύπρος
Μεγιστικὴ ὑποκλάση τοῦ δυναμοσυνόλου
ΠΡΟΒΛΗΜΑ. Ἔστω τὸ δυναμοσύνολο τοῦ καὶ , μὲ τὴν ἰδιότητα
Ἄν τὸ εἶναι μεγιστικὸ μὲ αὐτὴ τὴν ἰδιότητα, δείξατε ὅτι .
ΣΗΜΕΙΩΣΗ. Τὸ εἶναι μεγιστικὸ μὲ αὐτὴ τὴν ἰδιότητα σημαίνει ὅτι, ἄν , τότε ὑπάρχουν , ὥστε .
Ἄν τὸ εἶναι μεγιστικὸ μὲ αὐτὴ τὴν ἰδιότητα, δείξατε ὅτι .
ΣΗΜΕΙΩΣΗ. Τὸ εἶναι μεγιστικὸ μὲ αὐτὴ τὴν ἰδιότητα σημαίνει ὅτι, ἄν , τότε ὑπάρχουν , ὥστε .
Λέξεις Κλειδιά:
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Μεγιστικὴ ὑποκλάση τοῦ δυναμοσυνόλου
Νομίζω ότι είναι απλό.Γ.-Σ. Σμυρλής έγραψε:ΠΡΟΒΛΗΜΑ. Ἔστω τὸ δυναμοσύνολο τοῦ καὶ , μὲ τὴν ἰδιότητα
Ἄν τὸ εἶναι μεγιστικὸ μὲ αὐτὴ τὴν ἰδιότητα, δείξατε ὅτι .
ΣΗΜΕΙΩΣΗ. Τὸ εἶναι μεγιστικὸ μὲ αὐτὴ τὴν ἰδιότητα σημαίνει ὅτι, ἄν , τότε ὑπάρχουν , ὥστε .
θα δείξουμε ότι σε ένα μεγιστικό θα ανήκει ένα ακριβώς από τα ,.
Είναι προφανές ότι και τα δύο δεν ανήκουν συγχρόνως.
Αν υποθέσουμε ότι και τα δύο δεν ανήκουν τότε υπάρχουν στο μεγιστικό με
που οδηγεί σε άτοπο γιατί
Αρα ακριβώς ένα από τα , ανήκει στο μεγιστικό οπότε έχει τα μισά υποσύνολα του συνόλου.
Ζητώ προκαταβολικά συγνώμμη για την εμφάνηση αλλά γράφω από μικρό υπολογιστή.
- Γ.-Σ. Σμυρλής
- Δημοσιεύσεις: 578
- Εγγραφή: Κυρ Οκτ 14, 2012 9:47 am
- Τοποθεσία: Λευκωσία, Κύπρος
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Μεγιστικὴ ὑποκλάση τοῦ δυναμοσυνόλου
Για αυτό ήμουν σχεδόν σίγουρος. Η αλήθεια είναι ότι το έλυσα χωρίς να καταλάβω.Γ.-Σ. Σμυρλής έγραψε:Σωστά
Νομίζω ότι έχει ενδιαφέρον τι δομή έχουν αυτές.
Θα γράψω κάποια πράγματα όταν βρεθώ σε κανονικό υπολογιστή.
Από που προέρχεται το πρόβλημα;
-
- Επιμελητής
- Δημοσιεύσεις: 15762
- Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am
Re: Μεγιστικὴ ὑποκλάση τοῦ δυναμοσυνόλου
Είναι τα λεγόμενα ultrafilers. Στις Τοπολογίες χρησιμοποιούν συνήθως δίκτυα (nets)ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε: Νομίζω ότι έχει ενδιαφέρον τι δομή έχουν αυτές.
για την σύγκλιση αλλά αραιά και που εργάζονται στην θέση τους με filters και ultrafilters.
Αν θυμάμαι καλά, η Toπολογία του Bourbaki εργάζεται με filters και ultrafilters.
To κλασικό βιβλίο Ultafilters είναι βέβαια των Νεγρεπόντη, Comfort.
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Μεγιστικὴ ὑποκλάση τοῦ δυναμοσυνόλου
Καλησπέρα Μιχάλη. Δεν νομίζω,Mihalis_Lambrou έγραψε:Είναι τα λεγόμενα ultrafilers. Στις Τοπολογίες χρησιμοποιούν συνήθως δίκτυα (nets)ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε: Νομίζω ότι έχει ενδιαφέρον τι δομή έχουν αυτές.
για την σύγκλιση αλλά αραιά και που εργάζονται στην θέση τους με filters και ultrafilters.
Αν θυμάμαι καλά, η Toπολογία του Bourbaki εργάζεται με filters και ultrafilters.
To κλασικό βιβλίο Ultafilters είναι βέβαια των Νεγρεπόντη, Comfort.
https://en.wikipedia.org/wiki/Ultrafilter
Αν πάρουμε ένα σύνολο με στοιχεία τα υποσύνολά του που έχουν περισσότερα από στοιχεία αποτελουν ένα μεγιστικό όπως όρισε ο Γιώργος αλλά δεν είναι filters η ultrafilters.
Βέβαια αν πάρουμε ένα σύνολο με στοιχεία και όλα τα υποσύνολά του που περιέχουν ένα συγκεκριμένο στοιχείο τότε αυτό είναι μεγιστικό και αν δεν κάνω λάθος ultrafilters.
- Γ.-Σ. Σμυρλής
- Δημοσιεύσεις: 578
- Εγγραφή: Κυρ Οκτ 14, 2012 9:47 am
- Τοποθεσία: Λευκωσία, Κύπρος
Re: Μεγιστικὴ ὑποκλάση τοῦ δυναμοσυνόλου
Τα ὑπερφίλτρα πράγματι ἔχουν τὴν μεγιστικότητα ποὺ ἀπαιτεῖ ἡ ἄσκηση. Ὅμως, ἐνδέχεται ἕνα μεγιστικὸ σύνολο ποὺ ἱκανοποιεῖ τὰ δεδομένα τῆς ἀσκήσεως νὰ μὴν εἶναι ὑπερφίλτρο.
Παράδειγμα: , .
Παράδειγμα: , .
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
Re: Μεγιστικὴ ὑποκλάση τοῦ δυναμοσυνόλου
Η αρχική άσκηση είναι μια από τις πρώτες ασκήσεις που συναντάει κανείς σε ένα τομέα της συνδυαστικής που ονομάζεται extremal set theory. Σε αυτό τον τομέα οι ερωτήσεις που συναντάμε είναι της μορφής: «Ποιο είναι το μεγαλύτερο μέγεθος μιας οικογένειας υποσυνόλων του η οποία να έχει μια συγκεκριμένη ιδιότητα;»
Ακόμη όμως και από αυτήν την απλή ερώτηση πηγάζουν δύσκολα ερωτήματα. Π.χ. αφού βρήκαμε ότι το μέγιστο μέγεθος είναι και μάλιστα αποδείξαμε το πιο ισχυρό ότι κάθε μεγιστική οικογένεια είναι μέγιστη, η επόμενη ερώτηση είναι να περιγράψουμε όλες αυτές τις μέγιστες οικογένειες και αν είναι δυνατόν να τις μετρήσουμε.
Αυτά τα δύο ερωτήματα στην συγκεκριμένη περίπτωση είναι ανοικτά. Ένα πράγμα που γνωρίζουμε είναι το εξής:
Ας πάρουμε την περίπτωση άρτιος. Μια μέγιστη οικογένεια είναι να πάρουμε όλα τα σύνολα με τουλάχιστον στοιχεία μαζί με ένα σύνολο από κάθε ζεύγος συμπληρωματικών συνόλων μεγέθους . Είναι εύκολο να δειχθεί ότι αυτή είναι μέγιστη οικογένεια και ότι υπάρχουν τέτοιες οικογένειες.
Έχει αποδειχθεί ότι ασυμπτωτικά υπάρχουν μέγιστες οικογένειες. Δηλαδή υπό μια έννοια οι πλείστες μέγιστες οικογένειες μοιάζουν με αυτήν την πιο πάνω παραγράφου. (Αν και αυτό δεν είναι ακριβώς σωστό αφού το είναι στον εκθέτη.)
Είχα γράψει κάποια πράγματα για αυτό το πρόβλημα εδώ τον καιρό που ασχολούμουν με το blog μου.
Ακόμη όμως και από αυτήν την απλή ερώτηση πηγάζουν δύσκολα ερωτήματα. Π.χ. αφού βρήκαμε ότι το μέγιστο μέγεθος είναι και μάλιστα αποδείξαμε το πιο ισχυρό ότι κάθε μεγιστική οικογένεια είναι μέγιστη, η επόμενη ερώτηση είναι να περιγράψουμε όλες αυτές τις μέγιστες οικογένειες και αν είναι δυνατόν να τις μετρήσουμε.
Αυτά τα δύο ερωτήματα στην συγκεκριμένη περίπτωση είναι ανοικτά. Ένα πράγμα που γνωρίζουμε είναι το εξής:
Ας πάρουμε την περίπτωση άρτιος. Μια μέγιστη οικογένεια είναι να πάρουμε όλα τα σύνολα με τουλάχιστον στοιχεία μαζί με ένα σύνολο από κάθε ζεύγος συμπληρωματικών συνόλων μεγέθους . Είναι εύκολο να δειχθεί ότι αυτή είναι μέγιστη οικογένεια και ότι υπάρχουν τέτοιες οικογένειες.
Έχει αποδειχθεί ότι ασυμπτωτικά υπάρχουν μέγιστες οικογένειες. Δηλαδή υπό μια έννοια οι πλείστες μέγιστες οικογένειες μοιάζουν με αυτήν την πιο πάνω παραγράφου. (Αν και αυτό δεν είναι ακριβώς σωστό αφού το είναι στον εκθέτη.)
Είχα γράψει κάποια πράγματα για αυτό το πρόβλημα εδώ τον καιρό που ασχολούμουν με το blog μου.
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Μεγιστικὴ ὑποκλάση τοῦ δυναμοσυνόλου
Να δώσω ακόμα μια μορφή τέτοιου συνόλου.
Εστω σύνολο με
Παίρνουμε υποσύνολο του με
Παίρνουμε όλα τα υποσύνολα του που έχουν περισσότερα από στοιχεία.
Τα σύνολα είναι
όπου με περισσότερα από στοιχεία και
Εστω σύνολο με
Παίρνουμε υποσύνολο του με
Παίρνουμε όλα τα υποσύνολα του που έχουν περισσότερα από στοιχεία.
Τα σύνολα είναι
όπου με περισσότερα από στοιχεία και
Re: Μεγιστικὴ ὑποκλάση τοῦ δυναμοσυνόλου
Μπορούμε να γενικεύσουμε το αρχικό πρόβλημα.
Έστω πεπερασμένος μεταθετικός δακτύλιος του Boole ( ) με μονάδα
και με την ιδιότητα που είναι μεγιστικό ως
προς αυτή την ιδιότητα, δηλαδή αν , τότε υπάρχουν με
Τότε, .
Έστω πεπερασμένος μεταθετικός δακτύλιος του Boole ( ) με μονάδα
και με την ιδιότητα που είναι μεγιστικό ως
προς αυτή την ιδιότητα, δηλαδή αν , τότε υπάρχουν με
Τότε, .
Παπαπέτρος Ευάγγελος
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 2 επισκέπτες