Bourbaki

习题 8, § 8

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

积分, V, p. 116

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

令TT为局部紧凑空间,μ\mu为TT上的正测度≠0\neq 0,AA为离散空间,λ\lambda为AA上的测度,由AA的每个点处的质量+1定义。

a) 为了将 A×TA \times T 的映射 ff 转换为空间 (λ⊗μ)(\lambda \otimes \mu) 可测,对于每个α∈A\alpha \in A,映射 t↦f(α,t)t \mapsto f(\alpha, t) μ\mu 可测是充分必要的。

b) 对于在A×TA \times T上定义的函数ff,R‾\overline{\mathbf{R}}或Banach空间中的值,要(λ⊗μ)(\lambda \otimes \mu)可积,有充分必要:1∘1^\circ除了可数的集合 α∈A\alpha \in A、函数t↦f(α,t)t \mapsto f(\alpha, t)值相同零;对于每个α∈A\alpha \in A,2∘2^\circ,函数t↦f(α,t)t \mapsto f(\alpha, t)是μ\mu可积; 3∘3^\circ∑α∈A∫∣f(α,t)∣dμ(t)<+∞\sum_{\alpha \in A} \int |f(\alpha, t)| d\mu(t) < +\infty。对于ff本质上(λ⊗μ)(\lambda \otimes \mu)可积,必要且充分的是:1∘1^\circ对于每个α∈A\alpha \in A,函数t↦f(α,t)t \mapsto f(\alpha, t)本质上μ\mu可积; 2∘2^\circ∑α∈A∫∣f(α,t)∣dμ(t)<+∞\sum_{\alpha \in A} \int |f(\alpha, t)| d\mu(t) < +\infty;那么一个人有

∬f dλ dμ=∑α∈A∫f(α,t) dμ(t). \iint f\, d\lambda\, d\mu = \sum_{\alpha \in A} \int f(\alpha, t)\, d\mu(t).

c) 设XX为局部紧凑空间,(α,t)↦ρα,t(\alpha, t) \mapsto \rho_{\alpha, t}XX(α∈A\alpha \in A,t∈Tt \in T)上的一系列积极措施。在阶中,族(α,t)↦ρα,t(\alpha, t) \mapsto \rho_{\alpha, t}为(μ⊗ν)(\mu \otimes \nu)充足,对于每个α∈A\alpha \in A,族t↦ρα,tt \mapsto \rho_{\alpha, t}为μ\mu充足,并且措施族(∫ρα,t dμ(t))α∈A(\int \rho_{\alpha, t}\, d\mu(t))_{\alpha \in A}可求和是充分必要的。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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