假设检验

定义

假设检验 是利用样本数据对关于总体的假设进行决策的统计方法。它的核心思想是：先把要检验的命题写成原假设，再根据样本证据判断是否有足够理由拒绝它。

原假设与备择假设

• 原假设（Null Hypothesis） $H_0$：待检验的假设，通常表示“无效应”或“无差异”。
• 备择假设（Alternative Hypothesis） $H_1$：与 $H_0$ 对立的假设，通常表示我们希望证明的结论。

在频率学派框架下，检验的目标不是“证明 $H_0$ 为真”，而是在预先设定的错误控制标准下，判断样本证据是否足以反对 $H_0$。¹

核心性质

两类错误

错误类型	含义	记号
第一类错误（弃真）	$H_0$ 为真，但我们拒绝了它	$P(\text{reject }{H}_0\mid H_0\text{ true})=\alpha$
第二类错误（取伪）	$H_0$ 为假，但我们没有拒绝它	$P(\text{accept }{H}_0\mid H_0\text{ false})=\beta$

显著性水平 $\alpha$：人为设定的第一类错误上界，通常取 $0.01$、$0.05$、$0.10$。它是“在 $H_0$ 真实时，仍然错误拒绝它”的长期频率控制目标。

威力（Power）：$1-\beta$，正确拒绝假的原假设的概率。

显著性水平越小，拒绝 $H_0$ 的门槛越严格，第一类错误更容易控制，但通常会增加第二类错误；反之亦然。检验设计本质上是在两类错误之间做权衡。

$p$ 值与显著性水平 $\alpha$ 的关系：

• 显著性水平 $\alpha$ 是在检验之前人为设定的阈值（通常是 0.05 或 0.01），表示”我们愿意容忍的第一类错误概率上限”；
• $p$ 值 是在实际观测数据之后计算出来的，表示”在原假设成立的条件下，观测到当前结果或更极端结果的概率”。

决策规则很简单：若 $p\le \alpha$，拒绝 $H_0$；否则不拒绝 $H_0$。

这里有个重要的哲学区分：不拒绝不等于”接受”。就像法庭审判中的”无罪推定”——证据不足不意味着被告真的无罪，只是说现有证据不足以推翻”无罪假设”。²

Neyman-Pearson 范式的核心思想：假设检验本质上是一个决策问题。在长期重复抽样的框架下，我们需要一个规则来最大化检验的”威力”（正确拒绝假原假设的概率），同时将第一类错误控制在预设水平 $\alpha$ 以内。这不是关于”某个样本是否支持 $H_0$“的陈述，而是一套系统性的决策理论。²

$p$ 值与决策

$p$ 值（$p$-value） 是在原假设 $H_0$ 成立的条件下，观察到“当前样本结果或更极端结果”的概率。

需要特别注意：$p$ 值不是“$H_0$ 为真的概率”，也不是“结论为真的概率”。它只是衡量样本与 $H_0$ 的相容程度。

决策规则

• 若 $p\le \alpha$，拒绝 $H_0$。
• 若 $p>\alpha$，不拒绝 $H_0$。

这里的“拒绝”表示：在当前显著性水平下，样本证据已经强到足以认为 $H_0$ 不太可能成立；而“不拒绝”只表示证据不足，不等于证明 $H_0$ 正确。

解释关系

• $\alpha$ 是事先设定的决策门槛，控制错误拒真的风险。
• $p$ 值 是数据给出的证据强弱，越小表示数据在 $H_0$ 下越罕见。
• 最终决策 是把 $p$ 值与 $\alpha$ 比较后作出的二元判断。

因此，$p$ 值小于 $\alpha$ 时，不是“偶然性太小”，而是“在 $H_0$ 下出现如此极端数据的概率太低”，所以拒绝 $H_0$ 更合理。

检验流程

1. 建立假设：明确 $H_0$ 和 $H_1$。
2. 选择检验统计量：构造在 $H_0$ 下分布已知的统计量。
3. 确定拒绝域：根据显著性水平 $\alpha$ 确定拒绝域。
4. 计算检验统计量的值：代入样本观测值。
5. 做出决策：若统计量落在拒绝域，则拒绝 $H_0$。

威力函数

威力函数（Power Function） $\beta (\theta )$ 定义为在参数为 $\theta$ 时拒绝 $H_0$ 的概率：

$$\beta (\theta )=P_{\theta }(\text{reject }{H}_0)$$

性质：

• 当 $\theta \in H_0$ 时，$\beta (\theta )\le \alpha$（第一类错误控制）。
• 当 $\theta \in H_1$ 时，$\beta (\theta )$ 越大越好（第二类错误越小）。

威力曲线：以 $\theta$ 为横轴，$\beta (\theta )$ 为纵轴的图像，用于评估检验的性能。

Neyman-Pearson 引理

Neyman-Pearson 引理 是假设检验理论的基础，给出了最优检验的构造方法。³

引理内容

$$H_0:\theta ={\theta }_0\text{vs}{H}_1:\theta ={\theta }_1$$

设样本 $\mathbf{X}=(X_1,\dots ,X_n)$ 的密度为 $f(\mathbf{x};\theta )$，构造似然比：

$$\Lambda (\mathbf{x})=\frac{L({\theta }_0;\mathbf{x})}{L({\theta }_1;\mathbf{x})}=\frac{f(\mathbf{x};{\theta }_0)}{f(\mathbf{x};{\theta }_1)}$$

