【数学分析新讲 笔记】第一章 实数

---

有尽小数在实数系中处处稠密

定理 设 $a$ 和 $b$ 是实数，$a<b.$ 则存在有尽小数 $c$ ，满足

$$a<c<b.$$

---

上确界、下确界

1、设 $E$ 是实数的非空集合，即设 $E \subset \mathbb{R}$ ，$E \ne \emptyset .$ 如果存在一个实数 $M$ ，满足下面的条件(i)和(ii)，那么我们就把 $M$ 叫做集合 $E$ 的上确界。条件(i)和(ii)是：
　　(i) $M$ 是集合 $E$ 的一个上界，即 $x\le M, \forall x \in E$；
　　(ii) $M$ 是集合 $E$ 的最小的上界——任何小于 $M$ 的实数 $M'$ 都不再是集合 $E$ 的上界，即 $(\forall M' < M)(\exists x' \in E )(x' > M')$。

2、设 $E\subset \mathbb{R}$， $E\ne \emptyset$ 。如果存在一个实数$m$，满足以下的条件(1)和(2)，那么我们就把 $m$ 叫做集合 $E$ 的下确界：
　　(1) $m$ 是集合