单子(Monad)有多少?
来源:互联网 发布:sql最后一行值 编辑:程序博客网 时间:2024/04/24 07:48
单子(Monad)有多少?
在超实线上有许多成团状、紧密聚合在一起的结构叫做“单子”,单子中所有的超实数相互之间相差一个无穷小。
很显然的是,任何单子里面只能有一个普通的实数。所以,单子与实数一样多。但是,单子里面是否存在有一个普通的实数?这是一个关键性的问题。一般而言,在数学中,存在性的证明都是比较困难的。
在工科院校的微积分教学大纲中并不讲授实数的完备性。比如,单调、递增、有界的实数序列必定有极限。这一断言,当做一条公理来说的。
利用实数系统的完备性可以证明任何单子里面必定存在一个普通的实数。我们需要记住的是:这一结论是可以证明的。在此,暂时省略。
由此可见,无穷小微积分不是独立存在的,而是以传统微积分和谐共存的数学结构,也可以说是一种命运公共体。
在微积分中,数学家引入超实数,作为一种“理想数”,如同虚数一样,这是为了简化微积分而迈出的一大步。数学家是很可爱的,像数学家黎曼一样,有丰富的想象力。
一个连想都不敢想,那么,这个人什么也不要做了。老实说,无穷小放飞互联网计划也是一种大胆的想象!
袁萌 9月23日
阅读全文
0 0
- 单子(Monad)有多少?
- C++中的单子(最多只能有一个对象)
- C++中的单子(最多只能有一个对象)
- Scalaz(25)- Monad: Monad Transformer-叠加Monad效果
- 简单介绍函数式编程中的Functor(函子),Applicative(加强版函子),Monad(单子)
- Monad
- Monad
- 设计模式---单子(Singleton)
- 单子(Singleton)设计模式
- 模式四(单子模式)
- 单子(Singleton)设计模式
- Scalaz(19)- Monad: \/ - Monad 版本的 Either
- Monad in Hask(一)
- 单子设计模式解析(Singleton Pattern)
- 初识JAVA3(重载、单子模式)
- Haskell语言学习笔记(6)Monad
- SGU154 Factorial(结尾有多少0)
- n!末尾有多少0 (数论)
- maven项目开发环境搭建之四导入maven、web转maven
- SSH与SSM学习之Struts204——结果跳转方式
- Java 9 模块化(Modular)介绍
- SSH与SSM学习之Struts205——访问servletAPI方式
- Java堆排序(大顶堆)
- 单子(Monad)有多少?
- 数字分类
- SSH与SSM学习之Struts206——参数获取
- SSH与SSM学习之Struts207——OGNL基本语法
- iOS:使用YYModel实现本地JSON文件解析
- hdu 1728 逃离迷宫
- 富文本编辑器
- SSH与SSM学习之Struts208——OGNL表达式与Struts框架结合之原理
- 大顶堆的简单实现(java)