जब केंद्रीय सीमा प्रमेय और बड़ी संख्या के कानून असहमत हैं


19

यह अनिवार्य रूप से एक प्रश्न का एक प्रतिकृति है , जो मुझे math.se पर मिला था, जिसके उत्तर मुझे नहीं मिले , जिसकी मुझे आशा थी।

Let स्वतंत्र, समान रूप से वितरित यादृच्छिक चर का एक क्रम हो, जिसमें और ।{Xi}iNE[Xi]=1V[Xi]=1

के मूल्यांकन पर विचार करें

लिमnपी(1nΣमैं=1nएक्समैंn)

इस अभिव्यक्ति को तब से जोड़-तोड़ करना पड़ता है, जैसा कि असमानता की घटना के दोनों पक्ष अनंतता में होते हैं।

ए) ट्राइ सबट्रक्शन

सीमित कथन पर विचार करने से पहले, दोनों ओर से \ sqrt {n} घटाएँ n:

लिमnपी(1nΣमैं=1nएक्समैं-nn-n)=लिमnपी(1nΣमैं=1n(एक्समैं-1)0)=Φ(0)=12

CLT द्वारा अंतिम समानता, जहां Φ() मानक सामान्य वितरण फ़ंक्शन है।

बी) ट्राय की बहुक्रिया

दोनों पक्षों को 1/n

लिमnपी(1n1nΣमैं=1nएक्समैं1nn)=लिमnपी(1nΣमैं=1nएक्समैं1)

=लिमnपी(एक्स¯n1)=लिमnएफएक्स¯n(1)=1

जहाँ एफएक्स¯n() नमूना माध्य का वितरण कार्य है एक्स¯n , जो LLN द्वारा प्रायिकता 1 (और इसलिए वितरण में भी) को निरंतर 1 में परिवर्तित करता है 1, इसलिए अंतिम समानता है।

इसलिए हमें परस्पर विरोधी परिणाम मिलते हैं। कौन सा सही है? और दूसरा गलत क्यों है?


1
@JuhoKokkala ज़रूर, यहाँ, math.stackexchange.com/q/2830304/87400 ओपी की गलती को नज़रअंदाज़ करें।
एलेकोस पापाडोपोलोस

2
मुझे लगता है कि समस्या एलएलएन को लागू करने वाले दूसरे बयान में है
Glen_b -Reinstate मोनिका

3
मैंने अंतिम समानता तक आपका अनुसरण किया। क्योंकि हम उम्मीद करेंगे यह स्पष्ट रूप से गलत है, अनुमान लगाने के लिए बड़े के लिए और इसलिए अपनी सीमा के बराबर नहीं होना चाहिए यह इरादा औचित्य क्या है? यह बड़ी संख्या के कानून के किसी भी संस्करण का विवरण नहीं है जो मुझे पता है। 1 / 2 n 1।P(X¯n1)1/2n1।
whuber

1
@ वाउचर माना जाता है, कि नमूने के लिए सभी संभावना मूल्य केंद्रित है । यदि यह गलत है, तो मेरा मानना ​​है कि गलती के लिए एक उत्तर में विस्तृत होना महत्वपूर्ण है, यही इस प्रश्न का उद्देश्य है। 1
एलेकोस पापाडोपोलोस

2
एलेकोस, मेरी चिंता यह नहीं है कि अंतिम चरण गलत है: इसे बनाने के आपके कारणों की चिंता है। ऐसा नहीं है कि आखिर सवाल क्या है? मैंने अभी भी उन कारणों को देने से कुछ भी नहीं पढ़ा है और मैं यह अनुमान लगाने में भी संकोच करूंगा कि वे क्या हो सकते हैं। यद्यपि आप एक "एलएलएन" का उल्लेख करते हैं, मेरा मानना ​​है कि आपकी समस्या का समाधान सटीक रूप से वर्णन करने में झूठ बोलने की संभावना है जो आप "एलएलएन" को मुखर करने के लिए समझते हैं।
whuber

जवाबों:


15

