Bourbaki

习题 8, § 1

标签 08Q7,永久不变。引用为 [Bourbaki, Tag 08Q7]。

积分, IV, p. 119

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

a) 令(μn)(\mu_n)为局部紧凑空间X上测度≥0\geq 0的递减序列,并令μ\mu为M+(X)\mathscr{M}_+(X)中序列的下确界。证明如果 ff 是函数 ≥0\geq 0,使得 μn∗(f)<+∞\mu_n^*(f) < +\infty 从某个指标开始,则 μ∗(f)=inf⁡nμn∗(f)\mu^*(f) = \inf_n \mu_n^*(f)(当 gg 是下半连续、正数,并且满足 μ∗(g)<+∞\mu^*(g) < +\infty、注时,存在序列 (hm)(h_m) 连续函数 ⩾0\geqslant 0 具有紧凑的支撑,使得

∑m=1∞hm⩽gandμn∗(g)=∑m=1∞μn∗(hm)for every index n). \sum_{m=1}^{\infty} h_m \leqslant g \quad \text{and} \quad \mu_n^*(g) = \sum_{m=1}^{\infty} \mu_n^*(h_m) \quad \text{for every index } n ).
b) 在离散空间 X=NX = \mathbf{N} 上,令 μn\mu_n 为通过在每个点 m⩾nm \geqslant n 处放置质量 +1 来定义的度量。证明M+(X)\mathscr{M}_+(X)中递减序列(μn)(\mu_n)的下确界为0,但对于所有nn来说μn∗(X)=+∞\mu_n^*(X) = +\infty。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。