Baire seti - Baire set

İçinde matematik, daha spesifik olarak teori ölçmek, Baire setleri oluşturmak σ-cebir bir topolojik uzay bazı patolojik özelliklerinden kaçınan Borel setleri.

Baire kümelerinin birkaç eşitsiz tanımı vardır, ancak en yaygın olarak kullanılan Baire kümeleri yerel olarak kompakt Hausdorff alanı en küçük σ-cebiri oluşturacak şekilde kompakt olarak desteklenen sürekli işlevler ölçülebilir. Böylece, bu σ-cebir üzerinde tanımlanan ölçüler Baire önlemleri, yerel olarak kompakt Hausdorff alanlarına entegrasyon için uygun bir çerçevedir. Özellikle, böyle bir uzay üzerinde kompakt olarak desteklenen herhangi bir sürekli fonksiyon, herhangi bir sonlu Baire ölçüsüne göre entegre edilebilir.

Her Baire seti bir Borel seti. Sohbet, topolojik uzayların hepsinde olmasa da çoğunda tutulur. Baire kümeleri, topoloji için sayılabilir bir temeli olmayan boşluklar üzerinde Borel kümelerinin bazı patolojik özelliklerinden kaçınır. Uygulamada, Baire setlerinde Baire önlemlerinin kullanımı genellikle düzenli Borel setlerinde Borel ölçümleri.

Baire setleri Kunihiko Kodaira tarafından tanıtıldı (1941, Tanım 4), Shizuo Kakutani ve Kunihiko Kodaira (1944 ) ve Halmos (1950, sayfa 220), onlara adını veren Baire fonksiyonları, sonra da adlandırılır René-Louis Baire.

Temel tanımlar

Yerel olarak kompakt Hausdorff uzayları üzerinde Baire kümelerinin en az üç eşitsiz tanımı ve hatta genel topolojik uzaylar için daha fazla tanım vardır, ancak tüm bu tanımlar yerel olarak kompakt σ-kompakt Hausdorff uzayları için eşdeğerdir. Ayrıca, bazı yazarlar, Baire kümelerinin tanımlandığı topolojik uzaya kısıtlamalar ekler ve yalnızca kompakt Hausdorff veya yerel olarak kompakt Hausdorff veya σ-kompakt olan uzaylarda Baire kümelerini tanımlar.

İlk tanım

Kunihiko Kodaira tanımlı [1] Bazı topolojik uzayların Baire kümeleri dediğimiz şey (kafa karıştırıcı bir şekilde "Borel kümeleri" olarak adlandırmasına rağmen), karakteristik işlevi bir Baire işlevi olan kümelerdir (tüm sürekli gerçek değerli işlevleri içeren ve noktasal sekans sınırları altında kapatılan işlevlerin en küçük sınıfı) ).Dudley (1989, Sect. 7.1) eşdeğer bir tanım verir ve bir topolojik uzayın Baire kümelerini, tüm sürekli fonksiyonlar ölçülebilir olacak şekilde en küçük σ-cebirin elemanları olarak tanımlar. Yerel olarak kompakt σ-kompakt Hausdorff uzayları için bu, aşağıdaki tanımlara eşdeğerdir, ancak genel olarak tanımlar eşdeğer değildir.

Tersine, Baire fonksiyonları, tam olarak Baire ölçülebilir olan gerçek değerli fonksiyonlardır. Metrik uzaylar için Baire setleri Borel setleriyle aynıdır.

İkinci tanım

Halmos (1950, sayfa 220) yerel olarak kompakt bir Hausdorff uzayının Baire kümelerini, σ halkası kompakt tarafından üretildi Gδ setleri. Σ halkalarının modası geçtiği için bu tanım artık pek kullanılmamaktadır. Uzay σ-kompakt olduğunda, bu tanım bir sonraki tanıma eşdeğerdir.

Compact ile çalışmanın bir nedeni Gδ kapalı yerine setler Gδ ayarlar, Baire ölçümlerinin daha sonra otomatik olarak düzenli olmasıdır (Halmos 1950 teorem G sayfa 228).

Üçüncü tanım

Üçüncü ve en yaygın olarak kullanılan tanım, Halmos'un tanımına benzer, Baire kümelerinin sadece bir σ halkası yerine bir σ-cebir oluşturması için değiştirildi.

