Bourbaki

习题 29, § 2

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

拓扑向量空间, II, p. 69

Bourbaki marks this one as harder than the rest.

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

令EE为豪斯多夫拓扑向量空间,CC为EE中顶点为0的非空开凸无尖锥体。 EE 中 0 的凸邻域用 VV 表示。如果 ff 是在 C∩VC \cap V 中定义并有界的凸函数,则表明 f(x)f(x) 趋向于有限极限,因为 xx 趋于 0,其中 x∈C∩Vx \in C \cap V。 (令β=lim sup⁡x→0,x∈C∩Vf(x)\beta = \limsup_{x \to 0, x \in C \cap V} f(x);获得一个矛盾,假设对于某些α>0\alpha > 0,并且每邻域 W为0,存在点y∈C∩V∩Wy \in C \cap V \cap W使得f(y)<β−αf(y) < \beta - \alpha。证明存在a∈C∩Va \in C \cap V使得f(ρa)≥β−12αf(\rho a) \geq \beta - \frac{1}{2}\alpha对于0<ρ≤10 < \rho \leq 1;推导出,在将形式ρa\rho a(ρ\rho足够小)的点连接到C∩VC \cap V中的点yy使得f(y)<β−αf(y) < \beta - \alpha足够接近0时,存在点 C∩VC \cap V 其中 ff 是任意大。)

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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