【泛函分析】区间上的单调有界函数必存在左右极限，间断点必为第一类间断点

定理1. 函数在区间上存在左右极限等价于: 所有间断点(如果存在的话)都为第一类间断点.

证明: 充分性: 对于区间上任意一点, 若该点为连续点, 则该点处存在左右极限, 若该点为间断点, 则其为第一类间断点, 因而该点处存在左右极限.
必要性: 在每一点处左右极限都存在, 因此若该点处是间断点, 必为第一类间断点.

定理2. 若 $f(x)$ 是 $[a,b]$ 上的单调有界函数, 则 $f(x)$ 在 $[a,b]$ 上每一点处存在左右极限.

证明: 设 $f(x)$ 是单调递增的, 证明 $f(x)$ 在 $[a,b]$ 上每一点处存在右极限: 对于 $\forall x_0\in [a,b]$, 设 $\alpha =\underset{x\in (x_0,b]}{\inf }f(x)$, 由 $f(x)$ 有界可知 $\alpha <\infty$, 则对于 $\forall ϵ>0$, $\exists x^{\prime }\in (x_0,b]$, $f(x^{\prime })-\alpha <ϵ$, 由于 $f(x)$ 是单调递增的, 因此当 $x\in (x_0,x^{\prime }]$ 时, $f(x^{\prime })-\alpha <ϵ$. 综上可知 $\alpha$ 为 $x_0$ 处的右极限.
证明 $f(x)$ 在 $[a,b]$ 上每一点处存在左极限: 对于 $\forall x_0\in [a,b]$, 设 $\alpha =\underset{x\in [a,x_0)}{\inf }f(x)$, 由 $f(x)$ 有界可知 $\alpha <\infty$, 则对于 $\forall ϵ>0$, $\exists x^{\prime }\in [a,x_0)$, $\alpha -f(x^{\prime })<ϵ$, 由于 $f(x)$ 是单调递增的, 因此当 $x\in [x^{\prime },x_0)$ 时, $\alpha -f(x^{\prime })<ϵ$. 综上可知 $\alpha$ 为 $x_0$ 处的左极限.
$f(x)$ 是单调递减时同理可证.

推论. $f(x)$ 在 $[a,b]$ 上的间断点必为第一类间断点.

注: 这里仅以闭区间为例, 对于其他类型的区间上述结论亦成立.

参考 百度题库