《陶哲轩实分析》引理6.7.1：（指数运算的连续性）

设$x>0$,并设$\alpha$是实数，设$(q_n)_{n=1}^{\infty}$是收敛到$\alpha$的有理数序列，那么$(x^{q_n})_{n=1}^{\infty}$也是收敛序列.进而，如果$(q'_n)_{n=1}^{\infty}$也是收敛到$\alpha$的有理数序列，则
\begin{equation}
\label{eq:8.21.22}
\lim_{n\to\infty}x^{q_n}=\lim_{n\to\infty}x^{q'_n}
\end{equation}

证明:先证明$(x^{q_n})_{n=1}^{\infty}$收敛.由于$(q_n)_{n=1}^{\infty}$收敛，因此存在实数$l$,使得对于任意给定的正实数$\varepsilon$,都存在相应的正整数$N$,使得$\forall k>N$,$|q_k-l|<\varepsilon$.

由于当$x>1$时，若有理数$a>b$,则$x^a>x^b$.因此当$x>1$时，$x^lx^{-\varepsilon}=x^{l-\varepsilon}<x^{q_k}<x^{l+\varepsilon}=x^lx^{\varepsilon}$.当$\varepsilon\to 0^{+}$时，$x^{\varepsilon}\to 1$,这是因为如下结论:

设$x>1$,$k\in\mathbf{N}$,当$k\to\infty$时，$x^{\frac{1}{k}}\to 1$.

证明:即证，对于任意给定的正实数$\varepsilon$,都存在相应的正整数$N$,使得当$p>N$时，便有$0<x^{\frac{1}{p}}-1<\varepsilon$.即$1<x^{\frac{1}{p}}<1+\varepsilon$.即证$1<x<(1+\varepsilon)^p$.根据伯努利不等式，$(1+\varepsilon)^p\geq 1+\varepsilon p$.而对于任意给定的正实数$\varepsilon$,当$p$足够大时，便有$\varepsilon p$大于任意给定的正实数(实数的阿基米德性).因此结论成立.

注:此結論即爲高木貞治的「高等微積分」第1.4節的例1.

由于当$\varepsilon\to 0^{+}$时，$x^{\varepsilon}\to 1$,因此$x^{-\varepsilon}\to 1$.可见，当$\varepsilon\to 0$时，$x^{q_k}\to x^l$.因此$(x^{q_n})_{n=1}^{\infty}$收敛.

当$x<1$时.由于当$x<1$时，若有理数$a>b$,则$x^a<x^b$.因此当$x<1$时，$x^{l+\varepsilon}<x^{q_k}<x^{l-\varepsilon}$.当$\varepsilon\to 0$时，$x^{\varepsilon}\to 1$,因此$x^{-\varepsilon}\to 1$.可见$\varepsilon\to 0$时，$x^{l+\varepsilon},x^{l-\varepsilon}\to x^l$.因此$x^{q_k}\to x^l$.

当$x=1$时，命题是平凡的.

下面证明\ref{eq:8.21.22}式.这太容易了，因为我在上面其实就已经证明了，他们都收敛到$x^l$.

转载于:https://www.cnblogs.com/yeluqing/archive/2012/10/09/3828251.html

《陶哲轩实分析》引理6.7.1：（指数运算的连续性）相关推荐

陶哲轩实分析引理8.2.7 注
容易证明下面的结论(怎么证?): 陶哲轩实分析引理 8.2.7:设$(a_n)_{n=0}^{\infty}$是实数级数.它是条件收敛的,不是绝对收敛的.定义 $$A_+=\{n\in\mathbb ...
陶哲轩实分析引理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$在 ...
陶哲轩实分析引理 11.1.4
设$X$是实直线的子集合,那么下述两命题是逻辑等价的. (a)$X$是有界的并且是连通的. (b)$X$是有界区间. 证明:当$X$是空集时,两个命题显然是逻辑等价的. 当$X$是非空集合时, (a) ...
陶哲轩实分析命题10.1.7
设$X$是$\mathbf{R}$的子集合,$x_0$是$X$的极限点,设$f:X\to\mathbf{R}$是函数,并设$L$是实数,则下述命题在逻辑上等价: (a):$f$在$x_0$处在$X$上 ...
陶哲轩实分析命题 8.2.6 证明
设$X$是任意的集合(可以是不可数的),并设$f:X\to \mathbb{R}$和$g:X\to\mathbb{R}$是函数.使得$\sum_{x\in X}f(x)$和$\sum_{x\in X} ...
《陶哲轩实分析》部分勘误
我在读<陶哲轩实分析>,作者是陶哲轩,译者王昆扬.2008年11月第一版,第一次印刷.我在此添加一部分中译本印刷错误,若网友发现了另外的错误,请在评论里补充,由我代为添加.若有不当之处,敬 ...
陶哲轩实分析习题9.1.1
设$X$是实直线的子集合,并设$Y$是集合,使得$X\subseteq Y\subseteq \overline{X}$,证明$\overline{Y}=\overline{X}$. 证明:因为$X\ ...
陶哲轩实分析公理8.1——选择公理
为了介绍选择公理,陶哲轩在前面打了两个铺垫. 第一个铺垫是陶哲轩实分析_引理3.1.6: 若$A$是一个非空集合,则存在一个对象$x$,使得$\exists x\in A$. 该引理采用反证法:假若对 ...
陶哲轩实分析 2.3节习题试解
陶哲轩实分析 2.3节习题试解最近从网上下载到了陶哲轩写的实分析,确实是本好书.不过所有的习题都没有给出答案.我试着自己做一遍习题,整理了一份习题解答.放到这里,希望对大家有用. 2.3.1 证明 ...
陶哲轩实分析定理17.3.8（三）
本文继承了这篇博文. 为了证明$f$在$x_0$处可微,我们只用证明,存在线性映射$T$,使得 \begin{equation} \lim_{x'\to x_0;x'\neq x_0}\frac{f( ...

《陶哲轩实分析》引理6.7.1：（指数运算的连续性）

《陶哲轩实分析》引理6.7.1：（指数运算的连续性）相关推荐

最新文章

热门文章