陶哲轩实分析 5.6 节习题试解

陶哲轩实分析 5.6 节习题试解

5.6.1 证明引理 5.6.6

设 $x,y > 0$ 是正的实数，并设 $m,n \geq 1$ 是正的整数。
（a）如果 $y = x^{1/n}$，那么 $y^n=x$
证明：
首先，$\{z \in \mathbb{R}: z \geq 0, z^n \leq x\}$ 是非空集合，必然存在上确界，设这个上确界为 $y$。由定义有：

$$y = x^{1/n} = \sup \{z \in \mathbb{R}: z \geq 0, z^n \leq x\}$$
用反证法证明 $y^n=x$
假设 $y^n < x$。设 $(y')^n = x$ ，那么 $y < y'$ 并且 $y' \in \{z \in \mathbb{R}: z \geq 0, z^n \leq x\}$
这与 $y = \sup \{z \in \mathbb{R}: z \geq 0, z^n \leq x\}$ 矛盾。

假设 $y^n > x$。设 $(y')^n = x$ ，那么 $y < y'$，所以存在 $y''$ 满足 $y < y'' < y'$，并且 $(y'')^n > x$
这与 $y = \sup \{z \in \mathbb{R}: z \geq 0, z^n \leq x\}$ 矛盾。

所以 $y^n=x$

（b）如果 $y^n=x$ 那么 $y = x^{1/n}$
证明：
对任意的 $y' > y$ 都有 $(y')^n > x$。因此，如果 $z$ 满足 $z \geq 0$ 和 $z^n \leq x$，那么必然有 $z \leq y$。所以 $y$ 是 $\{z \in \mathbb{R}: z \geq 0, z^n \leq x\}$ 的上界。
又知 $y \in \{z \in \mathbb{R}: z \geq 0, z^n \leq x\}$，所以 $y = \sup \{z \in \mathbb{R}: z \geq 0, z^n \leq x\}$
所以： $y = x^{1/n}$

（c）$x^{1/n}$ 是正的实数。

$$x^{1/n} = \sup \{z \in \mathbb{R}: z \geq 0, z^n \leq x\}$$
定义 $E := \{z \in \mathbb{R}: z \geq 0, z^n \leq x\}$
因为 $0 \in E$，所以 $E$ 是非空集合。下面证明 $E$ 是有界集合。
如果 $x \leq 1$， 那么 $E$ 有上界 $1$。
如果 $x > 1$，那么 $E$ 有上界 $x$。
所以 $E$ 是有界集合，$x^{1/n}$ 是一个实数。
取 $z' = \min(x,1)$，那么有 $0 < (z')^n \leq x$，所以 $z' \in E$
所以 $x^{1/n} \geq z'$，所以 $x^{1/n}$ 是正的实数。

（d）$x > y$ 当且仅当 $x^{1/n} > y^{1/n}$
设 $p = x^{1/n}$，$q = y^{1/n}$，那么有$x = p^n$ 和 $y = q^n$
先证明 $(x^{1/n} > y^{1/n}) \Rightarrow (x > y)$
如果 $p > q$ 那么有 $p^n > q^n$ ，也就是 $(x^{1/n} > y^{1/n}) \Rightarrow (x > y)$
再证明 $(x > y) \Rightarrow (x^{1/n} > y^{1/n})$
反证法：
假设 $x^{1/n} \leq y^{1/n}$ 也就是 $p \leq q$，那么有 $p^n \leq q^n$，也就是 $x \leq y$ 与 $x > y$ 的假设矛盾。所以 $(x > y) \Rightarrow (x^{1/n} > y^{1/n})$

（e）如果 $x>1$ 那么 $x^{1/k}$ 是 $k$ 的减函数。如果 $x < 1$ 那么 $x^{1/k}$ 是 $k$ 的增函数。如果 $x = 1$ 那么 $x^{1/k} = 1$
先证明 如果 $x>1$ 那么 $x^{1/k}$ 是 $k$ 的减函数。
易证 $x>1$ 时 $x^{1/k} > 1$
设 $m = n + 1$，定义 $x_n := x^{1/n}$，$x_m := x^{1/m}$
那么有 $(x_n) ^{n} = x, (x_m)^m = x$
$(x_n)^n = (x_m)(x_m)^n > (x_m)^n$ 所以 $x_n > x_m$，所以 $x^{1/k}$ 是减函数。

证明 如果 $x < 1$ 那么 $x^{1/k}$ 是 $k$ 的增函数。
易证 $x < 1$ 时 $x^{1/k} < 1$
设 $m = n + 1$，定义 $x_n := x^{1/n}$，$x_m := x^{1/m}$
那么有 $(x_n) ^{n} = x, (x_m)^m = x$
$(x_n)^n = (x_m)(x_m)^n < (x_m)^n$ 所以 $x_n < x_m$，所以 $x^{1/k}$ 是增函数。

证明 $x = 1$ 那么 $x^{1/k} = 1$

$$1^{1/k}= \sup \{z \in \mathbb{R}: z \geq 0, z^k \leq 1\}=1$$

（f）$(xy)^{1/n} = x^{1/n} y^{1/n}$
设：

$$z_1 := x^{1/n} = \sup\{z \in \mathbb{R}: z \geq 0, z^n \leq x\}\\ z_2 := y^{1/n} = \sup\{z \in \mathbb{R}: z \geq 0, z^n \leq y\}\\ z_3 := (xy)^{1/n} = \sup\{z \in \mathbb{R}: z \geq 0, z^n \leq xy\}$$
那么有：
$$(z_1 z_2)^n = (z_1) ^{n} (z_2)^n = xy = (z_3)^n$$
所以 $z_1 z_2 = z_3$，也就是 $(xy)^{1/n} = x^{1/n} y^{1/n}$

