Σ-cebiri

Matematiğin alt dalı olan analizde ve olasılık kuramında, bir σ-cebiri ("sigma cebiri"; ayrıca σ-cismi olarak da adlandırılır; burada σ harfi Almanca "Summe" kelimesinden gelir) bir X kümesi üzerinde, X in altkümelerinden oluşan ve boş olmayan, , sayılabilir birleşimler ve sayılabilir kesişimler altında bir Σ kümeler kümesidir. ${\displaystyle (X,\Sigma )}$ sıralı ikilisi ölçülebilir uzay olarak adlandırılır.

Altkümelerden oluşan bir σ-cebiri, bir ; bu ikinci türdeki elemanların yalnızca sonlu sayıda altkümenin birleşimi veya kesişimi altında kapalı olması yeterlidir ki bu da daha zayıf bir koşuldur.

σ-cebirlerinin en temel kullanım alanı ölçülerin tanımlanmasındadır; özellikle, belirli bir ölçünün tanımlandığı altkümelerin kümesinin bir σ-cebiri olması gerekliliği vardır. Ölçü kavramı, Lebesgue integralinin temeli olarak analizde ve olasılık kuramında, olasılık atfedilebilen olayların kümesi olarak yorumlandığında önemlidir. Ayrıca olasılıkta, σ-cebirleri koşullu beklenti tanımında da kilit rol oynar.

İstatistikte, (alt) σ-cebirleri biçimsel matematiksel tanımı için gereklidir. Bu gereklilik, bahsedilen istatistik, özellikle bir fonksiyon veya rasgele bir süreç olduğunda ve kavramı uygulanabilir olmadığında ortaya çıkar.

Örnek vermek gerekirse, ${\displaystyle X=\{a,b,c,d\}}$ ise, ${\displaystyle X}$ üzerinde tanımlı olabilecek σ-cebirlerinden biri ${\displaystyle \Sigma =\{\varnothing ,\{a,b\},\{c,d\},\{a,b,c,d\}\}}$ şeklindedir. Burada ${\displaystyle \varnothing }$, boş kümeyi temsil eder. Genel olarak, sonlu bir cebir her zaman bir σ-cebiridir.

Eğer ${\displaystyle \{A_{1},A_{2},A_{3},\ldots \}}$, ${\displaystyle X}$ kümesinin sayılabilir bir ise, bu bölmelemedeki kümelerin tüm birleşimlerinden (boş küme dahil) oluşan küme de bir σ-cebiridir.

Daha anlamlı ve yaygın bir örnek, gerçel sayı doğrusu üzerindeki başlayan, sonra tüm sayılabilir birleşimler, sayılabilir kesişimler ve küme farkları eklenerek (bu işlem üzerinden yapılan ile devam ettirilir) ilgili kapalılık özellikleri sağlanana kadar genişletilen altkümeler kümesidir. Bu yapıya denir.

Motivasyon

σ-cebirleri için en az üç temel motivasyon vardır: ölçülerin tanımlanması, kümelerin limitlerinin işlenmesi ve kümelerle karakterize edilen kısmi bilginin yönetilmesi.

Ölçü

Bir X kümesi üzerinde tanımlı bir ölçü, X'in altkümelerine sıfır ya da pozitif bir gerçel sayı atayan bir fonksiyondur. Ölçü kavramı kümeler için "büyüklük" ya da "hacim" kavramlarının matematiksel dil ve hassasiyet içinde tanımlanması olarak düşünülebilir. Ayrık kümelerin birleşimlerinin ölçüsünün, bu kümelerin ölçülerinin toplamı olmasını istenir ki bu durum ayrık kümeler için sonsuz dizilerde bile geçerli olmalıdır.

X kümesinin her altkümesine bir ölçü atamak istenebilir; ancak, birçok doğal durumda bu mümkün değildir. Örneğin, seçim aksiyomu, gerçel doğru üzerindeki uzunluk kavramı altında bazı kümelere ölçü atamanın mümkün olmadığını söyler. Bu duruma örnek olarak verilebilir. Bu nedenle, bunun yerine X'in ayrıcalıklı bir altküme ailesi olan daha küçük bir küme ailesi dikkate alınır. Bu ailedeki altkümelere ölçülebilir kümeler denir. Ölçülebilir kümeler, doğal olarak şu işlemler altında kapalıdır: bir ölçülebilir kümenin tümleyeni yine ölçülebilir olmalıdır, ve ölçülebilir kümelerin sayılabilir birleşimi de ölçülebilir olmalıdır. Bu özelliklere sahip boş olmayan küme koleksiyonlarına σ-cebiri denir.

Kümelerin limitleri

Ölçü kavramının birçok kullanımında, örneğin olasılıktaki gibi durumlarda, kümelerin dizilerinin limitleri önemlidir. Bu tür limitler için, sayılabilir birleşimler ve kesişimler altında kapalı olma özelliği çok önemlidir. σ-cebirleri üzerinde küme limitleri şu şekilde tanımlanır:

• ${\displaystyle X}$'teki ${\displaystyle A_{1},A_{2},A_{3},\ldots }$ gibi altkümeler dizisi için en küçük üst limit ya da dış limit,

