4.9.16 · Maths › Probability Theory & Statistics
Intuition Ek sentence mein idea
Agar aap ek hi random experiment ke zyada se zyada independent copies ka average lete ho, toh woh average settle down ho jaata hai true mean μ par. KYUN : individual draws ke random ups and downs cancel out ho jaate hain jab aap unhe add karte ho, isliye noise shrink hoti hai jabki signal (mean) wahi rehta hai.
Maano X 1 , X 2 , … i.i.d. (independent, identically distributed) random variables hain jinka finite mean μ = E [ X i ] hai. Sample mean define karo:
X ˉ n = n 1 ∑ i = 1 n X i
"X ˉ n → μ " ke do flavours hain, kyunki random variables ki sequence converge hone ke do tarike hote hain.
Definition Weak Law (WLLN)
X ˉ n , μ par in probability converge karta hai:
∀ ε > 0 : lim n → ∞ P ( ∣ X ˉ n − μ ∣ > ε ) = 0
Padhne ka tarika: kisi bhi tolerance ε ke liye, "ε se zyada off" hone ka chance 0 tak jaata hai.
Definition Strong Law (SLLN)
X ˉ n , μ par almost surely (probability 1 ke saath) converge karta hai:
P ( lim n → ∞ X ˉ n = μ ) = 1
Padhne ka tarika: almost every infinite sequence of outcomes ke liye, running average actually μ tak pahunchta hai aur wahan reh jaata hai.
Intuition Weak vs Strong — asli fark
Weak : ek fixed bade n ko dekhta hai aur kehta hai "tum probably close ho." Yeh allow karta hai ki average baad ke n par kabhi kabhi phir door jump kar jaaye.
Strong : poori infinite trajectory ko dekhta hai aur kehta hai "kisi random point ke baad tum hamesha ke liye close reh jaate ho." Strong ⇒ Weak, kabhi ulta nahi.
Ek noisy curve X ˉ n vs n ki picture socho: WLLN kehta hai "kharab outcomes ka band patla hota jaata hai"; SLLN kehta hai "har individual path eventually funnel mein enter karta hai aur kabhi nahi nikalta."
Hum ise do elementary inequalities se banate hain. Inhe bhi derive karo.
Ek non-negative random variable Y ≥ 0 aur a > 0 ke liye:
E [ Y ] = ∫ 0 ∞ y f ( y ) d y ≥ ∫ a ∞ y f ( y ) d y ≥ ∫ a ∞ a f ( y ) d y = a P ( Y ≥ a )
Har step kyun? Pehla ≥ : humne [ 0 , a ) waala part throw away kar diya (non-negative hai, sirf shrink hoga). Doosra ≥ : [ a , ∞ ) par y ≥ a hota hai. Rearrange karo:
P ( Y ≥ a ) ≤ a E [ Y ]
Markov ko Y = ( X − μ ) 2 ≥ 0 par apply karo jahan a = ε 2 hai:
P ( ( X − μ ) 2 ≥ ε 2 ) ≤ ε 2 E [( X − μ ) 2 ] = ε 2 σ 2
Kyunki ( X − μ ) 2 ≥ ε 2 ⟺ ∣ X − μ ∣ ≥ ε :
P ( ∣ X − μ ∣ ≥ ε ) ≤ ε 2 σ 2
Yeh step kyun? Chebyshev ko X ˉ n ka variance chahiye. Independence use karte hue (covariances vanish ho jaate hain) aur identical distribution se:
Var ( X ˉ n ) = Var ( n 1 ∑ X i ) = n 2 1 ∑ i = 1 n Var ( X i ) = n 2 n σ 2 = n σ 2
Saath hi E [ X ˉ n ] = μ (linearity se). Variance 1/ n ki tarah shrink karta hai — yahi engine hai.
X ˉ n par Chebyshev apply karo (mean μ , variance σ 2 / n ):
P ( ∣ X ˉ n − μ ∣ ≥ ε ) ≤ ε 2 σ 2 / n = n ε 2 σ 2 n → ∞ 0
SLLN (Kolmogorov) ko sirf E ∣ X i ∣ < ∞ chahiye. Key tool hai Borel–Cantelli lemma :
Definition First Borel–Cantelli
Agar ∑ n P ( A n ) < ∞ ho, toh P ( A n infinitely often ) = 0 , yaani sirf finitely many A n occur hote hain.
A n = { ∣ X ˉ n − μ ∣ > ε } lo. Crude Chebyshev bound ∑ n n ε 2 σ 2 deta hai jo diverge karta hai — isliye naive bound kaafi nahi hai. Yahi wajah hai ki SLLN, WLLN se zyada mushkil hai. Kolmogorov ek sharper maximal inequality use karta hai (ek saath n tak worst deviation control karta hai) taaki relevant series converge kare, phir Borel–Cantelli saare finitely many bure events ko khatam karta hai ⇒ path hamesha ke liye settle ho jaata hai.
Intuition "Summable probability" se "almost sure" kyun milta hai
Agar saare bure events ki total probability finite hai, toh unme se sirf finitely many afford kar sakte ho. Aakhri wale ke baad, tum permanently good region mein ho — yahi almost-sure convergence hai.
Worked example Example 1 — Fair coin frequency
X i = 1 agar heads aaye, 0 agar tails, p = 2 1 . Toh μ = 2 1 , σ 2 = p ( 1 − p ) = 4 1 .
Q: n = 100 ke liye P ( ∣ X ˉ n − 2 1 ∣ ≥ 0.1 ) ko bound karo.
≤ n ε 2 σ 2 = 100 ⋅ 0.01 0.25 = 0.25
Yeh step kyun? Hum seedha WLLN bound mein plug karte hain. Toh n = 100 par zyada se zyada 25% chance hai ki head-fraction true rate se 0.1 se zyada off hogi. WLLN: yeh n → ∞ ke saath → 0 ho jaata hai. SLLN: actual head-fraction almost every infinite coin sequence ke liye 2 1 par converge karti hai — yahi "lambe run mein fair coin aadhe heads deta hai" ka rigorously matlab hai.
Worked example Example 2 —
n kitna bada hona chahiye?
Q: Coin ke liye, n kitna bada hona chahiye taaki ε = 0.1 ke liye bound ≤ 0.05 rahe?
n ( 0.01 ) 0.25 ≤ 0.05 ⇒ n ≥ 0.05 ⋅ 0.01 0.25 = 500
Yeh step kyun? Hum n ke liye inequality ko invert karte hain. Chebyshev loose hai, isliye 500 ek safe overkill hai; CLT ek chhota real requirement deta. Lesson: WLLN ek usable, agar conservative, sample-size guarantee deta hai.
Worked example Example 3 — Monte Carlo integration
I = ∫ 0 1 g ( x ) d x estimate karne ke liye, U i ∼ Uniform ( 0 , 1 ) draw karo aur g ( U i ) average karo.
Tab E [ g ( U )] = ∫ 0 1 g ( x ) d x = I , toh SLLN se n 1 ∑ g ( U i ) → I almost surely.
Yeh step kyun? Integral literally ek expectation hai, isliye LLN guarantee karta hai ki random estimate true integral par converge karega. Yahi wajah hai ki Monte Carlo kaam karta hai.
Common mistake "5 heads ke baad, tails ab 'due' hai." (Gambler's fallacy)
Kyun sahi lagta hai: LLN kehta hai frequencies 2 1 par balance hoti hain, isliye brain ek corrective force expect karta hai.
Fix: average dilution se self-correct karta hai, compensation se nahi. Coins ki koi memory nahi hoti (X i independent hain). Ek streak future tails se cancel nahi hoti; woh sirf bade n ka ek chhota sa fraction banti jaati hai. Deviations ka sum ∑ ( X i − μ ) badhta reh sakta hai (jaise n ); n se divide karna usse tame karta hai.
Common mistake "Weak aur strong basically same hain."
Kyun sahi lagta hai: dono kehte hain "X ˉ n → μ ."
Fix: woh alag convergence modes describe karte hain. WLLN allow karta hai ki average, bade n par, kabhi kabhi phir bahar jaaye — yeh sirf ek single fixed n constrain karta hai. SLLN poori infinite path constrain karta hai: usse enter karke rehna hi hai. Almost-sure genuinely stronger hai.
Common mistake "LLN ka matlab hai
X ˉ n Normal/bell curve ban jaata hai."
Kyun sahi lagta hai: log LLN aur CLT ko milaa dete hain.
Fix: LLN kehta hai X ˉ n → μ (ek constant ). CLT μ ke aas paas 1/ n scale par fluctuations describe karta hai: n ( X ˉ n − μ ) → N ( 0 , σ 2 ) . LLN = kahan land karta hai; CLT = baki bache wiggle ki shape.
Common mistake "LLN ko finite variance chahiye."
Kyun sahi lagta hai: hamare proof ne σ 2 use kiya.
Fix: woh sirf easy Chebyshev proof hai. WLLN (Khinchin) aur SLLN (Kolmogorov) dono sirf E ∣ X ∣ < ∞ ke saath hold karte hain. Cauchy distribution (koi mean nahi) wahan hai jahan LLN truly fail hota hai — sample means kabhi settle nahi karte.
Recall Padhne se pehle try karo: dono laws aur key inequality state karo
WLLN: P ( ∣ X ˉ n − μ ∣ > ε ) → 0 (in probability). SLLN: P ( lim X ˉ n = μ ) = 1 (almost sure). Engine: Var ( X ˉ n ) = σ 2 / n ko Chebyshev mein plug karne se n ε 2 σ 2 bound milta hai.
Recall Feynman: 12 saal ke bachche ko explain karo
Socho tum ek coin flip kar rahe ho aur ab tak ke heads ka fraction likh rahe ho. Shuru mein woh wildly jump karta hai — shayad 100% heads, shayad 0%. Lekin jitna zyada flip karo, utna woh fraction aalsa ho jaata hai, dheere dheere aadhe ki taraf crawl karta hai aur wahan reh jaata hai. Har naya flip poore pile ko thoda sa hi nudge kar sakta hai, kyunki tum usse hazaaron flips mein share kar rahe ho. "Weak" rule kehta hai: bahut flips ke saath tum probably aadhe ke paas ho. "Strong" rule kehta hai: agar tum hamesha flip karte raho, toh tum definitely exactly aadhe par land karte aur kabhi bhagta nahi. Coin kuch "yaad" nahi rakhta ya tumhara "hisaab" nahi karta — average sirf isliye shant ho jaata hai kyunki purane surprises crowd mein dab jaate hain.
"W eak = W ide net (ek bada n , probably pakda gaya). S trong = S ettles forever (poori path, surely )." Aur engine: "Variance over n vanishes." (σ 2 / n → 0 .)
Weak Law of Large Numbers state karo. i.i.d. X i jinka mean μ ho, X ˉ n → μ in probability: ∀ ε > 0 , P ( ∣ X ˉ n − μ ∣ > ε ) → 0 .
Strong Law of Large Numbers state karo. X ˉ n → μ almost surely: P ( lim n → ∞ X ˉ n = μ ) = 1 .
i.i.d. variables jinका variance σ 2 ho, unke liye Var ( X ˉ n ) kya hai? σ 2 / n (independence covariances ko khatam kar deta hai).
Easy WLLN proof mein kaun si inequality kaam karta hai, aur bound kya hai? Chebyshev; P ( ∣ X ˉ n − μ ∣ ≥ ε ) ≤ σ 2 / ( n ε 2 ) .
Markov's inequality ek line mein derive karo. E [ Y ] ≥ ∫ a ∞ y f d y ≥ a ∫ a ∞ f d y = a P ( Y ≥ a ) , toh P ( Y ≥ a ) ≤ E [ Y ] / a .
Strong vs weak: kaun kaun ko imply karta hai? Almost-sure (strong) ⇒ in-probability (weak), kabhi ulta nahi.
Khinchin/Kolmogorov ko minimum kya condition chahiye? Sirf finite mean, E ∣ X ∣ < ∞ (variance ki zaroorat nahi).
Kaunsa distribution hai jahan LLN fail karta hai aur kyun. Cauchy — iska koi finite mean nahi hai, sample means kabhi converge nahi karte.
LLN aur CLT mein fark. LLN:
X ˉ n → μ (ek constant). CLT: fluctuations
n ( X ˉ n − μ ) → N ( 0 , σ 2 ) .
Strong law ke peechhe kaun sa lemma hai. Borel–Cantelli: agar ∑ P ( A n ) < ∞ toh A n sirf finitely often hota hai (a.s.).
Heads ki streak LLN violate kyun nahi karti? Deviations dilute hote hain: streak bade n ka ek shrinking fraction ban jaati hai; koi memory/compensation ki zaroorat nahi.
Chebyshev bound ≤ 0.05 ke liye ε = 0.1 par kitne fair-coin flips chahiye? n ≥ 0.25/ ( 0.05 ⋅ 0.01 ) = 500 .
Chebyshev's Inequality — WLLN ki rate ke liye workhorse.
Markov's Inequality — Chebyshev ka parent.
Central Limit Theorem — 1/ n fluctuations describe karta hai jo LLN ignore karta hai.
Borel–Cantelli Lemma — Strong Law ka engine.
Modes of Convergence — in probability vs almost sure vs in distribution.
Monte Carlo Methods — LLN ka practical payoff.
Gambler's Fallacy — LLN ki famous galat reading.
Convergence in probability
Var X-bar_n = sigma^2 over n