数学分析(十三)-函数列与函数项级数2-1-一致收敛函数列的性质1：连续性【若函数列{fₙ}在区间Ⅰ上一致收敛, 且每一项都连续, 则其极限函数f在区间Ⅰ上也连续】

本节讨论由函数列与函数项级数所确定的函数的连续性、可积性与可微性.

定理 13.8

设函数列 { f n } \left\{f_{n}\right\} { fn​} 在$\left(a,x_0\right)\cup \left(x_0,b\right)$ 上一致收敛于 $f(x)$,且对每个 $n$, $\underset{x\to x_0}{\lim }{f}_n(x)=a_n$, 则$\underset{n\to \infty }{\lim }{a}_n$ 和$\underset{x\to x_0}{\lim }f(x)$ 均存在且相等.

证
先证 { a n } \left\{a_{n}\right\} { an​} 是收敛数列. 对任意 $\epsilon >0$, 由于 { f n } \left\{f_{n}\right\} { fn​} 一致收敛, 故有 $N$, 当 $n>N$ 时, 对任意正整数 $p$和对一切 $x\in \left(a,x_0\right)\cup \left(x_0,b\right)$, 有

$$\left|f_n(x)-f_{n+p}(x)\right|<\epsilon \text{. }$$

从而

$$\left|a_n-a_{n+p}\right|=\underset{x\to x_0}{\lim }\left|f_n(x)-f_{n+p}(x)\right|⩽\epsilon .$$

这样由柯西准则可知 { a n } \left\{a_{n}\right\}