概率:与不确定共处 书架

第 02 章 / 共 12 章

第二章 · 三条公理撑起一切

不争「是什么」,只管「怎么算」

上一章的三张脸吵了两百年。1933 年,31 岁的苏联数学家柯尔莫哥洛夫(Andrey Kolmogorov)用一本不到一百页的小册子终结了争吵。他的招数是数学家的经典太极拳:拒绝回答概率是什么,只规定概率满足什么

就像几何学不定义「点是什么」,只说点、线、面满足哪些关系,剩下的全靠推导。公理化的妙处在于:古典派、频率派、主观派——只要你的用法满足这几条规则,后面的整套数学你就随便用,管你心里怎么解释。

先把舞台搭好

公理之前需要两个道具。样本空间:所有可能结果的清单,大白话就是「事情能怎么发展,先全部列出来」。掷骰子的样本空间是 {1,2,3,4,5,6}。事件:样本空间的一些子集,即「你关心的那几种发展」。「掷出偶数」就是事件 {2,4,6}。

概率,就是一个给每个事件打分的函数 P:输入一个事件,输出一个数。柯尔莫哥洛夫说,这个函数只要满足三条:

  1. 非负:任何事件的概率 ≥ 0。没有负的可能性。
  2. 归一:整个样本空间的概率 = 1。「总会发生点什么」,是确定无疑的。
  3. 可列可加:如果一堆事件两两互斥(不能同时发生),那么「其中任意一个发生」的概率,等于各自概率相加。掷出 2 或 4 的概率 = P(2) + P(4)。

就这三条。中学课本里所有概率公式——加法公式、乘法公式、全概率、贝叶斯——全是这三条的推论。

三条公理偷偷放进来了什么

看几条立刻能推出来的东西:

注意最后这条的分量。著名的「琳达问题」里,人们认为「琳达是银行柜员且热衷女权运动」比「琳达是银行柜员」更可能——可前者明明是后者的子集,公理说它绝不可能更大。三条干巴巴的公理,直接宣判了一种常见直觉为错误。

「可列」两个字是留给无限的后门

第三条公理里有个容易滑过去的词:可列可加。不是「有限个互斥事件可加」——那太容易了——而是无穷多个(但能用自然数编号)的互斥事件也能加

为什么需要这个?考虑「连续掷硬币直到第一次出正面」这个游戏。可能第 1 次就出,可能第 2 次,可能第 100 万次——这是一个天然的无穷样本空间。「游戏会结束」的概率是 1/2 + 1/4 + 1/8 + …,必须允许无穷项相加,才能算出它等于 1。没有「可列」两个字,概率论连这个小学生游戏都处理不了。

大白话:公理 3 说「可能性可以加起来」,「可列」是补丁:哪怕可能性分成无穷多份,只要数得清(1、2、3……编号编得完),就还能加。正是这块补丁,让微积分级别的数学得以进入概率论。

代价:有些事件不许问概率

公理化不是白捡的便宜,它有代价。当样本空间是连续的时候——比如「在 [0,1] 区间随机取一个点」——数学家证明了:不可能给所有子集都分配概率而不自相矛盾(这牵涉选择公理,维塔利集合是经典反例)。

柯尔莫哥洛夫的解决方案是认怂:不给所有子集打分,只对一篮子「性质良好」的子集(行话叫 σ-代数)打分。这就像测度论里承认「有些集合没有面积」——听着惊悚,实际上你这辈子关心的所有事件都性质良好。这个限制唯一的实战意义是提醒你:概率论有边界,边界外的问题(比如「从所有整数中等概率随机取一个」——做不到,加起来要么是 0 要么是无穷)问法本身就是错的。

三条公理之后

回头看第一章的争吵:古典概率是公理的特例(每个格子给 1/n);频率概率满足公理(频率本来就非负、归一、互斥可加);主观概率也满足——德·菲内蒂甚至反证过:如果你的报价违反这三条公理,我就能设计一组赌局让你稳输不赔(荷兰赌论证)。三条公理是三张脸的最大公约数。

但公理只说了概率的静态规则,还没碰最有戏的问题:当新信息进来,概率该怎么变?那是「条件」的世界,下一章见。

概率:与不确定共处 · 王建硕
费曼式写法 · 由多个 AI 代理撰写与互相审校