一元实函数数的序偶定义
来源:互联网 发布:读卡器输出格式软件 编辑:程序博客网 时间:2024/06/14 08:34
一元实函数数的序偶定义
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日
- 一元实函数数的序偶定义
- 定义函数 求一元二次方程的根。
- Python函数定义练习:解一元二次方程
- 函数的序偶定义
- Python实现一元二次方程的定义是:ax2 + bx + c = 0 请编写一个函数,返回一元二次方程的解。
- Python-定义函数.练习题.求一元二次方程解
- 一元数、二元数、四元数与它们的矩阵表示
- 求组合数 定义函数。
- 宏定义交换函数-交换两个数的值
- 求一元二次函数的根
- 无穷数的定义
- B+数的定义
- 函数指针作为某个函数的参数及定义函数指针(回调函数)
- 求一元二次方程的根:浮点数中的“0”
- c语言:解一元二次方程及浮点数的比较
- PHP函数定义声明以及函数类型(回调函数,递归函数,重用函数。。)的介绍 变量的范围
- 定义成员函数为回调函数
- typedef定义函数,回调函数
- 邓力等人提出BBQ网络:将深度强化学习用于对话系统
- 一文看尽未来的交通有多智能 | 麦肯锡观点
- 关于一小时前惊艳亮相的Tesla Semi卡车,你需要知道得更多
- Xcode9学习笔记64
- Xcode9学习笔记65
- 一元实函数数的序偶定义
- [DevExpress]TokenEdit控件使用
- mysql 1449 : The user specified as a definer ('root'@'%') does not exist 解决方法
- QQmlParserStatus
- 《七点三刻》有价值的新闻早餐 2017年11月19日星期日,第010期
- Angular2组件与指令的小实践——实现一个图片轮播组件
- ElasticSearch.net第一步-环境配置
- Xcode9学习笔记66
- ElasticSearch.net第二步-CRUD之Sense