一个人玩一个无限的游戏序列。他以概率 赢得第 局游戏,与其他游戏无关。 (i) 证明对于任何 ,玩家连续赢得两局游戏时每次获得一美元,他将积累 美元的概率为 1。 (ii) 如果玩家只有在连续赢得三局游戏时才获得一美元,那么 (i) 中的断言是否成立?证明或反驳它。
|
(i): 将玩家的游戏定义为无限序列
,其中每个
等于 1(对应于获胜)或 0(对应于失败)。
定义随机变量
为
,即
计算玩家在前
局游戏中获得了多少次连续两次胜利。因此,玩家在前
局游戏中将赢得
美元。显然,
是可测量的。此外,我们可以计算期望值
现在观察当我们发送
时会发生什么。
因此无限游戏的预期收益也是无限的。这意味着玩家几乎可以肯定地超过
的收益。
(ii): 定义所有内容与之前相同,只是这次 
然后
这给出了
因此我们不能断言超过任何给定收益的概率将等于1。
一个袋子里有10枚硬币。其中5枚是普通硬币,一枚硬币有两面都是正面,四枚硬币有两面都是反面。你从袋子里取出一枚硬币,看它的一面,发现是反面。请问这枚硬币是普通硬币的概率是多少?
|
这只是一个直接应用贝叶斯定理的问题。令
表示你取出一枚普通硬币的事件。令
表示你得到反面的事件。
根据贝叶斯定理,
在普通硬币上看到反面的概率,
是 5/20,因为普通硬币上有五枚反面,而所有正面共有 20 枚。看到反面的概率是 13/20(5枚普通硬币 + 2*4 枚双反面硬币)。
(i) 令
为马尔可夫转移矩阵。我认为对于任何初始概率分布
,那么
.
证明:考虑初始分布为奇异的情况,即
。显然我们可以看到
。然后
如果
,并且对于
我们有
.
现在令
. 我们想计算
对于
.
其中最后一个不等式来自我们上面的论点。这表明
是一个上鞅。
令 是独立同分布的随机变量,满足 . (i) 证明级数 以概率 1 收敛。 (ii) 证明 的分布是奇异的,即集中在勒贝格测度为零的集合上。
|
(i) 注意到
因此该级数是有界的。此外,它必须是柯西序列。实际上,对于任何
,我们可以选择足够大的
,使得对于每一个
,
因此,级数
几乎处处收敛。
(ii) 为了证明
的支撑集是零测度的勒贝格集,首先回顾一下关于康托集的一些事实。
康托集
是所有
的集合,其三进制展开为
(以 3 为底)。这对应于通常的康托集,可以被认为是具有 1/3 收缩率的完美对称集。
相反,考虑集合
,它包含所有
,其在
进制下的展开式为
。在
的元素和
之间存在一个明显的双射。由于
的勒贝格测度为
。因此,
在勒贝格测度为零的集合上具有支撑。
这是一个直接应用 中心极限定理,林德伯格条件 的例子。
我们知道每个随机变量
的期望值为
,方差为
。
那么
和
。 那么
在分布上收敛于标准正态分布,前提是 Lindeberg 条件成立。
因此,我们需要检查 
由于
的增长速度快于
,那么对于足够大的
,每个积分的域都是空的。因此,当
时,上述等式趋于 0。因此,Lindeberg 条件满足,CLT 成立。
(i) 令
. 根据假设,
. 现在我们计算
范数
让我们评估右侧的第一个积分。 我们可以写 
通过 Fatou 引理
(因为
)。
现在第二项
由三角不等式得出。
由于
都具有有限的二阶矩。
因此,我们已经证明,在上述假设下,几乎必然收敛意味着均方收敛。
(ii)