计量小课:计量经济学基础
计量经济学计量小课

当我们说\"OLS 估计量是无偏的\",我们在说什么?

初学计量的人,在学完 OLS 的无偏性之后,往往会产生一种奇异的安心感。

作者:计量科研导航站发布:2026-07-29★★

一、开篇:课本说 OLS 是无偏的,那我这个 0.08 不就是对的吗?

初学计量的人,在学完 OLS 的无偏性之后,往往会产生一种奇异的安心感。

课本给出了高斯-马尔可夫定理:在五个经典假设下,OLS 估计量是无偏的(Unbiased)——E[β^1]=β1\mathbb{E}[\hat{\beta}_1] = \beta_1

然后你打开 Stata,跑了一个回归,得到 β^1=0.08\hat{\beta}_1 = 0.08

你自然地想:"既然 OLS 是无偏的,那我这个 0.08 应该就是真实值——或者至少离它不远吧?"

不是。完全不是。

无偏性不提供关于你手里这个具体的 0.08 的任何保证。它不承诺你的 0.08 接近真值。它甚至不承诺你的 0.08 比一个纯随机猜测更接近真值。它只承诺——如果你能无数次地重复整个研究、每次从总体中抽取新样本并重新估计,那么这无限多个估计值的平均值会等于真值。

但你不能。你只有一个样本,一个估计值。而无偏性对这个唯一的估计值是否准确,一句话都没说。

核心信息:无偏性是估计量(公式)的性质,不是估计值(具体数字)的性质。它描述的是"这个公式在长期中不会系统性偏离靶心",而不是"你这一箭一定射中靶心"。这两者之间的鸿沟,是一切统计推断逻辑的起点。


二、无偏性的精确含义——在数学中,在直觉中

2.1 数学定义

E[β^1]=β1\mathbb{E}[\hat{\beta}_1] = \beta_1

这里的期望 E[]\mathbb{E}[\cdot] 是对所有可能的随机样本取的。它是反复抽样下的平均行为——和手上这一份具体的样本、这一个具体的 0.08 无关。

2.2 用思想实验来理解

你有一个总体(比如中国所有劳动者的教育年限和工资)。真实的 β₁ 是 0.075。

现在你做了一个思想实验:

  • 第 1 次:从总体中随机抽取 1000 人,跑 OLS。得到 β^1(1)=0.081\hat{\beta}_1^{(1)} = 0.081
  • 第 2 次:重新随机抽取 1000 人,跑 OLS。得到 β^1(2)=0.069\hat{\beta}_1^{(2)} = 0.069
  • 第 3 次:再抽,得到 β^1(3)=0.083\hat{\beta}_1^{(3)} = 0.083
  • ……
  • 第 10,000 次:得到 β^1(10000)=0.073\hat{\beta}_1^{(10000)} = 0.073

现在,把这 10,000 个 β^1\hat{\beta}_1 取平均值。你会发现这个平均值大约等于 0.075——也就是真实的 β₁。

这就是无偏性的全部含义:估计方法的"长期平均"不会错。第 3 次抽样的 0.083 偏高了,第 2 次的 0.069 偏低了,但它们互相抵消了——平均下来就是准确的。

2.3 但你说的是"第 3 次"——而我只有一次

你只有一个样本。你是那个第 3 次——你的估计值是 0.083,高于真值 0.075。你的估计值偏离了真值——尽管你用的估计方法是完全无偏的。

无偏性没有承诺"你这一次的偏离很小",更没有承诺"你这一次的方向是偏高还是偏低"。你无法从无偏性中推断出任何关于你手里这个 0.08 的确定性结论。


三、靶心比喻——经典,但常被误解

想象一个射手对着靶心开枪。

  • 无偏的射手:开枪 1000 次,弹孔均匀散布在靶心周围——左右上下对称,平均落点正好是靶心。但任何单一一枪,可能正中靶心,也可能偏到 3 环以外。
  • 有偏的射手:开枪 1000 次,弹孔系统性地偏向靶心的右上方——平均落点在 2 环位置。他可能偶尔正中靶心,但"长期来看"他偏向右上。

无偏射手 ≠ 每一枪都命中靶心。 他只是在"如果你让他打无限多枪"的意义上,瞄准是正确的。你作为只看了他一枪的旁观者,从这一枪是否命中靶心,完全无法判断射手的准星是否正确。

