Ηλεκτρονική Διάθεση Μαθήματος
Μαθησιακά Αποτελέσματα
Με την επιτυχή ολοκλήρωση του μαθήματος οι φοιτητές:
• θα μπορούν να διατυπώσουν το παράδοξο του Russell και να δικαιολογήσουν την αναγκαιότητα της Αξιωματικής Θεμελίωσης των Μαθηματικών. Θα έχουν κατανοήσει τη δυνατότητα που δίνουν τα αξιώματα της ZFC να παριστάνουμε με σύνολα (δυνητικά) όλα τα μαθηματικά αντικείμενα και το ότι η Θεωρία Συνόλων μπορεί να αποτελέσει τα «Θεμέλια των Μαθηματικών» (foundations of mathematics).
• θα μπορούν να θεμελιώσουν αξιωματικά τους Φυσικούς, τους Ακεραίους, τους Ρητούς και τους Πραγματικούς αριθμούς.
• Θα μπορούν ορίσουν τις μερικές, τις ολικές, και τις καλά θεμελιωμένες διατάξεις και να αποδείξουν τις βασικές ιδιότητες των καλών διατάξεων περιλαμβανομένης της Τριχοτομίας.
• Θα μπορούν να ορίσουν τους διατακτικούς και τους πληθικούς αριθμούς και να εξηγήσουν πώς οι διατακτικοί αριθμοί θεμελιώνουν την έννοια του "μήκους" για άπειρες διαδικασίες ενώ οι πληθικοί αριθμοί την έννοια του "πλήθους" για άπειρα σύνολα.
• θα έχουν κατανοήσει την ύπαρξη πολλών διαφορετικών απείρων μεγεθών που επεκτείνουν την ακολουθία των (πεπερασμένων) φυσικών αριθμών.
• θα έχουν κατανοήσει το ρόλο που παίζει του Αξιώματος της Επιλογής (ΑΕ) σε όλους τους μαθηματικούς κλάδους και θα μπορούν να αποδείξουν ότι μόνο υποθέτωντας το ΑΕ όλα τα σύνολα είναι μεταξύ τους συγκρίσιμα ως προς το πλήθος και ότι όλοι οι πληθάριθμοι είναι άλεφς.
Περιεχόμενο Μαθήματος
Βασικές έννοιες της Kαντοριανής (απλοϊκής) θεωρίας συνόλων: Σύγκριση μεγέθους συνόλων, ισοπληθή σύνολα, θεωρήματα Cantor και Cantor-Bernstein. Υπόθεση του Συνεχούς. Παράδοξο του Russell.
Αξιωματική Θεωρία Συνόλων Zermelo-Fraenkel (ZF, ZFC). Αξιωματική Θεμελίωση των Φυσικών, των Ακεραίων, των Ρητών και των Πραγματικών αριθμών.
Μερικές, ολικές και καλά θεμελιωμένες διατάξεις και ιδιότητες των καλά διατεταγμένων συνόλων.
Διατακτικοί αριθμοί, Υπερπεπερασμένη επαγωγή.
Πληθικοί αριθμοί, άλεφς και πράξεις επί των άλεφς.
Αξίωμα Επιλογής και τα ισοδύναμά του, Θεώρημα Καλής Διάταξης και Λήμμα του Zorn.
(Εάν επαρκεί ο χρόνος) Λήμμα του Konig.
Λέξεις Κλειδιά
Θεωρία Συνόλων, Διατακτικοί Αριθμοί, Άπειροι Πληθικοί Αριθμοί, Καλά Διατεταγμένοι Χώροι, Αξίωμα Επιλογής
Βιβλιογραφία μαθήματος (Εύδοξος)
- Σημειώσεις στη Συνολοθεωρία, Γ. Μοσχοβάκης, Εκδόσεις Δουβίτσας, 1993.
- ΑΦΕΛΗΣ ΣΥΝΟΛΟΘΕΩΡΙΑ, Paul Halmos, Εκδόσεις Εκκρεμές,
Κωδικός Βιβλίου στον Εύδοξο: 77108962
- Αξιωματική Θεωρία Συνόλων, Κ. Κάλφα, Εκδόσεις Ζήτη, 1990