Bourbaki

习题 11, § 8

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

积分, V, p. 117

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

令 pp 为有限实数 ≥1\geq 1,T 和 X 两个局部紧致空间,λ\lambda T 上的正测度,μ\mu X 上的正测度,并定义 ff 函数 ≥0\geq 0在 T×XT \times X 上,可与 fpf^p 一起积分,用于测度 λ⊗μ\lambda \otimes \mu。证明不等式

(∫∗(∫f dμ)pdλ)1/p≤∫∗(∫fp dλ)1/pdμ. \left( \int^* \left( \int f\, d\mu \right)^p d\lambda \right)^{1/p} \leq \int^* \left( \int f^p\, d\lambda \right)^{1/p} d\mu.

(对于每个t∈Tt \in T,将Hölder的不等式应用到函数x↦f(t,x)x \mapsto f(t, x),放入形式

f(t,x)=g(t,x)(∫fp(t,x) dλ(t))1/pq, f(t, x) = g(t, x) \left( \int f^p(t, x)\, d\lambda(t) \right)^{1/pq},

其中qq是共轭到pp的指数。)表明等式不能保持除非ff相当于形式g⊗hg \otimes h的函数。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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