漫步数学分析十七——连续映射上的运算

连续函数的复合应该是连续的，这个结论从直观上不太令人信服。对于函数$f:A\to R^m,g:B\to R^p$其中$f(A)\subset B$，我们定义复合$g\circ f:A\to R^p$ 为$x\mapsto g(f(x))$，如果$x$靠近$x_0$，那么$g\circ f(x)$靠近$g\circ f(x_0)$，因为$f(x)$靠近$f(x_0)$；因此$g(f(x))$靠近$g(f(x_0))$，如图$\ref{fig:4-3}$ 所示。

图1

这暗示了下面的结论。

$\textbf{定理3}$ 假设$f:A\to R^m,g:B\to R^p$是连续函数，其中$f(A)\subset B$，那么$g\circ f:A\to R^p$是连续的。

例如，函数$e^{\sin x}$是连续的，因为它是两个连续函数$f(x)=\sin x,g(x)=e^x$的复合。

注意：对于基本函数(像$x,e^x$等)的一直微积分性质我们直接接受，我们会在后面的例子中用到。

下面的定理给出了极限运算的一些基本性质。

$\textbf{定理4}$ 令$A\subset R^n,x$是$A$的一个聚点

1. 令$f:A\to R^m;g:A\to R^m$是两个函数；假设$\lim_{x\to x_0}f(x),\lim_{x\to x_0}g(x)$存在且分别等于$a,b$，那么$\lim_{x\to x_0}(f+g)(x)$ 存在且等于$a+b$(其中$f+g:A\to R^m$定义为$(f+g)(x)=f(x)+g(x)$)。
   • 令$f:A\to R,g:A\to R^m$是两个函数；假设$\lim_{x\to x_0}f(x),\lim_{x\to x_0}g(x)$存在且分别等于$a,b$，那么$\lim_{x\to x_0}(f\cdot g)(x)$存在且等于$ab$(其中$f\cdot g:A\to R^m$定义为$(f\cdot g)(x)=f(x)g(x)$)。
   • 令$f:A\to R,g:A\to R^m$是两个函数；假设$\lim_{x\to x_0}f(x),\lim_{x\to x_0}g(x)$存在且分别等于$a\neq 0,b$，那么$f$在$x_0$的邻域内是非零的并且$\lim_{x\to x_0}(g/f)(x)$存在且等于$b/a$(其中$g/f:A\to R^m$定义为$(g/f)(x)=g(x)/g(x)$)。

   • 这些结果直观上是合理的。例如$\textrm{(i)}$说明如果$x$ 靠近$x_0$，使得$f(x)$靠近$a$并且$g(x)$靠近$b$，那么$f(x)+g(x)$靠近$a+b$。根据定理4，我们可以推导出连续函数运算的一些基本性质。

     $\textbf{推论}$ 令$A\subset R^n,x_0\in A$是$A$的一个聚点。

     1. 令$f:A\to R^m,g:A\to R^m$在$x_0$处连续；那么他们的和$f+g:A\to R^m$在$x_0$处是连续的。

     2. 令$f:A\to R,g:A\to R$在$x_0$处连续；那么他们的乘积$f\cdot g:A\to R^m$在$x_0$处连续。
     3. 令$f:A\to R,g:A\to R^m$在$x_0$处连续，且$f(x_0)\neq 0$；那么$f$在$x_0$的一个邻域$U$中不为零且商$g/f:U\to R^m$在$x_0$处连续。

     4. 例如我们已经看到$f(x)=x$，从$R$映射到$R$，是连续的，所以$f(x)=x^n$也是连续的；任何多项式$a_nx^n+a_{n-1}x^{n-1}+\cdots+a_0$也是连续的。

        接下里考虑$f:R^2\to R$，将$f$看成两个实变量的函数$f(x,y)$，有一点非常重要，就是区分$f$的连续性与每个变量的连续性。例如考虑函数
        

        $$f(x,y)= \begin{cases} 0&\text{如果}x\neq0\text{且}y\neq0\\ 1&\text{如果}x=0\text{或者}y=0 \end{cases}$$

        如图$\ref{fig:4-4}$所示，考虑单个变量时，$f$在$(0,0)$处连续(映射$x\mapsto f(x,0),y\mapsto y\to f(0,y)$是常数，所以它是连续的)，但是$f$本身在$(0,0)$ 处不连续。
        

        
        
        图2
        
        $\textbf{例1：}$令 $f:R\to R,f(x)=x\sin x$，说明 $f$是连续的。

        $\textbf{解：}$我们知道 $x,\sin x$是连续函数，并且 $f$是两个连续函数的乘积，所以函数是连续的。

        $\textbf{例2：}$令 $f:R\to R^2$是连续的，说明 $g(x)=f(x^2+x^3)$是连续的。

        $\textbf{解：}$$g$是连续函数$x\mapsto x^2+x^3$与$f$的复合，所以根据定理3可知它是连续的。

        $\textbf{例3：}$令$f(x)=x^2/(1+x)$，$f$在哪里是连续的？

        $\textbf{解：}$根据定理4$\textrm{(iii)}$可知，$f$在$x\neq -1$外的所有点都是连续的。