查看“︁函數之連續”︁的源代码

读者朋友请注意，本文有较多的公式，请将浏览器的字体调大(20号左右)，以便阅读，谢谢！
==极限的补充说明==

===函数的左极限定义===
设函数<math>\left. f(x)\right.</math>在<math>a\in \mathbf{R}</math>的某个去心邻域的左半区间<math>\left. (-\epsilon ,a)\right.</math>内有定义。若<math>\forall \varepsilon \in \mathbf{R^+}</math>，总有<math>\exists \delta \in \mathbf{R^+}</math>，<math>A\in \mathbf{R}</math>使得当<math>\left. x\right.</math>满足<math>\left. a - x\right. <\delta</math>时，必有：

:<math>\left| f(x) - A\right| <\varepsilon</math>
则称函数<math>\left. f(x)\right.</math>趋于常数<math>\left. a\right.</math>的左极限是<math>\left. A\right.</math>，通常记作：

:<math>\lim_{x\to a_{-}}f(x)=A</math>

===函数的右极限定义===
设函数<math>\left. f(x)\right.</math>在<math>a\in \mathbf{R}</math>的某个去心邻域的右半区间<math>\left. (a,\epsilon)\right.</math>内有定义。若<math>\forall \varepsilon \in \mathbf{R^+}</math>，总有<math>\exists \delta \in \mathbf{R^+}</math>，<math>A\in \mathbf{R}</math>使得当<math>\left. x\right.</math>满足<math>\left. x - a\right. <\delta</math>时，必有：

:<math>\left| f(x) - A\right| <\varepsilon</math>
则称函数<math>\left. f(x)\right.</math>趋于常数<math>\left. a\right.</math>的右极限是<math>\left. A\right.</math>，通常记作：

:<math>\lim_{x\to a_{+}}f(x)=A</math>

===函数极限存在的等价条件===
函数<math>\left. f(x)\right.</math>在点<math>\left. a\right.</math>处（其中<math>a\in \mathbf{R}</math>）的极限是否存在等价于函数的左极限与右极限都存在且相等；与函数<math>\left. f(x)\right.</math>在点<math>\left. a\right.</math>处是否有定义无关。例如：

:<math>g(x)=\frac{\sin (x)}{x},x\in (-\infty ,0)\cup (0,+\infty )</math>

:<math>\lim_{x\to 0}g(x)=1</math>
函数<math>\left. g(x)\right.</math>在点0处没有定义，但其在点0处的极限存在。

==连续的定义与性质==

===定义===
====函数在某点上连续的定义====
1.左连续：设函数<math>\left. f(x)\right.</math>在<math>\left. x=a\right.</math>点处有定义，在<math>\left. x=a\right.</math>点处左极限存在，并且满足：

:<math>f(a)=\lim_{x\to a_{-}}f(x)</math>

则称函数<math>\left. f(x)\right.</math>在<math>\left. x=a\right.</math>点处左连续。</br>

2.右连续：设函数<math>\left. f(x)\right.</math>在<math>\left. x=a\right.</math>点处有定义，在<math>\left. x=a\right.</math>点处右极限存在，并且满足：

:<math>f(a)=\lim_{x\to a_{+}}f(x)</math>

则称函数<math>\left. f(x)\right.</math>在<math>\left. x=a\right.</math>点处右连续。</br>

3.连续：函数<math>\left. f(x)\right.</math>在点<math>\left. x=a\right.</math>处连续等价于函数<math>\left. f(x)\right.</math>同时满足点<math>\left. x=a\right.</math>处的左连续性与右连续性。以上条件可表述为：

:<math>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}</math>

====函数在开区间上连续的定义====
设<math>a,b\in \mathbf{R}</math>满足<math>\left. a<b\right.</math>；若函数<math>\left. f(x)\right.</math>在开区间<math>\left. (a,b)\right.</math>内每一点都连续，则称函数<math>\left. f(x)\right.</math>在该开区间上连续，记作：

:<math>f(x)\in C(a,b)</math>

====函数在闭区间上连续的定义====
设<math>a,b\in \mathbf{R}</math>满足<math>\left. a<b\right.</math>；若函数<math>\left. f(x)\right.</math>在开区间<math>\left. (a,b)\right.</math>内每一点都连续，且函数<math>\left. f(x)\right.</math>在点<math>\left. x=a\right.</math>上右连续，在点<math>\left. x=b\right.</math>上左连续，则称<math>\left. f(x)\right.</math>在闭区间<math>\left. [a,b]\right.</math>上连续，记作：

:<math>f(x)\in C[a,b]</math>

===闭区间上连续函数的性质===

====最大最小值性质====
若函数<math>\left. f(x)\right.</math>在闭区间<math>\left. [a,b]\right.</math>上连续，则<math>\exists \xi_{1},\xi_{2} \in [a,b]</math>恒满足<math>\forall c\in [a,b]</math>有<math>f(\xi_{1})\le f(c)\le f(\xi_{2})</math>。

