T分布：一个被啤酒厂发现的关键统计概念

ZYB3l69 2019-08-03

展开全文

翻译来源

The t-distribution: a key statistical concept discovered by a beer brewery

这篇博文会介绍两种你在数据科学，统计学，机器学习领域中几乎每次都会遇到的概率分布。

高斯分布（正态分布/常态分布）

想象我们在进行一项关于城市人口身高的研究。我们走街串巷随机测量了一堆人的身高（其中有一些人认为这太奇怪了，想要叫警察，但是这是为了科学，别闹了）。

现在我们决定，进行一些探索性数据分析（Exploratory Data Analysis ）。但是我们手头恰好没有数据分析软件（例如 R），所以我们就简单的做一个身高分布直方图。
这里写图片描述

我们看到了什么？啊哈，著名的钟型曲线。这可能是你遇到过的最为重要的概率分布。感谢中心极限定理（Central limit theorem），高斯分布在很多现实世界中的很多现象中都存在。高斯分布过于常见，以致于人们直接干脆称之为常态分布/正态分布（Normal Distribution)

中心极限定理阐明了，足够多的随机变量求和后的平均数是符合正态分布的。那些随机变量自身可以遵循任意的概率分布，只要我们在衡量某种由这些随机变量求和结果所表示的量时（只要样本量足够大），我们最终都会得到正态分布。

