संभावना रिक्त स्थान और कोलमोगोरोव के स्वयंसिद्ध हैं
एक प्रायिकता स्थान परिभाषा के अनुसार एक त्रिभुज जहां परिणामों का एक सेट है, एक -algebra है और के सबसेट एक संभावना-माप है जो कोलमोगोरोव के स्वयंसिद्ध अर्थों को पूरा करता है, अर्थात से तक एक फ़ंक्शन है, जैसे कि और ई-मेल के लिए in यह कि ( Ω , एफ , पी ) Ω एफ σ Ω पी पी एफ [ 0 , 1 ] पी ( Ω ) = 1 ई 1 , ई 2 , ... एफ पी ( ∪ ∞ j = 1 ई जे ) = Σ ∞ j = 1 पी ( ई जे )P(Ω,F,P)ΩFσΩPPF[0,1]P(Ω)=1E1,E2,…FP(∪∞j=1Ej)=∑∞j=1P(Ej)।
इस तरह की प्रायिकता वाली जगह के भीतर दो घटनाओं के लिए एक में सशर्त प्रायिकता को रूप में परिभाषित करता है।E1,E2पी ( ई 1 | ई 2 ) घ ई च = पी ( ई 1 ∩ ई 2 )FP(E1|E2)=defP(E1∩E2)P(E2)
ध्यान दें कि:
- यह 'सशर्त संभाव्यता' केवल तब परिभाषित की जाती है जब को पर परिभाषित किया जाता है , इसलिए हमें सशर्त संभावनाओं को परिभाषित करने में सक्षम होने के लिए संभाव्यता स्थान की आवश्यकता होती है।एफPF
- एक संभावना स्थान बहुत सामान्य शब्दों में परिभाषित किया गया है ( एक सेट , एक -algebra और एक प्रायिकता माप ), केवल आवश्यकता यह है कि कुछ गुणों को पूरा किया जाना चाहिए, लेकिन इसके अलावा ये तीन तत्व '' कुछ भी '' हो सकते हैं।σ एफ पीΩ σFP
इस लिंक में और अधिक विवरण पाया जा सकता है
बेय्स का नियम किसी भी (वैध) प्रायिकता स्थान पर है
सशर्त संभाव्यता की परिभाषा से यह उस । और बाद के दो समीकरणों से हमें बेयस का नियम पता चलता है। तो बेयस का नियम किसी भी प्रायिकता स्थान में (सशर्त संभाव्यता की परिभाषा के अनुसार) रखता है (यह दिखाने के लिए, प्रत्येक समीकरण से और प्राप्त करें। उन्हें (वे समान हैं क्योंकि प्रतिच्छेदन कम्यूटेटिव है))। पी(ई1∩ई2)पी(ई2∩ई1)P(E2|E1)=P(E2∩E1)P(E1)P(E1∩E2)P(E2∩E1)
जैसा कि बेयस नियम बेइज़ियन अनुमान के लिए आधार है, कोई भी किसी भी वैध (यानी सभी स्थितियों को पूरा करने में, बायोसियन विश्लेषण कर सकता है, एओ कोलमोगोरोव के स्वयंसिद्ध) संभावना स्थान।
प्रायिकता की बारंबार परिभाषा एक '' विशेष मामला '' है।
ऊपर 'सामान्य रूप में' 'रखती है', यानी हमारे पास कोई विशेष , , जब तक मन में एक है -algebra के सबसेट पर और कोलमोगोरोव के स्वयंसिद्ध को पूरा करता है।एफ पी एफ σ Ω पीΩFPFσΩP
अब हम यह दिखाएंगे कि ' मैथबिस्ट ' की परिभाषा ' मैथबब की परिभाषा कोलोमोगोरोव के स्वयंसिद्ध शब्दों को पूरा करती है। यदि ऐसा है तो '' लगातार '' संभाव्यता केवल कोलमोगोरोव की सामान्य और अमूर्त संभावना का एक विशेष मामला है। P
एक उदाहरण लेते हैं और पासा को रोल करते हैं। तब सभी संभावित परिणामों के सेट है । हम यह भी एक की जरूरत है इस सेट पर -algebra और हम ले के सभी उप-समूहों के सेट , यानी ।Ω = { 1 , 2 , 3 , 4 , 5 , 6 } σ Ω एफ Ω एफ = 2 ΩΩΩ={1,2,3,4,5,6}σΩFΩF=2Ω
हमें अभी भी प्रायिकता तरीके से प्रायिकता माप को परिभाषित करना है । इसलिए हम को जहां पासे के रोल में प्राप्त की संख्या है। के लिए इसी तरह , ... ।PP({1})P({1})=deflimn→+∞n1nn11nP({2})P({6})
इस तरह को सभी गणित के लिए में परिभाषित किया गया है । किसी भी अन्य सेट के लिए , उदा हम एक को परिभाषित करते हैं अर्थात
, लेकिन 'लिम' की रैखिकता से, यह बराबर है , जिसका अर्थ है कि कोलमोगोरोव के स्वयंसिद्ध पकड़।PFF{1,2}P({1,2})P({1,2})=deflimn→+∞n1+n2nP({1})+P({2})
इसलिए प्रायिकता की लगातार परिभाषा कोलोमोगोरोव की सामान्य और विशेष संभावना की एक विशेष परिभाषा है।
ध्यान दें कि कोल्मोगोरोव के स्वयंसिद्ध को पूरा करने वाले संभाव्यता माप को परिभाषित करने के अन्य तरीके हैं, इसलिए अक्सर परिभाषावादी परिभाषा केवल एक ही संभव नहीं है।
निष्कर्ष
कोलमोगोरोव की स्वयंसिद्ध प्रणाली में संभावना '' अमूर्त '' है, इसका कोई वास्तविक अर्थ नहीं है, इसे केवल '' स्वयंसिद्ध '' नाम की शर्तों को पूरा करना है। केवल इन स्वयंसिद्धों का उपयोग करके कोलमोगोरोव प्रमेयों के एक बहुत समृद्ध सेट को प्राप्त करने में सक्षम था।
प्रायिकता की लगातार परिभाषा स्वयंसिद्धों को पूर्ण करती है और इसलिए सार की जगह, '' निरर्थक '' को प्रायिकता में परिभाषित एक प्रायिकता द्वारा, ये सभी प्रमेय मान्य हैं क्योंकि '' अतिवादी संभावना '' केवल एक विशेष है कोलमोगोरोव की सार संभावना का मामला (अर्थात यह स्वयंसिद्ध को पूरा करता है)।P
कोलमोगोरोव के सामान्य ढांचे में प्राप्त होने वाले गुणों में से एक बेयस नियम है। जैसा कि यह सामान्य और अमूर्त ढांचे में होता है, यह विशिष्ट मामले में (cfr supra) भी धारण करेगा कि संभाव्यता को एक क्रमवादी तरीके से परिभाषित किया जाता है (क्योंकि अक्सर परिभाषाकार स्वयंसिद्धों को पूरा करता है और ये स्वयंसिद्ध केवल वही होते हैं जिनकी आवश्यकता होती है) सभी प्रमेयों को प्राप्त करें)। तो एक संभावना के लगातार परिभाषा के साथ बेयसियन विश्लेषण कर सकता है।
एक क्रमिक तरीके से को परिभाषित करना एकमात्र संभावना नहीं है, इसे परिभाषित करने के अन्य तरीके हैं कि यह कोलमोगोरोव के अमूर्त स्वयंसिद्ध को पूरा करता है। इन '' विशिष्ट मामलों '' में बेयस का नियम भी रहेगा। तो एक भी संभावना के गैर- परिभाषावादी परिभाषा के साथ बेयसियन विश्लेषण कर सकता है।P
EDIT 23/8/2016
आपकी टिप्पणी पर @mpiktas प्रतिक्रिया:
जैसा कि मैंने कहा, सेट्स और प्रायिकता माप का स्वयंसिद्ध प्रणाली में कोई विशेष अर्थ नहीं है, वे सार हैं। Ω,FP
आदेश में इस सिद्धांत आप आगे देना है लागू करने के लिए परिभाषाएँ (ताकि आप अपनी टिप्पणी में क्या कहते हैं "यह आगे कुछ विचित्र परिभाषाएँ 'के साथ गड़बड़ करने की कोई जरूरत' है गलत, आप अतिरिक्त परिभाषाओं की जरूरत है )।
चलो इसे एक उचित सिक्के को उछालने के मामले में लागू करें। कोलमोगोरोव के सिद्धांत में सेट का कोई विशेष अर्थ नहीं है, इसे सिर्फ '' ए सेट '' होना है। इसलिए हमें यह निर्दिष्ट करना चाहिए कि यह सेट उचित सिक्के के मामले में क्या है, अर्थात हमें सेट को परिभाषित करना चाहिए । अगर हम टी के रूप में एच के रूप में सिर और पूंछ है, तो समूह को दर्शाती है है परिभाषा से ।ΩΩΩ Ω=def{H,T}
हमें घटनाओं को भी परिभाषित करना होगा, अर्थात -algebra । हम परिभाषित करते हैं कि । यह सत्यापित करना आसान है कि एक -algebra है।σFF=def{∅,{H},{T},{H,T}}Fσ
इसके बाद, हमें हर घटना के लिए परिभाषित करना होगा इसका उपाय। इसलिए हमें में से एक मानचित्र को परिभाषित करने की आवश्यकता है । मैं इसे लगातार तरीके से परिभाषित करूंगा, एक निष्पक्ष सिक्के के लिए, अगर मैं इसे भारी संख्या में टॉस करता हूं, तो सिर का अंश 0.5 होगा, इसलिए मैं । इसी प्रकार मैं , और । ध्यान दें कि में से एक मानचित्र है और यह Kolmogorov के स्वयंसिद्ध को पूरा करता है।E∈FF[0,1]P({H})=def0.5P({T})=def0.5P({H,T})=def1P(∅)=def0PF[0,1]
प्रायिकता की लगातार परिभाषा के साथ संदर्भ के लिए इस लिंक को देखें (अनुभाग 'परिभाषा' के अंत में) और इस लिंक को देखें ।