陶哲轩实分析命题10.1.7

设$X$是$\mathbf{R}$的子集合，$x_0$是$X$的极限点，设$f:X\to\mathbf{R}$是函数，并设$L$是实数，则下述命题在逻辑上等价：

(a):$f$在$x_0$处在$X$上可微，且导数为$L$.

(b):对于每个$\varepsilon>0$，都存在$\delta>0$,使得只要$x\in X$是$\delta-$接近于$x_0$的，$f(x)$就是$\varepsilon-$接近于$f(x_0)+L(x-x_0)$的.也就是说，只要$x\in X$并且$|x-x_0|\leq\delta$,就有
\begin{equation}
|f(x)-(f(x_0)+L(x-x_0))|\leq \varepsilon|x-x_0|
\end{equation}

证明:

这个结论，我曾经在陶哲轩实分析引理17.2.1中证过.

转载于:https://www.cnblogs.com/yeluqing/archive/2012/09/12/3828295.html

陶哲轩实分析命题10.1.7相关推荐

陶哲轩实分析引理10.4.1:反函数定理
设$f:X\to Y$是可逆函数,反函数为$f^{-1}:Y\to X$.设$x_0\in X,y_0\in Y$,且$y_0=f(x_0)$(它蕴含$x_0=f^{-1}(y_0)$).如果$f$在 ...
陶哲轩实分析命题 8.2.6 证明
设$X$是任意的集合(可以是不可数的),并设$f:X\to \mathbb{R}$和$g:X\to\mathbb{R}$是函数.使得$\sum_{x\in X}f(x)$和$\sum_{x\in X} ...
陶哲轩实分析命题 11.10.7
设 $[a,b]$ 是闭区间,并设 \begin{align*} \phi:[a,b]\to [\phi(a),\phi(b)] \end{align*} 是可微的单调增函数,而且 $\phi'$ ...
陶哲轩实分析习题 10.3.5
构造一个子集$X\subset \mathbf{R}$和一个函数$f:X\to \mathbf{R}$,使得$f$在$X$上可微,并且对于一切$x\in X$,$f'(x)>0$,但是$f$不是 ...
陶哲轩实分析命题6.4.12
设$(a_n)_{n=m}^{\infty}$是实数列,设$L^{+}$是此序列的上极限,$L^{-}$是此序列的下极限(于是$L^{+}$和$L^{-}$都是广义实数). (a)对于每个$x> ...
陶哲轩实分析命题 7.3.4 (Cauchy 准则) 证明
设$(a_n)_{n=1}^{\infty}$是一个非负实数的不增序列,那么级数$\sum_{n=1}^{\infty}a_n$收敛当且仅当级数 $$\sum_{k=0}^{\infty}2^ka_{ ...
陶哲轩实分析命题7.2.5 证明
设$\displaystyle\sum_{n=m}^{\infty}a_n$是实数的形式级数.则$\displaystyle\sum_{n=m}^{\infty}a_n$收敛当且仅当对于每个实数$\v ...
陶哲轩实分析命题7.2.9 绝对收敛判别法
设$\displaystyle\sum_{n=m}^{\infty}a_n$是实数的形式级数,如果这个级数是绝对收敛的,那么它是条件收敛的. 证明:该级数绝对收敛,说明对于任意给定的正实数$\vare ...
陶哲轩实分析定理 8.2.2 (无限和的富比尼定理) 证明
设$f:\mathbb{N}\times\mathbb{N}\to\mathbb{R}$是函数.使得$$\sum_{(n,m)\in\mathbb{N}\times\mathbb{N}}f(n,m)$ ...

陶哲轩实分析命题10.1.7

陶哲轩实分析命题10.1.7相关推荐

最新文章

热门文章