高斯分布的概率密度函数如下：
KaTeX parse error: No such environment: equation at position 8: \begin{̲e̲q̲u̲a̲t̲i̲o̲n̲}̲f(x|\mu,\sigma…

这个公式可能看上去有些吓人，但是它在数学运算上非常便捷。如果你感兴趣它是如何推到出来的，你可以阅读这里。正如你所看到的，这个分布有两个参数

μμ 平均数（mean）
σσ 标准差（standard deviation）

平均数 μμ 控制着期望值（大部分值所要去的地方）。方差 σ2σ2 控制着这个分布中，取值的范围分布情况或者说分散程度。

正态分布的概念在机器学习中有极大的价值。各种各样的机器学习算法都会用到：

线性模型假设误差是正态分布的
高斯过程假设模型下一个函数值的所有值都是正态分布的
高斯混合使你可以对复杂的分布进行建模，基于混合模型构建分类器
正态分布是变分自动编码器的一个重要组件

一个学生的 t 分布

这里写图片描述

如果我们想要用高斯分布对我们的数据进行建模，但是并不知道方差 σ2σ2 怎么办 ? 这个问题在样本量比较小，以致于我们无法准确估计标准差（σσ）的时候会出现。

（译者补充开始）：

为什么样本量较小的时候，标准差会无法准确估计呢？此处可以延伸阅读一下贝塞尔纠偏(Bessel’s Correction)
直观举例来看：
- 假设我们有一个数据总体的平均值是 $2050 $，但是统计学家并不知道这件事，他只能根据抽样的样本来估计总体的均值。现在假设他获得的样本较少，为： 2051,2053,2055,2050,20512051,2053,2055,2050,2051
- 可以算得样本的均值为： 20522052
- 这个可以作为我们对总体均值的一个估计，现在我们面临的问题是，需要进一步估计样本的方差。假如我们知道样本真实的均值是 20502050 ，那么根据方差计算公式，我们进行如下计算
  - 15[(2051−2050)2+(2053−2050)2+(2055−2050)2+(2050−2050)2+(2051−2050)2]=7.215[(2051−2050)2+(2053−2050)2+(2055−2050)2+(2050−2050)2+(2051−2050)2]=7.2
- 假如我们使用估计的均值进行如下计算
  - 15[(2051−2052)2+(2053−2052)2+(2055−2052)2+(2050−2052)2+(2051−2052)2]=3.215[(2051−2052)2+(2053−2052)2+(2055−2052)2+(2050−2052)2+(2051−2052)2]=3.2
- 可以看到使用估计均值计算出的方差，比使用实际均值计算出的方差明显地小了很多，这个偏差已经明显到不可忽略。现在就会自然产生一个疑问，是不是用样本均值计算出来的方差始终（无论样本均值小于或是大于总体实际均值）比用总体均值计算出来的方差要小？答案是肯定的，原因可以通过一个简单的数学恒等式证明：
- $ (a + b)^2=a2 + 2ab + b^2 $, 其中 aa 表示样本值与总体均值的偏差， bb 表示样本均值与总体均值的偏差, 注意： a+ba+b 所表示的即是样本值与总体均值的偏差。通过如下的例子可以更清晰的理解：
- 从上述的计算中就可以看到，如果用总体实际均值计算方差，其结果应该是
  - a2+b2na2+b2n,
  - 很明显是大于等于使用估计均值计算出来的方差
  - a2na2n,

（译者补充结束）

William Gosset 在一个吉尼斯黑啤酒酿酒厂工作时，找到了解决样本量较小时，总体方差未知导致无法用高斯分布建模数据问题的方法。

首先我们假设有值 x1,...,xnx1,...,xn , 这些值是从一个正态分布N(μ,σ2)N(μ,σ2) 的总体中抽样获得的

我们并不知道真正的方差，但是我们可以通过样本均值和样本方差来估计：

ˉx=1n∑ni=1xix¯=1n∑ni=1xi
s2=1n−1∑ni=1(xi−ˉx)2

译者注：上面的 s2 计算时，分母为 n−1 而非 n 的原因就是为了纠正使用样本均值算出的方差总比实际方差小的问题。

现在我们构建一个随机变量：

t=ˉx−μs/√n

就会呈现一个自由度为 n−1的 T分布，其中 n 是样本的数量。

译者注：
统计学中自由度的定义是一次计算中，可以自由变化的变量个数。更多信息建议参考 Wiki 定义。上面这个随机变量 T 其实是由 x1,...,xn 决定的，因为每次抽样，x1,...,xn 都是会随机变动的，所以 t 这个值也就成了一个随机变量，注意到公式中$ n，\mu$ 其实都是是固定的参数，$ \bar{x} $和 s 都是依赖 x1,...,xn 计算出来的。
那么这里自然有一个问题是为什么自由度是 n−1 而不是 n，因为这个计算中，应该有 n 个变量可以自由变化啊
原因是T值的计算公式中使用了 s ， s 的计算过程中依赖(xi−ˉx) 的值，而这就产生了一个隐藏的限制， ∑ni=1(xi−x)=0 。所以这使得一旦前 n-1个(xi−ˉx) 确定后，第 n 个(xi−ˉx) 立马被锁定。自由度因此变成了n−1

这个公式可能和正态分布到标准正态分布的变形很类似：

ˉx−μσ/√n

（译者补充开始）：

标准正太分布是以0为均数、以1为标准差的正态分布，记为N（0，1）, 标准正态分布曲线下面积分布规律是：在-1.96～+1.96范围内曲线下的面积等于0.9500，在-2.58～+2.58范围内曲线下面积为0.9900。如下图
给定一个遵循正态分布的随机变量 $ X \sim N（\mu,\sigma,随机变量Z=\frac{X-\mu}{\sigma}$ 则符合标准正态分布。这个转换过程也被称为 $\mu $ 变换
应用举例，假设已知一个正态分布 $ X \sim N（20,5）$，想要求得在该分布中， X 取到大于30的概率，即可计算 Z=X−μσ=30−205=2，得到 $P（X>30）= P(Z>2) $ ，查标准正态分布表可得结果$ P(Z>2)=2.28%$
在正态分布总体中以固定的个数 n 多次抽取样本时，多个样本集的均数 ˉX的分布仍服从正态分布N（μ，σ）。所以，对样本均数的分布进行**μ变换**，也可变换为标准正态分布$N (0,1)

（译者补充结束）

我们并不知道真正的总体方差，所以在尝试对样本均值进行**μ变换** 时，只能用样本估计出的方差 s 替换实际方差 μ, 导致最终得到的结果是 t 分布。

t 分布奠定了一个名为 t 检验 的科学方法的基础。该方法曾被吉尼斯黑啤酒酿酒厂用于检验啤酒质量。

由于啤酒厂担心竞争者可能会由此发现 T检验的方法，所以 William Gosset 只能将这个发现以笔名 “学生” 发布, 使得 t-分布也被广泛称为学生分布。

Gosset 的发现后来被著名的统计学家 Ronald Fisher （他被认为是频率论方法的作者）正规化描述。

这里写图片描述

如上图所示，当自由度（v = n-1）从小变大的过程中， t-分布逐渐逼近为标准正态分布。这是因为当抽样的数量越多，我们计算出的样本均值就越接近总体的实际均值。 t-分布和标准正态分布相比更为“肥大的尾巴” 补偿了我们进行小样本量抽样时的不确定性。

感兴趣的读者可能会问， “t-分布的概率密度函数是什么？我们如何推导出它?”。这个推导在数学角度来讲并不容易，但是推导的核心思想我们可以很容易掌握。

假设我们希望的得到正态分布变量 X∼N(0,σ) 的概率密度函数，但是不能依赖标准差 σ。直觉上，如果我们想避免使用 σ ，就需要作出某种假设，让我们把 σ 当做一个随机变量，假设它遵循伽马分布（Gamma-Distribution, 这是一个在贝叶斯统计中广泛使用的分布）。然后我们可以猜测，变量 X 是两个连续概率分布的混合：正态分布和伽马分布，我们对涉及到 σ 的部分进行积分，提取出来，就可以得到 t-分布的概率密度函数。