<style type="text/css">
<!--
@page
{margin:2cm}
p
{margin-bottom:0.21cm}
-->
</style>
在上世纪中叶,以哥德尔为首的数理逻辑先锋派,高举数学公理化的旗帜,为无穷小恢复了名誉。1976年,J.
Keisler在A.Robinson的非标准分析基础上,做了进一步的具体细化与完善,出版了《基础微积分》(无穷小方法)教材。
很明显的事实是,引进无穷小就必须扩大原有的实数系R,使其成为”超实数“有序域*R。这就带来了一些新的问题。在*R中,如果两个超实数x,y相差一个无穷小,就说它们无限地接近,记为x≈y。显然,关系”≈“具有自反性、对称性与传递性,因而,关系“≈”是一个*R上的等价关系。在”≈“等价关系的作用下,超实数系*R成为一种”団状物“的大聚合。在数学界老前辈Leibniz”单子论”的感召下,现在的人们称这种”団状物“为“单子”(Monad)并且记为:
Monad(x)= {y∈*R┃y≈x}
在这种超实数“团状物”里面,有无数的相互无限接近超实数,但是,其中有没有原有的实数呢?假定有,那么,单子里面也只能容纳一个实数,因为,两个不同的实数不可能无限地接近,使其同存于一个单子之中。那么,单子里面到底有没有原有的实数呢?研究结果表明:在原有实数系R上的单子里面都有一个实数,正巧是“一对一”。其根源就是,因原有实数系统R是一个完备的有序域(OrderedField)。在单子里面,超实数继承了原有实数系的某些基本特性。
在一个超实数“单子”里面,许许多多的超实数团聚在一个原有实数r的周围,以其为它们的共同“凝聚中心”。人们称这个“凝聚中心”r为该单子里面超实数的“标准部分”(standardpart),并且引入记号:st(x)=r。由此可见,“st”是链接超实数*R与实数R的一个”桥梁“。
Let x and y be finite,then:
1)x≈
y if and only if st(x) = st(y).
2)x≈
st(x).
3)If
r ∈ R then st(r) = r.
4)If
x ≤ y then st(x) ≤ st(y).
这4条基本性质并不是很显然的,都存在严格的证明。函数st的性质还有很多,在此,我们暂且不提。
进入本世纪初,超实连续统(HyperContinuum)得到迅速发展及应用,单子结构显示出巨大的潜力。我们不能掉以轻心。实际上,斜率、速度、导数、微分与积分这些基础概念都是借助函数”st“来定义的。
分享到:
相关推荐
Monad入门,简介。英文版。介绍什么是Monad,以及如何使用Monad,还有如果自己定义Monad。
通过理解单子,我们可以更好地理解和使用Haskell的IO系统,从而与现实世界进行交互。 文档首先对比了纯函数编程和命令式编程的特点,阐述了纯函数如何处理现实世界中的问题。接着,文章介绍了单子和其关键操作符(>>...
它开始是一个实验,记录在,查看动机和与其他方法的比较等。 代码使用的功能代替 Haskell 的类型类。 这里采用的方法采用两种技术:(1) monad 表示之间的强制转换,以及 (2) “未定”准 monadic 占位符值。 综合...
"Android-Monad,像scala那样的android上的monad.zip"就是一个致力于将函数式编程中的Monad概念引入Android开发的开源项目。Monad是一种抽象的编程构造,源自纯函数式编程语言,如Haskell和Scala,它允许开发者在处理...
平行哲学与智能科学:从莱布尼茨的Monad到区块链之DAO 本文从新的角度回顾科学和哲学的本源,认为需要以新的思想发展人工智能和智能技术及其相应的智慧社会。围绕卡尔•波普尔的三个交织世界的现实观,提出面向描述...
我们开发了几何方法来计算带有monad和扩展束的杂散弦论的瞬时超势。 使用我们的方法,我们发现了许多不失超势的例子。 考虑到标准消失定理,我们推测这些结果很可能归因于瞬时模量空间的非紧致性。 对于单子束的...
Monad,作为一种编程范式...在Coq这样的证明环境中,Monad能够帮助我们构建和验证涉及状态、计算控制等复杂逻辑的证明,而“monad:将单子语言翻译成逻辑”这一主题则引导我们探索如何将这种编程范式与形式逻辑相结合。
标题与描述中的核心知识点是关于Haskell编程语言中IO单子(Monad)的概念、作用及其实现原理。Haskell是一种纯函数式编程语言,强调无副作用的函数调用,但在实际编程中,如文件读写、网络通信等操作却不可避免地...
所有单子 也许 列表 状态 附加工具(类和功能) 异步流 流 投 克隆 去抖时间 平等 杂凑 等待 例子 Monad的例子 Monad变压器示例 应用程式1 带Monad变压器的App 2 安装 在库中使用ES5(Array.map,Array.reduce,...
例如,一个需要访问数据库的函数,可以接受一个提供数据库连接的闭包作为参数,这样可以将环境(如数据库配置)与具体业务逻辑分离,使得代码更易测试和复用。 3. **Try Monad**:Try Monad 主要用于处理可能抛出...
#### 三、Monad与(>>=)组合器(Monads and the (>>=) Combinator) 该章节介绍了Monad的基础概念及其核心运算符(>>=)。Monad是Haskell中用于处理副作用的一种抽象数据类型。它允许开发者以一种类型安全的方式处理...
Monad 是微软在早期提出的一种编程模型,主要用于解决 .NET Framework 中异步操作和资源管理的问题。Monad 是一种函数式编程的概念,它提供了一种结构化的方式来处理计算过程,特别是那些涉及副作用的操作,如输入/...
Monad-math 从范畴理论的角度编写单子法则! MonadMath.hs公开了monad的三个组成部分:函子F以及自然变换µ和η 。 test-monadmath.hs包含自然性测试( µ y . F h = F h . µ x test-monadmath.hs µ y . F h = F h...
Java中的Monad设计模式提供了一种封装计算或副作用的机制,能够在无副作用的方式下管理上下文和数据流的同时链接操作。 ## 二、详细解释及实际示例 ... - Monad模式确保每个操作都能执行,无论之前的操作成功与
monad.js 为 NodeJS(或任何 CommonJS 实现)提供了简单的 monadic 数据类型。 也许 也许代表一个可能存在也可能不存在的值。 当一个值或函数的结果可能会或可能不会产生有意义的东西时,这是很自然的。 传统上, ...
当与异步编程结合时,如多个TTRequest网络请求的连续调用,`map`和`flatMap`能够处理异步操作的链式执行,代码示例如下: ```swift TTRequest* req1 = [TTRequest requestWithUrlString:@"url1"]; [req1 ...
data.monad描述javascript monad结构。类型签名界面。 interface M < T> { // return function unit < T> (value: T): M < T> { } // >>= function bind < T> (instance: M < T> , transform: (value: T) = > M < U>...
TsMonad 一个简单实用的monad库 为TypeScript设计 目的是限制由于未处理的空值导致的错误 状态 ... 在线上有很多-我建议道格拉斯·克罗克福德(Douglas Crockford)的《单子与哥纳德(Monads&Gonad