Mathematics · किताब 4 · Bachelor Year 2

विश्वविद्यालय गणित — स्नातक वर्ष 2

विश्वविद्यालय गणित — स्नातक वर्ष 2 · Bachelor Year 2

21गणनीय समष्टियों पर प्रायिकता

अंतिम तीन अध्याय आधुनिक प्रायिकता सिद्धांत विकसित करते हैं: गणनीय प्रतिदर्श समष्टियों पर प्रायिकता माप, विविक्त यादृच्छिक चर, और जनक फलन। हाई स्कूल खंड का परिमित सिद्धांत यहाँ अपना पूरा ढाँचा पा लेता है: परिमित योज्यता की जगह σ\sigma-योज्यता ले लेती है, और अध्याय 7 की योग्य-कुल मशीनरी ठीक वही है जो अपरिमित प्रतिदर्श समष्टियों को साधने योग्य बनाती है। यहाँ के केंद्रीय परिणाम घटनाओं के एकदिष्ट अनुक्रमों के अनुदिश प्रायिकता की संततता तथा बोरेल–कांतेली प्रमेयिका हैं।

21.1 प्रायिकता समष्टियाँ

परिभाषा 21.1 (गणनीय प्रायिकता समष्टि)

मान लीजिए Ω\Omega कोई अरिक्त परिमित या गणनीय समुच्चय है (प्रतिदर्श समष्टि)। Ω\Omega पर प्रायिकता माप Ω\Omega के सारे उपसमुच्चयों (घटनाओं) के समुच्चय P(Ω)\mathcal{P}(\Omega) से [0,1][0, 1] में कोई ऐसा प्रतिचित्रण P\P है कि:

  1. P(Ω)=1\P(\Omega) = 1;
  2. (σ\sigma-योज्यता) जोड़े-जोड़े में असंयुक्त घटनाओं के हर अनुक्रम (An)nN(A_n)_{n\in\N} के लिए,

    P(nNAn)=n=0P(An).\P\Bigl(\,\bigcup_{n \in \N} A_n\Bigr) = \sum_{n=0}^{\infty} \P(A_n) .

युग्म (Ω,P)(\Omega, \P) कोई (गणनीय) प्रायिकता समष्टि है।

टिप्पणी 21.2

गणनीय Ω\Omega पर हम सारे उपसमुच्चय घटनाओं के रूप में ले सकते हैं; अगणनीय समष्टियों पर (जैसा वर्ष 3 के संतत प्रतिरूपों के लिए चाहिए) यह अब संभव नहीं रहता, और P\P को घटनाओं के किसी उपयुक्त संग्रह, किसी σ\sigma-बीजगणित, तक सीमित कर दिया जाता है। इस अध्याय के सारे सूत्र उस व्यापकीकरण को अक्षरशः झेल जाते हैं।

प्रतिज्ञप्ति 21.3 (प्रारंभिक नियम)

घटनाओं A,BA, B तथा किसी प्रायिकता माप P\P के लिए: P()=0\P(\emptyset) = 0; P\P परिमित रूप से योज्य है; P(Ac)=1P(A)\P(A^c) = 1 - \P(A); यदि ABA \subseteq B हो तो P(A)P(B)\P(A) \leq \P(B); और

P(AB)=P(A)+P(B)P(AB).\P(A \cup B) = \P(A) + \P(B) - \P(A \cap B) .

उपपत्ति. A0=ΩA_0 = \Omega, An=A_n = \emptyset (n1n \geq 1) पर σ\sigma-योज्यता लगाने पर 1=1+n1P()1 = 1 + \sum_{n\geq1}\P(\emptyset) मिलता है, अतः P()=0\P(\emptyset) = 0; और किसी परिमित असंयुक्त संघ में रिक्त समुच्चय भर देने पर परिमित योज्यता मिल जाती है। शेष परिमित स्थिति की तरह ही निकलता है (हाई स्कूल खंड): Ω=AAc\Omega = A \sqcup A^c से 1=P(A)+P(Ac)1 = \P(A) + \P(A^c); ABA \subseteq B होने पर P(B)=P(A)+P(BA)P(A)\P(B) = \P(A) + \P(B \setminus A) \geq \P(A); और तीन असंयुक्त टुकड़ों में अपघटित करने पर,

P(AB)=P(AB)+P(BA)+P(AB)=(P(A)P(AB))+(P(B)P(AB))+P(AB),\begin{align*} \P(A \cup B) &= \P(A \setminus B) + \P(B \setminus A) + \P(A \cap B)\\ &= \bigl(\P(A) - \P(A\cap B)\bigr) + \bigl(\P(B) - \P(A\cap B)\bigr) + \P(A \cap B), \end{align*}

जो समावेश–अपवर्जन है; व्यापक nn-समुच्चय रूप अभ्यास 21.4 है।

प्रतिज्ञप्ति 21.4 (गणनीय समष्टि पर बंटन)

गणनीय Ω={ω0,ω1,}\Omega = \{\omega_0, \omega_1, \dots\} पर कोई प्रायिकता माप देना ठीक-ठीक ipi=1\sum_i p_i = 1 वाले भार pi=P({ωi})0p_i = \P(\{\omega_i\}) \geq 0 देने के बराबर है; तब हर AΩA \subseteq \Omega के लिए

P(A)=ωAP({ω}),\P(A) = \sum_{\omega \in A} \P(\{\omega\}) ,

जो कुल (pi)(p_i) का कोई (निरपेक्षतः अभिसारी) उप-योग है।

उपपत्ति. P\P दिया हो, तो एकल समुच्चय {ω}\{\omega\}, ωA\omega \in A, AA का कोई गणनीय असंयुक्त आच्छादन बनाते हैं, अतः σ\sigma-योज्यता बाध्य कर देती है कि

P(A)=ωAP({ω}),\P(A) = \sum_{\omega\in A}\P(\{\omega\}),

जो अऋणात्मक योग्य कुल (pi)(p_i) का कोई अशर्त उप-योग है — पुनःक्रमण ठीक इसलिए हानिरहित है कि पद अऋणात्मक हैं (अध्याय 7); विशेष रूप से ipi=P(Ω)=1\sum_ip_i = \P(\Omega) = 1। विलोमतः, कुल योग 11 वाले अऋणात्मक भार दिए हों, तो P(A)=ωApω\P(A) = \sum_{\omega \in A}p_\omega परिभाषित कीजिए: कुल योग्य है, और σ\sigma-योज्यता ठीक अध्याय 7 की पुलिंदों से योग वाली प्रमेय है, जो An\bigcup A_n के AnA_n में विभाजन पर लगाई गई है।

उदाहरण 21.5 (ज्यामितीय प्रतिरूप: पहले चित्त की प्रतीक्षा)

चित्त की प्रायिकता p(0,1)p \in \intoo{0}{1} वाला कोई सिक्का बार-बार उछालिए, और मान लीजिए Ω=N{}\Omega = \N^* \cup \{\infty\} पहले चित्त की कोटि दर्ज करता है। स्वाभाविक भार हैं

P({k})=(1p)k1p(kN),P({})=0,\P(\{k\}) = (1 - p)^{k-1}p \quad (k \in \N^*), \qquad \P(\{\infty\}) = 0 ,

जो कोई प्रायिकता माप है, क्योंकि k1(1p)k1p=p1(1p)=1\sum_{k\geq1}(1-p)^{k-1}p = \frac{p}{1 - (1-p)} = 1: अर्थात् प्रायिकता 11 के साथ खेल समाप्त हो जाता है — पर प्रतिदर्श समष्टि में यह संभावना भी रहनी ही चाहिए कि वह समाप्त न हो। गणनीय योज्यता ही हमें P(खेल समाप्त होता है)=kP({k})\P(\text{खेल समाप्त होता है}) = \sum_k \P(\{k\}) कहने देती है।

प्रमेय 21.6 (एकदिष्ट संततता)

मान लीजिए (An)(A_n) घटनाओं का कोई अनुक्रम है।

  1. यदि सब nn के लिए AnAn+1A_n \subseteq A_{n+1} हो (वर्धमान), तो P(nAn)=limnP(An)\P\bigl(\bigcup_n A_n\bigr) = \lim_{n\to\infty} \P(A_n)
  2. यदि सब nn के लिए AnAn+1A_n \supseteq A_{n+1} हो (ह्रासमान), तो P(nAn)=limnP(An)\P\bigl(\bigcap_n A_n\bigr) = \lim_{n\to\infty} \P(A_n)

उपपत्ति. 1. असंयुक्त कीजिए: B0=A0B_0 = A_0 तथा Bn=AnAn1B_n = A_n \setminus A_{n-1} रखिए। BnB_n जोड़े-जोड़े में असंयुक्त हैं, जहाँ knBk=An\bigcup_{k \leq n} B_k = A_n और nBn=nAn\bigcup_n B_n = \bigcup_n A_nσ\sigma-योज्यता तथा परिमित योज्यता से,

P(nAn)=n=0P(Bn)=limNn=0NP(Bn)=limNP(AN).\P\Bigl(\bigcup_n A_n\Bigr) = \sum_{n=0}^\infty \P(B_n) = \lim_{N\to\infty}\sum_{n=0}^N \P(B_n) = \lim_{N\to\infty}\P(A_N) .

2. पूरकों पर जाइए: (Anc)(A_n^c) वर्धमान है और उसका संघ (An)c\bigl(\bigcap A_n\bigr)^c है; भाग 1 लगाइए: 1P(An)=lim(1P(An))1 - \P(\bigcap A_n) = \lim (1 - \P(A_n))

उपप्रमेय 21.7 (गणनीय उप-योज्यता)

घटनाओं के किसी भी अनुक्रम के लिए P(nAn)n=0P(An)\P\bigl(\bigcup_n A_n\bigr) \leq \sum_{n=0}^\infty \P(A_n)

उपपत्ति. परिमित उप-योज्यता P(A0AN)0NP(An)\P(A_0 \cup \dots \cup A_N) \leq \sum_0^N \P(A_n) आगमन से समावेश–अपवर्जन से निकलती है (अथवा असंयुक्त किए गए BnAnB_n \subseteq A_n पर योज्यता से)। NN \to \infty रखिए: वर्धमान अनुक्रम CN=A0ANC_N = A_0 \cup \dots \cup A_N पर एकदिष्ट संततता लगाने से बायाँ पक्ष P(nAn)\P(\bigcup_n A_n) तक अभिसरण करता है।

उदाहरण 21.8 (संघ परिबंध: कच्चा, पर अटूट)

परिमित रूप से कई घटनाओं के साथ उप-योज्यता — अर्थात् संघ परिबंध — परिशुद्धता देकर सार्वभौमिकता ख़रीद लेती है। 2323 व्यक्तियों वाली जन्मदिन समस्या में टकराव की प्रायिकता को युग्मों पर योग से परिबद्ध करने पर सच्चे 0.5070.507 के सामने

P(टकराव)(232)1365=2533650.693,\P(\text{टकराव}) \leq \binom{23}2\cdot\frac1{365} = \frac{253}{365} \approx 0.693 ,

मिलता है: काफ़ी दूर, क्योंकि टकराव आपस में अतिव्यापी होते हैं। फिर भी इस परिबंध को कोई स्वतंत्रता नहीं चाहिए, न कोई संयुक्त नियम, केवल युग्म-प्रायिकताएँ — और इसीलिए सप्ताहांत समस्या में तथा अध्याय 22 भर संघ परिबंध सबसे पहले निकाला जाने वाला औज़ार है: जब वह संयोग से छोटा निकल आए, तब बात बिना किसी और प्रतिरूपण के तय हो जाती है।

उदाहरण 21.9 (छक्का अंततः आता ही है)

कोई निष्पक्ष पासा सदा फेंकते रहिए और मान लीजिए Bn=B_n = {} “पहले nn फेंकों में कम से कम एक छक्का” है, जो घटनाओं का कोई वर्धमान अनुक्रम है, जहाँ P(Bn)=1(5/6)n\P(B_n) = 1 - (5/6)^n। एकदिष्ट संततता देती है

P(अंततः कोई छक्का आता है)=P(nBn)=limn(1(5/6)n)=1.\P(\text{अंततः कोई छक्का आता है}) = \P\Bigl(\bigcup_nB_n\Bigr) = \lim_n\bigl(1 - (5/6)^n\bigr) = 1 .

बात (स्पष्ट) सीमा की नहीं, तार्किक पग की है: “अंततः” अपरिमित रूप से कई फेंकों के विषय में कोई घटना है, जो परिमित योज्यता की पहुँच से बाहर है, और एकदिष्ट संततता — यानी σ\sigma-योज्यता — ठीक वही अभिगृहीत है जो उसे कोई प्रायिकता सौंपती है। इस पुस्तक के शेष भाग का हर लगभग-निश्चित कथन इसी सँकरे द्वार से गुज़रता है।

21.2 प्रतिबंधन और स्वतंत्रता

परिभाषा 21.10 (सप्रतिबंध प्रायिकता)

P(B)>0\P(B) > 0 वाली घटनाओं A,BA, B के लिए BB दिए जाने पर AA की सप्रतिबंध प्रायिकता है

P(AB)=P(AB)P(B).\P(A \mid B) = \frac{\P(A \cap B)}{\P(B)} .

प्रतिचित्रण AP(AB)A \mapsto \P(A \mid B) स्वयं Ω\Omega पर कोई प्रायिकता माप है।

टिप्पणी 21.11

APB ⁣(A)A \mapsto \pcond BA का फिर से प्रायिकता माप होना एक क्षण के ठहराव योग्य है: PB ⁣(Ω)=1\pcond B\Omega = 1 तथा σ\sigma-योज्यता विभाजन से पार निकल जाती हैं, क्योंकि BB के साथ प्रतिच्छेदन असंयुक्त संघों का आदर करता है। व्यावहारिक परिणाम: इस अध्याय की हर सर्वसमिका — समावेश–अपवर्जन, एकदिष्ट संततता, बोरेल–कांतेली — प्रतिबंधन के बाद भी लगाई जा सकती है, बिना किसी नई उपपत्ति के। प्रायिकतावादी ठीक इसी कारण लगातार “PB ⁣()\pcond B{\cdot} के अंतर्गत” काम करते हैं।

