积分, IV, p. 124
Bourbaki marks this one as harder than the rest.
a) 令X为局部紧致空间,并令Γ为基,相对于紧集的X由……组成的拓扑。令U为与X的拓扑兼容的统一结构,并令S为该结构的随行人员的基本系统。令 M↦λ(M) 为定义在 Γ 上的有限数值函数 ⩾0。对于每个紧集K⊂X和每个随行V∈S,令αV(K)为数∑iλ(Ui)的下确界,对于Γ中由集合形成的K的所有有限覆盖(Ui),这些都是小的阶V;假设当V超过S时,数αV(K)的上界α(K)是*有限*。证明在 X 上存在一个测度 μ(并且只有一个),使得对于每个紧集 K 都有 μ(K)=α(K)(利用 Th. 5)。
b) 令Ψ为X的Borel子集的集合,Ψ的α映射代入[0,+∞]满足以下条件: (i) 如果B1,B2是X的两个不相交的Borel子集,则α(B1∪B2)=α(B1)+α(B2)。 (ii) 如果B 是X 的紧子集,则α(B)<+∞。 (iii) 如果B是X的Borel子集,则α(B)=infα(U),其中U超过X包含B的开子集的集合。
那么,X上存在一个且仅有一个正测度μ,使得α(B)=μ∗(B)对于X的每个Borel子集B可以被紧集的序列覆盖。
c) 对于每个B∈Φ、集合α(B)=0,如果B可以被紧集的序列覆盖,反之则为α(B)=+∞。则满足b)的条件(i)、(ii)、(iii)。一个有μ=0,因此如果B不能被紧集的序列覆盖,则α(B)=μ∗(B)。