View source for Σ- बीजगणित

{{lowercase title}}
{{Short description|Algebric structure of set algebra}}
{{for|संचालन के दिए गए हस्ताक्षर Σ को स्वीकार करने वाली एक बीजगणितीय संरचना|सार्वभौमिक बीजगणित}}
[[गणितीय विश्लेषण]] और संभाव्यता सिद्धांत में, एक सेट (समुच्चय) ''X'' पर σ-बीजगणित (σ-फ़ील्ड) भी पूरक, गणनीय संघों और गणनीय प्रतिच्छेदनों के तहत बंद किए गए ''X'' के [[सबसेट]] का गैर-रिक्त संग्रह Σ है। जोड़ी <math>(X, \Sigma)</math> को मापनीय स्थान कहा जाता है।

σ-बीजगणित सेट बीजगणित का सबसेट है; उत्तरार्द्ध के तत्वों को केवल बहुत से उपसमुच्चयों के संघ या चौराहे के तहत बंद करने की आवश्यकता है, जो कमजोर स्थिति है।<ref>{{cite web|title=Probability, Mathematical Statistics, Stochastic Processes|url=http://www.math.uah.edu/stat/foundations/Measure.html|website=Random|publisher=University of Alabama in Huntsville, Department of Mathematical Sciences|accessdate=30 March 2016}}</ref>

σ-बीजगणित का मुख्य उपयोग उपायों की परिभाषा में है; विशेष रूप से, उन उपसमुच्चयों का संग्रह जिसके लिए एक दिया गया माप परिभाषित किया गया है, अनिवार्य रूप से एक σ-बीजगणित है। यह अवधारणा गणितीय विश्लेषण में लेबेस्ग एकीकरण की नींव के रूप में और संभाव्यता सिद्धांत में महत्वपूर्ण है, जहां इसे उन घटनाओं के संग्रह के रूप में व्याख्या किया जाता है जिन्हें संभावनाएं सौंपी जा सकती हैं। साथ ही, संभाव्यता में, [[सशर्त अपेक्षा]] की परिभाषा में σ-बीजगणित महत्वपूर्ण हैं।

आँकड़ों में, (उप) σ-अलजेब्रस की आवश्यकता पर्याप्त आँकड़ों की औपचारिक गणितीय परिभाषा के लिए होती है,<ref name="sufficiency">{{cite book |last1=Billingsley |first1=Patrick |authorlink=Patrick Billingsley |title=Probability and Measure |date=2012 |publisher=Wiley |isbn=978-1-118-12237-2 |edition=Anniversary}}</ref> विशेषकर जब आँकड़ा कार्य या यादृच्छिक प्रक्रिया है और [[सशर्त संभाव्यता वितरण|सशर्त]] घनत्व की धारणा लागू नहीं होती है।

अगर <math>X = \{a, b, c, d\}</math> संभव σ-बीजगणित पर <math>X</math> है <math>\Sigma = \{\varnothing, \{a, b\}, \{c, d\}, \{a, b, c, d\}\},</math> जहाँ <math>\varnothing</math> [[खाली सेट]] है। सामान्य तौर पर, परिमित बीजगणित हमेशा σ-बीजगणित होता है।

अगर <math>\{A_1, A_2, A_3, \ldots\},</math> के सेट का एक गणनीय विभाजन है <math>X</math> तो विभाजन में सेट के सभी संघों का संग्रह (खाली सेट सहित) σ-बीजगणित है।

अधिक उपयोगी उदाहरण सभी खुले अंतरालों के साथ शुरू करके और सभी गणनीय संघों, गणनीय चौराहों और सापेक्ष पूरक में जोड़कर बनाई गई [[वास्तविक रेखा]] के सबसेट का सेट है और इस प्रक्रिया को जारी रखता है (सभी गणनीय अध्यादेशों के माध्यम से ट्रांसफ़िनिटी पुनरावृत्ति द्वारा) प्रासंगिक बंद होने तक गुण प्राप्त होते हैं (एक निर्माण जिसे [[बोरेल पदानुक्रम]] के रूप में जाना जाता है)।

== प्रेरणा ==
σ-अल्जेब्रस (बीजगणित) के लिए कम से कम तीन प्रमुख प्रेरक हैं: उपायों को परिभाषित करना, सेट की सीमाओं में हेरफेर करना और सेट द्वारा विशेषता आंशिक जानकारी का प्रबंधन करना है।

=== उपाय ===
<math>X</math> पर माप एक ऐसा कार्य है जो <math>X;</math> के उपसमुच्चय को गैर-ऋणात्मक [[वास्तविक संख्या]] निर्दिष्ट करता है; इसे सेट के लिए "आकार" या "वॉल्यूम" की सटीक धारणा बनाने के बारे में सोचा जा सकता है। हम चाहते हैं कि अलग-अलग सेटों के संघ का आकार उनके अलग-अलग आकारों का योग हो, यहां तक कि अलग-अलग सेटों के अनंत अनुक्रम के लिए भी।

कोई <math>X</math> के प्रत्येक सबसेट को आकार देना चाहेगा, लेकिन कई प्राकृतिक पतिस्थिति में, यह संभव नहीं है। उदाहरण के लिए, पसंद के स्वयंसिद्ध का अर्थ है कि जब विचाराधीन आकार वास्तविक रेखा के सबसेट के लिए लंबाई की सामान्य धारणा है, तो ऐसे सेट मौजूद हैं जिनके लिए कोई आकार मौजूद नहीं है, उदाहरण के लिए, [[विटाली सेट]]। इस कारण से, इसके बजाय विशेषाधिकार प्राप्त सबसेट के एक छोटे संग्रह पर विचार किया जाता है <math>X.</math> इन सबसेट को मापने योग्य सेट कहा जाएगा। वे संचालन के तहत बंद हैं जो एक औसत दर्जे के सेट के लिए अपेक्षित होगा, अर्थात, मापने योग्य सेट का पूरक एक औसत दर्जे का सेट है और मापने योग्य सेटों का गणनीय संघ एक औसत दर्जे का सेट है। इन गुणों वाले सेटों के गैर-खाली संग्रह को σ-एलजेब्रा कहा जाता है।

=== सेट की सीमा ===
माप के कई उपयोग, जैसे कि यादृच्छिक चर के अभिसरण की संभाव्यता अवधारणा, में [[सेट-सैद्धांतिक सीमा]] सम्मिलित है। इसके लिए गणनीय यूनियनों और चौराहों के नीचे बंद करना सर्वोपरि है। सेट सीमा को σ-अल्जेब्रा पर निम्नानुसार परिभाषित किया गया है।

* {{em|[[सीमा सर्वोच्च]]}} }} या {{em|बाहरी सीमा}} एक क्रम का <math>A_1, A_2, A_3, \ldots</math> के सबसेट का <math>X</math> है <math display=block>\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.</math>इसमें सभी बिंदु <math>x</math> होते हैं जो इन सेटों में से कई में असीम रूप से होते हैं (या समतुल्य रूप से, जो कि उनमें से बहुत से हैं)। अर्थात्,<math>x \in \limsup_{n\to\infty} A_n</math>अगर और केवल अगर वहाँ एक अनंत अनुवर्ती अस्तित्व मौजूद (जहाँ <math>n_1 < n_2 < \cdots</math>) है <math> A_{n_1}, A_{n_2}, \ldots</math> उन सेटों में जिनमें <math>x;</math> सम्मिलित है; अर्थात्, ऐसा है कि <math>x \in A_{n_1} \cap A_{n_2} \cap \cdots.</math> 
* {{em|[[सीमा न्यूनतम]]}} }} या {{em|आंतरिक सीमा}}  एक क्रम का <math>A_1, A_2, A_3, \ldots</math> के सबसेट का <math>X</math> है <math display=block>\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.</math> इसमें वे सभी बिंदु सम्मिलित हैं जो सभी में हैं लेकिन इनमें से बहुत से सेट हैं (या समतुल्य, जो हैं {{em|eventually}} उन सभी में)। वह है, <math>x \in \liminf_{n\to\infty} A_n</math> अगर और केवल अगर कोई इंडेक्स मौजूद है <math>N \in \N</math> ऐसा है कि <math>A_N, A_{N+1}, \ldots</math> सभी सम्मिलित हैं <math>x;</math> अर्थात् ऐसा कि <math>x \in A_N \cap A_{N+1} \cap \cdots.</math>
आंतरिक सीमा हमेशा बाहरी सीमा का उपसमुच्चय होती है:<math display=block>\liminf_{n\to\infty} A_n ~\subseteq~ \limsup_{n\to\infty} A_n.</math>यदि ये दोनों समुच्चय बराबर हों तो उनकी सीमा <math>\lim_{n\to\infty} A_n</math> मौजूद है और इस सामान्य सेट के बराबर है:<math display="block">\lim_{n\to\infty} A_n := \liminf_{n\to\infty} A_n = \limsup_{n\to\infty} A_n.</math> 