这个比喻还有一个延伸版本——两个射手都是无偏的,但一个的弹孔散布紧密(方差小),一个的弹孔散布松垮(方差大)。 前者是"精确的无偏估计量"——OLS 在高斯-马尔可夫条件下的 BLUE 属性正是保证了它在所有线性无偏估计量中方差最小。后者虽然也是无偏的,但在任何单一样本中,估计值偏离真值的可能幅度远大于前者。

OLS 的"有效性"(最小方差)保证的是:在所有无偏的射手中,OLS 的弹孔分布最集中。但它不保证你的那一枪一定命中靶心。


四、为什么不能说"OLS 是无偏的,所以我的估计是对的"?

4.1 估计值 ≠ 估计量

前文已详述:估计量是公式(随机变量),估计值是把公式用在你这份特定样本上算出来的数(固定值)。

无偏性是公式的性质。你手里的 0.08 不是"无偏的"——它就是一个数,就像 3.14 不是"无偏的"一样。你可以说产生它的方法是"无偏的",但不能说这个数字是"无偏的"。

4.2 抽样误差永远存在

即使你的样本是完美的简单随机样本、模型设定完全正确、所有经典假设都满足——你的 n=1000 不等于总体。由于抽样的随机性,你的 1000 个人恰好和前 1000 个人略有不同,所以你的 0.08 恰好和再抽 1000 个人得到的 0.076 略有不同。

抽样误差不是"错误",而是"随机抽样"这一行为的自然结果。 无偏性保证这种误差在长期中向零平均,但它不保证在某一次抽样中误差为零。

4.3 CIA(条件独立假设)本身可能不成立

无偏性在数学上是"给定经典假设下"的定理。如果经典假设中的零条件均值假设(E[εX]=0\mathbb{E}[\varepsilon|X] = 0)不成立——即存在遗漏变量偏误——那么即使你有完美的随机样本,OLS 估计量也不是无偏的。

此时你面对的是双重不确定性:不仅你的具体估计值可能偏离真值(抽样误差),而且你的估计方法本身在长期中也不会平均到真值(偏误)。

但即使在第一种纯"抽样误差"的场景中——所有假设都完美成立——你的单个估计值仍然可能偏得离谱。


五、一个被低估的事实:无偏估计量可以给出"错得离谱"的估计值

5.1 小样本下的无偏估计量

假设真实的 β₁ = 0。你用 n=10 的样本跑 OLS。OLS 是无偏的——重复抽样 100 万次,β^1\hat{\beta}_1 的平均值是 0。

但当 n=10 时,β^1\hat{\beta}_1抽样分布非常分散。在这个分布中,你可能抽出 β^1=2.3\hat{\beta}_1 = 2.3,也可能抽出 β^1=1.7\hat{\beta}_1 = -1.7。每一份具体的样本都可能给出和 0 相去甚远的估计值——但由于正负相互抵消,长期平均值仍然是 0。

无偏性没有对任何单一估计值的"与真值的距离"做出任何概率性的保证。 这个距离由标准误来衡量——而标准误在小样本中很大。

5.2 大样本下——虽然无偏仍然存在"这个样本的运气"

即使 n=100,000——标准误已经极小——你的具体估计值仍然可能由于"这个特定样本的运气不好"而偏离真值。只是这种偏离的幅度被标准误控制在很小的范围内。

所以,置信区间存在的全部意义就在此:它承认了你只有一个样本、一个估计值——因此你无法断言"我的估计值等于真值"。你能说的是——"如果经典假设成立,在反复抽样中,用同样的方法构造的置信区间,有 95% 的概率会覆盖真值。我这个具体区间在 95% 的层面上,给出了一个可靠的范围。"


六、无偏性、一致性与"你可以相信什么"的递进关系

除了无偏性,计量课本还会讲另一个性质:一致性(Consistency)

β^1pβ1当 n\hat{\beta}_1 \xrightarrow{p} \beta_1 \quad \text{当 } n \to \infty

一致性说的是:当样本量趋向无穷大时,估计量以概率收敛于真值。换句话说,样本量足够大时,估计值和真值之间出现较大偏离的概率可以任意接近于 0。

一致性和无偏性的区别

  • 无偏性是小样本性质——对任何固定的 n,E[β^1]=β1\mathbb{E}[\hat{\beta}_1] = \beta_1
  • 一致性是大样本性质——nn \to \infty 时,β^1\hat{\beta}_1 几乎必然在真值附近。

