习题 11, § 8 标签 0983,永久不变。引用为 [Bourbaki, Tag 0983]。 积分, V, p. 117 Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。 令 ppp 为有限实数 ≥1\geq 1≥1,T 和 X 两个局部紧致空间,λ\lambdaλ T 上的正测度,μ\muμ X 上的正测度,并定义 fff 函数 ≥0\geq 0≥0在 T×XT \times XT×X 上,可与 fpf^pfp 一起积分,用于测度 λ⊗μ\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. (∫∗(∫fdμ)pdλ)1/p≤∫∗(∫fpdλ)1/pdμ. (对于每个t∈Tt \in Tt∈T,将Hölder的不等式应用到函数x↦f(t,x)x \mapsto f(t, x)x↦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}, f(t,x)=g(t,x)(∫fp(t,x)dλ(t))1/pq, 其中qqq是共轭到ppp的指数。)表明等式不能保持除非fff相当于形式g⊗hg \otimes hg⊗h的函数。 解答 尚未写出解答。 被以下引用 无。 引用了 无。