=== उप σ-बीजगणित ===
अधिकतर संभावनाओं में, विशेष रूप से जब सशर्त उम्मीद सम्मिलित होती है, तो एक ऐसे सेट से संबंधित होता है जो सभी संभव जानकारी का केवल एक हिस्सा दर्शाता है जिसे देखा जा सकता है। इस आंशिक जानकारी को एक छोटे σ-बीजगणित के साथ वर्णित किया जा सकता है जो मुख्य σ-बीजगणित का एक सबसेट है; इसमें केवल आंशिक जानकारी के लिए प्रासंगिक और केवल आंशिक जानकारी द्वारा निर्धारित सबसेट का संग्रह होता है। इस विचार को स्पष्ट करने के लिए एक साधारण उदाहरण पर्याप्त है।

कल्पना कीजिए कि आप और कोई अन्य व्यक्ति ऐसे खेल पर दांव लगा रहे हैं जिसमें एक सिक्के को बार-बार उछालना और यह देखना सम्मिलित है कि क्या यह चित आता है (<math>H</math>) या पूंछ (<math>T</math>). चूँकि आप और आपके प्रतिद्वंदी असीमित रूप से धनवान हैं, इसलिए खेल कितने समय तक चल सकता है इसकी कोई सीमा नहीं है। इसका मतलब है कि नमूना स्थान Ω में सभी संभावित अनंत क्रम सम्मिलित होने चाहिए <math>H</math> या <math>T:</math><math display=block>\Omega = \{H, T\}^\infty = \{(x_1, x_2, x_3, \dots) : x_i \in \{H, T\}, i \geq 1\}.</math>हालाँकि, सिक्के के <math>n</math> फ़्लिप के बाद, आप अगले फ़्लिप से पहले अपनी सट्टेबाजी की रणनीति को निर्धारित या संशोधित करना चाह सकते हैं। उस बिंदु पर देखी गई जानकारी को पहले <math>n</math> फ़्लिप के लिए 2<sup>n</sup> संभावनाओं के संदर्भ में वर्णित किया जा सकता है। औपचारिक रूप से, चूंकि आपको Ω के सबसेट का उपयोग करने की आवश्यकता है, यह σ-बीजगणित के रूप में संहिताबद्ध है<math display="block">\mathcal{G}_n = \{A \times \{H, T\}^\infty : A \subseteq \{H, T\}^n\}.</math>उस पर ध्यान दें<math display="block">\mathcal{G}_1 \subseteq \mathcal{G}_2 \subseteq \mathcal{G}_3 \subseteq \cdots \subseteq \mathcal{G}_\infty,</math>जहाँ पर <math>\mathcal{G}_\infty</math> सबसे छोटा σ-बीजगणित है जिसमें अन्य सभी सम्मिलित हैं।

