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