σσ - 无限子集的代数交集

机器算法验证 可能性 数理统计 测度论 sigma-代数
2022-03-28 09:04:54

我正在编写 Bartle 的 Lebesgue 测度书,并希望了解构建以下证明的步骤:

证明任何 -代数也包含所有闭区间。σR

[a,b]=n=1(a1n,b+1n)

1个回答
  • 对于每个正整数,因此特别是包含在交集中。如果对于每个正数,则取极限,我们得到na1/n<a<b<b+1/n[a,b](a1/n,b+1/n)[a,b]x(a1/n,b+1/n)na1/n<x<b+1/nnx[a,b]

  • -代数,它包含所有开区间。那么在可数交点下是稳定的,这个 -algebra 包含开区间的可数交点。由于可以这样表示闭区间,我们就完成了。AσRAσ