Πληθικότητα του συνεχούς

Στη θεωρία συνόλων, η **πληθικότητα της συνέχειας** είναι η πληθικότητα ή το "μέγεθος" του συνόλου των πραγματικών αριθμών \mathbb R, μερικές φορές ονομάζεται συνεχές. Είναι ένας άπειρος καρδινάλιος αριθμός και συμβολίζεται με |\mathbb R| ή \mathfrak c (πεζά fraktur script "c").

Οι πραγματικοί αριθμοί \mathbb R είναι πιο πολλοί από τους φυσικούς αριθμούς \mathbb N. Επιπλέον,το \mathbb R έχει το ίδιο πλήθος στοιχείων με το δυναμοσυνολο του \mathbb N. Συμβολικά, αν η πληθικότητα του \mathbb N συμβολίζεται ως \aleph_0, η πληθικότητα του συνεχούς είναι
: \mathfrak c = 2^{\aleph_0} > \aleph_0 \,. 
Αυτό αποδεικνύεται από τον Georg Cantor το 1874 με μη-υπολογιστική απόδειξη (με σχήματα), μέρος της πρωτοποριακής μελέτης των διαφόρων απείρων, και αργότερα πιο απλά το διαγώνιο επιχείρημά του. Ο Cantor όρισε την πληθικότητα όσον αφορά τις αμφιμονοσήμαντες συναρτήσεις: δύο σύνολα έχουν την ίδια πληθικότητα, αν και μόνο αν υπάρχει μια αμφιμονοσήμαντη συνάρτηση μεταξύ τους.

Μεταξύ δύο οποιοδήποτε πραγματικών αριθμών *α* \mathbb R. Αυτό επίσης ισχύει και για πολλά άλλα άπειρα σύνολα, όπως σε κάθε *n*-διάστατο Ευκλείδειο χώρο \mathbb R^n (βλ χώρο  καμπύλης). Αυτό είναι,
: |(a,b)| = |\mathbb R| = |\mathbb R^n|.
Ο μικρότερος άπειρος καρδινάλιος αριθμός είναι ο \aleph_0 (εβραικό γράμμα -μηδέν). Ο δεύτερος μικρότερος είναι ο \aleph_1 (εβραικό γράμμα-ένα). Από την υπόθεση του συνεχούς, η οποία υποστηρίζει ότι δεν υπάρχουν σύνολα των οποίων η πληθικότητα είναι αυστηρά μεταξύ του \aleph_0 και του \mathfrak c,συνεπάγεται ότι \mathfrak c = \aleph_1.

## Ιδιότητες

### Μη-μετρήσιμο
Ο Georg Cantor εισήγαγε την έννοια της πληθικότητας<nowiki/> για να συγκρίνει τα μεγέθη των άπειρων σύνολων.Έδειξε περίφημα ότι το σύνολο των πραγματικών αριθμών είναι αμέτρητα άπειρο, δηλαδή το {\mathfrak c} να είναι αυστηρά μεγαλύτερο από την των , \aleph_0:
: \aleph_0 
Με άλλα λόγια, υπάρχουν αυστηρά περισσότεροι πραγματικοί αριθμοί από ότι ακέραιοι.Ο Cantor απέδειξε αυτή η δήλωση με πολλούς διαφορετικούς τρόπους. Δείτε την πρώτη μη υπολογιστική του Cantor και το διαγώνιο επιχείρημά του.

