Worked examples — Bayes' theorem — derivation and applications
2.7.9 · D3· Maths › Statistics & Probability — Intermediate › Bayes' theorem — derivation and applications
Yeh page Bayes' theorem ki practice floor hai. Parent note ne formula build kiya; yahan hum use har tarah ke input ke against drill karte hain jo ek problem de sakti hai — normal cases, extreme priors, extreme tests, ties, degenerate zeros, aur exam traps. Agar tum poora matrix survive kar sako, toh koi bhi Bayes question tumhe surprise nahi kar sakta.
Sab kuch ek hi formula pe tika hai. Hum ise poore time view mein rakhenge:
Kuch bhi compute karne se pehle, aao ek baar phir in pieces ko seedhe saadon mein samjhein, kyunki har worked example inhe naam se refer karta hai.
The scenario matrix
Har Bayes problem is table ki ek row hai. Jo examples aate hain wo Cell ke saath label hain jo wo cover karti hai, taaki tum har ek ko tick kar sako.
| Cell | Scenario class | Inputs mein kya unusual hai | Example |
|---|---|---|---|
| C1 | Standard rare-cause, 2 hypotheses | small prior, good test | Example 1 |
| C2 | High prior (common cause) | prior ab tiny nahi raha | Example 2 |
| C3 | Multi-way partition () | teen ya zyada mutually exclusive causes | Example 3 |
| C4 | Degenerate: perfect test () | ek likelihood exactly hai | Example 4 |
| C5 | Degenerate: prior ya | belief pehle se certain | Example 5 |
| C6 | Useless evidence (independence) | likelihoods equal → tumhe kuch nahi batata | Example 6 |
| C7 | Real-world word problem | tumhe numbers khud extract karne padenge | Example 7 |
| C8 | Sequential updating (limiting behaviour) | posterior next prior ban jaata hai; limit dekho | Example 8 |
| C9 | Exam twist — complement ya odds form maangta hai | answer plain posterior nahi hai | Example 9 |
Har cell input ki ek alag shape exercise karti hai: "rarity" ke signs (small vs large prior), degenerate corners (ek probability ya ke barabar), ek tie (independence), ek limiting process (kaafi updates), aur do tarike jisse exams question ko disguise karte hain. Mil ke yeh poora space fill karte hain.
Do mental tools jinka hum sahara lete hain:
Example 1 — C1 · Standard rare-cause case
Step 1 — prior aur likelihoods list karo. Yeh step kyun? Hume allergy kitni rare hai (prior) aur test kaisa behave karta hai (likelihood) ko alag karna hai — parent note ki poori warning yahi hai ki yeh alag cheezein hain.
Step 2 — evidence ko head-count ki tarah build karo. bacche lo (figure dekho):

