|  |
| --- |
| 系列條目 |
| 微积分学 |
|  |
| 
* 函数
* 极限论
* 微分学
* 积分

* 微积分基本定理
* 微积分发现权之争（英语：）

 |
| 基础概念（含极限论和级数论）

| 
實數性質 |
| --- |
| 函数 · 单调性 · 初等函数 · 數列 · 极限 · 实数的构造（1=0.999…） · 无穷（銜尾蛇） · 無窮小量 · ε-δ語言 · 实无穷（英语：） · 大O符号 · 最小上界 · 收敛数列 · 芝诺悖论 · 柯西序列 · 单调收敛定理 · 夹挤定理 · 波尔查诺-魏尔斯特拉斯定理 · 斯托尔兹-切萨罗定理 · 上极限和下极限 · 函數極限 · 渐近线 · 邻域 · 连续 · 連續函數 · 不连续点 · 狄利克雷函数 · 稠密集 · 一致连续 ·  · 海涅-博雷尔定理 · 支撑集 · 欧几里得空间 · 点积 · 外积 · 三重积 · 拉格朗日恒等式 · 等价范数 · 坐標系 · 多元函数 · 凸集 · 巴拿赫不动点定理 · 级数 · 收敛级数（英语：） · 几何级数 · 调和级数 · 項測試 · 格兰迪级数 · 收敛半径 · 审敛法 · 柯西乘积 · 黎曼级数重排定理 · 函数项级数（英语：） · 一致收斂 · 迪尼定理 |
| 
數列與級數 |
| 
連續 |
| 
函數 |

 |
| 一元微分

|  |
| --- |
| 差分 · 均差 · 微分 · 微分的线性（英语：） · 导数（流数法 · 二阶导数 · 光滑函数 · 高阶微分 · 莱布尼兹记号（英语：） · 幽灵似的消失量） · 介值定理 · 中值定理（罗尔定理 · 拉格朗日中值定理 · 柯西中值定理） · 泰勒公式 · 求导法则（乘积法则 · 广义莱布尼茨定则（英语：） · 除法定则 · 倒数定则 · 链式法则） · 洛必达法则 · 反函数的微分 · Faà di Bruno公式（英语：） · 对数微分法 · 导数列表 · 导数的函数应用（单调性 · 切线 · 极值 · 驻点 · 拐点 · 求导检测（英语：） · 凸函數 · 凹函數 · 簡森不等式 · 曲线的曲率 · 埃尔米特插值） · 达布定理 · 魏尔施特拉斯函数 |

 |
| 一元积分

|  |
| --- |
| * 积分表
 |
| 
定义 |
| * 不定积分
* 定积分
* 黎曼积分
* 达布积分
* 勒贝格积分
* 积分的线性
 |
| 
求积分的技巧（换元积分法 · 三角换元法 · 分部积分法 · 部分分式积分法 · 降次积分法） 微元法 · 积分第一中值定理 · 积分第二中值定理 · **微积分基本定理** · 反常積分 · 柯西主值 · 積分函數（Β函数 · Γ函数 · 古德曼函数 · 椭圆积分） · 數值積分（矩形法 · 梯形公式 · 辛普森積分法 · 牛顿-寇次公式） · 积分判别法 · 傅里叶级数（狄利克雷定理 · 周期延拓） · 魏尔施特拉斯逼近定理 · 帕塞瓦尔定理 · 刘维尔定理 |

 |
| 多元微积分

