Bourbaki

Bài tập 29, § 2

Không gian vectơ tô pô, II, p. 69

Bourbaki marks this one as harder than the rest.

Cho EE là một không gian vectơ tôpô Hausdorff, và CC là một nón lồi mở không nhọn khác rỗng với đỉnh 0, trong EE. Một lân cận lồi của 0 trong EE được ký hiệu bởi VV. Nếu ff là một hàm lồi được xác định và bị chặn trên trong C∩VC \cap V, hãy chứng minh rằng f(x)f(x) tiến tới một giới hạn hữu hạn khi xx tiến tới 0, trong đó x∈C∩Vx \in C \cap V. (Đặt β=lim sup⁡x→0,x∈C∩Vf(x)\beta = \limsup_{x \to 0, x \in C \cap V} f(x); hãy thu được một mâu thuẫn, giả sử rằng với một α>0\alpha > 0, và mọi lân cận W của 0, tồn tại một điểm y∈C∩V∩Wy \in C \cap V \cap W sao cho f(y)<β−αf(y) < \beta - \alpha. Hãy chứng minh rằng tồn tại a∈C∩Va \in C \cap V sao cho f(ρa)≥β−12αf(\rho a) \geq \beta - \frac{1}{2}\alpha với 0<ρ≤10 < \rho \leq 1; suy ra rằng, trên một đường thẳng nối một điểm có dạng ρa\rho a (ρ\rho đủ nhỏ) với một điểm yy trong C∩VC \cap V sao cho f(y)<β−αf(y) < \beta - \alpha, và đường thẳng đó đủ gần 0, tồn tại các điểm của C∩VC \cap V tại đó ff lớn tùy ý.)

Lời giải

Chưa có lời giải nào được viết.

Bản dịch máy từ tiếng Anh, bởi gpt-5-6-mini. Chưa được người kiểm tra. Mô hình này là bản rút gọn của mô hình đã viết phần còn lại của ngôn ngữ này.