Θεωρία συνόλων: Διαφορά μεταξύ των αναθεωρήσεων

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
μΧωρίς σύνοψη επεξεργασίας
μ r2.7.1) (Ρομπότ: Προσθήκη: hy:Բազմությունների տեսություն
Γραμμή 60: Γραμμή 60:
[[hr:Teorija skupova]]
[[hr:Teorija skupova]]
[[hu:Halmazelmélet]]
[[hu:Halmazelmélet]]
[[hy:Բազմությունների տեսություն]]
[[id:Teori himpunan]]
[[id:Teori himpunan]]
[[io:Ensemblo-teorio]]
[[io:Ensemblo-teorio]]

Έκδοση από την 11:15, 22 Ιανουαρίου 2012

Πρότυπο:Επιστημονικό πεδίο


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

Η σύγχρονη μελέτη της θεωρίας συνόλων ξεκίνησε από τον Γκέοργκ Καντόρ (Georg Cantor) και τον Ντέντεκιντ (Dedekind) τη δεκαετία του 1870. Μετά την ανακάλυψη παραδόξων στην άτυπη θεωρία συνόλων, πληθώρα συστημάτων αξιωμάτων προτάθηκαν την αρχή του εικοστού αιώνα, το πιο γνωστό από τα οποία η Ζερμέλο-Φράνκελ θεωρία συνόλων (Zermelo–Fraenkel set theory), με το αξίωμα επιλογής.

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

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

Βιβλιογραφία

  • "Naive Set Theory", Paul R. Halmos, Springer-Verlag, 1960 (ελληνική μετάφραση: "Αφελής συνολοθεωρία", μτφ. Γιώργος Κολέτσος, εκδόσεις Εκκρεμές, Αθήνα, 2002, ISBN 960-7651-26-X)
  • "Notes on Set Theory", Yannis N. Moschovakis, Springer, 2nd edition, 2005 (Ελληνική έκδοση "Σημειώσεις στη Συνολοθεωρία", εκδόσεις Νεφέλη, 1993)
  • "Set Theory", Tomas Jech, Springer, 3rd edition, 2006
CC-BY-SA
Μετάφραση
Στο λήμμα αυτό έχει ενσωματωθεί κείμενο από το λήμμα set theory της Αγγλικής Βικιπαίδειας, η οποία διανέμεται υπό την GNU FDL και την CC-BY-SA 4.0. (ιστορικό/συντάκτες).