यह कहने का क्या मतलब है कि एक घटना "अंततः होती है"?


15

पूर्णांकों पर एक 1 आयामी यादृच्छिक की पैदल दूरी पर विचार करें प्रारंभिक अवस्था के साथ :ZxZ

Sn=x+i=1nξi

जहां वेतन वृद्धि IID है जैसे कि ।ξiP{ξi=1}=P{ξi=1}=12

एक साबित कर सकता है कि (1)

Px{Sn reaches +1 eventually}=1

जहाँ सबस्क्रिप्ट प्रारंभिक स्थिति को दर्शाता है।

चलो राज्य के लिए सबसे पहले पारित होने के समय हो । दूसरे शब्दों में, । एक यह भी साबित कर सकता है कि (2)τ+1τ:=τ(1):=min{n0:Sn=1}

Eτ=+

दोनों प्रमाण http://galton.uchicago.edu/~lalley/Courses/312/RW.pdf में देखे जा सकते हैं । लेख पढ़ने के माध्यम से, मैं दोनों प्रमाणों को समझता हूं।

मेरा सवाल है, हालांकि, "अंततः" का अर्थ पहले बयान के साथ-साथ सामान्य रूप से क्या है। अगर कुछ "अंततः" होता है, तो यह परिमित समय में नहीं होता है, क्या यह होता है? यदि ऐसा है, तो वास्तव में कुछ के बीच अंतर क्या है जो नहीं होता है और ऐसा कुछ होता है जो "अंततः" नहीं होता है? कथन (1) और (2) कुछ अर्थों में मेरे लिए खुद का विरोध कर रहे हैं। क्या इस तरह के अन्य उदाहरण हैं?


संपादित करें

बस सवाल के लिए एक प्रेरणा जोड़ना चाहते हैं, अर्थात, "सीधे" होने वाली किसी चीज़ का एक सीधा उदाहरण, लेकिन परिमित समय के साथ।

P{walker eventually moves left}=1P{walker never moves left}=1limn12n=1

इसलिए हम जानते हैं कि वॉकर बाईं ओर "अंततः" चलेगा, और ऐसा करने से पहले अपेक्षित प्रतीक्षा समय (यानी, बाएं चलना) ।1/(1/2)=2

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


4
अंत में परिमित समय में कोई मतलब नहीं है। यह ठीक वही है जो इसके विपरीत हो रहा है: P परिमित है, जबकि ताऊ की उम्मीद अनंत है
seanv507

वैसे कैची वितरण का विहित उदाहरण en.wikipedia.org/wiki/Cauchy_distribution है
seanv507

2
@ seanv507 - हां, हालांकि कॉची वितरण का मतलब अनंत के बजाय अपरिभाषित है (कॉची डीबीएन से एक नमूना मतलब चारों ओर अप्रोच के बजाय कूद जाएगा, बजाय तेजी से + इन्फिनिटी में परिवर्तित होने के)। मैं Pareto वितरण ( en.wikipedia.org/wiki/Pareto_distribution ) के बारे में सोच रहा था , जिसका अर्थ है = इन्फिनिटी जब इसका आकार पैरामीटर और फिर भी एक अच्छी तरह से परिभाषित संभावना वितरण फ़ंक्शन है। nα<=1
राबर्टएफ

@RobertF धन्यवाद - मुझे
पेयरो

2
इस सब में कुछ आराम है: यदि , तो , लेकिन दूसरे तरीके से नहीं। [ τ ] = P(τ=)>0E[τ]=
एलेक्स आर।

जवाबों:


16

आप "आखिरकार होता है" एक घटना को कैसे प्रदर्शित करेंगे? आप काल्पनिक प्रतिद्वंद्वी के साथ एक विचार प्रयोग करेंगे। आपका प्रतिद्वंद्वी आपको किसी भी सकारात्मक संख्या साथ चुनौती दे सकता है । यदि आप एक n (जो सबसे अधिक संभावना p पर निर्भर करता है ) पा सकते हैं जिसके लिए समय n द्वारा होने वाली घटना की संभावना कम से कम 1 - p है , तो आप जीत जाते हैं।pnpn1p

उदाहरण में, " " भ्रामक संकेतन है क्योंकि आप इसका उपयोग रैंडम वॉक के एक राज्य के साथ-साथ पूरे रैंडम वॉक के लिए भी करते हैं। भेद को पहचानने के लिए ध्यान रखना चाहिए। "तक पहुँच 1 अंततः" एक सबसेट का उल्लेख करने के लिए है एस सभी यादृच्छिक के सेट की सैर Ω । प्रत्येक की पैदल दूरी पर एस Ω असीम कई कदम है। का मान एस समय में n है एस एन । " S 1 तक समय n तक पहुँचता है " राज्य के 1 तक पहुँच चुके पैदल चालों के सबसेट को दर्शाता हैSn1SΩSΩSnSnS1nΩ1समय से । सख्ती से, यह सेट हैn

