概率與統計第 3 章
Probability Topics
本章目錄
第一章問的是樣本能在多大程度上代替總體;這一章轉向另一個問題:在所有可能發生的情況之中,某一件事有多大可能發生。它建立的詞彙、把事件組合起來的運算(),以及事件與只是不能重疊的事件之間的分別。章末介紹兩種從真實數據讀出概率的方法:和。
樣本空間、結果與事件
樣本空間(sample space)是一項試驗可能產生的每一個結果(outcome)的完整清單;事件(event)是該樣本空間的任何一個子集,可以是一個結果、幾個結果或一個也沒有;事件的概率(probability),寫作 ,是一個由 0 至 1 的數,量度它有多大可能發生。
把每一個不同的結果列出來,那份清單就是樣本空間。事件就是當中你真正關心的那個子集。當各個結果等可能(equally likely)時, 等於符合 的結果數目除以樣本空間中結果的總數目。
一個 8 格的轉盤,格子由 1 至 8 編號,每格等可能(假設的例子)。樣本空間是 。事件 「落在奇數上」是 ,所以 。
「事件就是單一個結果,例如落在 4。」 一個結果是單一個情況;一個事件可以同時包含好幾個,例如上面的 。「擲兩顆骰子,每一個點數和都是等可能的,因為沒有什麼令某個總和特別一點。」 兩顆骰子的 36 個有序對是等可能的,但它們的點數和不是:和為 2 的只有一對,和為 7 的卻有六對不同的組合。
事件的組合:且、或與互補事件
對於事件 和 : 且 (AND)是同時在兩者裡的結果; 或 (OR)是在其中一個或兩者裡的結果;互補事件(complement) 是所有不在 裡的結果。
「且」收窄到重疊的部分;「或」把任何一個事件觸及的結果全部收集起來,重疊的部分只算一次。因為每一個結果不是在 裡就是在 裡,而且從不同時在兩者裡,所以 永遠成立。
同一個轉盤: =「奇數」= , =「大於 5」= 。 且 = ; 或 = ;,所以 。
「『A 或 B』指的是其中一個,不是兩個都是。」 數學上的「或」永遠包括兩者都是,這跟點咖啡時說的「加奶或加糖」不同,後者通常排除了兩樣都加。「互補事件要重新點算一次,就像原來的事件那樣。」 幾乎從來不需要重新點算: 更快,而且準確。
條件概率:知道了一件事之後,什麼會改變
條件概率(conditional probability) 是 在已知 已經發生的條件下發生的概率:。
知道 發生了,樣本空間就縮小到只剩 的結果。問這些剩下的結果當中有多少個也在 裡,以 的總數為分母,而不是原來的總數。
同一個轉盤: =「奇數」, =「大於 5」。(只有 7),,所以 ,低於原本的 。
「已知 B 時 A 的概率和已知 A 時 B 的概率是同一個數,只是次序調換了。」 兩者縮小到的是不同的樣本空間:這裡 ,不是 。「知道 B 發生了,不能改變 A 的概率。」 恰恰當 排除了 的某些有利結果時,它就會改變,這裡正是如此。
獨立事件不是互斥事件
當知道其中一個事件發生了並不改變另一個的概率,兩個事件就是獨立(independent)的:。當兩個事件沒有共同結果、永遠不能同時發生,它們就是互斥(mutually exclusive)的:。
用 檢查獨立性;用 檢查互斥性。除非題目另有說明,否則先假設事件是相依(dependent)而且不互斥的,直至你能證明其中一項成立。
擲一枚公平的硬幣兩次(假設的例子):「第 1 次擲出正面」和「第 2 次擲出正面」是獨立的:;而且不互斥,因為兩者可以同時發生。
「獨立就是互斥的意思:兩個事件互不相干。」 對於各自都可能發生的事件來說,兩者是相反的:互斥事件是相依到極點的事件,因為一個排除另一個,是最強的相依關係。「連續五次正面之後,反面『該出』了。」 每一次擲都是獨立的:硬幣沒有記憶,所以無論之前如何,第 6 次仍然是 0.5。
概率乘法定律與加法定律
概率乘法定律(multiplication rule)求 ;概率加法定律(addition rule)求 。每條定律都有一個一般形式,以及一個較簡單的特例,而特例只有在真正檢查過獨立性或互斥性之後才適用。
乘法:一般形式 ;若獨立,則 。加法:一般形式 ;若互斥,則 。
一個假設的招聘流程:60% 的申請人通過數學篩選測試;50% 通過寫作篩選測試;通過數學測試的人當中,75% 也通過寫作測試。下面的例題詳解求兩項都通過的概率,以及至少通過一項的概率。
- 列出已知。 ,,。
- 先檢查獨立性。 ,所以 和 相依:必須用一般形式的乘法定律,不能走捷徑。
- 套用乘法定律。 。
- 套用加法定律。 。
常見失誤:沒有先檢查獨立性就把 乘以 ;在加法定律裡忘記減去 ,令兩項都通過的每一個人被重複計算。
1654 年,賭徒德梅雷騎士(Chevalier de Méré)問道,為什麼他一直信得過的一注賭博老是輸:「擲一顆骰子 4 次,至少出現一次一點」這一注一直穩定地贏錢,於是他改為賭「擲兩顆骰子 24 次,至少出現一次雙一」,把投擲次數乘以六倍,以配合罕見程度也是六倍的雙一。這兩注並不成比例:第一注勝出的概率接近 0.518,第二注只有大約 0.491,因為重複投擲的概率是複合累積的,不是按直線比例放大。德梅雷的難題傳到帕斯卡(Blaise Pascal)那裡,他因此與費馬(Pierre de Fermat)通信,一般認為概率的數學理論正是由這些通信奠基的。
「你永遠可以直接把 P(A) 乘以 P(B) 得到 P(A 且 B)。」 只有獨立時才可以,否則必須用 ,就像上面那樣,那裡 會是錯的。「加法定律就是 P(A) + P(B)。」 除非事件互斥,否則那會把重疊部分多算一次;減去 正是修正的方法。
讀懂列聯表
列聯表(contingency table)把兩個分類變量按行和列交叉列表,令行總計、列總計和格內的計數可以轉化為邊際概率(marginal probability)、聯合概率(joint probability)和條件概率。
邊際概率是把一個行總計或列總計除以全表的總計。聯合概率是把一格除以全表的總計。條件概率是把一格除以它自己所在的行總計或列總計:「已知」這個詞永遠會縮小分母。
一家假設的健身室把 200 名會員按會籍類型(標準/高級,屬)與每星期一堂課的出席情況(是/否)交叉列表。下面的例題詳解直接從表中讀出三個概率。
- 讀表。 高級會員且有上課 = 30;高級會員總計 = 50;全表總計 = 200。
- 邊際概率。 。
- 聯合概率。 。
- 條件概率。 :除以高級會員那一行的總計,不是全表的總計。
常見失誤:求條件概率時除以全表的總計,而不是相關的行總計或列總計;把 和 調轉了,後者是把同一個 30 除以另一個總計。
「從表裡求任何概率都是除以全表的總計。」 只有邊際概率和聯合概率才是;條件概率改為除以它所在的行總計或列總計。「已知高級會員時有上課的概率,和已知有上課時是高級會員的概率,算出來一樣。」 兩者是把 30 除以不同的總計:一個是 50,另一個是「有上課」那一列的總計 70,兩者很少相等。
樹形圖與溫氏圖
樹形圖(tree diagram)把一連串事件畫成標有概率的分支,沿每條路徑相乘;溫氏圖(Venn diagram)把事件畫成一個代表樣本空間的方框裡互相重疊的區域。
在樹形圖上,沿一條路徑把分支的概率相乘;後面的分支可以標上取決於前一條分支的條件概率。在溫氏圖上,重疊部分是「且」,合起來的面積是「或」,圓以外的部分是該事件的互補事件。
一個袋裡有 5 顆紅色和 3 顆藍色的波子(假設的例子),不放回地抽出兩顆。第一對分支是 (紅色)和 (藍色);已知第一次是紅色,第二對分支變成 和 ,所以 。
「沿一條路徑要把分支的概率相加,而不是相乘。」 相乘是逐條分支套用乘法定律;相加屬於合併不同的路徑,不是一條路徑本身的各個步驟。「溫氏圖裡圓的大小必須跟真實的概率相符。」 溫氏圖是示意圖:除非圖上明確說明,否則一個圓畫得多大,並不對它的實際概率作任何承諾。
從樣本空間到日常生活的機會綜合運用
最後一個假設的例子把整章串起來:一家小診所記錄 500 名病人的檢測結果(陽性或陰性,屬),以及他們是否真的患有某種罕見病,這正是一個呼之欲出的。診所的是全部 500 名病人;「檢測呈陽性」和「患有該病」各是一個,而問已知其中一個時另一個的概率,是,不是單純的邊際比率。這兩個事件不:真實檢測的結果取決於實際病況;它們也不互斥,因為兩者可以同時成立。求「檢測呈陽性且患有該病」用的是;求「檢測呈陽性或患有該病」用的是加法定律。可以把「先病況、後檢測」畫成兩層分支,沿每條路徑相乘;溫氏圖則可以把同一個關係畫成兩個重疊的圓。這七個概念沒有一個是可有可無的棚架:合起來,它們就是把陽性結果讀成患病的證明,與正確地把它讀成一項證據之間的分別,這項證據會推移概率,卻不會把它釘死在 0 或 1。
資料來源
- 1 OpenStax Introductory Statistics §3.1: Terminology — 來源
- 2 OpenStax Introductory Statistics §3.2: Independent and Mutually Exclusive Events — 來源
- 3 OpenStax Introductory Statistics §3.3: Two Basic Rules of Probability — 來源
- 4 OpenStax Introductory Statistics §3.4: Contingency Tables — 來源
- 5 OpenStax Introductory Statistics §3.5: Tree and Venn Diagrams — 來源
- 6 cut-the-knot.org: Chevalier de Méré's Problem — 來源
- 7 MacTutor History of Mathematics (Univ. of St Andrews): Pierre de Fermat — 來源