实数构造与极限

实数

整数¹

整数，是序列 { ⋯   , − 4 , − 3 , − 2 , − 1 , 0 , 1 , 2 , 3 , 4 , ⋯   } {\{\cdots,-4,-3,-2,-1,0,1,2,3,4,\cdots \}} { ⋯,−4,−3,−2,−1,0,1,2,3,4,⋯}中所有的数的统称，包括负整数、零（0）与正整数。和自然数一样，整数也是一个可数的无限集合。这个集合在数学上通常表示粗体$Z或\mathbb{Z}$，源于德语单词Zahlen（意为“数”）的首字母

有理数²

数学上，可以表达为两个整数比的数$(\frac{a}{b},b̸=0)$被定义为有理数，例如$\frac{3}{8},0.75$(可被表达为$\frac{3}{4}$)。整数和分数统称为有理数

所有有理数的集合表示为$Q$，$Q+$,或$\mathbb{Q}$。定义如下：
Q = { m n : m ∈ Z , n ∈ Z , n ≠ 0 } \mathbb Q = {\{ {m \over n}:m \in \mathbb Z,n \in \mathbb Z, n \neq 0 \}} Q={ nm​:m∈Z,n∈Z,n̸​=0}

实数

分划

将全集$K$分划为两个子集$A,B$,则$A,B$满足

• $A\cup B=K$
• $A\cap B=\Phi$

戴德金分划

将全集$\mathbb{Q}$分为$A,B$两个集合
$$\begin{gathered} s.tA\cup B=\mathbb{Q} \\ A\cap B=\Phi \\ \forall a\in A,b\in B \\ 有a<b \end{gathered}$$

1. 若戴德金分划所切割的值为$a$,而$a$刚好为A的上界³,则集合A中存在极大值，且B中不存在极大值

2. 若戴德金分划所切割的值为$b$,而$b$刚好为B的下界³,则集合B中存在极小值，且A中不存在极大值

3. 若戴德金分划所切割的值为$c$,而$c$既不在集合A中，也不在集合B中,则集合B中不存在极小值，且A中不存在极大值

其中第1,2点称为有理分划,分划所对应的数为有理数
第3点称为无理分划，分划所对应的数为无理数

实数的定义

实数是有理数和无理数的总称

实数的性质

• 稠密性

• 有序性
  全集$\mathbb{Q}=A\cup B$ 分划1
  全集$\mathbb{Q}=A^{\prime }\cup B^{\prime }$ 分划2
  若$A\subset A^{\prime },$则$1<2$

• 单调有界序列存在极限

元素个数

势

定义
集合元素的个数
等势
两个集合间元素可一一对应

自然数与整数

自然数$(\mathbb{N})$个数= 整数$(\mathbb{Z})$的个数 $\leftrightarrow$ 自然数与整数是等势的
$\mathbb{N}1,2,3,4,5,\cdots$
$\mathbb{Z}0,1,-1,2,-2,\cdots$

自然数与有理数

自然数$(\mathbb{N})$个数=有理数$(\mathbb{Q})$个数$\leftrightarrow$自然数与整数是等势的

如上图，将有理数排列为一个二维阵列，从左上角$(1,1)$开始沿着对角线蛇形遍历所有数，遍历顺序如下:
$(1,1{)}_{\frac{1}{1}}^1\to (1,2{)}_{\frac{1}{2}}^2\to (2,1{)}_{\frac{2}{1}}^3\to (3,1{)}_{\frac{3}{1}}^4\to (2,2{)}_{\frac{2}{2}}^{-1}\to (1,3{)}_{\frac{1}{3}}^5\to (1,4{)}_{\frac{1}{4}}^6\to (2,4{)}_{\frac{2}{4}}^{-1}\to \cdots$

其中$(a,b{)}_d^c$,$a$代表横轴位置为$a$，$b$代表纵轴位置为$b$，$c$代表第$c$次遍历。$d$代表第$c$次遍历的结果为$d$

如$(1,2{)}_{\frac{1}{2}}^2$，则表示第2次遍历，遍历位置为$(1,2)$,遍历结果为$\frac{1}{2}$

如果第$i(c=i)$次遍历结果与第$i-n(c=i-n,n>0)$次遍历结果相同，则舍弃此次遍历，并将$c$记为$-1(c=-1)$

则遍历次数$c(c=\mathbb{N})$与遍历结果$d(d=\mathbb{R})$一一对应，即$\mathbb{N}$与$\mathbb{R}$一一对应

自然数与实数

自然数$(\mathbb{N})$个数 < 实数$(\mathbb{R})$个数$\leftrightarrow$自然数的势小于实数的势

1. 实数$(\mathbb{R})$与$(0,1)$之间的实数一一对应
   构建函数$y=\tan (x\pi -\frac{\pi }{2})$,其中$x\in (0,1)$
   $x\to 0:y\to -\infty \lceil 1\rfloor$
   $x\to 1:y\to \infty \lceil 2\rfloor$
   由$\lceil 1\rfloor ,\lceil 2\rfloor$可知，实数$(\mathbb{R})$与$(0,1)$之间的实数一一对应
2. 假设自然数$(\mathbb{N})$与实数$(0,1)$一一对应
   则对应关系如下:
   $1\leftrightarrow$