Ölçüm Problemi: Neden Bazı Şekillerin "Uzunluğu" ya da "Alanı" Yoktur?

"Uzunluk" Aslında Ne Demek?

Bir cetvelle bir masanın kenarını ölçersiniz: $120$ santimetre. Bir tarlanın alanını, bir havuzun hacmini ölçersiniz. "Ölçmek" o kadar doğal görünür ki, her geometrik nesnenin bir uzunluğu, alanı ya da hacmi olduğunu varsayarız. Ama $20.$ yüzyılın başında matematikçiler şaşırtıcı bir gerçekle yüzleşti: bazı kümelere tutarlı bir "boyut" atamak imkânsızdır.

Önce "iyi bir ölçü"den ne beklediğimizi düşünelim. Sayı doğrusu üzerindeki kümelerin uzunluğunu ölçen bir kuralın şu makul özelliklere sahip olmasını isteriz:

• Bir aralığın uzunluğu, beklediğimiz gibi olmalı: $[0, 1]$ aralığının uzunluğu $1$ olmalı.
• Bir kümeyi kaydırırsanız uzunluğu değişmemeli (bir çubuğu sağa itmek boyunu değiştirmez).
• Ayrık parçaların uzunlukları toplanmalı: iki ayrı parçayı birleştirince, toplam uzunluk parçaların toplamı olmalı.

Bunlar son derece masum istekler. Sorun şu: bu üç kuralı aynı anda, her küme için sağlamak mümkün değildir.

Ölçülemeyen Bir Canavar: Vitali Kümesi

$1905$'te matematikçi Giuseppe Vitali, bu üç kuralı birden ihlal eden bir küme inşa etti. Fikrin sezgisi şudur (tam ayrıntı tekniktir, ama ruhu anlaşılırdır):

Vitali, $[0,1]$ aralığındaki sayıları, birbirine "rasyonel kadar uzak" olanları aynı gruba koyarak sonsuz sayıda gruba böler. Sonra her gruptan tam bir temsilci seçip bir küme oluşturur. İşte bu seçilmiş temsilciler kümesi — Vitali kümesi — tuhaf bir canavardır.

Şimdi bu kümenin kopyalarını, rasyonel sayılar kadar sağa sola kaydırıp yan yana dizdiğinizi düşünün. Bu kaydırılmış kopyalar:

• Birbiriyle hiç örtüşmez (ayrıktırlar),
• Hepsi birleşince tüm $[0,1]$ aralığını (ve biraz fazlasını) kaplar,
• Ve hepsi aynı kümenin sadece kaydırılmış hâli olduğu için, eğer bir uzunlukları olsaydı hepsinin uzunluğu aynı olmalıydı.

İşte çelişki: Sonsuz sayıda, hepsi eşit uzunlukta, ayrık parça topladığınızda toplam ya $0$ olur (eğer her parçanın uzunluğu $0$ ise) ya da sonsuz olur (eğer uzunlukları sıfırdan büyükse). Ama bu parçaların toplamı $[0,1]$ aralığını kapladığına göre, toplam tam olarak $1$ civarında, sonlu ve sıfırdan farklı olmalıydı. Ne $0$ ne sonsuz; hiçbiri olmaz. Demek ki Vitali kümesine tutarlı hiçbir uzunluk atanamaz. O, ölçülemeyen bir kümedir.

Seçim Aksiyomunun Rolü

Burada derin bir ayrıntı var. Vitali'nin "her gruptan bir temsilci seç" adımı, sonsuz sayıda seçimi aynı anda yapmayı gerektirir. Bunu meşru kılan şey, küme teorisinin tartışmalı bir kuralı olan seçim aksiyomudur. Bu aksiyomu kabul etmezseniz, böyle ölçülemeyen kümeler kurulamaz bile. Yani ölçülemeyen kümeler, bir bakıma matematiğin temellerine dair bir tercihin ürünüdür. Aynı aksiyom, ünlü Banach-Tarski paradoksunun — bir küreyi parçalayıp iki küreye dönüştürmenin — da arkasındadır.

Çözüm: Lebesgue Ölçüsü

Peki matematikçiler bu canavarlar yüzünden ölçmekten vazgeçti mi? Hayır — daha akıllıca davrandılar. Henri Lebesgue, modern ölçü kuramını kurarken şunu kabul etti: "her" kümeyi ölçmeye çalışmayalım; bunun yerine çok geniş ama tüm makul kümeleri kapsayan bir sınıf tanımlayalım ve yalnızca onları ölçelim. Bu "ölçülebilir kümeler" sınıfı o kadar geniştir ki, pratikte karşılaştığınız hemen her küme içine girer — yalnızca Vitali kümesi gibi, bilerek inşa edilmiş yapay canavarlar dışarıda kalır. Modern analiz, integral ve olasılık kuramı bu sağlam temel üzerine kurulur.

Ölçüm problemi, matematiğin en sevdiğim derslerinden birini verir: en masum görünen kavramlar bile (uzunluk gibi) yeterince derine inildiğinde sürprizler saklar. "Her şeyin bir boyutu vardır" sezgisi yanlış çıktı; ama matematik bu sınırı keşfedip onun etrafından dolaşmayı öğrenerek daha da güçlendi. Bazen ilerlemenin yolu, neyin imkânsız olduğunu kabul etmekten geçer.