Steve Brunton | Probability Bootcamp | 笔记 | 第三部分:高级概率 | Lecture 33 | Markov 不等式:一阶概率估计
目录前言1. 引言2. 示例与直观理解3. 马尔可夫不等式的证明4. 结语结语参考前言学习 Steven Brunton 讲授的概率与统计入门概述视频本篇文章记录第三十三讲Markov 不等式一阶概率估计记录下个人学习笔记和大家一起分享交流videohttps://www.youtube.com/playlist?listPLMrJAkhIeNNR3sNYvfgiKgcStwuPSts9V1. 引言OK现在我们要开始探讨概率论与统计学中最重要的系列结论之一 — 中心极限定理和大数定律。这本质上揭示了当样本量n → ∞ n \rightarrow \inftyn→∞时概率分布的极限行为。例如当我们将多个概率分布相加时它们会逐渐收敛于正态分布而大数定律则表明若对某个分布进行采样并计算样本均值该均值将收敛于分布的期望值。要证明这些极限定理我们需要借助两个非常重要的数学定理 — 马尔可夫不等式与切比雪夫不等式。马尔可夫不等式非常直观且简单接下来我将逐步解释其原理。该定理指出若存在一个非负随机变量X XX则X XX大于等于某个数值a aa的概率不超过X XX的期望值除以a aa即P ( X ≥ a ) ≤ E ( X ) a P(X \ge a) \le \frac{\mathbb{E}(X)}{a}P(X≥a)≤aE(X)​这听起来可能有点抽象这有什么用呢我举个简单例子帮你建立直观理解然后我们再给出证明。2. 示例与直观理解假设随机变量X XX的期望值E ( X ) 10 \mathbb{E}(X) 10E(X)10这意味着X ≥ 20 X \ge 20X≥20的概率这里的 20 对应不等式中的a aa不超过期望值 10 与 20 的比值即不超过1 2 \frac{1}{2}21​。用通俗的话来说如果一个概率分布函数 — 我们画个正态概率分布示意图请注意X XX严格非负因此其取值范围仅限于从零开始的正数这意味着如果我的均值期望值为 10那么分布中最多只有一半的值可能超过 20。确实如此如果超过半数的分布落在 20 的右侧那么左侧剩余的分布就不足以平衡整体无法维持期望值为 10 的结果这非常直观。若平均值为 10则分布中远离右侧某值的概率密度不能过高否则左侧区域将没有足够的概率质量来平衡整体均值至 10。这一思路通过一个极其实用且简洁的公式得以形式化实际上若超过 20 的概率大于1 2 \frac{1}{2}21​则所有大于 20 的概率质量必须集中在 20 处而对应的平衡概率质量则需全部堆积在X 0 X0X0的位置。这可以说是极限情况若要使分布的一半位于 20 的右侧唯一的方式是将这部分概率全部集中在 20 处而另一半则完全置于零点。若分布中位于 20 右侧的部分不足一半则这部分概率可适当分散对应的平衡概率也可作适度分布。3. 马尔可夫不等式的证明接下来我们逐步推导这个证明过程这个证明相对简单。对于离散随机变量X XX的期望值其表达式可写为E ( X ) ∑ x x P ( X x ) \mathbb{E}(X) \sum_x xP(Xx)E(X)x∑​xP(Xx)对所有可能的随机变量取值进行求和即每个可能取值x xx乘以该取值对应的概率P ( X x ) P(Xx)P(Xx)的总和。该总和恒满足大于等于零的条件由于X XX始终取正值且概率均为非负数。若将求和范围限定为X ≥ A X \ge AX≥A的区间内由于所有项均为非负值部分和必然小于等于完整求和即E ( X ) ∑ x x P ( X x ) ≥ ∑ x ≥ a x P ( X x ) \mathbb{E}(X) \sum_x xP(Xx) \ge \sum_{x \ge a} x P(Xx)E(X)x∑​xP(Xx)≥x≥a∑​xP(Xx)又由于x ≥ a x \ge ax≥a因此有E ( X ) ∑ x x P ( X x ) ≥ ∑ x ≥ a x P ( X x ) ≥ ∑ x ≥ a a P ( X x ) \mathbb{E}(X) \sum_x xP(Xx) \ge \sum_{x \ge a} x P(Xx) \ge \sum_{x \ge a}aP(Xx)E(X)x∑​xP(Xx)≥x≥a∑​xP(Xx)≥x≥a∑​aP(Xx)此时可将a aa提取至外部得到E ( X ) ∑ x x P ( X x ) ≥ ∑ x ≥ a x P ( X x ) ≥ ∑ x ≥ a a P ( X x ) a P ( X ≥ a ) \mathbb{E}(X) \sum_x xP(Xx) \ge \sum_{x \ge a} x P(Xx) \ge \sum_{x \ge a}aP(Xx) aP(X \ge a)E(X)x∑​xP(Xx)≥x≥a∑​xP(Xx)≥x≥a∑​aP(Xx)aP(X≥a)该式等于a aa乘以事件X ≥ a X \ge aX≥a发生的概率。最后这一步可能需要稍作停顿思考才能理解其实并不复杂将a aa提取出来后对于所有满足x ≥ a x \ge ax≥a的x xx值概率求和结果就是随机变量X ≥ a X \ge aX≥a的概率这正是该求和运算的定义所在。那么根据上述推导最终我们可以得到前面提到的马尔可夫不等式这就是证明过程。4. 结语OK这是一个非常实用的定理或不等式在接下来的课程中我们将运用这个结论来证明切比雪夫不等式再借助切比雪夫不等式最终完成大数定律的证明。因此这个定理非常实用且直观堪称解决问题的得力工具该定理指出对于非负分布若存在均值则分布数据不会过度集中在均值右侧因为剩余部分不足以形成平衡这个思路完全符合逻辑。不等式的证明过程正是将这种直观理解进行严谨数学表达的方式类似这样的定理还有很多所以请大家先熟悉当前的推导思路因为在接下来的示例中我们将接触到更精妙的论证方法。结语马尔可夫不等式P ( X ≥ a ) ≤ E ( X ) a P(X \ge a) \le \frac{\mathbb{E}(X)}{a}P(X≥a)≤aE(X)​是整个极限定理大厦的第一块基石。它的极简性令人印象深刻仅需知道随机变量的期望值一阶矩无需任何分布形态或高阶矩信息即可给出尾部概率的上界。代价是宽松—若E ( X ) 10 \mathbb{E}(X)10E(X)10则P ( X ≥ 20 ) ≤ 0.5 P(X \ge 20) \le 0.5P(X≥20)≤0.5这个上界在实际应用中可能相当保守但数学上它始终严格成立。证明过程仅用三步截断求和就完成了全部论证(1)E ( X ) ∑ x P ( x ) ≥ ∑ x ≥ a x P ( x ) \mathbb{E}(X) \sum xP(x) \ge \sum_{x \ge a} xP(x)E(X)∑xP(x)≥∑x≥a​xP(x)—非负项的部分和不大于完整和(2)∑ x ≥ a x P ( x ) ≥ ∑ x ≥ a a P ( x ) \sum_{x \ge a} xP(x) \ge \sum_{x \ge a} aP(x)∑x≥a​xP(x)≥∑x≥a​aP(x)—在截断区域内以a aa替代x xx由于x ≥ a x \ge ax≥a这是下界(3)∑ x ≥ a a P ( x ) a P ( X ≥ a ) \sum_{x \ge a} aP(x) aP(X \ge a)∑x≥a​aP(x)aP(X≥a)—常数a aa提出余下即所求概率。这三步本质上是将期望值中 “离原点足够远” 的贡献剥离出来并用下界估计整个论证不依赖分布的连续/离散性、对称性、独立性等任何额外假设唯一前提是X ≥ 0 X \ge 0X≥0。尽管马尔可夫不等式本身在实践中因过于宽松而较少直接使用其真正的威力在于传递性它作为引理支撑了切比雪夫不等式引入方差信息使上界收窄为1 / k 2 1/k^21/k2切比雪夫又进而支撑大数定律的证明。因此本讲是后续 L34–L36 三个里程碑切比雪夫 → 大数定律 → 中心极限定理的逻辑起点—正如 Brunton 所言先从这条最直观也最基础的不等式熟悉截断求和的论证思路后续的精妙推导都将在此模式上层层叠加 。参考https://www.youtube.com/playlist?listPLMrJAkhIeNNR3sNYvfgiKgcStwuPSts9V

