唯物辩证法与数学基础.docVIP

全能近似分析的引论 1 数学理论中的一些困惑问题 (1) 线段的长度是实数吗？它会不会是超实数？时空是不是连续的，即是不是无限可分的？ (2) 能不能等于？等于什么？等于什么？究竟等于什么？ (3) 什么是无穷？无穷有没有终了？无穷大是变数还是定数？无穷小究竟又是什么呢？ (4) 点有没有大小？没有大小的点又是如何构成有长度的线段呢？打靶时击中靶心的概率是多大？物体按照瞬时速度运动的时段又是多长？ (5) 平行线的真实意义是什么？欧几里德平行线公理能不能作为定理？欧氏几何与非欧几何的实践意义与应用场合又有什么不同？ (6) -函数要不要有函数值？不可求长的曲线存在吗？圆周长是如何定义的？又如何进行计算？ (7) 数学的基础到底是什么？什么又是无穷集合？集合论或数理逻辑是数学的基础吗？ (8) 数轴是怎样构成的？实数集的基数到底是什么？伽利略的集合论困惑又该如何解决？ (9) 两个实数、之间，、、这三种关系中，是不是有且只有一个成立？布劳维尔(Brouwer)反例又该作如何解释？ (10) 维尔斯特拉斯(Weierstrass)定理的证明中排中律能不能应用？反证法的使用又有没有什么准则呢？ (11) 海涅(Heine)定理的反例该如何消除？这个定理到底能否成立？又如何成立？ (12) 选择公理的争论如何解决？巴拿赫-塔斯基(Banach-Tarski)分球奇论如何解决？ (13) 导数为什么要用极限方法计算？不用这种方法行不行？非标准分析能不能代替现行数学分析？ (14) 的傅立叶积分变换究竟是什么？ (15) 电学理论中发散积分该如何消除？ (16) 在运动中时钟是不是会变慢？ (17) 数学理论中形式公理系统的无矛盾性又该如何解决？ 2 释疑解惑的思路 曹俊云从1962年就开始对“连续型随机变量的基本事件发生的可能性是否为0”、“没有大小的点是如何构成有长度的线段”和“物体按照它的某一个瞬时速度运动的时段长是否为0”这三个类似的问题进行探讨. 为了解决这三类问题，作者曾把康托尔的超限数扩充为可以进行加、减、乘、除运算的扩充实数域. 其中，在这种数域中包含着“大于0而又小于一切正实数的实无穷小数”，其结构实质与A. 鲁宾逊的“非标准分析数域”或称“超实数域”相类似. 但在使用这种数域解释上述三个问题时，又遇到了新的问题. 这个问题是：虽然根据这种数域可以说点的大小是正的实无穷小，但这时原来的点中又有更小的点，那么这些更小的点的大小又是什么呢？ 就点的概念来讲，应区分为没有大小的理想点与有大小但其大小又足够小的近似点两类，并用对立统一法则去描述这二者之间的关系. 使用这种对立统一法则不仅可以解释上述三个问题，而且还可解释两千多年前芝诺所提出的飞矢不动等问题. 这种观点的实质是：采用了理想与现实、精确与近似之间的对立统一关系. 其次，数学上的“无穷”含义是什么？从芝诺(Zeno)到现在，始终存在着实无穷与潜无穷这两种观点的争论. 若否定实无穷观点，并肯定“无穷是无有穷尽”之意，那么即可把无穷大、无穷集合、无穷大平面、无穷长直线等都视作为人们无法构成的理想事物. 在研究这些理想事物时，又必须使用无穷依赖于有穷的思想方法，这样便可顺理成章地解释“三分律反例”问题、“平行线公理的争论”问题与“集合论中的悖论”等问题. 第三，测不准原则是讨论直线段长度时所必须尊重的原则．根据这个原则，重新对实数理论、数轴概念、初等几何、微积分学、数学物理方程、积分变换等问题进行审视，其结论就是数学、物理理论等都是人们对现实世界的观测及其为了解决物理量的表达方法，其实质就是理论与实践的对立统一．因而可将物理量区分为理想、近似、全能近似三个层次；其中，把理想性物理量定义为误差界趋向于0时的极限．因而，满足误差界的足够准近似方法就是理论与实践相结合的根本方法；数学理论则是根据近似方法从实践中抽象出来，而又以近似方法为手段应用于生产实践．这正是本书的基本思想． 3 全能近似分析释义举例 全能近似分析是以实践为基础的分析，它与现行数学分析有基础性差别，而与非标准分析则有对立性质的差别. 本书具有数学基础的意义，具有揭示数学理论的真谛与应用方法的特征. 下面仅以两个例子先加以说明． 3.1 测不准原则与直线长度极限性的公理性定义 对于线段长度，人们并无法得到“真值”的绝对准确地测定方法，这是必须尊重的事实，也是一个原则，并称“尊重这个事实的原则”为测不准原则. 根据这个原则，我们应当知道：任何线段都有一个真值为其理想长度，但是，我们却没有表示线段长度真值的绝对准测量方法. 这一原则可以作为建立数学理论的第一公理. 根据这一公理，对线段就需要理想长度(即真值)、近似长度(测定值应当看作是具有一定误差界的近似长度)两个. 理想长度与近似长度之间有着相互依赖的