（g）$(x^{1/n})^{1/m}=x^{1/{mn}}$

$$((x^{\frac{1}{n}})^{\frac{1}{m}})^{mn}=(x^{\frac{1}{n}})^{n}= x\\ (x^{1/{mn}})^{mn} = x$$
所以： $(x^{1/n})^{1/m}=x^{1/{mn}}$

5.6.2 证明引理 5.6.9

设 $x,y>0$ 是正的实数，并设 $q,r$ 是比例数。
（a）$x^q$ 是正的实数。
设 $q=a/b$，$a,b$ 是两个整数，且$b > 0$。
那么 $x^q = x^{a/b} = (x^a)^{1/b}$
因为 $x>0$
所以 $x^a > 0$
所以 $(x^a)^{1/b} > 0$
所以$x^q$ 是正的实数。
（b）$x^{q+r}=x^q x^r$，并且 $(x^q)^r = x^{qr}$
设 $q=a/b$，$a,b$ 是两个整数，且$b > 0$。
设 $r=c/d$，$c,d$ 是两个整数，且$d > 0$。

$$\begin{eqnarray} x^{q+r} &=& x^{\frac{a}{b}+\frac{c}{d}}\\ &=& x^{\frac{ad+bc}{bd}}\\ &=& (x^{\frac{1}{bd}})^{ad+bc}\\ &=& (x^{\frac{1}{bd}})^{ad} (x^{\frac{1}{bd}})^{bc}\\ &=& x^\frac{a}{b} x^{\frac{c}{d}} \end{eqnarray}$$
$$\begin{eqnarray} (x^{q})^{r} &=& (x^\frac{a}{b})^\frac{c}{d}\\ &=& (( (( x^{\frac{1}{b}} )^a) ^{\frac{1}{d}})^c\\ &=& (((x^\frac{1}{b})^{a})^c)^{\frac{1}{d}}\\ &=& ((x^\frac{1}{b})^{ac})^{\frac{1}{d}}\\ &=& ((x^\frac{1}{b})^{\frac{1}{d}})^{ac}\\ &=& (x^\frac{1}{bd}) ^{ac} \\ &=& x^\frac{ac}{bd} \\ &=& x^{qr} \\ \end{eqnarray}$$
（c） $x^{-q}=\frac{1}{x^q}$
$$\begin{eqnarray} x^{-q} &=& x^{\frac{-a}{b}}\\ &=& (x^{\frac{1}{b}})^{-a}\\ &=& \frac{1}{(x^{\frac{1}{b}})^{a}} \\ &=& \frac{1}{x^q} \end{eqnarray}$$

（d）如果 $q>0$，那么 $x>y$ 当且仅当 $x^q > y^q$
如果 $x>y$，那么

$$x^\frac{1}{b} > y^\frac{1}{b}$$
所以
$$(x^{\frac{1}{b}})^a > (x^{\frac{1}{b}})^a$$
所以 $x^q > y^q$

如果 $x^q > y^q$,那么

$$(x^q)^b > (y^q)^b \\ x^a > y^a$$
所以 $x > y$
（e）如果 $x>1$ 那么 $x^q > x^r$ 当且仅当 $q > r$。 $x < 1$ 那么 $x^q > x^r$ 当且仅当 $q < r$。

先证明$x^q > x^r$ 当且仅当 $q > r$
$q,r$ 总可以写为 $q = a/c, r= b/c$ 的形式。
当 $q > r$ 时，也就是 $a > b$
所以

$$x^q = (x^{1/c})^a > (x^{1/c})^b = x^r\\ $$
当 $x^q > x^r$ 时，也就是

$$(x^{1/c})^a > (x^{1/c})^b$$
有 $a > b$ 所以 $q > r$

证明$x^q < x^r$ 当且仅当 $q < r$
$q,r$ 总可以写为 $q = a/c, r= b/c$ 的形式。
当 $q < r$ 时，也就是 $a < b$
所以

$$x^q = (x^{1/c})^a < (x^{1/c})^b = x^r\\ $$
当 $x^q < x^r$ 时，也就是

$$(x^{1/c})^a < (x^{1/c})^b$$
有 $a < b$ 所以 $q < r$

5.6.3 如果 $x$ 是实数，证明 $|x| = (x^2)^{1/2}$

分情况讨论：
（1） $x = 0$ 时 $x^2 = 0$， $|x| = 0$

$$\sqrt{x^2} = \sqrt{0} = \sup \{y \in \mathbb{R}: y \geq 0, y^2 \leq 0\}$$

显然 $\{y \in \mathbb{R}: y \geq0, y^2 \leq 0\} = \{0\}$ 是单元素集，$\sup \{y \in \mathbb{R}: y \geq 0, y^2 \leq 0\} = 0$。
所以这时 $|x| = (x^2)^{1/2}$

（2）$x > 0$ 时。$|x| = x$

$$(x^2)^{1/2} = \sup \{y \in \mathbb{R}: y \geq0, y^2 \leq x^2\} = \sup \{y \in \mathbb{R}: 0 \leq y \leq x\} = x = |x|$$

（3）$x < 0$ 时。$|x| = -x > 0$

$$(x^2)^{1/2} = (|x|^2)^{1/2} = |x|$$