锋利的戴德金“刀”并没有耗尽直线上所有的几何点
在欧氏几何中，直线是“Lenght without breadth”（有长度没有宽度），而且在直线上只涉及到有限多个“几何点”。这种观念，实际上很粗糙。
回顾历史，在十六世纪初期，法国大数学家笛卡尔首次把”数与欧氏直线上的“几何点”联系起来，提出“点”的坐标概念。但是，数与点相比，哪一种更为多一些呢？几何直线上的“点”够用不够用？老祖宗笛卡尔也搞不清楚。1872年，德国数学家戴徳金（R.Dedeking)发明了一种”理想刀“，对准欧氏直线进行”切割“（也叫“分割”），由此，戴德金发现了直线上存在“空隙”，于是，在有理数的“缝隙”处插入一种新型的数学对象，这就是所谓的“无理数”，比如，2的平方根。由此，数学家连“无理的”数“也引入到欧氏直线上了。
在菲氏《微积分学教程》的绪论中，也是这么做的，利用锋利的戴德金”刀“来分割直线，引入了无理数，从而，最终构造出”实数系R”。由此可见，其实”实数“（Real numbers）在数学上并不”实在“，不是真实的物理量（仅仅是其”替身“）。复旦大学编写的《数学分析》教材就把数学量与物理量搞混了。
2005年，莫斯科大学为纪念该校成立250周年重新出版了一系列”俄罗斯数学教材“名著，其中就包括了菲氏的《微积分学教程》。该书编者A.A.弗罗连斯基在序言中说：”该《教程》极少使用集合论的任何内容（包括记号），同时保留了叙述的全部严谨性。“还说：”该《教程》的内容是20世纪初最后形成的现代数学分析的经典部分（不含测渡论与一般集合论）。“反观我们国内的微积分教材，其实际水平还赶不上菲氏微积分。
进入上世纪下半期，集合论全面”亮相“，横扫一切。布尔巴基的”超滤器“替代戴徳金“刀”，进一步向古老的欧几里德直线挑战，认为戴徳金”刀“并未”穷尽“直线上的全部”几何点“，又挖出”单子“与”银河“等数学概念，重新构建了现代微积分学，把微积分彻底建立在集合论基础之上。
现在，要搞微积分学的袖珍电子书，有两条路可走：一是重返不用集合论的菲氏《微积分》；二是跟随J.Keisler的现代无穷小微积分（在数学上，做”跟屁虫“并不丢人）。是前进，还是后退呢？做出正确选择是很困难的。那些贪吃的猪头会说，要适应社会的实际，不能冒进。看起来，我倒成了一个”激进分子“，不敢不敢。老年人就得及早”休息“，让年轻人冲在前面，这样国家才能兴旺发达。
锋利的戴德金“刀”并没有耗尽直线上所有的几何点相关推荐
- 数字 阅读与创造——读戴德金之三
标题数字 阅读与创造--读戴德金之三 17世纪末叶,德国学者莱布尼兹在设想普遍语言可能的时候,从算术加想到了逻辑加.逻辑大概从这个时候开始,就和数学有了一种天然的联系.莱氏的这个设想经历一个半世纪,大 ...
- 哥德尔定理的背景知识1：戴德金的数观念——哥德尔逻辑与哲学之3
哥德尔定理的背景知识1:戴德金的数观念--哥德尔逻辑与哲学之3 哥德尔的东西有点难度,但既然有了做的念头,也不能轻言放弃.有了这个目标,你就朝着这个目标逐渐逼近好了,即使到不了终点,在这个逼近的过程中 ...
- 使用戴德金分割法从有理数域构造实数域（上）
介绍 这里从有理数域(记为QQQ)开始,构建一个具有最小上界性的有序域,这个具有最小上界性的有序域,我们一般称它为实数域(记为RRR).这里可以提取出RRR的两个核心特征: RRR是有序域. RR ...
- 关于戴德金分割的几点思考
谨以此文纪念杨振宁.李政道先生获得诺贝尔物理学奖60周年. 由无理数引发的数学危机一直延续到19世纪,直到1872年,德国数学家戴德金从连续性的要求出发,用有理数的"分割"来定义无 ...
- 使用戴德金分割法从有理数域构造实数域（下）
(由于平台对文章篇幅限制,此文分为上下两个部分,开头部分请参阅<使用戴德金分割法从有理数域构造实数域(上)>) 满足乘法与加法的分配律 这里取任意α\alphaα,β\betaβ,γ∈ ...
- 戴德金的数学归纳法定理证明，有哪些观念背景？——读戴德金之四
标题戴德金的数学归纳法定理证明,有哪些观念背景?--读戴德金之四 2021年读书的第一件事,就是弄明白一点戴氏的数归法.严格成型的数学归纳法,据说是1575年从意大利的一位数学学者(Maurolico ...
- 数的扩充与戴德金分化
最近在看<什么是数学>,在看到第六章证明单调序列有界必有极限的证明时,发现还有另一种证明方法,需要了解戴德金分化的知识,所以又在图书馆找到了<数学分析原理>教材,学习戴德金分化 ...
- 戴德金的数学归纳法 戴德金读后之五（尾篇）
标题 戴德金的数学归纳法 戴德金读后之五(尾篇) 理解戴德金完全归纳法的观念背景,似乎是在做一场哲学思辨.你面对的是那些在生活学习中经常碰到的一些抽象物,引你遐思,好像总能有些许领悟的感觉.但是,当你 ...
- 戴德金：数是人类心灵的自由创造；皮亚诺：他的公理和属于关系-------读皮亚诺之三
标题戴德金:数是人类心灵的自由创造:皮亚诺:他的公理和属于关系-------读皮亚诺之三 几乎是在同一个时段,但在不同国度,一个德国,一个意大利,对同样的算术所作的研究,产生了两种语言下的算术著作.一 ...
最新文章
- 即学即用的30段Python实用代码
- Shell test命令（Shell []）详解，附带所有选项及说明
- CKEditor的安装与基本使用（JSP）
- web---jsp文件乱码的解决办法
- 用构造函数来完成结构体的初始化
- Spring 3.1缓存和@Cacheable
- html语言基础tr,HTML tr 标签
- mac下java环境变量配置
- WiFi（网络）调试Android手机
- Android：沉浸式状态栏（一）工具类
- Office2010安装时提示：若要安装 Microsoft Office 2010,需要MSXML 版本 6.10.1129
- ISO20000与ITIL、ISO27000、CMMI、BS25999的相互区别
- 三种 绘制奈奎斯特曲线 的方法
- Java中的观察者模式详解
- SAP——ABAP报表的一般格式
- java jsoup jar包_jsoup jar包
- 人的一生七八十年，到底该如何度过?
- Java8 stream特性之一：List转Map方案（返回某个属性或对象本身）
- SINS/GNSS组合导航：捷联惯导静基座下初始对准 （一）粗对准（Matlab）
- 第3关：匿名函数应用