数学分析综合（五）

四、积分

方源、王元所著《微积分(上)》P186定理5.2.8的上确界(l.u.b)和下确界(g.l.b)，当二者合二为一时，就是一个“不可达极限”，与极限法求导数的情况一致。因为要“到达”此“确界”，需要小区间Δxi=0，但显然任何有限区间的积分又要求当这个小区间数n趋于无穷多时，这个小区间Δxi只能是与“无穷多”相对应的“无穷小”，而不能是0(对无穷个0积分，还是0)。就算把这个0看成是Δxi→0，但它肯定也是一个“不可达极限”，也就是这个“确界”是到达不了的。对一个根本就到达不了的“区间”，是无法积分的。而一但可达，再小必是不为0的无穷小区间，如此，其上、下确界差再小也不可能一致(上、下确界不相等)，也就是积分时不可能没有误差。因此，现有积分理论隐含一个矛盾：精确性要求的小区间的Δxi=0与可积性要求的Δxi ≠0矛盾。此情况与传统无穷小法或极限法求导所产生的问题毫无二致，不过更其隐蔽罢了。

在笔者基于增量中值的导数的微分定义以及上文公式(3)、(4)、(5)可以明显看出(同时由于不再需要无穷小或者并不真的存在的极限作为理论的必要条件)，微分与积分在新观点下并无本质区别。因为只要函数在某区间连续、单调，无论怎么分割这个区间还是不分割，都会有同一命名。当然在非严格的意义上，名词的区别还是可以保留的：积分是微分的累加或大些的微分；微分是小些的积分或积分的更小部分。可以看出，这个定义完全是相对的。本质是：小的微分的累加成积分，但此积分仍旧可以看成是一个大些的微分。这个观点，也可以由传统的微积分基本定理(函数的增量等于积分)看出。再考虑新诠释下的微分定义(公式(3))，我们可以得到

∫baf(x)dx=F(b)−F(a)=f(x)(b−a)=f(x)Δx∫abf(x)dx=F(b)−F(a)=f(x)(b−a)=f(x)Δx(6)

公式(6)左边是著名的微积分基本定理，右边是新的微分定义(公式(3))，其中的 F(b)−F(a)F(b)−F(a) ，是函数的增量。只不过传统理论不可能把这个“函数的增量”看成是微分(传统上微分的定义是函数增量的所谓“线性部分”或“线性主部”)，而按笔者理论或者解释，它完全符合精确的“微分”定义(即公式(3))。由公式(6)看出，积分、微分本质上是一回事。同时，在笔者解释或理论下，中值定理的内容，就是理论的出发点，它更多的是定义而不是定理。

此外，传统极限理论下的微分定义，为了回避极限(更何况是不可达极限)这个尴尬的概念，只能把微分定义成是(起码可以是)宏观量。仅就这一点看，与笔者理论诠释下的微分概念倒是一致的。但在使用微分(其实也是微分的唯一真正用途)求积分时，传统理论又不得不令其趋于0，也就是取0为极限。而这一切均被隐蔽于小区间数量的趋于无穷上。于是其实问题又回到了出发点。

总之，今后的积分，再无lim∫之类表述的必要，也不需要∫，只要∑就完全可以了。

参考文献（1）

附录：陶诗轩《实分析》一书中康托定理的证明

定理8.3.1 (Cantor定理) 设X是一个任意的集合(有限的或无限的)。那么集合X与2X不能有同样的基数。

证明：用反证法。设集合X与2X有同样的基数。那么存在X与X的幂集之间的双射。

f：X→2X。现考虑集合

A：={xϵX：xɇf(x)}

注意，这个集合是定义成功的，因为f(x)是2X的一个元素，从而是X的一个子集合。显然，A是X的一个子集合，那么它是2X的一个元素。由于f是双射，必定存在xϵX使得f(x) = A。于是出现两种情形，xϵA或者xɇA。如果xϵA，那么根据A的定义xɇf(x)，从而xɇA，发生矛盾。但是如果xɇA，那么xɇf(x)，于是根据A的定义，有xϵA，也是矛盾。不管哪种情形，我们都得到矛盾。█

注意：此证明中的符号ϵ，表示“属于”；ɇ，表示“不属于”。

参考文献（2）

[1]沈卫国. 论数学基础问题, 论自然科学的若干基本问题[M]. 福州: 海风出版社, 1998.

[2]沈卫国. 论熵、不可逆过程及数学中的无穷[M]. 福州: 海风出版社, 2009.

[3]沈卫国. 论康托对角线法的局限性与数学、逻辑学中的一些基础性问题[J]. 天津职业院校联合学报, 2008(3).

[4]沈卫国. 论序数及连续统的可数性问题与正则公理[J]. 天津职业院校联合学报, 2011(5).

[5]沈卫国. 关于康托对角线法推导问题的进一步解释及说明[M]. 国家科技图书文献中心预印本.

[6]沈卫国. 再论康托对角线法中隐含的简单形式逻辑问题[M]. 国家科技图书文献中心预印本.

[7]沈卫国. 康托对角线法及其错误的实质[M]. 国家科技图书文献中心预印本.

[8]沈卫国. 康托对角线法推导中的逻辑误区及其函数关系的再分析[M]. 国家科技图书文献中心预印本.

[9]沈卫国. 康托对角线法问题详析及由此引出的反证法使用中必须注意的误区[C]. 第11次全国科学逻辑研讨会论文集: 2016年卷. 芜湖: 安徽师范大学, 2016.

[10]沈卫国. 康托对角线法中的逻辑问题及由此引出的反证法使用中必须注意的推理误区[J]. 前沿科学, 2017(2).

[11]沈卫国. 增量分析视野下的测度问题、微积分求导及连续统的可数性[J]. 前沿科学, 2017(3).

数学联邦政治世界观提示您：看后求收藏（笔尖小说网http://www.bjxsw.cc），接着再看更方便。