Bourbaki

Bài tập 2, § 1

Hàm số một biến thực, I

Trên khoảng I=[0,1]I = [0, 1] ta định nghĩa một dãy các hàm thực liên tục (fn)(f_n) quy nạp như sau: Ta lấy f0(x)=xf_0(x) = x; với mỗi số nguyên n≥1n \geq 1 hàm fnf_n là tuyến tính affine trên mỗi khoảng trong số 3n3^n khoảng [k3n,k+13n]\left[ \frac{k}{3^n}, \frac{k+1}{3^n} \right] với 0≤k≤3n−10 \leq k \leq 3^n - 1; hơn nữa, ta lấy

fn+1(k3n)=fn(k3n) f_{n+1}\left( \frac{k}{3^n} \right) = f_n\left( \frac{k}{3^n} \right)
fn+1(k3n+13n+1)=fn(k3n+23n+1),fn+1(k3n+23n+1)=fn(k3n+13n+1). f_{n+1}\left( \frac{k}{3^n} + \frac{1}{3^{n+1}} \right) = f_n\left( \frac{k}{3^n} + \frac{2}{3^{n+1}} \right), \quad f_{n+1}\left( \frac{k}{3^n} + \frac{2}{3^{n+1}} \right) = f_n\left( \frac{k}{3^n} + \frac{1}{3^{n+1}} \right).
Chứng minh rằng dãy (fn)(f_n) hội tụ đều trên II tới một hàm liên tục không có đạo hàm (hữu hạn hoặc vô hạn) tại mọi điểm của khoảng ]0,1[]0, 1[ (dùng Bài tập 1).

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.