积分, IV, p. 119
a) 令(μn)为局部紧凑空间X上测度≥0的递减序列,并令μ为M+(X)中序列的下确界。证明如果 f 是函数 ≥0,使得 μn∗(f)<+∞ 从某个指标开始,则 μ∗(f)=infnμn∗(f)(当 g 是下半连续、正数,并且满足 μ∗(g)<+∞、注时,存在序列 (hm) 连续函数 ⩾0 具有紧凑的支撑,使得
m=1∑∞hm⩽gandμn∗(g)=m=1∑∞μn∗(hm)for every index n). b) 在离散空间
X=N 上,令
μn 为通过在每个点
m⩾n 处放置质量 +1 来定义的度量。证明
M+(X)中递减序列
(μn)的下确界为0,但对于所有
n来说
μn∗(X)=+∞。