αριθμήσιμο σύνολο
αριθμήσιμο σύνολο
Καλησπέρα σας! Έχω ξεκινήσει να μελετάω Σύνολα. Προσπαθώ μια άσκηση που φαίνεται βασική αλλά έχω κολλήσει. Θα ήθελα τη βοήθειά σας.
α) Δείξτε ότι το σύνολο όλων των θετικών ρητών αριθμών είναι αριθμήσιμο σύνολο.
β) Δείξτε ότι η ένωση αριθμήσιμου πλήθους αριθμήσιμων συνόλων είναι αριθμήσιμο σύνολο.
Το α νομίζω πως το έλυσα σχεδόν, αν και ο τρόπος γραφής δεν μου αρέσει ιδιαίτερα. Θα ήθελα μια καλύτερη προσέγγιση από εσάς. Έκανα το εξής:
Σκέφτομαι " Είναι αριθμήσιμο το σύνολο των θετικών ρητών, δηλαδή των κλασμάτων με ; "
Προσπάθησα να βάλω όλα τα κλάσματα σε σειρά ως εξής :
Όμως αυτή η σειρά δε δείχνει ότι το σύνολο των θετικών ρητών είναι αριθμήσιμο.
Παρατηρούμε ότι ένα σύνολο είναι αριθμήσιμο, εάν, ξεκινώντας από ένα συγκεκριμένο στοιχείο μπορούμε σειριακά να καταγράψουμε όλα τα στοιχεία του συνόλου, το ένα μετά το άλλο.
Οπότε ψάχνω κατάλληλη ακολουθία. Μία είναι η εξής:
Πρώτα τα κλάσματα με άθροισμα αριθμητή και παρονομαστή ίσο με 2, μετά ίσο με 3, κτλ.
Ένα κλάσμα θα εμφανιστεί όταν απαριθμούμε τα κλάσματα με άθροισμα αριθμητή και παρονομαστή ίσο με .
_______________________________________
Μέχρι εκεί έχω φτάσει. Το β ερώτημα, αν και υπάρχει γραμμένο μες το βιβλίο, δεν αποδεικνύεται πουθενά.
Ευχαριστώ εκ των προτέρων!
α) Δείξτε ότι το σύνολο όλων των θετικών ρητών αριθμών είναι αριθμήσιμο σύνολο.
β) Δείξτε ότι η ένωση αριθμήσιμου πλήθους αριθμήσιμων συνόλων είναι αριθμήσιμο σύνολο.
Το α νομίζω πως το έλυσα σχεδόν, αν και ο τρόπος γραφής δεν μου αρέσει ιδιαίτερα. Θα ήθελα μια καλύτερη προσέγγιση από εσάς. Έκανα το εξής:
Σκέφτομαι " Είναι αριθμήσιμο το σύνολο των θετικών ρητών, δηλαδή των κλασμάτων με ; "
Προσπάθησα να βάλω όλα τα κλάσματα σε σειρά ως εξής :
Όμως αυτή η σειρά δε δείχνει ότι το σύνολο των θετικών ρητών είναι αριθμήσιμο.
Παρατηρούμε ότι ένα σύνολο είναι αριθμήσιμο, εάν, ξεκινώντας από ένα συγκεκριμένο στοιχείο μπορούμε σειριακά να καταγράψουμε όλα τα στοιχεία του συνόλου, το ένα μετά το άλλο.
Οπότε ψάχνω κατάλληλη ακολουθία. Μία είναι η εξής:
Πρώτα τα κλάσματα με άθροισμα αριθμητή και παρονομαστή ίσο με 2, μετά ίσο με 3, κτλ.
Ένα κλάσμα θα εμφανιστεί όταν απαριθμούμε τα κλάσματα με άθροισμα αριθμητή και παρονομαστή ίσο με .
_______________________________________
Μέχρι εκεί έχω φτάσει. Το β ερώτημα, αν και υπάρχει γραμμένο μες το βιβλίο, δεν αποδεικνύεται πουθενά.
Ευχαριστώ εκ των προτέρων!
Λέξεις Κλειδιά:
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: αριθμήσιμο σύνολο
Δεν είναι ασκήσεις αυτές.Είναι θεωρήματα και βρίσκονται μαζί με την απόδειξη τους σε όλα τα σοβαρά βιβλία.MathSc έγραψε: ↑Κυρ Οκτ 14, 2018 9:50 pmΚαλησπέρα σας! Έχω ξεκινήσει να μελετάω Σύνολα. Προσπαθώ μια άσκηση που φαίνεται βασική αλλά έχω κολλήσει. Θα ήθελα τη βοήθειά σας.
α) Δείξτε ότι το σύνολο όλων των θετικών ρητών αριθμών είναι αριθμήσιμο σύνολο.
β) Δείξτε ότι η ένωση αριθμήσιμου πλήθους αριθμήσιμων συνόλων είναι αριθμήσιμο σύνολο.
Το α νομίζω πως το έλυσα σχεδόν, αν και ο τρόπος γραφής δεν μου αρέσει ιδιαίτερα. Θα ήθελα μια καλύτερη προσέγγιση από εσάς. Έκανα το εξής:
Σκέφτομαι " Είναι αριθμήσιμο το σύνολο των θετικών ρητών, δηλαδή των κλασμάτων με ; "
Προσπάθησα να βάλω όλα τα κλάσματα σε σειρά ως εξής :
Όμως αυτή η σειρά δε δείχνει ότι το σύνολο των θετικών ρητών είναι αριθμήσιμο.
Παρατηρούμε ότι ένα σύνολο είναι αριθμήσιμο, εάν, ξεκινώντας από ένα συγκεκριμένο στοιχείο μπορούμε σειριακά να καταγράψουμε όλα τα στοιχεία του συνόλου, το ένα μετά το άλλο.
Οπότε ψάχνω κατάλληλη ακολουθία. Μία είναι η εξής:
Πρώτα τα κλάσματα με άθροισμα αριθμητή και παρονομαστή ίσο με 2, μετά ίσο με 3, κτλ.
Ένα κλάσμα θα εμφανιστεί όταν απαριθμούμε τα κλάσματα με άθροισμα αριθμητή και παρονομαστή ίσο με .
_______________________________________
Μέχρι εκεί έχω φτάσει. Το β ερώτημα, αν και υπάρχει γραμμένο μες το βιβλίο, δεν αποδεικνύεται πουθενά.
Ευχαριστώ εκ των προτέρων!
Επίσης μπορείς να τα βρεις στο διαδίκτυο.
Re: αριθμήσιμο σύνολο
Θα σας ήταν εύκολο να προσθέσετε κάποιον σύνδεσμο ώστε να το διαβάσω; Συγγνώμη για την ταλαιπωρία αλλά στο βιβλίο που διαβάζω δεν υπάρχει.
- Tolaso J Kos
- Δημοσιεύσεις: 5222
- Εγγραφή: Κυρ Αύγ 05, 2012 10:09 pm
- Τοποθεσία: Λάρισα, Βαρκελώνη
- Επικοινωνία:
Re: αριθμήσιμο σύνολο
Γνωρίζεις ότι το είναι ένα άπειρο σύνολο. Ένα άπειρο σύνολο είναι αριθμήσιμο αν έχει μία injection στο . Μία τέτοια , ας πούμε , είναι αυτή:
Συμφωνώ .ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε: ↑Κυρ Οκτ 14, 2018 9:57 pmΔεν είναι ασκήσεις αυτές.Είναι θεωρήματα και βρίσκονται μαζί με την απόδειξη τους σε όλα τα σοβαρά βιβλία.
Επίσης μπορείς να τα βρεις στο διαδίκτυο.
Η φαντασία είναι σημαντικότερη από τη γνώση !
- Tolaso J Kos
- Δημοσιεύσεις: 5222
- Εγγραφή: Κυρ Αύγ 05, 2012 10:09 pm
- Τοποθεσία: Λάρισα, Βαρκελώνη
- Επικοινωνία:
Re: αριθμήσιμο σύνολο
Και μία εποπτεία ( χωρίς λόγια ):
Η φαντασία είναι σημαντικότερη από τη γνώση !
- Tolaso J Kos
- Δημοσιεύσεις: 5222
- Εγγραφή: Κυρ Αύγ 05, 2012 10:09 pm
- Τοποθεσία: Λάρισα, Βαρκελώνη
- Επικοινωνία:
Re: αριθμήσιμο σύνολο
Επιτρέπεται το αξίωμα επιλογής; Αν ναι, έχει καλώς και δύο αποδείξεις βρίσκονται εδώ , αλλιώς ... κλάφτα Χαράλαμπε.
Η φαντασία είναι σημαντικότερη από τη γνώση !
- Tolaso J Kos
- Δημοσιεύσεις: 5222
- Εγγραφή: Κυρ Αύγ 05, 2012 10:09 pm
- Τοποθεσία: Λάρισα, Βαρκελώνη
- Επικοινωνία:
Re: αριθμήσιμο σύνολο
Με μία κουβέντα που είχα χθες με τον κ. Νίκο Μαυρογιάννη διαπίστωσα πως δε χρειάζεται το αξίωμα επιλογής. Αντ' αυτού μπορούμε να χρησιμοποιήσουμε το διαγώνιο επιχείρημα Cantor-Schroeder-Bernstein και να σχηματίσουμε injections μεταξύ του και του .
Κάποια στιγμή θα συμπληρώσω τις λεπτομέρειες.
Κάποια στιγμή θα συμπληρώσω τις λεπτομέρειες.
Η φαντασία είναι σημαντικότερη από τη γνώση !
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
Re: αριθμήσιμο σύνολο
Tolaso J Kos έγραψε: ↑Τρί Νοέμ 06, 2018 9:47 pmΜε μία κουβέντα που είχα χθες με τον κ. Νίκο Μαυρογιάννη διαπίστωσα πως δε χρειάζεται το αξίωμα επιλογής. Αντ' αυτού μπορούμε να χρησιμοποιήσουμε το διαγώνιο επιχείρημα Cantor-Schroeder-Bernstein και να σχηματίσουμε injections μεταξύ του και του .
Κάποια στιγμή θα συμπληρώσω τις λεπτομέρειες.
Όχι! Μια μορφή του αξιώματος της επιλογής χρειάζεται. Η πρόταση «Η ένωση αριθμήσιμου πλήθους αριθμήσιμων συνόλων είναι αριθμήσιμο σύνολο» αποδεικνύει εύκολα την πρόταση «Κάθε αριθμήσιμο σύνολο από μη κενά αριθμήσιμα σύνολα έχει συνάρτηση επιλογής».
Το τελευταίο είναι μια πιο αδύναμη μορφή του αξιώματος της επιλογής. Είναι η μορφή 5 εδώ. Στο άρθρο του Sageev που παραπέμπει (πρώτη παράγραφος στην σελίδα 3) λέει ότι "...it is shown that not even for a countable set of disjoint countable sets of reals does a choice set generally exist." Με άλλα λόγια δεν μπορούμε να αποδείξουμε την μορφή 5.
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: αριθμήσιμο σύνολο
Εκείνο που μπορούμε να αποδείξουμε εύκολα είναι ότι το
είναι ισοπληθικό με ένα .
Το
Αν πάρουμε την
με
τότε προφανώς η είναι 1-1 οπότε το είναι ισοπληθικό με το
Τέτοιες υπάρχουν πολλές.
π.χ οι με διαφορετικούς πρώτους μας κάνουν.
Ερώτηση .Που χρησιμοποιήθηκε το αξίωμα της επιλογής;
είναι ισοπληθικό με ένα .
Το
Αν πάρουμε την
με
τότε προφανώς η είναι 1-1 οπότε το είναι ισοπληθικό με το
Τέτοιες υπάρχουν πολλές.
π.χ οι με διαφορετικούς πρώτους μας κάνουν.
Ερώτηση .Που χρησιμοποιήθηκε το αξίωμα της επιλογής;
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
Re: αριθμήσιμο σύνολο
Σταύρο, μάλλον δεν ήμουν ξεκάθαρος. Όταν έλεγα ότι χρειάζεται μια μορφή του αξιώματος της επιλογής μιλούσα για το (β).
- nsmavrogiannis
- Επιμελητής
- Δημοσιεύσεις: 4454
- Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
- Τοποθεσία: Αθήνα
- Επικοινωνία:
Re: αριθμήσιμο σύνολο
Demetres έγραψε: ↑Τετ Νοέμ 07, 2018 10:39 amTolaso J Kos έγραψε: ↑Τρί Νοέμ 06, 2018 9:47 pmΜε μία κουβέντα που είχα χθες με τον κ. Νίκο Μαυρογιάννη διαπίστωσα πως δε χρειάζεται το αξίωμα επιλογής. Αντ' αυτού μπορούμε να χρησιμοποιήσουμε το διαγώνιο επιχείρημα Cantor-Schroeder-Bernstein και να σχηματίσουμε injections μεταξύ του και του .
Κάποια στιγμή θα συμπληρώσω τις λεπτομέρειες.
Όχι! Μια μορφή του αξιώματος της επιλογής χρειάζεται. Η πρόταση «Η ένωση αριθμήσιμου πλήθους αριθμήσιμων συνόλων είναι αριθμήσιμο σύνολο» αποδεικνύει εύκολα την πρόταση «Κάθε αριθμήσιμο σύνολο από μη κενά αριθμήσιμα σύνολα έχει συνάρτηση επιλογής».
Το τελευταίο είναι μια πιο αδύναμη μορφή του αξιώματος της επιλογής. Είναι η μορφή 5 εδώ. Στο άρθρο του Sageev που παραπέμπει (πρώτη παράγραφος στην σελίδα 3) λέει ότι "...it is shown that not even for a countable set of disjoint countable sets of reals does a choice set generally exist." Με άλλα λόγια δεν μπορούμε να αποδείξουμε την μορφή 5.
Γεια σας. Γράφω κάπως βιαστικά εν μέσω ενός διαλείμματος για φαγητό.
Στην συζήτηση που είχαμε με τον Τόλη τον παρέπεμψα σε μια απόδειξη που έχω υπ΄όψιν και προέρχεται από το βιβλίο του Ι. Kaplansky Set Theory and Metric spaces. Στην σελίδα 22 αποδεικνύει το
Theorem 1. A countable union of countable sets is countable.
Το αξίωμα της επιλογής στο συγκεκριμένο βιβλίο υπάρχει στο κεφάλαιο 3 που αρχίζει από την σελίδα 49.
Επίσης ο Γιάννης Μοσχοβάκης στο βιβλίο του Σημειώσεις στην Συνολοθεωρία παραθέτει στην σελίδα 9 απόδειξη του θεωρήματος
2.10 Θεώρημα (Cantor) Για κάθε ακολουθία , , ...απαριθμητών συνόλων, η ένωση είναι επίσης απαριθμητό σύνολο.
Το αξίωμα της επιλογής και σε αυτό το βιβλίο εμφανίζεται πολυ μετά (κεφάλαιο 8 σελίδα 121).
Τελος και ο Kelley στο General Topology στην σελίδα 26 έχει το
17 Theorem If is a countable family of countable sets, then is countable.
Στο βιβλίο του Kelley το αξίωμα της επιλογής και ισοδύναμα του εμφανίζονται στην σελίδα 31.
Τις παραπομπές που αναφέρει ο Δημήτρης, και για τις οποίες ευχαριστούμε, θα τις δω άλλη στιγμή.
Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
Ηράκλειτος
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
Re: αριθμήσιμο σύνολο
Νίκο, είναι λογικό να κάνουν τις αποδείξεις πριν να μιλήσουν για το αξίωμα της επιλογής. Η αριθμησιμότητα είναι πιο απλή έννοια και η χρήση του αξιώματος της επιλογής στην απόδειξη του (β) είναι τόσο αθώα που κανείς δεν πρόκειται να το παρατηρήσει. Ακόμη και ιστορικά να το δούμε έτσι έγινε. O Cantor τα απέδειξε αυτά προτού προταθεί προς χρήση το Αξίωμα της Επιλογής.
Ο Μοσχοβάκης μάλιστα το εξηγεί και στο κεφάλαιο 8. Αντιγράφω και μεταφράζω από την αγγλική έκδοση:
Μεταφρασμένο από εμένα:
Λιγότερο διασκεδαστική αλλά πιο σημαντική για τα μαθηματικά είναι η απόδειξη του βασικού θεωρήματος 2.10, όπου θεωρήσαμε μια ακολουθία αριθμήσιμων συνόλων και ξεκινήσαμε με την φράση
<...>
αλλά η υπόλοιπη απόδειξη χρειάζεται μια συνάρτηση η οποία αντιστοιχίζει μια συγκεκριμένη απαρίθμηση με κάθε
<...>
το Αξίωμα της Επιλογής εγγυάται ακριβώς την ύπαρξη συνάρτησης <...> η οποία για κάθε <...> απαριθμεί το .
Τέτοιες «σιωπηλές» επικλήσεις στο Αξίωμα της Επιλογής, μεταμφιεσμένες από τους συμβολισμούς, είναι πολύ συχνές στα μαθηματικά και ειδικά στην ανάλυση <...>
Εν πάση περιπτώσει και για να μην συγχύσω και τους φοιτητές που μας διαβάζουν. Την πρώτη φορά που μαθαίνουμε για την αριθμησιμότητα δεν πρέπει να μας απασχολεί τι είναι το αξίωμα της επιλογής, αν το χρησιμοποιήσαμε ή αν και πως μπορούμε να το αποφύγουμε. Αυτό θα μας απασχολήσει σε κατοπινό στάδιο όταν ήδη έχουμε εξοικειωθεί με την αριθμησιμότητα. Καλή ώρα όπως και τώρα.
Ο Μοσχοβάκης μάλιστα το εξηγεί και στο κεφάλαιο 8. Αντιγράφω και μεταφράζω από την αγγλική έκδοση:
Less amusing but more significant for mathematics is the proof of the basic theorem 2.10, where we considered a sequence of countable sets and began with the phrase
<...>
but the rest of the proof needs a function which associates a specific enumeration with each
<...>
the Axiom of Choice guarantees precisely that there exists a function <...> such that for each <...> it enumerates .
Such “silent” appeals to the Axiom of Choice, masked by the notation, are very common in mathematics and especially in analysis <...>
Μεταφρασμένο από εμένα:
Λιγότερο διασκεδαστική αλλά πιο σημαντική για τα μαθηματικά είναι η απόδειξη του βασικού θεωρήματος 2.10, όπου θεωρήσαμε μια ακολουθία αριθμήσιμων συνόλων και ξεκινήσαμε με την φράση
<...>
αλλά η υπόλοιπη απόδειξη χρειάζεται μια συνάρτηση η οποία αντιστοιχίζει μια συγκεκριμένη απαρίθμηση με κάθε
<...>
το Αξίωμα της Επιλογής εγγυάται ακριβώς την ύπαρξη συνάρτησης <...> η οποία για κάθε <...> απαριθμεί το .
Τέτοιες «σιωπηλές» επικλήσεις στο Αξίωμα της Επιλογής, μεταμφιεσμένες από τους συμβολισμούς, είναι πολύ συχνές στα μαθηματικά και ειδικά στην ανάλυση <...>
Εν πάση περιπτώσει και για να μην συγχύσω και τους φοιτητές που μας διαβάζουν. Την πρώτη φορά που μαθαίνουμε για την αριθμησιμότητα δεν πρέπει να μας απασχολεί τι είναι το αξίωμα της επιλογής, αν το χρησιμοποιήσαμε ή αν και πως μπορούμε να το αποφύγουμε. Αυτό θα μας απασχολήσει σε κατοπινό στάδιο όταν ήδη έχουμε εξοικειωθεί με την αριθμησιμότητα. Καλή ώρα όπως και τώρα.
- nsmavrogiannis
- Επιμελητής
- Δημοσιεύσεις: 4454
- Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
- Τοποθεσία: Αθήνα
- Επικοινωνία:
Re: αριθμήσιμο σύνολο
Δημήτρη διάβασα το επιχείρημα σου όπως και το επιχείρημα του Μοαχοβάκη το οποίο αν και το είχα δει παλαιότερα το είχα ξεχάσε (την παραπομπή στο οικείο κεφάλαιο "ΕΠΙΛΟΓΕΣ" την έκανα βιαστικά από τον πίνακα περιεχομένων του pdf). Όντας σπίτι και έχοντας το βιβλίο διάβασα προσεκτικά το μέρος στο οποίο αναφέρεσαι. Υπάρχει ακόμη ένα σημείο που δεν καταλαβαίνω. Γιατί πρέπει να καταφύγουμε στο αξίωμα της (έστω αριθμήσιμης) επιλογής και να μην ορίσουμε την επιθυμητή αντιστοίχιση με επαγωγή αφού στο βήμα μπορούμε να επικαλεσθούμε, κάθε φορά, την ύπαρξη μιας ; Κάτι που φαντάζει βέβαια προφανές. Μήπως και αυτό είναι ο λόγος που οι συγγραφείς που δεν χρησιμοποιούν το αξίωμα της επιλογής δεν κάνουν κάποια σαφή μνεία; Βλέπω ότι ο Halmos στο βιβλίο του "Αφελής Συνολοθεωρία" (Κεφ. 23 σελίδα 136 της Ελληνικής έκδοσης) μολονότι έχει προηγηθεί το Αξίωμα της επιλογής δεν το αναφέρει ρητά. Πάντως θα το ξανακοιτάξω το θέμα. Σε αυτά τα ζητήματα είμαι πάντα ανήσυχος μήπως κάνω λάθος. Ήδη έχω κάνει τρία τέτοια λάθη σε αυτή την περιοχή στο mathematica την δεκαετία που μας πέρασε και τα θυμάμαι. Το ένα μάλιστα ήταν με αφορμή μια λύση που είχες δώσει εσύ.
Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
Ηράκλειτος
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
Re: αριθμήσιμο σύνολο
Νίκο θυμάμαι ότι όταν τα είχα πρωτοδεί με είχε απασχολήσει το συγκεκριμένο ερώτημα. Η απάντηση είναι η εξής:
Ας πάμε στην πιο «απλή» περίπτωση όπου θέλουμε να αποδείξουμε την αριθμήσιμη επιλογή. Έχουμε δηλαδή μη κενά σύνολα και θέλουμε να δείξουμε ότι υπάρχει συνάρτηση ώστε για κάθε .
Ο λόγος που δεν μπορώ να χρησιμοποιήσω επαγωγή, τουλάχιστον όχι με τον προφανή τρόπο, είναι ότι δεν μπορώ να βρω μια πρόταση ώστε αν δείξω ότι «για κάθε ισχύει η » τότε θα έχω το ζητούμενο.
Π.χ. αν η είναι η πρόταση «Υπάρχει ώστε » τότε το δεν μου δίνει την ύπαρξη συνάρτησης αλλά ότι όλα τα είναι μη κενά.
Μπορώ να πάρω ως την πρόταση «Υπάρχει ώστε για κάθε »
Αυτό αποδεικνύεται επαγωγικά όπως εξήγησες αλλά πάλι το δεν δίνει μία συνάρτηση που ορίζεται στο αλλά πολλές συναρτήσεις οι οποίες ορίζονται σε πεπερασμένα σύνολα.
Θα θέλαμε να πούμε: «Ναι αλλά αν ονομάσω με την συνάρτηση στο όχι μόνο υπάρχουν συναρτήσεις αλλά μπορώ να τις πάρω με τέτοιο τρόπο ώστε για κάθε . Και μετά μπορώ να ορίσω την συνάρτηση στο ώστε .» Δυστυχώς όμως ούτε αυτό δουλεύει. Διότι πάλι δεν μπορώ να βρω κατάλληλη πρόταση η οποία να περικλείει το « για κάθε ».
Η μη εύρεση κατάλληλης δεν είναι απλά αδυναμία δική μας. Έχει αποδειχθεί ότι το αξίωμα της αριθμήσιμης επιλογής είναι ανεξάρτητο του ZF.
Παρεμπιπτόντως το επιχείρημα που χρησιμοποίησες (αφού βρήκα αυτό που θέλω για το βρίσκω μετά για το και εν τέλει τα παίρνω όλα μαζί) είναι ουσιαστικά το Axiom of Dependent Choice το οποίο είναι πιο ισχυρό από το Axiom of Countable Choice και λέει το εξής:
Έστω ότι έχουμε ένα μη κενό σύνολο και μια σχέση στο . Έστω επίσης ότι για κάθε υπάρχει ώστε . Τότε μπορώ να βρω μια ακολουθία από στοιχεία του ώστε για κάθε .
Ας πάμε στην πιο «απλή» περίπτωση όπου θέλουμε να αποδείξουμε την αριθμήσιμη επιλογή. Έχουμε δηλαδή μη κενά σύνολα και θέλουμε να δείξουμε ότι υπάρχει συνάρτηση ώστε για κάθε .
Ο λόγος που δεν μπορώ να χρησιμοποιήσω επαγωγή, τουλάχιστον όχι με τον προφανή τρόπο, είναι ότι δεν μπορώ να βρω μια πρόταση ώστε αν δείξω ότι «για κάθε ισχύει η » τότε θα έχω το ζητούμενο.
Π.χ. αν η είναι η πρόταση «Υπάρχει ώστε » τότε το δεν μου δίνει την ύπαρξη συνάρτησης αλλά ότι όλα τα είναι μη κενά.
Μπορώ να πάρω ως την πρόταση «Υπάρχει ώστε για κάθε »
Αυτό αποδεικνύεται επαγωγικά όπως εξήγησες αλλά πάλι το δεν δίνει μία συνάρτηση που ορίζεται στο αλλά πολλές συναρτήσεις οι οποίες ορίζονται σε πεπερασμένα σύνολα.
Θα θέλαμε να πούμε: «Ναι αλλά αν ονομάσω με την συνάρτηση στο όχι μόνο υπάρχουν συναρτήσεις αλλά μπορώ να τις πάρω με τέτοιο τρόπο ώστε για κάθε . Και μετά μπορώ να ορίσω την συνάρτηση στο ώστε .» Δυστυχώς όμως ούτε αυτό δουλεύει. Διότι πάλι δεν μπορώ να βρω κατάλληλη πρόταση η οποία να περικλείει το « για κάθε ».
Η μη εύρεση κατάλληλης δεν είναι απλά αδυναμία δική μας. Έχει αποδειχθεί ότι το αξίωμα της αριθμήσιμης επιλογής είναι ανεξάρτητο του ZF.
Παρεμπιπτόντως το επιχείρημα που χρησιμοποίησες (αφού βρήκα αυτό που θέλω για το βρίσκω μετά για το και εν τέλει τα παίρνω όλα μαζί) είναι ουσιαστικά το Axiom of Dependent Choice το οποίο είναι πιο ισχυρό από το Axiom of Countable Choice και λέει το εξής:
Έστω ότι έχουμε ένα μη κενό σύνολο και μια σχέση στο . Έστω επίσης ότι για κάθε υπάρχει ώστε . Τότε μπορώ να βρω μια ακολουθία από στοιχεία του ώστε για κάθε .
- nsmavrogiannis
- Επιμελητής
- Δημοσιεύσεις: 4454
- Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
- Τοποθεσία: Αθήνα
- Επικοινωνία:
Re: αριθμήσιμο σύνολο
Δημήτρη κοίταξα το θέμα. Έχεις απόλυτο δίκιο.
Βλέποντας τόσους σημαντικούς συγγραφείς να μην συνδέουν την απόδειξη με το το αξίωμα της επιλογής είχα μείνει με την εντύπωση ότι πράγματι δεν χρειάζεται.
Εκτός από αυτούς που ανέφερα είδα ότι το αξίωμα της επιλογής παρακάμτεται από τον Lang στο Analysis I αλλά και στο Analysis II όπού έχει και το λήμμα του Zorn. Παρομοίως ο Rudin στο Principles of Mathematical Analysis καθώς και ο Dieudonne στο Foundations of Modern Analysis. Το φαινόμενο αυτό παρατηρείται και σε βιβλία που δεν εμπίπτουν στην περιοχή της Ανάλυσης όπως λ.χ. το Algebra Ι του van der Waerden.
Μάλιστα είχα την εντύπωση ότι η απόδειξη ύπαρξης της επίμαχης αρίθμησης μπορεί να γίνει μέσω ορισμού με επαγωγή και ότι το κάθε φορά "έστω" είναι αρκετό. Η απάντηση που έγραψες είναι διαφωτιστική. Διαβάζοντας περισσότερα βρήκα και ένα ακόμη επιχείρημα για το ότι δεν υπάρχει τρόπος να αποδειχθεί στην Zermelo-Fraenkel ότι η ένωση αριθμήσιμου πλήθους αριθμησίμων συνόλων είναι αριθμήσιμη. Ο Thomas J. Jech στο βιβλίο του The Axiom o Choice που εκδόθηκε το 1973 και επανεκδόθηκε σε έκδοση Dover το 2008 έχει (σελ. 142 Th 10.6) το ακόλουθο θεώρημα:
Υπάρχει μοντέλο της ZF στην οποία το σύνολο των πραγματικών αριθμών είναι ένωση αριθμήσιμου πλήθους αριθμησίμων συνόλων.
Ευχαριστώ και πάλι.
Βλέποντας τόσους σημαντικούς συγγραφείς να μην συνδέουν την απόδειξη με το το αξίωμα της επιλογής είχα μείνει με την εντύπωση ότι πράγματι δεν χρειάζεται.
Εκτός από αυτούς που ανέφερα είδα ότι το αξίωμα της επιλογής παρακάμτεται από τον Lang στο Analysis I αλλά και στο Analysis II όπού έχει και το λήμμα του Zorn. Παρομοίως ο Rudin στο Principles of Mathematical Analysis καθώς και ο Dieudonne στο Foundations of Modern Analysis. Το φαινόμενο αυτό παρατηρείται και σε βιβλία που δεν εμπίπτουν στην περιοχή της Ανάλυσης όπως λ.χ. το Algebra Ι του van der Waerden.
Μάλιστα είχα την εντύπωση ότι η απόδειξη ύπαρξης της επίμαχης αρίθμησης μπορεί να γίνει μέσω ορισμού με επαγωγή και ότι το κάθε φορά "έστω" είναι αρκετό. Η απάντηση που έγραψες είναι διαφωτιστική. Διαβάζοντας περισσότερα βρήκα και ένα ακόμη επιχείρημα για το ότι δεν υπάρχει τρόπος να αποδειχθεί στην Zermelo-Fraenkel ότι η ένωση αριθμήσιμου πλήθους αριθμησίμων συνόλων είναι αριθμήσιμη. Ο Thomas J. Jech στο βιβλίο του The Axiom o Choice που εκδόθηκε το 1973 και επανεκδόθηκε σε έκδοση Dover το 2008 έχει (σελ. 142 Th 10.6) το ακόλουθο θεώρημα:
Υπάρχει μοντέλο της ZF στην οποία το σύνολο των πραγματικών αριθμών είναι ένωση αριθμήσιμου πλήθους αριθμησίμων συνόλων.
Ευχαριστώ και πάλι.
Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
Ηράκλειτος
Re: αριθμήσιμο σύνολο
Δεν διάβασα όλα τα μηνύματα όποτε μπορεί κάποιος να έχει πει αυτό που θα πω τώρα.ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε: ↑Τετ Νοέμ 07, 2018 11:50 amΕκείνο που μπορούμε να αποδείξουμε εύκολα είναι ότι το
είναι ισοπληθικό με ένα .
Το
Αν πάρουμε την
με
τότε προφανώς η είναι 1-1 οπότε το είναι ισοπληθικό με το
Τέτοιες υπάρχουν πολλές.
π.χ οι με διαφορετικούς πρώτους μας κάνουν.
Ερώτηση .Που χρησιμοποιήθηκε το αξίωμα της επιλογής;
Οι συναρτήσεις που αναφέρεις δεν είναι καλά ορισμένες.Για παράδειγμα μπορεί να έχουμε και
Αυτο που μπορεις να κάνεις είναι να ορίσεις με όπου πρώτοι αριθμοί. Αυτή η συνάρτηση είναι 1-1. Άρα έχουμε ότι . Τώρα για να αποδείξεις ότι μπορείς να ορίσεις με η οποία είναι επί, που σημαίνει ότι , άρα το είναι αριθμήσιμο.
Βέβαια χρησιμοποιείς το αξίωμα της επιλογής για να αποφανθείς το τελευταίο.Με αλλα λόγια χρειάζεται αξίωμα επιλογής για να αποδείξεις τη πρόταση που λέει: είναι επί .
Ας με διορθώσει κάποιος αν κάνω κάποιο λάθος.
Κωνσταντίνος Σμπώκος
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: αριθμήσιμο σύνολο
Αν έβλεπες τοstranger έγραψε: ↑Σάβ Ιαν 19, 2019 7:33 pmΔεν διάβασα όλα τα μηνύματα όποτε μπορεί κάποιος να έχει πει αυτό που θα πω τώρα.ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε: ↑Τετ Νοέμ 07, 2018 11:50 amΕκείνο που μπορούμε να αποδείξουμε εύκολα είναι ότι το
είναι ισοπληθικό με ένα .
Το
Αν πάρουμε την
με
τότε προφανώς η είναι 1-1 οπότε το είναι ισοπληθικό με το
Τέτοιες υπάρχουν πολλές.
π.χ οι με διαφορετικούς πρώτους μας κάνουν.
Ερώτηση .Που χρησιμοποιήθηκε το αξίωμα της επιλογής;
Οι συναρτήσεις που αναφέρεις δεν είναι καλά ορισμένες.Για παράδειγμα μπορεί να έχουμε και
Αυτο που μπορεις να κάνεις είναι να ορίσεις με όπου πρώτοι αριθμοί. Αυτή η συνάρτηση είναι 1-1. Άρα έχουμε ότι . Τώρα για να αποδείξεις ότι μπορείς να ορίσεις με η οποία είναι επί, που σημαίνει ότι , άρα το είναι αριθμήσιμο.
Βέβαια χρησιμοποιείς το αξίωμα της επιλογής για να αποφανθείς το τελευταίο.Με αλλα λόγια χρειάζεται αξίωμα επιλογής για να αποδείξεις τη πρόταση που λέει: είναι επί .
Ας με διορθώσει κάποιος αν κάνω κάποιο λάθος.
τότε δεν θα ισχυριζόσουν ότι οι συναρτήσεις δεν είναι καλά ορισμένες.
Τα άλλα που γράφεις σωστά είναι.
Απλά αν χρησιμοποιούσα το αξίωμα επιλογής θα μπορούσε
και η δική μου απόδειξη να το δώσει και να είναι πιο σύντομη.
(το μόνο που χρειάζεται είναι ότι κάθε άπειρο υποσύνολο των φυσικών
είναι ισοπληθικό με αυτούς)
Re: αριθμήσιμο σύνολο
Ναι έχεις δικιο.Είναι καλά ορισμένη γιατί θεωρείς ότι ο μέγιστος διαιρέτης είναι 1.Το διάβασα πολύ πρόχειρα και δεν το είδα ότι το αναφέρεις.
Κωνσταντίνος Σμπώκος
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 3 επισκέπτες