उदाहरण 21.12 (प्रतिबंधन एकसमानता पैदा कर सकता है)

दो निष्पक्ष पासे फेंकिए और योग 77 होने पर प्रतिबंधित कीजिए: हर k[ ⁣[1,6] ⁣]k \in \intint16 के लिए

P{S=7} ⁣(X=k)=P(X=k, Y=7k)P(S=7)=1/366/36=16:\pcond{\{S = 7\}}{X = k} = \frac{\P(X = k,\ Y = 7 - k)}{\P(S = 7)} = \frac{1/36}{6/36} = \frac16 :

अर्थात् योग 77 दिया हो तो पहला पासा ठीक-ठीक एकसमान है — 77 ही वह अकेला योग है जो हर फलक के अनुकूल है, अतः प्रतिबंधन XX के विषय में सारी सूचना मिटा देता है। और कोई भी दूसरा योग नियम को तिरछा कर देता है (योग S=4S = 4 दिया हो तो पहला पासा केवल {1,2,3}\{1, 2, 3\} पर एकसमान है)। किसी सप्रतिबंध नियम का परिकलन प्रतिबंधन-घटना के अनुदिश संयुक्त भारों का पुनःसामान्यीकरण है, और कुछ नहीं।

उदाहरण 21.13 (दूसरी खींच पहली जितनी ही अच्छी है)

किसी कलश में 33 सफ़ेद और 22 काली गेंदें हैं; बिना प्रतिस्थापन दो खींचिए। सब मानते हैं कि P(W1)=35\P(W_1) = \frac35; तो P(W2)\P(W_2) क्या है? पहली खींच के अनुदिश पूर्ण प्रायिकता:

P(W2)=PW1 ⁣(W2)P(W1)+PB1 ⁣(W2)P(B1)=2435+3425=1220=35:\P(W_2) = \pcond{W_1}{W_2}\,\P(W_1) + \pcond{B_1}{W_2}\,\P(B_1) = \frac24\cdot\frac35 + \frac34\cdot\frac25 = \frac{12}{20} = \frac35 :

अर्थात् ठीक P(W1)\P(W_1)। किसी परिकलन की ज़रूरत नहीं थी: सममिति से हर गेंद के दूसरी खींची जाने की संभावना बराबर है, अतः दूसरी खींच का — बिना प्रतिबंधन के — वही नियम है जो पहली का। पहले परिणाम पर प्रतिबंधन संभावनाएँ बदल देता है; उसे न जानना नहीं बदलता। यह विनिमेयता तर्क अगले अध्याय में बिना प्रतिस्थापन प्रतिचयन के लिए लौटता है, जहाँ वह बिना किसी द्विपद सर्वसमिका के अतिज्यामितीय माध्य npnp दे देता है।

प्रमेय 21.14 (संयुक्त प्रायिकताएँ, पूर्ण प्रायिकता, बेज़)

  1. (शृंखला नियम) यदि P(A1An1)>0\P(A_1 \cap \dots \cap A_{n-1}) > 0, तो

    P(A1An)=P(A1)P(A2A1)P(AnA1An1).\P(A_1 \cap \dots \cap A_n) = \P(A_1)\,\P(A_2 \mid A_1)\cdots \P(A_n \mid A_1 \cap \dots \cap A_{n-1}) .
  2. (पूर्ण प्रायिकता) यदि (Bi)iI(B_i)_{i \in I} P(Bi)>0\P(B_i) > 0 वाला Ω\Omega का कोई परिमित या गणनीय विभाजन हो, तो हर घटना AA के लिए:

    P(A)=iIP(ABi)P(Bi).\P(A) = \sum_{i \in I} \P(A \mid B_i)\,\P(B_i) .
  3. (बेज़) उन्हीं परिकल्पनाओं के अंतर्गत, यदि इसके अतिरिक्त P(A)>0\P(A) > 0 हो:

    P(BjA)=P(ABj)P(Bj)iIP(ABi)P(Bi).\P(B_j \mid A) = \frac{\P(A \mid B_j)\,\P(B_j)} {\sum_{i \in I} \P(A \mid B_i)\,\P(B_i)} .

उपपत्ति. 1. हर सप्रतिबंध प्रायिकता को किसी विभाग के रूप में लिखिए: दायाँ पक्ष

P(A1)P(A1A2)P(A1)P(A1A2A3)P(A1A2)P(A1An)P(A1An1),\P(A_1)\cdot\frac{\P(A_1 \cap A_2)}{\P(A_1)}\cdot \frac{\P(A_1 \cap A_2 \cap A_3)}{\P(A_1 \cap A_2)}\cdots \frac{\P(A_1 \cap \dots \cap A_n)}{\P(A_1 \cap \dots \cap A_{n-1})},

है, जो कोई दूरबीनी गुणनफल है: हर हर पिछले अंश को काट देता है, और P(A1An)\P(A_1 \cap \dots \cap A_n) बचा रह जाता है। एकदिष्टता से सारे हर P(A1An1)>0\geq \P(A_1 \cap \dots \cap A_{n-1}) > 0 हैं, अतः कुछ भी लुप्त नहीं होता। (परिकल्पना ठीक इसी की रखवाली करती है: शून्य प्रायिकता वाली घटना पर प्रतिबंधन अपरिभाषित है।) 2. समुच्चय ABiA \cap B_i जोड़े-जोड़े में असंयुक्त हैं और उनका संघ AA है; (σ\sigma-)योज्यता तथा प्रतिबंधन की परिभाषा लगाइए। 3. P(BjA)P(A)=P(ABj)P(Bj)\P(B_j \mid A)\P(A) = \P(A \mid B_j)\P(B_j) के दोनों पक्ष P(ABj)\P(A \cap B_j) के बराबर हैं; P(A)\P(A) से भाग दीजिए और P(A)\P(A) को पूर्ण प्रायिकता से खोलिए।

उदाहरण 21.15 (जन्मदिन का टकराव, शृंखला नियम से)

nn व्यक्तियों के जन्मदिन, जो स्वतंत्र हैं और 365365 दिनों पर एकसमान, लेकर मान लीजिए Dn=D_n = {}nn जन्मदिन सब अलग-अलग हैं” है। व्यक्ति दर व्यक्ति प्रतिबंधन (शृंखला नियम):

P(Dn)=k=1n1(1k365),\P(D_n) = \prod_{k=1}^{n-1}\Bigl(1 - \frac{k}{365}\Bigr),

जहाँ हर नए व्यक्ति को पहले से लिए गए kk दिनों से बचना पड़ता है। n=23n = 23 के लिए: P(D23)0.493\P(D_{23}) \approx 0.493 — अर्थात् साझा जन्मदिन पहले ही न होने से अधिक संभावित है। 2323 के छोटेपन को समझाने वाला अंतर्ज्ञान: लघुगणक लेने पर lnP(Dn)k<nk365=(n2)365-\ln \P(D_n) \approx \sum_{k<n}\frac k{365} = \frac{\binom n2}{365}, और (232)=253\binom{23}2 = 253 253/3650.693ln2253/365 \approx 0.693 \approx \ln 2 दे देता है। जो मायने रखता है वह युग्मों की संख्या है, जो वर्गिक रूप से बढ़ती है: टकराव की समस्याएँ मापक्रम n365n \sim \sqrt{365} पर जीती हैं, n365n \sim 365 पर नहीं — जन्मदिन का विरोधाभास भेस बदला हुआ वर्गमूल है।

उदाहरण 21.16 (मॉन्टी हॉल, बेज़ से)

कोई इनाम तीन दरवाज़ों में से एक के पीछे एकसमान रूप से छिपा है। आप दरवाज़ा 11 चुनते हैं; मेज़बान, जो जानता है कि इनाम कहाँ है, बाक़ी दरवाज़ों में से एक खोल देता है, जो सदा ख़ाली होता है (चुनाव होने पर वह एकसमान रूप से चुनता है), कहिए दरवाज़ा 33। मान लीजिए Bi=B_i = {} “इनाम दरवाज़ा ii के पीछे” और A=A = {} “मेज़बान दरवाज़ा 33 खोलता है”। तब PB1 ⁣(A)=12\pcond{B_1}{A} = \frac12, PB2 ⁣(A)=1\pcond{B_2}{A} = 1, PB3 ⁣(A)=0\pcond{B_3}{A} = 0, अतः बेज़ (प्रमेय 21.14) से

P(B2A)=1131213+113+013=23:\P(B_2 \mid A) = \frac{1\cdot\frac13} {\frac12\cdot\frac13 + 1\cdot\frac13 + 0\cdot\frac13} = \frac23 :

अर्थात् दरवाज़ा बदलने पर तीन में से दो बार जीत होती है। यह परिकलन लोकप्रिय भ्रम को ठीक-ठीक पकड़ लेता है: मेज़बान की चाल सूचनापूर्ण है (यदि इनाम वहाँ होता तो वह दरवाज़ा 22 खोल ही नहीं सकता था), और बेज़ का सूत्र वह लेखा-यंत्र है जो इस विषमता को 23\frac23 में बदल देता है। “जो सच है” पर नहीं, बल्कि “जो देखा गया” पर प्रतिबंधन ही इस सूत्र की पूरी कला है।

उदाहरण 21.17 (शेवालिये डी मेरे की दो बाज़ियाँ)

सत्रहवीं शताब्दी की दो बाज़ियाँ, जो स्वतंत्रता से तय होती हैं। पहली बाज़ी: किसी पासे के 44 फेंकों में कम से कम एक छक्का,

P=1(56) ⁣40.518>12.\P = 1 - \Bigl(\frac56\Bigr)^{\!4} \approx 0.518 > \frac12 .

दूसरी बाज़ी: दो पासों के 2424 फेंकों में कम से कम एक दोहरा छक्का,

P=1(3536) ⁣240.491<12.\P = 1 - \Bigl(\frac{35}{36}\Bigr)^{\!24} \approx 0.491 < \frac12 .

डी मेरे ने तर्क किया कि संभावना 136\frac1{36} पर 2424 फेंक संभावना 16\frac16 पर 44 फेंकों से मेल खाने चाहिए (वही अनुपात 2436=46\frac{24}{36} = \frac46); इस समानुपातिकता की विफलता — संघों की प्रायिकताएँ रैखिक रूप से मापित नहीं होतीं — के बारे में कहा जाता है कि उसी ने उसे पास्काल को पत्र लिखने के लिए उकसाया, और इस तरह प्रायिकता सिद्धांत को जन्म दिया। सही तुलना लघुगणकों के द्वारा है: संभावना pp पर nn प्रयास प्रायिकता 1(1p)n1enp1 - (1-p)^n \approx 1 - \eu^{-np} के साथ कम से कम एक बार सफल होते हैं, अतः ईमानदार निश्चर npnp है: यहाँ 416=234\cdot\frac16 = \frac23 बनाम 24136=2324\cdot\frac1{36} = \frac23 — बराबर! दोनों बाज़ियाँ pp में केवल द्वितीय कोटि पर भिन्न हैं, और बस इतनी भिन्न कि एक को पचास-प्रतिशत की रेखा के पार खिसका दें: छोटी प्रायिकताएँ वह क्षेत्र हैं जहाँ अंतर्ज्ञान को पैमाना नहीं, चरघातांकी चाहिए।

टिप्पणी 21.18 (प्रतिबंधन के सामान्य भ्रम)

तीन बार-बार होने वाले भ्रम, जो सब ऊपर के उदाहरणों में दिखते हैं। (क) उलटाव: PB ⁣(A)\pcond BA और PA ⁣(B)\pcond AB गुणक P(A)/P(B)\P(A)/\P(B) से भिन्न हैं — कोई जाँच जो रोगियों पर 99%99\% सटीक हो, फिर भी किसी धनात्मक रोगी को लगभग निश्चित रूप से स्वस्थ छोड़ सकती है, बशर्ते रोग विरल हो (अभ्यास 21.3); जहाँ Pधनात्मक ⁣(रोगी)\pcond{\text{धनात्मक}}{ \text{रोगी}} अभिप्रेत हो वहाँ Pरोगी ⁣(धनात्मक)\pcond{\text{रोगी}}{ \text{धनात्मक}} कहना आधार-दर भ्रम है। (ख) ग़लत घटना पर प्रतिबंधन: मॉन्टी हॉल में सही प्रतिबंधन-घटना “मेज़बान ने दरवाज़ा 33 खोला” है, “इनाम दरवाज़ा 33 के पीछे नहीं है” नहीं; दोनों भिन्न सूचना ढोते हैं, और सारा 23\frac23 इसी अंतर पर टिका है। (ग) असंयुक्त बनाम स्वतंत्र: धनात्मक प्रायिकता वाली असंयुक्त घटनाएँ कभी स्वतंत्र नहीं होतीं (P(AB)=0P(A)P(B)\P(A\cap B) = 0 \neq \P(A)\P(B)) — स्वतंत्रता सूचना की अनुकूलता है, अतिव्यापन का अभाव नहीं।

परिभाषा 21.19 (स्वतंत्रता)

घटनाएँ AA तथा BB स्वतंत्र हैं यदि P(AB)=P(A)P(B)\P(A \cap B) = \P(A)\P(B) हो। घटनाओं का कोई कुल (Ai)iI(A_i)_{i \in I} (परस्पर) स्वतंत्र है यदि हर परिमित उपसमुच्चय JIJ \subseteq I के लिए

P(iJAi)=iJP(Ai).\P\Bigl(\bigcap_{i \in J} A_i\Bigr) = \prod_{i \in J} \P(A_i) .

टिप्पणी 21.20

परस्पर स्वतंत्रता युग्मशः स्वतंत्रता से दृढ़ता से प्रबल है: दो निष्पक्ष सिक्का-उछालों के साथ घटनाएँ “पहला चित्त है”, “दूसरा चित्त है”, “दोनों समान हैं” युग्मशः स्वतंत्र हैं (हर युग्म का प्रतिच्छेदन प्रायिकता 14=1212\frac14 = \frac12\cdot\frac12 रखता है), फिर भी त्रिक प्रतिच्छेदन की प्रायिकता 1418\frac14 \neq \frac18 है। यह भी ध्यान दीजिए कि यदि A,BA, B स्वतंत्र हों तो A,BcA, B^c भी हैं (परिकलन: P(ABc)=P(A)P(AB)=P(A)(1P(B))\P(A \cap B^c) = \P(A) - \P(A\cap B) = \P(A)(1 - \P(B))), अतः Ac,BcA^c, B^c भी।

