機率、平均與變異
統計先備知識

統計附錄,選讀、不列入評分。正課需要時再查閱,不必先讀完。
觀察|機率模型|抽樣變動|推論
向下捲動開始互動↓
📌 本頁使用方式(先備 · S1 統計)

① 依序閱讀:每節先讀說明;遇到互動元件時,先預測結果,再操作驗證。 ② 對照來源與算例:先算過本頁例子,再操作互動。計算細節、完整實作與證明預設收合,可按需要展開;各節附 Seeing Theory 網站與講義連結供對照。 ③ 檢查理解:答錯時先看回饋,再回到相關說明;標為延伸的內容可留待第二輪。 ④ 最後翻關鍵詞彙卡自測術語,並用 重點速查與來源查閱。

統計入門參考:Seeing Theory。章節旁的來源標記可點到本頁書目。

CONTENTS · 內容目錄
PART 01 · 母體與樣本

母體與樣本 統計入門參考 · 第 1 章

你想知道全班每天平均花多少時間通勤,卻只問了坐在附近的五位同學。 這五個答案可以描述受訪者;要用它們推測全班,還需要考慮誰有機會被問到。 統計的起點是說清楚想了解誰,以及手上觀察到誰。

母體(population)是研究想涵蓋的全部對象;樣本(sample)是實際觀察到的部分。 母體的數值特徵叫參數(parameter),例如全班平均通勤時間 μ。 由樣本算出的數值叫統計量(statistic),例如五位同學的平均值。

樣本數與代表性 多問一些人可減少某些隨機波動,但若始終只問同一類人,抽樣偏差仍可能存在。

延伸閱讀:Seeing Theory 講義 · Estimation:由樣本了解母體。

🔗 銜接正課 正課的探索式資料分析會進一步用摘要與圖形了解資料。這裡先分清描述樣本與推論母體。
PART 02 · 事件與機率

事件與機率 統計入門參考 · 第 1 章

投擲一枚硬幣之前,結果尚未確定。我們用樣本空間(sample space)列出所有可能結果, 用事件(event)表示其中想觀察的一組結果。一次投擲的樣本空間可寫成 Ω = {正面,反面};事件 A 是「出現正面」。

機率 P(A) 是模型為事件指定的數值,介於 0 和 1 之間。所有可能結果合起來的機率為 1。 若模型假設硬幣公平,正反面機率各為 0.5;機率相等需要理由,不能只因為有兩種結果就各分一半。

$$0\le P(A)\le 1,\qquad P(\Omega)=1,\qquad P(A^c)=1-P(A).$$

這裡 Aᶜ 表示「A 沒有發生」。例如公平骰子出現偶數的機率為 3/6 = 1/2;出現非偶數的機率也為 1/2。

假設連續投擲硬幣 10 次,有 7 次正面。觀察比例是 7/10 = 0.7, 它是這次資料的摘要;模型中的正面機率 p 可以仍是 0.5。有限樣本會有波動。

›尚未投擲;先選 p,再按一次或十次。
模擬示意
先預測再操作
把正面機率設為 0.5,先猜投 10 次會不會剛好一半,再增加到 100 次。藍色實線是累積觀察比例,虛線是模型機率。
模型與這次樣本
投擲次數0
正面次數0
觀察比例尚無樣本
期望值(下一節說明)0.500
變異數(第四節說明)0.250
條件保持一致
每次投擲獨立、p 固定。調整 p 會清空舊樣本,讓新實驗維持同一個機率模型。
再想一步
前九次都反面,第十次正面的機率會增加嗎?
在每次獨立且 p 不變的模型下,第十次仍是 p。硬幣不會為了補回比例而改變機率。
觀察比例會每一步都更靠近 p 嗎?
可能暫時更遠。長期穩定不代表每一步都改善,也不保證有限次投擲恰好等於 p。
PART 02 · 自我檢測

公平硬幣投 10 次出現 7 次正面,這表示什麼?

(A) 硬幣不可能公平。
(B) 接下來三次必須都是反面。
(C) 這次的觀察比例是 0.7,仍可能來自 p = 0.5 的模型。

延伸閱讀:Seeing Theory 講義 · Chance Events。

PART 03 · 隨機變數與期望值

隨機變數與期望值 統計入門參考 · 第 1 章

要對硬幣結果算平均,先把正面記為 1、反面記為 0。這個把結果轉成數字的規則叫 隨機變數(random variable),記作 X。擲出來的某次結果 x 則是它的一個觀察值。

期望值(expectation)把每個可能值乘上出現機率,再全部相加。 下式的 Σ 表示加總;例如可能值只有 0 和 1,就只加這兩項。這裡先處理有限多個可能值。

