Bourbaki

Bài tập 7, § 5

Tô pô đại cương, IV

Bourbaki marks this one as harder than the rest.

Cho ff là một hàm giá trị thực xác định trên một tập con đóng AA của R‾\overline{\mathbf{R}}. Gọi lim⁡sup⁡x→a,x⩾af(x)\lim \sup_{x \to a, x \geqslant a} f(x) [resp. lim⁡sup⁡x→a,x⩽af(x)\lim \sup_{x \to a, x \leqslant a} f(x)] là giới hạn trên của f(x)f(x) khi xx tiến tới một điểm a∈Aa \in A trong khi vẫn thuộc A∩[a,+∞]A \cap [a, +\infty] (resp. A∩[−∞,a]A \cap [-\infty, a]). Chứng minh rằng tập hợp các điểm a∈Aa \in A sao cho lim sup⁡x→a,x≥af(x)≠lim sup⁡x→a,x≤af(x)\limsup_{x \to a, x \geq a} f(x) \neq \limsup_{x \to a, x \leq a} f(x) là đếm được. [Chứng minh rằng, với mỗi cặp số hữu tỉ p,qp, q sao cho p<qp < q, tập hợp Gp,qG_{p,q} các điểm a∈Aa \in A sao cho

lim sup⁡x→a,x≥af(x)≤p<q≤lim sup⁡x→a,x≤af(x) \limsup_{x \to a, x \geq a} f(x) \leq p < q \leq \limsup_{x \to a, x \leq a} f(x)
là đếm được, bằng cách sử dụng Bài tập 1 của § 2].

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.