Bir alt kümesi yerel olarak kompakt Hausdorff topolojik uzaya a denir Baire seti en küçüğün üyesiyse σ – cebir hepsini içeren kompakt Gδ setleri. Başka bir deyişle, Baire kümelerinin σ – cebiri, σ – cebiridir oluşturulmuş tamamen kompakt Gδ setleri. Alternatif olarak Baire kümeleri, kompakt desteğin tüm sürekli fonksiyonları ölçülebilir olacak şekilde en küçük σ-cebiri oluşturur (en azından yerel olarak kompakt Hausdorff uzaylarında: genel topolojik uzaylarda bu iki koşulun eşdeğer olması gerekmez).

Σ-kompakt uzaylar için bu, Halmos'un tanımına eşdeğerdir. Σ-kompakt olmayan uzaylar için bu tanım altındaki Baire kümeleri, tümleyicileri ile birlikte Halmos'un tanımı altında olanlardır. Bununla birlikte, bu durumda, sonlu bir Baire ölçümünün zorunlu olarak düzenli olduğu artık doğru değildir: örneğin, sayılamayan bir ayrık uzayın her sayılabilir alt kümesine 0 ölçüsünü atayan ve her birlikte sayılabilir alt kümeye 1 ölçüsü atayan Baire olasılık ölçüsü bir Baire'dir. düzenli olmayan olasılık ölçüsü.

Örnekler

Baire setlerinin farklı tanımları eşdeğer değildir

Σ-kompakt olmayan yerel olarak kompakt Hausdorff topolojik uzayları için yukarıdaki üç tanımın eşdeğer olması gerekmez,

Bir ayrık topolojik uzay yerel olarak kompakt ve Hausdorff. Ayrık bir uzayda tanımlanan herhangi bir fonksiyon süreklidir ve bu nedenle, ilk tanıma göre, ayrık bir uzayın tüm alt kümeleri Baire'dir. Bununla birlikte, ayrık bir uzayın kompakt alt uzayları kesin olarak sonlu alt uzaylar olduğundan, ikinci tanıma göre Baire kümeleri tam olarak en çok sayılabilir kümeler, üçüncü tanıma göre ise Baire kümeleri en çok sayılabilir kümeler ve bunların tamamlayıcılarıdır. Bu nedenle, üç tanım sayılamayan ayrık bir uzayda eşdeğer değildir.

Hausdorff olmayan alanlar için sürekli fonksiyonlar açısından Baire kümelerinin tanımlarının, aşağıdakileri içeren tanımlara eşdeğer olması gerekmez Gδ kompakt kümeler. Örneğin, eğer X kapalı kümeleri sonlu kümeler ve tüm uzay olan sonsuz bir sayılabilir kümedir, bu durumda tek sürekli gerçek fonksiyonlar X sabittir, ancak tüm alt kümeleri X kompakt kapalı tarafından üretilen σ-cebirinde Gδ setleri.

Baire seti olmayan bir Borel seti

Sayılamayacak kadar çok kartezyen ürününde kompakt Hausdorff uzayları birden fazla nokta ile, kapalı olmasına ve dolayısıyla bir Borel kümesi olmasına rağmen, bir nokta asla bir Baire seti değildir.[2]

Özellikleri

Baire setleri Borel setleriyle örtüşüyor Öklid uzayları.

Her kompakt Hausdorff uzayı için, her sonlu Baire ölçüsü (yani, tüm Baire kümelerinin σ-cebiri üzerinde bir ölçü) düzenli.[3]

Her kompakt Hausdorff alanı için, her sonlu Baire ölçümünün normal bir Borelmeasure'a benzersiz bir uzantısı vardır.[4]

Kolmogorov uzatma teoremi sonlu boyutlu olasılık dağılımlarının her tutarlı koleksiyonunun, fonksiyonların uzayında bir Baire ölçümüne yol açtığını belirtir.[5] Kompaktlığı varsayarsak (verilen alanın ve dolayısıyla işlev alanı da ) normal bir Borel ölçüsüne genişletilebilir. Sonra tamamlama biri zorunlu olmayan bir olasılık alanı alır standart.[6]

Notlar

  1. ^ Kodaira 1941, s. 21, Def. 4
  2. ^ Dudley 1989, Teorem 7.1.1'den sonraki örnek
  3. ^ Dudley 1989 Teorem 7.1.5
  4. ^ Dudley 1989 Teorem 7.3.1
  5. ^ Dudley 1989 Teorem 12.1.2
  6. ^ Standartlığı şu şekilde araştırılır:Tsirelson, Boris (1981). "Rastgele bir sürecin doğal bir modifikasyonu ve bunun stokastik fonksiyonel serilere ve Gauss ölçülerine uygulanması". Sovyet Matematik Dergisi. 16 (2): 940–956. doi:10.1007 / BF01676139.CS1 bakimi: ref = harv (bağlantı). Teorem 1 (c) 'ye bakınız.

Referanslar