$$E[X]=\sum_x xP(X=x).$$

正面機率 p = 0.3 時,E[X] = 0 × 0.7 + 1 × 0.3 = 0.3。 每次只能得到 0 或 1,但長期平均可以接近 0.3。期望值不必是一次實驗能得到的值。

公平骰子的期望值同樣是加權平均:

$$E[X]=1\cdot\frac16+2\cdot\frac16+\cdots+6\cdot\frac16=\frac{21}{6}=3.5.$$
樣本平均與期望值 樣本平均使用已觀察的值,期望值使用機率模型。上方硬幣實驗的觀察比例也就是 0/1 資料的樣本平均。
PART 03 · 自我檢測

公平骰子的期望值為 3.5,正確解讀是?

(A) 下一次最可能擲出 3.5。
(B) 許多次獨立投擲的平均會趨近 3.5。
(C) 任意六次投擲的平均必須是 3.5。

延伸閱讀:Seeing Theory 講義 · Expectation。

計算延伸:期望值的加法規則

加總與加權平均

只要相關期望值存在,期望值具有線性性,不需要獨立:

$$E[aX+bY+c]=aE[X]+bE[Y]+c.$$

例如兩天各有期望通勤時間 20 分鐘,總時間的期望是 40 分鐘;即使兩天都受同一交通狀況影響,這個加法仍成立。

證明:期望值的線性性

以有限離散分布為例,對所有可能的配對加總:

$$E[aX+bY+c]=\sum_{x,y}(ax+by+c)P(X=x,Y=y) =a\sum_x xP(X=x)+b\sum_y yP(Y=y)+c.$$

這裡只用了邊際機率等於聯合機率的加總,沒有將聯合機率拆成乘積。

PART 04 · 變異數與長期平均

變異數與長期平均 統計入門參考 · 第 1 章

兩個分布都可能平均為 3,波動卻不同。若 X 等機率取 2 或 4,離平均的距離都是 1; 若 Y 等機率取 0 或 6,距離都是 3。只報平均無法呈現這個差異。

變異數(variance)是偏離期望值的平方之期望。 直接把正負偏差平均會相互抵銷,平方能保留偏離的大小。 標準差(standard deviation)是變異數的平方根,單位回到原本的測量單位。

查公式:變異數的兩種寫法
$$\operatorname{Var}(X)=E[(X-E[X])^2]=E[X^2]-(E[X])^2,\qquad \sigma=\sqrt{\operatorname{Var}(X)}.$$

上述 X 的變異數是 (1² + 1²)/2 = 1,Y 的變異數是 (3² + 3²)/2 = 9,標準差分別為 1 與 3。 對 0/1 硬幣,X² = X,所以 Var(X) = p − p² = p(1−p)。 p = 0.5 時是 0.25;p = 0 或 1 時結果固定,變異數為 0。可回上方滑桿核對。

把所有數值換成 Y = aX + b 時,平移 b 不改變每個值與平均的距離;乘上 a 則使偏差乘上 a,平方偏差因此乘上 a²:

$$E[Y]=aE[X]+b,\qquad \operatorname{Var}(Y)=a^2\operatorname{Var}(X).$$
查公式:樣本變異數、n−1 與適用條件

手上若只有樣本,常用以下公式估計母體變異數(n ≥ 2):

$$s^2=\frac{1}{n-1}\sum_{i=1}^n(x_i-\bar{x})^2.$$

用 n−1 作分母,能在獨立同分布、有限變異數的抽樣下得到母體變異數的不偏估計。 若只是描述手上 n 筆資料的平均平方偏差,也可以除以 n,但要說清楚目的。 例如樣本 {2, 4} 的樣本平均為 3,s² = 2;這與上面「完整機率分布」的變異數 1 使用不同資訊及分母。

大數法則(law of large numbers)說明:在獨立同分布且期望值存在等條件下, 樣本平均會隨樣本數增加而趨近母體期望值。本頁的有限值硬幣模型符合條件。 觀察平均更穩定,並不代表每一次投擲本身變得更穩定;單次變異數仍為 p(1−p)。

延伸閱讀:Seeing Theory 講義 · Variance。

延伸閱讀:Seeing Theory 講義 · Consistency of Estimators:長期穩定的例子。

計算延伸:共變異數、樣本平均與機率界限

加總後的變異數,以及平均為什麼較穩定

期望值可以直接相加,變異數則要考慮變數是否一起波動。定義 $\operatorname{Cov}(X,Y)=E[(X-E[X])(Y-E[Y])]$,有限二階動差下有:

