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

− − − − − − 原 文 第 10 页 − − − − − \quad\quad\quad ------原文第10页----- 10
注意:下面的证明中用IR表示实数域,以区别于表示有理数域的R。
证 明 : 在 把 实 数 域 I R 分 割 成 两 个 部 分 △ 1 和 △ 2 的 同 时 , 包 含 全 体 有 理 数 \quad 证明:在把实数域IR分割成两个部分\triangle _{1}和\triangle_{2}的同时,包含全体有理数 IR12
的 系 统 R 也 被 分 成 了 两 部 分 A 1 和 A 2 , A 1 包 含 了 所 有 △ 1 中 的 有 理 数 , A 2 包 的系统R也被分成了两部分A_{1}和A_{2},A_{1}包含了所有\triangle_{1}中的有理数,A_{2}包 RA1A2A11A2
含 了 其 余 的 全 部 有 理 数 , 即 △ 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<αcA11,

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值