त्रुटि यहाँ निम्नलिखित वास्तव में संभावना है: वितरण में अभिसरण परोक्ष मानता है कि के लिए converges पर की निरंतरता के बिंदु । जैसा कि सीमा वितरण एक निरंतर यादृच्छिक चर का है, इसमें पर एक कूद असंतोष है , इसलिए यह निष्कर्ष निकालना गलत है कि CDF परिवर्तित होता है । F ( x ) F ( x ) x = 1 F ( x ) = 1एफn(एक्स)एफ(एक्स) एफ(एक्स)एक्स=1एफ(एक्स)=1


1
जिस तरह से हम अभिसरण में अभिसरण को परिभाषित करते हैं, वह असंगतता के बिंदुओं पर अभिसरण की संभावना को बाहर नहीं करता है -इसकी आवश्यकता है।
एलेकोस पापाडोपोलोस

1
लेकिन अगर वितरण में अभिसरण के लिए को परिवर्तित करने की आवश्यकता नहीं है , तो प्रश्न पर आधारित अंतिम समानता क्या है? एफ ( 1 )एफn(1)एफ(1)
जुहो कोक्कल

1
@ जूहू यह किसी भी चीज पर आधारित नहीं है - यह इस मामले की जड़ है। कोई प्रमेय नहीं है जो प्रश्न में अंतिम समीकरण बनाने की अनुमति देता है।
whuber

1
@AlecosPapadopoulos: मैंने कभी नहीं कहा कि यह संभावना को बाहर नहीं करता है। मैं स्पष्ट रूप से कह रहा हूं कि आपको वितरण में अभिसरण से आपको जो कुछ दिया गया है, उससे परे अंतिम समानता को उचित ठहराने की जरूरत है। उदाहरण के लिए यदि बर्नौली है, तो यह सच होगा। Xn
एलेक्स आर।

11