$$\operatorname{Var}(aX+bY)=a^2\operatorname{Var}(X)+b^2\operatorname{Var}(Y)+2ab\operatorname{Cov}(X,Y).$$

獨立會使共變異數為 0。因此,若 $X_1,\ldots,X_n$ 獨立同分布,平均為 μ、有限變異數為 σ²,

$$E[\bar X]=\mu,\qquad \operatorname{Var}(\bar X)=\frac{\sigma^2}{n}.$$
證明:變異數加法與樣本平均的變異數

把 $a(X-E[X])+b(Y-E[Y])$ 平方後取期望,平方項給出兩個變異數,交叉項給出 $2ab\operatorname{Cov}(X,Y)$。 獨立時 $E[XY]=E[X]E[Y]$,所以交叉項為 0。於是

$$\operatorname{Var}\!\left(\frac1n\sum_iX_i\right)=\frac1{n^2}\sum_i\sigma^2=\frac{\sigma^2}{n}.$$
證明:樣本變異數為什麼除以 n−1

在上述獨立同分布、有限變異數的條件下,

$$\sum_i(X_i-\bar X)^2=\sum_i(X_i-\mu)^2-n(\bar X-\mu)^2.$$

兩邊取期望,右邊是 $n\sigma^2-n\operatorname{Var}(\bar X)=(n-1)\sigma^2$。 因此 $n\ge2$ 時,$E[s^2]=\sigma^2$。

延伸:把「越來越穩定」寫成機率界限

Markov 不等式適用於非負 X 與 $a>0$;Chebyshev 不等式適用於有限變異數的 X 與 $\varepsilon>0$:

$$P(X\ge a)\le\frac{E[X]}a,\qquad P(|X-\mu|\ge\varepsilon)\le\frac{\sigma^2}{\varepsilon^2}.$$

套在樣本平均,可得 $P(|\bar X-\mu|\ge\varepsilon)\le\sigma^2/(n\varepsilon^2)$。 這個界限隨 n 趨近 0,說明有限變異數、獨立同分布情況下的弱大數法則;它不要求每一次新抽樣都比前一次接近 μ。

證明:Markov、Chebyshev 與弱大數法則

因為 $X\ge a\mathbf1_{\{X\ge a\}}$,取期望得 $E[X]\ge aP(X\ge a)$,這就是 Markov 不等式。 再把非負變數 $(X-\mu)^2$ 與門檻 $\varepsilon^2$ 代入,得到 Chebyshev 不等式。 最後代入 $\operatorname{Var}(\bar X)=\sigma^2/n$;固定 $\varepsilon>0$ 時右邊隨 n 增大而趨近 0。

延伸閱讀:Seeing Theory 講義 · 期望值與變異數性質。

延伸閱讀:Seeing Theory 講義 · Markov 與 Chebyshev 不等式;一致性見 pp.17–18。

EXERCISES · 練習

複習本頁概念 先備 · 自我檢測

回顧本頁概念與原教材,檢查自己能否說明公式、圖形與成立條件。

EXERCISE 4

從 100 次增加到 200 次獨立公平投擲,哪件事有理論保證?

(A) 每一次投擲的正面機率仍為 0.5。
(B) 這一次的比例誤差一定更小。
(C) 累積正面數一定為 100。
重點速查與來源

機率、平均與變異速查表 先備 · S1 統計

來源:完整書目與章節定位

本頁書目與章節定位

  • 統計入門參考:Seeing Theory。Tyler Dae Devlin、Jingru Guo、Daniel Kunin、Daniel Xiang,2018 年講義草稿。原書與下載資訊
    本頁對應:統計入門參考 · 第 1 章。

需要核對完整公式、比較表或實作時,再展開下方速查。

查閱完整速查與延伸提醒
概念怎麼算/怎麼讀
樣本平均把已觀察的數值加總後除以 n。
期望值把模型中每個可能值乘上機率後加總。
變異數E[(X−E[X])²] = E[X²] − (E[X])²。
標準差變異數開平方根,單位與原資料相同。
樣本變異數估計母體變異數時常用 Σ(xᵢ−x̄)²/(n−1),n ≥ 2。
大數法則合適抽樣條件下,樣本平均隨 n 增加而趨近期望值;不保證每一步更接近。

接著讀條件機率與獨立;若已熟悉這些概念,可直接進入正課。

CARDS · 關鍵詞彙卡

關鍵詞彙卡:點卡片翻面 先備 · 詞彙

詞彙卡整理本頁依 Seeing Theory 編寫的概念解說中常用的統計或機器學習專有名詞,正面附英文名稱。 先看正面的術語,試著說出定義,再翻面核對。可以洗牌複習,也可以搭配本章例子練習解釋。

複習:展開關鍵詞彙卡