उदाहरण 21.21 (किसी गुणनफल संरचना से पढ़ी गई स्वतंत्रता)

दो निष्पक्ष पासे फेंकिए: एकसमान भारों के साथ Ω=[ ⁣[1,6] ⁣]2\Omega = \intint16^2। मान लीजिए A=A = {} “पहला पासा सम” और B=B = {} “दूसरा पासा कम से कम 55” है। गिनने पर: A=36=18\abs A = 3\cdot6 = 18, B=62=12\abs B = 6\cdot2 = 12, AB=32=6\abs{A\cap B} = 3\cdot2 = 6, अतः

P(AB)=636=18361236=P(A)P(B):\P(A\cap B) = \frac6{36} = \frac{18}{36}\cdot\frac{12}{36} = \P(A)\,\P(B) :

अर्थात् स्वतंत्र, और तंत्र दिख भी रहा है — AA केवल पहले निर्देशांक को बाँधता है, BB केवल दूसरे को, और किसी गुणनफल समुच्चय पर एकसमान माप निर्देशांक-गणनाओं को गुणित कर देता है। “असंयुक्त उछाल-समूहों पर निर्भर घटनाएँ स्वतंत्र हैं” प्रकार का हर दावा (जिसका सप्ताहांत समस्या में भारी उपयोग होता है) यही परिकलन है, बस अधिक सूचकांक पहने हुए।

उदाहरण 21.22 (प्रथम-पग विश्लेषण)

उदाहरण 21.5 के ज्यामितीय प्रतिरूप के लिए वह प्रायिकता uu क्या है कि पहला चित्त किसी सम कोटि पर पड़े? पहले उछाल पर प्रतिबंधित कीजिए: प्रायिकता pp के साथ कोटि 11 है (विषम); प्रायिकता q=1pq = 1 - p के साथ खेल फिर से शुरू हो जाता है, पर सारी सम-विषमताएँ पलटी हुई, अतः

u=p0+q(1u)u=q1+q.u = p\cdot0 + q\,(1 - u) \qquad\Longrightarrow\qquad u = \frac{q}{1 + q} .

एक पंक्ति, कोई श्रेणी नहीं — और यह अभ्यास 21.9 के सीधे योग से मेल खाता है, जो 1u=11+q1 - u = \frac1{1+q} देता है। यह “प्रथम-पग” तकनीक (पहले प्रयोग पर प्रतिबंधित कीजिए, समस्या की खिसकी हुई प्रतिलिपि पहचानिए) पुनरावृत्ति का प्रायिकतात्मक रूप है, और अभ्यास 21.6 के खेल-अवधि समीकरणों तथा सप्ताहांत समस्या के प्रथम-अभिगमन परिकलनों के पीछे का इंजन यही है।

21.3 बोरेल–कांतेली प्रमेयिका

परिभाषा 21.23 (घटनाओं का ऊपरी सीमांत)

घटनाओं के किसी अनुक्रम (An)(A_n) के लिए घटना

lim supnAn=N=0 nNAn={ωΩ:ωAn अपरिमित रूप से कई n}\limsup_n A_n = \bigcap_{N=0}^{\infty}\ \bigcup_{n \geq N} A_n = \{\omega \in \Omega : \omega \in A_n \text{ अपरिमित रूप से कई } n\}

वह घटना है कि “AnA_n अपरिमित बार घटित होती है”।

उदाहरण 21.24 (“अपरिमित बार” तथा “अंततः” का अनुवाद)

दे मोर्गन से lim supnAn\limsup_nA_n का पूरक

(NnNAn) ⁣c=NnNAnc={ω:ωAn सभी बड़े n},\Bigl(\bigcap_N\bigcup_{n\geq N}A_n\Bigr)^{\!c} = \bigcup_N\bigcap_{n\geq N}A_n^c = \{\omega : \omega \notin A_n \text{ सभी बड़े }n\},

है, अर्थात् घटनाअंततः AnA_n विफल हो जाती है” (जिसे lim infnAnc\liminf_nA_n^c लिखा जाता है)। अतः “AnA_n अपरिमित बार” और “AncA_n^c अंततः” परस्पर पूरक हैं — इस शब्दकोश को सीधा रखने से अधिकांश परिमाणक-दुर्घटनाएँ टल जाती हैं। सिक्का उछालने के नमूना अनुवाद: “अपरिमित रूप से कई चित्त” lim sup{Xn=H}\limsup\{X_n = H\} है; “100100 चित्तों की केवल परिमित रूप से कई कतारें” किसी ऊपरी सीमांत का पूरक है; “चालू बारंबारता 12\frac12 तक अभिसरण करती है” jNnN{p^n12<1j}\bigcap_j\bigcup_N\bigcap_{n\geq N}\{\abs{\widehat p_n - \tfrac12} < \tfrac1j\} है — सर्वत्र गणनीय संक्रियाएँ, अतः ये सब ईमानदार घटनाएँ हैं।

प्रमेय 21.25 (बोरेल–कांतेली)

  1. यदि nP(An)<\sum_{n} \P(A_n) < \infty, तो P(lim supnAn)=0\P\bigl(\limsup_n A_n\bigr) = 0
  2. यदि घटनाएँ AnA_n स्वतंत्र हों और nP(An)=\sum_n \P(A_n) = \infty, तो P(lim supnAn)=1\P\bigl(\limsup_n A_n\bigr) = 1

उपपत्ति. 1. CN=nNAnC_N = \bigcup_{n \geq N}A_n रखिए; अनुक्रम (CN)(C_N) ह्रासमान है और उसका प्रतिच्छेद lim supAn\limsup A_n है, और गणनीय उप-योज्यता (उपप्रमेय 21.7) से

P(CN)nNP(An)N0\P(C_N) \leq \sum_{n \geq N}\P(A_n) \xrightarrow[N\to\infty]{} 0

(किसी अभिसारी श्रेणी की पुच्छ)। एकदिष्ट संततता (प्रमेय 21.6) निष्कर्ष दे देती है: P(lim supAn)=limNP(CN)=0\P(\limsup A_n) = \lim_N \P(C_N) = 0

2. हर NN के लिए P(nNAn)=1\P\bigl(\bigcup_{n\geq N}A_n\bigr) = 1 दिखाना पर्याप्त है: वस्तुतः, यदि घटनाओं BNB_N सबकी प्रायिकता 11 हो, तो गणनीय उप-योज्यता (उपप्रमेय 21.7) से

P((NBN) ⁣c)=P(NBNc)NP(BNc)=0\P\Bigl(\Bigl(\bigcap_NB_N\Bigr)^{\!c}\Bigr) = \P\Bigl(\bigcup_NB_N^c\Bigr) \leq \sum_N\P(B_N^c) = 0

अतः गणनीय प्रतिच्छेद lim supAn=NnNAn\limsup A_n = \bigcap_N\bigcup_{n\geq N}A_n की प्रायिकता अब भी 11 है। NN स्थिर कीजिए, और M>NM > N के लिए पूरक पर विचार कीजिए:

P(n=NMAnc)=n=NM(1P(An))n=NMeP(An)=exp(n=NMP(An)),\P\Bigl(\bigcap_{n=N}^{M} A_n^c\Bigr) = \prod_{n=N}^{M}\bigl(1 - \P(A_n)\bigr) \leq \prod_{n=N}^{M} e^{-\P(A_n)} = \exp\Bigl(-\sum_{n=N}^M \P(A_n)\Bigr) ,

जहाँ पूरकों की स्वतंत्रता तथा उत्तलता परिबंध 1xex1 - x \leq e^{-x} का उपयोग हुआ। MM \to \infty होने पर श्रेणी की अपसारिता से घातांक -\infty की ओर जाता है, अतः एकदिष्ट संततता (ह्रासमान अनुक्रम) से P(nNAnc)=0\P\bigl(\bigcap_{n \geq N}A_n^c\bigr) = 0, अर्थात् P(nNAn)=1\P\bigl(\bigcup_{n \geq N}A_n\bigr) = 1

उदाहरण 21.26 (चित्तों की अपरिमित कतारें)

कोई निष्पक्ष सिक्का सदा उछालते रहिए, और नियत kk के लिए मान लीजिए AnA_n वह घटना है कि “उछाल n,n+1,,n+k1n, n+1, \dots, n + k - 1 सब चित्त हैं” (समय nn से शुरू होने वाली kk चित्तों की कतार)। घटनाएँ AjkA_{jk} (j=1,2,j = 1, 2, \dots), जो असंयुक्त उछाल-खंडों पर निर्भर हैं, स्वतंत्र हैं, हर एक की प्रायिकता 2k2^{-k} है, और j2k=\sum_j 2^{-k} = \infty: अतः बोरेल–कांतेली 2 से प्रायिकता 11 के साथ अपरिमित रूप से कई खंड पूरे चित्त हैं — अर्थात् हर नियत प्रतिरूप लगभग निश्चित रूप से अपरिमित बार लौटता है। विलोमतः, यदि हम कतार की लंबाई बढ़ने दें, तो Bn=B_n = {}nn पर 2log2n2\log_2 n चित्तों की कतार शुरू होती है” के लिए P(Bn)=n2\P(B_n) = n^{-2} योग्य है, अतः लगभग निश्चित रूप से ऐसी लंबी कतारें केवल परिमित रूप से कई शुरू होती हैं: बोरेल–कांतेली ठीक-ठीक अंशांकित कर देती है कि सबसे लंबी कतारें कितनी लंबी हैं।

उदाहरण 21.27 (अपरिमित बंदर, परिमाणित)

कोई बंदर 2626 अक्षरों की वर्णमाला से स्वतंत्र एकसमान अक्षर टाइप करता है। टंकित पाठ को चार-चार अक्षरों के असंयुक्त खंडों में काटिए; घटनाएँ Aj=A_j = {} “खंड jj में MATH बनता है” स्वतंत्र हैं, जहाँ P(Aj)=264\P(A_j) = 26^{-4}, और jP(Aj)=\sum_j\P(A_j) = \infty: अतः बोरेल–कांतेली 2 से बंदर लगभग निश्चित रूप से MATH अपरिमित बार टाइप करता है — और खंड समायोजित करके यही किसी भी लंबाई के किसी भी नियत पाठ के लिए टिकता है। परिमाणात्मक पादटिप्पणी चमत्कार की हवा निकाल देती है: 264=45697626^4 = 456\,976, अतः पहला MATH औसतन लगभग पाँच लाख कुंजी-आघातों में आता है, और 10510^5 वर्णों वाला कोई शेक्सपियर नाटक कोटि 2610526^{10^5} खंडों की प्रतीक्षा करता है — “लगभग निश्चित” क्षितिज \infty के विषय में कथन है, किसी ऐसे क्षितिज के विषय में नहीं जिससे कोई बंदर मिलेगा। बोरेल–कांतेली सीमा प्रमाणित करती है; पदों का आकार मानवीय पैमानों पर कहानी सुनाता है।

टिप्पणी 21.28

उदाहरण 21.26 में अंतर्निहित प्रतिदर्श समष्टि (उछालों के अपरिमित अनुक्रम) अगणनीय है, अतः कड़े अर्थ में वह उदाहरण वर्ष 3 के माप-सैद्धांतिक ढाँचे में रहता है; पर परिकलन केवल इसी अध्याय में सिद्ध नियम बरतते हैं, जो परिमित रूप से कई उछालों से निर्धारित घटनाओं तथा उनके गणनीय संयोजनों पर लगाए गए हैं। इस स्तर पर मानक परंपरा यही है: सिद्धांत गणनीय समष्टियों पर कहा जाता है, और अपरिमित-खेल वाले उदाहरण उसी औज़ार-पेटी से साधे जाते हैं।

टिप्पणी 21.29 (इस खंड के भीतर के परिप्रेक्ष्य)

इस अध्याय की मशीनरी अगले दोनों अध्याय थोक में खा जाते हैं। सूचक घटनाओं को यादृच्छिक चर में बदल देते हैं, और σ\sigma-योज्यता वही योग्यता बन जाती है जो प्रत्याशा को परिभाषित करती है (अध्याय 22); और बोरेल–कांतेली के साथ कोई योग्य पुच्छ-परिबंध ठीक वही है जिससे वहाँ सिक्कों के लिए बृहत् संख्याओं का प्रबल नियम सिद्ध होता है। अध्याय 23 में एकदिष्ट संततता निर्णायक क्षण पर फिर प्रकट होती है: किसी शाखन प्रक्रम की विलोपन प्रायिकता एकदिष्ट सीमा limP(Zn=0)\lim\P(Z_n = 0) के रूप में परिभाषित ही होती है, और वह जो अचल-बिंदु समीकरण पूरा करती है वह उसी वर्धमान अनुक्रम में सीमा लेकर मिलता है — पुस्तक की अंतिम प्रमेय इसी अध्याय की पहली प्रमेय पर खड़ी है।

टिप्पणी 21.30 (विधि: प्रायिकता एक तक पहुँचने के तीन रास्ते)

लगभग-निश्चित कथन तीन लीवरों से सिद्ध होते हैं, जो बढ़ती हुई शक्ति के क्रम में हैं। एकदिष्ट संततता: घटना को परिकलनीय प्रायिकताओं वाली परिमित-क्षितिज घटनाओं के किसी वर्धमान संघ (या ह्रासमान प्रतिच्छेद) के रूप में दिखाइए (उदाहरण 21.9)। शून्य संघ: शून्य-प्रायिकता वाली घटनाओं का गणनीय संघ शून्य है (गणनीय उप-योज्यता), अतः हर बुरी घटना को अलग-अलग मार देना पर्याप्त है — और इसी तरह “हर jj के लिए, अंततः p^np<1/j\abs{\widehat p_n - p} < 1/j” अभिसरण में जुड़ जाता है। बोरेल–कांतेली: जब घटना कोई ऊपरी सीमांत हो, तब प्रायिकताएँ जोड़िए; अभिसरण उसे मार देता है (कोई स्वतंत्रता नहीं चाहिए), और अपसारिता के साथ स्वतंत्रता उसे प्रमाणित कर देती है। सही लीवर चुनना प्रायः पूरी उपपत्ति होती है; सप्ताहांत समस्या तीनों को एक ही तर्क में चलाती है।