लिए यादृच्छिक चर साथ परिभाषित अब, CLT कहता है कि प्रत्येक निश्चित वास्तविक संख्या , । OP, CLT को का मूल्यांकन करने के लिए लागू होता है E [एक्समैंZ n[एक्समैं]=वर(एक्समैं)=1zलिमnएफजेडएन(z)=Φ(z-1)

जेडn=1nΣमैं=1nएक्समैं,Yn=1nΣमैं=1nएक्समैं
zलिमnएफजेडn(z)=Φ(z-1)
लिमnपी(जेडn1n)=Φ(0)=12

जैसा कि अन्य उत्तरों के साथ-साथ ओपी के सवाल पर कई टिप्पणियों से पता चला है, यह ओपी का मूल्यांकन है जो कि संदिग्ध है। विशेष मामले पर विचार करें जब iid समान और के बराबर मानों पर यादृच्छिक यादृच्छिक चर असतत । अब, में सभी पूर्णांक मान भी ले सकता है और इसलिए जब विषम हो, मान और पर नहीं ले सकता मान पर नहीं ले सकतालिमnपी(Yn1) 0 2 1एक्समैं02 Σ n मैं = 1 एक्समैं[0,2एन]nΣ n मैं = 112Σमैं=1nएक्समैं[0,2n]n एन वाई एन = 1Σमैं=1nएक्समैंn1वाईएन1पी(Yn1Yn=1nΣमैं=1nएक्समैं 1। इसके अलावा, चूंकि का वितरण बारे में सममित है , इसलिए हमारे पास का मान जब भी विषम है। इस प्रकार, अनुक्रम संख्या के शामिल परिणाम को जिसमें सभी शब्दों का मान । दूसरी ओर, परिणाम को है converging के लिए । इसलिये,Yn11पी(Yn1)=एफYn(1) एन12nपी ( Y 11 ) , पी ( Y 31 ) , ... , पी ( Y 2 कश्मीर - 11 ) , ... 1

पी(Y11),पी(Y21),...,पी(Yn1),...
पी(Y11),पी(Y31),...,पी(Y2-11),...
पी(वाई21),पी(Y41),...,पी(वाई2कश्मीर1),...1लिमnपी(Yn12
पी(Y21),पी(Y41),...,पी(Y21),...
1पी ( Y n1 )लिमnपी(Yn1) मौजूद नहीं है और के 1 के अभिसरण के दावों को बहुत से देखा जाना चाहिए।पी(Yn1)

8

आपका पहला परिणाम सही है। आपकी गलती दूसरे गलत कथन में होती है:

limnFX¯n(1)=1.

यह कथन गलत है (दाहिने हाथ की ओर ) होना चाहिए और यह बड़ी संख्या के कानून का पालन ​​नहीं करता है । बड़ी संख्या का कमजोर कानून (जिसे आप कहते हैं) कहते हैं कि:12

limnP(|X¯n1|ε)=1for all ε>0.

सभी के लिए स्थिति कुछ मानों को फैलाता है जहाँ और कुछ मान जहाँ । इसलिए, यह LLN कि lim_ से अनुसरण नहीं करता है| ˉ एक्स एन - 1 | ε ˉ एक्स एन1 ˉ एक्स n > 1 लिम n पी ( ˉ एक्स एन1 ) = 1ε>0|X¯n1|εX¯n1X¯n>1limnP(X¯n1)=1


1
(त्रुटिपूर्ण वास्तव में) परिणाम निहितार्थ से आता है "संभाव्यता में अभिसरण का अर्थ है वितरण में अभिसरण।" सवाल यह नहीं बताता है कि दावा सीधे एलएलएन से आता है ।
एलेकोस पापाडोपोलोस

@AlecosPapadopoulos: संभाव्यता में अभिसरण वितरण में अभिसरण करता है। फिर, निरंतरता के बिंदुओं पर वितरण में अभिसरण की आवश्यकता होती है। लेकिन, हो सकता है कि आप का मतलब है कि संभाव्यता में अभिसरण का अर्थ है वितरण के बिंदुवार अभिसरण।
एलेक्स आर।

@AlexR। मुझे यकीन नहीं है कि आपकी आपत्ति कहां है। मेरा मानना ​​है कि यह मुद्दा मेरे अपने जवाब में शामिल है।
एलेकोस पापाडोपोलोस

3

संभाव्यता में रूपांतरण का अर्थ है वितरण में अभिसरण। लेकिन ... क्या वितरण? यदि सीमित वितरण में एक जंप डिसकंटीनिटी है तो सीमा अस्पष्ट हो जाती है (क्योंकि डिसकाउंट में कई मान संभव हैं)।

जहां नमूना माध्य का वितरण समारोह है , जो संभावना में LLN converges (और इसलिए भी वितरण में) स्थिर करने के लिए से ,ˉFX¯n()X¯n1

यह सही नहीं है, और यह दिखाना भी आसान है कि यह सही नहीं हो सकता (सीएलटी और एलएलबी के बीच मतभेद से अलग)। सीमित वितरण (जिसे सामान्य वितरित चर के अनुक्रम की सीमा के रूप में देखा जा सकता है) होना चाहिए:

FX¯(x)={0for x<10.5for x=11for x>1

इस फ़ंक्शन के लिए आपके पास, किसी भी और हर , अंतर है पर्याप्त रूप से बड़े लिए । यह बजाय बजाय विफल हो जाएगाx | एफ ˉ एक्स n ( x ) - एफ ˉ एक्सϵ>0xएनएफ ˉ एक्स (1)=1एफ ˉ एक्स (|FX¯n(x)FX¯(x)|<ϵnFX¯(1)=1FX¯(1)=0.5


एक सामान्य वितरण की सीमा

बड़ी संख्या के कानून को लागू करने के लिए इस्तेमाल की जाने वाली राशि को स्पष्ट रूप से लिखना उपयोगी हो सकता है।

X¯n=1ni=1nXiN(1,1n)

लिए की सीमा सीमा वास्तव में डिराक डेल्टा फ़ंक्शन के बराबर है जब इसे शून्य में जाने वाले विचरण के साथ सामान्य वितरण की सीमा के रूप में दर्शाया जाता है।एक्सnX^n

उस अभिव्यक्ति का उपयोग करके यह देखना अधिक आसान है कि सीएलटी एलएलएन के तैयार किए गए कानूनों का उपयोग करने के बजाय हुड के नीचे क्या चल रहा है, जो कानूनों के पीछे तर्क को अस्पष्ट करता है।


संभाव्यता में परिवर्तन

बड़ी संख्या का कानून आपको 'संभावना में अभिसरण' देता है

limnP(|X¯n1|>ϵ)=0

साथϵ>0

केंद्रीय सीमा प्रमेय के लिए केंद्रीय सीमा प्रमेय के लिए साथ एक समान कथन बनाया जा सकता है। limnP(|1n(Xi1)|>ϵn)=0

यह गलत है कि इसका मतलब है कि

limnP(|X¯n1|>0)=0

यह कम अच्छा है कि यह प्रश्न इतनी जल्दी क्रॉस-पोस्ट किया गया है (भ्रामक है, फिर भी विभिन्न चर्चाओं को देखने के लिए दिलचस्प है / गणित बनाम आँकड़े तक पहुंचता है, इसलिए यह बहुत बुरा नहीं है)। गणित स्टैकएक्सचेंज पर माइकल हार्डी का जवाब बड़ी संख्या के मजबूत कानून (क्रॉस पोस्ट किए गए सवाल और दिलीप के यहां ड्रब से स्वीकृत उत्तर के समान सिद्धांत) के संदर्भ में बहुत प्रभावी ढंग से पेश आता है। हम लगभग निश्चित हैं कि एक अनुक्रम 1 में परिवर्तित होता है, लेकिन इसका मतलब यह नहीं है किX¯1,X¯2,X¯3,...X¯nlimnP(X¯n=1)1 के बराबर होगा (या यह दिलीप शो के रूप में भी मौजूद नहीं हो सकता है)। टॉमस द्वारा टिप्पणियों में पासा उदाहरण एक अलग कोण से बहुत अच्छी तरह से दिखाता है (सीमा के बजाय मौजूदा नहीं, सीमा शून्य हो जाती है)। पासा रोल के अनुक्रम का मतलब पासा के साधन में परिवर्तित हो जाएगा लेकिन इसके बराबर होने की संभावना शून्य हो जाती है।


हीविसाइड स्टेप फंक्शन और डिराक डेल्टा फंक्शन

का CDF निम्नलिखित है:X¯n

FX¯n(x)=12(1+erfx12/n)

यदि आपको पसंद है, तो ( हीविसाइड स्टेप फंक्शन से संबंधित , डीरेका डेल्टा फंक्शन का अभिन्न अंग जब सीमा के रूप में देखा जाता है सामान्य वितरण)।limnFX¯n(1)=0.5


मेरा मानना ​​है कि यह दृश्य सहज रूप से 'शो गलत है' के संबंध में आपके प्रश्न को हल करता है या कम से कम यह दर्शाता है कि सीएलटी और एलएलएन की इस असहमति के कारण को समझने के बारे में सवाल डायट डेल्टा फ़ंक्शन के अभिन्न को समझने के सवाल के बराबर है या विचरण के साथ सामान्य वितरण का एक क्रम घटकर शून्य हो जाता है।


2
आपका सीमित वितरण वास्तव में वितरण नहीं है। एक सीडीएफ सही निरंतर होना चाहिए, जबकि यह स्पष्ट रूप से पर नहीं है । एक्स=1/2
एलेक्स आर।

सही निरंतरता आवश्यक प्रतीत होती है जैसे कि प्रत्येक के हमारे पास घटनाओं के रूप में पास नेस्टेड हैं, हमारे पास लेकिन क्या यह हमारे मामले के लिए सच है और पकड़ कहां है? क्या यह सही निरंतरता संभाव्यता स्वयंसिद्धों के आधार पर आवश्यक है या यह केवल एक सम्मेलन है जैसे कि सीडीएफ सबसे आम मामलों के लिए काम करता है? alimnFX(a+1n)=FX(a)Xa+1n
limnFX(a+1n)=limnP(Xa+1n)=P(limnXa+1n)=P(Xa)=FX(a)
सेक्सटस एम्पिरिकस

@ मर्टिन वेटरिंग्स: यह ठीक है जहां से यह आता है। किसी भी वैध उपाय को इन एकरसता परिणामों को संतुष्ट करना चाहिए। वे गिनने योग्य व्यसनशीलता के साथ-साथ की सीमा का परिणाम हैं । अधिक सामान्यतः, एक फ़ंक्शन एक CDF है (यानी माध्यम से कुछ वितरण से मेल खाता है यदि iff मोनोटोनिक होने के साथ-साथ दाईं-ओर है, , और बाईं सीमा 0, दाईं सीमा 1.पीपीएफ(एक्स)PF(b)F(a)=P(a<Xb)एफ
एलेक्स आर।

2

मेरा मानना ​​है कि अब तक यह स्पष्ट होना चाहिए कि "सीएलटी दृष्टिकोण" सही उत्तर देता है।

चलो ठीक उसी तरह इंगित करते हैं जहां "एलएलएन दृष्टिकोण" गलत हो जाता है।

परिमित कथनों से शुरू करते हुए, यह स्पष्ट है कि तब हम दोनों पक्षों से या तो को घटा सकते हैं , या दोनों पक्षों को गुणा कर सकते हैं । हमें मिलाn1/n

P(1ni=1nXin)=P(1ni=1n(Xi1)0)=P(1ni=1nXi1)

इसलिए यदि सीमा मौजूद है, तो यह समान होगी। स्थापना वितरण काम करता है, हम, का उपयोग कर दिया हैZn=1ni=1n(Xi1)

P(1ni=1nXin)=FZn(0)=FX¯n(1)

... और यह सच है कि ।limnFZn(0)=Φ(0)=1/2

"LLN दृष्टिकोण" में सोच इस प्रकार है: "हम LLN से पता है कि एक निरंतर करने के लिए probabililty में converges और हम यह भी कहा कि पता है।" संभावना में अभिसरण वितरण में अभिसरण का तात्पर्य "तो,। converges एक स्थिर करने के लिए वितरण में "। यहाँ तक हम सही हैं। तब हम कहते हैं: "इसलिए, लिए संभावनाओं को सीमित करके स्थिरांक के वितरण समारोह द्वारा यादृच्छिक चर पर दिया जाता है",एक्स¯nएक्स¯n
एक्स¯n1

एफ1(एक्स)={1एक्स10एक्स<1एफ1(1)=1

... so ...लिमnएफएक्स¯n(1)=एफ1(1)=1

... और हमने सिर्फ अपनी गलती की । क्यों? क्योंकि, @AlexR के रूप में जवाब का उल्लेख किया , कवर "वितरण में अभिसरण" केवल सीमित वितरण समारोह की निरंतरता का अंक। और लिए विच्छेदन का एक बिंदु है । इसका मतलब है कि हो सकता है के बराबर होना लेकिन यह नहीं हो सकता है , LLN के निहितार्थ "एक निरंतर करने के लिए वितरण में अभिसरण" negating के बिना ।1एफ1लिमnएफएक्स¯n(1) एफ1(1)

और सीएलटी दृष्टिकोण से हम जानते हैं कि सीमा का मूल्य ( ) क्या होना चाहिए । मुझे सीधे तौर पर यह साबित करने का कोई तरीका नहीं है कि सीधे उस ।1/2लिमnएफएक्स¯n(1)=1/2

क्या हमने कुछ नया सीखा?

मैंने किया। एलएलएन का दावा है कि

लिमnपी(|एक्स¯n-1|ε)=1सबके लिए ε>0

लिमn[पी(1-ε<एक्स¯n1)+पी(1<एक्स¯n1+ε)]=1

लिमn[पी(एक्स¯n1)+पी(1<एक्स¯n1+ε)]=1

LLN यह नहीं कहता है कि अंतराल में कैसे संभाव्यता आवंटित की गई है । मैंने जो सीखा है, वह यह है कि अभिसरण परिणामों के इस वर्ग में, संभावना समाप्‍त अंतराल के केंद्र बिंदु के दोनों किनारों पर समान रूप से आवंटित सीमा पर है। (1-ε,1+ε)

यहाँ सामान्य कथन है, मान लें

एक्सnपीθ,(n)(एक्सn-θ)डी(0,वी)

जहां वितरण समारोह के साथ कुछ आर.वी. है । फिरडीएफडी

लिमnपी[एक्सnθ]=लिमnपी[(n)(एक्सn-θ)0]=एफडी(0)

... जो (स्थिर आरवी का वितरण कार्य बराबर नहीं हो सकता है ।एफθ(0)

इसके अलावा, यह एक मजबूत उदाहरण है कि, जब सीमित रैंडम वेरिएबल के डिस्ट्रीब्यूशन फंक्शन में डिसकंटीनिटी होती है, तो "एक रैंडम वैरिएबल में डिस्ट्रीब्यूशन" एक ऐसी स्थिति का वर्णन कर सकता है, जहां "लिमिट डिस्ट्रीब्यूशन" लिमिटिंग के "डिस्ट्रीब्यूशन" से असहमत हो सकता है। यादृच्छिक चर "विराम बिंदुओं पर"। सख्ती से बोलना, निरंतरता अंक के लिए सीमित वितरण निरंतर यादृच्छिक चर है। डिसकंटिनिटी पॉइंट्स के लिए हम "अलग" संस्थाओं के रूप में सीमित संभावना की गणना करने में सक्षम हो सकते हैं।


'सबक सीखा' परिप्रेक्ष्य दिलचस्प है, और यह एक अच्छा है, बहुत मुश्किल नहीं है, उदाहरण के लिए आवेदन। हालांकि मुझे आश्चर्य है कि अनंत के बारे में यह (प्रत्यक्ष) व्यावहारिक अनुप्रयोग किस तरह का है, क्योंकि अंततः प्रैक्टिस मेंn
Sextus Empiricus

@MartijnWeterings मार्टिज़न, यहाँ प्रेरणा निश्चित रूप से शैक्षिक थी, क) एक "स्थिर" स्थिति में भी एक निरंतरता के अभिसरण के रूप में, और इसलिए भी सामान्य रूप में विसंगतियों के लिए एक चेतावनी के रूप में (वे उदाहरण के लिए समान अभिसरण को नष्ट करते हैं), और बी) जब संभाव्यता द्रव्यमान को कैसे आवंटित किया जाता है, तो यह परिणाम दिलचस्प हो जाता है जब अनुक्रम जो एक निरंतरता में संभाव्यता में परिवर्तित हो जाता है, फिर भी एक गैर-शून्य संस्करण होता है।
एलेकोस पापाडोपोलोस

हम कह सकते हैं कि सीएलटी चलो एक सामान्य वितरित चर को सीमित करने के लिए अभिसरण के बारे में कुछ कहते हैं (इस तरह रूप में इस तरह की चीजों को व्यक्त करने में सक्षम है ), लेकिन एलएलएन केवल हमें यह कहने की अनुमति देता है कि, नमूना आकार बढ़ाने से, हम करीब हो जाते हैं सही अर्थ के लिए, लेकिन यह नहीं कहता है कि हम प्राप्त करते हैं, उच्च संभावना के साथ, 'नमूना अर्थ के बराबर'। एलएलएन का मतलब है कि नमूना का मतलब एक सीमित मूल्य के करीब और करीब हो जाता है लेकिन इसके बराबर (उच्च संभावना के साथ) नहीं। LLN बारे में कुछ नहीं कहता हैएफ(एक्स)एफ(एक्स)
Sextus Empiricus

LLN के आस-पास के मूल विचार जहां वास्तव में विपरीत होते हैं (Arbuthnot आँकड़े . stackexchange.com/questions/343268 का तर्क देखें )। "जो कुछ कहा गया है, उससे यह दिखाई देता है कि बहुत बड़ी संख्या में पासा के साथ, A का लॉट बहुत छोटा हो जाएगा ... किसी भी समय पर होने वाले किसी भी समय के लिए, सभी संभावित परिवर्तनों का एक छोटा हिस्सा होगा, पुरुषों और महिलाओं की एक समान संख्या पैदा होनी चाहिए। "
सेक्सटस एम्पिरिकस
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.