读者朋友请注意,本文有较多的公式,请将浏览器的字体调大(20号左右),以便阅读,谢谢!
设函数
在
的某个去心邻域的左半区间
内有定义。若
,总有
,
使得当
满足
时,必有:
![{\displaystyle \left|f(x)-A\right|<\varepsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b90a127d9145f59432c731eec38093e957d01d5)
则称函数
趋于常数
的左极限是
,通常记作:
![{\displaystyle \lim _{x\to a_{-}}f(x)=A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba7dbad1b0baee5914d30dc6a38ba54cfa4fd38e)
设函数
在
的某个去心邻域的右半区间
内有定义。若
,总有
,
使得当
满足
时,必有:
![{\displaystyle \left|f(x)-A\right|<\varepsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/1b90a127d9145f59432c731eec38093e957d01d5)
则称函数
趋于常数
的右极限是
,通常记作:
![{\displaystyle \lim _{x\to a_{+}}f(x)=A}](https://wikimedia.org/api/rest_v1/media/math/render/svg/62906ee6978d419ebca8a5aac72b5f2d194cc68f)
函数
在点
处(其中
)的极限是否存在等价于函数的左极限与右极限都存在且相等;与函数
在点
处是否有定义无关。例如:
![{\displaystyle g(x)={\frac {\sin(x)}{x}},x\in (-\infty ,0)\cup (0,+\infty )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4603df26da9d4bdd70df3d2055c11f6f90c21c17)
![{\displaystyle \lim _{x\to 0}g(x)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44badde9bc474f4f3b9db33a87e8dc59cedc4faa)
函数
在点0处没有定义,但其在点0处的极限存在。
1.左连续:设函数
在
点处有定义,在
点处左极限存在,并且满足:
![{\displaystyle f(a)=\lim _{x\to a_{-}}f(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ba7b8c7795adf0891ed13d54bdbbcd0599fce275)
则称函数
在
点处左连续。
2.右连续:设函数
在
点处有定义,在
点处右极限存在,并且满足:
![{\displaystyle f(a)=\lim _{x\to a_{+}}f(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/24d2fd290d72a8447a8889945040bdbbc954deb9)
则称函数
在
点处右连续。
3.连续:函数
在点
处连续等价于函数
同时满足点
处的左连续性与右连续性。以上条件可表述为:
![{\displaystyle f(a)=\lim _{x\to a_{+}}f(x)=\lim _{x\to a_{-}}f(x)=\lim _{x\to a_{}}f(x)=c,c\in \mathbf {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/cfc34854ab84327b3cfad607570fa75dfca2a3dd)
设
满足
;若函数
在开区间
内每一点都连续,则称函数
在该开区间上连续,记作:
![{\displaystyle f(x)\in C(a,b)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e969137429b639151056ee25cd639678f60ff47c)
设
满足
;若函数
在开区间
内每一点都连续,且函数
在点
上右连续,在点
上左连续,则称
在闭区间
上连续,记作:
![{\displaystyle f(x)\in C[a,b]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/26ec737654ab575343ca2cc293a78504d1f44a17)
若函数
在闭区间
上连续,则
恒满足
有
。
若函数
在闭区间
上连续,且
,则
满足
。
若函数
在闭区间
上连续,且
,则
满足
。
设函数
在区间
上有定义。若
,
,对所有满足
且
的都有:
![{\displaystyle \left|f(x_{1})-f(x_{2})\right|<\varepsilon }](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e9c569aeaefa625b5638f0686debe3b34ea1298)
则称函数
在区间
上一致连续。
函数
在区间
上一致连续
在区间
上连续(反之未必成立)。
应该注意的是,一个函数是否在某个区间上一致连续。这个事情往往和区间有关
例如,
整个实数轴上不是一致连续的。但是如果把这函数的定义域限制在一个有限的区间上,那么它是一致连续的。
函数
函数
在闭区间
上一致连续。
若函数
在
点处的极限存在,但
在
点处无定义,或者是有定义,不过
,则称
点为函数
的可去间断点。
若函数
在
点处满足条件:
与
均存在,但
,则称
点为函数
的跳跃间断点。
若函数
在
点处的左右极限至少有一个不存在,则称
点为函数
的第二类间断点。
所有初等函数都在其定义区间内连续。
,![{\displaystyle x\in \mathbf {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/513f4f8bd9ca7d9c5d8a208dd152b4357678b0a1)
![{\displaystyle \left.f(x)=\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/84099f232d044588b2eb411dc26d079c0e977c86)
![{\displaystyle \left\{{{1\ ,\ x\in \mathbf {Q} } \atop {0\ ,\ x\notin \mathbf {Q} }}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0129873e6527474e6286becf128e875de082ef11)
![{\displaystyle \ \ ,\ x\in \mathbf {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4e9e8d60ac08f7ab992aa290dc4dbc53062f7ea)
用函数极限的定义很容易看出荻里克莱函数在实数域上每一点的左右极限都不存在,所以荻里克莱函数在实数域上每一点都不连续,每一点都属于第二类间断点。
![{\displaystyle \left.f(x)=\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/84099f232d044588b2eb411dc26d079c0e977c86)
![{\displaystyle \left\{{{{\frac {1}{n}}\ ,\ (x={\frac {m}{n}}\ ,(m,n)=1)\ ,\ x\in \mathbf {Q} (n,m\in \mathbf {Z^{\hat {0}}} ,x\not =0)} \atop {0\qquad \qquad \qquad ,\qquad x\notin \mathbf {Q} }}\right.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bdf4bc8076fe177e6ecae1c44137e569eadd07bb)
![{\displaystyle \ \ ,f(0)=1,x\in \mathbf {R} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/322545b4389971116252c02e5b6e37b9b45bdf01)
式中
表示
与
的最大公约数是1,
表示不包含0的整数范围。
这是一个周期函数,1是其周期;在
内讨论该函数连续性即可。
根据函数极限定义可知此函数在实数域上每一点的极限都是0,所以黎曼函数在每一无理数点上连续,在每一有理数点上不连续,而且都是可去间断点。