Απόδειξη Αξιώματος Επιλογής

dement
Διευθύνον Μέλος
Δημοσιεύσεις: 1405
Εγγραφή: Τρί Δεκ 23, 2008 10:11 am

Απόδειξη Αξιώματος Επιλογής

#1

Μη αναγνωσμένη δημοσίευση από dement » Παρ Απρ 14, 2017 7:26 pm

Μια και είναι κάμποσο καιρό ανενεργός ο φάκελος...

Έχουμε την εξής απόπειρα απόδειξης του Αξιώματος της Επιλογής από το Θεώρημα της Καλής Διάταξης:

Έστω σύνολο S = \{A_i:i \in I\} όπου τα A_i είναι μη κενά. Σε κάθε A_i ορίζουμε καλή διάταξη <_i και παίρνουμε \displaystyle f(A_i) \equiv \min_{<_i} A_i. Η f είναι η ζητούμενη συνάρτηση επιλογής.

Είναι σωστή η απόδειξη;


Δημήτρης Σκουτέρης

Τα μαθηματικά είναι η μοναδική επιστήμη που θα μπορούσε κανείς να εξακολουθήσει να ασκεί αν κάποτε ξυπνούσε και το σύμπαν δεν υπήρχε πλέον.

Λέξεις Κλειδιά:
Άβαταρ μέλους
nsmavrogiannis
Επιμελητής
Δημοσιεύσεις: 4282
Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
Τοποθεσία: Αθήνα
Επικοινωνία:

Re: Απόδειξη Αξιώματος Επιλογής

#2

Μη αναγνωσμένη δημοσίευση από nsmavrogiannis » Παρ Απρ 14, 2017 11:01 pm

Αν και τον τελευταίο καιρό τα καταφέρνω καλλίτερα στο να κάνω λάθη σε δικές μου αποδείξεις παρά να βρίσκω λάθη σε άλλες διακινδυνεύω μια γνώμη:
Ο συλλογισμός δεν είναι σωστός διότι υποθέτει το αποδεικτέο: Από τις καλές διατάξεις που επιδέχεται κάθε A_{i} επιλέγεται μια και μετά το πρώτο στοιχείο της.
Μαυρογιάννης


Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
dement
Διευθύνον Μέλος
Δημοσιεύσεις: 1405
Εγγραφή: Τρί Δεκ 23, 2008 10:11 am

Re: Απόδειξη Αξιώματος Επιλογής

#3

Μη αναγνωσμένη δημοσίευση από dement » Παρ Απρ 14, 2017 11:07 pm

:clap:


Δημήτρης Σκουτέρης

Τα μαθηματικά είναι η μοναδική επιστήμη που θα μπορούσε κανείς να εξακολουθήσει να ασκεί αν κάποτε ξυπνούσε και το σύμπαν δεν υπήρχε πλέον.
stranger
Δημοσιεύσεις: 189
Εγγραφή: Δευ Ιαν 14, 2019 6:12 am
Τοποθεσία: United States of America

Re: Απόδειξη Αξιώματος Επιλογής

#4

Μη αναγνωσμένη δημοσίευση από stranger » Δευ Δεκ 30, 2019 1:14 am

Η απόδειξη είναι σωστή. Το μόνο λάθος είναι να γράψουμε <_i για κάθε i το οποίο είναι άνευ σημασίας και μπορούμε με τον ίδιο συλλογισμό να ανασκευάσουμε την απόδειξη.
Αξίωμα επιλογής:
Έστω δύο σύνολα A,B και P \subseteq A \times B.
Αν για κάθε x \in A υπάρχει y \in B ώστε (x,y) \in P τότε υπάρχει f: A \rightarrow B ώστε για κάθε x \in A ισχύει (x,f(x)) \in P.