相关新闻

OnlyOffice私有化部署实战:从Docker Compose到生产环境调优

OnlyOffice私有化部署实战:从Docker Compose到生产环境调优

1. 项目概述:为什么我们需要一个独立的文档协作中心? 最近在帮一个团队做内部文档系统的升级,他们之前一直用着各种在线文档的免费版,协作起来总感觉差点意思。要么是格式兼容性有问题,导入一个复杂的Excel表格排版全乱…

2026/10/21 0:37:56 阅读更多 →
Steve Brunton | Probability Bootcamp | 笔记 | 第四部分:高级统计 | Lecture 36 | 中心极限定理

Steve Brunton | Probability Bootcamp | 笔记 | 第四部分:高级统计 | Lecture 36 | 中心极限定理

目录前言1. 引言2. CLT 陈述(样本均值形式)3. CLT 证明(概略)4. CLT 陈述(变量和形式)5. 结语结语参考前言 学习 Steven Brunton 讲授的概率与统计入门概述视频,本篇文章记录第三十六讲&#xf…

2026/10/19 23:58:12 阅读更多 →
使用Claude Code与VSCode快速搭建本地网页开发环境

使用Claude Code与VSCode快速搭建本地网页开发环境

1. 从零到一:为什么选择Claude Code来写网页? 如果你和我一样,经常在VSCode里写代码,那你肯定遇到过这样的场景:想快速搭一个本地网页来测试某个想法、展示一个简单的原型,或者就是单纯想练练手。传统的做法…