== परिभाषा और गुण ==

=== परिभाषा ===
होने देना <math>X</math> कुछ सेट हो, और रहने दो <math>P(X)</math> इसके [[सत्ता स्थापित]] का प्रतिनिधित्व करें। फिर एक उपसमुच्चय <math>\Sigma \subseteq P(X)</math> ''σ''-बीजगणित कहा जाता है यदि यह निम्नलिखित तीन गुणों को संतुष्ट करता है:<ref>{{cite book | last=Rudin | first=Walter | authorlink=Walter Rudin | title=Real & Complex Analysis | publisher=[[McGraw-Hill]] | year=1987 | isbn=0-07-054234-1}}</ref>
# <math>X</math> में है <math> \Sigma,</math> और <math>X</math> निम्नलिखित संदर्भ में सार्वभौमिक सेट माना जाता है।
# <math> \Sigma</math> पूरक के तहत बंद है: यदि <math>A</math> में है <math> \Sigma,</math> तो इसका पूरक (सेट सिद्धांत) है, <math>X \setminus A.</math>
# <math> \Sigma</math> गणनीय यूनियनों के तहत बंद है: यदि <math>A_1, A_2, A_3, \ldots</math> में हैं <math> \Sigma,</math> तो ऐसा है <math>A = A_1 \cup A_2 \cup A_3 \cup \cdots.</math>
इन गुणों से, यह अनुसरण करता है कि σ-बीजगणित भी काउंटेबल इंटरसेक्शन (सेट थ्योरी) (डी मॉर्गन के नियमों को लागू करके) के तहत बंद है।

यह भी इस प्रकार है कि खाली सेट <math>\varnothing</math> में है <math> \Sigma,</math> चूंकि (1) <math>X</math> में है <math> \Sigma</math> और (2) दावा करता है कि इसका पूरक, खाली सेट भी अंदर है <math> \Sigma.</math> इसके अलावा, चूंकि <math>\{X, \varnothing\}</math> शर्त (3) को भी संतुष्ट करता है, यह उसका अनुसरण करता है <math>\{X, \varnothing\}</math> सबसे छोटा संभव σ-बीजगणित है <math>X.</math> सबसे बड़ा संभव σ-बीजगणित पर <math>X</math> है <math>\wp(X).</math>

σ-बीजगणित के तत्वों को [[मापने योग्य सेट]] कहा जाता है। आदेशित जोड़ी <math>(X, \Sigma),</math> जहाँ पर <math>X</math> एक सेट है और <math> \Sigma</math> एक σ-बीजगणित ओवर है <math>X,</math> मापने योग्य स्थान कहा जाता है। दो मापने योग्य रिक्त स्थान के बीच एक फ़ंक्शन को मापने योग्य फ़ंक्शन कहा जाता है यदि प्रत्येक मापने योग्य सेट की [[preimage|प्रीइमेज]] मापने योग्य हो। मापने योग्य रिक्त स्थान का संग्रह एक [[श्रेणी (गणित)]] बनाता है, जिसमें आकारिकी के रूप में मापने योग्य कार्य होते हैं। माप (गणित) को ''σ''-बीजगणित से कुछ प्रकार के कार्यों के रूप में परिभाषित किया गया है <math>[0, \infty].</math>

σ-बीजगणित π-सिस्टम और एक [[डाइंकिन प्रणाली]] (λ-सिस्टम) दोनों है। डाइंकिन के प्रमेय (नीचे) द्वारा बातचीत भी सच है।

===डाइनकिन का π-λ प्रमेय ===
{{See also|π-λ प्रमेय}}
यह प्रमेय (या संबंधित [[मोनोटोन वर्ग प्रमेय]]) विशिष्ट σ-अल्जेब्रस के गुणों के बारे में कई परिणाम साबित करने के लिए आवश्यक उपकरण है। यह समुच्चयों के दो सरल वर्गों की प्रकृति का लाभ उठाता है, अर्थात् निम्नलिखित।
* π-सिस्टम <math>P</math> के उपसमूहों का संग्रह है <math>X</math> जो बहुत से चौराहों के नीचे बंद है, और
* डाइनकिन सिस्टम (या λ-सिस्टम) <math>D</math> के उपसमूहों का संग्रह है <math>X</math> उसमें सम्मिलित है <math>X</math> और पूरक और असंयुक्त उपसमुच्चय के गणनीय संघों के तहत बंद है।

