戴德金--连续性和无理数--我自己做的中文翻译第8页

最新推荐文章于 2024-09-17 11:03:18 发布

forkgap

最新推荐文章于 2024-09-17 11:03:18 发布

阅读量162

点赞数

分类专栏：戴德金--连续性和无理数--我自己做的中文翻译文章标签： c语言

本文链接：https://blog.csdn.net/forkgap/article/details/120009653

版权

戴德金--连续性和无理数--我自己做的中文翻译专栏收录该内容

12 篇文章 1 订阅

订阅专栏

$\quad\quad\quad\quad$ -----原文第8页------
$第一类中。如果此时，我们对两个分割中的第一类A_{1}和B_{1}进行比较，会有如下结果$
$\quad1. 他们完全相同。即，每个包含于A_{1}的数，也包含于B_{1},且每一个属于B_{1}的数，$
$也包含在A_{1}中。在这种情况下，A_{2}与B_{2}必然相同。因此，这两个分划(cut)，(A_{1},A_{2})和$
$(B_{1},B_{2})完美相同，我们用符号表示为\alpha=\beta或\beta=\alpha。$
$\quad\quad 但是，如果A_{1}与B_{1}不同，那么在一个类，例如，A_{1}$ 中，存在一个数 $a_{1}$ ’= $b_{2}$ '没有包
$含在B_{1}中，则自然位于B_{2}中；于是，所有包含在B_{1}中的数b_{1}当然小于这个数$
$a_{1}$ ‘= $b_{2}$ ’，因此,所有 $B_{1}中的数b_{1}都包含于A_{1}中。$

$\quad2.如果A_{1}中只有一个数a_{1}'是B_{1}所没有的，则A_{1}中所有其他数字a_{1}也被包含于B_{1}中，且$
$\quad\quad有a_{1}小于a_{1}',即，a_{1}'是A_{1}中的最大的一个数，于是这个分划(cut)(A_{1},A_{2})由有理数$
$\quad\quad$ a= $a_{1}$ ’= $b_{2}'产生。再看(B_{1},B{2})。我们已经知道B_{1}中的所有数b_{1}也都包含在A_{1}$
$\quad\quad$ 中，且小于 $a_{1}'$ = $b_{2}',b_{2}'，该数包含于B_{2}中；B_{2}中包含的其他数字b_{2}必然大于b_{2}'$ ，
$\quad\quad$ 否则 $b_{2}$ 就会小于 $a_{1}'，从而包含于A_{1}和B_{1}；这样b_{2}'就是B_{2}中的最小数。于是，$
$\quad\quad$ 分划(B_{1},B_{2})也是由同一个有理数 $\beta$ = $b_{2}$ ’= $a_{1}$ ’= $\alpha$ 产生。这两个分划仅
$\quad\quad$ 仅是非本质的不同；

$\quad 3.如果在A_{1}中至少有两个数a_{1}'=b_{2}',a_{1}''$ = $b_{2}$ ’’,不在 $B_{1}$ 中，那么就有无数个这样的数存在。
$\quad\quad因为在这两数之间存在无穷多的数，都在A_{1}中，却都不在B_{1}中。这种情况下，$
$\quad\quad 我们说对应于两个本质上不同的分割(A_{1},{2})与(B_{1},B_{2})的两个数\alpha 和\beta 是不同的，$
$\quad\quad$ 并且更进一步，我们说 $\alpha$ > $\beta$ ，或者说 $\beta$ < $\alpha$ ,需要注意的是，这个定义与前面当
$\quad\quad \alpha和\beta$ 都是有理数时的定义完全一致。

剩下的可能出现的情况如下

$\quad4.如果在B_{1}$ 中存在一个且只有一个 $b_{1}'$ = $a_{1}'$ ， $不属于A_{1},那么(A_{1},A_{2})与(B_{1},B_{2})仅仅是$
$\quad\quad$ 非本质性区别，并且都是由同一个有理数 $\alpha=a_{2}'=b_{1}'=\beta产生；$

$\quad 5. 但是，如果B_{1}中至少有两个数是A_{1}中没有的，那么\beta>\alpha,或\alpha<\beta;$

$\quad$ 上述讨论遍历了全部情况，可知，对于两个不同的数，其中一个或者大于另一个,或者小于另一
$个，只有这两种情况出现，不存在第三种可能。这一点在指定\alpha和\beta的大小关系时$
用到过，但是直到现在才给予了证明。在进行上述研究时，必须加倍小心，以防把其他领域的
概念，在根本不允许的情况下，照搬到其他领域中。