Θα αποδείξουμε το αξίωμα της επιλογής από το θεώρημα της καλής διάταξης όπως το αποδεικνύει η παραπάνω απόδειξη.
Έστω δύο σύνολα A,B και P \subseteq A \times B.
Υποθέτουμε ότι για κάθε x \in A υπάρχει y \in B ώστε (x,y) \in P.
Έστω C_x = \{w \in B: (x,w) \in P\}. Έχουμε C_x \neq \emptyset.(Σημείωση: Μπορούμε να σχηματίσουμε το σύνολο C_x χωρίς το αξίωμα επιλογής γιατί η συνάρτηση x \rightarrow C_x είναι καλώς ορισμένη).
Έστω μια καλή διάταξη στο C_x. Ορίζουμε την συνάρτηση f: A \rightarrow B με f(x) = min C_x.
Τέτοια συνάρτηση υπάρχει και είναι διαφορετική για κάθε καλή διάταξη. Εμείς θέλουμε να βρούμε μία απο αυτές. Δεν υπάρχει πρόβλημα να επιλέξουμε μια από αυτές τις καλές διατάξεις γιατί δεν ορίζουμε συνάρτηση με τιμές στο σύνολο των καλών διατάξεων που γιαυτό θα θέλαμε αξίωμα επιλογής.
Τότε για κάθε x \in A ισχύει (x,f(x)) \in P.
Τελειώσαμε.


Κωνσταντίνος Σμπώκος
Μαθηματικός, PhD
Μάρκος Βασίλης
Δημοσιεύσεις: 193
Εγγραφή: Σάβ Αύγ 31, 2019 5:47 pm
Τοποθεσία: Καισαριανή
Επικοινωνία:

Re: Απόδειξη Αξιώματος Επιλογής

#5

Μη αναγνωσμένη δημοσίευση από Μάρκος Βασίλης » Δευ Δεκ 30, 2019 11:44 am

Δεν μπορούμε απλά να πάρουμε μία καλή διάταξη στο A=\bigcup_{i}A_i, οπότε και κάθε υποσύνολό του θα έχει ένα ελάχιστο στοιχείο και μετά να συνεχίσουμε όπως η αρχική απόδειξη;


\textcolor{blue}{\forall after-maths}
ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
Δημοσιεύσεις: 3019
Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ

Re: Απόδειξη Αξιώματος Επιλογής

#6

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Δευ Δεκ 30, 2019 3:31 pm

stranger έγραψε:
Δευ Δεκ 30, 2019 1:14 am
Αξίωμα επιλογής:
Έστω δύο σύνολα A,B και P \subseteq A \times B.
Αν για κάθε x \in A υπάρχει y \in B ώστε (x,y) \in P τότε υπάρχει f: A \rightarrow B ώστε για κάθε x \in A ισχύει (x,f(x)) \in P.
Πρώτη φορά βλέπω διατύπωση του Αξιώματος επιλογής σε αυτή την μορφή.
Μήπως μπορείς να εξηγήσεις γιατί είναι ισοδύναμη με μια από τις συνηθισμένες.


stranger
Δημοσιεύσεις: 189
Εγγραφή: Δευ Ιαν 14, 2019 6:12 am
Τοποθεσία: United States of America

Re: Απόδειξη Αξιώματος Επιλογής

#7

Μη αναγνωσμένη δημοσίευση από stranger » Δευ Δεκ 30, 2019 10:47 pm

ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε:
Δευ Δεκ 30, 2019 3:31 pm
stranger έγραψε:
Δευ Δεκ 30, 2019 1:14 am
Αξίωμα επιλογής:
Έστω δύο σύνολα A,B και P \subseteq A \times B.
Αν για κάθε x \in A υπάρχει y \in B ώστε (x,y) \in P τότε υπάρχει f: A \rightarrow B ώστε για κάθε x \in A ισχύει (x,f(x)) \in P.
Πρώτη φορά βλέπω διατύπωση του Αξιώματος επιλογής σε αυτή την μορφή.
Μήπως μπορείς να εξηγήσεις γιατί είναι ισοδύναμη με μια από τις συνηθισμένες.
Η διατύπωση αυτή είναι από το βιβλίο του Μοσχοβάκη "Σημειώσεις στη Συνολοθεωρία" Κεφάλαιο 8 σελίδα 129.
Ουσιαστικά λέει ότι αν για κάθε x \in A υπάρχει y \in B ώστε να ισχύει μια συνθήκη, τότε μπορούμε να φτιάξουμε μια συνάρτηση από το A στο B ώστε τα x,f(x) να μας κάνουν τη δουλειά. Δηλαδή από τα y επιλέγω ένα ακριβώς και το ονομάζω f(x).
Νομίζω ότι είναι ξεκάθαρο ότι για κάθε x \in A κάνουμε μια επιλογή απο όλα τα y και το ονομάζουμε f(x).