|  |
| --- |
| 偏导数 · 隐函数 · 全微分（微分的形式不变性） · 二阶导数的对称性 · 全微分 · 方向導數 · 标量场 · 向量場 · 梯度（Nabla算子） · 多元泰勒公式 · 拉格朗日乘数 · 黑塞矩陣 · 鞍點 · 多重积分（逐次积分（英语：） · 积分顺序（英语：）） · 积分估值定理 · 旋转体 · 帕普斯-古尔丁中心化旋转定理 · 祖暅-卡瓦列里原理 · 托里拆利小号 · 雅可比矩阵 · 广义多重积分（高斯积分） · 若尔当曲线 · 曲线积分 · 曲面积分（施瓦茨的靴（俄语：）） · 散度 · 旋度 · 通量 · 可定向性 · **格林公式** · **高斯散度定理** · **斯托克斯定理**及其外微分形式 · 若尔当测度 · 隐函数定理 · 皮亚诺-希尔伯特曲线 · 积分变换 · 卷积定理 · 积分符号内取微分 (莱布尼茨积分定则（英语：）) · 多变量原函数的存在性（全微分方程） · 外微分的映射原像存在性（恰当形式） · 向量值函数 · 向量空间内的导数推广（英语：）（加托导数 · 弗雷歇导数（英语：） · 矩阵的微积分（英语：）） · 弱微分 |

 |
| 微分方程

|  |
| --- |
| 常微分方程 · 柯西-利普希茨定理 · 皮亚诺存在性定理 · 分离变数法 · 级数展开法 · 积分因子 · 拉普拉斯算子 · 欧拉方法 · 柯西-欧拉方程 · 伯努利微分方程 · 克莱罗方程 · 全微分方程 · 线性微分方程 · 叠加原理 · 特徵方程式 · 朗斯基行列式 · 微分算子法 · 差分方程 · 拉普拉斯变换 · 偏微分方程（拉普拉斯方程 · 泊松方程） · 施图姆-刘维尔理论 · N体问题 · 积分方程 |

 |
| 相关数学家
牛顿 · 莱布尼兹 · 柯西 · 魏尔斯特拉斯  · 黎曼 · 拉格朗日 · 欧拉 · 帕斯卡 · 海涅 · 巴罗 · 波尔查诺 · 狄利克雷 · 格林 · 斯托克斯 · 若尔当 · 达布 · 傅里叶 · 拉普拉斯 · 雅各布·伯努利 · 約翰·白努利 · 阿达马 · 麦克劳林 · 迪尼 · 沃利斯 · 费马 · 达朗贝尔 · 黑维塞 · 吉布斯 · 奥斯特罗格拉德斯基 · 刘维尔 · 棣莫弗 · 格雷果里 · 玛达瓦（英语：） · 婆什迦羅第二 · 阿涅西 · 阿基米德
 |
| 历史名作
从无穷小量分析来理解曲线（英语：） · 分析学教程（英语：） · 无穷小分析引论 · 用无穷级数做数学分析（英语：） · 流形上的微积分（英语：） · 微积分学教程 · 纯数学教程（英语：） · 机械原理方法论（英语：）
 |
| 分支学科

|  |
| --- |
| 实变函数论 · 複分析 · 傅里叶分析 · 变分法 · 特殊函数 · 动力系统 · 微分几何 · 微分代数 · 向量分析 · 分数微积分 · 玛里亚温微积分（英语：） · 随机分析 · 最优化 · 非标准分析 |

 |
| * 
* 论
* 编
 |

**连续函数**（英語：）是指函数在数学上的属性为连续。直观上来说，连续的函数就是当输入值的变化足够小的时候，输出的变化也会随之足够小的函数。

如果输入值的某种微小的变化会产生输出值的一个突然的跳跃甚至无法定义，则这个函数被称为是不连续函数，或者说具有不连续性。非连续函数一定存在间断点。

举例来说，考虑描述一棵树的高度随时间而变化的函数h(t)，那么这个函数是连续的（除非树被砍断）。又例如，假设T(P)表示地球上某一点P的空气温度，则这个函数也是连续的。事实上，古典物理学中有一句格言："自然界中，一切都是连续的。"相比之下，如果M(t)表述在时间t的时候银行账户上的钱币金额，则这个函数无论在存钱或者取钱的时候都会有跳跃，因此函数M(t)是不连续的。

实值连续函数
------

