2.2.2 实数集的几何解释与实数计算

实数集的几何解释

数轴

可以建立直线到实数集的双射 $f:\mathbb{L}\to \mathbb{R}$ .

这个双射满足这样的性质：对于直线 $\mathbb{L}$ 沿自身的平移 $T$ , 存在仅与平移 $T$ 位移有关的数 $t$ , 对于 $\mathbb{L}$ 上的所有点有 $f(T(x))=f(x)+t$ .

与点 $x$ 对应的实数 $f(x)$ 称为点的坐标 .

给出一个原点 $O$ , 使得它映射至 $0$ . 设 $\mathbb{L}$ 平移若干位移后，$O$ 对应的点为 $A$ , 使得它映射至 1. 由 $f(T(O))=f(O)+t$ 得 $t=1$ , 称之为单位长度 , 线段 $OA$ 称之为单位线段 . 确定了单位长度和原点的直线称为数轴 .

继续下去，$f(T(A))=f(A)+t=2$ , $f(T(f(T(A))))=f(f(T(A)))=f(T(A))+t=3$ , $\cdots$

可以确定映射到正整数的点

而 $f(T^{-1}(x))=f(x)-t$ 可得 $-1,-2$ 等映射到负整数的点 .

将单位线段 $n$ 等分，我们可以得到所有形如 $\frac{m}{n}$ 的映射到有理数的点 .

然而，直线上还有其他点 . 任取一点不映射到有理数的点，它把直线分为两条射线，每条射线上都有有理数点 . 于是，这个点给出 $\mathbb{Q}$ 的一种分割 . 它把 $\mathbb{Q}$ 分割为 $X,Y$ 两个集合 . 设 $s=\sup X$ 而 $i=\inf Y$ . 如果 $s<i$ , 则存在不属于 $X$ 与 $Y$ 的有理数 $q$ 满足 $s<q<i$ . 这与 $X\cup Y=\mathbb{Q}$ 矛盾 . 如果 $i<s$ , 则存在有理数 $q$ 既属于 $X$ 又属于 $Y$ , 这与 $X$ 与 $Y$ 不相交矛盾 . 因此 $s=i$ . 而 $\forall x\in X,y\in Y$ 有 $x\le y$ ，由实数的完备性得，存在一个数 $c$ ，使得 $x\le c\le y$ , 这个数只能是 $c=s=i$ . 这个唯一确定的数 $c$ 就属于无理数 .

从数轴的角度看，实数的完备性指的是数轴不会断掉，任意两个实数之间都有实数 .

区间

开区间 ( a , b ) : = { x ∈ R ∣ a < x < b } (a,b):=\{x\in\mathbb{R}|a< x< b\} (a,b):={x∈R∣a<x<b}

闭区间 [ a , b ] : = { x ∈ R ∣ a ≤ x ≤ b } [a,b]:=\{x\in\mathbb{R}|a\le x\le b\} [a,b]:={x∈R∣a≤x≤b}

半开半闭区间 ( a , b ] : = { x ∈ R ∣ a < x ≤ b } (a,b]:=\{x\in\mathbb{R}|a< x\le b\} (a,b]:={x∈R∣a<x≤b}

半开半闭区间 [ a , b ) : = { x ∈ R ∣ a ≤ x ≤ b } [a,b):=\{x\in\mathbb{R}|a\le x\le b\} [a,b):={x∈R∣a≤x≤b}

以上区间称为有界区间，量 $b-a$ 称为区间长度

( a , + ∞ ) : = { x ∈ R ∣ a < x } (a,+\infty):=\{x\in\mathbb{R}|a< x\} (a,+∞):={x∈R∣a<x}

[ a , + ∞ ) : = { x ∈ R ∣ a ≤ x } [a,+\infty):=\{x\in\mathbb{R}|a\le x\} [a,+∞):={x∈R∣a≤x}

( − ∞ , a ) : = { x ∈ R ∣ x < a } (-\infty,a):=\{x\in\mathbb{R}| x< a\} (−∞,a):={x∈R∣x<a}

( − ∞ , a ] : = { x ∈ R ∣ x ≤ a } (-\infty,a]:=\{x\in\mathbb{R}| x\le a\} (−∞,a]:={x∈R∣x≤a}

