第二章 实数

• 点击返回 《数学分析》B.A.卓里奇 笔记

定义 1 满足以下四组条件的集 $\mathbb{R}$ 叫实数集，它的元素叫实数，这些条件构成实数集的公理系统：

• (I)加法公理： 确定了一个映射（加法运算） $$+: \mathbb{R} \times \mathbb{R} \to \mathbb{R}$$ 使得对于 $\mathbb{R}$ 中任意二元 $x,y$ 之序对 $(x,y)$，有某元 $x + y \in \mathbb{R}$ 与之对应，称 $x+y$ 为 $x、y$之和，同时映射满足以下条件：
  • $1_+.$ 有中性元 $0$ 存在（叫做加法零元），使得$\forall x\in\mathbb{R}$ 有 $$x+0=0+x=x$$
  • $2_+.$ 每个元素 $x\in\mathbb{R}$有元 $-x\in\mathbb{R}$ , 叫做 $x$ 的负元，使得 $$x+(-x)=(-x)+x=0$$
  • $3_+.$ 运算 $+$ 是结合的，即 $\mathbb{R}$ 中任何 $x,y,z)$ 满足条件 $$x+(y+z)=(x+y)+z$$
  • $4_+.$ 运算 $+$ 是交换的，即 $\mathbb{R}$ 中任何 $x,y$ 满足 $$x+y=y+x$$
  • 拥有满足$1_+$，$2_+$，$3_+$的一个运算的集，叫做群；如果此运算为加法，那么称此群为加群；如果此运算是交换的，即满足$4_+$，那么这个群叫交换群或阿贝尔群（阿贝尔N.H.Abel(1802-1829) 挪威数学家）
• (II)乘法公理：确定了一个映射（乘法运算） $$\bullet:\mathbb{R}\times\mathbb{R}\to\mathbb{R}$$ 使得对于$\mathbb{R}$ 中任意二元 $x,y$ 之序对 $(x,y)$，有某元 $x \cdot y \in \mathbb{R}$ 与之对应，称 $x\cdot y$ 为 $x、y$之积，并且满足以下条件：
  • $1_\bullet.$ 存在中性元 $1\in\mathbb{R}\setminus0$ (乘法的中性元叫单位元) 使得 $\forall x\in\mathbb{R}$,有 $$x\cdot 1=1 \cdot x=x$$
  • $2_\bullet.$ 每个元 $x\in\mathbb{R}\setminus0$ 有元 $x^{-1} \in\mathbb{R}\setminus0$, 叫做 $x$ 的逆元，满足 $$x\cdot x^{-1} = x^{-1} \cdot x=1$$
  • $3_\bullet.$ 运算 $\bullet$ 是结合的， 即 $\forall x,y,z\in\mathbb{R}$ 满足 $$x\cdot (y\cdot z)=(x\cdot y)\cdot z$$
  • $4_\bullet.$ 运算 $\bullet$ 是交换的，即 $\forall x,y\in\mathbb{R}$ 满足 $$x\cdot y=y\cdot x$$
• (I,II) 加法与乘法的联系： 乘法对加法有分配性，即 $\forall x,y,z\in\mathbb{R}$, $$(x+y)\cdot z = x\cdot z + y\cdot z$$ 如果集合定义了满足上面所有公理的两个运算（加法乘法），就称此集是一个 代数域 或简称 域
• (III) 序公理： $\mathbb{R}$ 的元素间有关系 $\leqslant$, 即对 $\mathbb{R}$ 的元素 $x$ 与 $y$， 或满足 $x\leqslant y$, 或不满足，同时应满足一下四个条件：
  • $0_\leqslant.$ $\forall x \in\mathbb{R}(x\leqslant x)$
  • $1_\leqslant.$ $(x\leqslant y)\land(y\leqslant x) \Rightarrow (x=y)$
  • $2_\leqslant.$ $(x\leqslant y)\land(y\leqslant z) \Rightarrow (x\leqslant z)$
  • $3_\leqslant.$ $\forall x \in\mathbb{R}\forall y \in\mathbb{R}(x\leqslant y)\lor(y\leqslant x)$
  • $\mathbb{R}$ 中的关系 $\leqslant$ 叫做不等关系
  • 如果某集合的某些元素之间满足公理 $0_\leqslant$,$1_\leqslant$,$2_\leqslant$ 的关系，就称此集合为偏序集；如果又满足 $3_\leqslant$，即集合中任二元素可比较大小，则称此集合为线性序集
• (I,III) $\mathbb{R}$ 中的加法与序关系的联系: 如果 $x,y,z$ 是 $\mathbb{R}$ 的元素, 那么 $$(x\leqslant y)\Rightarrow(x+z \leqslant y+z)$$
• (II,III) $\mathbb{R}$ 中的乘法与序关系的联系: 如果 $x,y$ 是 $\mathbb{R}$ 的元素, 那么 $$(0\leqslant x)\land(0\leqslant y) \Rightarrow (0\leqslant x\cdot y)$$
• (IV) 完备（连续）公理: 如果 $X$ 与 $Y$ 是 $\mathbb{R}$ 的非空子集，且具有性质：对于任何 $x\in X, y\in Y$,有 $x \leqslant y$，那么，存在 $c \in \mathbb{R}$ ，使对任何 $x\in X, y \in Y$ 有 $x \leqslant c \leqslant y$