最基本也是最常见的连续函数是定义域为实数集的某个子集、取值也是实数的连续函数。例如前面提到的树的高度，就是属于这一类型。这类函数的连续性可以用直角坐标系中的图像来表示。一个这样的函数是连续的，如果粗略地说，它的图像为一个单一的不破的曲线，并且没有**间断**、**跳跃**或**无限逼近的振荡**。

严格来说，设f是一个从实数集的子集\mathbf{I} \subset \mathbb{R}射到\mathbf{J} \subset \mathbb{R}的函数：f : \mathbf{I} \longrightarrow \mathbf{J}。f在\mathbf {I} 中的某个点c处是连续的当且仅当以下的两个条件满足：

1. f在点c上有定义。
2. c是\mathbf {I} 中的一个聚点，并且无论自变量x在\mathbf {I} 中以什么方式接近c，f(x)的极限都存在且等于f(c)。

我们称函数**到处连续**或**处处连续**，或者简单的称为**连续**，如果它在其定义域中的任意一点都连续。更一般地，当一个函数在定义域中的某个子集的每一点处都连续时，就说这个函数在这个子集上是连续的。

### 定义

不用极限的概念，也可以用下面所谓的\varepsilon-\delta方法来定义实值函数的连续性。

仍然考虑函数f : \mathbf{I} \longrightarrow \mathbf{J}。假设c是f的定义域中的元素。函数f被称为是在c点连续当且仅当以下条件成立：

> 对于任意的正实数\varepsilon >0，存在一个正实数\delta >0使得对于任意定义域中的x \in \mathbf{I}，只要x满足c-\delta<x<c+\delta，就有f(c)-\varepsilon <f(x)<f(c)+\varepsilon成立。
> 
> 
> 

连续性的"\varepsilon-\delta定义"由柯西首先给出。

更直观地，函数f是连续的当且仅当任意取一個\mathbf {J} 中的点f(c)的鄰域\Omega ，都可以在其定义域\mathbf {I} 中选取点x的足够小的鄰域，使得x的鄰域在函數f上的映射下都會落在f(c)的鄰域\Omega 之內。 

以上是针对单变量函数（定义域在\mathbb {R} 上的函数）的定义，这个定义在推广到多变量函数时也是成立的。度量空间以及拓扑空间之间的连续函数定义见下一节。

### 例子

* 所有多项式函数都是连续的。各类初等函数，如指数函数、对数函数、平方根函数与三角函数在它们的定义域上也是连续的函数。
* 绝对值函数也是连续的。
* 定义在非零实数上的倒数函数{\displaystyle f={\frac {1}{x}}}是连续的。但是如果函数的定义域扩张到全体实数，那么无论函数在零点取任何值，扩张后的函数都不是连续的。
* 非连续函数的一个例子是分段定义的函数。例如定义f为：f(x)=1如果x>0，f(x) = 0如果{\displaystyle x\leq 0}。取{\displaystyle \varepsilon ={\frac {1}{2}}}，不存在x=0的\delta -邻域使所有f(x)的值在{\displaystyle f(0)}的\varepsilon 邻域内。直觉上我们可以将这种不连续点看做函数值的突然跳跃。
* 另一个不连续函数的例子为符号函数。

### 连续函数的性质

如果两个函数f和g是连续的，\lambda 为一个实数，那么\displaystyle f + g、\displaystyle \lambda f和\displaystyle fg都是连续的。所有连续函数的集合构成一个环，也构成一个向量空间（实际上构成一个代数）。如果对于定义域内的所有x，都有g ( x ) \neq 0，那么\frac{f}{g}也是连续的。 

两个连续函数的复合函数f \circ g也是连续函数。

如果实函数f在闭区间[ a, b]内连续，且k是某个f ( a )和f ( b )之间的数，那么存在某个[ a , b ]内的c，使得f ( c ) = k。这个定理称为介值定理。例如，如果一个小孩在五岁到十岁之间身高从1米增长到了1.5米，那么期间一定有某一个时刻的身高正好是1.3米。 