一致性比无偏性更强的意义在于:即使一个估计量在小样本中是有偏的(E[β^1]β1\mathbb{E}[\hat{\beta}_1] \neq \beta_1),如果随着 n 增大,偏误逐渐消失且方差衰减到零,那么它在足够大的样本中仍然可以被信任。在当代微观计量中,许多估计方法(如工具变量 2SLS、倾向得分匹配)仅具有大样本性质(一致性),不具有有限样本的无偏性。


七、那"无偏"到底有什么用?——四个层面的价值

层面一:方法论层面的最低保障。 无偏性是计量方法的第一道防线——如果一个估计方法连"长期瞄准靶心"都做不到,那你没有任何理由相信它在某一份样本中的表现。无偏性是进入"可接受的方法"行列的最低门槛。

层面二:消除系统性担忧。 无偏性排除了"研究方向会被系统性地误导"的恐惧。如果你的估计方法是有偏的,你可能反复做 100 项研究,每一项的估计值都偏高——这是一个可怕的累积性后果。无偏性保证长期中偏差为零——政策制定者如果基于大量独立研究进行元分析,这些研究的核心发现不会陷入"集体偏误"。

层面三:作为BLUE的核心前提。 "有效性"(最小方差)只有在无偏估计量的集合中才有意义。高斯-马尔可夫定理定义OLS在"线性无偏估计量"的集合中是方差最小的——如果放弃无偏性要求而只追求最小方差,你的方法可能是一个常数估计(即恒等于 3 的估计量——方差为零,但和真值一点关系也没有)。这显然不可取。

层面四:理论基准——当它不成立时,你知道哪里出了问题。 无偏性的几个经典假设(E[εX]=0\mathbb{E}[\varepsilon|X] = 0、同方差、无自相关)是一条一条可以被"诊断"的。当你在实证中发现某个假设可能被违反时,无偏性的推导告诉你哪种偏误方向会出现、用哪种方法可以补救——这本身就是无偏性框架对实证研究者最大的价值。


八、总结

你想知道的是…… 无偏性能回答你吗? 那什么能回答你?
"我的 0.08 等于真值吗?" ❌ 不能 无法回答——真值永远未知
"我的 0.08 和真值差得多吗?" ❌ 不能 标准误 + 置信区间
"这个估计方法长期来看会偏吗?" 能! 无偏性正是回答这个
"如果我再抽一次样,估计值会是什么?" ❌ 不能——但无偏性告诉你"期望值" 抽样分布(由标准误概括)
"样本量大了之后,我的估计会接近真值吗?" ❌ 无偏性不保证这一点(但一致性保证) 一致性 + 渐近标准误

一句话收尾

"无偏性是一张写给'长期'的支票——如果你能反复抽无数次样本,你的估计方法的平均答案会是正确的。但你手上只有一张样本,你必须加上标准误和置信区间,才能知道你这一次的读数大概离真值有多远。计量经济学的艺术,就是在'长期正确'和'这一次大概在什么范围'之间找到表达的方式。"


九、B站/公众号呈现建议

  • B站视频:建议用"射手打靶"动画——两个射手,一个无偏(弹孔环绕靶心,平均落点是靶心),一个有偏(弹孔集中偏右上)。然后在无偏射手的画面上放大一帧——"你只看了这一枪",这一枪恰好打在 3 环外。"无偏 = 长期正确,≠ 这一枪命中。" 最后叠上 OLS 在大样本下弹孔收窄的动画,直观展示标准误随 n 增大而减小的效应。
  • 公众号:靶心比喻建议配两个射靶示意图(无偏 vs 有偏)。"估计量 vs 估计值"的区分建议和前文保持一致的卡片风格。三列"你想知道/无偏性能答/什么能答"的表格适合做成信息图。
  • 推荐标题
    • 主标题:《OLS 是无偏的,为什么我的估计值还是可能错的离谱?》
    • 备选标题:《无偏性是写给"长期"的支票——但你手里只有一次样本》
  • 金句提炼

    "无偏性是一张写给'长期'的支票——如果你能反复抽无数次样本,你的方法的平均答案会是对的。但你手上只有一张样本,你必须加上标准误和置信区间,才能知道你这一次的答案大概有多可靠。"