टिप्पणी 21.31 (यह कहाँ काम आता है)

एकदिष्ट संततता तथा बोरेल–कांतेली हर “लगभग निश्चित” कथन के दो लीवर हैं: वे इस अध्याय की सप्ताहांत समस्या में यादृच्छिक चहलक़दमी की पुनरावृत्ति, बृहत् संख्याओं के नियम का लगभग-निश्चित पक्ष (अध्याय 22), तथा शाखन प्रक्रमों का विलोपन विश्लेषण (अध्याय 23) चलाते हैं। वर्ष 3 का खंड सिद्धांत को σ\sigma-बीजगणितों तथा लेबेग समाकलन पर फिर से खड़ा करता है, जहाँ यहाँ अनौपचारिक रूप से बरती गई अगणनीय प्रतिदर्श समष्टियाँ पूरी तरह कठोर बन जाती हैं।

21.4 अभ्यास

अभ्यास 21.1

किसी कलश में nn अंकित गेंदें हैं। गेंदें बिना प्रतिस्थापन एक-एक करके खींची जाती हैं। यह प्रायिकता परिकलित कीजिए कि गेंद संख्या 11 गेंद संख्या 22 से पहले खींची जाती है। व्यापक कीजिए: यह प्रायिकता कि गेंद 11 गेंदों 1,,k1, \dots, k में सबसे पहले खींची जाती है।

हल

हल — अभ्यास 21.1.

सममिति से: खींचने का क्रम गेंदों 11 तथा 22 पर कोई एकसमान यादृच्छिक सापेक्ष क्रम प्रेरित करता है, अतः P(1 पहले आती है, फिर 2)=12\P(1 \text{ पहले आती है, फिर } 2) = \frac12। औपचारिक रूप से: किसी खींच-अनुक्रम में गेंदों 11 तथा 22 की स्थितियाँ बदल देना (समसंभावी) परिणामों का कोई एकैकी आच्छादन है जो घटना को उसके पूरक से अदल-बदल देता है। गेंदों 1,,k1, \dots, k में: इन kk गेंदों का सापेक्ष क्रम k!k! क्रमों में एकसमान है, और गेंद 11 उनमें से (k1)!(k-1)! में पहली है: प्रायिकता (k1)!k!=1k\frac{(k-1)!}{k!} = \frac1k

अभ्यास 21.2

दिखाइए कि Ω=N\Omega = \N^* पर भार pk=1k(k+1)p_k = \frac{1}{k(k+1)} कोई प्रायिकता माप परिभाषित करते हैं, और P(2N)\P(2\N^*) (सम परिणाम) किसी श्रेणी के रूप में परिकलित कीजिए; दिखाइए कि वह 1ln21 - \ln 2 के बराबर है। (12j(2j+1)=12j12j+1\frac{1}{2j(2j+1)} = \frac{1}{2j} - \frac{1}{2j+1} को दूरबीन की तरह सिकोड़िए और एकांतर हरात्मक श्रेणी अध्याय 7 का उपयोग कीजिए।)

हल

हल — अभ्यास 21.2.

1k(k+1)=1k1k+1\frac{1}{k(k+1)} = \frac1k - \frac1{k+1}, अतः k1pk\sum_{k\geq1} p_k दूरबीन की तरह सिकुड़कर 11 हो जाता है: यानी कोई प्रायिकता माप। सम परिणाम:

P(2N)=j=112j(2j+1)=j=1(12j12j+1)=1213+1415+\P(2\N^*) = \sum_{j=1}^{\infty}\frac{1}{2j(2j+1)} = \sum_{j=1}^{\infty}\Bigl(\frac{1}{2j} - \frac{1}{2j+1}\Bigr) = \frac12 - \frac13 + \frac14 - \frac15 + \cdots

यह एकांतर हरात्मक श्रेणी ही है, जिसका पहला पद हटा दिया गया है और चिह्न पलट दिए गए हैं: चूँकि ln2=112+1314+\ln 2 = 1 - \frac12 + \frac13 - \frac14 + \cdots (अध्याय 7),

P(2N)=(ln21)=1ln20.307.\P(2\N^*) = -\bigl(\ln 2 - 1\bigr) = 1 - \ln 2 \approx 0.307 .

अभ्यास 21.3

(मिथ्या धनात्मक) कोई रोग 1000010\,000 में से एक व्यक्ति को होता है। कोई जाँच उसे रोगियों पर प्रायिकता 0.990.99 के साथ पकड़ लेती है, और स्वस्थों पर प्रायिकता 0.010.01 के साथ मिथ्या धनात्मक देती है। धनात्मक जाँच दिए जाने पर रोगी होने की प्रायिकता परिकलित कीजिए, और टिप्पणी कीजिए।

हल

हल — अभ्यास 21.3.

मान लीजिए SS = रोगी, ++ = धनात्मक जाँच। विभाजन {S,Sc}\{S, S^c\} के साथ बेज़ (प्रमेय 21.14):

P(S+)=0.99×1040.99×104+0.01×0.9999=0.0000990.000099+0.0099990.0098,\P(S \mid +) = \frac{0.99 \times 10^{-4}} {0.99 \times 10^{-4} + 0.01 \times 0.9999} = \frac{0.000099}{0.000099 + 0.009999} \approx 0.0098 ,

जो 1%1\% से नीचे है। यद्यपि जाँच “99% सटीक” है, धनात्मक परिणाम आपको लगभग 99%99\% संभावना के साथ स्वस्थ ही छोड़ देता है: विशाल स्वस्थ बहुमत में से मिथ्या धनात्मक अत्यल्प रोगी अल्पमत के सच्चे धनात्मकों को डुबो देते हैं। विरल स्थितियों के लिए छँटाई-जाँचें सदा इसी आधार-दर परिकलन के द्वारा पढ़ी जानी चाहिए।

अभ्यास 21.4 ★★

मान लीजिए A1,,AnA_1, \dots, A_n घटनाएँ हैं। सर्वसमिका 1i=1n(11Ai)=1Ai1 - \prod_{i=1}^n(1 - \mathbf{1}_{A_i}) = \mathbf{1}_{\bigcup A_i} का Ω\Omega पर समाकलन करके (अर्थात् P({ω})\P(\{\omega\}) से भारित योग लेकर) समावेश–अपवर्जन सूत्र

P(i=1nAi)=J{1,,n}(1)J+1P(iJAi)\P\Bigl(\bigcup_{i=1}^n A_i\Bigr) = \sum_{\emptyset \neq J \subseteq \{1,\dots,n\}} (-1)^{\abs J + 1}\,\P\Bigl(\bigcap_{i \in J}A_i\Bigr)

सिद्ध कीजिए।

हल

हल — अभ्यास 21.4.

Ω\Omega पर बिंदुवार: ωAi\omega \in \bigcup A_i तभी जब कोई गुणनखंड 11Ai(ω)1 - \mathbf{1}_{A_i}(\omega) लुप्त हो, अतः

1Ai=1i=1n(11Ai)=J{1,,n}(1)J+1iJ1Ai,\mathbf{1}_{\bigcup A_i} = 1 - \prod_{i=1}^n\bigl(1 - \mathbf{1}_{A_i}\bigr) = \sum_{\emptyset \neq J \subseteq \{1,\dots,n\}} (-1)^{\abs J + 1}\prod_{i \in J}\mathbf{1}_{A_i} ,

जो गुणनफल खोलकर और 11 को पार ले जाकर मिलता है। अब iJ1Ai=1iJAi\prod_{i\in J}\mathbf{1}_{A_i} = \mathbf{1}_{\bigcap_{i \in J} A_i}, और भारों P({ω})\P(\{\omega\}) के सामने योग लेने पर — जो वैध है: परिमित रूप से कई परिबद्ध पद, और हर कुल योग्य — हर सूचक अपनी घटना की प्रायिकता में बदल जाता है, जिससे सूत्र मिल जाता है।

अभ्यास 21.5 ★★

(मिलान समस्या, समावेश–अपवर्जन से) nn चिट्ठियाँ nn लिफ़ाफ़ों में एकसमान यादृच्छिक रूप से एक-एक करके डाली जाती हैं। अभ्यास 21.4 का उपयोग करते हुए दिखाइए कि कोई भी मिलान सही न होने की प्रायिकता k=0n(1)kk!e1\sum_{k=0}^n \frac{(-1)^k}{k!} \to e^{-1} है, और ठीक एक मिलान की प्रायिकता निकालिए।

हल

हल — अभ्यास 21.5.

मान लीजिए AiA_i = “चिट्ठी ii सही लिफ़ाफ़े में है”। आकार kk के JJ के लिए P(iJAi)=(nk)!n!\P\bigl(\bigcap_{i\in J}A_i\bigr) = \frac{(n-k)!}{n!} (जहाँ kk चिट्ठियाँ नियत कीजिए और बाक़ी का क्रमचय)। समावेश–अपवर्जन से,

P(Ai)=k=1n(1)k+1(nk)(nk)!n!=k=1n(1)k+1k!,\P\Bigl(\bigcup A_i\Bigr) = \sum_{k=1}^n (-1)^{k+1}\binom nk \frac{(n-k)!}{n!} = \sum_{k=1}^n \frac{(-1)^{k+1}}{k!} ,

अतः

P(कोई मिलान नहीं)=1P(Ai)=k=0n(1)kk!ne10.368.\P(\text{कोई मिलान नहीं}) = 1 - \P\Bigl(\bigcup A_i\Bigr) = \sum_{k=0}^{n}\frac{(-1)^k}{k!} \xrightarrow[n\to\infty]{} e^{-1} \approx 0.368 .

ठीक एक मिलान: ठीक एक अचल बिंदु वाला कोई क्रमचय नियत चिट्ठी के चुनाव (nn तरीक़े) तथा शेष n1n - 1 के किसी विन्यास-भंग (कोई-मिलान-नहीं व्यवस्था) से निर्धारित होता है; विन्यास-भंगों की संख्या के लिए Dn1=(n1)!k=0n1(1)kk!D_{n-1} = (n-1)!\sum_{k=0}^{n-1}\frac{(-1)^k}{k!} लिखने पर (जो पहला भाग है, (n1)!(n-1)! से मापित),

P(ठीक एक मिलान)=nDn1n!=Dn1(n1)!=k=0n1(1)kk!ne1:\P(\text{ठीक एक मिलान}) = \frac{n\,D_{n-1}}{n!} = \frac{D_{n-1}}{(n-1)!} = \sum_{k=0}^{n-1}\frac{(-1)^k}{k!} \xrightarrow[n\to\infty]{} e^{-1} :

अर्थात् सीमा में “कोई मिलान नहीं” और “ठीक एक मिलान” समान रूप से संभावित हैं, और दोनों की प्रायिकता e1e^{-1} है।

अभ्यास 21.6 ★★

कोई पक्षपाती सिक्का (चित्त की प्रायिकता p(0,1)p \in \intoo{0}{1}) तब तक उछाला जाता है जब तक लगातार दो चित्त न आ जाएँ। मान लीजिए qnq_n वह प्रायिकता है कि खेल nn से अधिक उछालों तक चलता है। पहले उछाल (उछालों) पर प्रतिबंधित करके दिखाइए कि n2n \geq 2 के लिए qn=(1p)qn1+p(1p)qn2q_n = (1-p)\,q_{n-1} + p(1-p)\,q_{n-2}, और निकालिए कि खेल प्रायिकता 11 के साथ समाप्त होता है। (किसी गुणोत्तर अनुक्रम से तुलना करके qn0q_n \to 0 दिखाइए: अभिलक्षणिक समीकरण के दोनों मूल निरपेक्ष मान में (0,1)\intoo{0}{1} में पड़ते हैं।)

हल

हल — अभ्यास 21.6.

आरंभ पर प्रतिबंधित कीजिए (शृंखला नियम / प्रमेय 21.14):

  • पहला उछाल पट (प्रायिकता 1p1 - p): खेल नए सिरे से शुरू हो जाता है; nn से अधिक चलने का अर्थ है वहाँ से n1n - 1 से अधिक चलना: योगदान (1p)qn1(1-p)\,q_{n-1};
  • पहले उछाल चिपट (प्रायिकता p(1p)p(1-p)): दो उछालों के बाद फिर से आरंभ: योगदान p(1p)qn2p(1-p)\,q_{n-2};
  • पहले उछाल चिचि: खेल समाप्त हो चुका है (nn उछालों के भीतर, n2n \geq 2): योगदान 00

इसलिए qn=(1p)qn1+p(1p)qn2q_n = (1-p)q_{n-1} + p(1-p)q_{n-2}। अभिलक्षणिक समीकरण r2=(1p)r+p(1p)r^2 = (1-p)r + p(1-p) के मूल

r±=(1p)±(1p)2+4p(1p)2,r_\pm = \frac{(1-p) \pm \sqrt{(1-p)^2 + 4p(1-p)}}{2},

हैं, जहाँ r±<1\abs{r_\pm} < 1: वस्तुतः बहुपद χ(r)=r2(1p)rp(1p)\chi(r) = r^2 - (1-p)r - p(1-p) χ(1)=1(1p)p(1p)=p2>0\chi(1) = 1 - (1-p) - p(1-p) = p^2 > 0 तथा χ(1)=1+(1p)p(1p)>0\chi(-1) = 1 + (1-p) - p(1-p) > 0 पूरा करता है, जबकि χ(0)=p(1p)<0\chi(0) = -p(1-p) < 0: अर्थात् एक मूल (1,0)\intoo{-1}{0} में, एक (0,1)\intoo{0}{1} में। अतः qn=αr+n+βrn0q_n = \alpha r_+^n + \beta r_-^n \to 0। घटनाएँ “खेल nn से अधिक चलता है” घटकर “खेल कभी समाप्त नहीं होता” तक जाती हैं; एकदिष्ट संततता (प्रमेय 21.6) देती है P(कभी समाप्त नहीं होता)=limqn=0\P(\text{कभी समाप्त नहीं होता}) = \lim q_n = 0: अर्थात् खेल लगभग निश्चित रूप से समाप्त होता है।