Ω1,n={SΩS1=1 or S2=1 or  or Sn=1}.

काल्पनिक प्रतिद्वंद्वी करने के लिए अपने जवाब में, आप कुछ का प्रदर्शन कर रहे हैं संपत्ति उस के साथΩ1,n

Pξ(Ω1,n)1p.

क्योंकि मनमाना है, आप सेट के सभी तत्व उपलब्ध हैंn

Ω1,=n=1Ω1,n.

(याद रखें कि यदि और केवल यदि वहाँ एक से मौजूद है परिमित n जिसके लिए एस Ω 1 , एन , इसलिए किसी भी अनंत इस संघ में शामिल नंबर नहीं हैं।)Sn=1Ω1,n nSΩ1,n

इस गेम को जीतने की आपकी क्षमता से पता चलता है कि इस यूनियन में फॉर्म सभी मूल्यों को पार करने की संभावना है , चाहे कितना भी छोटा p > 0 क्यों न हो। नतीजतन, यह संभावना कम से कम 1 है - और इसलिए 1 बराबर है । आपने प्रदर्शन किया होगा, फिर, वह1pp>011

Pξ(Ω1,)=1.

"अंततः होने" और एक अनन्त अपेक्षित पहली पास समय के बीच अंतर की सराहना करने का एक सरल तरीका एक सरल स्थिति पर विचार करना है। के लिए किसी भी प्राकृतिक संख्या, चलो ω ( एन ) अनुक्रम होnω(n)

ω(n)=(0,0,,0n,1,1,)

जिसमें शून्य का अनुसरण लोगों के अंतहीन तार द्वारा किया जाता है। दूसरे शब्दों में, ये वे पद हैं जो मूल पर रहते हैं और कुछ (परिमित) समय बिंदु 1 पर पहुंच जाते हैं , फिर हमेशा बने रहें।n1

चलो इन सभी के सेट हो ω ( एन ) , एन = 0 , 1 , 2 , ... असतत सिग्मा बीजगणित के साथ। के माध्यम से एक प्रायिकता माप निर्दिष्ट करेंΩω(n),n=0,1,2,

P(ω(n))=1n+11n+2=1(n+1)(n+2).

यह 1 - 1 / ( n + 1 ) के बराबर n द्वारा कूदने का मौका बनाने के लिए डिज़ाइन किया गया था , जो स्पष्ट रूप से मनमाने ढंग से 1 के करीब पहुंचता है । आप खेल जीतेंगे। कूद अंततः होता है और जब यह होता है, तो यह कुछ सीमित समय पर होगा। हालाँकि, अपेक्षित समय जब ऐसा होता है, जीवित रहने का कार्य होता है (जो समय n पर कूदने की संभावना नहीं देता है )1 n11/(n+1)1n

E(τ)=11+12+13+,

कौन सा विचलन होता है। ऐसा इसलिए है क्योंकि कूदने से पहले लंबे समय तक प्रतीक्षा करने के लिए अपेक्षाकृत बड़ी संभावना दी जाती है।


एम आई गलतफहमी अगर मैं एक एप्सिलॉन / डेल्टा तर्क को करने के लिए नीचे उबलते, और इस प्रकार मूल रूप से के रूप में अपने पहले खंड कह पढ़ (जहां पी एन है के बाद कुछ घटना की संभावना n कदम)?
limnPn=1
Pnn
jpmc26

1
@jpm यह सिर्फ यह करने के लिए नीचे उबाल नहीं करता है: यह है एक एप्सिलॉन-डेल्टा तर्क। इस मामले में "डेल्टा" " " है और "एप्सिलॉन" को अनुस्मारक के रूप में " पी " लिखा जाता है कि यह एक संभावना है। जोर यहाँ पर है परिमितता की n : सीमा परिमित मूल्यों और परिमित संचालन, नहीं अनंत लोगों के संदर्भ में परिभाषित कर रहे हैं। npn
whuber

मैं के उपयोग के सुझाव देने के लिए एक अनाम उपयोगकर्ता धन्यवाद underbraceके वर्णन में ω(n)
whuber

3

कि कुछ होता है अंत में इसका मतलब है कि समय में कुछ बिंदु होता है जिस पर ऐसा होता है, लेकिन एक अनुमान है कि कोई भी निर्दिष्ट समय से पहले ऐसा नहीं कर रहा है। यदि आप कहते हैं कि तीन सप्ताह के भीतर कुछ होगा, तो यह एक मजबूत बयान है कि यह अंततः होगा। यह होगा कि अंततः एक समय निर्दिष्ट नहीं होगा, जैसे "तीन सप्ताह" या "तीस-अरब वर्ष" या "एक मिनट"।

हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.