一元函数微分学中的极限，可导，连续，可微的定义和理解

在高等数学一元函数微分学中研究的关键问题之一是可导和可微，夹杂着函数连续，简短等知识点，这几个相关的概念混在一块总是难以理解，什么可导一定可微，可导一定连续之类的。
这里把这几个概念就自己的理解做一下解释。
1.极限。
求某一数列趋近于无穷的情况，某一函数趋近于无穷的情况，某一函数趋近于某一点的情况。只与自变量（数列为项数）和表达式有关。
2.连续，可导，可微。
连续，可导，可微三个均涉及到自变量，因变量，表达式，定义上又略有不同。

(这里个很重要的概念：增量。即Δx，Δy。很多人不知道增量的意思和dx，dy代表什么意思，其实读书的时候仔细一点，这些概念都有提到。)

2.1 连续
2.1.1 定义1：当函数自变量的增量无线趋近于0的时候，因变量的增量的极限等于0。
定义2：当自变量趋近于X0的时候，函数极限等于函数值f(x0).
2.1.2 理解
连续也只涉及到自变量向趋近于x0时，y的极限。只不过极限算完就算完了，极限是否存在，存在的话值是多少都不是我们关心的问题，但在连续的定义里面。要根据极限的计算结果对函数连续性进行评价。函数在极限存在且在该点有定义。极限不存在怎么办？该点没定义怎么办？于是就像"缺什么补什么"似的，高数引进的间断点的概念，并且根据函数该点处的极限情况分成了第一类间断点和第二类间断点。
请注意，关于连续，我们经常研究的是某一点的情况。

	对于很多非数学系的工科同志而言，这里又有一个点常常被忽略——有定义（包含分母不为0这种没定义的情况）

2.2 可导与导数
2.2.1 定义
当自变量趋近于某一点x0的时候，因变量-f(x0)/自变量-x0的极限存在。
2.2.2 理解
如果说连续的定义和计算与极限还有几分相似的话，可导和可微就完全不是了。可导相当于构造了一个新的函数g(x),计算该函数的极限。当然，新构造出来的函数有它自己的实际意义，也就是因变量增量的比与自变量增量的比的极限。
另一个值得注意的就是可导的结果并不是一个实际的值，好像布尔值一样，对函数某点做是否可导判断的问题可转换为函数g(x)在该点的极限是否存在。得出是或否就行了。
到这里，理解“可导一定连续，但连续不一定可导”应该不难了，因为你肯定在极限中做过让你头疼很久的0比0型极限，通常情况是一个极限单独算存在，合在一块经过有限加减运算刚好凑成了0/0型，如果连续的结果（某一点的极限存在）存在，把它看成一个有结果的极限，那么可导刚好类似于0/0型。所以只知道连续的结果算不出可导的结果。知道了可导的结果，就知道连续的极限存在，也知道了可导一定连续。
如果感觉记不住，就用一种地球人都知道的记忆方法：你看到面前的一排小蓝车，你把第一辆车推到了，接着后面的车跟着也倒了，可倒（导）一定连续，连续不一定可倒（导）。

	请注意：对于导数是否存在一般为某一点，导数则有可能是一个区间

2.3 可微

	注意dx和dy从现在起才正式出现。

2.3.1 定义
Δy可以写成线性的形式A*Δx加上一个无穷小，即线性的形式。A与x无关，无穷小相对于Δx而言。满足条件的成为函数可微，并称AΔx为x在x0处的微分。记为dy，自变量的增量Δx等于自身的微分dx，所以有dy=Adx。
2.3.2 解释
2.3.2.1 Δy与dy的区别
Δy与dy之间相差了一个无穷小量。也可以说dy是Δy的近似。
2.3.2.2 可微和可导一样，判断是否可微即可，但A的确定又是一个难题，对于学高等数学的工科生直接使用结论A即为该点的导数值即可。

	请注意：可微相对于某一点来说，微分相对于定义域