डाइंकिन का π-λ प्रमेय कहता है, अगर <math>P</math> π-सिस्टम है और <math>D</math> डाइंकिन प्रणाली है जिसमें सम्मिलित है <math>P,</math> फिर σ-बीजगणित <math>\sigma(P)</math> सिग्मा-बीजगणित σ-बीजगणित यादृच्छिक परिवार द्वारा उत्पन्न <math>P</math> में निहित है <math>D.</math> चूंकि कुछ π-सिस्टम अपेक्षाकृत सरल वर्ग हैं, इसलिए यह सत्यापित करना कठिन नहीं होगा कि सभी सेट अंदर हैं <math>P</math> विचाराधीन संपत्ति का आनंद लें, जबकि दूसरी ओर, यह दर्शाता है कि संग्रह <math>D</math> संपत्ति के साथ सभी उपसमुच्चय डाइंकिन प्रणाली भी सीधी हो सकती है। डाइंकिन के π-λ प्रमेय का अर्थ है कि सभी सेट हो जाते हैं <math>\sigma(P)</math> संपत्ति का आनंद लें, मनमाने सेट के लिए इसे जाँचने के कार्य से बचें <math>\sigma(P).</math>

π-λ प्रमेय के सबसे मौलिक उपयोगों में से एक अलग-अलग परिभाषित उपायों या इंटीग्रल की समानता दिखाना है। उदाहरण के लिए, इसका उपयोग यादृच्छिक चर के लिए प्रायिकता की बराबरी करने के लिए किया जाता है <math>X</math> लेबेस्ग-स्टिल्टजेस इंटीग्रल के साथ सामान्यतः संभाव्यता की गणना के साथ जुड़ा हुआ है:<math display="block">\mathbb{P}(X\in A) = \int_A \,F(dx)</math>सभी के लिए <math>A</math> बोरेल σ-बीजगणित में <math>\Reals,</math>


बोरेल σ-बीजगणित में सभी A के लिए R पर, जहाँ <math>F(x)</math> <math>\Reals,</math> पर परिभाषित x के लिए संचयी वितरण फलन है, जबकि <math>\mathbb{P}</math> कुछ नमूना स्थान <math>\Omega.</math>के सबसेट के σ-बीजगणित <math> \Sigma</math> पर परिभाषित प्रायिकता माप है।
===σ-अलजेब्रा का संयोजन===
मान लीजिए कि <math>\textstyle\left\{\Sigma_\alpha : \alpha \in \mathcal{A}\right\}</math> स्पेस <math>X.</math>पर σ-अलजेब्रा का एक संग्रह है

σ-बीजगणित के संग्रह का प्रतिच्छेदन σ-बीजगणित है। σ-बीजगणित के रूप में इसके चरित्र पर जोर देने के लिए, इसे प्रायः निम्न द्वारा निरूपित किया जाता है:<math display=block>\bigwedge_{\alpha \in \mathcal{A}} \Sigma_\alpha.</math>'''प्रमाण का रेखाचित्र:''' चलो <math>\Sigma^*</math> प्रतिच्छेदन को निरूपित करें। तब से <math>X</math> हर में है <math>\Sigma_\alpha, \Sigma^*</math> खाली नहीं है। हर के लिए पूरक और गणनीय यूनियनों के तहत बंद <math>\Sigma_\alpha</math> का तात्पर्य वही है जिसके लिए सत्य होना चाहिए <math>\Sigma^*.</math> इसलिए, <math>\Sigma^*</math> एक σ-बीजगणित है।



'''जोड़ना'''

σ-बीजगणित के संग्रह का मिलन सामान्यतः σ-बीजगणित या बीजगणित भी नहीं होता है, लेकिन यह सिग्मा-बीजगणित σ-बीजगणित यादृच्छिक परिवार द्वारा उत्पन्न σ-बीजगणित होता है जिसे ज्वाइन (सिग्मा बीजगणित) के रूप में जाना जाता है जो सामान्यतः निरूपित किया जाता है<math display=block>\bigvee_{\alpha \in \mathcal{A}} \Sigma_\alpha = \sigma\left(\bigcup_{\alpha \in \mathcal{A}} \Sigma_\alpha\right).</math>π-प्रणाली जो जोड़ उत्पन्न करती है वह है<math display=block>\mathcal{P} = \left\{\bigcap_{i=1}^n A_i : A_i \in \Sigma_{\alpha_i}, \alpha_i \in \mathcal{A},\ n \geq 1\right\}.</math>'''प्रमाण का रेखाचित्र:''' केस द्वारा <math>n = 1,</math> यह देखा गया है कि प्रत्येक <math>\Sigma_\alpha\subset\mathcal{P},</math> इसलिए<math display="block">\bigcup_{\alpha \in \mathcal{A}} \Sigma_\alpha \subseteq \mathcal{P}.</math>यह संकेत करता है<math display="block">\sigma\left(\bigcup_{\alpha \in \mathcal{A}} \Sigma_\alpha\right) \subseteq \sigma(\mathcal{P})</math>सबसेट के संग्रह द्वारा उत्पन्न σ-बीजगणित की परिभाषा द्वारा। वहीं दूसरी ओर,<math display="block">\mathcal{P} \subseteq \sigma\left(\bigcup_{\alpha \in \mathcal{A}} \Sigma_\alpha\right)</math>जो, डाइंकिन के π-λ प्रमेय द्वारा निहित है<math display="block">\sigma(\mathcal{P}) \subseteq \sigma\left(\bigcup_{\alpha \in \mathcal{A}} \Sigma_\alpha\right).</math>