अभ्यास 21.7 ★★★

(कीर्तिमान) निम्नलिखित साहचर्यिक अर्थ में स्वतंत्र एकसमान क्रमणों का कोई अपरिमित अनुक्रम खींचिए: हर nn के लिए पहली nn खींचों का सापेक्ष क्रम n!n! संभावनाओं में एकसमान है, और Rn=R_n = {}nn-वीं खींच कोई कीर्तिमान है (पिछली सबसे बड़ी)”। यह मानते हुए कि घटनाएँ RnR_n स्वतंत्र हैं और P(Rn)=1/n\P(R_n) = 1/n (कम से कम यह अंतिम समता सममिति से सिद्ध कीजिए), बोरेल–कांतेली का उपयोग करके दिखाइए कि लगभग निश्चित रूप से अपरिमित रूप से कई कीर्तिमान बनते हैं, पर लगातार समयों n,n+1n, n+1 पर कीर्तिमान किस प्रायिकता के साथ अपरिमित बार बनते हैं — nP(RnRn+1)\sum_n \P(R_n \cap R_{n+1}) परिकलित कीजिए और बताइए कि बोरेल–कांतेली 1 क्या देती है।

हल

हल — अभ्यास 21.7.

P(Rn)=1/n\P(R_n) = 1/n: पहली nn खींचों में अंतिम खींच की nn सापेक्ष स्थितियों में से हर एक समान रूप से संभावित है (सापेक्ष क्रम की एकसमानता), और RnR_n वह घटना है कि वह सबसे बड़ी है: प्रायिकता 1/n1/n

अपरिमित रूप से कई कीर्तिमान: nP(Rn)=1/n=\sum_n \P(R_n) = \sum 1/n = \infty और RnR_n स्वतंत्र हैं (मान लिया गया), अतः बोरेल–कांतेली 2 (प्रमेय 21.25) देती है P(lim supRn)=1\P(\limsup R_n) = 1: कीर्तिमान लगभग निश्चित रूप से कभी बंद नहीं होते — पर वे लघुगणकीय रूप से विरल होते जाते हैं।

लगातार कीर्तिमान: स्वतंत्रता से,

nP(RnRn+1)=n1n(n+1)<,\sum_n \P(R_n \cap R_{n+1}) = \sum_n \frac{1}{n(n+1)} < \infty ,

अतः बोरेल–कांतेली 1 लागू होती है: लगभग निश्चित रूप से केवल परिमित रूप से कई बार किसी कीर्तिमान के तुरंत बाद दूसरा कीर्तिमान आता है। प्रमेयिका के दोनों आधे भाग साथ-साथ काम करते हैं: अपरिमित रूप से कई कीर्तिमान, पर (लगभग निश्चित रूप से) अंततः कभी लगातार दो नहीं।

अभ्यास 21.8 ★★★

(कोखेन–स्टोन जैसा, सरल रूप) मान लीजिए (An)(A_n) P(An)=1n+1\P(A_n) = \frac{1}{n+1} वाली स्वतंत्र घटनाएँ हैं। दिखाइए कि P(lim supAn)=1\P(\limsup A_n) = 1, यद्यपि P(An)0\P(A_n) \to 0: “अलग-अलग विरल, सामूहिक रूप से निश्चित”। विलोमतः, P(An)=\sum\P(A_n) = \infty तथा P(lim supAn)=0\P(\limsup A_n) = 0 वाली (परतंत्र) घटनाओं का कोई अनुक्रम दिखाइए, जिससे सिद्ध हो कि बोरेल–कांतेली 2 में स्वतंत्रता हटाई नहीं जा सकती।

हल

हल — अभ्यास 21.8.

पहला भाग: स्वतंत्रता के साथ P(An)=1n+1=\sum \P(A_n) = \sum\frac{1}{n+1} = \infty: बोरेल–कांतेली 2 P(lim supAn)=1\P(\limsup A_n) = 1 देती है। हर अलग-अलग AnA_n उत्तरोत्तर असंभावित है, फिर भी लगभग हर ω\omega उनमें से अपरिमित रूप से कई में है।

स्वतंत्रता के बिना प्रतिउदाहरण: अभ्यास 21.2 के भारों pk=1k(k+1)p_k = \frac{1}{k(k+1)} के साथ Ω=N\Omega = \N^* लीजिए, और An={kN:kn}A_n = \{k \in \N^* : k \geq n\}। तब

P(An)=kn(1k1k+1)=1n,nP(An)=,\P(A_n) = \sum_{k \geq n}\Bigl(\frac1k - \frac1{k+1}\Bigr) = \frac1n , \qquad \sum_n \P(A_n) = \infty ,

पर AnA_n ह्रासमान हैं, अतः lim supnAn=nAn=\limsup_n A_n = \bigcap_n A_n = \emptyset: P(lim supAn)=0\P(\limsup A_n) = 0। जब घटनाएँ समष्टि के किसी सिकुड़ते भाग पर ढेर हो जाएँ, तब अकेली P(An)\sum\P(A_n) की अपसारिता कुछ भी आश्वस्त नहीं करती — स्वतंत्रता ही वह है जो इस साज़िश को रोकती है।

अभ्यास 21.9

चित्त की प्रायिकता p(0,1)p \in \intoo01 वाला कोई सिक्का पहले चित्त तक उछाला जाता है। यह प्रायिकता परिकलित कीजिए कि ऐसा किसी विषम कोटि पर होता है, और उसका मूल्यांकन किसी निष्पक्ष सिक्के के लिए कीजिए।

हल

हल — अभ्यास 21.9.

q=1pq = 1 - p के साथ पहला चित्त कोटि 2j+12j + 1 पर प्रायिकता q2jpq^{2j}p के साथ गिरता है, अतः

P(विषम कोटि)=j0q2jp=p1q2=11+q.\P(\text{विषम कोटि}) = \sum_{j\geq0}q^{2j}p = \frac{p}{1 - q^2} = \frac{1}{1 + q} .

निष्पक्ष सिक्के के लिए: 11+1/2=23\frac1{1 + 1/2} = \frac23। (विश्वसनीयता जाँच: विषम कोटियाँ अधिक संभावित होनी चाहिए, क्योंकि कोटि 11 पहले आती है — और वस्तुतः सदा 11+q>12\frac1{1+q} > \frac12।)

अभ्यास 21.10 ★★

मान लीजिए (An)n1(A_n)_{n\geq1} P(An)=pn<1\P(A_n) = p_n < 1 वाली स्वतंत्र घटनाएँ हैं। दिखाइए कि

P(n1Anc)=n1(1pn):=limNn=1N(1pn),\P\Bigl(\bigcap_{n\geq1}A_n^c\Bigr) = \prod_{n\geq1}(1 - p_n) := \lim_{N\to\infty}\prod_{n=1}^N(1 - p_n),

और यह सीमा >0> 0 है तभी जब pn<\sum p_n < \infty। बोरेल–कांतेली से मेल बिठाइए: जब pn=\sum p_n = \infty, तब लगभग निश्चित रूप से कोई AnA_n घटित होती ही नहीं — अपरिमित रूप से कई घटित होती हैं।

हल

हल — अभ्यास 21.10.

घटनाएँ BN=n=1NAncB_N = \bigcap_{n=1}^N A_n^c घटकर nAnc\bigcap_nA_n^c तक जाती हैं, और पूरकों की स्वतंत्रता से P(BN)=n=1N(1pn)\P(B_N) = \prod_{n=1}^N(1 - p_n); एकदिष्ट संततता (प्रमेय 21.6) प्रदर्शित सीमा दे देती है। लघुगणक लेने पर, (1pn)>0\prod(1 - p_n) > 0 तभी जब ln(1pn)<\sum-\ln(1 - p_n) < \infty। यदि pn<\sum p_n < \infty हो, तो pn0p_n \to 0 और ln(1pn)pn-\ln(1 - p_n) \sim p_n: लघु-श्रेणी अभिसरित होती है। और यदि pn=\sum p_n = \infty हो, तो ln(1pn)pn-\ln(1 - p_n) \geq p_n अपसारिता को बाध्य कर देता है, अतः गुणनफल 00 है। यह बोरेल–कांतेली 2 से मेल खाता है: pn=\sum p_n = \infty के लिए न केवल P(कोई An घटित नहीं होती)=0\P(\text{कोई }A_n\text{ घटित नहीं होती}) = 0, बल्कि लगभग निश्चित रूप से अपरिमित रूप से कई AnA_n घटित होती हैं।

अभ्यास 21.11 ★★

(बानाख की दियासलाई) कोई धूम्रपान करने वाला हर जेब में nn तीलियों की एक डिब्बी रखता है और हर बार एकसमान यादृच्छिक जेब में हाथ डालता है। जब वह पहली बार कोई डिब्बी ख़ाली पाता है, तब यह प्रायिकता क्या है कि दूसरी डिब्बी में ठीक kk तीलियाँ हैं? दिखाइए कि उत्तर (2nkn)2(2nk)\binom{2n-k}{n}2^{-(2n-k)} है और जाँचिए कि ये प्रायिकताएँ n=1n = 1 के लिए 11 तक जुड़ती हैं।

हल

हल — अभ्यास 21.11.

मान लीजिए पहली ख़ाली मिलने वाली डिब्बी AA है, और दूसरी डिब्बी में kk हैं। इसका अर्थ है: पहली 2nk2n - k पहुँचों में ठीक nn AA तक गईं और nkn - k BB तक (किसी क्रम में), और पहुँच संख्या 2nk+12n - k + 1 फिर AA तक गई, जहाँ वह ख़ाली मिली। पहुँचें स्वतंत्र निष्पक्ष चुनाव हैं, अतः इस घटना की प्रायिकता (2nkn)2(2nk)12\binom{2n-k}{n}2^{-(2n-k)}\cdot\frac12 है; दुगुना करने पर (ख़ाली डिब्बी कोई भी हो सकती है)

P(दूसरी डिब्बी में k)=(2nkn)2(2nk).\P(\text{दूसरी डिब्बी में }k) = \binom{2n-k}{n}\,2^{-(2n-k)} .

n=1n = 1 के लिए: k=1k = 1 (11)21=12\binom11 2^{-1} = \frac12 देता है और k=0k = 0 (21)22=12\binom21 2^{-2} = \frac12 देता है: कुल 11, जैसा होना ही चाहिए।

अभ्यास 21.12 ★★★

(σ\sigma-योज्यता सचमुच एक अभिगृहीत है) (क) दिखाइए कि (N,P(N))(\N, \mathcal P(\N)) पर ऐसा कोई प्रायिकता माप नहीं है जो सारे एकल समुच्चयों को एक ही भार दे। (ख) ANA \subseteq \N^* के लिए, जब सीमा विद्यमान हो तब d(A)=limnA[ ⁣[1,n] ⁣]nd(A) = \lim_n\frac{\abs{A\cap\intint1n}}{n} रखिए (प्राकृतिक घनत्व)। दिखाइए कि dd उन युग्मों पर परिमित रूप से योज्य है जहाँ तीनों घनत्व विद्यमान हैं, हर एकल समुच्चय को घनत्व 00 देता है और N\N^* को घनत्व 11 — और निष्कर्ष निकालिए कि dd σ\sigma-योज्य नहीं है। (ग) ऐसा कोई समुच्चय दिखाइए जिसका घनत्व नहीं है। (खंडों [ ⁣[22k,22k+11] ⁣]\intint{2^{2k}}{2^{2k+1}-1} को बारी-बारी से भीतर और बाहर रखिए।)

हल

हल — अभ्यास 21.12.

(क) यदि सब nn के लिए P({n})=c\P(\{n\}) = c हो, तो σ\sigma-योज्यता 1=nc1 = \sum_nc को बाध्य कर देती है: जो असंभव है, चाहे c=0c = 0 हो (योग 00) या c>0c > 0 (योग अपरिमित)। N\N पर कोई एकसमान प्रायिकता नहीं है।

(ख) यदि AB=A \cap B = \emptyset तथा d(A)d(A), d(B)d(B) विद्यमान हों, तो (AB)[ ⁣[1,n] ⁣]=A[ ⁣[1,n] ⁣]+B[ ⁣[1,n] ⁣]\abs{(A \sqcup B)\cap\intint1n} = \abs{A\cap\intint1n} + \abs{B\cap\intint1n}, अतः d(AB)=d(A)+d(B)d(A \sqcup B) = d(A) + d(B): अर्थात् ऐसे युग्मों पर परिमित योज्यता। हर एकल समुच्चय का गणना-फलन अंततः अचर है, अतः घनत्व 00, जबकि d(N)=1d(\N^*) = 1। यदि dd σ\sigma-योज्य होता, तो N=k{k}\N^* = \bigsqcup_k\{k\} 1=k0=01 = \sum_k 0 = 0 देता: घनत्व परिमित रूप से योज्य है पर σ\sigma-योज्य नहीं — अभिगृहीत में सार है।

(ग) A=k0[ ⁣[4k,24k1] ⁣]A = \bigcup_{k\geq0}\intint{4^k}{2\cdot4^k - 1} लीजिए (4k4^k से 24k12\cdot4^k - 1 तक के खंड)। n=24K1n = 2\cdot4^K - 1 पर गणना kK4k434K\sum_{k\leq K}4^k \sim \frac43 4^K है, जो अनुपात 23\to \frac23 देती है; n=4K+11n = 4^{K+1} - 1 पर गणना अपरिवर्तित रहती है, जो अनुपात 13\to \frac13 देती है। अनुपात सीमाओं 13\frac13 तथा 23\frac23 के बीच दोलन करता है: कोई घनत्व नहीं।

21.5 समस्या: Z\Z पर सरल यादृच्छिक चहलक़दमी पुनरावर्ती है

किसी सरल यादृच्छिक चहलक़दमी के चौबीस पग; लाल बिंदु मूल बिंदु पर वापसियाँ अंकित करते हैं। समस्या दिखाती है कि प्रायिकता 1 के साथ ये बिंदु कभी दिखना बंद नहीं करते — फिर भी उनके बीच प्रतीक्षा-समय का माध्य अपसारी है।
किसी सरल यादृच्छिक चहलक़दमी के चौबीस पग; लाल बिंदु मूल बिंदु पर वापसियाँ अंकित करते हैं। समस्या दिखाती है कि प्रायिकता 11 के साथ ये बिंदु कभी दिखना बंद नहीं करते — फिर भी उनके बीच प्रतीक्षा-समय का माध्य अपसारी है।

