Αξίωμα της ζεύξης

Στην αξιωματική θεωρία συνόλων και στους κλάδους της λογικής, των μαθηματικών και της επιστήμης των υπολογιστών που τη χρησιμοποιούν, το αξίωμα της ζεύξης^[1] είναι ένα από τα αξιώματα της θεωρίας συνόλων Ζερμέλο-Φράνκελ. Εισήχθη από τον Ζερμέλο (1908)^[2] ως ειδική περίπτωση του αξιώματός του για τα στοιχειώδη σύνολα.

Επίσημη διατύπωση[Επεξεργασία | επεξεργασία κώδικα]

Στην τυπική γλώσσα των αξιωμάτων Ζερμέλο-Φράνκελ, το αξίωμα έχει ως εξής:^[3]

\forall A\,\forall B\,\exists C\,\forall D\,[D\in C\iff (D=A\lor D=B)]

Εν συντομία:

Για κάθε αντικείμενο A και κάθε αντικείμενο Β, υπάρχει ένα σύνολο C τέτοιο ώστε, για κάθε αντικείμενο D, το D είναι μέλος του C εάν και μόνο εάν το D είναι ίσο με το Α ή το D είναι ίσο με το Β.

Ή με πιο απλά λόγια:

Όταν υπάρχουν δύο αντικείμενα, υπάρχει ένα σύνολο του οποίου τα μέλη είναι ακριβώς τα δύο συγκεκριμένα αντικείμενα.

Συμπέρασμα[Επεξεργασία | επεξεργασία κώδικα]

Όπως αναφέρθηκε, αυτό που δηλώνει το αξίωμα είναι ότι, με δύο αντικείμενα A και B, μπορούμε να βρούμε ένα σύνολο C του οποίου τα μέλη είναι ακριβώς τα Α και Β.

