实变函数中怎样证明Cantor集的测度为0

问题描述:

实变函数中怎样证明Cantor集的测度为0

只须证康托余集的测度为区间1 即可
区间的测度就是区间的长度(证明过程太过麻烦,略去)
则cantor集的测度为1-[1/3+2*1/9+.2^(n-1)/3^n+.]=0
得证