以上区间称为半有界区间

$(-\infty ,+\infty )=\mathbb{R}$ 称为无界区间

包含点 $x$ 的开区间称为 $x$ 的邻域 .

开区间 $(x-\delta ,x+\delta )$ 称为点 $x$ 的 $\delta$ 邻域

一个实数的绝对值 $|x|=\{\begin{array}{ll}x& x>0\\ 0& x=0\\ -x& x<0\end{array}$

值 $|x-y|$ 称为 $x$ 与 $y$ 之间的距离 . 它具有以下性质：

• 非负性 $|x|\ge 0$ 且 $|x|=0\Rightarrow x=0$
• 对称性 $|x-y|=|y-x|$
• 三角不等式 $|x-y|\le |x-z|+|z-y|$

三角不等式 对于任何实数 $x,y$ , 不等式 $|x+y|\le |x|+|y|$ 成立 . 当且仅当 $x$ 与 $y$ 符号相同时，取等式.

证明：

当 $(x\ge 0)\wedge (y\ge 0)$ 时，$|x+y|=x+y=|x|+|y|$ .

当 $(x\le 0)\wedge (y\le 0)$ 时，$|x+y|=-x-y=|x|+|y|$ .

当 $x<0<y$ 时 ,

或者 $x<x+y<0\Rightarrow |x+y|<|x|$ ,

或者 $0<x+y<y\Rightarrow |x+y|<|y|$ .

当 $y<0<x$ 是同理 .

三角不等式推广 $|x_1+x_2+\cdots +x_n|\le |x_1|+|x_2|+\cdots +|x_n|$ 成立 . 当且仅当所有实数 $x_1,x_2\cdots ,x_n$ 符号相同时取等式 .

实数计算问题

用近似值序列给出一个数

在实际测量中，我们可能无法得到一个精确的数，而只能以一定的精度得到该数的近似值 .

有这样一种设想，用精确度越来越高的近似值序列(有理数序列)来确定一个实数 . 这种设想如果成立，那么将会产生以下问题：

• 任意给定的一个特定形式近似值序列是否能够唯一确定一个数？
• 一个数只能由某个特定形式的近似值序列确定嘛？
• 近似值序列是否能够保持加法和乘法的运算规则？

以上问题需要学习了柯西等人提出的极限理论后才能得到解答 .

误差估计

如果 $x$ 是某个量的精确值，$\stackrel{\sim }{x}$ 是该量的已知近似值，则 $\Delta (\stackrel{\sim }{x}):=|x-\stackrel{\sim }{x}|$ 称为近似值 $\stackrel{\sim }{x}$ 的绝对误差，$\delta (\stackrel{\sim }{x}):=\frac{\Delta (\stackrel{\sim }{x})}{|x|}=\frac{|x-\stackrel{\sim }{x}|}{|x|}$ 称为近似值 $\stackrel{\sim }{x}$ 的相对误差 .

由于精确值 $x$ 通常是未知的，所以 $\Delta (\stackrel{\sim }{x})$ 和 $\delta (\stackrel{\sim }{x})$ 也是未知的，但是我们通常能给出其上界，$\Delta (\stackrel{\sim }{x})<\Delta$ , $\delta (\stackrel{\sim }{x})<\delta$ , 分别称为绝对误差限和相对误差限 .

写法 $x=\stackrel{\sim }{x}\pm \Delta$ 通常表示 $\stackrel{\sim }{x}-\Delta \le x\le \stackrel{\sim }{x}+\Delta$

$\Delta (\stackrel{\sim }{x}+\stackrel{\sim }{y}):=|(x+y)-(\stackrel{\sim }{x}+\stackrel{\sim }{y})|\le \Delta (\stackrel{\sim }{x})+\Delta (\stackrel{\sim }{y})$

$\Delta (\stackrel{\sim }{x}\cdot \stackrel{\sim }{y}):=|x\cdot y-\stackrel{\sim }{x}\cdot \stackrel{\sim }{y}|\le |\stackrel{\sim }{x}|\Delta (\stackrel{\sim }{y})+|\stackrel{\sim }{y}|\Delta (\stackrel{\sim }{x})+\Delta (\stackrel{\sim }{x})\Delta (\stackrel{\sim }{y})$

如果 $y\ne 0,\stackrel{\sim }{y}\ne 0,\delta (\stackrel{\sim }{y})<1$ , 那么还有

$\Delta (\frac{\stackrel{\sim }{x}}{\stackrel{\sim }{y}}):=|\frac{x}{y}-\frac{\stackrel{\sim }{x}}{\stackrel{\sim }{y}}|\le \frac{1}{1-\delta (\stackrel{\sim }{y})}\frac{|\stackrel{\sim }{x}|\Delta (\stackrel{\sim }{y})+|\stackrel{\sim }{y}|\Delta (\stackrel{\sim }{x})}{{\stackrel{\sim }{y}}^2}$

证明：

设 $x=\stackrel{\sim }{x}+\alpha$ , $y=\stackrel{\sim }{y}+\beta$

则 $\Delta (\stackrel{\sim }{x}+\stackrel{\sim }{y})=|(x+y)-(\stackrel{\sim }{x}+\stackrel{\sim }{y})|=|\alpha +\beta |\le |\alpha |+|\beta |=\Delta (\stackrel{\sim }{x})+\Delta (\stackrel{\sim }{y})$

$\Delta (\stackrel{\sim }{x}\cdot \stackrel{\sim }{y})=|x\cdot y-\stackrel{\sim }{x}\cdot \stackrel{\sim }{y}|=|(\stackrel{\sim }{x}+\alpha )(\stackrel{\sim }{y}+\beta )-\stackrel{\sim }{x}\cdot \stackrel{\sim }{y}|=|\stackrel{\sim }{x}\beta +\alpha \stackrel{\sim }{y}+\alpha \beta |\le |\stackrel{\sim }{x}|\Delta (\stackrel{\sim }{y})+|\stackrel{\sim }{y}|\Delta (\stackrel{\sim }{x})+\Delta (\stackrel{\sim }{x})\Delta (\stackrel{\sim }{y})$

$\Delta (\frac{\stackrel{\sim }{x}}{\stackrel{\sim }{y}})=|\frac{x}{y}-\frac{\stackrel{\sim }{x}}{\stackrel{\sim }{y}}|=|\frac{x\stackrel{\sim }{y}-\stackrel{\sim }{x}y}{y\stackrel{\sim }{y}}|=|\frac{(\stackrel{\sim }{x}+\alpha )\stackrel{\sim }{y}-\stackrel{\sim }{x}(\stackrel{\sim }{y}+\beta )}{(\stackrel{\sim }{y}+\beta )\stackrel{\sim }{y}}|=\frac{1}{|1+\frac{\beta }{\stackrel{\sim }{y}}|}\frac{|\alpha \stackrel{\sim }{y}-\stackrel{\sim }{x}\beta |}{{\stackrel{\sim }{y}}^2}\le \frac{1}{1-\delta (\stackrel{\sim }{y})}\frac{|\stackrel{\sim }{x}|\Delta (\stackrel{\sim }{y})+|\stackrel{\sim }{y}|\Delta (\stackrel{\sim }{x})}{{\stackrel{\sim }{y}}^2}$

• 当 $\delta (\stackrel{\sim }{y})$ 接近 1 时，或者 $\stackrel{\sim }{y}$ 接近 0 时， $\Delta (\frac{\stackrel{\sim }{x}}{\stackrel{\sim }{y}})$ 将有较大的上界

$\delta (\stackrel{\sim }{x}+\stackrel{\sim }{y})\le \frac{\Delta (\stackrel{\sim }{x})+\Delta (\stackrel{\sim }{y})}{|\stackrel{\sim }{x}+\stackrel{\sim }{y}|}$

$\delta (\stackrel{\sim }{x}\cdot \stackrel{\sim }{y})\le \delta (\stackrel{\sim }{x})+\delta (\stackrel{\sim }{y})+\delta (\stackrel{\sim }{x})\cdot \delta (\stackrel{\sim }{y})$

$\delta (\frac{\stackrel{\sim }{x}}{\stackrel{\sim }{y}})\le \frac{\delta (\stackrel{\sim }{x})+\delta (\stackrel{\sim }{y})}{1-\delta (\stackrel{\sim }{y})}$

• 当 $\stackrel{\sim }{x}+\stackrel{\sim }{y}$ 接近 0 时，$\delta (\stackrel{\sim }{x}+\stackrel{\sim }{y})$ 将有较大的上界

在实际应用中，当近似值具有足够高的精度时，

即 $\Delta (\stackrel{\sim }{x})\cdot \Delta (\stackrel{\sim }{y})\approx 0,\delta (\stackrel{\sim }{x})\cdot \delta (\stackrel{\sim }{y})\approx 0,1-\delta (\stackrel{\sim }{y})\approx 1$ 时,

$\Delta (\stackrel{\sim }{x}\cdot \stackrel{\sim }{y})\le |\stackrel{\sim }{x}|\Delta (\stackrel{\sim }{y})+|\stackrel{\sim }{y}|\Delta (\stackrel{\sim }{x})$

$\Delta (\frac{\stackrel{\sim }{x}}{\stackrel{\sim }{y}})\le \frac{|\stackrel{\sim }{x}|\Delta (\stackrel{\sim }{y})+|\stackrel{\sim }{y}|\Delta (\stackrel{\sim }{x})}{{\stackrel{\sim }{y}}^2}$

$\delta (\stackrel{\sim }{x}\cdot \stackrel{\sim }{y})\le \delta (\stackrel{\sim }{x})+\delta (\stackrel{\sim }{y})$

$\delta (\frac{\stackrel{\sim }{x}}{\stackrel{\sim }{y}})\le \delta (\stackrel{\sim }{x})+\delta (\stackrel{\sim }{y})$

位置记数法

位置计数法可以给出一种用有理数序列逼近实数的过程

如果固定一个数 $q>1$ , 则对于任何正数 $x\in \mathbb{R}$ ，可以求出唯一的整数 $k\in \mathbb{Z}$ , 使得 $q^{k-1}\le x<q^k$ .

证明：

先证明形如 $q^k,k\in \mathbb{Z}$ 的数的集合 $A$ 没有上界 . 假设 $A$ 有上界，则 $A$ 有上确界 $s$ , 则根据上确界的定义得，存在数 $q^m$ , 使得 $\frac{s}{q}<q^m\le s$ . 这说明 $s<q^{m-1}$ , 这与 $s$ 时 $A$ 的上确界矛盾 . 由此 $A$ 没有上界 .

由于 $A$ 没有上界，因此对于任何正数 $x$ , 可以找到整数 $N$ , 使得 $n>N$ 时，有 $x<q^n$ . 于是满足 $x<q^n$ 的整数 $n$ 组成的集合非空有下界，它有最小元素 $k$ , $k$ 即为所求的唯一整数 .

满足 $q^p\le x<q^{p+1}$ 的唯一整数 $p$ 称为数 $x$ 对底数 $p$ 的阶数 .

根据阿基米德原理，存在唯一的自然数 ${\alpha }_p$ , 使得 ${\alpha }_p{q}^p\le x<({\alpha }_p+1)q^p$ .

则由阶数的定义得，${\alpha }_p<q$ , 即 α p ∈ { 1 , 2 , ⋯   , q − 1 } \alpha_p\in\{1,2,\cdots,q-1\} αp​∈{1,2,⋯,q−1} .

继续由阿基米德原理得，存在唯一的整数 ${\alpha }_{p-1}$ , 使得 ${\alpha }_{p-1}{q}^{p-1}\le x-{\alpha }_p{q}^p<(a_{p-1}+1)q^{p-1}$

即 ${\alpha }_{p-1}{q}^{p-1}+{\alpha }_p{q}^p\le x<(a_{p-1}+1)q^{p-1}+{\alpha }_p{q}^p$

也可得 $0\le {\alpha }_{p-1}<q$ , 即 α p − 1 ∈ { 0 , 1 , 2 , ⋯   , q − 1 } \alpha_{p-1}\in\{0,1,2,\cdots,q-1\} αp−1​∈{0,1,2,⋯,q−1}

继续下去，

可以得到与 $x$ 唯一对应的有理序列 ${\alpha }_p,{\alpha }_{p-1},\cdots ,{\alpha }_{p-n},\cdots$

其中每个数都取值于 { 0 , 1 , 2 , ⋯   , q − 1 } \{0,1,2,\cdots,q-1\} {0,1,2,⋯,q−1}

也可以看作正数 $x$ 与有理数列 $r_n={\alpha }_p{q}^p+\cdots +{\alpha }_{p-n}{q}^{q-n}$ 有唯一的对应关系，并且 $r_n\le x<r_n+\frac{1}{q^{n-p}}$

规定 $p\ge 0$ 时，在 ${\alpha }_0$ 右边写上小数点，则

$x={\alpha }_p\cdots {\alpha }_0.{\alpha }_{-1}\cdots {\alpha }_{p-n}\cdots ={\alpha }_p{q}^p+\cdots +{\alpha }_0{q}^0+{\alpha }_{-1}{q}^{-1}+\cdots +{\alpha }_{p-n}{q}^{p-n}+\cdots$

$p<0$ 时，在 ${\alpha }_p$ 左边补上 $|p|$ 个零，并在最左边的 0 右边写上小数点，则

$x=0.00\cdots {\alpha }_p{\alpha }_{p-1}\cdots ={\alpha }_p{q}^p+\cdots +{\alpha }_{p-n}{q}^{p-n}+\cdots$

两个不同的实数 $x$ 与 $y$ 对应于不同的序列 { r n } , { r n ′ } \{r_n\},\{r'_n\} {rn​},{rn′​} .

证明：

否则 $r_n\le x<r_n+\frac{1}{q^{n-p}},r_n\le y<r_n+\frac{1}{q^{n-p}}$

可以推出对于所有的 $n\in \mathbb{N}$ , $|x-y|<\frac{1}{q^{n-p}}$ . 这说明 $x=y$ . 产生矛盾 .

如果由 α k ∈ { 0 , 1 , 2 , ⋯   , 9 } \alpha_k\in\{0,1,2,\cdots,9\} αk​∈{0,1,2,⋯,9} 表示的记号 ${\alpha }_p\cdots {\alpha }_0.{\alpha }_{-1}\cdots {\alpha }_{p-n}\cdots$ 在任意靠后的位置中都有不等于 $q-1$ 的数，则它能够对应某个正实数 .

证明：

假设 $m>k$ 时，${\alpha }_{p-m}=q-1$

则 $r_n={\alpha }_p{q}^p+\cdots +{\alpha }_{p-k}{q}^{p-k}+(q-1)q^{p-k-1}+\cdots +(q-1)q^{p-n}$

$=r_k+(q-1)\frac{q^{p-n}(1-q^{n-k})}{1-q}=r_k+q^{p-k}-q^{p-n}$

于是 $r_k+q^{p-k}-q^{p-n}\le x<r_k+q^{p-k}$

则对任意的 $n>k$ 都有 $0<r_k+q^{p-k}-x<q^{p-n}$ .

这说明 $x=r_k+q^{p-k}={\alpha }_p{q}^p+\cdots +({\alpha }_{p-k}+1)q^{p-k}$ . 与 ${\alpha }_{p-k}$ 的定义产生矛盾 .

如果 ${\alpha }_{p-k-1},\cdots ,{\alpha }_{p-n}$ 之中存在一个不等于 $q-1$ .

则 $r_n<r_k+q^{p-k}-q^{p-n}\Rightarrow r_n+q^{p-n}<r_k+q^{p-k}$

于是 $r_0\le r_1\le \cdots <\cdots \le r_n+q^{p-n}\le \cdots r_0+q^p$

取 $x={\sup }_{n\in \mathbb{N}}{r}_n={\inf }_{n\in \mathbb{N}}(r_n+q^{p-n})$ 为 ${\alpha }_p\cdots {\alpha }_0.{\alpha }_{-1}\cdots {\alpha }_{p-n}\cdots$ 一一对应的实数 .

以上确定的实数的计算模型称为数 $x$ 的 $q$ 进制计数法，$q$ 称为进制基数，${\alpha }_i$ 称为数码，$i$ 称为数码的位 .

负数的 $q$ 进制计数就是其绝对值对应的正数的 $q$ 进制计数加负号 .

$0$ 对应 $0.000000\cdots$

如果保留若干精确位对 $q$ 进制数进行计算，误差不会超过保留位的下一个单位