一元函数连续一定可导吗？5个经典反例深度解析

一元函数连续一定可导吗？这是一个在微积分学习中经常被提出的问题。答案是：不一定。连续性是函数可导性的必要条件，但不是充分条件。也就是说，如果一个函数在某点可导，那么它在该点一定是连续的；一个函数在某点连续，并不一定在该点可导。为了更好地理解这一点，我们可以通过分析五个经典的反例来深入探讨。

1. 绝对值函数 ( f(x) = |x| )

绝对值函数是一个典型的连续但不可导的函数。在 ( x = 0 ) 处，函数 ( f(x) = |x| ) 是连续的，因为：

[ lim_{x to 0} |x| = |0| = 0 ]

它在 ( x = 0 ) 处不可导。我们可以通过左右导数的定义来验证这一点：

- 当 ( x > 0 ) 时，( f(x) = x )，其导数为 ( f'(x) = 1 )。

- 当 ( x < 0 ) 时，( f(x) = -x )，其导数为 ( f'(x) = -1 )。

左导数和右导数不相等：

[ lim_{x to 0^+} f'(x) = 1 ]

[ lim_{x to 0^-} f'(x) = -1 ]

由于左右导数不相等，绝对值函数在 ( x = 0 ) 处不可导。

2. 取整函数 ( f(x) = lfloor x rfloor )

取整函数，也称为地板函数，是一个在实数域上处处连续但处处不可导的函数。对于任意实数 ( x )，取整函数 ( f(x) = lfloor x rfloor ) 的值是小于或等于 ( x ) 的最大整数。例如：

[ lfloor 2.3 rfloor = 2 ]

[ lfloor -1.7 rfloor = -2 ]

取整函数在任意点 ( x ) 处都是连续的，因为对于任意 ( epsilon > 0 )，存在 ( delta > 0 )，使得当 ( |x - c| < delta ) 时，( |f(x) - f(c)| < epsilon )。它在任意点 ( x ) 处都不可导。这是因为取整函数在每一点处都有一个跳跃间断点，其左右极限不相等。例如，在 ( x = 1 ) 处：

[ lim_{x to 1^-} lfloor x rfloor = 0 ]

[ lim_{x to 1^+} lfloor x rfloor = 1 ]

由于左右极限不相等，取整函数在 ( x = 1 ) 处不可导，实际上它在任意点都不可导。

3. 符号函数 ( f(x) = text{sgn}(x) )

符号函数 ( f(x) = text{sgn}(x) ) 定义为：

[ text{sgn}(x) = begin{cases}

1 & text{if } x > 0 \

0 & text{if } x = 0 \

-1 & text{if } x < 0

end{cases} ]

符号函数在 ( x = 0 ) 处是连续的，因为：

[ lim_{x to 0^+} text{sgn}(x) = 1 ]

[ lim_{x to 0^-} text{sgn}(x) = -1 ]

[ text{sgn}(0) = 0 ]

它在 ( x = 0 ) 处不可导。这是因为左右导数不相等：

[ lim_{x to 0^+} frac{text{sgn}(x) - text{sgn}(0)}{x - 0} = lim_{x to 0^+} frac{1 - 0}{x} = +infty ]

[ lim_{x to 0^-} frac{text{sgn}(x) - text{sgn}(0)}{x - 0} = lim_{x to 0^-} frac{-1 - 0}{x} = -infty ]

由于左右导数不相等，符号函数在 ( x = 0 ) 处不可导。

4. 绝对值函数的推广 ( f(x) = |x|^a ) （当 ( a leq 1 ) 时）

绝对值函数的推广 ( f(x) = |x|^a ) 在 ( x = 0 ) 处的连续性和可导性取决于 ( a ) 的值。当 ( a > 1 ) 时，函数在 ( x = 0 ) 处可导；当 ( a = 1 ) 时，函数在 ( x = 0 ) 处不可导；当 ( 0 < a < 1 ) 时，函数在 ( x = 0 ) 处连续但不可导。以 ( a = frac{1}{2} ) 为例：

[ f(x) = |x|^{1/2} = sqrt{|x|} ]

在 ( x = 0 ) 处，函数是连续的，因为：

[ lim_{x to 0} sqrt{|x|} = sqrt{0} = 0 ]

它在 ( x = 0 ) 处不可导。我们可以通过左右导数的定义来验证这一点：

- 当 ( x > 0 ) 时，( f(x) = sqrt{x} )，其导数为 ( f'(x) = frac{1}{2sqrt{x}} )。

- 当 ( x < 0 ) 时，( f(x) = sqrt{-x} )，其导数为 ( f'(x) = -frac{1}{2sqrt{-x}} )。

左导数和右导数不相等：

[ lim_{x to 0^+} f'(x) = lim_{x to 0^+} frac{1}{2sqrt{x}} = +infty ]

[ lim_{x to 0^-} f'(x) = lim_{x to 0^-} -frac{1}{2sqrt{-x}} = -infty ]

由于左右导数不相等，函数 ( f(x) = sqrt{|x|} ) 在 ( x = 0 ) 处不可导。

5. 分段函数 ( f(x) =