深入探讨：函数概念解析与知识普及

求函数解析式、求最值、求画图像、求交点等等这些跟函数学习有关行为是我们最熟悉不过了。

那么你知道函数是怎么来的吗？

为什么函数叫函数呢？而不是叫包数或其他名称，今天一起来简单了解一下。

翻开崭新的九年义务制教育数学课本，我们可以清晰看到函数的定义：一般的，在一个变化过程中，假设有两个变量x、y，如果对于任意一个x都有唯一确定的一个y和它对应，那么就称x是自变量，y是x的函数。

x的取值范围叫做这个函数的定义域，相应y的取值范围叫做函数的值域。

在翻开高中数学课本，我们可以看到函数是这么去定义：

设A，B是非空的数集，如果按某个确定的对应关系f，使对于集合A中的任意一个x，在集合B中都有唯一确定的数f(x)和它对应。

函数符号y=f(x)表示“y是x的函数”，有时简记作函数f(x)。

其中构成函数的三要素：定义域、对应法则、值域。

那么这些关于函数的定义是怎么来的呢？

在17世纪伽俐略在《两门新科学》这本书中，几乎全部包含函数或称为变量关系的这一概念，用文字和比例的语言表达函数的关系。

1637年前后笛卡尔在他的解析几何中，已注意到一个变量对另一个变量的依赖关系，但因当时尚未意识到要提炼函数概念，因此直到17世纪后期牛顿、莱布尼兹建立微积分时还没有人明确函数的一般意义，大部分函数是被当作曲线来研究的。

1673年，莱布尼兹首次使用“function”（函数）表示“幂”，后来他用该词表示曲线上点的横坐标、纵坐标、切线长等曲线上点的有关几何量。与此同时，牛顿在微积分的讨论中，使用 “流量”来表示变量间的关系。

1718年约翰·柏努利在莱布尼兹函数概念的基础上对函数概念进行了定义：“由任一变量和常数的任一形式所构成的量。”他的意思是凡变量x和常量构成的式子都叫做x的函数，并强调函数要用公式来表示。

1748年，欧拉在其《无穷分析引论》一书中把函数定义为：“一个变量的函数是由该变量的一些数或常量与任何一种方式构成的解析表达式。”他把约翰·贝努利给出的函数定义称为解析函数，并进一步把它区分为代数函数和超越函数，还考虑了“随意函数”。不难看出，欧拉给出的函数定义比约翰·贝努利的定义更普遍、更具有广泛意义。

1755年，欧拉给出了另一个定义：“如果某些变量，以某一种方式依赖于另一些变量，即当后面这些变量变化时，前面这些变量也随着变化，我们把前面的变量称为后面变量的函数。”

1821年，柯西从定义变量起给出了定义：“在某些变数间存在着一定的关系，当一经给定其中某一变数的值，其他变数的值可随着而确定时，则将最初的变数叫自变量，其他各变数叫做函数。”在柯西的定义中，首先出现了自变量一词，同时指出对函数来说不一定要有解析表达式。不过他仍然认为函数关系可以用多个解析式来表示，这是一个很大的局限。

1822年傅里叶发现某些函数可以用曲线表示，也可以用一个式子表示，或用多个式子表示，从而结束了函数概念是否以唯一一个式子表示的争论，把对函数的认识又推进了一个新层次。

1837年狄利克雷突破了这一局限，认为怎样去建立x与y之间的关系无关紧要，他拓广了函数概念，指出：“对于在某区间上的每一个确定的x值，y都有一个确定的值，那么y叫做x的函数。”这个定义避免了函数定义中对依赖关系的描述，以清晰的方式被所有数学家接受。

这就是人们常说的经典函数定义，也就是九年义务制教育数学书上的定义。

等到康托创立的集合论在数学中占有重要地位之后，奥斯瓦尔德维布伦用“集合”和“对应”的概念给出了近代函数定义，通过集合概念把函数的对应关系、定义域及值域进一步具体化了，且打破了“变量是数”的极限，变量可以是数，也可以是其它对象。

1914年豪斯道夫在《集合论纲要》中用不明确的概念“序偶”来定义函数，其避开了意义不明确的“变量”、“对应”概念。

1921年库拉托夫斯基于用集合概念来定义“序偶”使豪斯道夫的定义很严谨了。

1930 年新的现代函数定义为“若对集合M的任意元素x，总有集合N确定的元素y与之对应，则称在集合M上定义一个函数，记为f。元素x称为自变量，元素y称为因变量”。

在我国，函数一词是清代数学家李善兰最早使用的，他在1859年与英国学者韦列亚力（合译的《代数学》一书中，将“function”译作“函数”，故中文数学书上一直沿用至今。

中国古代“函”字与“含”字通用，都有着“包含”的意思。李善兰给出的定义是：“凡式中含天，为天之函数”。中国古代用天、地、人、物4个字来表示4个不同的未知数或变量.这个定义的含义是：“凡是公式中含有变量x，则该式子叫做x的函数”，所以“函数”是指公式里含有变量的意思。

我们所说的方程的确切定义是指含有未知数的等式。但是方程一词在我国早期的数学专著《九章算术》中,意思指的是包含多个未知量的联立一次方程，即所说的线性方程组。