数学分析(一)-实数集与函数1-实数1：实数及其性质【实数ℝ=有理数（①分数、②有限小数、③无限循环小数）+无理数（无限不循环小数）】【不存在最大实数】【ℝ具有稠密性：任何两不相等实数间必有另一实数】

原创已于 2024-03-28 22:25:43 修改 · 1.5k 阅读

12 ·

本内容遵循CC 4.0 BY-SA版权协议

GEO检测

收录于

数学分析

于 2024-01-27 00:43:01 首次发布

数学分析的基础是实数集上的函数，实数包括有理数（分数、有限小数、无限循环小数）和无理数（无限不循环小数）。实数具有阿基米德性，任何两条线段都可以通过连续截取达到长度比较。实数的大小关系可以通过无限小数的比较来定义，并且实数集是稠密的，任何两个不相等的实数间总能找到另一个实数。此外，实数集对加、减、乘、除运算封闭，具有传递性和阿基米德性质。

数学分析研究的基本对象是定义在实数集上的函数. 为此,我们先简要叙述实数的有关概念.

在中学数学课程中, 我们知道实数由有理数与无理数两部分组成.

有理数可用分数形式 $pq(p,q\dfrac{p}{q}(p, q$ 为整数, $\neq 0)$ 表示,也可用有限十进小数或无限十进循环小数来表示;
而无限十进不循环小数则称为无理数.

有理数和无理数统称为实数.

为了以下讨论的需要, 我们把有限小数 (包括整数) 也表示为无限小数.

对此我们作如下规定: 对于正有限小数 (包括正整数) $x$ , 当 $x=a0.a1a2⋯anx=a_{0} . a_{1} a_{2} \cdots a_{n}$ 时, 其中 $\leqslant a_{i} \leqslant 9, i=$ $\cdots, n, a_{n} \neq 0, a_{0}$ 为非负整数, 记

$x=a_{0} .a_{1} a_{2} \cdots\left(a_{n}-1\right) 9999 \cdots \text {, }$

而当 $x=a_{0}$ 为正整数时, 则记

$,x=\left(a_{0}-1\right) .9999 \cdots,$

例如 2.001 记为 $2.0009999 \cdots$ ; 对于负有限小数(包括负整数) $y$ ,则先将 $- y$ 表示为无限小数, 再在所得无限小数之前加负号, 例如 -8 记为 $−7.9999 \cdots$ ; 又规定数 0 表示为 $0.0000 \cdots$ 于是,任何实数都可用一个确定的无限小数来表示.

我们已经熟知比较两个有理数大小的方法. 现定义两个实数的大小关系.

有理数和无理数统称为实数, 实数是一个阿基米德有序域. 这一名词有三层含义.

第一层, 数域指的是集合 $F$ 含有两种运算" + “和” ."，对 $∀a,b,c∈F\forall a, b, c \in F$
(1) 加法交换律: $a + b = b + a$ ;
(2) 加法结合律: $(a + b) + c = a + (b + c)$ ;
(3) $F$ 中存在零元素, 记为 0 , 使得对 $∀a∈F,a+0=a\forall a \in F, a+0=a$ ;
(4) $∀a∈F\forall a \in F$ 存在反元素 $\in F, a+(-a)=0$ .
(5) 乘法交换律: $\cdot b=b \cdot a$ ;
(6) 乘法结合律: $\cdot b) \cdot c=a \cdot(b \cdot c)$ ;
(7) $F$ 中存在单位元素, 记为e, 使得对 $∀a∈F,a⋅e=a\forall a \in F, a \cdot e=a$ ;
(8) $∀a∈F\{0}\forall a \in F \backslash\{0\}$ 存在逆元素 $a−1∈F,a⋅a−1=ea^{-1} \in F, a \cdot a^{-1}=e$ .【 $\\backslash$ 表示排除】
(9) 乘法关于加法的分配律: $\cdot(b+c)=a \cdot b+a \cdot c$ .
第二层, 有序域指的是数域 $F$ 中定义序关系" $≤\leq$ "具有全序性质
- 三歧性: $F$ 中任意两个元素 $a$ 与 $b$ 之间必有 $a < b, a = b, a > b$ 其中恰好一个成立.
- 传递性: 对 $F$ 中的元素 $a, b, c$ , 若 $a < b$ 且 $b < c$ , 则 $a < c$ 成立.
第三层, 阿基米德性是指对 $F$ 中任意两个正元素 $a$ 和 $b$ 存在正整数 $n$ ,使得 $\geq b$ .
- 几何描述: 任意两条线段无论较长的有多长, 较短的有多短, 总可以在较长的线段上连续截取较短的线段, 最终或者没有剩余;或者得到一条短于较短线段的剩余线段。
- 推论
  1. 存在自然数 $N$ , 对任何正数 $b$ 有 $\geq b$ , 即不存在最大实数.
  2. 对任何实数 $a, b, k$ , 若 $k > 0$ , 则存在正整数 $N$ , 使得 $\geq b$ .