如果f在[ a , b ]内连续，且f ( a )和f ( b )一正一负，则中间一定有某一个点c，使得f ( c ) = 0。这是介值定理的一个推论。 

如果f在闭区间[ a, b]内连续，则它一定取得最大值，也就是说，总存在c \in [ a, b]，使得对于所有的x \in [ a, b]，有f ( c ) \geqslant f(x)。同样地，函数也一定有最小值。这个定理称为极值定理。（注意如果函数是定义在开区间( a, b)内，则它不一定有最大值和最小值，例如定义在开区间(0,1)内的函数f ( x ) = \frac{1}{x}。）

如果一个函数在定义域中的某个点f ( c ) 可微，则它一定在点c连续。反过来不成立；连续的函数不一定可微。例如，绝对值函数在点c=0连续，但不可微。

度量空间之间的连续函数
-----------

现在考虑从度量空间{\displaystyle (X,d\_{X})}到另一个度量空间{\displaystyle (Y,d\_{Y})}的函数f。

f在{\displaystyle c\in X}是连续的，則对任何实数\varepsilon>0，存在一个实数\delta >0使得{\displaystyle \forall x\in X}，只要满足{\displaystyle d\_{X}(x,c)<\delta }，就满足{\displaystyle d\_{Y}(f(x),f(c))<\varepsilon }。
这个定义可以用序列与极限的语言重述：

如果函数f在点c连续，則对X中任何序列\{x\_{n}\}，只要{\displaystyle \lim \limits \_{n\rightarrow \infty }x\_{n}=c}，就有{\displaystyle \lim \limits \_{n\rightarrow \infty }f(x\_{n})=f(c)}。连续函数将极限变成极限。
后一个条件可以减弱为：

f在c点连续，当且仅当对X中任何序列\{x\_{n}\}，只要{\displaystyle \lim \limits \_{n\rightarrow \infty }x\_{n}=c}，就滿足序列\{f(x\_{n})\}是一个柯西序列。连续函数将收敛序列变成柯西序列。
### 性質

* 閉集關於連續函數的原像為閉集
* 開集關於連續函數的原像為開集
* 緊緻集透過連續函數的像是緊緻集
* 連通集透過連續函數的像是連通集

拓扑空间之间的连续函数
-----------

条目：连续函数 (拓扑学)
如上连续函数的定义可以自然地推广到一个拓扑空间到另一拓扑空间的函数：对拓扑空间X与Y，函数{\displaystyle f:X\rightarrow Y}是连续的当且仅当任何开集{\displaystyle V\subseteq Y}的逆像{\displaystyle f^{-1}(V)}是X中开集。

历史
--

函数的连续性质在很长时间内被认为是当然的。

第一个比较严格的定义归功于伯纳德·波尔查诺。他在1817年用德文写下的定义是这样的：函数f在x点是连续的，当且仅当：

"……若h足够小时，f(x+h)-f(x)比任何事先给定的量都小"。
然后波尔查诺在证明中值定理时用\epsilon 来表示所谓"事先给定的量"。

六年以后，柯西在1823年也给了一个定义，但此定义还不如波尔查诺前面给出的定义清楚：

"……f(x+h)-f(x)的大小随着h的减小而不确定地减小。……变量（指x）的一个无穷小的增长会导致函数本身（指f(x)）的一个无穷小的增长"。
这里的无穷小指的是：一个量的"绝对值不断而无止境地减小以至于小于任何一个事先给定的量"。

现代的\epsilon - \delta定义只要把波尔查诺在其证明里的写法中"事先给定的量"用\epsilon 来代替就可以了。这个现代定义第一次公开发表在刊物上是1874年由魏尔斯特拉斯的一个学生海涅根据魏尔斯特拉斯的讲义写的。

相关条目
----

* 单一连续
* 一致连续
* 有界线性算子
* 绝对连续
* 半连续

参考文献
----

* Visual Calculus （页面存档备份，存于） by Lawrence S. Husch, University of Tennessee (2001)