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.
Bu ayrım, ∅ ile {∅} arasındaki farkta çarpıcı biçimde ortaya çıkar. ∅, hiçbir elemanı olmayan kümedir. Buna karşılık {∅}, tek bir elemanı olan bir kümedir; o tek eleman da boş kümenin kendisidir. Birincisinin eleman sayısı sıfır, ikincisinin eleman sayısı birdir. Semboller neredeyse aynı görünür; fakat aralarındaki fark, boş bir odayla içinde “boş oda” maketi bulunan bir oda arasındaki fark kadar büyüktür.
Neden yalnızca bir boş küme vardır?
Küme kuramında iki kümenin eşit olması için aynı elemanlara sahip olmaları gerekir. Boş kümenin elemanı yoktur. Başka bir “boş” kümenin de elemanı yoksa, aralarında ayırt edici hiçbir eleman bulunmaz. O hâlde bunlar iki ayrı nesne değil, aynı kümedir. Bu nedenle matematikte boş küme tektir. “Meyvelerden oluşan boş küme” ile “Mars’taki tekboynuzlardan oluşan boş küme”, günlük dilde farklı bağlamlar çağrıştırsa da saf küme kuramında aynı ∅ nesnesine işaret eder.
Boş küme ayrıca matematiksel inşanın başlangıç taşıdır. Doğal sayılar, küme kuramında boş kümeden başlayarak kurulabilir. Sıfır ∅ ile temsil edilir; bir, {∅}; iki, {∅, {∅}} olarak yazılabilir. Böylece sayma fikri, “hiçbir eleman yok” durumundan adım adım yükselir. Bu, yokluğun üretken olabileceğini romantik bir mecaz olarak değil, teknik bir gerçek olarak gösterir: Matematik, ilk tuğlasını boşluktan çıkarabilir.
Paradoks değil, seviye farkı
“Boş küme bir şeyse, içinde kendisi var mı?” sorusu da sıkça gelir. Hayır. ∅ ∈ ∅ ifadesi yanlıştır; çünkü boş kümenin hiçbir elemanı yoktur. Ancak ∅, başka kümelerin elemanı olabilir. Örneğin {∅} kümesinin içindedir. Burada iki ilişkiyi ayırmak gerekir: ∈ işareti “elemanıdır” der, ⊆ işareti ise “alt kümesidir” der. Boş küme, her kümenin alt kümesidir; çünkü sahip olmadığı elemanların o kümede bulunmaması imkânsızdır. Fakat her kümenin elemanı değildir. Matematikte küçük sembol farkları, büyük düşünme farkları yaratır.
Felsefi açıdan boş küme, hiçliğin kendisi değildir; hiçlik hakkında kurulmuş düzenli bir kavramdır. Bir sessizlik kaydı sessizlik değildir, sessizliği kaydeden bir nesnedir. Aynı şekilde ∅ de mutlak yokluk değil, eleman yokluğunu ifade eden matematiksel bir varlıktır. Paradoksun çözümü tam burada saklıdır: Matematik “hiçbir şey”i tutup cebine koymaz. Yalnızca hiçbir elemanı olmayan bir yapıyı tanımlar, onunla işlem yapar ve böylece düşüncenin sınırlarını biraz daha netleştirir.