0;-1,1;-2,-1/2,1/2,2;……
在这个数列中,第p个数用中点的值为第p个数,长度为1/2^(p+1)的开区间△(p)覆盖,则
∪
它的测度<=(1/4)/(1-1/2)=1/2.
设有理数集合为Q={r1,r2,...,rn,...};
定义开集族{U_i_j|i,j=1,2,...}如下:
1.ri属于U_i_j,
2.|U_i_j|<1/2^(i+j),
(这里“|*|”表示区间长度或最大值与最小值的差)
3.|f(U_i_j)|<1/j
定义V_j=U_i_j对固定的j所有i的并集。j=1,2,....这都是开集。
而函数f的连续点的集合可以写成W=(V_j对所有j的交集)。
显然Q包含于W.下面只需说明W中的点都是连续点。
仍给x属于W。则x属于V_j,j=1,2,...
所以对任意一个j,至少存在一个ij使得:
x属于U_ij_j,j=1,2,...
于是任给1/j,存在x的邻域U_ij_j,使得f(U_ij_j)包含于(f(x)-1/j,f(x)+1/j).这说明f在x点处连续。