此外,如果任何ν-可积函数f:I×Ohm → 满足Fubini\'stheorem的主张;也就是说,(i)对于u-几乎所有i∈ 一、 函数f(I,·)是P-可积的,(ii)对于P-几乎所有ω∈ Ohm, 函数f(·,ω)u-可积,(iii)i 7→Rf(i,·)dP是u-可积的,ω7→R(·,ω)du是P可积的,zf dν=ZZf(i,ω)P(dω)u(di)=ZZf(i,ω)u(di)P(dω)。让(I×)Ohm, ∑,ν)是(I×)的Fubini扩张Ohm, 我 F、 u P)。然后,基本上成对独立的族满足大数定律的精确版本。以下是[32,推论2.9]的特例。命题B.2(精确大数定律)。设f:I×Ohm → R是ν-可积的。如果f(i,·),i∈ I本质上是成对的I.I.d.,其分布具有平均值m,则rf(·,ω)du=m,对于P-几乎所有ω∈ Ohm.接下来,我们来看看这种环境的存在。空间(I×)Ohm, 如果存在∑-可测函数f:I×,则∑,ν)称为richOhm → R使得f(i,·),i∈ I本质上是在[0,1]上均匀分布的成对I.I.d。通过用一个合适的函数组合f,可以得出(I×)Ohm, ∑,ν)基本上支持具有任何给定分布的成对i.i.d.f族。引理B.3。存在无原子概率空间(I,I,u)和(Ohm, F、 P)以便(I×)Ohm, 我 F、 u P)允许丰富的Fubini扩展。这是[32,命题5.6]断言的一部分,它还表明,可以取I=[0,1]和Ohm = R[0,1]。Sun和Zhang[33]的主要结果表明,此外,可以将u作为Lebesguemeasure的扩展(但不是Lebesgue度量本身)。波德切克提出了一种不同的结构【29】。这里,我们使用产品σ-字段I F已完成。也就是说,f对于∑andR | f | dν<∞.参考文献【1】E.Bayraktar和A.Cohen。