### Οι καρδινάλιος ισότητες
Μια παραλλαγή του διαγωνίου επιχειρήματος του Cantor μπορεί να χρησιμοποιηθεί για να αποδειχθεί το θεώρημα του Cantor,το οποίο αναφέρει ότι η πληθικότητα του κάθε συνόλου είναι αυστηρά μικρότερη από το δυναμοσύνολο, δηλαδή |*A*| &#x3C; 2|*A*|, και έτσι το δυναμοσύνολο *P*(**N**) των φυσικών αριθμών **N** είναι μη μετρήσιμο. Στην πραγματικότητα, μπορεί να αποδειχθεί ότι η πληθικότητα του *P*(**N**) είναι ίση με {\mathfrak c}:
# Ορίστε μια απεικόνιση *f*: **R** → *P*(**Q**) από τους πραγματικούς αριθμούς στο δυναμοσύνολο των ρητών με την αποστολή κάθε πραγματικού αριθμού *x* στο σύνολο \{q \in \mathbb{Q} \mid q \le x\} όλων των ρητών μικρότερων ίσων με *x* (με τους πραγματικούς να θεωρούνται ως Dedekind περικοπές, αυτό δεν είναι τίποτα άλλο από την απεικόνιση εγκλεισμού στο σύνολο της σύνολα των ρητών). Αυτή η απεικόνιση είναι ένα προς ένα από τότε που οι πραγματικοί αριθμοί είναι πυκνοί στο **R**. Από τότε που οι πραγματικοί αριθμοί είναι μετρήσιμοι, έχουμε ότι \mathfrak c \le 2^{\aleph_0}.
# Έστω {0,2}**N** είναι το σύνολο των άπειρων ακολουθιών με τιμές στο σύνολο {0,2}. Αυτό το σύνολο έχει σαφώς πληθικότητα 2^{\aleph_0} (h φυσική αμφιμονοσήμαντη αντιστοιχία ανάμεσα στο σύνολο των δυαδικών ακολουθιών και *Σ*(**N**) δίνεται από την δείκτρια συνάρτηση). Τώρα συνεργάτης για κάθε τέτοια ακολουθία (*α** ' *) είναι ο μοναδικός πραγματικός αριθμός στο διάστημα [0,1] με την τριαδική-επέκταση δίνεται από τα ψηφία (*a** ' *), δηλαδή το *i*-οστό ψηφίο μετά την υποδιαστολή είναι *το αι*. Η εικόνα αυτής της απεικόνισης ονομάζεται σύνολο Cantor. Δεν είναι δύσκολο να δούμε ότι η απεικόνιση αυτή είναι αμφιμονοσήμαντης αντιστοιχίας, αποφεύγοντας τα σημεία με το ψηφίο 1 στην τριαδική επέκταση θα αποφύγουμε τις συγκρούσεις που δημιουργούνται από το γεγονός ότι η τριαδική-επέκταση ενός πραγματικού αριθμού δεν είναι μοναδική. Μετά έχουμε ότι 2^{\aleph_0} \le \mathfrak c.
Από το θεώρημα του Cantor-Bernstein-Scroeder συμπεραίνουμε ότι 
: \mathfrak c = |P(\mathbb{N})| = 2^{\aleph_0}.
(Μια διαφορετική απόδειξη του \mathfrak c = 2^{\aleph_0}  δίνεται στο διαγώνιο επιχείρημα του Cantor.Η απόδειξη αυτή κατασκευάσει μια αμφιμονοσήμαντη αντιστοιχία από το {0,1} N με τον R.)

Η καρδινάλιος ισότητα \mathfrak{c}^2 = \mathfrak{c} μπορεί να αποδειχθεί με τη χρήση καρδινάλιου αριθμητικής:
: \mathfrak{c}^2 = (2^{\aleph_0})^2 = 2^{2\times{\aleph_0}} = 2^{\aleph_0} = \mathfrak{c}.
Με τη χρήση των κανόνων της καρδινάλιου αριθμητικής κάποιος μπορεί επίσης να δείξει ότι 
: \mathfrak c^{\aleph_0} = {\aleph_0}^{\aleph_0} = n^{\aleph_0} = \mathfrak c^n = \aleph_0 \mathfrak c = n \mathfrak c = \mathfrak c,
όπου n είναι οποιαδήποτε πεπερασμένη καρδινάλιος ≥ 2, και 
:  \mathfrak c ^{\mathfrak c}  =  (2^{\aleph_0})^{\mathfrak c}  = 2^{\mathfrak c\times\aleph_0} = 2^{\mathfrak c},
όπου 2 ^{\mathfrak c} είναι η πληθικότητα του δυναμοσυνόλου του R, και 2 ^{\mathfrak c} > \mathfrak c .

### Εναλλακτική εξήγηση για <math>{\mathfrak c} = 2^{\aleph_0}</math>
Κάθε πραγματικός αριθμός έχει τουλάχιστον μια άπειρη δεκαδική επέκταση. Για παράδειγμα,
: 1/2 = 0.50000...
: 1/3 = 0.33333...
: \pi = 3.14159....
(Αυτό ισχύει ακόμα και όταν η επέκταση επαναλαμβάνεται, όπως στα πρώτα δύο παραδείγματα.) Σε κάθε συγκεκριμένη περίπτωση, ο αριθμός των ψηφίων είναι πεπερασμένος, δεδομένου ότι μπορεί να τεθεί σε ένα-προς-ένα αντιστοιχία με το σύνολο των φυσικών αριθμών Ν.Το γεγονός αυτό καθιστά λογικό να μιλήσουμε για (για παράδειγμα) το πρώτο, το ένα εκατοστό, ή το εκατομμυριοστό ψηφίο π. Δεδομένου ότι οι φυσικοί αριθμοί έχουν πληθικότητα Νο, κάθε πραγματικός αριθμός έχει Νο ψηφία στην επέκτασή του. 

Δεδομένου ότι κάθε πραγματικός αριθμός μπορεί να χωριστεί σε ένα ακέραιο μέρος και ένα δεκαδικό κλάσμα, παίρνουμε 
: {\mathfrak c} \leq \aleph_0 \cdot 10^{\aleph_0} \leq 2^{\aleph_0} \cdot {(2^4)}^{\aleph_0} = 2^{\aleph_0 + 4 \cdot \aleph_0} = 2^{\aleph_0} 
όταν
: \aleph_0 + 4 \cdot \aleph_0 = \aleph_0 \,.
Από την άλλη πλευρά,αν έχουμε 2 = \{0, 1\} στο \{3, 7\} και θεωρούν ότι τα δεκαδικά κλάσματα περιέχουν μόνο 3 ή 7 είναι μόνο ένα μέρος των πραγματικών αριθμών, τότε θα έχουμε
: 2^{\aleph_0} \leq {\mathfrak c} \,.
κι έτσι
: {\mathfrak c} = 2^{\aleph_0} \,.

## Αριθμοί του Beth
Η ακολουθία των αριθμών beth ορίζεται από τον καθορισμό
 \beth_0 = \aleph_0 και \beth_{k+1} = 2^{\beth_k}. Ετσιτο {\mathfrak c} είναι ο δεύτερος αριθμός του beth,ο **πρώτος-beth**:
: \mathfrak c = \beth_1.
Ο τρίτος αριθμός του beth, **δεύτερος-beth**, είναι ο καρδινάλιος του δυναμοσυνόλου **R** (δηλαδή το σύνολο όλων των υποσυνόλων της πραγματικής γραμμής):
: 2^\mathfrak c = \beth_2.

