一个函数的导函数存在第二类间断点只能说明它(指导函数)的导数(导函数的导数就是原函数的二阶导)在该点的左极限不等于右极限。也就是说这个函数的二阶导在这个点上的左极限不等于其右极限f''(x-) != f''(x+);而不能说明该点的左导数不等于右倒数(f'(x-) != f'(x+))。
我们把这样的函数称为一阶平滑的。
举个分段函数的例子给你就明白了:
设f(x)定义如下:
当x<=0时, f(x) = 0;
当x>0时, f(x) = x^2。
这个函数的一阶导是存在的,且f'(x)可以这样描述:
当x<=0时,f'(x) = 0;
当x>0时,f'(x) = 2x。
显然f'(x)是一条折线,也就是说0是它的二类间断点。因为如果你从折线的左边逼近0点,它的斜率是0;而如果你从折线的右边逼近0点,它的斜率是2。所以这个函数的二阶导是不存在的。
你如果把这个例子中的函数和它的一阶导函数都画在一张图上就会明白什么是一阶平滑了。说白了f(x)在0点是平滑的,但它的一阶导函数在0点是不平滑的(折线左右两边的斜率肯定不一样)。
这个例子还可以推广作为n阶平滑的例子,只要把f(x)定义成下面这个样子:
当x<=0时,f(x) = 0;
当x>0时,f(x) = x^(n+1)
这就是典型的n阶平滑函数,它的一阶、二阶、一直到n阶导数都存在,但n+1阶导数却不存在。
可导函数在给出来的时候都会加一句在(a,b)上可导,表示函数在a点可能不可导,即a点可能就是函数的间断点
或者在R上可导,则表示函数没有间断点
可导函数只是函数在一定的定义区间内满足左导数=右导数的一个定义
以上是个人理解,仅供参考