Sayılabilirlik

Sayılabilirlik, bir kümedeki eleman sayısıyla doğal sayılar arasında birebir eşleme kurulabilme durumu.

19. yüzyılın sonlarına kadar matematikte farklı büyüklüklerde sonsuzların olabileceğinden şüphelenilmiyordu. Ancak Alman matematikçi Georg Cantor'un reel sayıların sayılamayacağını ispatlamasının ardından matematikte farklı büyüklüklerde sonsuzlukların var olduğu anlaşıldı. Peki iki sonsuz sayıyı karşılaştırmaktan anlaşılan nedir? Diyelim ki elimizde A ve B isimli iki sonsuz küme var ve bunların eleman sayılarına sırasıyla a ve b diyelim. Eğer A kümesinden B kümesine birebir bir fonksiyon tanımlanabiliyorsa bu durumda  denir. Bu tanım Seçim Aksiyomu'nun varsayıldığı durumlarda bize sonsuz büyüklükler arasında bir doğrusal sıralama verir, yani kısaca bütün sonsuzluklar birbiriyle karşılaştırılabilir. İşte bu durumda, sayılabilirlik en küçük sonsuz büyüklüğü ifade eder, ancak bazı yazarlar sayılabilirliği aynı zamanda "ya sonlu ya da sayılabilir sonsuz olma" durumu için de kullanırlar. Süreklilik Hipotezi ise doğal sayıların kümesinin büyüklüğü ile reel sayıların kümesinin büyüklüğü arasında başka büyüklük olmadığını ifade eden aksiyomdur.

Sayılabilir kümelere örnekler:

 Doğal sayılar 
 Tam sayılar 
 Oranlı sayılar
 Asal sayılar

Sayılamaz kümelere örnekler:

 Gerçel sayılar
 Karmaşık sayılar 
 Cantor'un kümesi 
 Doğal sayıların alt kümelerinin kümesi

Sayılar