则在显著性水平 $\alpha$ 下，似然比检验：

$$\Lambda (\mathbf{x})\le c\Rightarrow \text{拒绝 }{H}_0$$

是最强检验（MP 检验），其中常数 $c$ 由 $\alpha$ 决定。

直观理解

似然比越小，说明样本更可能在 $H_1$ 下出现，而非 $H_0$ 下，因此应拒绝 $H_0$。

似然比检验

广义似然比检验（Generalized Likelihood Ratio Test，GLRT） 将 Neyman-Pearson 引理推广到复合假设：

$$\Lambda (\mathbf{x})=\frac{{\sup }_{\theta \in {\Theta }_0}L(\theta ;\mathbf{x})}{{\sup }_{\theta \in \Theta }L(\theta ;\mathbf{x})}$$

其中 ${\Theta }_0$ 为 $H_0$ 下的参数空间。

决策规则：$\Lambda (\mathbf{x})\le \lambda$ 时拒绝 $H_0$，$\lambda$ 由显著性水平决定。

常用检验

$Z$ 检验（正态总体方差已知）

单样本 $Z$ 检验：

$$H_0:\mu ={\mu }_0\text{vs}{H}_1:\mu \ne {\mu }_0$$

检验统计量：

$$Z=\frac{\bar{X}-{\mu }_0}{\sigma /\sqrt{n}}\sim N(0,1)(\text{当 }{H}_0\text{ 成立})$$

双样本 $Z$ 检验：比较两个总体均值是否有差异。

$t$ 检验（正态总体方差未知）

单样本 $t$ 检验：

$$H_0:\mu ={\mu }_0\text{vs}{H}_1:\mu \ne {\mu }_0$$

检验统计量：

$$t=\frac{\bar{X}-{\mu }_0}{S/\sqrt{n}}\sim t(n-1)$$

配对 $t$ 检验：适用于配对样本。

两独立样本 $t$ 检验：比较两个正态总体的均值差异。

${\chi }^2$ 拟合优度检验

${\chi }^2$ 拟合优度检验（Chi-Square Goodness-of-Fit Test） 用于检验样本是否来自某个特定分布。

检验统计量：

$${\chi }^2=\sum _{i=1}^k\frac{(O_i-E_i{)}^2}{E_i}$$

其中 $O_i$ 为观测频数，$E_i$ 为期望频数，$k$ 为类别数。

分布：在 $H_0$ 成立且样本量足够大时，${\chi }^2\sim {\chi }^2(k-1-m)$，其中 $m$ 为被估计的参数个数。

示例：检验骰子是否均匀

抛掷骰子 600 次，观测到各面的次数为 $(95,100,110,105,90,100)$，检验骰子是否均匀。

期望频数：每个面期望出现 $600/6=100$ 次。

$${\chi }^2=\frac{(95-100{)}^2}{100}+\frac{(100-100{)}^2}{100}+\cdots +\frac{(100-100{)}^2}{100}=2.5$$

自由度：$6-1=5$，查表得 ${\chi }_{0.05}^2(5)=11.07$。

由于 $2.5<11.07$，不拒绝 $H_0$，即没有显著证据表明骰子不均匀。

检验的比较

检验方法	适用场景	检验统计量分布
$Z$ 检验	正态总体，${\sigma }^2$ 已知，大样本	$N(0,1)$
$t$ 检验	正态总体，${\sigma }^2$ 未知，小样本	$t(n-1)$
${\chi }^2$ 检验	分类数据，拟合优度	${\chi }^2(k-1-m)$
$F$ 检验	两正态总体方差比较	$F(n_1-1,n_2-1)$

检验与置信区间的对偶关系

设参数 $\theta$ 的置信水平 $1-\alpha$ 的置信区间为 $(T_1,T_2)$，则：

• 双侧检验 $H_0:\theta ={\theta }_0$ vs $H_1:\theta \ne {\theta }_0$ 在水平 $\alpha$ 下拒绝 $H_0$，当且仅当 ${\theta }_0\notin (T_1,T_2)$。
• 单侧检验 $H_0:\theta \le {\theta }_0$ vs $H_1:\theta >{\theta }_0$ 在水平 $\alpha$ 下拒绝 $H_0$，当且仅当 ${\theta }_0<T_1$。

应用与例子

常见用法

• 医学研究中判断新药是否有效。
• 质量控制中判断产品是否满足标准。
• A/B 测试中判断两种方案是否存在显著差异。
• 分类数据中判断观测分布是否符合理论分布。

相关章节

• 三大抽样分布：检验统计量的分布基础。
• 区间估计：置信区间与假设检验的对偶关系。
• 点估计：估计量与检验统计量的联系。
• 贝叶斯推断：频率派假设检验与贝叶斯方法的对比。

Footnotes

1. 本文关于原假设、备择假设、显著性水平和 $p$ 值的表述，参考常见数理统计教材与频率学派假设检验框架。 ↩

2. 关于假设检验的系统性介绍，可参考 Penn State STAT 415 课程 Lesson 26: Neyman-Pearson Lemma ↩ ↩²

3. Neyman，J.，Pearson，E. S.（1933）：《On the Problem of the Most Efficient Tests of Statistical Hypotheses》。 ↩