Μπορούμε να χρησιμοποιήσουμε το αξίωμα της επεκτασιμότητας για να δείξουμε ότι αυτό το σύνολο C είναι μοναδικό. Ονομάζουμε το σύνολο C το ζεύγος των A και B, και το συμβολίζουμε {A',B}. Έτσι, η ουσία του αξιώματος είναι:

Κάθε δύο αντικείμενα έχουν ένα ζεύγος.

Το σύνολο {A',A} συντομογραφείται {A} και ονομάζεται singleton που περιέχει το A. Σημειώστε ότι ένα singleton είναι μια ειδική περίπτωση ενός ζεύγους. Η δυνατότητα κατασκευής ενός singleton είναι απαραίτητη, για παράδειγμα, για να δείξουμε τη μη ύπαρξη των άπειρα φθίνοντων αλυσίδων $x=\{x\}$ από το Αξίωμα της κανονικότητας.

Το αξίωμα της ζεύξης επιτρέπει επίσης τον ορισμό διατεταγμένα ζεύγη. Για οποιαδήποτε αντικείμενα $a$ και $b$ , το διατεταγμένο ζεύγος ορίζεται από τα ακόλουθα:

(a,b)=\{\{a\},\{a,b\}\}.\,

Να σημειωθεί ότι ο ορισμός αυτός ικανοποιεί την προϋπόθεση

(a,b)=(c,d)\iff a=c\land b=d.

Τα διατεταγμένα n-πλειάδες μπορούν να οριστούν αναδρομικά ως εξής:

(a_{1},\ldots ,a_{n})=((a_{1},\ldots ,a_{n-1}),a_{n}).\!

Εναλλακτικές λύσεις[Επεξεργασία | επεξεργασία κώδικα]

Μη ανεξαρτησία[Επεξεργασία | επεξεργασία κώδικα]

Το αξίωμα της ζεύξης θεωρείται γενικά αδιαμφισβήτητο, και εμφανίζεται ή ένα ισοδύναμο σε σχεδόν κάθε αξιωματοποίηση της θεωρίας συνόλων. Παρ' όλα αυτά, στην τυπική διατύπωση της θεωρίας συνόλων Ζερμέλο-Φράνκελ, το αξίωμα της σύζευξης προκύπτει από το αξιωματικό σχήμα της αντικατάστασης που εφαρμόζεται σε κάθε δεδομένο σύνολο με δύο ή περισσότερα στοιχεία, και έτσι μερικές φορές παραλείπεται. Η ύπαρξη ενός τέτοιου συνόλου με δύο στοιχεία, όπως { {}, { { {} } }, μπορεί να συναχθεί είτε από το αξίωμα του κενού συνόλου και το αξίωμα του δυναμικού συνόλου είτε από το αξίωμα του απείρου.^[4]

Ελλείψει κάποιων από τα ισχυρότερα αξιώματα της ZFC, το αξίωμα της αντιστοίχισης μπορεί ακόμα, χωρίς απώλειες, να εισαχθεί σε ασθενέστερες μορφές.

Ασθενέστερο[Επεξεργασία | επεξεργασία κώδικα]

Με την παρουσία τυπικών μορφών του αξιωματικού σχήματος του διαχωρισμού μπορούμε να αντικαταστήσουμε το αξίωμα της σύζευξης με την ασθενέστερη εκδοχή του:^[5]

\forall A\forall B\exists C\forall D((D=A\lor D=B)\Rightarrow D\in C)

.

Αυτό το ασθενές αξίωμα της σύζευξης υποδηλώνει ότι οποιαδήποτε αντικείμενα $A$ και $B$ είναι μέλη κάποιου συνόλου $C$ . Χρησιμοποιώντας το αξιωματικό σχήμα του διαχωρισμού μπορούμε να κατασκευάσουμε το σύνολο του οποίου τα μέλη είναι ακριβώς τα $A$ και $B$ .

Ένα άλλο αξίωμα το οποίο συνεπάγεται το αξίωμα της ζευξης παρουσία του αξιώματος του κενού συνόλου είναι το αξίωμα της πρόσθεσης

\forall A\,\forall B\,\exists C\,\forall D\,[D\in C\iff (D\in A\lor D=B)]

.

Διαφέρει από το τυπικό με τη χρήση του $D\in A$ αντί του $D=A$ . Χρησιμοποιώντας {} για το A και x για το B, παίρνουμε {x} για το C. Στη συνέχεια χρησιμοποιούμε {x} για το A και y για το B, παίρνοντας {x,y} για το C. Μπορούμε να συνεχίσουμε με αυτόν τον τρόπο για να δημιουργήσουμε οποιοδήποτε πεπερασμένο σύνολο. Και αυτό θα μπορούσε να χρησιμοποιηθεί για την παραγωγή όλων των κληρονομικά πεπερασμένων συνόλων χωρίς να χρησιμοποιηθεί το αξίωμα της ένωσης.

Ισχυρότερο[Επεξεργασία | επεξεργασία κώδικα]

Μαζί με το αξίωμα του κενού συνόλου και το αξίωμα της ένωσης, το αξίωμα της ζευξης μπορεί να γενικευτεί στο ακόλουθο σχήμα:^[6]

\forall A_{1}\,\ldots \,\forall A_{n}\,\exists C\,\forall D\,[D\in C\iff (D=A_{1}\lor \cdots \lor D=A_{n})]

δηλαδή:

Υπάρχει ένα σύνολο C του οποίου τα μέλη είναι ακριβώς τα A₁ έως A_n.

Αυτό το σύνολο C είναι και πάλι μοναδικό από το αξίωμα της επεκτασιμότητας και συμβολίζεται {A₁,...,A_n}.

Φυσικά, δεν μπορούμε να αναφερθούμε αυστηρά σε έναν πεπερασμένο αριθμό αντικειμένων χωρίς να έχουμε ήδη στα χέρια μας ένα (πεπερασμένο) σύνολο στο οποίο ανήκουν τα εν λόγω αντικείμενα. Έτσι, δεν πρόκειται για μια απλή δήλωση αλλά για ένα σχήμα, με μια ξεχωριστή δήλωση για κάθε φυσικό αριθμό n.

Η περίπτωση n = 1 είναι το αξίωμα της αντιστοίχισης με A = A₁ and B = A₁.
Η περίπτωση n = 2 είναι το αξίωμα της αντιστοίχισης με A = A₁ and B = A₂.
Οι περιπτώσεις n > 2 μπορούν να αποδειχθούν χρησιμοποιώντας το αξίωμα της σύζευξης και το αξίωμα της ένωσης πολλαπλές φορές.

Για παράδειγμα, για να αποδείξετε την περίπτωση n = 3, χρησιμοποιήστε το αξίωμα της ζεύξης τρεις φορές, για να παράγετε το ζεύγος {A₁,A₂}, το singleton {A₃},και στη συνέχεια το ζεύγος {{A₁,A₂},{A₃}}. Το αξίωμα της ένωσης παράγει τότε το επιθυμητό αποτέλεσμα, {A₁,A₂,A₃}.Μπορούμε να επεκτείνουμε αυτό το σχήμα για να συμπεριλάβουμε το n=0 αν ερμηνεύσουμε αυτή την περίπτωση ως το αξίωμα του κενού συνόλου.

Έτσι, μπορεί κανείς να το χρησιμοποιήσει ως αξιωματικό σχήμα στη θέση των αξιωμάτων του κενού συνόλου και της ζεύξης. Συνήθως, ωστόσο, χρησιμοποιεί κανείς τα αξιώματα του κενού συνόλου και της ζεύξης ξεχωριστά και στη συνέχεια το αποδεικνύει ως θεωρητικό σχήμα. Σημειώστε ότι η υιοθέτησή του ως αξιωματικό σχήμα δεν θα αντικαταστήσει το αξίωμα της ένωσης, το οποίο εξακολουθεί να χρειάζεται για άλλες καταστάσεις.

Δημοσιεύσεις[Επεξεργασία | επεξεργασία κώδικα]

Paul Halmos, Naive set theory. Princeton, NJ: D. Van Nostrand Company, 1960. Reprinted by Springer-Verlag, New York, 1974. (ISBN 0-387-90092-6) (Springer-Verlag edition).
Jech, Thomas, 2003. Set Theory: The Third Millennium Edition, Revised and Expanded. Springer. (ISBN 3-540-44085-2).
Kunen, Kenneth, 1980. Set Theory: An Introduction to Independence Proofs. Elsevier. (ISBN 0-444-86839-9).
Zermelo, Ernst (1908), «Untersuchungen über die Grundlagen der Mengenlehre I», Mathematische Annalen 65 (2): 261–281, doi:10.1007/bf01449999, http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN235181684_0065&DMDID=DMDLOG_0018 . English translation: Heijenoort, Jean van (1967), «Investigations in the foundations of set theory», From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931, Source Books in the History of the Sciences, Harvard Univ. Press, σελ. 199–215, ISBN 978-0-674-32449-7 .

Δείτε επίσης[Επεξεργασία | επεξεργασία κώδικα]

Οικοδομήσιμο Σύμπαν

Παραπομπές[Επεξεργασία | επεξεργασία κώδικα]

↑ «Axiom of pairing | set theory | Britannica». www.britannica.com (στα Αγγλικά). Ανακτήθηκε στις 31 Ιουλίου 2023.
↑ Moore, Gregory H. (20 Σεπτεμβρίου 2012). Zermelo's Axiom of Choice: Its Origins, Development, and Influence. Courier Corporation. ISBN 978-0-486-48841-7.
↑ Halmos, P. R. (16 Ιανουαρίου 1998). Naive Set Theory. Springer Science & Business Media. ISBN 978-0-387-90092-6.
↑ «ZermeloFraenkelSetTheory». www.cs.cas.cz. Ανακτήθηκε στις 31 Ιουλίου 2023.
↑ Beeson, M. J. (6 Δεκεμβρίου 2012). Foundations of Constructive Mathematics: Metamathematical Studies. Springer Science & Business Media. ISBN 978-3-642-68952-9.
↑ Rogers, Robert L. (12 Μαΐου 2014). Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results. Elsevier. ISBN 978-1-4832-5797-6.

[1] «Axiom of pairing | set theory | Britannica». www.britannica.com (στα Αγγλικά). Ανακτήθηκε στις 31 Ιουλίου 2023.

[2] Moore, Gregory H. (20 Σεπτεμβρίου 2012). Zermelo's Axiom of Choice: Its Origins, Development, and Influence. Courier Corporation. ISBN 978-0-486-48841-7.

[3] Halmos, P. R. (16 Ιανουαρίου 1998). Naive Set Theory. Springer Science & Business Media. ISBN 978-0-387-90092-6.

[4] «ZermeloFraenkelSetTheory». www.cs.cas.cz. Ανακτήθηκε στις 31 Ιουλίου 2023.

[5] Beeson, M. J. (6 Δεκεμβρίου 2012). Foundations of Constructive Mathematics: Metamathematical Studies. Springer Science & Business Media. ISBN 978-3-642-68952-9.

[6] Rogers, Robert L. (12 Μαΐου 2014). Mathematical Logic and Formalized Theories: A Survey of Basic Concepts and Results. Elsevier. ISBN 978-1-4832-5797-6.

[1]

[2]

[3]

[4]

[5]

[6]