一元实函数数的序偶定义

2013年10月19日,放飞博文“袖珍电子书的样本:一元实函数的定义”行动具有重大意义,打响了挑战传统微积分的第一枪。全文如下:

作为一个样本,这大概是第一本微积分袖珍电子书。请读者注意该定义的布尔巴基学派严谨性、一般性的风格。

一元实函数的定义:

一元实函数是有序实数偶(a,b)的集合f,对任何一个实数a,必然发生以下两种情形:

1,恰好有一实数b存在,使得有序实数偶(a,b)属于集合f,在此种情况下,我们说,f(a)有定义,且记为f(a)=b,实数b称为函数f在a的值;

2,没有实数b存在,使得有序实数偶(a,b)是集合f的元素,在此情况下,我们说,f(a)没有定义。

据此,表达式f(a)=b意味着有序实数偶(a,b)是函数f的元素。

我们要注意:函数f的定义不涉及什么物理映射定律,也不涉及什么逻辑对应法则,只是有序实数偶集合f的某种属性。该定义出自J.Keisler撰写的《Elementary Calculus》(电子版)的第一章第二节,第6页。英文原文如下:

Definition:

A real function of one variable is a set f of orderedpairs of real numbers such that for every real number a one of the followingtwo things happens:

1,There is exactly one real number b for which theordered pair (a,b) is a member of f. In this case, we say that f(a) is definedand we write f(a) = b.The number b is called the value of f at a.

2,There is no real number b for which the ordered pair(a,b) is a member of f. In this case, we say that f(a) is undefined.

Thus f(a) = bmeans that the ordered pair (a,b) is an element of f.

注意:函数f的定义以及其值域都可由此定义导出。给定函数f,由此建立两个实数(或实变量)之间的对应关系(或对应规律)是很容易的事情,但是,不能将函数f直接定义成什么“对应规律”,把物理含义牵扯进来。

该定义的矛头直指当今全国高校微积分教材的函数定义。我们采用的函数定义是“残次品”,误导广大读者,实在可悲也!

说明:一般而言,微积分袖珍电子书都是短文件(中英文对照)。但是,其中不能说废话,尤其不能说假话,对读者不负责任。我们坚信:当大批微积分袖珍电子书推向互联网之后,广大读者会喜欢的。

袁萌  11月19日

一元实函数数的序偶定义相关推荐

  1. 数学分析:一元实函数论----一元实函数基础

    数学分析:一元实函数论--一元实函数基础 函数(一元实函数)基础 函数(一元实函数)的概念 函数(一元实函数)的表示方法 解析法 图形法 表格法 函数(一元实函数)的四则运算 函数(一元实函数)的复合 ...

  2. 现代函数概念的“序偶”定义

    今年1月16日,国家教育部发布高中数学课程新标准,规定微积分下放中学,其中集合.函数概念是"重头戏". 大家知道,中学数学课程标准是"指挥棒",函数如何定义,大 ...

  3. 袖珍电子书:一元实函数的微分定义

    在传统微积分学里面,函数的微分概念很重要.但是,转移到无穷小微积分学之后,微分失去了它原有的"光彩",消失不见了,由此可见,仅依赖导数来展开无穷小微积分学即已足够.此话当真? 在J ...

  4. 鲁宾逊的函数序偶定义

    五年前,无穷小放飞互联网,给国内数学界带来一丝春风. 袁萌  5月25日 附:         一元实函数数的序偶定义         2013年10月19日,放飞博文"袖珍电子书的样本:一 ...

  5. 00后大学生:接受函数序偶定义,赢在起跑线上

    现在幸运的是,你们用指尖一点,Keisler教授撰写的"ElementaryCalculus",等待数秒钟,电子版教材就会飘然而至. 该书第6页,Keisler教授就给出当代布尔巴 ...

  6. 在高数中学到的sinc函数有两种定义

    今天终于开通我的blog了,高兴呀! 作为开通的第一贴,写写今天上午在编程时遇到的让人又气又恼的问题,记录下来,供大家分享,同时也警示自己 在高数中学到的sinc函数有两种定义: sinc函数定义为: ...

  7. 函数序偶定义与高考招生

    三十年前,1989年,北京市高招办决定,当年北京市高考招生采用计算机辅助录取模式. 非常荣幸的是,一项崭新的任务北京市高招办交给了袁萌.实际上,计算机辅助录取第一要务就是:把考生的考号与考生成绩档案袋 ...

  8. 基础数学中心招聘人才,函数序偶定义必考

    基础数学中心招聘人才,函数序偶定义必考     根据国家4部委的部署,全国高校与科研院所即将设立大批"基础数学中心",必定招聘数学专业人才.    基础数学中心招聘人才,为什么函数 ...

  9. [数值计算-10]:一元非线性函数求最小值 - 导数与梯度下降法Python法代码示例

    作者主页(文火冰糖的硅基工坊):https://blog.csdn.net/HiWangWenBing 本文网址:https://blog.csdn.net/HiWangWenBing/article ...

最新文章

  1. 微信小程序上传图片到服务器不显示,微信小程序上传图片到服务器wx.uploadFile...
  2. asp.net 2.0 简单实现url重写
  3. 求最小子数组之二维篇
  4. java怎么从一个类传值到另一个类_Android开发之两个类之间的数据传递
  5. vue-自主研发非父子关系组件之间通信的问题
  6. tensorflow从入门到放弃(二)
  7. ChainMapper和ChainReducer
  8. java获取新insert数据自增id_java获取新insert数据自增id的实现方法
  9. 吴裕雄--天生自然 PHP开发学习:MySQL 插入数据
  10. ak330s 置换内外sd
  11. PPG信号滤波过后的时频分析
  12. win10系统64位安装与配置java环境,安装使用citespace经验
  13. 数据仓库的特点、数据仓库分层、数据仓库模型
  14. 古诺(Cournot)竞争博弈模型 matlab仿真代码实现
  15. 信息学奥赛一本通评测系统P1332
  16. java语言英语单词_Java常用英语单词
  17. Unity 做一个提示框,背景图片随文字改变大小
  18. 安装淘宝镜像cnpm时报错!npm ERR! enoent ENOENT: no such file or directory, rename
  19. 反向代理神器 Nginx Proxy Manager 群晖Docker部署
  20. mysql dba高级教程_MySQL DBA高级视频教程 博瑞森一线DBA大神亲授

热门文章

  1. 数据挖掘 是“大忽悠”还是“懵懂少年”
  2. 自媒体行业中是否可以使用IP代理
  3. 从应用内测托管切入,蒲公英如何助力开发者全方位提高生产力?
  4. 协方差自适应调整的进化策略(CMA-ES)转载自知乎——补充
  5. SSM毕设项目物品租赁平台22bc1(java+VUE+Mybatis+Maven+Mysql)
  6. 七、jsp基础(二)- 内置对象
  7. Axure RP 9 函数说明
  8. 简单仿微信的分组消息界面
  9. python对文件的写操作方法seek_python文件操作及seek偏移详解
  10. 聊聊一行读研时最成功的投资