Sigma-Cebirleri ve Ölçüler
Bir sigma-cebiri, hangi kümelerin ölçülebileceğini belirlemekte, bir ölçü ise bu kümelerin her birine tutarlı bir büyüklük atamaktadır; bunlar birlikte, tüm integral teorisinin üzerine inşa edildiği ölçülebilir uzayı oluşturmaktadır.
Tanım
Bir sigma-cebiri, tümleyenler ve sayılabilir birleşimler altında kapalı olan bir alt küme koleksiyonudur; bir ölçü ise bir sigma-cebiri üzerinde sayılabilir toplanabilir, negatif olmayan bir küme fonksiyonudur. Bu ikili, uzunluk, alan, hacim ve olasılık kavramlarını genelleştiren bir ölçü uzayı oluşturmaktadır.
Kapsam
Bu konu; sigma-cebirlerini ve açık kümeler tarafından üretilen Borel sigma-cebirini, ölçülebilir fonksiyonları, sayılabilir toplanabilirlik özelliğine sahip bir ölçünün aksiyomlarını, dış ölçüleri ve Caratheodory yapısını, Lebesgue ölçüsünün inşasını, tamlık ve sıfır kümelerini, ayrıca monoton diziler boyunca ölçülerin sürekliliğini kapsamaktadır.
Temel sorular
- Hangi küme koleksiyonları tutarlı bir büyüklük kavramını destekleyebilir?
- Öklid uzayındaki Lebesgue ölçüsü, bir dış ölçüden nasıl inşa edilmektedir?
- Sayılabilir toplanabilirlik, sonlu toplanabilirliğin sağlayamadığı neyi sağlamaktadır?
- Bir ölçü neden kesinlikle her alt küme üzerinde tanımlanamamaktadır?
Temel kuramlar
- Caratheodory genişletme teoremi
- Bir dış ölçü, ölçülebilir kümelerinin sigma-cebiri üzerinde gerçek bir sayılabilir toplanabilir ölçüye indirgenmektedir; bu, Lebesgue ölçüsünü ve soyut uzaylar üzerindeki ölçüleri daha basit küme fonksiyonlarından üreten yapıdır.
- Ölçülemeyen kümelerin varlığı
- Seçim aksiyomu varsayıldığında, gerçek doğrunun öyle alt kümeleri vardır ki, hiçbir öteleme-değişmez sayılabilir toplanabilir ölçü bunlara bir büyüklük atayamaz; bu nedenle tüm alt kümeler yerine bir sigma-cebirine ihtiyaç duyulmaktadır.
Klinik önem
Ölçü uzayları, olasılık teorisinin biçimsel temelini oluşturmaktadır; burada sigma-cebiri gözlemlenebilir olayları kodlamakta ve ölçü olasılık dağılımını ifade etmektedir. Aynı çerçeve, integrasyonu, istatistik ve finansta rastgeleliğin titiz bir şekilde ele alınmasını ve analizde fonksiyon uzaylarının tanımını desteklemektedir.
Tarihçe
Borel, 1898 civarında aralıklardan oluşturulan kümelerin sigma-cebirini tanıtmıştır. Lebesgue ise 1902'de doğru üzerinde ölçüyü tanımlamıştır. Caratheodory'nin dış ölçü yöntemi, yapıyı soyut uzaylara genelleştirmiş; Vitali'nin 1905 tarihli örneği ise ölçülemeyen bir küme sergilemiştir.
Öne çıkan isimler
- Constantin Caratheodory
- Emile Borel
- Henri Lebesgue
İlgili konular
Temel eserler
- folland1999
- axler2020
Sıkça sorulan sorular
- Neden doğrunun her alt kümesini ölçmüyoruz?
- Seçim aksiyomu kullanılarak, Vitali kümeleri gibi, öteleme değişmezliği ve sayılabilir toplanabilirlik ile tutarlı bir büyüklük atanamayan kümeler inşa edilebilmektedir; bu nedenle ölçüm bir sigma-cebirine kısıtlanmaktadır.
- Sayılabilir toplanabilirliğin rolü nedir?
- Sayılabilir toplanabilirlik, yani sayılabilir ayrık birleşimin ölçüsünün ölçülerin toplamı olması, ölçülerin limitlerle iyi etkileşim kurmasını sağlamakta ve integralin yakınsaklık teoremlerini mümkün kılmaktadır.