समस्या 21.1

सप्ताहांत समस्या — Z\Z पर पोया की पुनरावृत्ति प्रमेय, रास्ते में मतपत्र समस्या तथा चापज्या का स्वाद

कोई निष्पक्ष सिक्का सदा उछालते रहिए; मान लीजिए Xi=±1X_i = \pm1 ii-वाँ पग है और Sn=X1++XnS_n = X_1 + \dots + X_n Z\Z पर सरल यादृच्छिक चहलक़दमी है, S0=0S_0 = 0उदाहरण 21.26 की तरह, नीचे की सारी घटनाएँ परिमित रूप से कई उछालों से निर्धारित हैं या ऐसी घटनाओं के गणनीय संयोजन हैं, और असंयुक्त उछाल-खंडों पर निर्भर घटनाओं की स्वतंत्रता प्रतिरूप का ही भाग है। हम un=P(S2n=0)u_n = \P(S_{2n} = 0) लिखते हैं, और 00 से kk तक लंबाई nn के ±1\pm1-पथों की संख्या के लिए Nn(k)N_n(k)

भाग I — पथ गिनना।

  1. दिखाइए कि जब n+kn + k सम हो और kn\abs k \leq n, तब Nn(k)=(n(n+k)/2)N_n(k) = \binom{n}{(n+k)/2}, और अन्यथा 00; निकालिए P(Sn=k)=Nn(k)2n\P(S_n = k) = N_n(k)\,2^{-n}लंबाई nn का हर अलग-अलग पथ समान रूप से संभावित क्यों है?
  2. दिखाइए S2n+10S_{2n+1} \neq 0, un=(2nn)4nu_n = \binom{2n}{n}4^{-n}, और u1,u2,u3u_1, u_2, u_3 परिकलित कीजिए।
  3. un=2n12nun1u_n = \frac{2n-1}{2n}\,u_{n-1} सिद्ध कीजिए; निकालिए कि (un)(u_n) घटकर 00 तक जाता है, और उदाहरण 6.14 से कि

    un1πn,अतःnun=.u_n \sim \frac{1}{\sqrt{\pi n}}, \qquad\text{अतः}\qquad \sum_n u_n = \infty .
  4. (परावर्तन सिद्धांत) k1k \geq 1 के लिए दिखाइए कि 11 से kk तक लंबाई nn के जो पथ 00 को छूते हैं वे 1-1 से kk तक के पथों के साथ एकैकी संगति में हैं; निकालिए कि 00 से kk तक के उन पथों की संख्या जो समय 00 के बाद >0> 0 बने रहते हैं Nn1(k1)Nn1(k+1)N_{n-1}(k-1) - N_{n-1}(k+1) है।
  5. (मतपत्र प्रमेय) निकालिए कि

    P(S1>0,,Sn1>0Sn=k)=kn(k1):\P\bigl(S_1 > 0, \dots, S_{n-1} > 0 \bigm| S_n = k\bigr) = \frac kn \qquad (k \geq 1) :

    अर्थात् जिस गणना में विजेता nn मतपत्रों में से kk से आगे रहता है, उसमें विजेता के पूरी गणना भर आगे रहने की प्रायिकता k/nk/n है। n=3n = 3, k=1k = 1 के लिए हाथ से सत्यापित कीजिए।

भाग II — मूल बिंदु पर वापसी।

  1. मुख्य सर्वसमिका

    P(S10, S20, , S2n0)=un\P(S_1 \neq 0,\ S_2 \neq 0,\ \dots,\ S_{2n} \neq 0) = u_n

    सिद्ध कीजिए (पहले पग पर प्रतिबंधित कीजिए, प्रश्न 4 की गणनाओं को अंत्यबिंदु पर जोड़िए, और दूरबीन की तरह सिकोड़िए; 2(2n1n)=(2nn)2\binom{2n-1}{n} = \binom{2n}{n} से समाप्त कीजिए)

  2. एकदिष्ट संततता (प्रमेय 21.6) से निकालिए कि चहलक़दमी प्रायिकता 11 के साथ 00 पर कम से कम एक बार लौटती है, और यह कि fn:=P(पहली वापसी समय 2n)f_n := \P(\text{पहली वापसी समय }2n) पूरा करता है

    fn=un1un=un2n1,n1fn=1.f_n = u_{n-1} - u_n = \frac{u_n}{2n-1}, \qquad \sum_{n\geq1}f_n = 1 .
  3. दिखाइए कि n2nfn=\sum_n 2n\,f_n = \infty: वापसी निश्चित है, पर जो श्रेणी माध्य प्रतीक्षा-समय परिकलित करती वह अपसरित हो जाती है (अध्याय 22 की शब्दावली में, वापसी-समय की प्रत्याशा अपरिमित है)।
  4. सिद्ध कीजिए कि हर k1k \geq 1 के लिए P(कम से कम k वापसियाँ 0)=1\P(\text{कम से कम } k\text{ वापसियाँ }0) = 1 (पहली kk वापसियों के समयों पर अपघटित कीजिए: संगत उछाल-खंड असंयुक्त हैं, अतः प्रायिकताएँ गुणित होकर (nfn)k(\sum_nf_n)^k तक जुड़ जाती हैं); एकदिष्ट संततता से निष्कर्ष निकालिए:

    P(Sn=0 अपरिमित रूप से कई n)=1:\P(S_n = 0 \text{ अपरिमित रूप से कई } n) = 1 :

    अर्थात् Z\Z पर सरल यादृच्छिक चहलक़दमी पुनरावर्ती है।

  5. दिखाइए कि चहलक़दमी लगभग निश्चित रूप से हर स्थल kZk \in \Z पर जाती है, अतः (पुनरावृत्ति से, पहली भेंट पर फिर आरंभ करके) अपरिमित बार। (00 से क्रमागत भ्रमणों के चिह्न स्वतंत्र निष्पक्ष सिक्के हैं; कोई धनात्मक भ्रमण 11 पर जाता है।)

भाग III — बोरेल–कांतेली और पक्षपाती चहलक़दमी।

  1. घटनाएँ An={S2n=0}A_n = \{S_{2n} = 0\} P(An)=\sum\P(A_n) = \infty पूरा करती हैं; समझाइए कि उन पर बोरेल–कांतेली 2 क्यों लागू नहीं होती, और यदि श्रेणी अभिसरित होती तो बोरेल–कांतेली 1 क्या देती। (पूरे भाग की रणनीति यही है।)
  2. अब सिक्के का पक्षपात p12p \neq \frac12, q=1pq = 1 - p लीजिए। 4pq<14pq < 1 के साथ P(S2n=0)=(2nn)(pq)n=un(4pq)n\P(S_{2n} = 0) = \binom{2n}n(pq)^n = u_n\,(4pq)^n दिखाइए, nP(S2n=0)<\sum_n\P(S_{2n} = 0) < \infty निकालिए, और बोरेल–कांतेली 1 से निष्कर्ष निकालिए कि पक्षपाती चहलक़दमी लगभग निश्चित रूप से 00 पर केवल परिमित रूप से कई बार लौटती है।
  3. अब भी p12p \neq \frac12 के लिए: हर नियत kk के लिए P(Sn=k)(nn/2)(pq)n/2(p/q)k/2\P(S_n = k) \leq \binom{n}{\floor{n/2}}\,(pq)^{n/2}\,(p/q)^{k/2} दिखाइए, निकालिए कि लगभग निश्चित रूप से हर स्थल पर परिमित बार जाया जाता है, और निष्कर्ष निकालिए कि लगभग निश्चित रूप से Sn\abs{S_n} \to \infty: अर्थात् पक्षपाती चहलक़दमी क्षणिक है।
  4. निष्पक्ष सिक्के पर लौटिए: प्रश्न 6 का उपयोग करते हुए यह प्रायिकता परिकलित कीजिए कि 200200 उछालों में कोई बराबरी न हो (1n2001 \leq n \leq 200 के लिए Sn0S_n \neq 0), संख्यात्मक रूप से u1000.056u_{100} \approx 0.056। धीमे 1/πn1/\sqrt{\pi n} क्षय पर टिप्पणी कीजिए: लंबे में बराबरियाँ निश्चित हैं, पर अंतर्ज्ञान के सुझाव से अधिक विरल।
  5. (प्रथम अभिगमन) मान लीजिए T1T_1 वह पहला समय है जब चहलक़दमी 11 पर पहुँचती है। अधिकतम Mn=maxinSiM_n = \max_{i\leq n}S_i के लिए परावर्तन सिद्धांत का उपयोग करते हुए (जो प्रश्न 16 में सिद्ध है और इस पर निर्भर नहीं करता), अथवा सीधे प्रश्न 7 से पहले पग पर प्रतिबंधित करके, P(T1=2n1)=fn\P(T_1 = 2n - 1) = f_n दिखाइए; निकालिए P(T1<)=1\P(T_1 < \infty) = 1, जबकि माध्य-समय श्रेणी (2n1)fn\sum(2n-1)f_n अपसरित हो जाती है।

भाग IV — अधिकतम, अंतिम शून्य, लंबी बढ़तें।

  1. (अधिकतम के लिए परावर्तन) k1k \geq 1 के लिए पथ को स्तर kk की उसकी पहली भेंट के बाद परावर्तित करके

    P(Mnk)=2P(Sn>k)+P(Sn=k)\P(M_n \geq k) = 2\,\P(S_n > k) + \P(S_n = k)

    सिद्ध कीजिए।

  2. P(M2n1)=1un\P(M_{2n} \geq 1) = 1 - u_n निकालिए, अर्थात् P(Si0 सभी i2n)=un\P(S_i \leq 0 \text{ सभी } i \leq 2n) = u_n: कभी आगे न होने की प्रायिकता कभी शून्य पर न होने की प्रायिकता (प्रश्न 6) के बराबर है — दो भिन्न घटनाएँ, एक ही प्रायिकता।
  3. (अंतिम शून्य) मान लीजिए L2n=max{k2n:Sk=0}L_{2n} = \max\{k \leq 2n : S_k = 0\} (सम)। प्रश्न 6 को असंयुक्त उछाल-खंडों की स्वतंत्रता के साथ जोड़कर दिखाइए

    P(L2n=2k)=ukunk(0kn),\P(L_{2n} = 2k) = u_k\,u_{n-k} \qquad (0 \leq k \leq n),

    और बिना किसी और परिकलन के द्विपद सर्वसमिका k=0nukunk=1\sum_{k=0}^n u_ku_{n-k} = 1 निकालिए।

  4. दिखाइए कि L2nL_{2n} का नियम सममित है (P(L=2k)=P(L=2n2k)\P(L = 2k) = \P(L = 2n - 2k)) और uj1/πju_j \sim 1/\sqrt{\pi j} का उपयोग करते हुए कि उसके छोर ही उसके सर्वाधिक संभावित मान हैं। n=5n = 5 के लिए सारणी बनाइए: P(L10=0)=u50.246\P(L_{10} = 0) = u_5 \approx 0.246 बनाम P(L10=4)=u2u30.117\P(L_{10} = 4) = u_2u_3 \approx 0.117। व्याख्या कीजिए: किसी लंबे निष्पक्ष खेल में अंतिम बराबरी बहुत जल्दी या बहुत देर से होती है — लंबी बढ़तें नियम हैं, अपवाद नहीं।
  5. प्रश्न 16 से 19 को निष्पक्ष चहलक़दमी के उतार-चढ़ाव-चित्र पर एक अनुच्छेद में जोड़िए: प्रश्न 3 द्वारा सुझाया गया विसरणीय मापक्रम, अपसारी माध्य प्रतीक्षा-समय के सामने वापसी की निश्चितता, और बढ़तों की चापज्या-स्वाद वाली दृढ़ता।

भाग V — नवीकरण सर्वसमिका और पोया की प्रमेय।

  1. पहली वापसी के समय पर {S2n=0}\{S_{2n} = 0\} का विभाजन करके नवीकरण सर्वसमिका

    un=k=1nfkunk(n1),अतःU(x)(1F(x))=1(0x<1),u_n = \sum_{k=1}^n f_k\,u_{n-k} \quad (n \geq 1), \qquad\text{अतः}\qquad U(x)\bigl(1 - F(x)\bigr) = 1 \quad (0 \leq x < 1),

    सिद्ध कीजिए, जहाँ U(x)=n0unxnU(x) = \sum_{n\geq0}u_nx^n तथा F(x)=n1fnxnF(x) = \sum_{n\geq1}f_nx^n (त्रिज्याएँ तथा अध्याय 11 के साथ श्रेणियों का गुणनफल न्यायसंगत ठहराइए)।

  2. पुनरावृत्ति द्विभाजन निकालिए: x1x \to 1^- लेकर (अऋणात्मक गुणांकों वाली श्रेणियों की एकदिष्ट सीमाएँ),

    nun=    nfn=1,\sum_n u_n = \infty \iff \sum_n f_n = 1 ,

    और इसे प्रश्न 3, 7 (निष्पक्ष चहलक़दमी) तथा 12 (पक्षपाती चहलक़दमी) के सामने जाँचिए।

  3. (विमा 22) Z2\Z^2 पर सरल चहलक़दमी पग (±1,0)(\pm1, 0), (0,±1)(0, \pm1), एकसमान रूप से लेती है। दिखाइए कि घुमाए गए निर्देशांक Un=Xn+YnU_n = X_n + Y_n तथा Vn=XnYnV_n = X_n - Y_n Z\Z पर स्वतंत्र निष्पक्ष चहलक़दमियाँ करते हैं, निकालिए

    P(S2n(2)=(0,0))=un21πn,nun2=,\P\bigl(S^{(2)}_{2n} = (0,0)\bigr) = u_n^2 \sim \frac1{\pi n}, \qquad \sum_n u_n^2 = \infty ,

    और प्रश्न 21 से 22 के साथ (जिनकी उपपत्तियाँ अक्षरशः स्थानांतरित हो जाती हैं) निष्कर्ष निकालिए कि Z2\Z^2 पर चहलक़दमी पुनरावर्ती है।

  4. (विमा 33) Z3\Z^3 पर सरल चहलक़दमी के लिए स्थानीय आकलन P(S2n(3)=0)Cn3/2\P(S^{(3)}_{2n} = 0) \leq C\,n^{-3/2} मान लीजिए (जो वर्ष 3 के खंड में स्थानीय सीमा प्रमेय से सिद्ध होता है)। बोरेल–कांतेली 1 से निकालिए कि Z3\Z^3 पर चहलक़दमी क्षणिक है, और पूरा परिणाम कहिए: पोया की प्रमेयसरल यादृच्छिक चहलक़दमी विमा 11 तथा 22 में पुनरावर्ती है, और विमा 33 तथा उससे ऊपर क्षणिक।
  5. संश्लेषण। इनकी ठीक-ठीक भूमिका सूचीबद्ध कीजिए: पथ गिनना और परावर्तन; एकदिष्ट संततता; असंयुक्त उछाल-खंडों की स्वतंत्रता; बोरेल–कांतेली 1; नवीकरण सर्वसमिका। कौन सा अकेला वैश्लेषिक तथ्य (un1/πnu_n \sim 1/\sqrt{\pi n}, अतः un=\sum u_n = \infty पर परंतु un2=\sum u_n^2 = \infty तथा n3/2<\sum n^{-3/2} < \infty) हर विमा में पुनरावृत्ति और क्षणिकता के बीच निर्णय कर देता है?
