Bourbaki

习题 3, § 1

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

积分, V

Bourbaki marks this one as harder than the rest.

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

a) 设(fα)α∈A(f_\alpha)_{\alpha \in A}为函数⩾0\geqslant 0的数值族,针对关系⩽\leqslant,使得TT到RA\mathbf{R}^A的映射t↦(fα(t))t \mapsto (f_\alpha(t))是μ\mu可测的。令ff为家庭(fα)(f_\alpha)的上层信封。那么ff是μ\mu可测的并且

∫∙f dμ=sup⁡α∈A∫∙fα dμ. \int^\bullet f \, d\mu = \sup_{\alpha \in A} \int^\bullet f_\alpha \, d\mu .

(1)

b) 设(fα)α∈A(f_\alpha)_{\alpha \in A}是在TT上定义的数值族函数⩾0\geqslant 0,并具有以下性质:对于TT的每个紧凑子集KK和每个ε>0\varepsilon > 0,都存在紧集 K′⊂KK' \subset K使得μ(K−K′)⩽ε\mu(K - K') \leqslant \varepsilon并且使得所有函数fαf_\alpha中的限制到K′K'是下半连续的。令ff为家庭(fα)(f_\alpha)的上层信封。证明 ff 可测并且满足关系 (1)。

给出映射t↦(fα(t))t \mapsto (f_\alpha(t))中的例,满足上面的条件,那不是μ\mu可测的。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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