随机事件与概率
从样本空间到公理化:搞懂随机性的严格刻画与反直觉边界
按 空格/→ 演示下一步
全部页面点击任意一页,跳回舞台从这页播放
随机事件与概率
从样本空间到公理化:搞懂随机性的严格刻画与反直觉边界
不可能事件
上一节我们认识了随机事件——同样条件下结果不确定但可观察。可有些事在同样条件下根本不会发生?比如箱子里只装红球,问「摸出白球」,无论试多少次都不可能。今天就来看这种特殊事件。
样本空间里根本没有白球元素,问「能否摸到」本身是个无效问题
随机事件
上页说到「太阳从西边升起」永远不发生,那是不可能事件。但生活中更常见的是「可能发生,也可能不发生」——明天下雨、抛硬币正面朝上、抽奖中一等奖。这一类,就是我们要讲的「随机事件」。
试验可重复、结果有两种、抛之前不知道是哪面——三条特征全对上
必然事件
上页讲了不可能事件——某些条件下'永远不会发生'。反过来,有些事件在同样条件下'一定发生',比如太阳明天照常升起、抛硬币必出现正反之一。这类事件,就是必然事件。
样本空间就这两种结果,'属于其中之一'必发生
随机试验
我们已经认识了随机事件、不可能事件和必然事件——它们都从同一个地方冒出来:随机试验。
同一枚硬币条件固定,结果有两种(正/反),抛之前不知落哪面
样本点
掷一颗骰子观察朝上的点数——出现 1、2、3、4、5、6 中的某一个,这种最基本、不可再拆分的单一结果,就是样本点。
一份答卷 = 一个样本点;所有可能答卷 = 样本空间;「答对」= 那些答对的答卷的集合
样本空间
上页我们认识了样本点——随机试验中每一个不可再分的结果。但零散的点还不够,我们需要一个'容器'把它们全部装下,这就是样本空间。
6 个面穷举所有可能结果,掷出必命中其一;若分正反面,粒度变 12,Ω 也跟着变
基本事件
样本点 ωi 是 Ω 里的「元素」,但如果把单个样本点本身也当作一个事件——它就叫「基本事件」。它是搭建复杂事件的最小砖块,也是概率加法定理的起点。
复杂事件像城堡,由若干基本事件拼接而成,缺一不可
事件的包含关系
上一节我们认识了样本点和样本空间。一次试验可以切出很多事件,它们之间有没有大小关系?有的——这就引出事件的包含关系。
小娃娃只能套在大娃娃里——小事件发生必对应大事件发生
并事件
上一页我们看了包含:A 发生则 B 一定发生。但更多时候关心的是「或者」——比如掷骰子「出现偶数或者大于 4」,只要满足其中一个就算数。这种「或」逻辑,就是并事件。
中一个就满足——对应「或」逻辑
交事件
上页讲了并事件「A 或 B 发生」,对应逻辑里的「或」。这一页翻过来:「A 且 B 同时发生」——逻辑里的「且」——就是交事件。比如既要抽到红桃又要抽到 K,缺任何一条都不算。
两个集合都收下的人才留下——单满足一个不算
互斥事件
上一页的交事件 A∩B 可以非空,但有些事件'水火不容',一次试验里绝不可能同时发生——这就是互斥事件。
落地只现一面,正面反面不可能同时朝上
对立事件
互斥事件说「两个不能同时发生」,但硬币还可能立在桌上——既不是正面也不是反面。真正「二选一、穷尽一切」的,是对立事件。本页把它与互斥的边界讲清楚。
一次考试只有这两种结果,没有第三种,且不可能同时及格又不及格
古典概型
掷一颗均匀骰子,你说『出现1点的概率是1/6』——凭什么直觉就信?凭的是所有点数『机会均等』。这正是古典概型的核心假设。
球大小相同=等可能;球总数=有限样本空间;目标球数=有利事件数
概率的古典定义
上一节我们认识了古典概型——"等可能"世界里最直观的概率模型。但"等可能"到底意味着什么?概率值又该怎么精确计算?这一节,我们用数学语言给它一个正式定义。
10张签搅匀后随机摸,每张被摸到的概率=1/10;签若没搅匀,"等可能"只是错觉
概率的基本性质
上一页我们用古典定义算出了一堆具体数字。但这些数字不是乱给的——它们都必须满足一套「宪法」,这就是概率的三大基本性质。
面积不能为负;整块地归一;不相交的几块地面积可相加
本节要点
- ✓事件确定性刻画:必然与不可能是两端,随机事件填充中间
- ✓样本空间是概率计算的锚点:样本点必须互斥且穷尽
- ✓事件运算遵守对偶原则:互斥是对立的必要不充分条件
- ✓古典概型的前提是等可能性,而非计算结论
- ✓概率三公理构成推理地基:非负、规范、可列可加
课后思考
先合上屏幕自己想五分钟,再翻看参考答案。思考过程比答案本身更重要。
参考答案互斥只要求不能同时发生,对立还要求'加起来刚好是全部'。两个对立事件一定互斥,但互斥不一定对立——比如'抽到A'和'抽到B'互斥,可还有C、D,所以不构成对立。
参考答案混淆了'随机事件'与'必然事件'。'谢谢参与'每次必发,是必然事件;但'一等奖'才是随机事件,概率1/6。主办方用'中奖'偷换了'一等奖'的概念。
参考答案不成立。古典概型要求样本空间有限——'1到无穷'无法枚举基本事件,更谈不上等可能。这正是几何概型或测度论要解决的问题。