漫谈函数

前言

我最开接触函数是在编程语言中，C/C++均有涉及，最开始我以为这就是函数，直到本蒟蒻在数学中学到了函数（不久前），才发现数学中所言的函数与计算机学函数有很大出入，后来我查了度娘，发现数学函数也分为两类，一类是高中/大学阶段会学的现代定义函数，另一类才是初中阶段会学到的古代定义函数，而现代定义函数与计算机函数虽略有不同，但总体是相似的，而初中学到的函数其实并不能称作真正的函数，顶多叫做古代定义函数，是为以后的真·函数打基础的。

定义

古代定义：对于在某区间上的每一个确定的x值，y都有一个确定的值，那么y叫做x的函数。

现代定义：给定一个数集A，假设其中的元素为x。现对A中的元素x施加对应法则f，记作f（x），得到另一数集B。假设B中的元素为y。则y与x之间的等量关系可以用y=f（x）表示。含有三个要素：定义域A、值域C和对应法则f。其中核心是对应法则f，它是函数关系的本质特征。即若对集合A的任意元素x，总有集合B确定的元素y与之对应，则称在集合A上定义一个函数，记为f。元素x称为自变量，元素y称为因变量” 。

函数的定义通常分为传统定义和近代定义，函数的两个定义本质是相同的，只是叙述概念的出发点不同，传统定义是从运动变化的观点出发，而近代定义是从集合、映射的观点出发。

计算机学定义：用于完成某些有意义的工作——通常是处理文本，控制输入或计算数值的过程称为函数。通过在程序代码中引入函数名称和所需的参数，可在该程序中执行（或称调用）该函数。

区分

在数学中，函数y=x（古代定义）在现代定义中表示为：f(x)=x。实际上，古代定义的函数在现代定义中被称为函数的解析式。

在计算机学中，函数y=x（古代定义）表示为：Type  f（Type x）{ return x; }。

拓展

图像的定义（数学）：函数f的图象是平面上点对 （x，f（x））的集合，其中x取定义域上所有成员的。

计算机学允许多参数函数，即类似：Type y f（Type x1，Type x2 ···）的函数，在计算机学中没有问题，但数学中是否存在呢？答案是肯定的，那么，在数学中，这样的函数的图像该怎么表示呢？

类似y=f（x1，x2，···，xn）的函数的图像定义仿照上述定义，即为：

函数f的图象是平面上点对 （x1，x2，···，xn，f（x1，x2，···，xn））的集合，其中x取定义域上所有成员的。

所以双参数函数的图像是在三维坐标系中的二维面，n参数函数的图像就是在n+1维坐标系中的n维“存在”，其实讨论这些没有意义，且不谈三维的坐标系很难表示，大于三维的坐标系更是无法表示，而且其直观程度还不如直接使用表达式，所以这只是我自己瞎想的一个思维体操。

其实，尽管计算机学的函数调用时也是f（x）的形式，类似于现代定义函数，但实际上并不完全等同。

比如我可以编辑三个计算机学函数，使（f1（x）+f2（y））+f3（z）≠f1（x）+（f2（y）+f3（z）），即使之不满足加法交换律，原理很简单，使用全局变量即可，同理，可以使计算机学函数不满足其他的数学定律，而在数学中，这样不满足基本数学定律的函数是不可能存在的，实际上，数学函数与只使用局部变量而完全不使用全局变量的计算机学函数才更为相像。

后记

此为一个初二的蒟蒻在学完（其实才刚学）数学的一次函数（古代定义函数）后所做的思考。

 

转载于:https://www.cnblogs.com/gongkai/p/10834132.html