Αξίωμα της Οικοδομησιμότητας

Το αξίωμα κατασκευασιμότητας είναι μια δήλωση στη θεωρία συνόλων που χρονολογείται από τον Κουρτ Γκέντελ και αποτελεί μια πιθανή επέκταση της θεωρίας συνόλων Ζερμέλο-Φράνκελ ZFC. Ισχυρίζεται ότι όλα τα σύνολα είναι κατασκευάσιμα ( υπό μια έννοια που μπορεί να δοθεί) και συνήθως συντομεύεται από την εξίσωση . Ο ισχυρισμός αυτός δεν μπορεί να συναχθεί από την ZFC, αλλά μπορεί να αποδειχθεί ότι η πρόσθετη υπόθεση της αλήθειας του δεν μπορεί να οδηγήσει σε αντιφάσεις που δεν θα μπορούσαν να δημιουργηθούν μόνο από την ZFC. Σε ένα σύμπαν συνόλων που ικανοποιεί τη ZF και το αξίωμα της κατασκευασιμότητας, το αξίωμα της επιλογής και η γενικευμένη υπόθεση του συνεχούς ισχύουν αυτόματα, όπως μπόρεσε να δείξει ο Γκέντελ.

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

Κλάσεις ως συναρτήσεις 
Για να είναι ευκολότερη η διατύπωση των παρακάτω εξηγήσεων, επεκτείνουμε πρώτα ορισμούς και γραφές που είναι γνωστές για τις συναρτήσεις σε οποιαδήποτε κλάση:

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

Αν  είναι μια συνάρτηση, έχουμε τους συνήθεις όρους ορισμού και εύρους τιμών για τις συναρτήσεις.

 Για μια κλάση , ας οριστεί περαιτέρω  αν το ζεύγος  βρίσκεται στο  και δεν υπάρχουν περαιτέρω ζεύγη  με .
Διαφορετικά, έστω ότι το  ορίζεται ως ένα κενό σύνολο .

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

Οκτώ βασικές λειτουργίες
Ορίζονται οκτώ πράξεις  οι οποίες δημιουργούν ένα τρίτο  από δύο σύνολα  και .

 , το οποίο είναι το σύνολο ζευγών με στοιχεία  και .

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

 , το σύνολο διαφορών.

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

 . Όπου  είναι το πεδίο ορισμού του .

 . Όπου  είναι το σύνολο όλων των ζευγών  για τα οποία το  βρίσκεται στο .

 . Όπου  είναι το σύνολο όλων των Πλειάδων  για τις οποίες  βρίσκεται στο .

 . Όπου  είναι το σύνολο όλων των Πλειάδων  για τις οποίες  βρίσκεται στο .

Κατασκευή συνόλων
Στο επόμενο βήμα, οι οκτώ θεμελιώδεις πράξεις συνδυάζονται σε μια ενιαία συνάρτηση , την κλάση όλων των τακτικών αριθμών, που ορίζεται στο . Η ιδέα είναι να θεωρήσουμε την έκφραση  ως συνάρτηση του , όπου το  διατρέχει τους αριθμούς από το 1 έως το 8, και να την κατασκευάσουμε μέσω ενός ισομορφισμού  ως συνάρτηση του .

Στην κλάση  δηλώνουμε την ακόλουθη σειρά:
.
() ή

( και ) ή

( και  και ) ή

( und  και ).

Μπορεί κανείς να δείξει ότι αυτό ορίζει μια καλή τάξη με βάση το  ορίζεται. Επομένως, υπάρχει ακριβώς ένας ισομορφισμός τάξης .

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

Ορίζουμε τώρα μια συνάρτηση  για όλα τα σύνολα  ως εξής:

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

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

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

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

Αν αντικαταστήσει κανείς όλους τους ποσοδείκτες  bzw. , στα αξιώματα ZF, τα οποία μπορούν να διαβαστούν ως   bzw. , λόγω των περιορισμένων ποσοδεικτών  bzw. , μπορεί να αποδειχθεί ότι ακόμη και τότε, περιορισμένα στην , ισχύουν όλα τα αξιώματα ZF. Με αυτή την έννοια το  είναι ένα μοντέλο για τη ZF. Εδώ πρέπει να γίνει πολύ προσεκτική διάκριση μεταξύ ZF και του μοντέλου  για την ZF, που κατασκευάστηκε με τη βοήθεια της ZF.

Στο μοντέλο  όλα τα σύνολα είναι κατασκευάσιμα, δηλαδή εδώ ισχύει το αξίωμα κατασκευασιμότητας . Επομένως, η ύπαρξη μη κατασκευάσιμων συνόλων δεν μπορεί να συναχθεί με βάση την ZF, διότι το ίδιο συμπέρασμα θα έπρεπε να ισχύει και στο μοντέλο . Ειδικότερα, η υπόθεση  ως πρόσθετο αξίωμα στο ZF δεν είναι αντιφατική με την προϋπόθεση ότι η ZF είναι απαλλαγμένη από αντιφάσεις- μιλάμε για σχετική συνέπεια. Μέσω της θεωρίας μοντέλων, μπορεί επίσης να δείξει κανείς ότι το  δεν μπορεί να προκύψει από την ZF, ή ακόμη και από .

Άλλα αξιώματα
Από το αξίωμα κατασκευασιμότητας  , είναι δυνατόν να συναχθούν ορισμένοι άλλοι ισχυρισμοί που δεν είναι δυνατόν να αποδειχθούν μόνο με την ZF, και οι οποίοι είναι επίσης σχετικά συνεπείς.

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

Έστω <.
Τότε μπορεί κανείς να δείξει ότι η  είναι μια συνάρτηση με   για όλα τα μη κενά .

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

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

Η γενικευμένη υπόθεση του συνεχούς 
Ο Γκέντελ έδειξε επίσης ότι στο  η γενικευμένη υπόθεση του συνεχούς (GCH) ισχύει. Έτσι στην ZF, η GCH μπορεί να συναχθεί από το αξίωμα κατασκευασιμότητας, εν συντομία . Είναι εύλογο ότι για να ισχύει η υπόθεση της γενικευμένης συνέχειας, θα πρέπει να έχουμε όσο το δυνατόν λιγότερα σύνολα στο σύμπαν των συνόλων, αφού δεν θα πρέπει να υπάρχουν άλλες δυνάμεις μεταξύ της δύναμη ενός άπειρου συνόλου και της δύναμης του συνόλου. Αυτό ήταν το αρχικό κίνητρο του Γκέντελ για τη διερεύνηση της κατασκευασιμότητας.

Η υπόθεση Σούσλιν 
Η υπόθεση Σούσλιν (Suslin) είναι ψευδής στο , όπως απέδειξε ο Ρόναλντ Τζένσεν το 1968.

Δημοσιεύσεις
 Kurt Gödel: The Consistency of the Axiom of Choice and of the generalized Continuum-Hypothesis with the Axioms of Set Theory (= Annals of Mathematics Studies. Bd. 3). Princeton University Press, Princeton NJ u. a. 1940.
 Ronald Jensen: Souslin’s hypothesis is incompatible with V = L. In: Notices of the American Mathematical Society. Bd. 15, 1968, , S. 935.
 Gaisi Takeuti, Wilson M. Zaring: Introduction to Axiomatic Set Theory (= Graduate Texts in Mathematics. Bd. 1, ). Springer, New York NY u. a. 1971.

Δείτε επίσης 
Οικοδομήσιμο Σύμπαν

Παραπομπές

 
 

Θεωρία συνόλων