− − − − − − 原 文 第 10 页 − − − − − \quad\quad\quad ------原文第10页----- −−−−−−原文第10页−−−−−
注意:下面的证明中用IR表示实数域,以区别于表示有理数域的R。
证 明 : 在 把 实 数 域 I R 分 割 成 两 个 部 分 △ 1 和 △ 2 的 同 时 , 包 含 全 体 有 理 数 \quad 证明:在把实数域IR分割成两个部分\triangle _{1}和\triangle_{2}的同时,包含全体有理数 证明:在把实数域IR分割成两个部分△1和△2的同时,包含全体有理数
的 系 统 R 也 被 分 成 了 两 部 分 A 1 和 A 2 , A 1 包 含 了 所 有 △ 1 中 的 有 理 数 , A 2 包 的系统R也被分成了两部分A_{1}和A_{2},A_{1}包含了所有\triangle_{1}中的有理数,A_{2}包 的系统R也被分成了两部分A1和A2,A1包含了所有△1中的有理数,A2包
含 了 其 余 的 全 部 有 理 数 , 即 △ 2 中 的 全 体 有 理 数 。 假 设 α 是 产 生 ( A 1 , A 2 ) 的 数 , 含了其余的全部有理数,即\triangle_{2}中的全体有理数。假设\alpha是产生(A_{1},A_{2})的数, 含了其余的全部有理数,即△2中的全体有理数。假设α是产生(A1,A2)的数,
若 β 是 一 个 异 于 α 的 数 , 那 么 α 和 β 中 间 存 在 无 穷 多 有 理 数 c 。 此 时 : 若\beta是一个异于\alpha的数,那么\alpha和\beta中间存在无穷多有理数c。此时: 若β是一个异于α的数,那么α和β中间存在无穷多有理数c。此时:
( 1 ) 若 β < α , 则 有 : \quad\quad (1)\quad 若\beta<\alpha,则有: (1)若β<α,则有:
c < α , 这 样 c 属 于 A 1 , 自 然 也 属 于 △ 1 , 与 此 同 时 , 由 于 β < c , 所 以 β 也 \quad\quad\quad\quad c<\alpha,这样c属于A_{1},自然也属于\triangle_{1},与此同时,由于\beta<c,所以\beta也 c<α,这样c属于A1,自然也属于△1,与此同时
戴德金--连续性和无理数--我自己做的中文翻译第10页
最新推荐文章于 2024-07-16 19:26:54 发布