区间估计与假设检验的对偶性来自同一组拒绝域的反演,不是任意两种同水平方法的自动等价。
对偶原理
对每个 θ0,设检验 H0:θ=θ0 的不拒绝域为 A(θ0),满足 Pθ0{X∈A(θ0)}≥1−α。定义
C(X)={θ0:X∈A(θ0)}.
于是 Pθ{θ∈C(X)}≥1−α,且 θ0∈C(x) 当且仅当相配的检验不拒绝 θ0。若检验恰有第一类错误概率 α,覆盖率才恰为 1−α。离散问题常保守;反演结果也未必是单一区间。
直观理解
对一系列假定参数值分别做检验,把数据未拒绝的值收集起来,就是相配的置信集。不拒绝不等于证明参数等于该值;频率学派的 置信区间 覆盖率描述重复抽样程序,不是观察数据后参数的后验概率。
单侧情形
在均值等具有相应单调性的常见参数模型中,配对关系为:
| 置信界 | 检验方向 | 拒绝条件 |
|---|
| 下限 [L(X),∞) | H0:θ≤θ0 对 H1:θ>θ0 | L(X)>θ0 |
| 上限 (−∞,U(X)] | H0:θ≥θ0 对 H1:θ<θ0 | U(X)<θ0 |
端点是否包含应与拒绝规则一致;连续模型的端点概率为零时不影响覆盖率。具体正态均值公式见 单侧置信区间。
应用意义
区间的位置反映效应取值的范围,宽度主要反映估计的不确定性。多重比较若要控制整体第一类错误,需要与多重检验相匹配的同时置信区间;不能把多个普通 95% 区间当作整体 95% 的保证。