Αργότερα θα γράψω την απόδειξη της ισοδυναμίας με το σύνηθες αξίωμα της επιλογής.


Κωνσταντίνος Σμπώκος
Μαθηματικός, PhD
stranger
Δημοσιεύσεις: 189
Εγγραφή: Δευ Ιαν 14, 2019 6:12 am
Τοποθεσία: United States of America

Re: Απόδειξη Αξιώματος Επιλογής

#8

Μη αναγνωσμένη δημοσίευση από stranger » Δευ Δεκ 30, 2019 11:29 pm

Μάρκος Βασίλης έγραψε:
Δευ Δεκ 30, 2019 11:44 am
Δεν μπορούμε απλά να πάρουμε μία καλή διάταξη στο A=\bigcup_{i}A_i, οπότε και κάθε υποσύνολό του θα έχει ένα ελάχιστο στοιχείο και μετά να συνεχίσουμε όπως η αρχική απόδειξη;
Σωστά! Μπορούμε να κάνουμε και αυτό.


Κωνσταντίνος Σμπώκος
Μαθηματικός, PhD
stranger
Δημοσιεύσεις: 189
Εγγραφή: Δευ Ιαν 14, 2019 6:12 am
Τοποθεσία: United States of America

Re: Απόδειξη Αξιώματος Επιλογής

#9

Μη αναγνωσμένη δημοσίευση από stranger » Τρί Δεκ 31, 2019 12:34 am

Γράφω την ισοδυναμία των δύο διατυπώσεων του αξιώματος επιλογής.

Σύνηθες αξίωμα επιλογής
Για κάθε σύνολο X ισχύει το εξής:
Αν \emptyset \notin X τότε υπάρχει συνάρτηση f: X \rightarrow \cup X ώστε για κάθε A \in X ισχύει f(A) \in A.

Άλλη διατύπωση του αξιώματος της επιλογής
Έστω δύο σύνολα A και B και P \subseteq A \times B.
Αν για κάθε x \in A υπάρχει y \in B ώστε (x,y) \in P, τότε υπάρχει f: A \rightarrow B ώστε για κάθε x \in A ισχύει (x,f(x)) \in P.

Το αντίστροφο πρώτα. Αν πάρουμε P ώστε (x,y) \in P αν και μόνο αν y \in x, τότε εύκολα βλέπουμε ότι ισχύει το σύνηθες αξίωμα της επιλογής.
Το ευθύ τώρα.
Έστω δύο σύνολα A,B και P \subseteq A \times B, ώστε για κάθε x \in A υπάρχει y \in B ώστε (x,y) \in P.
Έστω το σύνολο W= \{W_x : x \in A\}, όπου W_x =  \{ y \in B : (x,y) \in P\}.
Τότε  \emptyset \notin W από υπόθεση. Άρα υπάρχει συνάρτηση f: W \rightarrow \cup W ώστε για κάθε W_x \in W ισχύει  f(W_x) \in W_x.
Τώρα η συνάρτηση x \rightarrow f(W_x) μας κάνει τη δουλειά.

Τελειώσαμε.

Προφανώς αν σε μία περίπτωση έχουμε ότι για κάθε x \in A υπάρχει μοναδικό y \in B ώστε (x,y) \in P τότε δεν χρειαζόμαστε το αξίωμα επιλογής για να αποφανθούμε το συμπέρασμα. Μπορούμε να ορίσουμε f(x) αυτό το μοναδικό y.
Η ουσία είναι ότι υπάρχουν εν γένει παραπάνω από ένα y που κάνουν τη δουλειά, οπότε πρέπει να επιλέξουμε ένα από αυτά.


Κωνσταντίνος Σμπώκος
Μαθηματικός, PhD
Απάντηση

Επιστροφή σε “Μαθηματική Λογική & Θεμέλια Μαθηματικών”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης