Στα Μαθηματικά ο πληθάριθμος ή πληθικός αριθμός (Cardinality) είναι το πλήθος των στοιχείων ενός συνόλου. Για παράδειγμα, ο πληθάριθμος του συνόλου Α={2.92, 6.28, -1.35} είναι 3, ενώ το σύνολο Β={5, 10, 15, 20, 25} έχει πληθάριθμο 5. Ο πληθάριθμος μπορεί να ανήκει στο σύνολο των φυσικών, ή στην κλάση των πληθικών αριθμών (δεν υπάρχει το σύνολο των πληθαρίθμων). Ο πληθάριθμος του συνόλου Α συμβολίζεται με \( cardΑ (<(Αγγλικά) \) cardinality που σημαίνει πληθάριθμος).

Σύγκριση πληθάριθμων

Έστω δύο σύνολα Α, Β. Η σύγκριση δύο συνόλων μπορεί να αφορά απειροσύνολα, για αυτό το λόγο οι έννοιες της σύγκρισης ορίζονται εκ νέου.

Τα Α, Β λέγονται ισοδύναμα ή ότι έχουν ίσους πληθάριθμους όταν υπάρχει συνάρτηση ένα προς ένα από το Α επί του Β. Τότε ισχύει cardA=cardΒ, ενώ η ισοδυναμία συμβολίζεται με Α~Β. Αν δύο σύνολα δεν είναι ισοδύναμα, αυτό συμβολίζεται με \( cardA\ne cardB \). Τη διαδικασία αυτής της αντιστοίχισης χρησιμοποιούμε ουσιαστικά κάθε φορά που μετράμε τα στοιχεία ενός συνόλου, αφού σε κάθε στοιχείο αντιστοιχούμε έναν αριθμό τον οποίο λέμε ή έχουμε στο μυαλό μας.

Αν τα δύο σύνολα δεν είναι ισοδύναμα, τότε το ένα θεωρητικά είναι ισοδύναμο με γνήσιο υποσύνολο του άλλου. Αν υπάρχει συνάρτηση ένα προς ένα από το Α στο Β, τότε αυτό συμβολίζεται με \( cardA\le cardB \). Αν επιπλέον ισχύει \( cardA\ne cardB \), τότε αυτό συμβολίζεται με \( cardA<cardB \).

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

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

Ένα σύνολο Α λέγεται αριθμήσιμο όταν είναι πεπερασμένο ή ισοδύναμο του συνόλου των φυσικών αριθμών, δηλαδή όταν \( cardA\le card\mathbb{N} \). Τον πληθάριθμο του \( \mathbb{N} \) τον συμβολίζουμε με το \( \aleph_0 \) (προφέρεται "άλεφ μηδέν"). Οι αμέσως μεγαλύτεροι πληθάριθμοι συμβολίζονται \( \aleph_1, \aleph_2 \), κ.λ.π. Παρά τη διαισθησή μας, ο πληθάριθμος των αρτίων φυσικών, των περιττών φυσικών, των πρώτων αριθμών και των ρητών είναι επίσης \( \aleph_0 \), όχι όμως και των πραγματικών. Διαισθητικά ένα αριθμίσιμο σύνολο μπορούμε να το φαντασούμε ως ένα σύνολο στο οποίο αν αρχίσουμε να μετράμε τα στοιχεία του, κάποια στιγμή θα μετρήσουμε οποιοδήποτε στοιχείο του.

Για κάθε άπειρο συνόλο Α αποδεικνύεται ή γίνεται δεκτό αξιωματικά ότι cardA\ge card\mathbb{N}.
Υπεραριθμήσιμο σύνολο

Υπεραριθμήσιμο σύνολο ονομάζεται το σύνολο το οποίο δεν είναι αριθμήσιμο. Σε αυτήν την περίπτωση ισχύει \( cardA >card\mathbb{N} \) και το Α είναι αναγκαστικά άπειρο σύνολο. Το διάστημα [0,10) είναι υπεραριθμήσιμο, όπως και το σύνολο των πραγματικών αριθμών. Οι πληθάριθμοι αριθμήσιμων συνόλων είναι οι υπεραριθμήσιμοι αριθμοί.

Scientific Library