हल

हल — समस्या 21.1.

1. लंबाई nn का कोई पथ अपने ऊपर-पगों के समुच्चय से निर्धारित होता है; kk पर समाप्त होने का अर्थ है u(nu)=ku - (n - u) = k वाले uu ऊपर-पग तथा nun - u नीचे-पग, अर्थात् u=n+k2u = \frac{n+k}2: यह तभी संभव है जब n+kn + k सम हो और kn\abs k \leq n, और (n(n+k)/2)\binom{n}{(n+k)/2} तरीक़ों से। हर विशिष्ट पथ nn उछालों पर निष्पक्ष गुणनफल माप का एक बिंदु है: प्रायिकता 2n2^{-n}। इसलिए P(Sn=k)=Nn(k)2n\P(S_n = k) = N_n(k)2^{-n}

2. SnS_n की सम-विषमता nn जैसी है, अतः S2n+10S_{2n+1} \neq 0; और un=N2n(0)4n=(2nn)4nu_n = N_{2n}(0)4^{-n} = \binom{2n}n4^{-n}। मान: u1=12u_1 = \frac12, u2=616=38u_2 = \frac6{16} = \frac38, u3=2064=516u_3 = \frac{20}{64} = \frac5{16}

3. unun1=(2nn)4(2n2n1)=(2n)(2n1)4n2=2n12n<1\dfrac{u_n}{u_{n-1}} = \dfrac{\binom{2n}n}{4\binom{2n-2}{n-1}} = \dfrac{(2n)(2n-1)}{4n^2} = \dfrac{2n-1}{2n} < 1: ह्रासमान। उदाहरण 6.14 से (2nn)4nπn\binom{2n}n \sim \frac{4^n}{\sqrt{\pi n}}, अतः un1πn0u_n \sim \frac1{\sqrt{\pi n}} \to 0, और n1/2\sum n^{-1/2} से तुलना करने पर un\sum u_n अपसरित हो जाता है।

4. 00 को छूने वाला 11 से kk तक का कोई पथ दिया हो, तो उसके आरंभिक खंड को (00 की पहली भेंट तक) क्षैतिज अक्ष से परावर्तित कीजिए: परिणाम 1-1 से kk तक का कोई पथ है, और यह संक्रिया अंतर्वलन है — 1-1 से k1k \geq 1 तक के हर पथ को 00 पार करना ही पड़ता है, और उसके आरंभिक खंड को वापस परावर्तित करने पर मूल पथ पुनः मिल जाता है। इसलिए छूने वाले पथों की संख्या Nn1(k+1)N_{n-1}(k + 1) है (1-1 से kk तक विस्थापन k+1k + 1 है)। 00 से kk तक का कोई पथ जो समय 00 के बाद >0> 0 बना रहता है, किसी ऊपर-पग से शुरू होता है और फिर 00 को छुए बिना n1n - 1 पगों में 11 से kk तक जाता है: ऐसे Nn1(k1)Nn1(k+1)N_{n-1}(k-1) - N_{n-1}(k+1) पथ हैं।

5. (n1m1)=mn(nm)\binom{n-1}{m-1} = \frac mn\binom nm तथा (n1m)=nmn(nm)\binom{n-1}{m} = \frac{n-m}n\binom nm का उपयोग करते हुए m=n+k2m = \frac{n+k}2 के साथ:

Nn1(k1)Nn1(k+1)Nn(k)=(n1m1)(n1m)(nm)=m(nm)n=kn.\frac{N_{n-1}(k-1) - N_{n-1}(k+1)}{N_n(k)} = \frac{\binom{n-1}{m-1} - \binom{n-1}{m}}{\binom nm} = \frac{m - (n - m)}{n} = \frac kn .

n=3n = 3, k=1k = 1 के लिए: N3(1)=3N_3(1) = 3 पथ (++++-, +++-+, ++-++), जिनमें से केवल ++++- धनात्मक बना रहता है (+++-+ समय 22 पर 00 पर लौट आता है): तीन में से एक, और kn=13\frac kn = \frac13

6. सममिति से प्रायिकता 2P(Si>0 i2n)2\P(S_i > 0\ \forall i \leq 2n) है। अंत्यबिंदु 2k2k पर योग लेकर और प्रश्न 4 का उपयोग करके (nn की जगह 2n2n रखकर):

P(Si>0 i)=22nk1(N2n1(2k1)N2n1(2k+1))=22nN2n1(1),\P(S_i > 0\ \forall i) = 2^{-2n}\sum_{k\geq1} \bigl(N_{2n-1}(2k-1) - N_{2n-1}(2k+1)\bigr) = 2^{-2n}\,N_{2n-1}(1),

जो कोई दूरबीनी योग है। अब N2n1(1)=(2n1n)N_{2n-1}(1) = \binom{2n-1}{n} तथा 2(2n1n)=(2nn)2\binom{2n-1}n = \binom{2n}n (पास्काल), अतः प्रदर्शित प्रायिकता 222n(2n1n)=(2nn)4n=un2\cdot2^{-2n}\binom{2n-1}n = \binom{2n}n4^{-n} = u_n है।

7. घटनाएँ Dn={Si0, i2n}D_n = \{S_i \neq 0,\ i \leq 2n\} घटती हैं, और उनका प्रतिच्छेद “कभी कोई वापसी नहीं” है; एकदिष्ट संततता तथा प्रश्न 6 से P(कोई वापसी नहीं)=limun=0\P(\text{कोई वापसी नहीं}) = \lim u_n = 0: अर्थात् चहलक़दमी लगभग निश्चित रूप से लौटती है। इसके अतिरिक्त fn=P(Dn1)P(Dn)=un1unf_n = \P(D_{n-1}) - \P(D_n) = u_{n-1} - u_n, और प्रश्न 3 से

un1un=un(2n2n11)=un2n1;n1fn=u0limun=1.u_{n-1} - u_n = u_n\Bigl(\frac{2n}{2n-1} - 1\Bigr) = \frac{u_n}{2n-1}; \qquad \sum_{n\geq1}f_n = u_0 - \lim u_n = 1 .

8. 2nfn=2n2n1unun2n\,f_n = \frac{2n}{2n-1}u_n \geq u_n, और un=\sum u_n = \infty (प्रश्न 3): अतः श्रेणी 2nfn\sum 2nf_n अपसरित हो जाती है। पहली वापसी निश्चित है पर उसका कोई परिमित माध्य प्रतीक्षा-समय नहीं — अर्थात् चहलक़दमी शून्य पुनरावर्ती है, उस शब्दावली में जो अध्याय 22 देगा।

9. घटना “कम से कम kk वापसियाँ” उन घटनाओं का 0<n1<<nk0 < n_1 < \dots < n_k पर असंयुक्त गणनीय संघ है कि “पहली kk वापसियाँ ठीक समयों 2n1,,2nk2n_1, \dots, 2n_k पर होती हैं”। ऐसी कोई घटना असंयुक्त उछाल-खंडों [ ⁣[1,2n1] ⁣]\intint1{2n_1}, [ ⁣[2n1+1,2n2] ⁣]\intint{2n_1+1}{2n_2}, …पर निर्भर kk घटनाओं का प्रतिच्छेद है, जहाँ हर खंड किसी नई चहलक़दमी से माँगता है कि वह ठीक निर्धारित पगों के बाद अपनी पहली वापसी करे; खंडों की स्वतंत्रता से उसकी प्रायिकता fn1fn2n1fnknk1f_{n_1}f_{n_2-n_1}\cdots f_{n_k-n_{k-1}} है। पुलिंदों से योग लेने पर (अध्याय 7, और सारे पद अऋणात्मक):

P(कम से कम k वापसियाँ)=(n1fn) ⁣k=1k=1.\P(\text{कम से कम }k\text{ वापसियाँ}) = \Bigl(\sum_{n\geq1}f_n\Bigr)^{\!k} = 1^k = 1 .

घटनाएँ kk में घटती हैं, अतः एकदिष्ट संततता से P(अपरिमित रूप से कई वापसियाँ)=1\P(\text{अपरिमित रूप से कई वापसियाँ}) = 1: यानी पुनरावृत्ति।

10. प्रश्न 9 से चहलक़दमी 00 से दूर अपरिमित रूप से कई भ्रमण करती है। हर भ्रमण का पहला पग कोई नया सिक्का है, जो उससे पहले की हर चीज़ से स्वतंत्र है: पहले mm भ्रमणों के नीचे की ओर शुरू होने की प्रायिकता 2m2^{-m} है। 11 तक पहुँचने के लिए चहलक़दमी को केवल एक ऊपर की ओर शुरू होने वाला भ्रमण चाहिए (<0<0 से उसे 11 तक पहुँचने से पहले 00 से गुज़रना ही पड़ता है, क्योंकि पग ±1\pm1 हैं), अतः हर mm के लिए P(कभी नहीं पहुँचती 1)2m\P(\text{कभी नहीं पहुँचती }1) \leq 2^{-m}: अर्थात् चहलक़दमी लगभग निश्चित रूप से 11 पर पहुँचती है। (लगभग निश्चित रूप से परिमित) पहुँच-समय पर अपघटन करने पर वहाँ से फिर आरंभ की गई चहलक़दमी 11 से शुरू होने वाली कोई नई चहलक़दमी है: अतः आगमन से वह लगभग निश्चित रूप से हर k1k \geq 1 पर पहुँचती है, और सममिति से हर k1k \leq -1 पर। अंत में, kk की पहली भेंट पर फिर आरंभ करने पर उस नई चहलक़दमी पर प्रश्न 9 लागू होता है: अर्थात् लगभग निश्चित रूप से हर स्थल पर अपरिमित बार जाया जाता है।

11. घटनाएँ An={S2n=0}A_n = \{S_{2n} = 0\} स्वतंत्रता से बहुत दूर हैं (समय 2n2n पर 00 पर होना समय 2n+22n + 2 पर 00 पर होने को un+1u_{n+1} से कहीं अधिक संभावित बना देता है), अतः बोरेल–कांतेली 2 उपलब्ध नहीं है, और वस्तुतः भाग II का सारा काम उसकी जगह लेना ही था। दूसरी दिशा को कोई स्वतंत्रता नहीं चाहिए: यदि P(An)\sum\P(A_n) अभिसरित हो, तो बोरेल–कांतेली 1 लगभग निश्चित रूप से परिमित रूप से कई वापसियाँ दे देती है। नीचे की हर क्षणिकता उपपत्ति का इंजन यही निष्पत्ति है।

12. समय 2n2n पर वापसी के लिए nn ऊपर- तथा nn नीचे-पग चाहिए: P(S2n=0)=(2nn)pnqn=un(4pq)n\P(S_{2n} = 0) = \binom{2n}np^nq^n = u_n(4pq)^n, और p12p \neq \frac12 के लिए 4pq=1(pq)2<14pq = 1 - (p - q)^2 < 1। चूँकि un1u_n \leq 1, श्रेणी P(S2n=0)\sum\P(S_{2n} = 0) गुणोत्तर (4pq)n\sum(4pq)^n से प्रभावित है: अर्थात् अभिसारी। बोरेल–कांतेली 1 से P(S2n=0 अपरिमित बार)=0\P(S_{2n} = 0 \text{ अपरिमित बार}) = 0: अर्थात् लगभग निश्चित रूप से परिमित रूप से कई वापसियाँ।

13. सम n+kn + k के लिए P(Sn=k)=(nn+k2)pn+k2qnk2\P(S_n = k) = \binom{n}{\frac{n+k}2}p^{\frac{n+k}2}q^{\frac{n-k}2}; द्विपद गुणांक अधिक से अधिक केंद्रीय गुणांक जितना है, और pn+k2qnk2=(pq)n/2(p/q)k/2p^{\frac{n+k}2}q^{\frac{n-k}2} = (pq)^{n/2}(p/q)^{k/2}, जिससे बताया गया परिबंध 2n(pq)n/2(p/q)k/2=(4pq)n/2(p/q)k/2\leq 2^n(pq)^{n/2}(p/q)^{k/2} = (4pq)^{n/2}(p/q)^{k/2} मिलता है, जो nn में योग्य है क्योंकि 4pq<1\sqrt{4pq} < 1। बोरेल–कांतेली 1: स्थल kk पर लगभग निश्चित रूप से परिमित बार जाया जाता है; और kZk \in \Z पर अपवाद-रूप शून्य घटनाओं का संघ भी शून्य है (गणनीय उप-योज्यता)। अतः लगभग निश्चित रूप से हर स्थल पर परिमित बार जाया जाता है, इसलिए पूर्णांक अनुक्रम (Sn)(S_n) हर परिबद्ध खिड़की को सदा के लिए छोड़ देता है: Sn\abs{S_n} \to \infty

