样本空间坍缩重归一化与概率三段论
对应 & :条件 成为新样本空间, 仅保留与 相交的 ;确定性逻辑三段论只是条件概率在边界值 1 处的特例。
Lecture 5 · Philosophy of Conditional Probability: Sample Space Collapse, Boy-Girl Paradox & Dutch Book Proof
从“已知 B 发生后样本空间从 Ω 坍缩重归一化到 B”与双孩家庭历史争议(按家庭采样 1/3 vs 按孩子采样 1/2),到张颢老师黑板独家硬核推导:基于荷兰赌(Dutch Book / 无套利定价原理)严格证明为什么条件概率必须定义为 P(AB)/P(B)。
本讲主线与问题意识 · LECTURE NARRATIVE ARC
本讲对应原课视频 P25–P30(共 6 个分片,总长约 123 分钟)。由于条件概率在概率论中地位极其特殊,张颢老师破天荒地用整整两讲(第 5 讲与第 6 讲)对其进行全方位剖析。在本讲(上篇)中,张颢老师从两种截然不同却殊途同归的哲学视角审视条件概率 :第一种是经典集合测度视角(P25–P26)——条件概率的本质是已知信息 发生后,样本空间从 坍缩为新样本空间 的测度重归一化,它不仅完美覆盖了亚里士多德经典逻辑“三段论”,更一举澄清了历史上著名的双孩家庭性别争议(为什么挨家挨户敲门是 ,大街上随机偶遇男孩是 );第二种是国内教材极少涉及、张颢老师用整整四节分片(P27–P30)在黑板上硬核推演的赌徒/交易员视角(de Finetti 荷兰赌 Dutch Book / 无套利定价原理)——将概率定义为二元彩票的公平价格,通过构造精妙的多空对冲头寸矩阵,严格证明:只要市场不允许稳赚不赔的无风险套利,条件概率就必须且只能定义为 !
理解从第 4 讲“独立(无关联、不传递信息)”到第 5 讲“条件(有关联、信息传递)”的逻辑演进,掌握经典视角下样本空间从 坍缩至条件集合 并重归一化的几何图景。
用条件概率重新诠释经典形式逻辑三段论(),理解条件概率如何将非黑即白的 逻辑扩展为连续区间 的概率逻辑。
透彻剖析双孩家庭性别悖论(已知有两个孩子且“其中有一个男孩”,求另一个也是男孩的概率):区分“按家庭采样 ”、“指定长子是男孩 ”与“按孩子采样 ”的底层样本空间差异。
掌握 de Finetti 赌徒/交易员概率解释(二元期权/足球彩票定价 ),并能用无套利原则(No-Arbitrage / 荷兰赌)推导概率可加性 。
完整复现张颢老师黑板独家证明:用荷兰赌无套利原理推导条件概率定义 ——熟练写出三合约(普通票 、联合票 、附条件退本金票 )及两日动态交易在各状态分区 下的现金流矩阵。
对应 & :条件 成为新样本空间, 仅保留与 相交的 ;确定性逻辑三段论只是条件概率在边界值 1 处的特例。
对应 :加撇号 代表“在大街上被随机采样到的那个孩子”,排序依据从“年龄长幼”变为“是否被采样”,导致条件样本空间改变。
对应 :若巴西胜 60 元、波兰胜 30 元,而“巴西或波兰胜”卖 80 元,卖空前两张并买入第三张可在所有比赛结果下净赚 10 元。
对应 :无论 落在 、 还是 ,组合净收益恒为常数 (或课堂两日交易的 ),无套利迫使 !
从上一讲“互不传递信息的独立性”过渡到“存在关联与信息传递的条件概率”,阐明经典概率论中条件概率 P(A|B) = P(AB)/P(B) 的本质是将样本空间从 Ω 坍缩为条件集合 B,并在黑板上严格证明条件概率如何覆盖并推广亚里士多德逻辑三段论。
在本讲开篇(),张颢老师将第 4 讲与第 5 讲置于一个对称的宏大框架中:
人类几千年来一直在思考“一件事是否会导致另一件事(因果关系 Causality)”,但哲学层面的因果争论从未达成共识。张颢老师再次重申了本课程的鲜明立场():“一旦问题上升到哲学层面的争吵,我们就立刻停止。我们不做哲学争论,我们只讨论严格的数学问题!”
给定概率空间 及事件 (其中 ),以 为条件的 的条件概率定义为(): 张颢老师指出,这个看似只做了一次集合交与一次除法的简单公式,蕴含着极其深刻的样本空间变革():
为什么说条件概率是人类认知工具的重大升级?张颢老师在黑板上用条件概率重新审视了经典逻辑中最著名的三段论(Syllogism):
经典逻辑三段论:若 ( 能推出 ),且 ( 能推出 ),则必有 。
如何用条件概率翻译并证明这一逻辑定律?
思想升华():传统逻辑只能处理“非 即 ”的绝对必然推理(用条件概率处理它是“大炮打蚊子”,只用到了区间的两个端点 );而条件概率将逻辑推理无缝拓展到了整个开区间 ,使人类拥有了在不确定性迷雾中进行量化逻辑推演的数学武器。
Conditional [Probability] ⇒ New Sample Space:样本空间由 收缩为 。新样本空间视角():获知事件 发生后, 彻底出局, 成为新的全集 。
局部交集保留:事件 中唯有落在 内部的子集 仍可能发生。
比例重归一化:为满足新全集概率 ,所有子事件测度同除以 ,即 。
对应 :条件概率依然是概率,新颖之处在于条件 成为了新的样本空间。
对应 & :传统逻辑是条件概率在边界 上的退化特例。
如果 (很高),且 (也很高),能不能仿照三段论推出 也一定很高(比如至少 )? 小心!当概率离开边界点 进入 内部时,如果不加条件独立假设,概率三段论会出现剧烈的衰减甚至归零!例如设 , 且 (此时 ),而 (此时 极高),但 与 完全互斥,导致 !只有当给定 时 与 条件独立,才有 。
条件即新样本空间:看到 ,第一时间反应出样本空间已经从 缩减为 , 只剩交集 有效。
概率逻辑涵盖形式逻辑:确定性蕴含 对应 (因为 ,故 )。
复盘概率史上争论不休的“双孩家庭性别问题”:已知一个家庭有两个孩子且其中有一个是男孩,求另一个也是男孩的概率。张颢老师通过区分“按家庭挨户敲门采样”与“在大街上随机按孩子采样(加撇号记号 B')”,彻底揭示了 1/3 与 1/2 背后的样本空间差异。
在 P26 中,张颢老师讲授了一个在概率论历史上引发无数争吵的著名案例(Boy or Girl Paradox):
问题:已知某家庭有两个孩子,并且我们已经知道“其中有一个是男孩”(作为已知条件)。请问:这家另一个孩子也是男孩(即两个都是男孩)的条件概率有多大?
既然研究条件概率,第一步永远是明确总样本空间 ()。设每个孩子是男(男 / )或女(女 / )等可能且独立,将两个孩子区分次序后,总样本空间共有 4 个等可能元素(): 然而,围绕条件“其中有一个男孩”究竟如何改变样本空间,历史上分化出了两派截然不同的解法( 派 vs 派)!
另一派学者提出质疑:如果我不是挨家挨户查户口,而是在大街上随机遇到一个来自双孩家庭的孩子,亲眼看见这个孩子是男孩,再问他家里另一个孩子也是男孩的概率呢? 张颢老师在黑板上引入了一个极其精妙的撇号(Prime )记号():
为什么同样一句话“已知家里有两个孩子,其中有一个是男孩”,算出了 和 两个答案?历史上甚至有人真的去做大规模社会抽样来给自己支持的答案找证据。 张颢老师在 给出了与第 1 讲 Bertrand 弦长悖论一脉相承的定性结论:
“事实证明:1/3 和 1/2 两个结果全是对的!它们真的都是对的,就如同我们的 Bertrand 悖论一样——对于采样过程的不同理解(对家庭采样 vs 对孩子采样),导致条件概率所依赖的【新样本空间】发生了改变(从 3 个元素变成了 2 个元素)。样本空间不一样了,算出来的结果不同太正常了,无所谓谁对谁错!”
对应 :挨家挨户敲门询问, 与 家庭均以概率 1 报告“有男孩”。
对应 :一男一女家庭在大街上只有一半机会派出男孩被偶遇,故新样本空间缩减为 2 个等概点。
如果从传统年龄序样本空间 出发,怎么理解“大街上偶遇男孩得 ”? 在年龄序下,两男家庭 派出男孩的概率是 ,而一男一女家庭 或 随机派出一个孩子恰好是男孩的概率各只有 !因此,事件 在三种家庭下的条件似然度不同,由贝叶斯公式:。张颢老师的撇号记号 的高明之处,在于直接把“谁被抽中”编码进了样本点次序,从而无需贝叶斯加权,一眼看出等概二元集 !
信息过滤机制决定条件空间:不仅要看“知道了什么结果(有一个男孩)”,更要看“这个信息是通过什么采样渠道获知的(敲家庭门 vs 抽孩子个体)”。
与 Bertrand 悖论的统一:一切日常条件概率争论,根源皆在于自然语言隐藏了不同的条件样本空间。
跳出传统的样本空间计数,引入张颢老师极力推崇的“赌徒/交易员概率解释”(de Finetti 彩票定价理论):将事件 A 的概率诠释为赔付 1 元(或 100 元)二元彩票的公平价格(期望值),并通过“巴西胜 vs 波兰胜”三张彩票的多空对冲表,严格证明无套利原则如何导出概率可加性。
在 ,张颢老师话锋一转,提出了一个在常规教科书中极少见到的深刻视角:概率的赌徒解释(或金融交易员解释,Gambler's / Trader's Interpretation)。
如果庄家给不同事件定出的彩票价格不遵守 Kolmogorov 概率公理,会发生什么?张颢老师指出:定价必须遵循公平原则,在金融数学中称为无套利原则(No-Arbitrage Principle,又称荷兰赌 Dutch Book, & ):
什么叫套利(Arbitrage)? 套利就是通过设计一组买卖交易,彻底消除一切不确定性风险,使得无论未来发生哪种比赛结果(在所有状态 下),交易员都能稳赚正收益(空手套白狼)!
设巴西队与波兰队等角逐某奖项,事件 与 互斥()。假定赔付额均为 元,庄家开出三张彩票的报价违反了可加性:
交易员的无风险套利操作(买低卖高,): 交易员立即卖出 1 张 (收 元)、卖出 1 张 (收 元),同时买入 1 张 (付 元)。期初交易净落袋现金为 元!现在检验期末所有可能状态下的赔付结算:
| 最终发生的状态 | 卖出 () 赔付 | 卖出 () 赔付 | 买入 () 赔付 | 期末赔付净额 | 期初交易净额 | 总净收益 |
|---|---|---|---|---|---|---|
| 状态 ①:巴西胜 () | 元 | 元 | 元 | 元 | 元 | 稳赚 元 |
| 状态 ②:波兰胜 () | 元 | 元 | 元 | 元 | 元 | 稳赚 元 |
| 状态 ③:两队皆未胜 () | 元 | 元 | 元 | 元 | 元 | 稳赚 元 |
无论球赛结果如何,期末赔付 互相抵消,交易员永远净赚 元!反之若 定价高于 元(如 元),只需反向操作(买 ,卖 )同样稳赚。因此,无套利铁律迫使互斥事件定价必须满足 ()!
对应 & :彩票的公平价格反映了对事件发生概率的主观/市场先验评估。
对应 :因为当 时 ,风险敞口完全对冲为 0。
为什么说 Kolmogorov 公理化体系与 de Finetti 荷兰赌无套利体系是概率论的“一体两面”? 张颢老师在 指出:Kolmogorov 给出的是数学家眼里天衣无缝的集合测度公理体系,但它没有回答“现实世界中不可重复的事件(如明天某场球赛、某支股票涨跌)为什么也必须遵守这几条公理”;而 de Finetti 的赌徒/交易员解释告诉我们:谁违反了 Kolmogorov 公理,谁就会在市场上沦为被套利者抽血的提款机!
无套利(No-Arbitrage)是概率公理的经济灵魂:概率的非负性、规范性与有限可加性,全都是“市场不存在无风险印钞机”的必然数学推论。
复制与对冲(Replication & Hedging):只要两组彩票在所有样本点 上的期末赔付完全相同,它们在期初的市场价格就必须完全相等(一价定律)。
全讲最高潮:大多数教材把 P(A|B) = P(AB)/P(B) 当作不可置疑的定义直接给出,张颢老师却在黑板上用整整两节分片(P29–P30)严格证明:这个公式绝非人为规定,而是由无套利(Dutch Book)原理唯一倒逼出来的数学铁律!
在 ,张颢老师向全班提出了一个极具冲击力的问题:
“绝大部分文献和教科书,对于条件概率 都是直接当成定义(或公理)拍在桌子上。现在我们要让大家知道:这个公式根本不是天生拍脑袋定的,它是可以从【无套利公平原则】里严格推导出来的!”
当新信息(Evidence,记为事件 或课堂板书中的 )揭晓后,原本赌事件 发生的彩票价格必须从先验价格 更新为一个条件新价格 ()。为什么这个新价格 必须等于 ?下面我们给出三合约静态头寸矩阵证明与张颢老师黑板上的两日动态交易证明,两者在代数上完全同构!
考虑市场上同时交易的三种标准二元彩票合约(赔付额均为 元):
构造无风险套利组合: 假设庄家报出的条件价格 (即 )。赌徒立即建立如下头寸组合:
现在将样本空间 不重不漏地划分为三个互斥区域 、、,在黑板上列出该组合的净现金流矩阵:
| 头寸组合明细 | 区域 ①:( 皆发生) | 区域 ②:( 发生, 未发生) | 区域 ③:( 未发生,条件票退本金) |
|---|---|---|---|
| ① 买 份条件票 (价 ) | (交易作废/退本金) | ||
| ② 卖 份联合票 (价 ) | |||
| ③ 买 份普通票 (价 ) | |||
| 三项相加总净收益 |
震惊的结论:
无论未来 落在 、 还是 中的哪一个区域,随机波动项 和 全部被完美对冲抵消,赌徒的总净收益恒等于同一个确定性常数 !
因此,要想让市场上不存在无风险套利(Dutch Book),唯一解就是令恒等净收益为 :
在 P29–P30 的课堂板书中,张颢老师用事件 (Evidence)代表条件事件 ,设新价格 与标准公式 之间存在偏差():
张颢老师将上述三合一组合打包设计为跨两天的动态交易策略( & ):
四种状态下净收益恒等于非零常数 (有稳定的“套亏”就意味着对手方有稳定的“套利”,),矛盾!故必有 ,即 !
[Gambler's (or Trader's) Interpretation of Probability] 两日彩票组合证明。黑板定价法则():若彩票在事件 发生时赔付 元、不发生赔 元,则其无套利公允价格必为 。
两日等价策略构造():比较 Day 1 直接买入组合 (含 1 份联合票 与 份 票)与持币 等 Day 2 观测到证据 时再买条件票 。
无套利一价定律锁死除法公式:因 与 在 三种状态下终值完全相同,故初始成本必相等:!
无论未来落在哪个区域,风险敞口完全归零;无套利必有 。
对应 :只要 ,必有一方在全部 4 种状态下稳赚 ,从而唯一锁定条件概率定义!
为什么在 中,张颢老师在黑板上算到一半突然停下来思考了两分钟,发现“如果 不发生时第二天还照常买卖 ,账就平不了”? 这正是整个证明最画龙点睛的课堂现场瞬间!如果不管 发不发生,第二天都无条件卖出 ,那么那张票就不是“以 发生为前提的条件彩票”,而是无条件远期合约了!张颢老师当场敏锐地指出( & ):条件概率 的交易合约,本质上必须带有“条件触发开关(Contingent Clause)”——只有亲眼看到条件 发生了,第二天的交易才进行;一旦 没发生,第二天的交易自动作废(不买也不卖)! 加上这个条件开关后,四个分支的净收益瞬间全部坍缩为同一个常数 !
条件概率公式不是人为定义: 是动态信息揭晓下市场无套利(No-Arbitrage)的唯一合法定价。
条件合约的触发本质:条件彩票 与联合彩票 的核心区别在于:当 发生时, 彩票判为输(损失本金 ),而条件彩票 判为“条件未触发、交易取消(退还本金 )”。
CONCEPTUAL & COUNTEREXAMPLE CHECKS · 第 5 讲随堂思辨与易错反例自测
先独立判断,再展开详细数学解析。每道题均紧扣张颢老师在本讲(P25–P30)课堂上的追问与经典反例。
CHECK 01
在 中,张颢老师从经典概率论角度剖析条件概率 时,强调它与原概率 最核心的区别是什么?
CHECK 02
在 P26 的双孩家庭性别问题中(已知家里有两个孩子,且“有一个是男孩”,求另一个也是男孩的概率),张颢老师在黑板上写出带撇号的样本空间 并得出条件概率为 。这里的撇号 代表什么含义?
CHECK 03
按照 的赌徒/交易员解释,设事件 (巴西胜)与 (波兰胜)互斥,赔付额均为 元。若博彩公司将彩票 定价 元、 定价 元、 定价 元,交易员如何操作可以实现无风险套利?
CHECK 04
在证明条件概率必须满足 的荷兰赌无套利矩阵中,设普通彩票 价格为 ,联合彩票 价格为 ,而庄家将附条件彩票 (若 不发生则退还本金 ,若 发生赔 1 元)错误定价为 。赌徒买入 1 份条件票 、卖出 1 份联合票 、买入 份普通票 后,在 三个区域下的净收益分别是多少?
当获知事件 ()发生后,样本空间从 缩减为新样本空间 ,事件 的概率重归一化为 。
已知家庭有两个孩子且“有一男孩”,因采样机制不同(按家庭查访得条件集 3 元素 ,按孩子偶遇得条件集 2 元素 )而导出两个均正确的条件概率。
将事件 的概率 定义为赔付函数为 的二元彩票(Arrow–Debreu 证券)在无套利市场中的公平价格。
若庄家的概率定价违反概率公理或违反 ,交易员必能构造出一组多空彩票头寸,使得在所有可能状态 下均获得严格正收益。