1设E是直线上的一有界集,mE>0,则对任意小 于mE的正数,恒有子集E1,使m*E1=c 证明:由于E有界,故不妨令EC[a,b 令f(x)=m*(en[a,x),则f(a)0,f(b)=m*E 下证f(x)在[a,b]上连续

例区间是可测集,且ml 证明见书本p66 注:零集、区间、开集、闭集、G型集(可数个开集的交)、 F。型集(可数个闭集的并)、 Borel型集(粗略说:从开集出发 通过取余,取交或并(有限个或可数个)运算得到)都是可测集

Lebesgue外测度(外包) m*E=inf{∑:Ec,且为开区间}

1.引言 (1) Riemann积分回顾(分割定义域)积分与分割、介点集的取法无关几何意义(非负函函数图象下方图形的其中

1开集减闭集的差集是开集, 闭集减开集的差集是闭集 证明:利用A-=a∩B, 开集的余集是闭集,闭集的余集是开集, 以及有限个开集的交仍是开集, 有限个闭集的交仍是闭集即得

Cantor集 对[0,1]区间三等分,去掉中间一个开区间, 然后对留下的两个闭区间三等分,各自去掉中间一个开区间, 此过程一直进行下去,最后留下的点即为 Cantor集

4开集、闭集 若E°=E,则称E为开集(E中每个点都为内点) 若E=E,则称E为闭集(与E紧挨的点不跑到E外) P为E的接触点:Vδ>0,有Opo)E≠Φ

1度量空间 定义:设X为一非空集合,d:XX→R为一映射,且满足 (1)d(x,y)≥0,d(x,y)=0当且仅当x=y(正定性) (2)d(x,y)=d(y,x)(对称性) (3)d(x,y)d(xz)+d(z,y)(三角不等式)则称(X,d)为度量空间