===σ-सबस्पेस के लिए बीजगणित===
कल्पना करना <math>Y</math> का उपसमुच्चय है <math>X</math> और जाने <math>(X, \Sigma)</math> मापने योग्य स्थान हो।
* संग्रह <math>\{Y \cap B : B \in \Sigma\}</math> के सबसेट का σ-बीजगणित है <math>Y.</math>
* कल्पना करना <math>(Y, \Lambda)</math> मापने योग्य स्थान है। संग्रह <math>\{A \subseteq X : A \cap Y \in \Lambda\}</math> के सबसेट का σ-बीजगणित है <math>X.</math>

=== σ-रिंग से संबंध ===
σ-बीजगणित <math> \Sigma</math> सिर्फ एक सिग्मा-रिंग|σ-रिंग है जिसमें सार्वभौमिक सेट होता है <math>X.</math><ref name="Vestrup2009">{{cite book| last=Vestrup |first=Eric M. |title=The Theory of Measures and Integration |year=2009 |publisher=John Wiley & Sons |isbn=978-0-470-31795-2 |page=12}}</ref> एक σ-रिंग को σ-बीजगणित होने की आवश्यकता नहीं है, उदाहरण के लिए वास्तविक रेखा में शून्य Lebesgue माप के औसत दर्जे का उपसमुच्चय एक σ-रिंग है, लेकिन σ-बीजगणित नहीं है क्योंकि वास्तविक रेखा में अनंत माप है और इस प्रकार इसे प्राप्त नहीं किया जा सकता है उनका गणनीय संघ। अगर, शून्य माप के बजाय, परिमित लेबेस्गु माप के मापने योग्य सबसेट लेते हैं, तो वे [[सेट की अंगूठी|सेट की रिंग]] हैं, लेकिन σ-रिंग नहीं हैं, क्योंकि वास्तविक रेखा उनके गणनीय संघ द्वारा प्राप्त की जा सकती है, फिर भी इसकी माप परिमित नहीं है।

=== टाइपोग्राफिक नोट ===
σ-अलजेब्रा को कभी-कभी कैलीग्राफ़िक कैपिटल लेटर्स, या फ़्राक्टुर टाइपफेस का उपयोग करके दर्शाया जाता है। इस प्रकार <math>(X, \Sigma)</math> को <math>\scriptstyle(X,\,\mathcal{F})</math> या <math>\scriptstyle(X,\,\mathfrak{F}).</math> के रूप में निरूपित किया जा सकता है।
== विशेष मामले और उदाहरण ==

