- 博客(14)
- 收藏
- 关注
RSS订阅原创 传统微分的糊涂定义
传统微分的糊涂定义 菲氏微积分对微分的定义如下：微分概念是在解决直与曲的矛盾中产生的，在微小局部可以用直线去近似替代曲线，它的直接应用就是函数的线性化。微分具有双重意义：它表示一个微小的量，同时又表示一种与求导密切相关的运算。微分是微分学转向积分学的一个关键概念。 微分的思想就是一个线性近似的观念，利用几何的语言就是在函数曲线的局部，用直线代替曲线，而线性函数总是比较容易进行数值计算的，因此
2017-11-29 16:14:18
1268
转载 莱布尼兹乘积微分公式证明纠错
莱布尼兹乘积微分公式证明纠错假定u与v是一元实函数，莱布尼兹微分公式成立： d（uv）= vdu + udv证明：（u+△u）（v+△v）- uv = udv+ v△u + △u△v等式两边除以△x，再取标准部分运算st，因为st（△u△V）= 0，所以，莱布尼兹公式成立。说明：当年，莱布尼兹的证明有错误，就在于他不懂超实数“st”运算，消除不掉最后一项。袁萌 11月29日
2017-11-29 12:54:49
5368
2
原创 超实平面上函数的微分定义
超实平面上函数的微分定义 假定*P是由两个超实数轴构成的超实直角坐标系，简称为超实坐标系。假定C是其上的一条曲线。设想p（x，y）是曲线C上的一点，曲线C在p点切线的斜率l定义如下： l = st（△y/△x），其中△x为非零无穷小。 按照莱布尼兹老祖宗的说法（历史上首创），曲线C定义了一个相应的函数f。函数f在p点横坐标x处的导数f’（x）定义为曲线C 在p点的斜率（Slope）
2017-11-29 11:38:12
1276
原创 超实数系*R能否安置在几何直线上？
超实数系*R能否安置在几何直线上？上世纪60年代，美国数学家鲁滨逊利用数理逻辑模型论紧致性定理引入了超实数系*R。这种新型数系*R，数字很多，能否将其完全安置在一条几何直线上？这的确是一个问题。根据集合论的良序定理（Well-ordered）,超实数集合*R当然是有序集合，所以将其安置在集合直线上不成问题。有了超实数轴，进而建立二维坐标平面，展开一元函数的微积分就不困难了。但是。查看一个几何点周围
2017-11-29 09:17:33
1483
原创 莱布尼兹论微积分的基础：关于无穷小量的真实性问题
Content莱布尼兹论微积分的基础：关于无穷小量的真实性问题 1998年，美国学者发表研究论文，题为“Leibniz on theFoundations of the Calculus: The Question of the Reality of InfinitesimalMagnitudes”，史料充实，观点清晰，值得一读。 回到三百年前，查阅莱布尼兹未发表的手迹以及有关资料，理清
2017-11-26 07:08:22
6593
原创 无穷小呼唤同路人
无穷小呼唤同路人近日，老翁发表三篇短文，吐露了我的心声。培养大批微积分人才，关乎国家建设之大事。经过近三百年的努力，数学家借助无穷小建立起现代数学大厦。饮水不忘掘井人。研究数学，必须还原历史，尊重我们的先辈。我年事已高，加之视力不好（青光眼），玩不转智能手机。我决定在读者中找寻知音，共同普及无穷小微积分、我发现，这两天读者人数锐减，留下的却是“铁杆”粉丝。希望有兴趣者在短文留言中留下您的联系方式。
2017-11-25 10:53:15
1145
原创 关于无穷小（Infinitesimal)的严格定义
关于无穷小（Infinitesimal)的严格定义毫无疑问，莱布尼兹是无穷小（理想数）的发明者。如果莱布尼兹能够穿越时空来到现在，当他看到人们把以零为极限的函数叫做“无穷小”时，一定会笑掉大牙。莱布尼兹为什么会笑掉大牙？当年莱布尼兹发明的无穷小的现代数学(版本)定义如下：1、THE EXTENSIONPRINCIPLE（伸展原则）(a) The realnumbers form a subset
2017-11-24 06:02:45
1430
原创 关于无穷小（Infinitesimal)的严格定义
关于无穷小（Infinitesimal)的严格定义 毫无疑问，莱布尼兹是无穷小（理想数）的发明者。如果莱布尼兹能够穿越时空来到现在，当他看到人们把以零为极限的函数叫做“无穷小”时，一定会笑掉大牙。莱布尼兹为什么会笑掉大牙？当年莱布尼兹发明的无穷小的现代数学(版本)定义如下：1、THE EXTENSIONPRINCIPLE（伸展原则）(a) The realnumbers form a subset
2017-11-24 05:57:52
4849
1
转载 微积分的两派之争：传统守旧派与现代公理派
微积分的两派之争：传统守旧派与现代公理派经过5年的艰苦努力，国内微积分阵营形成两大派：传统守旧派与现代公理派。当前的实际情况是，校园微积分疑难讲座堪比“明星演唱会”，听众人山人海，讲堂爆满。这是微积分传统守旧派的优势。但是，微积分现代公理派不甘示弱，无穷小微积分放飞互联网大课堂，针锋相对，以理服人。 说白了，微积分两派之争，目的只有一个：争夺下一代的年轻学子。袁萌 11月22日
2017-11-22 01:32:34
961
原创 一元实函数数的序偶定义
一元实函数数的序偶定义2013年10月19日，放飞博文“袖珍电子书的样本：一元实函数的定义”行动具有重大意义，打响了挑战传统微积分的第一枪。全文如下：作为一个样本，这大概是第一本微积分袖珍电子书。请读者注意该定义的布尔巴基学派严谨性、一般性的风格。一元实函数的定义：一元实函数是有序实数偶（a,b）的集合f，对任何一个实数a，必然发生以下两种情形：1，恰好有一实数b存在，使得有序实数偶（a,b）属于
2017-11-19 07:20:41
1985
原创 引入无穷小微积分的合理性
引入无穷小微积分的合理性我们设想，在实数集合R上，、定义了算术四则运算：+、－、×、÷，以及实数的大小顺序关系：≤。给定形式表达式：2+6,11+4，3×2,…，等等，等等（尽量多地设想）。我们规定，两个形式表达式用顺序关系“≤”连接起来，比如：2+1≤1。那么，这类形式表达式“2+1 ≤ 1”称为形式命题，记为 [2+1≤ 1]。 我们要问：形式命题[2+1 ≤ 1]是不是真的（真命题）？
2017-11-19 01:26:53
1502
原创 微积分只有一种，但是，模型却有两个！
微积分只有一种，但是，模型却有两个！2017年11月15日下午，中国人民大学信息学院数学系办公室安排我会见数学系朱来义教授，探讨微积分教学有关事宜。朱来义教授，1991年7月毕业于北京大学数学系，获博士学位。1991年起任教于中国人民大学信息学院，现任教于中国人民大学中法学院，1993年晋升为副教授，1997年破格晋升为教授。自任教以来先后承担过本科的《微积分》、《数学分析》、《复变函数》、《实变
2017-11-18 17:14:54
1876
原创 清华大学微积分教育领头人是谁？
清华大学微积分教育领头人是谁？经过网上搜索调查，清华大学，作为全国工科院校标杆院校，全校现行微积分教材的主编是韩云瑞教授（男，1941-）。1981年到清华大学数学系任教，先后曾任基础数学教研组主任，校聘微积分课程负责人，数学系副主任，连续几年被聘为清华大学责任教授。2004年起担任中国高等教育学会教育数学专业委员会副理事长。韩云瑞教授的学术研究领域为泛函分析和控制理论。2004年开始从事教育数学
2017-11-12 11:53:38
2983
原创 模型论的诞生及其对现代数学的影响
模型论的诞生及其对现代数学的影响简而言之，在上世纪数学形式化浪潮中，人们的目光对准了用形式语言描述的“理论”，研究这些形式理论的性质。比如，一个形式理论，在什么条件下，具有模型（Model）。由此，产生了所谓的“模型论”。假若把微积分用形式语言表述出来，作为一种形式理论，那么，实数系就是该“理论”的模型。在形式理论研究中，人们发现，只要这个形式理论的任意有限子集合（构成所谓“子理论”）有模型，则该
2017-11-03 04:17:46
1869
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人