Bourbaki

习题 11, § 4

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

实变函数, I, 47

Bourbaki marks this one as harder than the rest.

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

设ff是开区间I⊂RI \subset \mathbf{R}上的连续函数,在II的每个点有有限右导数。如果对于每个x∈Ix \in I和*每个*y∈Iy \in I使得y>xy > x点My=(y,f(y))M_y = (y, f(y))位于ff图在点Mx=(x,f(x))M_x = (x, f(x))的右半切线上方,则证明ff在II上凸(使用均值值定理表明

fd′(y)≥f(y)−f(x)y−xfor x<y. f'_d(y) \geq \frac{f(y) - f(x)}{y - x} \quad \text{for } x < y.
给出函数的例,它不是凸的,处处都有有限右导数,并且对于每个x∈Ix \in I,存在数hx>0h_x > 0取决于xx,使得MyM_y位于点MxM_x处的右半切线之上yy使得x≤y≤x+hxx \leq y \leq x + h_x。如果进一步假设 ff 在 II 上可微(使用 I、p. 12,推论),最后的条件仍然足以使 ff 凸。

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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