|
也就是说,f是可测量的u-完成∑andR | f | du<∞.因为∑可能严格大于I F、 这不是自动的。[0,1]上的均匀分布。与无原子概率s空间支持任意给定分布的随机变量一样,富Fubini扩展本质上支持任意给定分布的成对i.i.d.族;参见[31,推论5.4]。引理3.5。让(I×)Ohm, ∑,u)是(I×)的富比尼扩展Ohm, 我F、 λ P),设S是一个Polish空间,设ν是一个Borel概率测度。存在∑-可测函数f:I×Ohm → 这样f(i,·),i∈ I本质上是成对独立的,f(I,·)对所有I都有分布ν∈ 一、 引理3.6。存在无原子概率空间(I,I,λ)和(Ohm, F、 P)以便(I×)Ohm, 我 F、 λ P)允许丰富的Fubini扩展。这是[31,命题5.6]断言的一部分,它也表明人们可以接受I=[0,1]和Ohm = R[0,1]。[32]的主要结果表明,此外,可以将λ作为Lebesgue测度的扩展(但不是Leb-esgue测度本身)。[29]中介绍了一种不同的结构,即避免非标准分析。4一个玩具模型在本节中,我们讨论了一个简单的设置,其中代理的信号是。i、 d。;也就是说,纯粹的特殊噪音。虽然不适合大多数应用,但这将使我们能够在模型中解释精确的大数定律的影响,并在没有太多干扰的情况下讨论一些更为明确的唯一性和非简并性问题。考虑第2节中介绍的具有无原子概率空间(I,I,λ)和(Ohm, F、 P),并让(I×)Ohm, ∑,u)是其产品的富比尼拉伸。对于每个i∈ 一、 让易≥ 0是一个正确的、连续的、递增的、Gi逐步可测量的过程。我们假设对于每个t≥ 0,(i,ω)7→ Yit(ω)是∑-可测的,并且Yit,i∈ 我基本上是成对的。i、 d。
|