三角复合函数极限法则？

极限代表的是一种趋向性，函数f(x)在x=x0处的极限与f(x)在x=x0处的函数值无关（假设f(x)在x=x0处有定义），所以函数极限定义用的是x0的去心邻域，因为当x=x0时，|f(x)-A|=|f(x0)-A|<ε就不一定成立了，比如f(x)=0(当x≠0时),f(x)=1(当x=0时)，lim(x->0)f(x)=0,而f(0)=1,而f(x)在x=x0处的极限与f(x)在x=x0处的函数值的统一依靠连续性实现的。所以书上一般不说复合函数的极限运算，而是给出复合函数的连续性，因为复合函数的极限运算是有条件的。先给个例子：

当u=0时，y=f(u)=0,当u≠0时，y=f(u)=1,u=g(x)=x*sin(1/x)（x≠0）

显然有lim(x->0)g(x)=0,lim(u->0)f(u)=1,但是f(g(x))在x=0处没有极限。

因为在0的任意小的去心邻域内都有存在ξ,使得g(ξ)=0.

这样在0的任意小的去心邻域内，f(g(x))=0和f(g(x))=1都可以取到，f(g(x))在x=0处没有极限。

所以满足lim(x->x0)g(x)=u0,且x0的任意小的去心邻域内都有g(x)≠u0,lim(u->u0)f(u)=A.

才可以证明lim(x->x0)f(g(x))=A.证明如下：

因为lim(u->u0)f(u)=A,所以对任意ε>0,存在δ1>0,当u满足：0<|u-u0|<δ1时，|f(u)-A|<ε,

又因为lim(x->x0)g(x)=u0,所以对上述的δ1>0,存在δ2>0，当x满足：0<|x-x0|<δ2时，|g(x)-u0|<δ1,

又x0的任意小的去心邻域内都有g(x)≠u0,所以当x满足：0<|x-x0|<δ2时，0<|g(x)-u0|<δ1,

于是对任意ε>0,存在δ2>0,当x满足：0<|x-x0|<δ2时，有0<|g(x)-u0|<δ1，进而有|f(g(x))-A|<ε,

这就证明了lim(x->x0)f(g(x))=A.(如果没有条件“x0的任意小的去心邻域内都有g(x)≠u0”，则只能有“|g(x)-u0|<δ1”，而不能进一步得到“0<|g(x)-u0|<δ1”，就会出现像上面一样的反例。)