====零点定理====
若函数<math>\left. f(x)\right.</math>在闭区间<math>\left. [a,b]\right.</math>上连续，且<math>f(a)\cdot f(b)<0</math>，则<math>\exists \xi \in (a,b)</math>满足<math>\left. f(\xi)=0\right.</math>。

====介值定理====
若函数<math>\left. f(x)\right.</math>在闭区间<math>\left. [a,b]\right.</math>上连续，且<math>\mathrm{max}(f(a),f(b))>c>\mathrm{min}(f(a),f(b))      , c\in \mathbf{R}</math>，则<math>\exists \xi \in (a,b)</math>满足<math>\left. f(\xi)=c\right.</math>。

==一致连续==

===定义===
设函数<math>\left. f(x)\right.</math>在区间<math>\left. U\right.</math>上有定义。若<math>\forall \varepsilon \in \mathbf{R^+}</math>，<math>\exists \delta \in \mathbf{R^+}</math>，对所有满足<math>x_{1},x_{2}\in U</math>且<math>\left| x_1 - x_2\right| < \delta</math>的都有：

:<math>\left| f(x_1) - f(x_2)\right| <\varepsilon</math>
则称函数<math>\left. f(x)\right.</math>在区间<math>\left. U\right.</math>上一致连续。

===性质===

====一致连续与连续的关系====
函数<math>\left. f(x)\right.</math>在区间<math>\left. U\right.</math>上一致连续<math>\Rightarrow f(x)</math>在区间<math>\left. U\right.</math>上连续（反之未必成立）。
应该注意的是，一个函数是否在某个区间上一致连续。这个事情往往和区间有关
例如，<math>f(x)=x^2</math>整个实数轴上不是一致连续的。但是如果把这函数的定义域限制在一个有限的区间上，那么它是一致连续的。

====康托尔（[[wikipedia:Georg_Cantor|Cantor]]）定理====
函数<math>f(x) \in C[a,b] \Leftrightarrow</math>函数<math>\left. f(x)\right.</math>在闭区间<math>\left. [a,b]\right.</math>上一致连续。

==函数的间断点==

===第一类间断点===
====可去间断点====
若函数<math>\left. f(x)\right.</math>在<math>\left. a\right.</math>点处的极限存在，但<math>\left. f(x)\right.</math>在<math>\left. a\right.</math>点处无定义，或者是有定义，不过<math>f(a)\not= \lim_{x\to a}f(x)</math>，则称<math>\left. a\right.</math>点为函数<math>\left. f(x)\right.</math>的可去间断点。

====跳跃间断点====
若函数<math>\left. f(x)\right.</math>在<math>\left. a\right.</math>点处满足条件：<math>\lim_{x\to a_{-}}f(x)</math>与<math>\lim_{x\to a_{+}}f(x)</math>均存在，但<math>\lim_{x\to a_{-}}f(x)\not= \lim_{x\to a_{+}}f(x)</math>，则称<math>\left. a\right.</math>点为函数<math>\left. f(x)\right.</math>的跳跃间断点。

===第二类间断点===
若函数<math>\left. f(x)\right.</math>在<math>\left. a\right.</math>点处的左右极限至少有一个不存在，则称<math>\left. a\right.</math>点为函数<math>\left. f(x)\right.</math>的第二类间断点。

==初等函数的连续性==
所有初等函数都在其定义区间内连续。

==典型函数的连续性问题==

===荻里克莱（[[wikipedia:Johann_Peter_Gustav_Lejeune_Dirichlet|Dirichlet]]）函数===

====第一种表达方法====
:<math>f(x)=\lim_{m\to \infty}[\lim_{n\to \infty}\cos^{n}(m!\pi x)]</math>，<math>x\in \mathbf{R}</math>

====第二种表达方法====
:<math>\left. f(x)=\right.</math><math>\left\{ {{1\ ,\ x\in \mathbf{Q}} \atop {0\ ,\ x\notin \mathbf{Q}}}\right.</math><math>\ \ , \ x\in \mathbf{R}</math>

====连续性====
用函数极限的定义很容易看出荻里克莱函数在实数域上每一点的左右极限都不存在，所以荻里克莱函数在实数域上每一点都不连续，每一点都属于第二类间断点。

===黎曼（[[wikipedia:Bernhard_Riemann|Riemann]]）函数===

====表达式====
:<math>\left. f(x)=\right.</math><math>\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.</math><math>\ \ , f(0)=1,x\in \mathbf{R}</math>

式中<math>\left. (m,n)=1\right.</math>表示<math>\left. m\right.</math>与<math>\left. n\right.</math>的最大公约数是1，<math>\mathbf{Z^{\hat{0}}}</math>表示不包含0的整数范围。

====连续性====
这是一个周期函数，1是其周期；在<math>\left. [0,1]\right.</math>内讨论该函数连续性即可。</br>
根据函数极限定义可知此函数在实数域上每一点的极限都是0，所以黎曼函数在每一无理数点上连续，在每一有理数点上不连续，而且都是可去间断点。


[[Category:数学]]