Bourbaki

习题 4, § 3

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

实变函数, II, 87

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

令II为域R\mathbf{R}(或域C\mathbf{C})中点α0\alpha_0的R\mathbf{R}、AA邻域的区间,ff为连续将I×AI \times A的映射转化为空间EE超过R\mathbf{R},使得fα′(x,α)f'_\alpha(x, \alpha)存在并且在I×AI \times A上连续。令a(α)a(\alpha)、b(α)b(\alpha)为AA上定义的两个连续的函数,值在II中,这样在AA上就有相同的f(a(α),α)=f(b(α),α)=0f(a(\alpha), \alpha) = f(b(\alpha), \alpha) = 0。证明函数 g(α)=∫a(α)b(α)f(t,α) dtg(\alpha) = \int_{a(\alpha)}^{b(\alpha)} f(t, \alpha)\,dt 在点 α0\alpha_0 处承认等于 ∫a(α0)b(α0)fα′(t,α0) dt\int_{a(\alpha_0)}^{b(\alpha_0)} f'_\alpha(t, \alpha_0)\,dt 的导数,即使 aa 和 bb 在点 α0\alpha_0 不可微(令 MM 为上界) ∥fα′(x,α)∥\|f'_\alpha(x, \alpha)\| (b(α0),α0)(b(\alpha_0), \alpha_0) 的紧凑邻域;注、应用 Bolzano 的定理到 b(α)b(\alpha),对于每个 xx 属于到端点为 b(α0)b(\alpha_0) 的区间b(α)b(\alpha),对于α\alpha足够接近α0\alpha_0,有∥f(x,α)∥≤M∣α−α0∣\|f(x, \alpha)\| \leq M |\alpha - \alpha_0|)。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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