实数比较大小可引入如下方式

非负有限小数:
$x=a0⋅a1a2⋯an=a0⋅a1a2⋯(an−1)999⋯x=a_{0} \cdot a_{1} a_{2} \cdots a_{n}=a_{0} \cdot a_{1} a_{2} \cdots\left(a_{n}-1\right) 999 \cdots$ .
非负整数: $x=a0=(a0−1).999⋯x=a_{0}=\left(a_{0}-1\right) .999 \cdots$ .
负有限小数或者负整数: 将 $- x$ 按非负情形操作后再加上负号.

其中 $\leq a_{i} \leq 9, i=1,2, \cdots, 9$ .

如: $\cdots, 8=7.999 \cdots,-3.3=-3.2999 \cdots \text {. }$

将所有有限小数和整数化成无限小数 (极限意义下成立).

定义 1

给定两个非负实数 $,x=a_{0}.a_{1} a_{2} \cdots a_{n} \cdots, \quad y=b_{0}.b_{1} b_{2} \cdots b_{n} \cdots,$ 其中 $a_{0}, b_{0}$ 为非负整数, $)a_{k}, b_{k}(k=1,2, \cdots)$ 为整数, $\leqslant a_{k} \leqslant 9,0 \leqslant b_{k} \leqslant 9$ .

若有 $,a_{k}=b_{k}, k=0,1,2, \cdots,$ 则称 $x$ 与 $y$ 相等, 记为 $x = y$ ;
若 $a_{0}>b_{0}$ 或存在非负整数 $l$ ,使得 $ai+1>bi+1,a_{k}=b_{k}(k=0,1,2, \cdots, l) \text { 而 } a_{i+1}>b_{i+1},$ 则称 $x$ 大于 $y$ 或 $y$ 小于 $x$ , 分别记为 $x > y$ 或 $y < x$ .

对于负实数 $x, y$ , 若按上述规定分别有 $- x = - y$ 与 $- x > - y$ , 则分别称 $x = y$ 与 $x < y$ (或 $y > x)$ .

另外, 规定任何非负实数大于任何负实数.

以下给出通过有限小数来比较两个实数大小的等价条件. 为此, 先给出如下定义.

定义 2

设 $x=a0.a1a2⋯an⋯x=a_{0} . a_{1} a_{2} \cdots a_{n} \cdots$ 为非负实数【 $\cdots$ 】. 称：

有理数 $xn=a0⋅a1a2⋯anx_{n}=a_{0} \cdot a_{1} a_{2} \cdots a_{n}$ 为实数 $x$ 的 $n$ 位不足近似,
而有理数 $xˉn=xn+110n\bar{x}_{n}=x_{n}+\dfrac{1}{10^{n}}$ 称为 $x$ 的 $n$ 位过剩近似, .

对于负实数 $x=−a0.a1a2⋯an⋯x=-a_{0} . a_{1} a_{2} \cdots a_{n} \cdots$ , 其 $n$ 位不足近似与过剩近似分别规定为
$xˉn=−a0.a1a2⋯an.x_{n}=-a_{0}. a_{1} a_{2} \cdots a_{n}-\dfrac{1}{10^{n}} \text { 与 } \bar{x}_{n}=-a_{0}.a_{1} a_{2} \cdots a_{n} .$
注不难看出,