$${\displaystyle \limsup _{n\to \infty }A_{n}=\bigcap _{n=1}^{\infty }\bigcup _{m=n}^{\infty }A_{m}=\bigcap _{n=1}^{\infty }A_{n}\cup A_{n+1}\cup \cdots .}$$ Bu limit, bu kümelerin sonsuz tanesinde yer alan (ya da eşdeğer olarak, bunların bulunan) tüm noktaları içerir. Yani, bir ${\displaystyle x}$ noktası ancak ve ancak ${\displaystyle x\in A_{n_{1}}\cap A_{n_{2}}\cap \cdots }$ olacak şekilde sonsuz bir ${\displaystyle A_{n_{1}},A_{n_{2}},\ldots }$ altdizisi içerisinde yer alıyorsa ${\displaystyle x\in \limsup _{n\to \infty }A_{n}}$ olur.

• Aynı dizi için en büyük alt limit ya da iç limit,

$${\displaystyle \liminf _{n\to \infty }A_{n}=\bigcup _{n=1}^{\infty }\bigcap _{m=n}^{\infty }A_{m}=\bigcup _{n=1}^{\infty }A_{n}\cap A_{n+1}\cap \cdots .}$$ Bu limit, yalnızca sonlu sayıda küme haricindeki tüm kümelerde bulunan (veya eşdeğer şekilde, sonlu bir aşamadan itibaren tüm kümelerde yer alan) noktaları içerir. Yani ${\displaystyle x\in \liminf _{n\to \infty }A_{n}}$ ancak ve ancak ${\displaystyle x\in A_{N}\cap A_{N+1}\cap \cdots }$ olacak şekilde bir ${\displaystyle N\in \mathbb {N} }$ bulunuyorsa geçerlidir.

Her zaman, $${\displaystyle \liminf _{n\to \infty }A_{n}~\subseteq ~\limsup _{n\to \infty }A_{n}}$$ olur. Eğer bu iki limit eşitse, bu ortak kümeye ${\displaystyle \lim _{n\to \infty }A_{n}}$ limiti denir ve $${\displaystyle \lim _{n\to \infty }A_{n}:=\liminf _{n\to \infty }A_{n}=\limsup _{n\to \infty }A_{n}}$$ olur.

Alt σ-cebirler

