Απόδειξη Αξιώματος Επιλογής
Απόδειξη Αξιώματος Επιλογής
Μια και είναι κάμποσο καιρό ανενεργός ο φάκελος...
Έχουμε την εξής απόπειρα απόδειξης του Αξιώματος της Επιλογής από το Θεώρημα της Καλής Διάταξης:
Έστω σύνολο όπου τα είναι μη κενά. Σε κάθε ορίζουμε καλή διάταξη και παίρνουμε . Η είναι η ζητούμενη συνάρτηση επιλογής.
Είναι σωστή η απόδειξη;
Έχουμε την εξής απόπειρα απόδειξης του Αξιώματος της Επιλογής από το Θεώρημα της Καλής Διάταξης:
Έστω σύνολο όπου τα είναι μη κενά. Σε κάθε ορίζουμε καλή διάταξη και παίρνουμε . Η είναι η ζητούμενη συνάρτηση επιλογής.
Είναι σωστή η απόδειξη;
Δημήτρης Σκουτέρης
Τα μαθηματικά είναι η μοναδική επιστήμη που θα μπορούσε κανείς να εξακολουθήσει να ασκεί αν κάποτε ξυπνούσε και το σύμπαν δεν υπήρχε πλέον.
Τα μαθηματικά είναι η μοναδική επιστήμη που θα μπορούσε κανείς να εξακολουθήσει να ασκεί αν κάποτε ξυπνούσε και το σύμπαν δεν υπήρχε πλέον.
Λέξεις Κλειδιά:
- nsmavrogiannis
- Επιμελητής
- Δημοσιεύσεις: 4457
- Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
- Τοποθεσία: Αθήνα
- Επικοινωνία:
Re: Απόδειξη Αξιώματος Επιλογής
Αν και τον τελευταίο καιρό τα καταφέρνω καλλίτερα στο να κάνω λάθη σε δικές μου αποδείξεις παρά να βρίσκω λάθη σε άλλες διακινδυνεύω μια γνώμη:
Ο συλλογισμός δεν είναι σωστός διότι υποθέτει το αποδεικτέο: Από τις καλές διατάξεις που επιδέχεται κάθε επιλέγεται μια και μετά το πρώτο στοιχείο της.
Μαυρογιάννης
Ο συλλογισμός δεν είναι σωστός διότι υποθέτει το αποδεικτέο: Από τις καλές διατάξεις που επιδέχεται κάθε επιλέγεται μια και μετά το πρώτο στοιχείο της.
Μαυρογιάννης
Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
Ηράκλειτος
Re: Απόδειξη Αξιώματος Επιλογής
Δημήτρης Σκουτέρης
Τα μαθηματικά είναι η μοναδική επιστήμη που θα μπορούσε κανείς να εξακολουθήσει να ασκεί αν κάποτε ξυπνούσε και το σύμπαν δεν υπήρχε πλέον.
Τα μαθηματικά είναι η μοναδική επιστήμη που θα μπορούσε κανείς να εξακολουθήσει να ασκεί αν κάποτε ξυπνούσε και το σύμπαν δεν υπήρχε πλέον.
Re: Απόδειξη Αξιώματος Επιλογής
Η απόδειξη είναι σωστή. Το μόνο λάθος είναι να γράψουμε για κάθε το οποίο είναι άνευ σημασίας και μπορούμε με τον ίδιο συλλογισμό να ανασκευάσουμε την απόδειξη.
Αξίωμα επιλογής:
Έστω δύο σύνολα και .
Αν για κάθε υπάρχει ώστε τότε υπάρχει ώστε για κάθε ισχύει .
Θα αποδείξουμε το αξίωμα της επιλογής από το θεώρημα της καλής διάταξης όπως το αποδεικνύει η παραπάνω απόδειξη.
Έστω δύο σύνολα και .
Υποθέτουμε ότι για κάθε υπάρχει ώστε .
Έστω . Έχουμε .(Σημείωση: Μπορούμε να σχηματίσουμε το σύνολο χωρίς το αξίωμα επιλογής γιατί η συνάρτηση είναι καλώς ορισμένη).
Έστω μια καλή διάταξη στο . Ορίζουμε την συνάρτηση με .
Τέτοια συνάρτηση υπάρχει και είναι διαφορετική για κάθε καλή διάταξη. Εμείς θέλουμε να βρούμε μία απο αυτές. Δεν υπάρχει πρόβλημα να επιλέξουμε μια από αυτές τις καλές διατάξεις γιατί δεν ορίζουμε συνάρτηση με τιμές στο σύνολο των καλών διατάξεων που γιαυτό θα θέλαμε αξίωμα επιλογής.
Τότε για κάθε ισχύει .
Τελειώσαμε.
Αξίωμα επιλογής:
Έστω δύο σύνολα και .
Αν για κάθε υπάρχει ώστε τότε υπάρχει ώστε για κάθε ισχύει .
Θα αποδείξουμε το αξίωμα της επιλογής από το θεώρημα της καλής διάταξης όπως το αποδεικνύει η παραπάνω απόδειξη.
Έστω δύο σύνολα και .
Υποθέτουμε ότι για κάθε υπάρχει ώστε .
Έστω . Έχουμε .(Σημείωση: Μπορούμε να σχηματίσουμε το σύνολο χωρίς το αξίωμα επιλογής γιατί η συνάρτηση είναι καλώς ορισμένη).
Έστω μια καλή διάταξη στο . Ορίζουμε την συνάρτηση με .
Τέτοια συνάρτηση υπάρχει και είναι διαφορετική για κάθε καλή διάταξη. Εμείς θέλουμε να βρούμε μία απο αυτές. Δεν υπάρχει πρόβλημα να επιλέξουμε μια από αυτές τις καλές διατάξεις γιατί δεν ορίζουμε συνάρτηση με τιμές στο σύνολο των καλών διατάξεων που γιαυτό θα θέλαμε αξίωμα επιλογής.
Τότε για κάθε ισχύει .
Τελειώσαμε.
Κωνσταντίνος Σμπώκος
-
- Δημοσιεύσεις: 303
- Εγγραφή: Σάβ Αύγ 31, 2019 5:47 pm
- Τοποθεσία: Καισαριανή
- Επικοινωνία:
Re: Απόδειξη Αξιώματος Επιλογής
Δεν μπορούμε απλά να πάρουμε μία καλή διάταξη στο , οπότε και κάθε υποσύνολό του θα έχει ένα ελάχιστο στοιχείο και μετά να συνεχίσουμε όπως η αρχική απόδειξη;
-
- Δημοσιεύσεις: 3603
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Απόδειξη Αξιώματος Επιλογής
Πρώτη φορά βλέπω διατύπωση του Αξιώματος επιλογής σε αυτή την μορφή.
Μήπως μπορείς να εξηγήσεις γιατί είναι ισοδύναμη με μια από τις συνηθισμένες.
Re: Απόδειξη Αξιώματος Επιλογής
Η διατύπωση αυτή είναι από το βιβλίο του Μοσχοβάκη "Σημειώσεις στη Συνολοθεωρία" Κεφάλαιο 8 σελίδα 129.ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε: ↑Δευ Δεκ 30, 2019 3:31 pmΠρώτη φορά βλέπω διατύπωση του Αξιώματος επιλογής σε αυτή την μορφή.
Μήπως μπορείς να εξηγήσεις γιατί είναι ισοδύναμη με μια από τις συνηθισμένες.
Ουσιαστικά λέει ότι αν για κάθε υπάρχει ώστε να ισχύει μια συνθήκη, τότε μπορούμε να φτιάξουμε μια συνάρτηση από το στο ώστε τα να μας κάνουν τη δουλειά. Δηλαδή από τα επιλέγω ένα ακριβώς και το ονομάζω .
Νομίζω ότι είναι ξεκάθαρο ότι για κάθε κάνουμε μια επιλογή απο όλα τα και το ονομάζουμε .
Αργότερα θα γράψω την απόδειξη της ισοδυναμίας με το σύνηθες αξίωμα της επιλογής.
Κωνσταντίνος Σμπώκος
Re: Απόδειξη Αξιώματος Επιλογής
Σωστά! Μπορούμε να κάνουμε και αυτό.Μάρκος Βασίλης έγραψε: ↑Δευ Δεκ 30, 2019 11:44 amΔεν μπορούμε απλά να πάρουμε μία καλή διάταξη στο , οπότε και κάθε υποσύνολό του θα έχει ένα ελάχιστο στοιχείο και μετά να συνεχίσουμε όπως η αρχική απόδειξη;
Κωνσταντίνος Σμπώκος
Re: Απόδειξη Αξιώματος Επιλογής
Γράφω την ισοδυναμία των δύο διατυπώσεων του αξιώματος επιλογής.
Σύνηθες αξίωμα επιλογής
Για κάθε σύνολο ισχύει το εξής:
Αν τότε υπάρχει συνάρτηση ώστε για κάθε ισχύει .
Άλλη διατύπωση του αξιώματος της επιλογής
Έστω δύο σύνολα και και .
Αν για κάθε υπάρχει ώστε , τότε υπάρχει ώστε για κάθε ισχύει .
Το αντίστροφο πρώτα. Αν πάρουμε ώστε αν και μόνο αν , τότε εύκολα βλέπουμε ότι ισχύει το σύνηθες αξίωμα της επιλογής.
Το ευθύ τώρα.
Έστω δύο σύνολα και , ώστε για κάθε υπάρχει ώστε .
Έστω το σύνολο , όπου .
Τότε από υπόθεση. Άρα υπάρχει συνάρτηση ώστε για κάθε ισχύει .
Τώρα η συνάρτηση μας κάνει τη δουλειά.
Τελειώσαμε.
Προφανώς αν σε μία περίπτωση έχουμε ότι για κάθε υπάρχει μοναδικό ώστε τότε δεν χρειαζόμαστε το αξίωμα επιλογής για να αποφανθούμε το συμπέρασμα. Μπορούμε να ορίσουμε αυτό το μοναδικό .
Η ουσία είναι ότι υπάρχουν εν γένει παραπάνω από ένα που κάνουν τη δουλειά, οπότε πρέπει να επιλέξουμε ένα από αυτά.
Σύνηθες αξίωμα επιλογής
Για κάθε σύνολο ισχύει το εξής:
Αν τότε υπάρχει συνάρτηση ώστε για κάθε ισχύει .
Άλλη διατύπωση του αξιώματος της επιλογής
Έστω δύο σύνολα και και .
Αν για κάθε υπάρχει ώστε , τότε υπάρχει ώστε για κάθε ισχύει .
Το αντίστροφο πρώτα. Αν πάρουμε ώστε αν και μόνο αν , τότε εύκολα βλέπουμε ότι ισχύει το σύνηθες αξίωμα της επιλογής.
Το ευθύ τώρα.
Έστω δύο σύνολα και , ώστε για κάθε υπάρχει ώστε .
Έστω το σύνολο , όπου .
Τότε από υπόθεση. Άρα υπάρχει συνάρτηση ώστε για κάθε ισχύει .
Τώρα η συνάρτηση μας κάνει τη δουλειά.
Τελειώσαμε.
Προφανώς αν σε μία περίπτωση έχουμε ότι για κάθε υπάρχει μοναδικό ώστε τότε δεν χρειαζόμαστε το αξίωμα επιλογής για να αποφανθούμε το συμπέρασμα. Μπορούμε να ορίσουμε αυτό το μοναδικό .
Η ουσία είναι ότι υπάρχουν εν γένει παραπάνω από ένα που κάνουν τη δουλειά, οπότε πρέπει να επιλέξουμε ένα από αυτά.
Κωνσταντίνος Σμπώκος
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης