Metre, cetvel ya da şerit ölçü kullanırken çoğumuz bir nesnenin gerçekten ölçülebilir olup olmadığını sorgulamayız. Eğer uzunluk sonsuz değilse, rahatlıkla bir değere karşılık geleceğini varsayarız. Ancak matematikte bu durum her zaman geçerli değil. Ölçüm problemi, bu varsayımı sarsan en çarpıcı kavramlardan biridir.
Ölçüm problemi, özellikle 19. yüzyılın sonlarında matematikçilerin dikkatini çekmeye başladı. Geometrik şekillerin ölçülmesi uzun süre boyunca bir oda ölçmek kadar doğaldı. Ancak “Neyi, neye göre ölçüyoruz?” sorusu sorulmaya başlandığında işler değişti.
Ölçümün Matematiksel Temelleri
Matematiği sağlam temellere oturtmak isteyenler, kümeler kuramı üzerinden ilerledi. Buna göre, tüm şekiller, sayılar ve yapılar birer kümeden ibaretti. Dolayısıyla ölçmek için önce o kümelere ölçü atamak gerekiyordu.
Örneğin sayı doğrusunda [0,1] aralığı vardır. Bu aralık sonsuz sayıda gerçek sayı içerir ama uzunluğu 1 birim olarak tanımlanır. Bu tanım üç temel ilkeye dayanır:
Boş kümenin ölçüsü sıfırdır.
Yer değiştiren bir nesnenin ölçüsü değişmez.
Birbirini kesmeyen kümelerin toplam ölçüsü, alt kümelerin ölçüsünün toplamıdır.
Bu ilkeler sayesinde bildiğimiz şekiller kadar, hayal etmesi zor soyut kümelere de ölçü atamak mümkündür — ama her zaman değil.
Dirichlet Fonksiyonu ve Ölçüm Sorunu
Karmaşık yapıdaki fonksiyonlar, bu ölçüm prensiplerini zorlayabilir. Dirichlet fonksiyonu, rasyonel sayılar için 1, irrasyonel sayılar için 0 değerini alır. Riemann integraliyle bu tür bir yapının altında kalan alan ölçülemez çünkü düzgün bir alan yoktur.
Bu noktada Henri Lebesgue devreye girer. 1902’de geliştirdiği Lebesgue integrali, alanı farklı şekilde hesaplayarak bu tür dağınık yapıları da ölçebilir hale getirmiştir. Ancak bu da her zaman yeterli değildir.
Vitali Kümesi ve Ölçülemeyen Kümeler
1905 yılında Giuseppe Vitali, bugün Vitali kümesi olarak bilinen bir örnek sundu. Bu küme, [0,1] aralığında seçilen ve aralarındaki farkları rasyonel olan sayıların alt kümelerinden oluşur. Bu kümeyi oluşturan her alt kümeden yalnızca bir sayı seçilerek yeni bir küme oluşturulur. Sonuçta ortaya çıkan bu küme, ölçülemeyen bir yapıya sahiptir.
Bu küme için ölçülememe durumu şu çelişkiden anlaşılır:
Küme [0,1] içinde yer aldığı için ölçüsünün 1’den büyük olması beklenemez.
Ancak aynı yapıdaki kümelerin sayılabilir birleşimi toplamda sonsuz bir ölçü verir.
Bu çelişki şunu gösterir: Vitali kümesi gibi bazı kümeler ölçülemezdir. Onlara hiçbir anlamlı ölçü atamak mümkün değildir.
Günlük Yaşamda Ölçüm Problemiyle Karşılaşır Mıyız?
Bu tür ölçülemeyen kümeler, günlük hayatta ya da fiziksel dünyada karşılaştığımız nesnelerle birebir örtüşmez. Atom altı düzeyde bile nesneler bu kadar ayrıntılı bölünemez. Ancak bu kümeler, matematiksel olarak çok önemlidir. Çünkü ölçüm probleminin varlığı, matematiğin temel yapı taşlarını gözden geçirmemiz gerektiğini gösterir.
Matematiğin belirli aksiyomlarla kurulduğu unutulmamalıdır. Ölçüm probleminin tamamen ortadan kaldırılması ancak bu aksiyomları değiştirerek mümkün olabilir.