- Allergic: . Inme se, positive test karte hain (blue).
- Not allergic: . Inme se, positive test karte hain (orange false alarms).
Yeh step kyun? Ek positive do tareekon se aa sakta hai (real ya false alarm); evidence mein dono include hone chahiye, warna posterior normalise nahi hoga — parent note ki teesri galti.
Step 3 — Bayes apply karo (saare flagged logon mein se, real ka fraction kya hai?). Yeh step kyun? Bayes literally "true positives all positives" hai — conditional probability ki definition positive column tak restrict ki gayi.
Verify: dono posteriors ka sum hona chahiye: , aur . ✓ Answer se kaafi neeche hai — rarity ne test ko overwhelm kar diya, bilkul waise jaise forecast tha agar tumne "under " guess kiya tha.
Example 2 — C2 · Ek common cause (large prior)
Step 1 — naya prior, same likelihoods. . Yeh step kyun? Hum sirf prior ke effect ko isolate kar rahe hain — test untouched hai.
Step 2 — evidence. Yeh step kyun? Same two-channel sum; sirf group sizes badli hain.
Step 3 — posterior. Yeh step kyun? Bayes engine, unchanged.
Verify: complement ; . ✓ Ek identical test trustworthy se trustworthy ho gaya, purely isliye kyunki prior badha. Yeh parent note ka "prior aur likelihood dono matter karte hain" wala point hai.
Example 3 — C3 · Three-way partition
Step 1 — teeno causes ke liye priors aur likelihoods. Yeh step kyun? mutually exclusive aur exhaustive sources ke saath, partition mein teen cells hain; evidence sum mein har ek appear hona chahiye.
Step 2 — evidence (teeno ke upar sum). Yeh step kyun? Law of Total Probability teen terms ke saath — ek bhi term bhoolna denominator ko corrupt kar deta hai.
Step 3 — spam ke liye posterior. Yeh step kyun? Spam contribution , friend/work ke tiny contributions pe dominate karta hai.
Verify: teeno posteriors ka sum hai: . ✓ Yeh Naive Bayes Classifier ka seed hai.
Example 4 — C4 · Ek perfect (degenerate) test
Step 1 — inputs, note karo ki ek likelihood exactly hai. Yeh step kyun? Likelihood mein zero ek degenerate corner hai — yeh ek pura channel annihilate kar dega.
Step 2 — evidence. Yeh step kyun? False-alarm channel vanish ho jaata hai kyunki uski likelihood hai — koi bhi non-carrier kabhi flag nahi ho sakta.
Step 3 — posterior. Yeh step kyun? Jab sirf carriers hi kabhi positive test kar sakte hain, toh ek positive proof hai. Dhyan do even though — dono conditionals genuinely alag hain (prosecutor's-fallacy lesson).
Verify: ; sum hota hai. ✓ Degenerate lekin consistent — jab tak hai tab tak hum zero se divide nahi kar rahe.
Example 5 — C5 · Ek certain prior ()
Step 1 — inputs, prior ek corner pe pinned hai. Yeh step kyun? doosra degenerate corner hai — belief pehle se certain hai. Dono likelihoods problem mein stated hain, toh koi bhi symbol use karne se pehle define kiya gaya hai.
Step 2 — evidence. Yeh step kyun? Disease channel ek zero prior se multiply hota hai, toh kuch contribute nahi karta.
Step 3 — posterior. Yeh step kyun? Bayes aisi hypothesis ko resurrect nahi kar sakta jise tumne probability assign ki ho. Zero prior ek permanent verdict hai; yeh kabhi bhi kisi cause ko literally impossible declare karne ka danger hai.
Verify: numerator hai, toh kisi bhi positive test ke liye posterior hai. ✓ Lesson: prior ko exactly ya kabhi set mat karo jab tak tumhara sach mein matlab yeh na ho ki "koi bhi evidence mere mind ko badal nahi sakta."
Example 6 — C6 · Useless evidence (ek tie → independence)
Step 1 — inputs, equal likelihoods spot karo. Yeh step kyun? Equal likelihoods aisi evidence ka signature hai jo kuch bhi discriminate nahi karti.
Step 2 — evidence.
Step 3 — posterior. Yeh step kyun? Posterior prior ke barabar hai, . Jab , events independent hain aur — Bayes sahi tarike se irrelevant data pe update karne se mana kar deta hai.
Verify: exactly. ✓ Yeh parent note ka "special case jahan " hai.
Example 7 — C7 · Real-world word problem (numbers extract karo)
Step 1 — words ko symbols mein translate karo. Maan lo = cab Blue hai, = witness "Blue" kehta hai. Yeh step kyun? Word problem ka sabse mushkil hissa yeh decide karna hai ki kaunsa number prior hai aur kaunsa likelihood. " accurate" ek likelihood hai (true colour diya gaya); " Blue" prior hai.
Step 2 — evidence: witness kitni baar "Blue" kehta hai? cabs use karo (figure):

- Blue cabs: ; witness ke liye "Blue" kehta hai.
- Green cabs: ; witness galti se ke liye "Blue" kehta hai.
Yeh step kyun? Kaafi saari green cabs, ek low error rate pe bhi, kaafi saare false "Blue" calls produce karti hain.
Step 3 — posterior. Yeh step kyun? Bahut saari green cabs answer ko witness ki accuracy se kaafi neeche khich leti hain.
Verify: complement ; . ✓ se neeche — green cabs ke base rates matter karte hain, classic base-rate-neglect trap.
Example 8 — C8 · Sequential updating & uski limit
Step 1 — pehla red. Prior . Yeh step kyun? Ek draw belief update karta hai; posterior ab next draw ke liye prior ban jaata hai — yeh belief updating in action hai.
Step 2 — doosra red. New prior . Yeh step kyun? Bayes chain karna; kyunki draws independent hain, hum equivalently likelihoods vs multiply kar sakte hain.
Step 3 — teesra red. New prior . Yeh step kyun? Chain mein teesra aur final update; har red belief ko Loaded bag ki taraf push karta rehta hai.
Step 4 — limit. reds ke baad odds hain . Kyunki , yeh , isliye Yeh step kyun? Evidence jo consistently ek hypothesis ko favour karta hai woh posterior ko certainty ki taraf drive karta hai — lekin finite draws mein kabhi nahi pahuncha (jab tak ek likelihood exactly na ho, cf. Example 4).
Verify: compact odds formula Step 3 ko reproduce karna chahiye: . ✓ Step-by-step chain se match karta hai.
Example 9 — C9 · Exam twist: complement & odds form
Step 1 — Bayes ke odds form se posterior odds. Yeh step kyun? Odds form evidence ko completely sidestep karta hai — dono Bayes equations ko divide karne se common denominator cancel ho jaata hai.
Step 2 — posterior recover karo check karne ke liye (optional bridge). Yeh step kyun? Confirm karta hai ki odds Example 1 ke se match karte hain — exam ka "odds" answer wahi sach hai alag costume mein.
Step 3 — false-alarm probability bas complement hai. Yeh step kyun? "Ek positive diya gaya, chance kya hai ki woh galat hai?" exactly minus posterior hai — koi naya computation nahi chahiye.
Verify: posterior odds kuch nahi fraction wapas dena chahiye: , aur . ✓
Scenario matrix — kya humne har cell cover ki?
Recall Poora matrix tick karo
C1 standard rare cause ::: Example 1 () C2 large prior ::: Example 2 () C3 multi-way partition ::: Example 3 ( spam) C4 perfect test, ek likelihood ::: Example 4 () C5 certain prior ::: Example 5 (, unmovable) C6 useless evidence / independence ::: Example 6 (posterior prior ) C7 real-world word problem ::: Example 7 (taxis, ) C8 sequential updating & limit ::: Example 8 (teen reds → , limit ) C9 exam twist: odds & complement ::: Example 9 (odds , false alarm )
Connections
- Bayes' theorem — derivation and applications — parent formula jis par har example run karta hai.
- Conditional Probability — "flagged column mein se, real ka fraction kya hai."
- Law of Total Probability — Examples 3, 8 mein multi-term evidence.
- Independent Events — Example 6 mein tie ().
- Tree Diagrams — Examples 1 aur 7 mein crowd-splitting pictures.
- Prior and Posterior Distributions — Example 8 mein sequential updating.
- Naive Bayes Classifier — Example 3 ka spam filter, generalised.