=== वियोज्य σ-बीजगणित ===
वियोज्य <math>\sigma</math>-बीजगणित (या वियोज्य <math>\sigma</math>-फ़ील्ड) है <math>\sigma</math>-बीजगणित <math>\mathcal{F}</math> [[मीट्रिक (गणित)]] के साथ [[मीट्रिक स्थान]] के रूप में माने जाने पर यह [[वियोज्य स्थान]] है <math>\rho(A,B) = \mu(A \mathbin{\triangle} B)</math> के लिए <math>A,B \in \mathcal{F}</math> और दी गई माप (गणित) <math>\mu</math> (और साथ <math>\triangle</math> [[सममित अंतर]] ऑपरेटर होने के नाते)।<ref>{{cite journal|last1=Džamonja|first1=Mirna|last2=Kunen|first2=Kenneth|authorlink2=Kenneth Kunen|title=Properties of the class of measure separable compact spaces| journal=[[Fundamenta Mathematicae]]|year=1995|pages=262|url=https://archive.uea.ac.uk/~h020/fundamenta.pdf|quote=If <math>\mu</math> is a Borel measure on <math>X,</math> the measure algebra of <math>(X,\mu)</math> is the Boolean algebra of all Borel sets modulo <math>\mu</math>-null sets. If <math>\mu</math> is finite, then such a measure algebra is also a metric space, with the distance between the two sets being the measure of their symmetric difference. Then, we say that <math>\mu</math> is ''separable'' [[if and only if]] this metric space is separable as a topological space.}}</ref> ध्यान दें कि कोई <math>\sigma</math>[[सेट (गणित)]] के [[गणनीय]] संग्रह द्वारा उत्पन्न बीजगणित वियोज्य है, लेकिन बातचीत की आवश्यकता नहीं है। उदाहरण के लिए, लेबेसेग <math>\sigma</math>- बीजगणित वियोज्य है (चूंकि प्रत्येक लेबेस्ग मापने योग्य सेट कुछ बोरेल सेट के बराबर है) लेकिन गिनती योग्य नहीं है (चूंकि इसकी कार्डिनैलिटी सातत्य से अधिक है)।

वियोज्य माप स्थान में एक प्राकृतिक [[स्यूडोमेट्रिक स्पेस]] होता है जो इसे अलग करने योग्य स्थान को छद्ममितीय स्थान के रूप में प्रस्तुत करता है। दो सेटों के बीच की दूरी को दो सेटों के सममित अंतर के माप के रूप में परिभाषित किया गया है। ध्यान दें कि दो अलग-अलग सेटों के सममित अंतर का माप शून्य हो सकता है; इसलिए ऊपर परिभाषित स्यूडोमेट्रिक को सही मीट्रिक होने की आवश्यकता नहीं है। हालाँकि, यदि सेट जिनके सममित अंतर में माप शून्य है, को समतुल्य वर्ग में पहचाना जाता है, परिणामी समतुल्यता वर्ग को प्रेरित मीट्रिक द्वारा ठीक से मीट्रिक किया जा सकता है। यदि माप स्थान वियोज्य है, तो यह दिखाया जा सकता है कि संबंधित मीट्रिक स्थान भी है।

=== सरल सेट-आधारित उदाहरण ===
मान लीजिए कि X कोई समुच्चय है।
* केवल रिक्त समुच्चय और समुच्चय <math>X,</math> वाले कुल को <math>X.</math> पर न्यूनतम या तुच्छ σ-बीजगणित कहा जाता है।
* का पावर सेट <math>X,</math> असतत σ-बीजगणित कहा जाता है।
* संग्रह <math>\{\varnothing, A, X \setminus A, X\}</math>एक सरल σ-बीजगणित है जो सबसेट <math>A.</math> द्वारा उत्पन्न किया गया है।
*के सबसेट का संग्रह <math>X</math> जो गणनीय हैं या जिनके पूरक गणनीय हैं, एक σ-बीजगणित है (जो की शक्ति सेट से अलग है <math>X</math> अगर और केवल अगर <math>X</math> बेशुमार है)। यह [[सिंगलटन (गणित)]] द्वारा उत्पन्न σ-बीजगणित है <math>X.</math> नोट: गणनीय में परिमित या खाली सम्मिलित है।
* सेट के गणनीय विभाजन में सेट के सभी संघों का संग्रह <math>X</math> एक σ-बीजगणित है।

=== स्टॉपिंग टाइम सिग्मा-अलजेब्रा ===
स्टॉपिंग टाइम <math>\tau</math> एक <math>\sigma</math>- बीजगणित <math>\mathcal{F}_\tau,</math> को परिभाषित कर सकता है, तथाकथित स्टॉपिंग टाइम सिग्मा-बीजगणित, जो फ़िल्टर किया गया प्रायिकता स्थान है जो इस अर्थ में यादृच्छिक समय <math>\tau</math> तक की जानकारी का वर्णन करता है, यदि फ़िल्टर किया गया प्रायिकता स्थान है एक यादृच्छिक प्रयोग के रूप में व्याख्या की जाती है, अधिकतम जानकारी जो प्रयोग के बारे में पाई जा सकती है, मनमाने ढंग से प्रायः इसे तब तक दोहराते हैं जब तक कि समय <math>\tau</math> <math>\mathcal{F}_{\tau}.</math>नहीं है।<ref name="Fischer (2013)">{{cite journal|last=Fischer|first=Tom|title=On simple representations of stopping times and stopping time sigma-algebras|journal=Statistics and Probability Letters|year=2013|volume=83|issue=1|pages=345–349|doi=10.1016/j.spl.2012.09.024|arxiv=1112.1603 |url=https://dx.doi.org/10.1016/j.spl.2012.09.024}}</ref>
==σ-समुच्चयों के परिवारों द्वारा उत्पन्न बीजगणित ==

=== σ-बीजगणित एक स्वेच्छाचारी परिवार द्वारा उत्पन्न ===
मान लीजिए कि <math>F</math>, <math>X.</math> के उपसमूह का आदर्श परिवार है फिर अनोखा सबसे छोटा σ-बीजगणित मौजूद है जिसमें हर सेट सम्मिलित है <math>F</math> (चाहे <math>F</math> σ-बीजगणित हो भी सकता है और नहीं भी)। यह वास्तव में, युक्त सभी σ-अलजेब्रा का प्रतिच्छेदन है <math>F.</math> (ऊपर σ-बीजगणित के चौराहों को देखें।) यह σ-बीजगणित निरूपित है <math>\sigma(F)</math> और σ-बीजगणित द्वारा उत्पन्न कहा जाता है <math>F.</math>अगर <math>F</math> तो खाली है <math>\sigma(\varnothing) = \{\varnothing, X\}.</math> अन्यथा <math>\sigma(F)</math> के सभी उपसमुच्चय होते हैं <math>X</math> के तत्वों से बनाया जा सकता है <math>F</math> पूरक, संघ और प्रतिच्छेदन संचालन की एक गणनीय संख्या द्वारा।

साधारण उदाहरण के लिए, सेट पर विचार करें <math>X = \{1, 2, 3\}.</math> तब σ-बीजगणित एकल उपसमुच्चय द्वारा उत्पन्न होता है <math>\{1\}</math> है।

<math>\sigma(\{1\}) = \{\varnothing, \{1\}, \{2, 3\}, \{1, 2, 3\}\}.</math> अंकन के दुरुपयोग से, जब उपसमुच्चय के संग्रह में केवल एक तत्व होता है, <math>A,</math> <math>\sigma(A)</math> के स्थान पर लिखा जा सकता है <math>\sigma(\{A\});</math> पूर्व उदाहरण में <math>\sigma(\{1\})</math> के बजाय <math>\sigma(\{\{1\}\}).</math> वास्तव में, का उपयोग करना <math>\sigma\left(A_1, A_2, \ldots\right)</math> मतलब निकालना <math>\sigma\left(\left\{A_1, A_2, \ldots\right\}\right)</math> भी काफी सामान्य है।

उपसमुच्चय के कई परिवार हैं जो उपयोगी σ-अल्जेब्रा उत्पन्न करते हैं। इनमें से कुछ यहाँ प्रस्तुत हैं।

===σ-बीजगणित एक फ़ंक्शन द्वारा उत्पन्न होता है ===
अगर <math>f</math> सेट से एक फंक्शन है <math>X</math> एक सेट के लिए <math>Y</math> और <math>B</math> एक है <math>\sigma</math>के सबसेट का बीजगणित <math>Y,</math> फिर <math>\sigma</math>फंक्शन द्वारा उत्पन्न बीजगणित <math>f,</math> द्वारा चिह्नित <math>\sigma (f),</math> सभी उलटी छवियों का संग्रह है <math>f^{-1} (S)</math> सेट का <math>S</math> में <math>B.</math> वह है,<math display=block>\sigma (f) = \left\{f^{-1}(S) \, : \, S \in B\right\}. </math>एक फंक्शन <math>f</math> एक सेट से <math>X</math> एक सेट के लिए <math>Y</math> σ-बीजगणित के संबंध में मापने योग्य फलन है <math> \Sigma</math> के सबसेट का <math>X</math> अगर और केवल अगर <math>\sigma(f)</math> का उपसमुच्चय है <math>\Sigma.</math>


एक सामान्य स्थिति, और यदि डिफ़ॉल्ट रूप से समझी जाती है <math>B</math> स्पष्ट रूप से निर्दिष्ट नहीं है, कब है <math>Y</math> एक मीट्रिक स्पेस या [[टोपोलॉजिकल स्पेस]] है और <math>B</math> [[बोरेल सेट]] का कलेक्शन चालू है <math>Y.</math>
अगर <math>f</math> से एक फंक्शन है <math>X</math> को <math>\Reals^n</math> तब <math>\sigma(f)</math> उपसमुच्चयों के परिवार द्वारा उत्पन्न होता है जो अंतरालों/आयतों की उलटी छवियां <math>\Reals^n</math> हैं ।<math display="block">\sigma(f) = \sigma\left(\left\{f^{-1}(\left[a_1, b_1\right] \times \cdots \times \left[a_n, b_n\right]) : a_i, b_i \in \Reals\right\}\right).</math>एक उपयोगी संपत्ति निम्नलिखित है। मान लीजिए <math>f</math> से मापने योग्य नक्शा है <math>\left(X, \Sigma_X\right)</math> को <math>\left(S, \Sigma_S\right)</math> और <math>g</math> से मापने योग्य नक्शा है <math>\left(X, \Sigma_X\right)</math> को <math>\left(T, \Sigma_T\right).</math> यदि कोई औसत दर्जे का नक्शा मौजूद है <math>h</math> से <math>\left(T, \Sigma_T\right)</math> को <math>\left(S, \Sigma_S\right)</math> ऐसा है कि <math>f(x) = h(g(x))</math> सभी के लिए <math>x,</math> तब <math>\sigma(f) \subseteq \sigma(g).</math> अगर <math>S</math> परिमित या गणनीय रूप से अनंत है या, अधिक सामान्यतः, <math>\left(S, \Sigma_S\right)</math> एक [[मानक बोरेल स्थान]] है (उदाहरण के लिए, इसके संबंधित बोरेल सेट के साथ एक वियोज्य पूर्ण मीट्रिक स्थान), तो इसका विलोम भी सत्य है।<ref>{{cite book | last=Kallenberg | first=Olav | authorlink=Olav Kallenberg | title=Foundations of Modern Probability |edition=2nd | publisher=[[Springer Publishing|Springer]] | year=2001 | isbn=0-387-95313-2|page=7}}</ref> मानक बोरेल रिक्त स्थान के उदाहरणों में सम्मिलित हैं <math>\Reals^n</math> इसके बोरेल सेट के साथ और <math>\Reals^\infty</math> नीचे वर्णित सिलेंडर σ-बीजगणित के साथ है।

===बोरेल और लेबेस्गुए σ-अलजेब्रा===
एक महत्वपूर्ण उदाहरण किसी भी सामयिक स्थान पर [[बोरेल बीजगणित]] है: खुले सेटों द्वारा उत्पन्न σ-बीजगणित (या, समतुल्य रूप से, [[बंद सेट]]ों द्वारा)। ध्यान दें कि यह σ-बीजगणित, सामान्य तौर पर, संपूर्ण शक्ति सेट नहीं है। गैर-तुच्छ उदाहरण के लिए जो बोरेल सेट नहीं है, विटाली सेट या बोरेल सेट#गैर-बोरेल सेट|गैर-बोरेल सेट देखें।

[[यूक्लिडियन अंतरिक्ष]] पर <math>\Reals^n,</math> एक और σ-बीजगणित का महत्व है: वह सभी लेबेस्ग माप सेटों का। इस σ-बीजगणित में बोरेल σ-बीजगणित की तुलना में अधिक सेट हैं <math>\Reals^n</math> और [[अभिन्न]] थ्योरी में पसंद किया जाता है, क्योंकि यह एक पूर्ण माप देता है।

=== गुणनफल σ-बीजगणित===
होने देना <math>\left(X_1, \Sigma_1\right)</math> और <math>\left(X_2, \Sigma_2\right)</math> दो मापने योग्य स्थान बनें। संबंधित [[उत्पाद स्थान]] के लिए σ-बीजगणित <math>X_1 \times X_2</math> को गुणनफल σ-बीजगणित कहा जाता है और इसके द्वारा परिभाषित किया जाता है<math display=block>\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).</math>उसका अवलोकन करो <math>\{B_1 \times B_2 : B_1 \in \Sigma_1, B_2 \in \Sigma_2\}</math> एक π-प्रणाली है।


बोरेल σ-बीजगणित के लिए <math>\Reals^n</math> अर्ध-अनंत आयतों और परिमित आयतों द्वारा उत्पन्न होता है। उदाहरण के लिए,<math display="block">\mathcal{B}(\Reals^n) = \sigma \left(\left\{(-\infty, b_1] \times \cdots \times (-\infty, b_n] : b_i \in \Reals\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 \Reals\right\}\right).</math>इन दो उदाहरणों में से प्रत्येक के लिए, जनक परिवार एक π-प्रणाली है।

===σ-सिलेंडर सेट द्वारा उत्पन्न बीजगणित ===

मान लेना<math display=block>X \subseteq \Reals^{\mathbb{T}} = \{f : f(t) \in \Reals,\ t \in \mathbb{T}\}</math>वास्तविक-मूल्यवान कार्यों का एक सेट है। होने देना <math>\mathcal{B}(\Reals)</math> के बोरेल उपसमुच्चयों को निरूपित करें <math>\Reals.</math> का एक [[सिलेंडर सेट]] <math>X</math> के रूप में परिभाषित एक निश्चित रूप से प्रतिबंधित सेट है<math display="block">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\}.</math>प्रत्येक<math display="block">\left\{C_{t_1,\dots,t_n}\left(B_1, \dots, B_n\right) : B_i \in \mathcal{B}(\Reals), 1 \leq i \leq n\right\}</math>एक π-सिस्टम है जो σ-बीजगणित उत्पन्न करता है <math>\textstyle\Sigma_{t_1, \dots, t_n}.</math> फिर उपसमुच्चय का परिवार<math display="block">\mathcal{F}_X = \bigcup_{n=1}^\infty \bigcup_{t_i \in \mathbb{T},i \leq n}\Sigma_{t_1, \dots, t_n}</math>एक बीजगणित है जो बेलन σ-बीजगणित उत्पन्न करता है <math>X.</math> यह σ-बीजगणित, बोरेल σ-बीजगणित का एक उप-लजेब्रा है, जिसका निर्धारण [[उत्पाद टोपोलॉजी|गुणनफल सांस्थिति]] द्वारा किया जाता है। <math>\Reals^{\mathbb{T}}</math> तक सीमित <math>X.</math>


एक महत्वपूर्ण विशेष मामला है जब <math>\mathbb{T}</math> प्राकृतिक संख्याओं का समुच्चय है और <math>X</math> वास्तविक-मूल्यवान अनुक्रमों का एक सेट है। इस मामले में, सिलेंडर सेट पर विचार करना पर्याप्त है<math display="block">C_n\left(B_1, \dots, B_n\right) = \left(B_1 \times \cdots \times B_n \times \Reals^\infty\right) \cap X = \left\{\left(x_1, x_2, \ldots, x_n,x_{n+1},\ldots\right) \in X : x_i \in B_i ,1 \leq i \leq n\right\},</math>जिसके लिए<math display="block">\Sigma_n = \sigma\left(\{C_n\left(B_1, \dots, B_n\right) : B_i \in \mathcal{B}(\Reals), 1 \leq i \leq n\}\right)</math>

=== यादृच्छिक चर या सदिश द्वारा उत्पन्न σ-बीजगणित ===
मान लेना

<math>(\Omega, \Sigma, \mathbb{P})</math> संभावना स्थान है। अगर <math>\textstyle Y:\Omega\to\Reals^n</math> बोरेल σ-बीजगणित के संबंध में मापने योग्य है <math>\Reals^n</math> तब <math>Y</math> एक यादृच्छिक चर कहा जाता है (<math>n = 1</math>) या यादृच्छिक सदिश (<math>n > 1</math>). σ-बीजगणित द्वारा उत्पन्न <math>Y</math> है<math display="block">\sigma(Y) = \left\{Y^{-1}(A) : A \in \mathcal{B}\left(\Reals^n\right)\right\}.</math>σ-बीजगणित एक स्टोकेस्टिक प्रक्रिया द्वारा उत्पन्न


मान लेना <math>(\Omega,\Sigma,\mathbb{P})</math> एक संभावना स्थान है और <math>\Reals^\mathbb{T}</math> पर वास्तविक-मूल्यवान कार्यों का सेट है <math>\mathbb{T}.</math> अगर <math>\textstyle Y : \Omega\to X \subseteq \Reals^\mathbb{T}</math> बेलन σ-बीजगणित के संबंध में मापने योग्य है <math>\sigma\left(\mathcal{F}_X\right)</math> (ऊपर देखें) के लिए <math>X</math> तब <math>Y</math> एक स्टोकेस्टिक प्रक्रिया या यादृच्छिक प्रक्रिया कहा जाता है। σ-बीजगणित द्वारा उत्पन्न <math>Y</math> है<math display="block">\sigma(Y) = \left\{Y^{-1}(A) : A \in \sigma\left(\mathcal{F}_X\right)\right\} = \sigma\left(\left\{Y^{-1}(A) : A \in \mathcal{F}_X\right\}\right),</math>सिलेंडर सेट के व्युत्क्रम चित्रों द्वारा उत्पन्न σ-बीजगणित।

== यह भी देखें ==

* {{annotated link|जोड़ना (सिग्मा बीजगणित)}}
* {{annotated link|मापने योग्य कार्य}}
* {{annotated link|सैंपल स्पेस}}
* {{annotated link|सिग्मा-एडिटिव सेट फंक्शन}}
* {{annotated link|सिग्मा-रिंग}}

{{Families of sets}}
==संदर्भ==

{{reflist}}
==बाहरी संबंध==

* {{springer|title=Algebra of sets|id=p/a011400}}
* [[PlanetMath:950|Sigma Algebra]] from PlanetMath.
[[Category: बूलियन बीजगणित]] [[Category: प्रयोग (संभाव्यता सिद्धांत)]] [[Category: सेट के परिवार]] [[Category: माप सिद्धांत]] 



[[Category: Machine Translated Page]]
[[Category:Created On 16/02/2023]]