数学分析原理答案——第一章 习题6

【第一章 习题6】

固定$b>1$

(a) 如果$m,n,p,q$是整数，$n>0,q>0$，且$r=\frac{m}{n}=\frac{p}{q}$。证明

$${\left(b^m\right)}^{\frac{1}{n}}={\left(b^p\right)}^{\frac{1}{q}}$$

因此，定义$b^r={\left(b^m\right)}^{\frac{1}{n}}$有意义。

(b) 证明，如果$r$与$s$是有理数，那么$b^{r+s}=b^r\times b^s$。

(c) 如果$x$是实数。定义$B(x)$为所有数$b^t$的集，这里$t$是有理数并且$t\le x$。证明

$$b^r=\sup B(r)$$

这里$r$是有理数。由此，对每个实数$x$，定义

$$b^x=\sup B(x)$$

是合理的。

(d) 证明，对于一切实数$x$及$y$，$b^{x+y}=b^x{b}^y$。

【证明】

(a) 设$b^{{}^{\prime }}=b^{\frac{1}{nq}}$，那么有

$${\left(b^m\right)}^{\frac{1}{n}}={\left({\left({\left(b^{{}^{\prime }}\right)}^{nq}\right)}^m\right)}^{\frac{1}{n}}={\left({\left(b^{{}^{\prime }}\right)}^{mnq}\right)}^{\frac{1}{n}}={\left(b^{{}^{\prime }}\right)}^{mq}$$

$${\left(b^p\right)}^{\frac{1}{q}}={\left({\left({\left(b^{{}^{\prime }}\right)}^{nq}\right)}^p\right)}^{\frac{1}{q}}={\left({\left(b^{{}^{\prime }}\right)}^{npq}\right)}^{1/q}={\left(b^{{}^{\prime }}\right)}^{np}$$

由于$\frac{m}{n}=\frac{p}{q}$，即$mq=np$，所以

$${\left(b^m\right)}^{\frac{1}{n}}={\left(b^{{}^{\prime }}\right)}^{mq}={\left(b^{{}^{\prime }}\right)}^{np}={\left(b^p\right)}^{\frac{1}{q}}$$

(b) 因为$r$与$s$是有理数，不妨设

$$r=\frac{m}{n}s=\frac{p}{q}m>0,p>0m、n、p、q\in \mathbb{Z}$$

$$b^{{}^{\prime }}=b^{\frac{1}{nq}}$$

则

$$b^{r+s}={\left({\left(b^{{}^{\prime }}\right)}^{nq}\right)}^{\frac{m}{n}+\frac{p}{q}}={\left({\left(b^{{}^{\prime }}\right)}^{nq}\right)}^{\frac{mq+pn}{nq}}$$

根据（a）中有理数的定义，

$${\left({\left(b^{{}^{\prime }}\right)}^{nq}\right)}^{\frac{mq+pn}{nq}}={\left({\left({\left(b^{{}^{\prime }}\right)}^{nq}\right)}^{mq+pn}\right)}^{\frac{1}{nq}}={\left({\left(b^{{}^{\prime }}\right)}^{nq(mq+pn)}\right)}^{\frac{1}{nq}}={\left(b^{{}^{\prime }}\right)}^{mq+pn}$$

同理

$$b^r\times b^s={\left({\left(b^{{}^{\prime }}\right)}^{nq}\right)}^{\frac{m}{n}}\times {\left({\left(b^{{}^{\prime }}\right)}^{nq}\right)}^{\frac{p}{q}}={\left({\left({\left(b^{{}^{\prime }}\right)}^{nq}\right)}^m\right)}^{\frac{1}{n}}\times {\left({\left({\left(b^{{}^{\prime }}\right)}^{nq}\right)}^p\right)}^{\frac{1}{q}}={\left({\left(b^{{}^{\prime }}\right)}^{nmq}\right)}^{\frac{1}{n}}\times {\left({\left(b^{{}^{\prime }}\right)}^{npq}\right)}^{\frac{1}{q}}={\left(b^{{}^{\prime }}\right)}^{mq+pn}$$

(c) 首先对于任意的有理数$s=\frac{p}{q}>0、p\in {\mathbb{Z}}^{+}、q\in \mathbb{Z}$，都有

