VII.INFINITESIMALANALYSIS
这里,在结尾之际,我们应该解释一下前面的那些探讨和无穷小分析理论之间的关系。
我们说一个无级变幅x通过连续确定数值靠近一个固定值α,就是指x最终会和α
共同处于某两个数之间,或者,x积累到与α共同位于这两数之间,此时|α−x|小于任意事先给定的非零正数。
一个重要的定理是这样说的:如果一个变数x持续增长,但是不会超过所有的限制,那么它必然趋近一个极限值。
我用下面的方式来证明上述结论。假设存在一个,则必然有无穷多个数α2,使得x始终<α2
我把所有这样的α2划归于δ2系统;其他的数α1划归δ1系统
后者,即δ1,其中的每个数字,都有这样的特性:在x的变化过程中,x最终会≥α1,这样每个α1
都小于α2,则存在一个数α,它或者是δ1中的最大数,或者是δ2中的最小数;前者的情况不可能出现,
因为x一直在增长(我注:如果δ1里有最小值a,根据δ1的定义,x最终会>a,则a显然不是最小值,另,这里的证明不适用于
lim(−1n)n,因为根据前述,该证明是在证明单向递增的情况),所以,α是δ2中的最小值。不管α1取何值,
最终都有α1<x<α,即,x趋近α.
这个定理等价于连续法则,即,一旦我们假设一个数字不在域R中;或者表述为,如果这个定理正确,那么V中的定理IV也正确。
另一个分析无穷小的定理,与上述定理类似,也经常被用到,陈述如下:在x的变化中,若对于每个事先给定的正数δ,
我们都能找到一个与之对应的位置,从这个位置之后,x的变动都会小于δ,那么x趋近一个极限值。
如果一个变量趋近某个极限,则最终该变量的变化会小于任何给定正数,这个原理可以从前面的定理轻松导出,也可以从连续性
定理导出。我下面就用连续性定理来导出。设δ是任意正数,则根据假设,存在一个时间点,在其之后,x的改变将小于δ,即:
如果此时的x=a,则a−δ<x<a+δ。现在,我暂时不用原始的假设,而是使用已经被刚刚证明的定理
,即,所有后续的x的值,都讲位于事先给定的两数之间。在此基础上,我对实数做两组分割。对于系统δ1,其中的数α2(例如,a+δ),在x
的变化中,均>x;系统δ1,包含除δ2以外的其他数。如果α1是这样的数,那么不管这个过程进行了多久,都会发生无数次
x>α2(怀疑原文写错了,应为α1),既然每个α1<α2,那么必然存在一个确定的数α产生了实数系统R的这个分割(δ1,δ2),我称这个α为
x的上限,它总是有限的。类似的方式,作为变量x的结果,系统R的第二个分割产生了。数字β2(例如,a−δ)分配给B2,在x最终变得比
β大的过程中,;每个其他的β2,分配给B2的这些β2,有这样的特性:x永远不会最终大于这些β2;因此,有无穷多次x小于β2,
产生这个分割的β我称之为x的下限值。α和β有这样的特征:若ϵ是任意小的正数,最终会有x<α+ϵ和x>α−ϵ
而不会发生最终x<α−ϵ和x>α+ϵ。这样就只有两种可能,若α和β是两个不相同的数,那么只能是α>β,
因为\alha2持续>β2;变量x会左右摇摆,不管这个过程如何进行,最终会出现x的变动值超过(α−β)−2ϵ。这与我一开始的假设矛盾。
这样就只剩下最后一种情况,α=β,而且我们已经发现,不管任意指定的ϵ多么小,我们最终总能得到x<\alha+ϵ和x>β−ϵ
x靠近极限值α。证毕。
这些例子足以表明连续性法则和无穷小分析之间的联系。
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 记一次.NET内存居高不下排查解决与启示
· 探究高空视频全景AR技术的实现原理
· 理解Rust引用及其生命周期标识(上)
· 浏览器原生「磁吸」效果!Anchor Positioning 锚点定位神器解析
· 没有源码,如何修改代码逻辑?
· 分享4款.NET开源、免费、实用的商城系统
· 全程不用写代码,我用AI程序员写了一个飞机大战
· MongoDB 8.0这个新功能碉堡了,比商业数据库还牛
· 白话解读 Dapr 1.15:你的「微服务管家」又秀新绝活了
· 上周热点回顾(2.24-3.2)
2020-07-30 用有限覆盖证明闭区间上的连续函数,必然一致连续