我正在编写 Bartle 的 Lebesgue 测度书,并希望了解构建以下证明的步骤:
证明任何 -代数也包含所有闭区间。σσRR
即[a,b]=∩∞n=1(a−1n,b+1n)[a,b]=∩n=1∞(a−1n,b+1n)
对于每个正整数,,因此;特别是包含在交集中。如果对于每个正数,则。取极限,我们得到。nna−1/n<a<b<b+1/na−1/n<a<b<b+1/n[a,b]⊂(a−1/n,b+1/n)[a,b]⊂(a−1/n,b+1/n)[a,b][a,b]x∈(a−1/n,b+1/n)x∈(a−1/n,b+1/n)nna−1/n<x<b+1/na−1/n<x<b+1/nn→∞n→∞x∈[a,b]x∈[a,b]
令是 -代数,它包含所有开区间。那么在可数交点下是稳定的,这个 -algebra 包含开区间的可数交点。由于可以这样表示闭区间,我们就完成了。AAσσRRAAσσ