Άπειρο σύνολο

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

## Παραδείγματα
Πεπερασμένα σύνολα μπορεί να είναι τα εξής:
* Το σύνολο \Z_5 = \{ 0, 1, 2, 3, 4 \}.
* Το σύνολο των βασικών πράξεων στην αριθμητική \{ + , -, \times, \div \}.
* Το σύνολο των τιμών στην άλγεβρα Μπουλ S = \{ 0, 1 \}.
* Το σύνολο των λέξεων σε ένα λεξικό.

Τα μη πεπερασμένα σύνολα μπορεί να είναι αριθμήσιμα ή μη. Ενδεικτικά παραδείγματα είναι:
* Το σύνολο όλων των φυσικών αριθμών είναι ένα αριθμήσιμο σύνολο, \N = \{ 1, 2, 3, \ldots \}. 
* Το σύνολο όλων των ακεραίων αριθμών είναι ένα αριθμήσιμο σύνολο, \Z = \{\ldots,-2,-1,0,1,2,\ldots\}.
* Το σύνολο όλων των πραγματικών αριθμών είναι ένα μη αριθμήσιμο σύνολο, \mathbb{R}.

## Ιδιότητες
* Το σύνολο όλων των φυσικών αριθμών (η ύπαρξη του οποίου προκύπτει από το αξίωμα του απείρου) είναι απειροσύνολο. Είναι το μόνο σύνολο που απαιτείται άμεσα από τα αξιώματα να είναι μη πεπερασμένο. Η ύπαρξη όλων των άλλων απειροσυνόλων μπορεί να αποδειχθεί με τη Ζερμέλο-Φράνκελ θεωρία συνόλων αρκεί να δειχθεί ότι προκύπτει από την ύπαρξη των φυσικών αριθμών.

* Ένα σύνολο είναι μη πεπερασμένο αν και μόνο αν για κάθε φυσικό αριθμό, το σύνολο έχει ένα υποσύνολο του οποίου ο πληθάριθμος είναι αυτός ο φυσικός αριθμός.
* Εάν ισχύει το αξίωμα της επιλογής, τότε το σύνολο είναι μη πεπερασμένο, αν και μόνο αν περιλαμβάνει αριθμήσιμο μη πεπερασμένο υποσύνολο.
* Εάν ένα σύνολο συνόλων είναι μη πεπερασμένο ή περιέχει ένα μη πεπερασμένο στοιχείο, τότε είναι μη πεπερασμένο και το σύνολο της κάθε ένωσής του. 
* Το δυναμοσύνολο ενός μη πεπερασμένου συνόλου είναι επίσης μη πεπερασμένο. Κάθε υπερσύνολο από ένα μη πεπερασμένο σύνολο είναι επίσης μη πεπερασμένο. 
* Εάν ένα μη πεπερασμένο σύνολο χωρίζεται σε πολλά πεπερασμένα υποσύνολα, τότε τουλάχιστον ένα από αυτά πρέπει να είναι μη πεπερασμένο. 
* Κάθε σύνολο που μπορεί να χαρτογραφηθεί επάνω σε ένα μη πεπερασμένο σύνολο είναι επίσης μη πεπερασμένο. 
* Το καρτεσιανό γινόμενο ενός μη πεπερασμένου συνόλου και ενός μη κενού συνόλου είναι μη πεπερασμένο. 
* Το καρτεσιανό γινόμενο ενός απείρου αριθμού συνόλων που το καθένα περιέχει τουλάχιστον δύο στοιχεία είναι άδειο, εκτός αν ισχύει το αξίωμα της επιλογής, οπότε είναι μη πεπερασμένο.
* Εάν ένα μη πεπερασμένο σύνολο είναι ένα καλώς διατεταγμένο σύνολο, τότε θα πρέπει να έχει ένα μη κενό υποσύνολο το οποίο δεν έχει κάποιο μεγαλύτερο στοιχείο.
* Στην Ζερμέλο-Φράνκελ θεωρία συνόλων, ένα σύνολο είναι μη πεπερασμένο αν και μόνο αν το δυναμοσύνολο του κάθε δυναμοσυνόλου του είναι ένα Ντέντεκιντ-απειροσύνολο, που έχει ένα γνήσιο υποσύνολο ισάριθμου μεγέθους του ιδίου. Αν το αξίωμα της επιλογής είναι επίσης αληθές, τα απειροσύνολα είναι επακριβώς τα Ντέντεκιντ-απειροσύνολα.
* Εάν ένα μη πεπερασμένο σύνολο είναι ένα καλώς διατεταγμένο σύνολο, τότε έχει και πολλά καλώς διατεταγμένα που δεν είναι ισομορφικά.

## Ιστορία
Μια γνωστή εμφάνιση ρητών μη πεπερασμένων συνόλων είναι στο τελευταίο βιβλίο του Γαλιλαίου, το *Διάλογοι για δύο νέες επιστήμες*, το οποίο έγραψε ενώ ήταν σε κατ' οίκον περιορισμό από την Ιερά Εξέταση.

Ο Γαλιλαίος υποστήριξε ότι το σύνολο των τετραγώνων \mathbb{S} = \{1,4,9,16,25,\ldots\} είναι ίδιους μεγέθους με το \mathbb{N} = \{1,2,3,4,5,\ldots\} επειδή υπάρχει μια ένα-προς-ένα αντιστοιχία:

:1 \leftrightarrow 1, 2 \leftrightarrow 4, 3 \leftrightarrow 9, 4 \leftrightarrow 16, 5 \leftrightarrow 25, \ldots

Και όμως, όπως γράφει, το \mathbb{S} είναι ένα γνήσιο υποσύνολο του \mathbb{N} και το \mathbb{S} είναι όλο και πιο αραιό καθώς οι αριθμοί μεγαλώνουν.

## Δείτε επίσης
* Άπειρο
* Πληθάριθμος
* Αριθμήσιμο σύνολο
* Πεπερασμένο σύνολο

## Παραπομπές


## Εξωτερικοί σύνδεσμοι
* 

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