## Η υπόθεση του συνεχούς
Η περίφημη υπόθεση του συνεχούς ισχυρίζεται ότι το {\mathfrak c} είναι επίσης ο δεύτερος<nowiki/> εβραικός αριθμός \aleph_1. Με άλλα λόγια, η υπόθεση του συνεχούς δηλώνει ότι δεν υπάρχει σύνολο
A\, του οποίου η πληθικότητα βρίσκεται αυστηρά μεταξύ
\aleph_0 και {\mathfrak c}
: \nexists A \quad:\quad \aleph_0 
Αυτή η δήλωση είναι τώρα γνωστό ότι είναι ανεξάρτητη από τα αξιώματα της θεωρίας συνόλων του Zermelo-Fraenkel με το αξίωμα της επιλογής
 (ZFC). Δηλαδή, τόσο η υπόθεση και η άρνηση της είναι συνεπείς με αυτά τα αξιώματα.
 Στην πραγματικότητα, για κάθε μη μηδενικό φυσικό αριθμό n, η ισότητα
 {\mathfrak c} = \aleph_n είναι ανεξάρτητη του ZFC (στην περίπτωση που n=1 είναι η υπόθεση του συνεχούς).Το ίδιο ισχύει και για τους άλλους εβραικούς αριθμούς, αν και σε ορισμένες περιπτώσεις, η ισότητα μπορεί να αποκλειστεί από το θεώρημα König με το σκεπτικό της ομοτελικότητας,  παράδειγμα, \mathfrak{c}\neq\aleph_\omega. Συγκεκριμένα,το \mathfrak{c} μπορεί να είναι είτε \aleph_1 είτε \aleph_{\omega_1}, όπου το \omega_1 είναι η πρώτη μη αριθμήσιμη τακτική, κι έτσι μπορεί να είναι είτε μια διάδοχος καρδινάλιος είτε ένα όριο καρδιναλίου, και είτε ένας κανονικός καρδινάλιος ή μια μοναδική καρδινάλιος .

## Ορισμός του πληθάριθμου του συνεχούς
Πάρα πολλά σύνολα βασισμένα στα μαθηματικά έχουν πληθάριθμο ίσο με
 {\mathfrak c}. Κάποια κοινά παραδείγματα είναι τα ακόλουθα:
* the real numbers \mathbb{R}
* κάθε (μη εκφυλισμένη) σε ανοικτά ή κλειστά διάστημα στο \mathbb{R} (όπως η χρονική μονάδα
[0,1])
: Για παράδειγμα, για όλα τα a,b \in \mathbb{R} όταν a  μπορούμε να ορίσουμε μια αμφιμονοσήμαντη αντιστοιχία
: \begin{align}
 f\colon \mathbb{R} &\to (a,b)\\
 x &\mapsto \frac{\arctan x + \frac{\pi}{2}}{\pi}\cdot(b - a) + a
\end{align}
: Τώρα θα δείξουμε το πλήθος ενός άπειρου διαστήματος. Για όλα τα a \in \mathbb{R} μπορούμε να ορίσουμε την αμφιμονοσήμαντη αντιστοιχία
: \begin{align}
 f\colon \mathbb{R} &\to (a,\infty)\\
 x &\mapsto \begin{cases}
\arctan x + \frac{\pi}{2} + a & \mbox{if } x και ομοίως για όλα τα b \in \mathbb{R}
: \begin{align}
 f\colon \mathbb{R} &\to (-\infty,b)\\
 x &\mapsto \begin{cases}
x - \frac{\pi}{2} + b & \mbox{if } x 
* οι άρρητοι αριθμοί
* οι υπερβατικοί αριθμοί
: Σημειώνουμε ότι το σύνολο των πραγματικών αριθμών οι αλγεβρικοί αριθμοί είναι αριθμήσιμο άπειρο (αποδίδει σε κάθε τύπο του αριθμού του Godel.)Έτσι η πληθικότητα των πραγματικών αλγεβρικών αριθμών είναι \aleph_0. Επιπλέον,οι πραγματικοί αλγεβρικοί αριθμοί και οι πραγματικοί υπερβατικοί αριθμοί είναι ξένα σύνολα των οποίων η ένωση είναι το \mathbb R. Έτσι,αφού η πληθικότητα του \mathbb R είναι \mathfrak c,η πληθικότητα των πραγματικών υπερβατικών αριθμών είναι \mathfrak c - \aleph_0 = \mathfrak c.Ένα παρόμοιο αποτέλεσμα ακολουθεί για πολύπλοκους υπερβατικούς αριθμούς, τη στιγμή που έχουμε αποδείξει ότι
 \left\vert \mathbb{C} \right\vert = \mathfrak c.
