Banach-Tarski Paradoksu: Bir Portakalı İki Portakal Yapmak

Bir portakal, iki portakal

İddiayı duyduğunuzda gülmeden duramazsınız:

"Bir küre alın. Onu sonlu sayıda parçaya ayırın. Bu parçaları döndürerek ve yer değiştirerek yeniden birleştirin. Sonuçta ortaya orijinal küre ile aynı hacimde iki tane küre çıkacaktır."

Yani bir portakalı parçalayıp iki portakal yapmak. Bu fiziksel olarak imkânsız değil mi? Madde korunmuyor mu?

Şaşırtıcı olan: Matematik bu sonucu kanıtlar. Banach-Tarski paradoksu (1924) modern matematiğin en kafa karıştırıcı sonucudur. Stefan Banach ve Alfred Tarski bunu Polonya matematik dergisinde yayımladığında matematik dünyası şokta kaldı.

"Paradoks" mu, teorem mi?

Aslında bir paradoks değil — teorem. Mantıken hatasız bir matematik sonucu. Şaşırtıcı olan, sezgiyle çelişmesi.

Cebrik formdaki tam ifade:

"Üç boyutlu Öklid uzayında, $S^2$ küresini (veya kapalı bir küre) 5 ayrık alt kümeye $S = A_1 \cup A_2 \cup A_3 \cup A_4 \cup A_5$ ayırabiliriz. Sonra bu alt kümelerin her birini döndürme ve öteleme ile yer değiştirip iki tane kompleks $S'$ ve $S''$ oluşturabiliriz; her ikisi de orijinal $S$ küresine eşit."

Yani küre 5 parçaya ayrılır ve bu parçalar iki kopyaya dönüştürülebilir.

"Madde korunması" niye ihlal edilmiyor?

Çünkü parçalar fiziksel parçalar değil. Bunlar ölçülemez kümeler — yani matematiksel olarak iyi tanımlı ama fiziksel olarak inşa edilemeyen alt kümeler.

Ölçülebilirlik şu demek: bir kümeye anlamlı bir "hacim" atanabilir mi? Sıradan kümeler ölçülebilirdir (bir küp 8 cm³, bir küre $\frac{4}{3}\pi r^3$, vs.). Ama bazı kümeler — Banach-Tarski'nin kullandığı türler — hacim atanamaz. Ne 1 ne 0 — yani "ölçü kavramı tutmaz."

Bu parçaları fiziksel olarak görmek imkânsız. Sonsuza dek küçük noktalardan oluşurlar, hiçbir basit geometrik şekle benzemezler.

Niye "seçim aksiyomu"?

Banach-Tarski paradoksunun kanıtı seçim aksiyomu'na (Axiom of Choice, AC) dayanır. Seçim aksiyomu der ki:

"Boş olmayan kümelerin herhangi bir koleksiyonu için, her kümeden bir eleman seçen bir fonksiyon vardır."

Sonlu koleksiyonlar için bu apaçık (her birinden bir tane al). Ama sonsuz, sayılamaz koleksiyonlar için bu inşa edilebilir bir kural sağlamaz — sadece var olduğunu söyler.

Banach-Tarski parçalarının inşası sayılamaz seçimler yapar. Yani: parçalar var'dır (seçim aksiyomu garanti eder) ama somut olarak tanımlanamaz'lar.

Bu yüzden bazı matematikçiler seçim aksiyomunu reddeder. Onlarsız (örneğin belirleyicilik aksiyomu ile değiştirilerek) Banach-Tarski paradoksu olmaz — ama başka önemli teoremler de kaybedilir.

Bir önceki adım: Hausdorff paradoksu (1914)

Banach-Tarski'den 10 yıl önce, Felix Hausdorff benzer bir sonuç kanıtladı: küre yüzeyi $S^2$ sayılabilir bir alt kümesi hariç ikiye katlanabilir.

Banach ve Tarski Hausdorff'un sonucunu iyileştirip "hatasız" forma getirdi: küre tamamen ikiye katlanabilir.

Sezgi: serbest grup ve "Hilbert oteli" mantığı

Kanıtın özü serbest grup kavramına dayanır. İki rotasyon $a$ ve $b$ alın (uygun açılar seçilirse), bu rotasyonlardan oluşturulan dizi serbest bir grup oluşturur. Bu grubun elemanları kelime olarak temsil edilir: $abba^{-1}b\dots$ gibi.

Bu serbest grup şu özelliği taşır: kendisinin kopyası içerebilir. Hilbert oteli mantığı: sonsuz odalı bir otelde, tüm odalar dolu olsa bile yeni misafir alabilirsiniz (herkes bir sonraki odaya geçer).

Banach-Tarski parçaları benzer mantıkla "yeniden organize" edilir. Grup elemanları yer değiştirir, parçalar uygun şekilde birleştirilir — sonuçta küre kopyalanmış olur.

"Fiziksel" değil "matematiksel" gerçek

Sonuç fiziksel olarak imkânsız:

• Atomik dünya: Bir küre sonlu sayıda atomdan oluşur; ikiye katlanamaz.
• Süreklilik varsayımı: Matematiksel küre süreklidir, fiziksel küre süreksizdir (atom seviyesinde).
• Ölçü kavramı: Fiziksel parçalar her zaman ölçülebilir; teorinin gerektirdiği "ölçülemez parçalar" yoktur.

Yani Banach-Tarski matematiksel modelin garip bir özelliğidir — bir gerçeklik betimlemesi değil.

Pratik etkileri

Paradoks "günlük yaşam" için anlamsız görünebilir; ama matematiksel ve felsefi etkileri büyük:

1) Ölçü teorisi sınırları

Banach-Tarski der ki: Üç boyutlu Lebesgue ölçüsü döndürmeye karşı duyarlıdır. Yani "her küme için anlamlı hacim" tanımı yapamayız — bazı kümeler ölçülemez kalmak zorundadır.

2) Seçim aksiyomu tartışması

20. yüzyıl matematik felsefesinin temel tartışmalarından biri: "seçim aksiyomu kabul edilmeli mi?" Banach-Tarski paradoksu bu aksiyomun "garip" sonuçlarının kanıtıdır. Çoğu matematikçi yine de kabul eder çünkü AC olmadan başka temel teoremler de gider (Tychonoff teoremi, Hahn-Banach, lineer cebrik temel teoremler).

3) Constructive matematik

Banach-Tarski, inşa edilebilir matematiğin (her şey somut olarak tanımlanmalı) seçim aksiyomunu reddetmesinin nedenlerinden biridir.

4) Felsefi sezgi

Matematiğin "fiziksel gerçeklik" olarak nitelenmesi sorunlu. Banach-Tarski, matematiksel teoremlerin modelinin önemini gösterir.

Şaşkınlığı kabul etmek

Banach-Tarski, matematiğin "sezgisel" olduğu inancını sarsar. Sezgiye güvenmek, matematikte güvenilir bir rehber değildir. Resmi sistem (aksiyomlar + mantık) kendi sonuçlarını verir, sezgi ne derse desin.

Bu yüzden bazı matematikçiler paradoksu kötü bir şey olarak görür — "matematik sezgisel olmalı." Diğerleri ise "matematik gerçeği takip eder, sezgi takip etmez" der.

Bir portakal iki portakal olabilir mi? Hayır — eğer fiziksel portakaldan söz ediyorsanız. Evet — eğer matematiksel kümelerden söz ediyorsanız ve seçim aksiyomuna inanıyorsanız.

Bu hem bir teorem hem bir uyarı: matematik şaşırtıcı yerlere gider, ve oraya bizim sezgimizi taşımak zorunda değildir.