微积分（Calculus）中的显微镜与望远镜
今天是J.Keisler教授的76岁生日。在此，我们祝贺他。他对微积分的贡献是什么呢？为什么？
从历史上来看，人类能够掌握微积分堪称是一项“奇迹“。从实质上来看，微积分（Calculus）就是关于变动量的理论，牛顿称之为”流量术“，研究什么”消失中的量“(难道还有正在产生中的量？)。变量是什么？按照当年苏联的微积分教科书的定义，”变量“就是在某一个数集里面取值的符号。建立一个自圆其说的微积分”理论体系“不是一件很容易的事情。
经历了300多年的孕育过程，在1870年前后，现代严格意义上的微积分学终于在外尔斯特拉斯及其弟子（学生）康托尔的手中完成了。从此之后，微积分的数学大厦建立起来了，无穷小没有任何”存身之地“，名誉扫地。大家知道，基于（ε，δ）语言的极限论（Limit theory）是微积分的核心部分。但是，奇怪的是在用基于（ε，δ）语言构造的微积分中，什么”无限地趋近“，”任意小“的种种说法仍然不绝于耳。这是什么原因呢？为什么”无穷小“的幽魂始终不肯散去？
1960年，A.Robinson用数理逻辑的模型论证明了一个事实：人们可以另外构建一座微积分大厦（功能与原来的那一座微积分大厦完全一样），但是在其中存在无穷小与无穷大。对此，人们震惊了。由此，人们也终于觉醒了。当时，世界模型论的”领头羊“AlfredTarski正好在指导学生J.Keisler专攻模型论的核心课题”超积“（Hyperproduct）。1961年，J.Keisler取得了博士学位，并且立即着手构建那座全新的微积分大厦。简而言之，就是把无穷小重新引入现代严格意义上的微积分研究领域，使“无穷小”的幽灵复活。这可不是一件简单的事情。
在微积分重建过程中，J.Keisler发明了一种功能强大的显微镜与望远镜，能够洞察极端微小与极为遥远的“空间”，如下图所示：
在上图中，”Microscope”（显微镜）用于观察无穷小范围的情景，“Telescope”(望远镜)用于观察无穷大范围的情景。这里要注意的是：这个无穷小显微镜只能对准一个实数的“点”，放大倍数是无限大，而且，在显微镜的视野里面只能看到一个“实点”（Real point），其余都是超实点“，相互无限地接近，构成一个所谓的“单子”（Monad）。同样地，在望远镜的视野中，只能看到一个“银河”（Galaxy)，一个“银河”里面全是无限远的”超实点”。
事实上，J.Keisler首创的显微镜与望远镜的理论根据是模型论的相关定理（Compactnesstheorem）。这一点，J.Keisler在“Foundationof infimitesimalcalculus”最后一章（第15章）有所交代。有趣的是，在无穷小显微镜视野里面，我们所看到的直角三角形都是无穷小三角形，它们竟然还遵守勾股玄定理。奇怪不？我们可以说，这两个“宝镜”就是J.Keisler对初等微积分的最大贡献（独创）。且听下回分解也。
微积分（Calculus）中的显微镜与望远镜相关推荐
- 《基础微积分教材中译版》上线计划预告
经过多方联系,<基础微积分教材中译版>开始翻译,计划两个月以内完成全部翻译工作. 在此期间,我们将发布有关该中译版的目录及部分内容.供大家免费下载学习. 特此预告. 袁萌 2021年11月 ...
- html狙击瞄准特效,如何给视频加特效：制作电影中狙击场景效果 望远镜效果视频...
其实很多破案的侦查的电影或是电视剧中,会出现狙击的画面,就是镜头显示的是一个枪内部,瞄准一个人的画面,还有望远镜内部的画面效果,这些其实都是可以后期添加到视频画面上的哦,是不是觉得很有趣,自己也能够给 ...
- 《基础微积分教材中译版》--序言
一. 第一版序言 微积分最初是利用无穷小量或无穷小数的直观概念发展起来的.但在过去的一百年里,出于数学严谨性的原因,微积分课程已经摒弃了无穷小量的概念.学生们只能在没有原始直觉的情况下学习这门学 ...
- 微积分在图像处理中的应用
[数字图像处理]七.MFC图像增强之图像普通平滑.高斯平滑.Laplacian.Sobel.Prewitt锐化详解 https://blog.csdn.net/Eastmount/article/de ...
- 将微积分基本定理中的牛顿-莱布尼兹公式写成散度定理的形式
我们知道,闭合曲线下的格林公式和封闭曲面下的高斯散度定理,它是许多自然科学最基本的定理和基石.对于这些定理的讨论有很多文章和解答,本篇我们不再讨论,而是将其延伸, 都知道一元微积分最基本的公式,即牛顿 ...
- 《基础微积分教材中译版》--11.3偏导数
偏导数是用来研究两个或两个以上变量的函数的变化率的量.一般来说,z=f(x,y)的变化率取决于x的变化率和y的变化率.偏导数处理的是只有一个自变量在变化,而另一个保持不变的最简单的情况. ...
- 微积分学和算法分析中的O, o
微积分学和算法分析中的OOO, o" role="presentation">ooo 引言 微积分中有无穷小和有界的概念,对应的符号分别为OOO, o" ...
- 【微积分的本质|笔记】绪论——微积分中的核心思想
绪论 说明:相信很多看<本质>系列及阅读笔记的读者之前已经接触过微积分的课程,笔者亦同. 因此这一系列的笔记,我会着重记录一些直观理解以及启发性的观点,忽略公式的记忆和推导部分. 微积分体 ...
- 精编，精讲，精练，精益求精---AP微积分第10版在精雕细琢反复打磨中与你相遇
精编,精讲,精练,精益求精-AP微积分第10版在精雕细琢反复打磨中与你相遇 AP微积分是美国大学38个专业的必修与选修课程,登陆中国以来,发展迅猛,汹涌澎湃,几乎成为高中留学生必选的课程,然而AP微积 ...
最新文章
- 资源过于敏澸，8h删！这波福利....请笑纳。。
- LeetCode Minimum Path Sum(动态规划)
- spider RPC入门指南
- 软件设计师 - 系统测试
- bootstrap中分页、面包屑导航、列表组、卡片、下拉菜单、折叠
- Flask开发服务器
- MYSQL常用查询函数
- [导入]CLR探索系列：Server and Workstation Garbage Collection探索（垃圾回收系列）
- 深度IP转换器安卓版APP怎么修改OPPO手机IP地址
- 派对屋效果器调试_派对屋DAK-780使用说明书
- Word表格外的第一个空行如何删除
- 高德地图地理编码和逆地理编码,以及逆地理编码的时候如何去掉省、市、镇
- Hot Research Topics
- 人生到处知何似，应似飞鸿踏雪泥
- Anchor-based 与 Anchor-free
- iOS 一步一步带你实现引导页
- win11 右下角图标（网络，音量，电量）点击无反应解决方法
- win ce系统如何知道u盘正版授权_从零开始的电脑系统重装
- spss modeler建模3
- 最佳实践 | 助您提升应用的无障碍功能