Bourbaki

习题 11, § 3

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

积分, V, p. 98

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

令t↦λtt \mapsto \lambda_t为T的μ\mu充分映射进入M+(X)\mathscr{M}_+(X)满足以下条件:对于T的每个紧凑子集K,存在X的紧凑子集LKL_K使得Supp⁡(λt)⊂LK\operatorname{Supp}(\lambda_t) \subset L_K对于所有t∈Kt \in K。

a) 证明对于 X 上定义的每个函数 f≥0f \geq 0,

∫∙f(x) dν(x)≥∫∙dμ(t)∫∗f(x) dλt(x) \int^\bullet f(x)\, d\nu(x) \geq \int^\bullet d\mu(t) \int^* f(x)\, d\lambda_t(x)

(利用提案 3 a))。

b) 如果f≥0f \geq 0局部ν\nu可忽略,则t∈Tt \in T的集合使得ff局部λt\lambda_t可忽略不计,则局部μ\mu可忽略。

c) 如果ff是X的ν\nu可测映射到拓扑空间X,则t∈Tt \in T的集合使得ff不可在本地进行λt\lambda_t可测μ\mu-可以忽略不计。

d) 对于每个 ν\nu-可测量函数 f≥0f \geq 0,映射 t↦∫∗f dλtt \mapsto \int^* f\, d\lambda_t 是 μ\mu-可测量,并且

∫∙f(x) dν(x)=∫∙dμ(t)∫∗f(x) dλt(x). \int^\bullet f(x)\, d\nu(x) = \int^\bullet d\mu(t) \int^* f(x)\, d\lambda_t(x).

e) 令 f\mathbf{f} 为 X 上定义的函数,其中值在 Banach 空间或R‾\overline{\mathbf{R}} 中,且本质上 ν\nu 可积。证明t∈Tt \in T的集合使得f\mathbf{f}不是λt\lambda_t可积,在局部μ\mu可忽略不计,函数t↦∫f(x) dλt(x)t \mapsto \int \mathbf{f}(x)\, d\lambda_t(x)(几乎所有地方为μ\mu局部定义)本质上是μ\mu可积,并且

∫f(x) dν(x)=∫dμ(t)∫f(x) dλt(x). \int \mathbf{f}(x)\, d\nu(x) = \int d\mu(t) \int \mathbf{f}(x)\, d\lambda_t(x).
解答

尚未写出解答。

被以下引用

无。

引用了

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