Olasılığın birçok kısmında, özellikle koşullu beklenti söz konusu olduğunda, gözlemlenebilecek tüm bilgilerin yalnızca bir kısmını temsil eden kümeler dikkate alınır. Bu kısmi bilgi, asıl σ-cebirin bir altkümesi olan daha küçük bir σ-cebiri ile tanımlanabilir; bu alt σ-cebiri yalnızca kısmi bilgiye göre belirlenebilen kümelerden oluşur. Biçimsel olarak, ${\displaystyle \Sigma }$ ve ${\displaystyle \Sigma '}$ kümesi X üzerinde tanımlı σ-cebirler olsun. Eğer ${\displaystyle \Sigma '\subseteq \Sigma }$ ise, ${\displaystyle \Sigma '}$ kümesi ${\displaystyle \Sigma }$'nin bir alt σ-cebiridir.

Bu fikri açıklamak basit örnekler yararlı olacaktır:

İki kişinin yazı-tura atarak oynadığı ve sonsuza dek sürebilecek bir oyun oynadığını hayal edelim. Her iki oyuncunun da sonsuz zengin olduğu varsayımı altında oyuna süresiz bir şekilde devam edilebilir. Bu durumda, örneklem uzayı Ω, sonsuz sayıda yazı-tura sonucunu temsil eden dizilerden oluşur: $${\displaystyle \Omega =\{H,T\}^{\infty }=\{(x_{1},x_{2},x_{3},\dots ):x_{i}\in \{H,T\},i\geq 1\}.}$$

İlk n atıştan sonra gözlemlenen bilgi, ilk n yazı-tura sonucunu açıklayan ${\displaystyle 2^{n}}$ olasılıktan biridir. Bu bilgi aşağıdaki alt σ-cebiriyle temsil edilir: $${\displaystyle {\mathcal {G}}_{n}=\{A\times \{H,T\}^{\infty }:A\subseteq \{H,T\}^{n}\}}$$

Bu yapı ilk n yazı-tura atışını sabitlemektedir ama kalan sonuçlara dair herhangi bir bilgi içermemektedir. Bu durumda, $${\displaystyle {\mathcal {G}}_{1}\subseteq {\mathcal {G}}_{2}\subseteq {\mathcal {G}}_{3}\subseteq \cdots \subseteq {\mathcal {G}}_{\infty }}$$ şeklinde bir artan σ-cebiri dizisi elde edilir; burada ${\displaystyle {\mathcal {G}}_{\infty }}$, diğerlerinin tümünü içeren en küçük σ-cebiridir.

Tanım ve özellikler

Tanım

Bir X kümesi verilsin ve ${\displaystyle P(X)}$ ifadesi X'in , yani Xin tüm altkümelerinin kümesini göstersin. O hâlde, ${\displaystyle \Sigma \subseteq P(X)}$ alt kümesi ancak ve ancak aşağıdaki üç özelliği sağlıyorsa bir σ-cebiri olarak adlandırılır:

1. ${\displaystyle X\in \Sigma }$ olmalıdır.
2. ${\displaystyle \Sigma }$, tümleyene göre kapalıdır: Eğer ${\displaystyle A\in \Sigma }$ ise, ${\displaystyle X\setminus A}$ da ${\displaystyle \Sigma }$ içindedir.
3. ${\displaystyle \Sigma }$, sayılabilir birleşimlere göre kapalıdır: Eğer ${\displaystyle A_{1},A_{2},A_{3},\ldots \in \Sigma }$ ise, o hâlde ${\displaystyle A=A_{1}\cup A_{2}\cup A_{3}\cup \cdots }$ da ${\displaystyle \Sigma }$ içindedir.

Bu özelliklerden, σ-cebirinin aynı zamanda sayılabilir kesişimlere göre de kapalı olduğu sonucu çıkar ki bu durum De Morgan yasası yardımıyla gösterilebilir.

Ayrıca, ${\displaystyle X\in \Sigma }$ olduğu için ve (2) numaralı özelliğe göre tümleyeni olan boş küme ${\displaystyle \varnothing }$ da ${\displaystyle \Sigma }$ içindedir. Dahası, ${\displaystyle \{X,\varnothing \}}$ kümesi bu üç koşulu da sağladığı için ${\displaystyle X}$ kümesi üzerindeki en küçük σ-cebiridir. Öte yandan, ${\displaystyle P(X)}$ yani kuvvet kümesi, en büyük σ-cebiridir.

Bir σ-cebirin elemanları ölçülebilir kümeler olarak adlandırılır. ${\displaystyle X}$ bir küme ve ${\displaystyle \Sigma }$ onun üzerinde bir σ-cebiri olmak üzere, sıralı ikili ${\displaystyle (X,\Sigma )}$ bir ölçülebilir uzay olarak adlandırılır. İki ölçülebilir uzay arasında tanımlı bir fonksiyon alındığında, eğer görüntü kümesindeki her ölçülebilir kümenin de ölçülebilir ise, bu fonksiyon, ölçülebilir fonksiyon olarak adlandırılır. Ölçülebilir uzayların oluşturduğu aile, bir kategori oluşturur; burada ölçülebilir fonksiyonlar . Ölçüler ise bir σ-cebirinden ${\displaystyle [0,\infty ]}$ aralığına tanımlanan belirli türde fonksiyonlardır.

Bir σ-cebiri hem bir hem de bir (veya λ-sistemi). Tersi de yine 'ne göre doğrudur.

Dynkin π-λ teoremi

Bu teorem (ya da ilişkili olan ) belirli σ-cebirlerinin özelliklerine dair birçok sonucun ispatında kullanılan temel bir araçtır. Bu teorem, iki daha basit küme sınıfının doğasını kullanır:

• Bir ${\displaystyle P}$, sonlu sayıda kümenin kesişimi altında kapalı olan altkümeler kümesidir.
• Bir (ya da λ-sistemi) ${\displaystyle D}$, ${\displaystyle X}$ kümesini içeren ve göre ve ayrık altkümelerin sayılabilir birleşimleri altında kapalı olan altkümeler kümesidir.

Dynkin π-λ teoremi ise şunu ifade eder: eğer ${\displaystyle P}$ bir π-sistemi ve ${\displaystyle D}$ bir Dynkin sistemi olup ${\displaystyle P\subseteq D}$ ise, ${\displaystyle P}$ tarafından σ-cebiri ${\displaystyle \sigma (P)}$, ${\displaystyle D}$ kümesinin alt kümesidir: $${\displaystyle \sigma (P)\subseteq D.}$$

Bazı π-sistemleri oldukça basit küme sınıflarından oluştuğu için, ${\displaystyle P}$ içindeki tüm kümelerin istenilen özelliğe sahip olduğunu göstermek zor olmayabilir. Öte yandan, bu özelliğe sahip tüm kümelerden oluşan ${\displaystyle D}$ kümesinin bir Dynkin sistemi olduğunu göstermek de nispeten kolay olabilir. Bu durumda, Dynkin π-λ teoremi, ${\displaystyle \sigma (P)}$ içindeki tüm kümelerin de bu özelliğe sahip olduğunu garanti eder ve böylece ${\displaystyle \sigma (P)}$ içindeki tüm kümeleri ayrı ayrı kontrol etme gereğini ortadan kaldırır.

Bu teoremin en temel kullanım alanlarından biri, ayrı ayrı tanımlanmış ölçülerin veya integrallerin eşdeğerliğini göstermektir. Örneğin, bu teorem rasgele bir değişken ${\displaystyle X}$ için tanımlanan bir olasılığın, ile ifade edilen karşılığına eşitliğini göstermek için kullanılır: ${\displaystyle A}$ ${\displaystyle \mathbb {R} }$ üzerindeki Borel σ-cebirine ait olmak üzere, her ${\displaystyle A}$ için $${\displaystyle \mathbb {P} (X\in A)=\int _{A}F(dx).}$$ Burada ${\displaystyle F(x)}$, ${\displaystyle X}$ için tanımlanmış kümülatif dağılım fonksiyonudur ve ${\displaystyle \mathbb {P} }$ bir olup, ${\displaystyle \Omega }$ örneklem uzayının alt kümelerinden oluşan bir σ-cebiri ${\displaystyle \Sigma }$ üzerinde tanımlıdır.

σ-cebirlerinin birleştirilmesi

Varsayalım ki ${\displaystyle \left\{\Sigma _{\alpha }:\alpha \in {\mathcal {A}}\right\}}$, bir ${\displaystyle X}$ uzayı üzerinde tanımlı σ-cebirlerinden oluşan bir aile olsun.

Kesişim Bir σ-cebiri ailesinin kesişimi yine bir σ-cebiridir. Bu özellik vurgulanmak istendiğinde, şu şekilde gösterilir: $${\displaystyle \bigwedge _{\alpha \in {\mathcal {A}}}\Sigma _{\alpha }.}$$

İspat taslağı: ${\displaystyle \Sigma ^{*}}$ ile bu kesişimi gösterelim. Her ${\displaystyle \Sigma _{\alpha }}$ σ-cebiri olduğu için ${\displaystyle X\in \Sigma ^{*}}$ olur; yani ${\displaystyle \Sigma ^{*}}$ boş değildir. Her ${\displaystyle \Sigma _{\alpha }}$ tümleyene ve sayılabilir birleşimlere göre kapalı olduğu için, bu özellikler ${\displaystyle \Sigma ^{*}}$ için de geçerlidir. Dolayısıyla ${\displaystyle \Sigma ^{*}}$ bir σ-cebiridir.

Birleşim σ-cebirlerinin birleşimi genel olarak ne bir σ-cebiridir ne de bir cebirdir; ancak bu birleşim, bir σ-cebiri . Bu σ-cebire birleştirme (join) denir ve genellikle şöyle gösterilir: $${\displaystyle \bigvee _{\alpha \in {\mathcal {A}}}\Sigma _{\alpha }=\sigma \left(\bigcup _{\alpha \in {\mathcal {A}}}\Sigma _{\alpha }\right).}$$

Bu birleştirmeyi üreten bir şu şekilde ifade edilir: $${\displaystyle {\mathcal {P}}=\left\{\bigcap _{i=1}^{n}A_{i}:A_{i}\in \Sigma _{\alpha _{i}},\ \alpha _{i}\in {\mathcal {A}},\ n\geq 1\right\}.}$$

İspat taslağı: ${\displaystyle n=1}$ durumu için her ${\displaystyle \Sigma _{\alpha }\subset {\mathcal {P}}}$ olur, dolayısıyla: $${\displaystyle \bigcup _{\alpha \in {\mathcal {A}}}\Sigma _{\alpha }\subseteq {\mathcal {P}}.}$$

Bu durumdan: $${\displaystyle \sigma \left(\bigcup _{\alpha \in {\mathcal {A}}}\Sigma _{\alpha }\right)\subseteq \sigma ({\mathcal {P}})}$$ sonucu elde edilir, çünkü ${\displaystyle \sigma (\cdot )}$ ifadesi bir altküme ailesi tarafından oluşturulan en küçük σ-cebirini ifade eder.

Öte yandan, $${\displaystyle {\mathcal {P}}\subseteq \sigma \left(\bigcup _{\alpha \in {\mathcal {A}}}\Sigma _{\alpha }\right)}$$ olduğundan, uyarınca şu sonuç elde edilir: $${\displaystyle \sigma ({\mathcal {P}})\subseteq \sigma \left(\bigcup _{\alpha \in {\mathcal {A}}}\Sigma _{\alpha }\right).}$$

Alt uzaylar için σ-cebirleri

${\displaystyle (X,\Sigma )}$ bir ölçülebilir uzay ve ${\displaystyle Y}$, ${\displaystyle X}$ kümesinin bir altkümesi olsun.

• ${\displaystyle \{Y\cap B:B\in \Sigma \}}$ ailesi, ${\displaystyle Y}$ kümesinin altkümelerinden oluşan bir σ-cebiridir.
• ${\displaystyle (Y,\Lambda )}$ ölçülebilir bir uzay olmak üzere, ${\displaystyle \{A\subseteq X:A\cap Y\in \Lambda \}}$ ailesi, ${\displaystyle X}$ kümesinin altkümelerinden oluşan bir σ-cebiridir.

σ-halka ile ilişkisi

Bir σ-cebiri ${\displaystyle \Sigma }$, evrensel küme olan ${\displaystyle X}$ kümesini içeren bir .

Her σ-cebiri aynı zamanda bir σ-halkadır; ancak her σ-halka bir σ-cebiri olmak zorunda değildir. Örneğin, gerçel doğru üzerindeki sıfır sahip tüm ölçülebilir kümeler bir σ-halka oluşturur, fakat bu kümeler gerçel doğrunun tamamını kapsayamayacağı için bir σ-cebiri oluşturmazlar; çünkü, gerçel doğrunun ölçüsü sonsuzdur ve bu kümelerin sayılabilir birleşimiyle elde edilemez.

Buna karşılık, sonlu ölçüye sahip Lebesgue ölçülebilir kümelerin oluşturduğu aile bir , fakat bir σ-halka değildir; çünkü, bu kümelerin sayılabilir birleşimi gerçel doğruyu verebilir. Ancak, toplam ölçü sonlu olmayabilir.

Tipografik not

σ-cebirleri, bazen büyük harflerle veya gösterilir. Bu nedenle ${\displaystyle (X,\Sigma )}$ ifadesi ${\displaystyle \scriptstyle (X,\,{\mathcal {F}})}$ ya da ${\displaystyle \scriptstyle (X,\,{\mathfrak {F}})}$ biçimlerinde de yazılabilir.

Önemli durumlar ve örnekler

Ayrılabilir σ-cebirler

Bir ayrılabilir σ-cebiri (ya da ayrılabilir σ-cismi), özelliği taşıyan ve sonlu bir ${\displaystyle \mu }$ ölçüsü ile birlikte, her ${\displaystyle A,B\in {\mathcal {F}}}$ için ${\displaystyle \rho (A,B)=\mu (A{\mathbin {\triangle }}B)}$ özelliğini sağlayan bir ${\displaystyle \rho }$ metriğine sahip bir metrik uzay olarak düşünüldüğünde elde edilen bir σ-cebiridir.

Sayılabilir bir küme ailesi tarafından oluşturulan her σ-cebiri ayrılabilirdir; ancak bunun tersi doğru olmayabilir. Örneğin, ayrılabilirdir (çünkü her Lebesgue ölçülebilir küme bir ile ölçü bakımından eşdeğerdir), fakat sayılabilir olarak üretilemez (çünkü kardinalitesi süreyden büyüktür).

Ayrılabilir bir ölçü uzayı, onu yapan doğal bir yapısına sahiptir. Bu durumda iki küme arasındaki uzaklık, bu kümelerin simetrik farkının ölçüsüne eşittir. Ancak simetrik farkın ölçüsü sıfır olan farklı kümeler olabileceğinden, bu uzaklık bir gerçek metrik oluşturmaz. Bununla birlikte, ölçüsü sıfır olan farklara sahip kümeleri bir olarak tanımlarsak, oluşan üzerinde gerçek bir metrik tanımlanabilir. Eğer ölçü uzayı ayrılabilirse, elde edilen metrik uzayın da ayrılabilir olduğu gösterilebilir.

Basit küme temelli örnekler

Herhangi bir ${\displaystyle X}$ kümesi için aşağıdaki σ-cebiri örnekleri verilebilir:

• Yalnızca boş küme ve ${\displaystyle X}$ kümesini içeren aile, ${\displaystyle X}$ üzerindeki en küçük (aşikar) σ-cebiridir: ${\displaystyle \{\varnothing ,X\}}$.
• ${\displaystyle X}$ kümesinin , yani tüm altkümelerinin kümesi, ayrık σ-cebiri (ya da tam σ-cebiri) olarak adlandırılır.
• ${\displaystyle \{\varnothing ,A,X\setminus A,X\}}$ ailesi, ${\displaystyle A}$ altkümesinin oluşturduğu basit bir σ-cebiridir.
• ${\displaystyle X}$ kümesinin olduğu varsayılırsa, ${\displaystyle X}$’in sayılabilir olan (ya da tümleyeni sayılabilir olan) tüm altkümelerinden oluşan küme bir σ-cebiridir. Bu σ-cebiri, ${\displaystyle X}$’in elemanlarının oluşturduğu σ-cebiridir. "Sayılabilir" kavramı burada sonlu ya da boş kümeleri de içermektedir.
• ${\displaystyle X}$’in sayılabilir bir verilmişse, bu bölmeyi oluşturan kümelerin tüm birleşimlerinden (boş küme dahil) oluşan küme bir σ-cebiridir.

Durdurma zamanı σ-cebirleri

Bir ${\displaystyle \tau }$ , durdurma zamanı σ-cebiri olan ${\displaystyle {\mathcal {F}}_{\tau }}$'yı tanımlamak için kullanılabilir.

Bu σ-cebiri, bir süzgeç yapısına sahip olasılık uzayında, rasgele bir zaman ${\displaystyle \tau }$'ya kadar elde edilebilecek bilgiyi ifade eder. Yani, bu yapı şöyle yorumlanabilir: Eğer süzgeçli olasılık uzayı bir rasgele deneme olarak düşünülürse, bu deneme ${\displaystyle \tau }$ zamanına kadar sınırsız sayıda tekrarlandığında öğrenilebilecek maksimum bilgi ${\displaystyle {\mathcal {F}}_{\tau }}$ ile temsil edilir.

Küme aileleri tarafından oluşturulan σ-cebirleri

Herhangi bir küme ailesi tarafından oluşturulan σ-cebiri

${\displaystyle F}$ herhangi bir altküme ailesi (bir ) olsun, yani ${\displaystyle F\subseteq P(X)}$. O hâlde, ${\displaystyle F}$'yi içeren tüm σ-cebirlerinin kesişimi, ${\displaystyle F}$'yi içeren en küçük σ-cebirini verir. Bu σ-cebire ${\displaystyle \sigma (F)}$ denir ve ${\displaystyle F}$ tarafından oluşturulan σ-cebiri olarak adlandırılır.

Eğer ${\displaystyle F}$ boş küme ise, ${\displaystyle \sigma (\varnothing )=\{\varnothing ,X\}}$ olur. Boş olmayan durumlarda, ${\displaystyle \sigma (F)}$ ${\displaystyle F}$’deki kümelerden başlayarak, sayılabilir sayıda , birleşim ve kesişim işlemleriyle elde edilebilen tüm kümeleri içerir.

Basit bir örnek olarak, ${\displaystyle X=\{1,2,3\}}$ kümesi üzerinde yalnızca ${\displaystyle \{1\}}$ kümesini içeren bir aile ele alalım. Bu durumda:

${\displaystyle \sigma (\{1\})=\{\varnothing ,\{1\},\{2,3\},\{1,2,3\}\}}$ olur.

açısından, yalnızca bir kümeden oluşan ${\displaystyle F=\{A\}}$ için ${\displaystyle \sigma (A)}$ ifadesi, ${\displaystyle \sigma (\{A\})}$ yerine kullanılabilir. Aynı şekilde, ${\displaystyle \sigma \left(A_{1},A_{2},\ldots \right)}$ yazımı da ${\displaystyle \sigma \left(\{A_{1},A_{2},\ldots \}\right)}$ anlamında sıkça kullanılır.

Kullanışlı birçok σ-cebiri, farklı kümeler ailelerinden oluşturulur. Bazı yaygın örnekler aşağıda verilmiştir.

Bir fonksiyon tarafından oluşturulan σ-cebiri

Eğer ${\displaystyle f}$, ${\displaystyle X}$ kümesinden ${\displaystyle Y}$ kümesine tanımlı bir fonksiyon ve ${\displaystyle B}$, ${\displaystyle Y}$ kümesi üzerinde tanımlı bir σ-cebiri ise, o zaman ${\displaystyle f}$ fonksiyonu tarafından oluşturulan σ-cebiri şöyle tanımlanır:

$${\displaystyle \sigma (f)=\left\{f^{-1}(S):S\in B\right\}.}$$

Yani ${\displaystyle \sigma (f)}$, ${\displaystyle B}$’deki tüm kümelerin olşan kümedir. Bu yapı, ${\displaystyle X}$ kümesi üzerinde bir σ-cebiridir.

Bir ${\displaystyle f}$ fonksiyonu, ${\displaystyle (X,\Sigma )}$ ile ${\displaystyle (Y,B)}$ arasında tanımlanmışsa ve ${\displaystyle \sigma (f)\subseteq \Sigma }$ ise, o zaman ${\displaystyle f}$ fonksiyonu ölçülebilir fonksiyon olarak adlandırılır.

En sık karşılaşılan durum, ${\displaystyle Y}$ kümesinin bir metrik uzay veya topolojik uzay olduğu ve ${\displaystyle B}$’nin ${\displaystyle Y}$ üzerindeki olduğu durumlardır.

Özellikle ${\displaystyle f}$ fonksiyonu ${\displaystyle X\to \mathbb {R} ^{n}}$ biçimindeyse, ${\displaystyle \sigma (f)}$ genellikle ${\displaystyle \mathbb {R} ^{n}}$ içindeki aralık ya da kutuların ters görüntülerinden türetilen σ-cebiridir:

$${\displaystyle \sigma (f)=\sigma \left(\left\{f^{-1}([a_{1},b_{1}]\times \cdots \times [a_{n},b_{n}]):a_{i},b_{i}\in \mathbb {R} \right\}\right).}$$

Yararlı bir özellik ise şöyledir: Varsayalım ${\displaystyle f}$, ${\displaystyle (X,\Sigma _{X})}$’den ${\displaystyle (S,\Sigma _{S})}$’ye ölçülebilir bir fonksiyon ve ${\displaystyle g}$ de ${\displaystyle (X,\Sigma _{X})}$’den ${\displaystyle (T,\Sigma _{T})}$’ye ölçülebilir bir fonksiyon olsun. Eğer ${\displaystyle f(x)=h(g(x))}$ olacak şekilde, ${\displaystyle h}$ adında ${\displaystyle (T,\Sigma _{T})\to (S,\Sigma _{S})}$ biçiminde bir ölçülebilir fonksiyon varsa, o zaman, ${\displaystyle \sigma (f)\subseteq \sigma (g)}$ olur. Ayrıca, ${\displaystyle S}$ kümesi sonlu ya da sayılabilir ise veya daha genel olarak bir ise (örneğin, ayrılabilir ve tam bir metrik uzay), bu durumda tersi ifade de geçerlidir.

Standart örnekler arasında şunlar vardır:

• ${\displaystyle \mathbb {R} ^{n}}$ üzerindeki Borel σ-cebiri
• ${\displaystyle \mathbb {R} ^{\infty }}$ üzerindeki silindir σ-cebiri (aşağıda tanımlanmıştır)

Borel ve Lebesgue σ-cebirleri

Önemli bir örnek, herhangi bir topolojik uzay üzerindeki Borel cebiridir: Bu, açık kümeler (ya da eşdeğer biçimde kapalı kümeler) tarafından oluşturulan σ-cebiridir. Bu σ-cebir, genellikle topolojik uzayın değildir. Aşikar olmayan kümelere örnek olarak veya verilebilir.

${\displaystyle \mathbb {R} ^{n}}$ gibi bir Öklid uzayı üzerinde, bir diğer önemli σ-cebiri, tüm oluşturduğu σ-cebiridir. Bu σ-cebir, ${\displaystyle \mathbb {R} ^{n}}$ üzerindeki Borel σ-cebirinden daha fazla küme içerir ve integral kuramı açısından daha uygundur çünkü bir ölçü uzayı sağlar.

Çarpım σ-cebiri

${\displaystyle (X_{1},\Sigma _{1})}$ ve ${\displaystyle (X_{2},\Sigma _{2})}$ iki ölçülebilir uzay olsun. Bu durumda, çarpım uzayı ${\displaystyle X_{1}\times X_{2}}$ üzerindeki σ-cebire çarpım σ-cebiri ya da σ-cebir çarpımı denir ve şu şekilde tanımlanır:

$${\displaystyle \Sigma _{1}\times \Sigma _{2}=\sigma \left(\left\{B_{1}\times B_{2}:B_{1}\in \Sigma _{1},\ B_{2}\in \Sigma _{2}\right\}\right).}$$

Buradaki ${\displaystyle \{B_{1}\times B_{2}:B_{1}\in \Sigma _{1},\ B_{2}\in \Sigma _{2}\}}$ koleksiyonu bir , dolayısıyla bu kümelerden oluşturulan σ-cebir en küçük σ-cebiri olur.

${\displaystyle \mathbb {R} ^{n}}$ üzerindeki aşağıdaki şekillerde üretilebilir:

$${\displaystyle {\mathcal {B}}(\mathbb {R} ^{n})=\sigma \left(\left\{(-\infty ,b_{1}]\times \cdots \times (-\infty ,b_{n}]:b_{i}\in \mathbb {R} \right\}\right)=\sigma \left(\left\{\left(a_{1},b_{1}\right]\times \cdots \times \left(a_{n},b_{n}\right]:a_{i},b_{i}\in \mathbb {R} \right\}\right).}$$

Her iki durumda da, kullanılan üreteç kümeler ailesi bir π-sistemidir.

Silindir kümeleri tarafından oluşturulan σ-cebiri

Varsayalım ki $${\displaystyle X\subseteq \mathbb {R} ^{\mathbb {T} }=\{f:f(t)\in \mathbb {R} ,\ t\in \mathbb {T} \}}$$ şeklinde, gerçel değerli fonksiyonlardan oluşan bir küme olsun. ${\displaystyle {\mathcal {B}}(\mathbb {R} )}$ ise gerçel sayılar üzerindeki göstersin. X'in bir silindir kümesi, yalnızca sonlu sayıda zaman noktasında kısıtlanan kümeler olarak tanımlanır:

$${\displaystyle C_{t_{1},\dots ,t_{n}}(B_{1},\dots ,B_{n})=\left\{f\in X:f(t_{i})\in B_{i},\ 1\leq i\leq n\right\}.}$$

Her $${\displaystyle \left\{C_{t_{1},\dots ,t_{n}}(B_{1},\dots ,B_{n}):B_{i}\in {\mathcal {B}}(\mathbb {R} ),\ 1\leq i\leq n\right\}}$$ küme ailesi, ${\displaystyle t_{1},\dots ,t_{n}}$ noktaları sabitlenmiş olmak üzere bir π-sistemi oluşturur ve bunun ürettiği σ-cebir şöyle gösterilir: ${\displaystyle \Sigma _{t_{1},\dots ,t_{n}}.}$

Daha sonra, bu π-sistemlerinin tüm zaman indeksleri ${\displaystyle t_{i}\in \mathbb {T} }$ üzerinden alınarak oluşturduğu $${\displaystyle {\mathcal {F}}_{X}=\bigcup _{n=1}^{\infty }\bigcup _{t_{i}\in \mathbb {T} ,i\leq n}\Sigma _{t_{1},\dots ,t_{n}}}$$ ailesi bir oluşturur ve bu cebirin oluşturduğu σ-cebir, ${\displaystyle X}$ kümesi üzerindeki silindir σ-cebiri olarak adlandırılır.

Bu σ-cebir, ${\displaystyle \mathbb {R} ^{\mathbb {T} }}$ üzerindeki tarafından belirlenen Borel σ-cebirinin bir altcebiridir.

Önemli bir özel durum, ${\displaystyle \mathbb {T} =\mathbb {N} }$ (doğal sayılar) olduğunda, yani ${\displaystyle X}$ gerçel değerli diziler kümesi olduğunda ortaya çıkar. Bu durumda, silindir kümeleri aşağıdaki biçimi alır:

$${\displaystyle C_{n}(B_{1},\dots ,B_{n})=\left(B_{1}\times \cdots \times B_{n}\times \mathbb {R} ^{\infty }\right)\cap X=\left\{(x_{1},x_{2},\ldots )\in X:x_{i}\in B_{i},\ 1\leq i\leq n\right\}}$$ Bunların oluşturduğu σ-cebir ise $${\displaystyle \Sigma _{n}=\sigma \left(\left\{C_{n}(B_{1},\dots ,B_{n}):B_{i}\in {\mathcal {B}}(\mathbb {R} ),\ 1\leq i\leq n\right\}\right)}$$ şeklindedir ve bu σ-cebirler azalmayan bir dizi oluşturur.

Yuvar σ-cebiri

Yuvar σ-cebiri, bir metrik uzayda tüm açık (veya kapalı) içeren en küçük σ-cebiridir. Bu σ-cebir, hiçbir zaman daha büyük değildir.

Not edilmelidir ki ayrılabilir uzaylar için Borel σ-cebiri ile yuvar σ-cebiri aynıdır. Ancak, bazı , bazı fonksiyonlar Borel ölçülebilir değildir ama yuvar σ-cebirine göre ölçülebilirdir. Bu durum, özellikle böyle uzaylarda tanımlı fonksiyonların analizi için yuvar σ-cebirinin kullanılmasını değerli kılar.

Bir rasgele değişken veya vektör tarafından oluşturulan σ-cebiri

Varsayalım ki ${\displaystyle (\Omega ,\Sigma ,\mathbb {P} )}$ bir olasılık uzayı olsun.

Eğer ${\displaystyle Y:\Omega \to \mathbb {R} ^{n}}$ fonksiyonu, ${\displaystyle \mathbb {R} ^{n}}$ üzerindeki göre ölçülebilir bir fonksiyon ise, ${\displaystyle Y}$ bir rasgele değişken (n = 1 için) ya da rasgele vektör (n > 1 için) olarak adlandırılır.

Bu durumda, ${\displaystyle Y}$ tarafından oluşturulan σ-cebiri şudur:

$${\displaystyle \sigma (Y)=\left\{Y^{-1}(A):A\in {\mathcal {B}}(\mathbb {R} ^{n})\right\}.}$$

Bir rasgele süreç tarafından oluşturulan σ-cebiri

Varsayalım ki ${\displaystyle (\Omega ,\Sigma ,\mathbb {P} )}$ bir olasılık uzayı ve ${\displaystyle \mathbb {R} ^{\mathbb {T} }}$ gerçel değerli fonksiyonların oluşturduğu küme olsun.

Eğer ${\displaystyle Y:\Omega \to X\subseteq \mathbb {R} ^{\mathbb {T} }}$ fonksiyonu, ${\displaystyle X}$ kümesi üzerindeki ${\displaystyle \sigma ({\mathcal {F}}_{X})}$’ye göre ölçülebilir ise, o zaman ${\displaystyle Y}$ bir rasgele süreç ya da stokastik süreç olarak adlandırılır.

Bu durumda, ${\displaystyle Y}$ tarafından oluşturulan σ-cebiri şu şekilde tanımlanır:

$${\displaystyle \sigma (Y)=\left\{Y^{-1}(A):A\in \sigma ({\mathcal {F}}_{X})\right\}=\sigma \left(\left\{Y^{-1}(A):A\in {\mathcal {F}}_{X}\right\}\right).}$$

Ayrıca bakınız

• Ölçülebilir fonksiyon
• Örneklem uzayı

Kaynakça

1. ^ Elstrodt, J. (2018). Maß- Und Integrationstheorie. Springer Spektrum Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-57939-8
2. ^ "11. Ölçülebilir Uzaylar". Random: Probability, Mathematical Statistics, Stochastic Processes. University of Alabama in Huntsville, Department of Mathematical Sciences. 30 Ocak 2022 tarihinde kaynağından arşivlendi. Erişim tarihi: 30 Mart 2016. Bir σ-cebiri aynı zamanda bir cebirdir, dolayısıyla cebirler için geçerli temel sonuçlar burada da geçerlidir. 
3. ^ (2012). Probability and Measure. Anniversary. Wiley. ISBN . 
4. ^ (1987). Real & Complex Analysis. McGraw-Hill. ISBN . 
5. ^ Vestrup, Eric M. (2009). The Theory of Measures and Integration. John Wiley & Sons. s. 12. ISBN . 
6. ^ Džamonja, Mirna; (1995). "Properties of the class of measure separable compact spaces" (PDF). Fundamenta Mathematicae. s. 262. 7 Mayıs 2024 tarihinde kaynağından arşivlendi (PDF). Erişim tarihi: 28 Mart 2025. 
7. ^ Fischer, Tom (2013). "On simple representations of stopping times and stopping time sigma-algebras". Statistics and Probability Letters. 83 (1). ss. 345-349. arXiv:1112.1603 $2. doi:10.1016/j.spl.2012.09.024. 
8. ^ (2001). Foundations of Modern Probability. 2nd. . s. 7. ISBN . 
9. ^ van der Vaart, A. W., & Wellner, J. A. (1996). Weak Convergence and Empirical Processes. In Springer Series in Statistics. Springer New York. https://doi.org/10.1007/978-1-4757-2545-2

Dış bağlantılar

• Hazewinkel, Michiel, (Ed.) (2001), "Kümeler Cebiri", Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN  
• Sigma Cebiri – PlanetMath sitesinden.