间断点的判断流程

间断点的概念

设函数 $f(x)$ 在点 $x_0$ 的某去心领域内有定义。如果函数 $f(x)$ 有下列三种情形之一：
（1）在 $x=x_0$ 没有定义；
（2）虽在 $x=x_0$ 有定义，但 $\underset{x\to x_0}{\lim }f(x)$ 不存在；
（3）虽在 $x=x_0$ 有定义，且 $\underset{x\to x_0}{\lim }f(x)$ 存在，但 $\underset{x\to x_0}{\lim }f(x)\ne f(x_0)$，
那么函数在点不连续，而点称为函数的不连续点或间断点。（《高等数学》·第七版·同济大学）

概念的符号化

令 $D$ 表示函数 $f(x)$ 的定义域，设 $\mathring{U}(x_0,\delta )\subset D$，如果 $x_0\notin D\vee \nexists \underset{x\to x_0}{\lim }f(x)\vee \underset{x\to x_0}{\lim }f(x)\ne f(x_0)$，那么称点 $x_0$ 为函数 $f(x)$ 的间断点。

间断点的判断流程

伪代码描述

//判断点x0是否为函数f的间断点
bool isDiscontinuity( x0, f ){
	if( x0 && Domain != true ) //Domain，表示定义域
		return true; //在点x0处，函数f无定义，是间断点
	else if( lim(x0, f) == null )
		return true; //在点x0处，函数f的极限不存在，是间断点
	else if( lim(x0, f) != f(x0) )
		return true; //在点x0处，函数f的极限不等于f(x0)，是间断点
	else
		return false; //不是间断点
}

流程图描述

自然语言描述

已知点 $x_0$ 和函数 $f(x)$，判断点 $x_0$ 是否为间断点：
① 首先，判断 $f(x)$ 在 $x_0$ 是否有定义（分母不能为零，负数不能开根，是否在分段函数定义域内……）；如果无定义，那么 $x_0$ 为间断点。
② 相反，如果有定义，那么 $\underset{x\to x_0}{\lim }f(x)$ 是否存在？——$\underset{x\to x_0^{-}}{\lim }f(x)=\underset{x\to x_0^{+}}{\lim }f(x)$ 吗？ $\underset{x\to x_0}{\lim }f(x)=\infty$ 吗？……如果不存在，那么$x_0$为间断点。
③ 如果存在，那么 $\underset{x\to x_0}{\lim }f(x)=f(x_0)$ 吗？如果不等，那么 $x_0$ 为间断点。
④ 如果 $f(x)$ 在 $x_0$ 有定义，且 $\underset{x\to x_0}{\lim }f(x)$ 存在，$\underset{x\to x_0}{\lim }f(x)=f(x_0)$，那么 $f(x)$ 在 $x_0$ 连续