\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},
我用下面的方式来证明上述结论。假设存在一个α2,有x<α2,
则
必
然
有
无
穷
多
个
数
α
2
,
使
得
x
始
终
<
α
2
我
把
所
有
这
样
的
α
2
划
归
于
△
2
则必然有无穷多个数α_{2},使得x始终<α2我把所有这样的α_{2}划归于△_{2}
则必然有无穷多个数α2,使得x始终<α2我把所有这样的α2划归于△2
系
统
;
其
他
的
数
α
1
划
归
△
1
系
统
后
者
,
即
△
1
,
其
中
的
每
个
数
字
,
都
有
这
系统;其他的数α_{1}划归△_{1}系统后者,即△_{1},其中的每个数字,都有这
系统;其他的数α1划归△1系统后者,即△1,其中的每个数字,都有这
样
的
特
性
:
在
x
的
变
化
过
程
中
,
x
最
终
会
≥
α
1
,
这
样
每
个
α
1
都
小
于
α
2
,
则
样的特性:在x的变化过程中,x最终会≥α_{1},这样每个α_{1}都小于α_{2},则
样的特性:在x的变化过程中,x最终会≥α1,这样每个α1都小于α2,则
存
在
一
个
数
α
,
它
或
者
是
△
1
中
的
最
大
数
,
或
者
是
△
2
中
的
最
小
数
;
前
者
的
存在一个数α,它或者是△_{1}中的最大数,或者是△_{2}中的最小数;前者的
存在一个数α,它或者是△1中的最大数,或者是△2中的最小数;前者的
情
况
不
可
能
出
现
,
因
为
x
一
直
在
增
长
(
译
注
:
如
果
△
1
里
有
最
小
值
a
,
根
据
情况不可能出现,因为x一直在增长(译注:如果△_{1}里有最小值a,根据
情况不可能出现,因为x一直在增长(译注:如果△1里有最小值a,根据
△
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+δ),在x的变化中,最终有x≤α2;
对
系
统
△
1
,
我
指
定
其
包
含
除
△
2
以
外
的
全
体
其
他
数
。
如
果
α
1
是
这
样
的
数
,
对系统△_{1},我指定其包含除△_{2}以外的全体其他数。如果α_{1}是这样的数,
对系统△1,我指定其包含除△2以外的全体其他数。如果α1是这样的数,
那
么
不
管
这
个
过
程
进
行
了
多
久
,
都
会
发
生
无
穷
多
次
x
>
α
1
(
译
注
:
原
文
那么不管这个过程进行了多久,都会发生无穷多次x>α_{1}(译注:原文
那么不管这个过程进行了多久,都会发生无穷多次x>α1(译注:原文
错
写
为
α
2
,
应
为
α
1
)
,
既
然
每
个
α
1
<
每
个
α
2
,
−
接
下
页
错写为\alpha_{2} ,应为α_{1}),既然每个α_{1}<每个α_{2},-接下页
错写为α2,应为α1),既然每个α1<每个α2,−接下页
08-24
169
07-16
598
“相关推荐”对你有帮助么?
-
非常没帮助
-
没帮助
-
一般
-
有帮助
-
非常有帮助
提交