南京航空航天大学 2026年数学分析第5题
📝 题目
5．证明导数有界则一致连续，反之，一致连续导数是否有界？证明或给出反例．
💡 答案解析
暂无答案解析
📋 详细解题步骤
步骤 1/8
目标：明确题目要求，分两部分处理
题目要求证明：若函数导数有界，则函数一致连续；并讨论反之是否成立，即一致连续是否蕴含导数有界，需要证明或举反例。
提示：注意区分充分性和必要性，避免混淆。
步骤 2/8
目标：第一部分：证明导数有界则函数一致连续
设函数 \( f \) 在区间 \( I \) 上可导，且存在常数 \( M > 0 \)，使得对任意 \( x \in I \)，有 \( |f'(x)| \le M \)。要证明 \( f \) 在 \( I \) 上一致连续。
公式：|f'(x)| \le M
提示：注意区间 \( I \) 可以是任意区间（开、闭、半开半闭等），但导数有界条件需在整个区间上成立。
步骤 3/8
目标：应用拉格朗日中值定理得到Lipschitz条件
对任意 \( x, y \in I \)，由拉格朗日中值定理，存在介于 \( x \) 与 \( y \) 之间的 \( \xi \)，使得 \( f(x) - f(y) = f'(\xi)(x - y) \)。于是 \( |f(x)-f(y)| = |f'(\xi)| \cdot |x-y| \le M |x-y| \)。这说明 \( f \) 满足Lipschitz条件。
公式：f(x) - f(y) = f'(\xi)(x - y), \quad |f(x)-f(y)| \le M |x-y|
提示：拉格朗日中值定理要求函数在闭区间上连续、开区间内可导，这里 \( f \) 在 \( I \) 上可导，故满足条件。
步骤 4/8
目标：由Lipschitz条件推出一致连续
由 \( |f(x)-f(y)| \le M |x-y| \)，对任意给定的 \( \varepsilon > 0 \)，取 \( \delta = \varepsilon / M \)，则当 \( |x-y| < \delta \) 时，有 \( |f(x)-f(y)| < \varepsilon \)。因此 \( f \) 在 \( I \) 上一致连续。第一部分得证。
公式：\delta = \varepsilon / M
提示：注意 \( M > 0 \)，若 \( M = 0 \) 则函数为常数，显然一致连续。
步骤 5/8
目标：第二部分：判断一致连续是否导数有界，并给出反例
答案是否定的。一致连续不能推出导数有界。需要构造一个在闭区间上一致连续但导数无界的函数。
提示：闭区间上的连续函数一定一致连续，因此可考虑在闭区间上连续但导数在端点附近无界的函数。
步骤 6/8
目标：构造反例：f(x)=x^{1/3} 在 [0,1] 上
考虑函数 \( f(x) = x^{1/3} \)，定义域为 \( [0,1] \)。由于 \( f \) 在闭区间 \( [0,1] \) 上连续，根据一致连续性定理（Cantor定理），\( f \) 在 \( [0,1] \) 上一致连续。
公式：f(x) = x^{1/3}
提示：闭区间上的连续函数必一致连续，这是经典结论。
步骤 7/8
目标：计算该反例的导数并说明无界
求导得 \( f'(x) = \frac{1}{3} x^{-2/3} \)。当 \( x \to 0^+ \) 时，\( x^{-2/3} \to +\infty \)，因此 \( f'(x) \) 在 \( (0,1] \) 上无界（在 \( x=0 \) 处导数不存在，但导数在 \( (0,1] \) 上无界）。所以一致连续不能推出导数有界。
公式：f'(x) = \frac{1}{3} x^{-2/3}
提示：注意导数无界是在区间内部，而非端点处导数不存在。反例有效。
步骤 8/8
目标：总结答案
1. 若函数在区间上可导且导数有界，则函数满足Lipschitz条件，从而一致连续。
2. 反之不成立。反例：\( f(x)=x^{1/3} \) 在 \( [0,1] \) 上一致连续，但导数在 \( x=0 \) 附近无界。
提示：注意区分一致连续与导数有界的关系，前者是后者的充分条件，但非必要条件。
📷 拍照上传批改
拍照上传批改功能已预留入口，后续接入图片上传、OCR识别与AI批改。