2026/10/20 23:25:10 阅读更多 →

最新新闻

千枚智能体自发通信与形式化边界:从补丁思维到边界安全

千枚智能体自发通信与形式化边界:从补丁思维到边界安全

1. 从"千枚智能体自发通信"说起:一个让我重新审视系统边界的实验现象第一次看到"千枚智能体沙箱内自发通信"这个描述时,我的直觉反应是:这不就是多智能体仿真里常见的涌现行为吗?但仔细琢磨之后发现&#xff…

2026/10/21 0:37:04 阅读更多 →
基于IEEE33节点系统的配电网故障恢复算法建模与仿真实践

基于IEEE33节点系统的配电网故障恢复算法建模与仿真实践

简介:面向电力系统科研人员与电气工程专业学生,这份MATLAB算法包聚焦配电网故障恢复与故障重构问题,以IEEE33节点系统为算例,可用于验证故障后供电恢复策略与网络重构方案的可行性。压缩包共包含15个m文件,整体仅18KB&…

2026/10/21 0:37:04 阅读更多 →
PyTorch训练CIFAR-10准确率卡在65%的5个真实暗坑

PyTorch训练CIFAR-10准确率卡在65%的5个真实暗坑

简介:本资源是一份面向深度学习初学者与实践者的PyTorch图像识别入门实战包,聚焦CIFAR-10这一经典图像分类任务,帮助用户从零掌握CNN模型构建、数据加载、训练调优到权重复用的全流程。压缩包共5个文件(2个Python脚本、1个预训练模…

2026/10/21 0:37:04 阅读更多 →
本体驱动开发:让大模型理解知识而非只靠提示词的AI应用设计

本体驱动开发:让大模型理解知识而非只靠提示词的AI应用设计

先说个背景。我在某段时间负责过一个企业内部知识问答系统,最初方案很朴素:把几十份整理好的JSON文档灌进向量库,然后让大模型基于检索结果回答。上线之后问题不断,典型症状是回答不专业、字段经常编造、换一个问法就答错方向。后…

2026/10/21 0:37:04 阅读更多 →
Agent系统三大核心:大脑调度、技能契约与嵌入式护栏

Agent系统三大核心:大脑调度、技能契约与嵌入式护栏

1. 这不是概念炒作,而是架构演进的临界点“通用Agent正在终结传统软件架构”——这句话刚看到时,我下意识皱了眉。干了十多年系统设计和工程落地,听过的“颠覆性范式”不下二十种,从SOA到微服务,从Serverless到低代码&…

2026/10/21 0:37:04 阅读更多 →
Function Calling 422 排查:tool 消息 content 为 null 的修复全记录

Function Calling 422 排查:tool 消息 content 为 null 的修复全记录

上周我把一个 Function Calling 任务切到 deepseek-v4.1-flash,本地跑得好好的,一上远端就开始 422。第一反应是参数写错了,翻来覆去检查代码没看出问题,直到把底层 HTTP 请求体完整 dump 出来,才发现 tool 角色的 con…

2026/10/21 0:36:01 阅读更多 →

日新闻

统一内存+量化:锐龙AI Max PRO 400如何本地跑320B大模型

统一内存+量化:锐龙AI Max PRO 400如何本地跑320B大模型

这段时间硬件圈和AI圈都在传一个事:AMD锐龙AI Max PRO 400系列把最高192GB统一内存搬进了PC形态的产品里,按宣传口径,本地跑320B参数的大家伙不再是纸面概念。我第一反应倒不是“内存真大”,而是这话背后的含金量——它把过去只能…

2026/10/21 0:00:11 阅读更多 →
AI助手深度使用体验:对话质量、长文本处理与指令遵循如何留住用户

AI助手深度使用体验:对话质量、长文本处理与指令遵循如何留住用户

1. 从“封号重开”这个行为说起:用户到底在追求什么“封号重开”这四个字,放在任何产品语境里都带着一股决绝的味道。一个账号从零开始积累使用记录、调教偏好、沉淀工作流,背后是大量的时间和精力成本。正常情况下,没有人愿意主动…

2026/10/21 0:00:11 阅读更多 →
ROS中YOLOv3工程落地:通信同步、坐标变换与性能调优

ROS中YOLOv3工程落地:通信同步、坐标变换与性能调优

1. 为什么在ROS里硬刚YOLOv3不是“炫技”,而是工程落地的必经之路我第一次在某高校机器人实验室看到那台搭载Jetson TX2的移动底盘原地打转、反复识别错垃圾桶时,就意识到:单纯跑通darknet_ros demo和真正让YOLOv3在ROS里“干活”&#xff0c…

2026/10/21 0:00:11 阅读更多 →

周新闻

基于GMM的语音识别系统原理与MATLAB实现详解

基于GMM的语音识别系统原理与MATLAB实现详解

说到基于高斯混合模型(GMM)的语音识别系统,很多人第一反应就是一堆数学公式,觉得门槛很高。但如果你真的在MATLAB里把它落地跑通,会发现核心其实就是三件事:把声音变成特征向量,用GMM给每个类别…

2026/10/20 10:02:13 阅读更多 →
数字图像处理入门:反白、灰度化、调色板修改与导出txt实践

数字图像处理入门:反白、灰度化、调色板修改与导出txt实践

数字图像处理这四个字听起来挺唬人,但落到具体操作上,无非就是让计算机按你的想法“摆弄”像素。我在一个模拟项目X里用了一套特别经典的基础处理流程:对图像做反白、改调色板、彩色转灰度,最后把像素数据导出成txt文件。单看每一…

2026/10/20 20:43:59 阅读更多 →
机器人大脑技术盘点:具身智能的感知、决策与数据闭环

机器人大脑技术盘点:具身智能的感知、决策与数据闭环

如果你的信息流最近也天天刷到“机器人大脑”这个词,你会发现一个很有意思的现象:每个人说的“大脑”根本不是同一个东西。有人指的是大语言模型,有人指的是运动控制系统,还有人指的是能理解物理世界的端到端模型。在2026年这个时…

2026/10/20 2:50:50 阅读更多 →

月新闻

我发现了一个新思路:用 Remotion + Claude Code 像写代码一样自动化生成短视频

我发现了一个新思路:用 Remotion + Claude Code 像写代码一样自动化生成短视频

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/10/20 10:02:08 阅读更多 →
Windows下 Codex 中 Chrome 和 Computer Use 插件不可用问题排查及解决参考方式:TaoToken 统一 Key 配置与验证

Windows下 Codex 中 Chrome 和 Computer Use 插件不可用问题排查及解决参考方式:TaoToken 统一 Key 配置与验证

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/10/20 9:50:17 阅读更多 →
黑夜航拍船只数据集训练YOLOV5模型全流程解析

黑夜航拍船只数据集训练YOLOV5模型全流程解析

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/10/20 9:50:45 阅读更多 →