14. P(Sn0, 1n200)=u100=(200100)41001100π0.056\P(S_n \neq 0,\ 1 \leq n \leq 200) = u_{100} = \binom{200}{100}4^{-100} \approx \frac1{\sqrt{100\pi}} \approx 0.056: अर्थात् बीस में से एक से अधिक संभावना कि 200200 निष्पक्ष उछाल कभी बराबरी पर न आएँ। क्षय 1/πn1/\sqrt{\pi n} कष्टदायक रूप से धीमा है: बराबरी की निश्चितता (प्रश्न 7) बहुत लंबे बराबरी-रहित खिंचावों के अनुकूल है — भाग IV की चापज्या परिघटनाओं का पहला स्वाद।

15. पहले पग पर प्रतिबंधित कीजिए। यदि X1=+1X_1 = +1, तो T1=1T_1 = 1, और f1=12f_1 = \frac12 मेल खाता है। यदि X1=1X_1 = -1, तो चहलक़दमी को 1-1 से 11 तक चढ़ना पड़ता है; खंड-अपघटन से, समय 2n2n पर पहली बार 00 पर लौटना इस प्रकार बँटता है: एक पग नीचे, फिर 1-1 से शुरू होने वाली कोई नई चहलक़दमी जो 2n12n - 1 पगों में पहली बार 00 तक पहुँचे — तुल्य रूप से कोई नई चहलक़दमी जो पहली बार +1+1 तक पहुँचे — अथवा ऊपर की ओर वाली सममित घटना। दोनों चिह्न बराबर योगदान देते हैं:

fn=212P(T1=2n1)=P(T1=2n1).f_n = 2\cdot\tfrac12\,\P(T_1 = 2n - 1) = \P(T_1 = 2n-1) .

इसलिए P(T1<)=fn=1\P(T_1 < \infty) = \sum f_n = 1, जबकि प्रश्न 7 से n(2n1)fn=nun=\sum_n(2n - 1)f_n = \sum_n u_n = \infty: अर्थात् चहलक़दमी लगभग निश्चित रूप से 11 तक पहुँचती है, पर अपरिमित माध्य समय में।

16. {Mnk}\{M_n \geq k\} का अंतिम मान Sn=mS_n = m के अनुसार विभाजन कीजिए। mkm \geq k के लिए शर्त MnkM_n \geq k स्वतः पूरी है। m<km < k के लिए पथ को स्तर kk की उसकी पहली भेंट के बाद परावर्तित कीजिए: यह {Mnk,Sn=m}\{M_n \geq k, S_n = m\} तथा {Sn=2km}\{S_n = 2k - m\} के बीच कोई एकैकी आच्छादन है (2km>k2k - m > k पर समाप्त होने वाला हर पथ kk पर जाता है; वापस परावर्तित करना प्रतिलोम है)। इसलिए

P(Mnk)=m>kP(Sn=m)+P(Sn=k)+m<kP(Sn=2km)=2P(Sn>k)+P(Sn=k).\P(M_n \geq k) = \sum_{m > k}\P(S_n = m) + \P(S_n = k) + \sum_{m < k}\P(S_n = 2k - m) = 2\P(S_n > k) + \P(S_n = k).

17. k=1k = 1 वाले सम समय 2n2n पर: P(S2n=1)=0\P(S_{2n} = 1) = 0 तथा P(S2n>1)=P(S2n2)\P(S_{2n} > 1) = \P(S_{2n} \geq 2), अतः

P(M2n1)=2P(S2n2)=P(S2n2)+P(S2n2)=1un.\P(M_{2n} \geq 1) = 2\P(S_{2n} \geq 2) = \P(S_{2n} \geq 2) + \P(S_{2n} \leq -2) = 1 - u_n .

इस प्रकार P(Si0 i2n)=un\P(S_i \leq 0\ \forall i \leq 2n) = u_n: अर्थात् चहलक़दमी पहले 2n2n पगों में उतनी ही बार आगे नहीं होती जितनी बार वह बराबरी पर नहीं आती (प्रश्न 6) — दो बिलकुल भिन्न घटनाएँ, जिन्हें एक ही unu_n ढो रहा है।

18. {L2n=2k}={S2k=0}{उछालों 2k+1,,2n की चहलक़दमी में कोई शून्य नहीं}\{L_{2n} = 2k\} = \{S_{2k} = 0\} \cap \{\text{उछालों } 2k+1, \dots, 2n \text{ की चहलक़दमी में कोई शून्य नहीं}\}। दोनों घटनाएँ असंयुक्त उछाल-खंडों पर निर्भर हैं, अतः वे स्वतंत्र हैं; पहली की प्रायिकता uku_k है, और दूसरी की unku_{n-k}, जो नई (2n2k)(2n-2k)-पग चहलक़दमी पर प्रश्न 6 लगाने से मिलती है। इसलिए P(L2n=2k)=ukunk\P(L_{2n} = 2k) = u_ku_{n-k}। चूँकि L2nL_{2n} ठीक मान 0,2,,2n0, 2, \dots, 2n लेता है, ये प्रायिकताएँ 11 तक जुड़ती हैं: k=0nukunk=1\sum_{k=0}^nu_ku_{n-k} = 1, यानी किसी प्रायिकतात्मक विभाजन से मिली एक द्विपद सर्वसमिका।

19. सममिति तत्काल है: ukunk=unkuku_ku_{n-k} = u_{n-k}u_k। चूँकि uju_j jj में घटता है, गुणनफल ukunku_ku_{n-k} केंद्रीय kk के लिए सबसे छोटा और छोरों k{0,n}k \in \{0, n\} पर सबसे बड़ा है, जहाँ वह unu_n के बराबर है; परिमाणात्मक रूप से बीच में ukunk1πk(nk)u_ku_{n-k} \approx \frac1{\pi\sqrt{k(n-k)}}, जबकि किनारों पर un1πnu_n \approx \frac1{\sqrt{\pi n}}n=5n = 5 के लिए: P(L10=0)=P(L10=10)=u5=632560.246\P(L_{10} = 0) = \P(L_{10} = 10) = u_5 = \frac{63}{256} \approx 0.246, जबकि P(L10=4)=u2u3=38516=151280.117\P(L_{10} = 4) = u_2u_3 = \frac38\cdot\frac5{16} = \frac{15}{128} \approx 0.117। किसी लंबे निष्पक्ष खेल में अंतिम बराबरी सबसे अधिक संभावना से बिलकुल आरंभ में या बिलकुल अंत में होती है: सिक्के में कोई पक्षपात न होने पर भी प्रायः एक खिलाड़ी विशाल खिंचावों तक आगे रहता है।

20. चित्र यह है: समय nn पर चहलक़दमी मापक्रम n\sqrt n पर जीती है (प्रश्न 3 का द्विपद फैलाव — un1/πnu_n \sim 1/\sqrt{\pi n} केंद्रीय शिखर की ऊँचाई है); वह प्रायिकता 11 के साथ 00 पर अपरिमित बार लौटती है (भाग II), फिर भी वापसियों के बीच के प्रतीक्षा-समय का माध्य अपसारी है (प्रश्न 8), और इसीलिए अकेले भ्रमण किसी भी क्षितिज का धनात्मक अंश घेर सकते हैं; इसके अनुरूप किसी 2n2n-पग खेल की अंतिम बराबरी फैली हुई है और उसके चरम मान सर्वाधिक संभावित हैं (प्रश्न 18 तथा 19), और कभी आगे न होने की प्रायिकता वही धीरे-धीरे क्षय होती unu_n है जो कभी बराबरी न होने की है (प्रश्न 17)। सीमा में निश्चितता, हर परिमित क्षितिज पर दृढ़ता: निष्पक्ष चहलक़दमी यही है।

21. {S2n=0}\{S_{2n} = 0\} (n1n \geq 1) का पहली वापसी-समय 2k2k, 1kn1 \leq k \leq n, के अनुसार विभाजन कीजिए: पहले 2k2k उछालों का खंड कोई पहली वापसी साकार करता है, शेष 2n2k2n - 2k उछाल किसी नई चहलक़दमी की वापसी साकार करते हैं, और दोनों खंड स्वतंत्र हैं: un=k=1nfkunku_n = \sum_{k=1}^nf_ku_{n-k}। दोनों श्रेणियों U(x)=unxnU(x) = \sum u_nx^n, F(x)=fnxnF(x) = \sum f_nx^n की त्रिज्या 1\geq 1 है (गुणांक [0,1]\intcc01 में हैं), और कोशी गुणनफल (अध्याय 11) 0x<10 \leq x < 1 के लिए देता है

U(x)1=n1(k=1nfkunk)xn=F(x)U(x),अर्थात्U(x)(1F(x))=1.U(x) - 1 = \sum_{n\geq1}\Bigl(\sum_{k=1}^n f_ku_{n-k}\Bigr)x^n = F(x)\,U(x), \qquad\text{अर्थात्}\qquad U(x)\bigl(1 - F(x)\bigr) = 1 .

22. x1x \uparrow 1 होने पर U(x)U(x) तथा F(x)F(x) बढ़ते हैं (अऋणात्मक गुणांक); हर आंशिक योग nNun\sum_{n\leq N}u_n nNunxnU(x)\sum_{n\leq N}u_nx^n \leq U(x) की कोई सीमा है, अतः U(x)un(0,+]U(x) \uparrow \sum u_n \in \intoc0{+\infty}, और इसी प्रकार F(x)f=fnF(x) \uparrow f = \sum f_n। यदि un=\sum u_n = \infty: 1F(x)=1/U(x)01 - F(x) = 1/U(x) \to 0, अतः f=1f = 1। यदि un=S<\sum u_n = S < \infty: 1f=1/S>01 - f = 1/S > 0, अतः f<1f < 1। जाँचें: निष्पक्ष चहलक़दमी, un=\sum u_n = \infty तथा f=1f = 1 (प्रश्न 3, 7); पक्षपाती चहलक़दमी, un(4pq)n<\sum u_n(4pq)^n < \infty और उसके अनुरूप f=11/n0un(4pq)n<1f = 1 - 1/\sum_{n\geq0}u_n(4pq)^n < 1, जो वापसियों की संख्या के लगभग निश्चित परिमित होने (प्रश्न 12) से संगत है।

23. Z2\Z^2 चहलक़दमी के चारों पगों (±1,0),(0,±1)(\pm1, 0), (0, \pm1) के लिए U=X+YU = X + Y तथा V=XYV = X - Y की वृद्धियाँ ये हैं: (1,0)(1,0) के लिए (+,+)(+,+), (0,1)(0,1) के लिए (+,)(+,-), (0,1)(0,-1) के लिए (,+)(-,+), (1,0)(-1,0) के लिए (,)(-,-) — और चिह्नों का हर युग्म प्रायिकता 14=1212\frac14 = \frac12\cdot\frac12 के साथ: अर्थात् दोनों निर्देशांक चहलक़दमियाँ (Un)(U_n) तथा (Vn)(V_n) Z\Z पर स्वतंत्र निष्पक्ष चहलक़दमियाँ हैं। चूँकि S2n(2)=(0,0)S^{(2)}_{2n} = (0,0) तभी जब U2n=0U_{2n} = 0 तथा V2n=0V_{2n} = 0,

P(S2n(2)=(0,0))=un21πn,nun2=.\P\bigl(S^{(2)}_{2n} = (0,0)\bigr) = u_n^2 \sim \frac1{\pi n}, \qquad \sum_nu_n^2 = \infty .

प्रश्न 21 की नवीकरण सर्वसमिका तथा प्रश्न 22 का द्विभाजन कुछ भी एकविमीय नहीं बरतते (केवल पहली वापसी पर अपघटन तथा असंयुक्त-खंड स्वतंत्रता), अतः un(2)=\sum u_n^{(2)} = \infty f(2)=1f^{(2)} = 1 दे देता है, और प्रश्न 9 का तर्क उसे और आगे बढ़ा देता है: Z2\Z^2 पर चहलक़दमी लगभग निश्चित रूप से मूल बिंदु पर अपरिमित बार लौटती है।

24. मान लिए गए परिबंध P(S2n(3)=0)Cn3/2\P(S^{(3)}_{2n} = 0) \leq Cn^{-3/2} के साथ श्रेणी अभिसरित होती है, और बोरेल–कांतेली 1 लगभग निश्चित रूप से परिमित रूप से कई वापसियाँ दे देती है: अर्थात् Z3\Z^3 पर चहलक़दमी क्षणिक है (और घातांक d/2-d/2 वाला वही परिबंध हर d3d \geq 3 को साध लेता है)। कुल मिलाकर: पोया की प्रमेयसरल यादृच्छिक चहलक़दमी Z\Z तथा Z2\Z^2 पर पुनरावर्ती है, और d3d \geq 3 के लिए Zd\Z^d पर क्षणिक। कोई पिया हुआ आदमी घर का रास्ता पा लेता है; कोई पिया हुआ पक्षी शायद न पाए।

25. पथ गिनने तथा परावर्तन ने ठीक-ठीक नियम उत्पन्न किए (unu_n, मतपत्र प्रमेय, fnf_n, अधिकतम, अंतिम शून्य); एकदिष्ट संततता ने हर सीमांत कथन (“कम से कम एक बार लौटती है”, “अपरिमित बार”) को परिमित-क्षितिज प्रायिकताओं की किसी सीमा में बदल दिया; असंयुक्त-खंड स्वतंत्रता ने नवीकरण अपघटन चलाए (प्रश्न 9, 18, 21) — वह मार्कोव गुणधर्म का गणनीय कंकाल है; बोरेल–कांतेली 1 क्षणिकता का हथियार रही (प्रश्न 12 से 13, 24), जिसे कोई स्वतंत्रता नहीं चाहिए थी; और नवीकरण सर्वसमिका ने सब कुछ द्विभाजन un=    \sum u_n = \infty \iff पुनरावृत्ति में व्यवस्थित कर दिया। अकेला वैश्लेषिक निवेश स्थानीय आकलन un1/πnu_n \sim 1/\sqrt{\pi n} है: उसका वर्ग 1/(πn)1/(\pi n) अब भी अपसरित होता है (विमा 22, पुनरावर्ती), जबकि n3/2n^{-3/2} अभिसरित होता है (विमा 33, क्षणिक) — अंततः पोया की प्रमेय nd/2\sum n^{-d/2} की अपसारिता के विषय में एक कथन है।