• 加法公理的推论：(以下证明过程见书）
  • 实数集中有唯一的零元
  • 实数集中的每个元素有唯一的负元
  • 方程 $a+x=b$ 在 $\mathbb{R}$ 有唯一的解 $x=b+(-a)$
• 乘法公理的推论：
  • 实数集中有唯一的单位元1
  • 对于每个数 $x \neq 0$，有唯一的逆元 $x^{-1}$
  • 方程 $a\cdot x=b$，当 $a\in \mathbb{R}\setminus0$时，有唯一的解 $x=b\cdot a^{-1}$
• 加法与乘法联系的公理的推论：
  • 对于任何 $x\in \mathbb{R}$, 有$x\cdot 0=0\cdot x=0$
  • $x\cdot y=0 \Rightarrow （x=0)\lor(y=0)$
  • 对于任何 $x\in \mathbb{R}$, 有$-x=(-1)\cdot x$
  • 对于任何 $x\in \mathbb{R}$, 有$(-1)\cdot(-x)=x$
  • 对于任何 $x\in \mathbb{R}$, 有$(-x)\cdot(-x)=x\cdot x$
• 序公理的推论：
  • 对于任何 $x,y\in\mathbb{R}$, 在 $$x<y,x=y,x>y$$ 中，恰有一种关系成立
  • 对于任何 $x,y,z\in\mathbb{R}$,有 $$(x<y)\land(y\leqslant z)\Rightarrow(x<z)\\(x\leqslant y)\land(y<z)\Rightarrow(x<z)$$
• 序与加法及乘法联系的公理的推论：
  • 对于任何 $x,y,z,w\in\mathbb{R}$,有 $$(x<y)\Rightarrow(x+z)<(y+z) \\ (0<x)\Rightarrow(-x<0) \\ (x\leqslant y)\land(z\leqslant w)\Rightarrow(x+z\leqslant y+w) \\ (x\leqslant y)\land(z<w)\Rightarrow(x+z<y+w)$$
  • 如果 $x,y,z\in\mathbb{R}$,那么 $$(0<x)\land(0<y)\Rightarrow(0<xy) \\ (x<0)\land(y<0)\Rightarrow(0<xy) \\ (x<0)\land(0<y)\Rightarrow(xy<0) \\ (x<y)\land(0<z)\Rightarrow(xz<yz) \\ (x<y)\land(z<0)\Rightarrow(yz<xz)$$
  • $0<1$
  • $(0<x)\Rightarrow(0<x^{-1})$, 且 $$(0<x)\land(x<y)\Rightarrow(0<y^{-1})\land(y^{-1}<x^{-1})$$

• 定义2： 设 $X\subset\mathbb{R}$ 是一集合；如果存在一数 $c\in\mathbb{R}$, 使一切 $x\in X$ 都满足$x\leqslant c(c\leqslant x)$, 就说集合 $X$ 是上（下）有界集。
• 定义3： 既有上界又有下界的集合叫做有界集
• 定义4: 对于 $X\subset\mathbb{R},a\in X$, 如果$\forall x\in X(x\leqslant a)$，则称 $a$ 为 $X$的最大元或极大元，（反之则是最小元或极小元）；形式写法为 $$(a=\max X):=(a\in X\land \forall x\in X(x\leqslant a)),\\ (a=\min X):=(a\in X\land \forall x\in X(a\leqslant x))$$ $\max X$读作“$X$ 的极大元”，有时也用 $\max_{x\in X}x$ 表示; 有界集不一定有极大元（极小元），比如 $X=\{x\in\mathbb{R}|0\leqslant x < 1\}$ 有极小元0，但没有极大元。
• 定义5： 集合 $X\subset\mathbb{R}$ 的上界中的最小者，叫做 $X$ 的上确界，写做 $\sup X$ 或 $\sup_{x\in X} x$,即 $$(s=\sup X) := \forall x \in X((x\leqslant s)\land(\forall s' <s \exists x'\in X(s'<x')))$$
• 定义6: 与定义5类似，得到下确界概念，写做 $\inf X$ 或 $\inf_{x\in X} x$,即 $$(i=\inf X) := \forall x \in X((i\leqslant x)\land(\forall i <i' \exists x'\in X(x'<i')))$$
• 引理（上确界原理） 实数集的任何非空有上界的子集有唯一的上确界
• 引理 类似的，有 $(X \textrm{下有界})\Rightarrow(\exists!\inf X)$

• 自然数集的定义：
  • 定义1： 如果对于集合 $X\subset\mathbb{R}$ 的每个数 $x\in X$, 同时有 $x+1 \in X$，就称 $X$ 为一个归纳集
  • 定义2： 包含数 1 的最小的归纳集，即含数 1 的一切归纳集之交，叫自然数集，用 $\mathbb{N}$ 表示，它的元素叫自然数
• 数学归纳原理： 如果 $E$ 是自然数集 $\mathbb{N}$ 的子集，$1\in E$,并且当 $x\in E$ 时，$x+1$ 也属于 $E$,那么 $E=\mathbb{N}$, 即 $$(E\subset \mathbb{N})\land(1\in E)\land(\forall x\in E(x\in E \Rightarrow (x+1)\in E))\Rightarrow E=\mathbb{N}$$
• 自然数的和与积是自然数
• $(n\in\mathbb{N})\land(n\neq 1)\Rightarrow((n-1)\in\mathbb{N})$
• 对于任何 $n\in\mathbb{N}$, 集合 $\{x\in\mathbb{N}|n<x\}$ 有极小元，并且 $$\min\{x\in\mathbb{N}|n<x\}=n+1$$
• $(m\in\mathbb{N})\land(n\in\mathbb{N})\land(n<m)\Rightarrow(n+1\leqslant m)$