ΟΚΤΩΒΡΙΟΣ 2012
Ένα σύνολο Α λέμε οτι είναι αριθμήσιμο όταν υπάρχει μια συνάρτηση f:A – >N η οποία είναι 1 – 1 και επί. (Όταν δηλαδή τα στοιχεία του μπορούν να τεθούν σε μια ένα προς ένα αντιστοιχία με το σύνολο Ν των φυσικών αριθμών). Να αποδειχτεί οτι το σύνολο των ακολουθιών πραγματικών αριθμών είναι μη αριθμήσιμο. (Αυτό σημαίνει οτι το (άπειρο) πλήθος των ακολουθιών πραγματικών αριθμών είναι μεγαλύτερο απο το (άπειρο) πλήθος των φυσικών αριθμών.)