函数的概念

函数概念最早出现在17世纪英国数学家格雷戈里的文章《论圆和双曲线的求积》(1667年)中，他定义函数是这样一个量：它是从一些其他量经过一系列代数运算或者任何其他可以想象到的运算而得到的，自从牛顿于1665年开始微积分（研究曲线的弧长、不规则图形的面积等的一个数学分支）的研究工作后，他一直使用“流量”一词来表示变量间的关系。

17世纪德国著名数学家莱布尼茨1673年在一篇手稿里使用了“函数”这一概念后来，莱布尼茨又引进“常量”、“变量”和“参变量”的概念，在数学史上，这是一大进步，它使得人们可以从数量上描述运动了。当时的函数指的是可以用解析式表示的函数，但这种概念对数和科学的进一步发展来说实在是太狭隘了。

1734年，瑞士数学家欧拉用$f(x)$作为函数的记号。$f(x)$中的$f$是function（函数）的第一个字母。历史上第一个给出函数一般定义的是19世纪德国数学家狄利克雷(Dirichlet)。这也促成了微积分的严格性的开始。事实上，如果严格性没有进入定义，那就无法在推理中体现严格性。当时，数学家们处理的大部分数学对象都没有完全的、严格的定义数学家们习惯借助于直觉和想象来描述数学对象，他们还没有推理赖以展开的精确定义。

狄利克雷函数

约翰·彼得·古斯塔夫·勒热纳·狄利克雷（Johann Peter Gustav Lejeune Dirichlet），在1829年给出了下面的著名函数（后人称为狄利克雷函数）：

$$ f(x)=\left\{ \begin{matrix} 0,x 为有理数 \\ 1,x 为无理数 \\ \end{matrix} \right. $$

这属于一个人造函数，而这个函数本身却给我们带来很多深刻的思考。
首先最好来感受一下这个函数。当取有理数的时候，函数值为1；当$x$取无理数的时候，函数值为0。这里纠结的地方在哪里呢？无理数和有理数密密麻麻地掺杂在一起，任意两个有理数之间有无穷多个无理数。也就是不管$x$的区间取得多么小，函数值会急剧地在0与1之间反复跳动。

这种跳动不是一般的函数波动，而是捉摸不到的、极其迅速的跳变。因此狄利克雷函数是极度不连续的。
所以，狄利克雷函数的一个重要特点就是：无法作图。你可以试着把$x$轴上的有理数和无理数进行分离，属于有理数的点上升一个单位，属于无理数的点停留在原处。当然，这只能存在于想象中，图形无法表示。

这就使得函数的概念扩大了。函数不一定需要表达式，甚至不需要图像，它成为了一个抽象的概念。只要存在某种对应关系，我们就可以称之为函数。

狄利克雷函数的出现，表示数学家们对数学的理解发生了深刻的变化，数学的一些“人造”特征开始展现出来这种思想也标志着数学从研究“算”转变到了研究“概念、性质、结构”。

狄利克雷是数学史上第一位重视概念的人，并且是有意识地“以概念代替直觉”的人。在狄利克雷之前，数学家们主要研究具体函数，进行具体计算，他们不大考虑抽象问题。但狄利克雷之后，事情逐渐变化了，人们开始考虑函数的各种性质，例如（图象的）对称性、增减性、连续性等，具体函数、具体函数的计算逐渐淡化了。

1837年，狄利克雷给出了与我们现在所熟知的函数定义非常相近的函数的如下定义（区间一般是指两个实数之间的所有实数）：
如果对于给定区间上的每一个$x$值，都有唯一的$y$值与它对应，那么$y$是$x$的函数。