Bourbaki

习题 8, § 1

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

实变函数, III, 116

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

考虑集合 DkD_k (k≥1k \geq 1) 中的序列,对于每个 kk,考虑两个函数 (x1,…,xk)↦fk(x1,…,xk), (x1,…,xk)↦gk(x1,…,xk)(x_1, \ldots, x_k) \mapsto f_k(x_1, \ldots, x_k),\ (x_1, \ldots, x_k) \mapsto g_k(x_1, \ldots, x_k) 和真实的值,其中 (x1,…,xk)∈D1×D2×⋯×Dk(x_1, \ldots, x_k) \in D_1 \times D_2 \times \cdots \times D_k。假设对于每个kk,在R\mathbf{R}上定义了一个实数函数FkF_k,使得对于每个μ∈R\mu \in \mathbf{R}和任意a1∈D1,…,ak−1∈Dk−1a_1 \in D_1, \ldots, a_{k-1} \in D_{k-1}都有一个

sup⁡xk∈Dk(μfk(a1,…,ak−1,xk)−gk(a1,…,ak−1,xk))=Fk(μ) fk−1(a1,…,ak−1). \sup_{x_k \in D_k} \left( \mu f_k(a_1, \ldots, a_{k-1}, x_k) - g_k(a_1, \ldots, a_{k-1}, x_k) \right) = F_k(\mu)\ f_{k-1}(a_1, \ldots, a_{k-1}).
(按照惯例,取 f0=1f_0 = 1。)证明如果实数 (μk)(\mu_k) 和 (δk)(\delta_k) 满足条件 F1(μ1)=0F_1(\mu_1) = 0 和 Fk(μk)=δkF_k(\mu_k) = \delta_k 中的序列则存在不等式
(μ1−δ2)f1+(μ2−δ3)f2+⋯+(μn−1−δn)fn−1+μnfn≤g1+g2+⋯+gn (\mu_1 - \delta_2) f_1 + (\mu_2 - \delta_3) f_2 + \cdots + (\mu_{n-1} - \delta_n) f_{n-1} + \mu_n f_n \leq g_1 + g_2 + \cdots + g_n
对于 nn 和 xk∈Dkx_k \in D_k 的所有值。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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