由定理3.1.1的4)可知:外测度确为“体积”概念的推广。非常令人遗 憾的是:外测度对一些集合而言无法满足可加性,即人们可构造这样一族互不相 交的集合S(1,2…,满足mUs1<∑ms…,于是我们只有退而求 其次,探索可以限制在什么范围内满足可加性

定理2.4.1(Weierstrass聚点原理)设E为R中有界无限集,则 E≠中 证明取互异点列Mk=(x1,x2,n)∈,由于E有界,所以{Mk k=1,2.}有界,从而{x=1.是有界集,由数学分析中已证 明的直线上的聚点原理知:x1及x1的子列x→x1这时M满足第一个坐标 收敛,对于第二个坐标x2可能不收敛,但有界由直线上的聚点原理知:x2 及x2的子列x2→x2,则Mk满足第一、第二坐标收敛。此过程继续作下去,第 n次找到的子列Mm便满足所有坐标都收敛即M→M其中M= 00 (x1,x2,xn),即M为E中的聚点。证毕 推论2.4.1有界点列必有收敛子列