We should determine whether to use a one-sided test or a two-sided test based on the problem specification (i.e. 问题的提法). More specifically, it should be determined based on the form of the alternative hypothesis (i.e. 备择假设的形式).
若我们知道待检参数在违背零假设H0的情况下会朝哪边偏离,就使用单侧检验;如果不知道,那么就使用双侧检验——这可以通过观察备择假设H1的设定形式判断出来。下面我们以单样本正态均值检验 为例。
双侧检验 (Two-sided test)
假设总体服从均值为μ、方差为σ2的正态分布,其中方差已知。我们的假设设定为:
H 0 : μ = μ 0 H 1 : μ ≠ μ 0 H_0: \mu = \mu_0\\
H_1: \mu \ne \mu_0 H 0 : μ = μ 0 H 1 : μ = μ 0
这样设定H1,是因为我们并不知道如果μ不等于μ0,它会往哪边偏离。若H0成立,则样本均值X ˉ \bar{X} X ˉ 作为总体均值μ的无偏点估计,应该“接近”μ0。因此我们的检验设定为:
i f ∣ X ˉ − μ 0 ∣ > d , r e j e c t H 0 if\ |\bar{X} - \mu_0| > d,\ reject\ H_0 i f ∣ X ˉ − μ 0 ∣ > d , re j ec t H 0
并设定我们的显著性水平为α,即该检验犯第一类错误(i.e. 在H0为真的条件下,拒绝H0)的概率不能高于α。常见的α为0.05。因此:
P ( ∣ X ˉ − μ 0 ∣ > d ∣ H 0 i s t r u e ) ≤ α P(|\bar{X} - \mu_0| > d\ |\ H_0\ is\ true ) \le \alpha P ( ∣ X ˉ − μ 0 ∣ > d ∣ H 0 i s t r u e ) ≤ α
注意到H0成立时,( X ˉ − μ 0 ) / ( σ / n ) ∼ N ( 0 , 1 ) (\bar{X}-\mu_0)/(\sigma/\sqrt{n}) \sim N(0,1) ( X ˉ − μ 0 ) / ( σ / n ) ∼ N ( 0 , 1 ) 。再根据:
P r o b ( ∣ X ˉ − μ 0 σ / n ∣ > d σ / n ) ≤ α Prob(|\frac{\bar{X} - \mu_0}{\sigma/\sqrt{n}}| > \frac{d}{{\sigma/\sqrt{n}}}) \le \alpha P ro b ( ∣ σ / n X ˉ − μ 0 ∣ > σ / n d ) ≤ α
可以求得:
d = σ n u α / 2 d = \frac{\sigma}{\sqrt{n}}u_{\alpha/2} d = n σ u α /2
其中u为标准正态分布的上分位数。综上,该假设的检验为:当∣ X ˉ − μ 0 ∣ > σ n u α / 2 |\bar{X} - \mu_0| > \frac{\sigma}{\sqrt{n}}u_{\alpha/2} ∣ X ˉ − μ 0 ∣ > n σ u α /2 时,拒绝H0。
单侧检验 (One-sided test)
若我们已经知道如果μ不等于μ0,必有μ大于μ0,那么我们的假设设定变为:
H 0 : μ = μ 0 H 1 : μ > μ 0 H_0: \mu = \mu_0\\
H_1: \mu > \mu_0 H 0 : μ = μ 0 H 1 : μ > μ 0
同样,若H0成立,则样本均值X ˉ \bar{X} X ˉ 作为总体均值μ的无偏点估计,应该“接近”μ0,但会是从右侧接近。因此我们的检验设定为:
i f X ˉ − μ 0 > d , r e j e c t H 0 if\ \bar{X} - \mu_0 > d,\ reject\ H_0 i f X ˉ − μ 0 > d , re j ec t H 0
设定显著性水平为α。因此:
P ( X ˉ − μ 0 > d ∣ H 0 i s t r u e ) ≤ α P(\bar{X} - \mu_0 > d\ |\ H_0\ is\ true ) \le \alpha P ( X ˉ − μ 0 > d ∣ H 0 i s t r u e ) ≤ α
通过类似的推导,我们可以计算出:
d = σ n u α d = \frac{\sigma}{\sqrt{n}}u_{\alpha} d = n σ u α
综上,该假设的检验为:当X ˉ − μ 0 > σ n u α \bar{X} - \mu_0 > \frac{\sigma}{\sqrt{n}}u_{\alpha} X ˉ − μ 0 > n σ u α 时,拒绝H0。