$$b^s>1$$

这是因为

$$b>1\Rightarrow b^p>1\Rightarrow b^s={\left(b^p\right)}^{\frac{1}{q}}>1$$

所以对于所有的有理数$t\le r$，都有$b^{r-t}\ge 1$。根据（b）的结论

$$b^t-b^r=b^t-b^t{b}^{r-t}=b^t\left(1-b^{r-t}\right)\le 0$$

所以

$$b^r=\sup B(r)$$

注意，对每个实数$x$，定义$b^x=\sup B(x)$的有意义是指的$b^x$定义是合法的，因为它符合函数的定义的特性------一个自变量对应唯一函数值；合理性是指$b^x$的有序性，也就是：

$$x_1<x_2\iff b^{x_1}<b^{x_2}$$

因为每个实数$x$都处在两个任意靠近的有理数之间，所以$x_1、x_2$之间存在多个有理数，设其中三个为$s_1、s_2、s_3$，即$x_1<s_1<s_2<s_3<x_2$。根据$b^x$的定义，可得

$$b^{x_1}\le b^{s_1}<b^{s_2}<b^{s_3}\le b^{x_2}$$

即

$$b^{x_1}<b^{x_2}$$

(d) 首先对于任意的实数$s>0$，都有自然数$n$，使得

$$b^{\frac{1}{n}}-1<s$$

$$1-b^{-\frac{1}{n}}<s$$

这是因为根据不等式等式（$1<a<c$）

$$c-a=\frac{c^n-a^n}{c^{n-1}+c^{n-2}a+\dots +a^{n-1}}<\frac{c^n-a^n}{n}$$

令

$$c=b^{\frac{1}{n}}a=1$$

则

$$b^{\frac{1}{n}}-1<\frac{b-1}{n}$$

当自然数$n$足够大时，必有

$$\frac{b-1}{n}<s$$

也就是

$$b^{\frac{1}{n}}-1<s$$

于是

$$1-b^{-\frac{1}{n}}=b^{-\frac{1}{n}}\left(b^{\frac{1}{n}}-1\right)<b^{\frac{1}{n}}-1<s$$

也就是自然数$n$使得

$$1-b^{-\frac{1}{n}}<s$$

下面利用反证法证明$b^{x+y}=b^x{b}^y$

1. 若$b^{x+y}>b^x{b}^y$

令$s=b^{x+y}-b^x{b}^y$，根据前面的结论，存在自然数$n$满足

$$b^{x+y}-b^x{b}^y>b^{x+y}\left(1-b^{-\frac{1}{n}}\right)$$

也就是

$$\begin{array}{r}{b}^{x+y-\frac{1}{n}}>b^x{b}^y\#\left(1\right)\end{array}$$

于是，可以找到有理数$r、s$满足

$$x-\frac{1}{2n}<r<xy-\frac{1}{2n}<s<y$$

则

$$x+y-\frac{1}{n}<r+s$$

根据前面（b）的结论，可知

$$b^{r+s}=b^r{b}^s$$

又根据$b^x$的有序性，可知

$$b^{x+y-\frac{1}{n}}<b^{r+s}=b^r{b}^s<b^x{b}^s<b^x{b}^y$$

这与前面的$(1)$矛盾。

2. 若$b^{x+y}<b^x{b}^y$

令$s=b^x{b}^y-b^{x+y}$，根据前面的结论，存在自然数$n$满足

$$b^x{b}^y-b^{x+y}>b^{x+y}\left(b^{\frac{1}{n}}-1\right)$$

也就是

$$\begin{array}{r}{b}^{x+y+\frac{1}{n}}<b^x{b}^y\#\left(2\right)\end{array}$$

于是，可以找到有理数$r、s$满足

$$x<r<x+\frac{1}{2n}y<s<y+\frac{1}{2n}$$

则

$$r+s<x+y+\frac{1}{n}$$

根据前面（b）的结论，可知

$$b^{r+s}=b^r{b}^s$$

又根据$b^x$的有序性，可知

$$b^{x+y+\frac{1}{n}}>b^{r+s}=b^r{b}^s>b^x{b}^s>b^x{b}^y$$

这与前面的$(2)$矛盾。

综上可得$b^{x+y}=b^x{b}^y$