实数 $x$ 的不足近似 $x_{n}$ 当 $n$ 增大时不减, 即有 $x0⩽x1⩽x2⩽⋯x_{0} \leqslant x_{1} \leqslant x_{2} \leqslant \cdots$ ,
而过剩近似 $xˉn\bar{x}_{n}$ 当 $n$ 增大时不增, 即有 $xˉ0⩾xˉ1⩾xˉ2⩾⋯\bar{x}_{0} \geqslant \bar{x}_{1} \geqslant \bar{x}_{2} \geqslant \cdots$ .

我们有以下的命题.

命题

设 $x=a0⋅a1a2⋯x=a_{0} \cdot a_{1} a_{2} \cdots$ 与 $y=b0⋅b1b2⋯y=b_{0} \cdot b_{1} b_{2} \cdots$ 为两个实数, 则 $x > y$ 的等价条件（充要条件）是:

存在非负整数 $n$ , 使得
$xn>yˉn,x_{n}>\bar{y}_{n},$
其中 $x_{n}$ 表示 $x$ 的 $n$ 位不足近似, $yˉn\bar{y}_{n}$ 表示 $y$ 的 $n$ 位过剩近似.
关于这个命题的证明, 以及关于实数的四则运算法则的定义, 可参阅本书附录 $I\mathrm{I}$ 第八节.

例 1
设 $x, y$ 为实数, $x < y$ . 证明: 存在有理数 $r$ , 满足
$x < r < y .$
证
由于 $x < y$ , 故存在非负整数 $n$ , 使得 $xˉn<yn\bar{x}_{n}<y_{n}$ . 令
$r=12(xˉn+yn),r=\dfrac{1}{2}\left(\bar{x}_{n}+y_{n}\right),$
则 $r$ 为有理数,且有
$\leqslant \bar{x}_{n}<r<y_{n} \leqslant y,$
即得 $x < r < y$ .

为方便起见, 通常将全体实数构成的集合记为 $R\mathrm{R}$ , 即

$\mathbf{R}=\{x \mid x \text { 为实数 }\} \text {. }$

实数有如下一些主要性质:
1. 实数集 $R\mathbf{R}$ 对加、减、乘、除 (除数不为 0 )四则运算是封闭的,即任意两个实数的和、差、积、商 (除数不为 0 )仍然是实数.
2. 实数集是有序的,即任意两实数 $a, b$ 必满足下述三个关系之一: $a < b, a = b, a > b$ .
3. 实数的大小关系具有传递性, 即若 $a > b, b > c$ , 则有 $a > c$ .
4. 实数具有阿基米德 (Archimedes) 性, 即对任何 $\in \mathbf{R}$ , 若 $b > a > 0$ , 则存在正整数 $n$ , 使得 $na > b$ .
5. 实数集 $R\mathbf{R}$ 具有稠密性,即任何两个不相等的实数之间必有另一个实数, 且既有有理数 (见例 1 ),也有无理数.
6. 如果在一直线 (通常画成水平直线) 上确定一点 $O$ 作为原点,指定一个方向为正向 (通常把指向右方的方向规定为正向), 并规定一个单位长度,则称此直线为数轴.可以说明: 任一实数都对应数轴上唯一的一点; 反之,数轴上的每一点也都唯一地代表一个实数. 于是, 实数集 $R\mathbf{R}$ 与数轴上的点有着一一对应关系. 在本书以后的叙述中, 常把"实数 $a$ "与"数轴上的点 $a$ " 这两种说法看作具有相同的含义.

例 2
设 $\in \mathbf{R}$ . 证明: 若对任何正数 $ε\varepsilon$ , 有 $a<b+εa<b+\varepsilon$ , 则 $\leqslant b$ .
证
用反证法. 倘若结论不成立, 则根据实数集的有序性, 有 $a > b$ . 令
$ε=a−b\varepsilon=a-b$ , 则 $ε\varepsilon$ 为正数且 $a=b+εa=b+\varepsilon$ ,
但这与假设 $a<b+εa<b+\varepsilon$ 相矛盾. 从而必有 $\leqslant b$ .
关于实数的定义与性质的详细论述, 有兴趣的读者可参阅本书附录 I.

标签

#数学分析