* το σύνολο του Cantor
* ο Ευκλείδειος χώρος \mathbb{R}^n
* οι μιγαδικοί αριθμόι \mathbb{C}
: Σημειώνουμε ότι, η απόδειξη της πληθικότητας του Ευκλείδειου χώρου ανά Cantor 's,
\left\vert \mathbb{R}^2 \right\vert = \mathfrak c. Εξ'ορισμού ένα c\in \mathbb{C} μπορεί μοναδικά να εκφραστεί ως 
:  a + bi για κάποια a,b \in \mathbb{R}. Για αυτό ορίζουμε την αμφιμονοσήμαντη αντιστοιχία
: \begin{align}
 f\colon \mathbb{R}^2 &\to \mathbb{C}\\
 (a,b) &\mapsto a+bi
\end{align}
* το δυναμοσύνολο των φυσικών αριθμών \mathcal{P}(\mathbb{N}) (το σύνολο όλων των υποσυνόλων των φυσικών αριθμών)
* το σύνολο των αλληλουχιών των ακεραίων (δηλαδή όλων των λειτουργιών  \mathbb{N} \rightarrow \mathbb{Z}, συχνά συμβολίζεται με \mathbb{Z}^\mathbb{N})
* το σύνολο των αλληλουχιών των πραγματικών αριθμών, \mathbb{R}^\mathbb{N}
* το σύνολο όλων των συνεχών συναρτήσεων από \mathbb{R} στο \mathbb{R}
* η Ευκλείδεια τοπολογία στον \mathbb{R}^n (δηλαδή το σύνολο όλων των ανοιχτών υποσυνόλων του \mathbb{R}^n)
* η σ-άλγεβρα του Borel στο \mathbb{R} (δηλαδή το σύνολο όλων των Borel θέτει στο \mathbb{R}).

## Σύνολα με μεγαλύτερη πληθυκότητα
Σύνολα με πληθικότητα μεγαλύτερη από {\mathfrak c} περιλαμβάνει:
* το σύνολο όλων των υποσυνόλων του \mathbb{R} (δηλαδή το δυναμοσύνολο \mathcal{P}(\mathbb{R}))
* το σύνολο 2<sup>'''R'''</sup> της δείκτριας συνάρτησης ορίζεται σε υποσύνολα των πραγματικών αριθμών (το σύνολο 2^{\mathbb{R}} είναι ισόμορφο με το \mathcal{P}(\mathbb{R})&nbsp;– η δείκτρια συνάρτηση επιλέγει τα στοιχεία του κάθε υποσυνόλου να περιλαμβάνουν)
* το σύνολο \mathbb{R}^\mathbb{R} όλων των συναρτήσεων από το \mathbb{R} στο \mathbb{R}
* η σ-άλγεβρα του Lebesgue στο \mathbb{R}, δηλαδή,το σύνολο όλων των μετρήσεων του Lebesgue που πραγματοποιούνται στο \mathbb{R}.
* οι συμπαγοποιήσεις των Stone-Cech στο \mathbb{N}, \mathbb{Q} και στο \mathbb{R}
* το σύνολο όλων των αυτομορφισμών του πεδίου των μιγαδικών αριθμών.

## References

* Paul Halmos, *Αφελής θεωρία συνόλων*. Princeton, NJ: D. Van Nostrand Εταιρεία, το 1960. Ανατύπωση από την Springer-Verlag, New York, 1974. ISBN 0-387-90092-6 (Springer-Verlag έκδοση).
* Jech, Thomas 2003. *Θεωρία συνόλων: Η τρίτη χιλιοστή έκδοση, που Αναθεωρήθηκε και Επεκτάθηκε*. Springer. ISBN 3-540-44085-2.
* Kuben, Kenneth, 1980. Σύνολο θεωρίας: μια εισαγωγή στις ανεξάρτητες αποδείξεις. Elsevier. ISBN 0-444-86839-9.
*Αυτό το άρθρο ενσωματώνει υλικό από την πληθικότητα του συνεχούς στο [[PlanetMath]], το οποίο είναι υπό την άδεια [[Creative Commons Attributuion/Share-Alike License]].*

Κατηγορία:Πληθάριθμοι