一元实函数数的序偶定义
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,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日