概率/随机变量
在许多实验中,样本空间中可能存在太多可能的结果,因此我们可能希望改为使用这些结果的“汇总变量”。例如,假设对 100 个人进行民意调查,询问他们是否同意某项提案。然后,为了完全跟踪这 100 个人的答案,我们可以先用数字表示他们的回答。
- 数字“1”表示“同意”。
- 数字“0”表示“不同意”。
(为了简单起见,我们假设只有这两个答案可用。)然后,为了记录每个人对哪个答案的回答,我们使用一个包含 100 个数字的向量进行记录。例如,,等等。由于向量中的每个坐标都有两个选择:“0”或“1”,因此样本空间中总共有 个不同的向量(用 表示)!因此,处理样本空间中如此多的结果非常繁琐和复杂 。相反,我们通常只关心有多少人“同意”和“不同意”,而不是每个人对哪个答案的回答,因为“同意”和“不同意”的数量决定了提案是否得到了他们中大多数人的同意,因此抓住了民意调查的本质。
因此,定义一个变量 更方便,它给出样本空间中每个结果的 100 个坐标中的“1”的数量 。然后, 只能取 101 个可能的值:0, 1, 2, ..., 100,这远少于原始样本空间中的结果数。
通过这样做,我们可以将原始实验更改为一个新实验,其中变量 根据一定的概率取 101 个可能的值中的一个。对于这个新实验,样本空间变为 。
在定义变量 (称为 随机变量)的过程中,我们实际上(隐式地)定义了一个函数,其定义域是原始样本空间,值域是 。通常,我们将随机变量的陪域取为所有实数的集合 。也就是说,我们定义了随机变量 ,其中 对于每一个 都成立。
为了正式定义随机变量,我们需要可测函数的概念。
定义。(可测函数)令 和 是可测空间(也就是说, 和 分别是 -代数 和 )。一个函数 是 (-)可测,如果对于每一个 , 下 的逆像
备注。
- 如果 是 -可测的,那么我们也可以写成 来强调对 -代数 和 的依赖。
- 我们只考虑集合 在 -代数 中的原像,因为只有 中的集合是“良好行为”的,因此它们是“感兴趣的”。然后, 的可测性确保原像也是“良好行为”的。
- 因此,可测函数在某种程度上保留了集合的“良好行为”。
- 事实证明,在定义中使用原像(而不是像)更有用。
定义。 (随机变量)
令 是一个概率空间。一个 随机变量 是一个 -可测函数 .
备注。
- 通常,用大写字母来表示随机变量,用对应的小写字母来表示随机变量的实现值(即,从样本点映射的数值)。例如,我们说随机变量 的实现值为 .
- -代数 是 上的 Borel -代数。我们在这里将不会详细讨论它的定义。
- 由于 是 -可测的,对于每个集合 ,原像 。
- 通常用 来表示 。此外,我们用 等来表示 等。
- 我们要求随机变量是 -可测的,以便概率 (通常写成 )对于每个 是 定义的。(概率测度的定义域是 ,并且 是因为随机变量 的 -可测性。)
- 一般而言,大多数我们能想到的函数(应该为随机变量)都是 -可测的。因此,我们假设这里构建的随机变量是 -可测的,因此实际上是有效的,无需证明。
通过定义一个从概率空间 到实数空间的随机变量 ,我们实际上 诱导 出一个新的概率空间 ,其中
- 诱导的样本空间 是随机变量 的 值域:。
- 诱导的事件空间 是 -代数 。(这里我们遵循之前的惯例:当 可数时,。)
- 诱导的概率测度 定义为
- 对于每个 。
结果证明,诱导的概率测度满足所有概率公理
例: 证明诱导概率测度 满足所有概率公理,因此是有效的。
证明: 非负性: 对于任何事件 , 单位性: 我们有 特别地,对于任何 ,我们始终有 (因为 是随机变量 的取值范围)。
可数可加性:对于任意一个两两不相交事件的无限序列 (每个事件都属于 ),
证明了这个结果后,可以得出之前讨论的所有概率测度的性质也适用于诱导的概率测度 。因此,我们可以利用概率测度的性质来计算概率 ,从而计算出 ,对于任意集合 。更一般地,为了计算概率 对于任意 ( 不一定属于 ),我们注意到 ,并且发现 。因此,我们可以通过考虑 来计算 。
示例。 假设我们抛掷一枚公平的硬币两次。那么,样本空间可以用 表示。现在,我们将随机变量 定义为样本点抛掷中获得的正面数(这意味着 将样本空间中的每个样本点映射到该样本点中获得的正面数)。那么,我们有 因此,。因此,我们有 (样本空间中的四个结果应该是等概率的。)(通常用 代替 , 代替 等等。)
练习。 假设我们抛掷一枚公平的硬币三次,并定义随机变量 为样本点抛掷中获得的正面次数。那么,。计算概率 对于每个 。因此,计算概率 对于每个 。(提示: 我们可以写 。现在,考虑 。)
首先,我们有 因此,我们有 由于 ,因此,我们有
有时,即使不可能列出样本空间中的所有样本点,我们也可以确定与随机变量相关的概率。
示例。 考虑关于动机部分中讨论的民意调查的示例。我们将随机变量定义为给出“1”的数量。这里,我们假设样本空间中的每个样本点都是等可能的。证明 对于每个 。
证明。 由于有 个样本点包含 个“1”(将此视为将 个不可区分的“1”放置到 100 个可区分的单元格中),结果随之而来。
一类非常有用的特殊随机变量是指示随机变量,它是 指示函数 的特例。
定义. (指示函数)
集合 的子集 的指示函数是一个函数 ,定义为
备注。
- 特例:我们可以通过稍微修改一下指示函数,将其视为一个随机变量。
- 设 为一个概率空间,而 为一个事件。 然后,事件 的指示随机变量是 (这里,我们将陪域改为 ,以符合随机变量的定义)定义为
示例: 假设我们从某个城市中随机选择一名市民,并记录该市民的年收入 (以该城市使用的货币单位计)。在这种情况下,我们可以将样本空间定义为 。假设该城市制定了一项税收政策,规定年收入超过 10000(与 相同的货币单位)则为 应税收入。现在,我们令 表示记录的年收入的应税部分。更准确地说, 定义为 ,对于每个 。也就是说,,表示为 ,对于每个 。
示例。 假设我们掷两个不同的骰子,并定义 为掷骰结果的数字之和。 那么,样本空间为 。 这里我们可以看到 的取值范围是 。 计算每个 的 。
解。 注意,在样本空间中,有 1、2、3、4、5、6、5、4、3、2、1 个样本点,分别对应于 。 因此,我们有
练习。 计算 的概率。 (答案:)
该概率为
对于每个随机变量 ,都存在一个与之相关的函数,称为 累积分布函数 (cdf) 的
定义。
(累积分布函数) 随机变量 的 累积分布函数 (cdf),记为 (或 ) 是 对于每个 。
示例。 考虑之前的一个练习,我们抛一枚公平的硬币三次,随机变量 被定义为样本点中获得的正面次数。我们已经计算出 。因此,随机变量 的累积分布函数由 图表上,累积分布函数是一个阶梯函数,每个 都有一个跳跃,跳跃的大小为 。
从上面的例子中的累积分布函数可以看出,累积分布函数不一定是连续的。在跳跃点处有几个不连续点。但我们可以注意到,在每个跳跃点,累积分布函数取跳跃的顶端的值,这是根据累积分布函数的定义(所涉及的不等式也包含等式)。简单来说,这表明累积分布函数是右连续的。但是,累积分布函数一般来说不是左连续的。
下面,我们将讨论累积分布函数的三个定义属性。
定理。(累积分布函数的定义属性)函数 是随机变量 的累积分布函数当且仅当
(i) 对于每个实数 。
(ii) 是单调不减的。
(iii) 是右连续的。
证明。 充分性( 是累积分布函数 这三个属性)
(i) 它遵循概率公理,因为 被定义为概率。
(ii)
(iii) 固定一个任意的正数列 ,其中 。对每个正数 ,定义 。因此,。然后, 因此 对每个 其中 当 。也就是说,,这就是右连续性的定义。
如果部分更复杂。以下内容是可选的。概述
- 绘制任意一条满足这三个性质的曲线。
- 无限次抛掷一枚公平的硬币。
- 将每次结果编码成二进制数,例如
- 将每个二进制数转换为十进制数,例如。然后,十进制数是一个随机变量。
- 使用此十进制数作为任意绘制曲线反函数的输入,我们得到一个值,该值也是一个随机变量,比如。
- 然后,我们得到了随机变量 的累积分布函数,如果我们无限次地抛一枚公平的硬币。
有时,我们只对 这样使得 的值感兴趣,这些值更为“重要”。粗略地说,这些值实际上是 的支撑集 的元素,该集合将在下文中定义。
定义。(随机变量的支撑集)随机变量 的支撑集,,是最小的闭集,使得。
备注。
- 例如,闭区间是闭集。
- 本书不会重点强调闭合性。
- 实际上,(这是最小的闭集)。
- 是离散随机变量的概率质量函数;
- 是连续随机变量的概率密度函数。
- 上述术语将在后面定义。
示例. 如果 那么 ,因为 ,并且该集合是满足此要求的所有集合中最小的集合。
备注. 等等也满足要求,但它们不是最小的集合。
练习。
离散随机变量
[edit | edit source]定义。 (离散随机变量) 如果 是 可数的 (即“可枚举的”或“可列出的”),则随机变量 是一个 离散 随机变量。
例子。 令 是 次伯努利试验中成功的次数。 那么, 是一个离散随机变量,因为 是可数的。
另一方面,如果我们让 是摄氏温度, 不是离散的,因为 是不可数的。
练习。
通常,对于离散随机变量,我们感兴趣的是随机变量取特定值的概率。因此,我们有一个函数可以给出每个特定值所对应的概率,即 概率质量函数。
定义。
(概率质量函数) 令 为离散随机变量。 的概率质量函数 (pmf) 是
备注。
- 其他名称包括质量函数和概率函数。
- 如果随机变量 是离散的,那么 (它是封闭的)。
- 随机变量 的累积分布函数 (cdf) 为 。 因此,pmf 在支持内每个 处的值的总和等于 1。
- 离散随机变量 的 cdf 是一个阶梯函数,在 中的点处跳跃,每个跳跃的大小定义了 在 中对应点的 pmf。
例如。 假设我们掷一个公平的六面骰子一次。 令 为朝上的数字。 那么, 的 pmf 是
练习。
连续随机变量
[edit | edit source]假设 是一个离散随机变量。将 分割成小的不相交的区间 得出 特别地,每单位的概率可以被解释为 在该区间上的概率密度。(密度越高,分配给该区间的概率就越多)。
取极限, 其中,直观且非严格地, 可以理解为在“无穷小”区间 上的概率,即 ,而 可以理解为在这个“无穷小”区间上的概率密度,即 .
这些促使我们给出如下定义。
定义. (连续型随机变量) 随机变量 为 连续型,如果对于每个(可测)集合 以及某个 非负 函数 ,有 成立。
备注。
- 函数 被称为 概率密度函数 (pdf),密度函数,或概率函数(很少见)。
- 如果 为连续型,则 pdf 在每个 单点值 上的值为零,即 对每个实数 成立。
- 可以通过设置 来证明这一点,则 (哑变量已更改)。
- 通过设置 ,累积分布函数 。
- 可测性不会被强调。本书中遇到的集合都是可测的。
- 是 pdf 在 下的面积,它表示概率(通过将密度函数在集合 上积分得到的)。
名称 连续 随机变量来自这样的结果,即这种随机变量的累积分布函数是连续的。
命题。(连续随机变量的累积分布函数的连续性)如果随机变量 是连续的,它的累积分布函数 也是连续的(不仅仅是右连续)。
证明。 由于 (黎曼积分是连续的),累积分布函数是连续的。
示例。(指数分布)函数 是连续随机变量的累积分布函数,因为
- 它是非负的。
- . 因此,.
- 它是不减的。
- 它是右连续的(也是连续的)。
练习。
命题。 (用累积分布函数求概率密度函数) 如果连续随机变量的累积分布函数 可微,那么概率密度函数 .
证明。 这是由微积分基本定理得到的:
备注。 由于 是单调不减的,。 这表明如果 可微,则 始终是非负的。 这是我们定义概率密度函数为非负的动机。
在没有进一步假设的情况下,概率密度函数 不 是唯一的,即一个随机变量可能有多个概率密度函数,例如,我们可以在其支撑集之外的单个点上将概率密度函数的值设置为一个实数(不会影响概率,因为概率密度函数在单个点的值为零,无论其值如何),这将为一个随机变量创建另一个有效的概率密度函数。 为了解决这个问题,我们通常将 设置为每个 ,以使概率密度函数变得唯一,并使计算更方便。
示例:(均匀分布)已知 是连续随机变量 的概率密度函数,则概率
练习。
混合随机变量
[edit | edit source]在阅读了前两节之后,你可能会认为随机变量要么是离散的,要么是连续的。实际上,这是错误的。随机变量可以既不是离散的也不是连续的。这种随机变量的一个例子是本节讨论的 混合 随机变量。
定理。 (cdf 分解) 每个随机变量 的 cdf 可以分解为三个部分的总和: 其中 是非负常数,使得 ,其中 是一个实数, 分别是离散、连续和奇异随机变量的 cdf。
备注。
- 如果 且 ,则 是一个混合随机变量。
- 我们不会在本书中讨论奇异随机变量,因为它比较高级。
- 这个公式的一种解释是:
- 如果 是离散(连续)随机变量,那么 ( )。
- 我们也可以类似地分解pdf,但我们有不同的方法从相应的cdf中找到离散和连续随机变量的pdf。
奇异随机变量的一个例子是 康托尔分布函数(有时称为魔鬼的楼梯),如下图所示。当您放大图形时,图形模式会不断重复。
例: 令 。令 。那么, 是一个混合随机变量 的 cdf,它以概率 为离散,以概率 为连续,因为它是非负的、非递减的、右连续的,并且 。
练习: 考虑函数 。已知 是随机变量 的 cdf。
(a) 证明 。
(b) 证明 的 pdf 为
(c) 证明 为连续型随机变量的概率为 。
(d) 证明 等于 。
(e) 证明事件 和 在 时相互独立。
(a) 由于 是累积分布函数,且当 时,,因此,
(b) 由于 是混合型随机变量,对于离散型随机变量部分,概率密度函数为 另一方面,对于连续型随机变量部分,概率密度函数为 因此, 的概率密度函数为
(c) 可以看到 可以分解如下: 因此, 为连续变量的概率为 。
(d)
(e) 如果 ,。 因此, 也就是说 和 是相互独立的。