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

\quad\quad\quad\quad\quad 原文第12页
\quad\quad\quad\quad\quad\quad 七、无穷小分析
这里,在结尾之际,我们应该解释一下前面的那些探讨和无穷小分析理论之间的关系。
\quad\quad 我们说一个无级变幅x通过连续确定数值靠近一个固定值α,就是指x最终会和α
共同处于某两个数之间,或者,x积累到与α共同位于这两数之间,此时|α−x|小于任意
事先给定的非零正数。
\quad\quad 一个重要的定理是这样说的:如果一个变数x持续增长,但是不会超过所有的限
制,那么它必然趋近一个极限值(译注:这里应该是指确界原理,例如不超过所有上界,
则必有上确界;或者下确界)。
我 用 下 面 的 方 式 来 证 明 上 述 结 论 。 假 设 存 在 一 个 α 2 , 有 x < α 2 , \quad\quad我用下面的方式来证明上述结论。假设存在一个α_{2},有x<α_{2}, α2x<α2
则 必 然 有 无 穷 多 个 数 α 2 , 使 得 x 始 终 < α 2 我 把 所 有 这 样 的 α 2 划 归 于 △ 2 则必然有无穷多个数α_{2},使得x始终<α2我把所有这样的α_{2}划归于△_{2} α2使x<α2α22
系 统 ; 其 他 的 数 α 1 划 归 △ 1 系 统 后 者 , 即 △ 1 , 其 中 的 每 个 数 字 , 都 有 这 系统;其他的数α_{1}划归△_{1}系统后者,即△_{1},其中的每个数字,都有这 α111
样 的 特 性 : 在 x 的 变 化 过 程 中 , x 最 终 会 ≥ α 1 , 这 样 每 个 α 1 都 小 于 α 2 , 则 样的特性:在x的变化过程中,x最终会≥α_{1},这样每个α_{1}都小于α_{2},则 xxα1,α1α2,
存 在 一 个 数 α , 它 或 者 是 △ 1 中 的 最 大 数 , 或 者 是 △ 2 中 的 最 小 数 ; 前 者 的 存在一个数α,它或者是△_{1}中的最大数,或者是△_{2}中的最小数;前者的 α,12
情 况 不 可 能 出 现 , 因 为 x 一 直 在 增 长 ( 译 注 : 如 果 △ 1 里 有 最 小 值 a , 根 据 情况不可能出现,因为x一直在增长(译注:如果△_{1}里有最小值a,根据 x(1a
△ 1 的 定 义 , x 最 终 会 > a , 则 a 显 然 不 是 最 小 值 , 另 , 这 里 的 证 明 不 适 用 于 △_{1}的定义,x最终会>a,则a显然不是最小值,另,这里的证明不适用于 1,x>a,a
l i m ( − 1 ) n n , 因 为 根 据 前 述 , 该 证 明 是 在 证 明 单 向 递 增 的 情 况 ) , 所 以 , α 是 lim\frac{(−1)^n}{n},因为根据前述,该证明是在证明单向递增的情况),所以,α是 limn(1)n,)α
△ 2 中 的 最 小 值 。 不 管 α 1 取 何 值 , 最 终 都 有 α 1 < x < α , 即 , x 靠 近 α 。 △_{2}中的最小值。不管α_{1}取何值,最终都有α_{1}<x<α,即,x靠近α。 2α1α1<x<α,xα
\quad\quad 这个定理等价于连续性原则,即,一旦我们假设一个数字不在域R中;或者表述为,
如果这个定理正确,那么V中的定理IV也正确。
\quad\quad 另一个分析无穷小的定理,与上述定理类似,也经常被用到,陈述如下:在x的
变化中,若对于每个事先给定的正数δ,我们都能找到一个与之对应的位置,从这个位置
之后,x的变动都会小于δ,那么x趋近一个极限值( 译注:应该是指柯西收敛准则)。
\quad\quad 上面这个定理是下面这个很容易证明的定理的逆定理:如果一个变量趋近某个极
限,那么最终该变量的变化量会小于任何给定正数。这个逆原理可以从前面的定理轻松
导出,也可以从连续性定理导出。我下面就用连续性定理来导出。设δ是任意正数,则
根据假设,存在一个时间点,在其之后,x的变化量将小于δ,即:如果此时的x=a,则
a−δ<x<a+δ。现在,我暂时不用原始的假设,而是使用已经被刚刚证明的定理,即,所
有后续的x的值,都将位于事先给定的两数之间。为此,我对实数做两组分割。对于系
统 △ 2 , 我 指 定 一 个 数 α 2 ( 例 如 , a + δ ) , 在 x 的 变 化 中 , 最 终 有 x ≤ α 2 ; 统△_{2},我指定一个数α_{2}(例如,a+δ),在x的变化中,最终有x\leq\alpha_{2}; 2α2,a+δ,xxα2
对 系 统 △ 1 , 我 指 定 其 包 含 除 △ 2 以 外 的 全 体 其 他 数 。 如 果 α 1 是 这 样 的 数 , 对系统△_{1},我指定其包含除△_{2}以外的全体其他数。如果α_{1}是这样的数, 12α1
那 么 不 管 这 个 过 程 进 行 了 多 久 , 都 会 发 生 无 穷 多 次 x > α 1 ( 译 注 : 原 文 那么不管这个过程进行了多久,都会发生无穷多次x>α_{1}(译注:原文 x>α1(
错 写 为 α 2 , 应 为 α 1 ) , 既 然 每 个 α 1 < 每 个 α 2 , − 接 下 页 错写为\alpha_{2} ,应为α_{1}),既然每个α_{1}<每个α_{2},-接下页 α2α1),α1<α2,

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

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值