Sonsuzluğun Aynasında Çatlak: Cantor’un Aklı Başından Alan Köşegeni

Sonsuzluğun Aynasında Çatlak: Cantor’un Aklı Başından Alan Köşegeni

Sonsuzluk kulağa tek parça bir ejderha gibi gelir: sonu yoksa sonu yoktur, daha ne olsun? Fakat Georg Cantor sahneye çıkıp bu ejderhanın pullarını tek tek saymaya kalkışınca matematik tarihinde tuhaf bir şey oldu. Sonsuzluğun da boyları, katları, hatta birbirine denk olmayan türleri olduğu ortaya çıktı. Üstelik bunu göstermek için dev teleskoplara, kuantum bilgisayarlara ya da mistik sezgilere gerek yoktu. Bir liste, biraz mantık ve zekice çizilmiş bir köşegen yeterliydi.

Önce basit bir ayrım yapalım. Doğal sayılar, yani 1, 2, 3, 4 diye giden sayılar sonsuzdur. Çift sayılar da sonsuzdur: 2, 4, 6, 8… İlk bakışta çift sayılar daha az gibi görünür, çünkü doğal sayıların yalnızca yarısıdır. Ama Cantor bize şunu sorar: Her doğal sayıyı tam bir çift sayıyla eşleştirebilir miyiz? Evet. 1 ile 2, 2 ile 4, 3 ile 6, 4 ile 8… Herkese bir partner var, kimse açıkta kalmıyor. Demek ki bu iki sonsuzluk aynı büyüklükte. Garip ama mantıklı.

Dolu Otelde Sonsuza Yer Açmak: Aklın Kilidini Kıran Paradoks

Bir otel düşünün: Odaları 1, 2, 3 diye sonsuza kadar gidiyor. Sonsuz koridor, sonsuz kapı, sonsuz anahtar. Üstelik otel tamamen dolu. Her odada bir müşteri var. Normal bir resepsiyonist burada çaresiz kalırdı; kahvesini bırakır, yüzünü buruşturur ve boş oda yok derdi. Ama burası Hilbert’in Sonsuzluk Oteli. Burada mantık, günlük sezgimizin üniformasını çıkarıp matematiğin tuhaf ama kesin kıyafetlerini giyer.

Önce daha basit bir ısınma yapalım: Tamamen dolu bu sonsuz otele tek bir yeni müşteri gelsin. Finite, yani sonlu bir otelde bu imkansızdır. 100 odalı otelde 100 kişi varsa, 101. kişiye yer açamazsınız. Fakat sonsuz otelde resepsiyonist hoparlörden şu anonsu yapar: Her müşteri kendi oda numarasının bir fazlasına geçsin. 1 numaradaki 2’ye, 2 numaradaki 3’e, 3 numaradaki 4’e… Böylece herkes hâlâ bir odada kalır, kimse sokağa atılmaz ve 1 numaralı oda boşalır. Yeni müşteri içeri alınır. İlk çatlak burada oluşur: Dolu olmak, sonsuzlukta sandığımız kadar kesin bir kapı değildir.

Sonsuzluğun Merdiveni: Bazı Sonsuzluklar Neden Diğerlerini Gölgede Bırakır?

Sonsuzluk kelimesi günlük dilde genellikle tek bir dev gibi davranır: bitmeyen yol, tükenmeyen zaman, saymayı bıraktıran büyüklük. Fakat matematik, bu devi yakasından tutup laboratuvara sokar ve şaşırtıcı bir sonuç bulur: Sonsuzluk tek parça değildir. Bazı sonsuzluklar, başka sonsuzluklardan daha büyüktür. Evet, kulağa masal gibi gelir; ama bu masalın kahramanı peri değil, Georg Cantor adlı inatçı bir matematikçidir.

İşe en tanıdık sonsuzlukla başlayalım: doğal sayılar. 1, 2, 3, 4 diye gider. Asla bitmez. Bu sonsuzluğa sayılabilir sonsuzluk denir ve Cantor bunu alef-sıfır, yani ℵ₀ ile gösterdi. Buradaki fikir şudur: Bir kümenin elemanlarını doğal sayılarla sıraya dizebiliyorsak, o küme sayılabilir sonsuzdur. Örneğin çift sayılar da sonsuzdur: 2, 4, 6, 8… Ama şaşırtıcı biçimde doğal sayılarla aynı büyüklüktedir. Çünkü her doğal sayıya bir çift sayı eşleyebiliriz: 1→2, 2→4, 3→6. Hiç kimse açıkta kalmaz.

Hiçliğin Bile Bir Adresi Var: Boş Kümenin Şaşırtıcı Gerçeği

Boş küme ilk bakışta matematiğin en mütevazı nesnesi gibi görünür: İçinde hiçbir eleman yoktur. Ne elma vardır, ne sayı, ne fikir, ne de kayıp çorap. Gösterimi de sade ve neredeyse sessizdir: ∅. Fakat bu küçücük simge, önemli bir zihinsel gerilimi taşır. Eğer boş küme hiçbir şey içermiyorsa, nasıl olur da kendisi matematikte bir “şey” olabilir? Hiçliğin bile bir nesne olarak ele alınması paradoksal görünür. Ancak bu paradoks, çoğu zaman “içermek” ile “olmak” arasındaki farkı karıştırmamızdan doğar.

İçinde hiçbir şey olmayan şey

Bir küme, elemanların bir koleksiyonudur. Örneğin A = {1, 2, 3} kümesinin üç elemanı vardır. B = {kedi, köpek} kümesi iki eleman taşır. Boş kümenin ise eleman sayısı sıfırdır: |∅| = 0. Buradaki kritik nokta şudur: “Elemanı yoktur” ifadesi, “kendisi yoktur” anlamına gelmez. Boş bir kutu düşünelim. Kutunun içinde nesne bulunmayabilir; fakat kutu hâlâ masanın üzerindedir, ölçülebilir, taşınabilir ve etiketlenebilir. Boş küme de benzer biçimde, eleman içermeyen ama tanımlı olan bir matematiksel yapıdır.

Dolu Otelde Yeni Misafir Nasıl Yer Bulur? Sonsuzluğun Şaşırtıcı Mantığı

Bir otelin tüm odalarının dolu olduğunu düşünün. Resepsiyondaki görevli, üzgün bir ifadeyle “Yerimiz yok” demek üzeredir ki kapıdan yeni bir misafir girer. Sonra görevli gülümser ve şöyle der: “Elbette yerimiz var.” Bu, kötü işletilen bir otel değil; matematikçi David Hilbert’in tasarladığı ünlü sonsuz oteldir. Otelde 1, 2, 3, 4 diye sonsuza kadar numaralanmış odalar vardır ve her odada bir müşteri kalmaktadır. Yine de yeni gelen kişi için oda bulunabilir.

Bir adım kaymak, bir oda açmak

Çözüm şaşırtıcı derecede basittir. Görevli, her konuğa mevcut oda numarasından bir sonraki odaya geçmesini söyler. 1 numaradaki müşteri 2’ye, 2 numaradaki 3’e, 3 numaradaki 4’e taşınır. Bu işlem herkes için sürer. İlk bakışta “Peki en sondaki müşteri nereye gidecek?” diye sorabilirsiniz. Fakat otelin son odası yoktur. Sayılar sonsuza doğru gider, ama hiçbir sayı “son sayı” değildir. Böylece 1 numaralı oda boşalır ve yeni misafir içeri yerleşir.