Bazı Sonsuzlar Daha mı Büyük? Cantor’un Cesur Fikri

“Sonsuz Sonsuzdur” Demek Yetmez

Çoğumuz sonsuzluğu tek bir kavram sanırız: ne kadar büyük olursa olsun, sonsuz sonsuzdur. Ama $19.$ yüzyılın sonunda Georg Cantor, çarpıcı bir şey iddia etti: sonsuzun da farklı büyüklükleri vardır. Bazı sonsuzlar, diğerlerinden gerçekten daha büyüktür.

Bu fikir o dönemde o kadar radikaldi ki bazı ünlü matematikçiler Cantor’a sert tepki gösterdi. Ama bugün onun fikirleri, modern matematiğin temel taşlarından biridir.

“Aynı Büyüklük” Ne Demek?

Cantor önce şu basit fikirden başladı: iki kümenin “aynı büyüklükte” olması için, elemanlarını birebir eşleştirebilmek yeterlidir. Sayman gerekmez; sadece her birini bir diğeriyle eşleyebiliyorsan, sayıları eşittir.

Bu mantıkla, doğal sayılar ($1, 2, 3, \dots$) ile çift sayılar ($2, 4, 6, \dots$) aynı büyüklüktedir — çünkü her $n$ sayısını $2n$ ile eşleyebiliriz. Tuhaf ama doğru: parça, bütün kadar “çok”tur. Aynı şey kesirler için de geçerlidir; onlar da doğal sayılarla eşleşir. Bu tür sonsuza sayılabilir sonsuz denir.

Köşegen Darbesi

Peki tüm gerçek sayılar (örneğin $0$ ile $1$ arasındaki tüm ondalık sayılar) da sayılabilir mi? Cantor’un cevabı kesin bir hayırdı ve bunu zarif bir yöntemle kanıtladı: köşegen argümanı.

Diyelim ki $0$ ile $1$ arasındaki tüm sayıları bir listeye dizebildiğimizi varsayalım. Cantor, bu listeden listede olmayan yeni bir sayı üretmenin yolunu gösterdi: listedeki birinci sayının birinci basamağını değiştir, ikinci sayının ikinci basamağını değiştir, üçüncünün üçüncüsünü… Böyle “köşegen boyunca” her basamağı değiştirerek elde edilen yeni sayı, listedeki hiçbir sayıyla aynı olamaz (çünkü her birinden en az bir basamakta farklıdır).

Yani liste “tüm sayıları içeriyorum” dese de, her zaman dışarıda kalan bir sayı vardır. Demek ki gerçek sayılar listelenemez — onların sonsuzu, doğal sayıların sonsuzundan daha büyüktür. Buna sayılamaz sonsuz denir.

Neden Önemli?

Cantor’un keşfi, sonsuzluğun tek bir şey olmadığını; bir sonsuzluk hiyerarşisi olduğunu gösterdi. Bu, küme teorisinin doğmasına ve matematiğin temellerinin yeniden düşünülmesine yol açtı.

Cantor hayatı boyunca bu fikirler yüzünden ağır eleştiriler yaşadı. Ama David Hilbert onun çalışması için şöyle demişti: “Cantor’un bizim için yarattığı cennetten kimse bizi kovamayacak.”

Bazen bir fikir, çağına sığmayacak kadar büyüktür. Cantor’un sonsuzlukları, matematiğin sınırlarını sonsuza kadar genişletti.