Bourbaki

Bài tập 14, § 2

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

Cho ff là một hàm vectơ được xác định và liên tục trên một khoảng compact I=[a,b]I = [a, b] trong R\mathbf{R}, với các giá trị trong một không gian định chuẩn trên R\mathbf{R}. Giả sử rằng ff có đạo hàm phải tại mọi điểm của phần bù đối với [a,b[[a, b[ của một tập con đếm được A của khoảng này. Chứng minh rằng tồn tại một điểm x∈]a,b[∩A‾x \in ]a, b[\cap \overline{A} sao cho

∥f(b)−f(a)∥≤∥fd′(x)∥(b−a). \|f(b) - f(a)\| \leq \|f'_d(x)\|(b - a).
(Lập luận bằng phản chứng, phân hoạch [a,b[[a, b[ thành ba khoảng [a,t[[a, t[, [t,t+h[[t, t + h[ và [t+h,b[[t + h, b[ với t∉At \notin A; nếu k=∥f(b)−f(a)∥/(b−a)k = \|f(b) - f(a)\|/(b - a), chú ý rằng với hh đủ nhỏ ta có ∥f(t+h)−f(t)∥<k.h\|f(t + h) - f(t)\| < k.h, và dùng định lý 2 của I, p. 15 cho các khoảng còn lại.)

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-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.