函数（function），数学术语。其定义通常分为传统定义和近代定义，函数的两个定义本质是相同的，只是叙述概念的出发点不同，传统定义是从运动变化的观点出发，而近代定义是从集合、映射的观点出发。函数的近代定义是给定一个数集A，假设其中的元素为x，对A中的元素x施加对应法则f，记作f（x），得到另一数集B，假设B中的元素为y，则y与x之间的等量关系可以用y=f（x）表示，函数概念含有三个要素：定义域A、值域B和对应法则f。其中核心是对应法则f，它是函数关系的本质特征。 [1]函数，最早由中国清朝数学家李善兰翻译，出于其著作《代数学》。之所以这么翻译，他给出的原因是“凡此变数中函彼变数者，则此为彼之函数”，也即函数指一个量随着另一个量的变化而变化，或者说一个量中包含另一个量。中文名函数外文名function所属学科数学、计算机科学表达式y=f(x)提出者戈特弗里德·威廉·莱布尼茨相关视频
32.1万播放|13:22高中数学-函数的概念
义方教育
5443播放|03:21函数考点六例10：高一数学函数性质综合练习，高考真题
中学数学难点突破
50.1万播放|04:07函数-3分钟了解函数
环球网校
16.3万播放|03:17带你快速了解函数的表示方法
123456eL25
23.2万播放|02:52函数的极值 导数
bubububu727
2.6万播放|17:57高中数学必修一精讲精练系列课
贾老师数学
1.2万播放|02:18零点存在的原理辨析
123456eL25
12.8万播放|14:11通过对一次函数定义、性质、应用的深度挖掘，让孩子攻克一次函数
人生如茶烫完才香
1.7万播放|02:29找函数隐含规律求值 函数综合篇
123456eL25
3万播放|04:41高中数学集合函数100例精讲
小竹数学查看更多
详细介绍发展历史函数定义表示方法函数的特性多项式函数基本初等函数复变函数常用函数TA说参考资料
详细介绍表示首先要理解，函数是发生在集合之间的一种对应关系。然后，要理解发生在A、B之间的函数关系有且不止一个。最后，要重点理解函数的三要素。函数的对应法则通常用解析式表示，但大量的函数关系是无法用解析式表示的，可以用图像、表格及其他形式表示[2]。概念在一个变化过程中，发生变化的量叫变量（数学中，变量为x，而y则随x值的变化而变化），有些数值是不随变量而改变的，我们称它们为常量。自变量（函数）：一个与它量有关联的变量，这一量中的任何一值都能在它量中找到对应的固定值。因变量（函数）：随着自变量的变化而变化，且自变量取唯一值时，因变量（函数）有且只有唯一值与其相对应。函数值：在y是x的函数中，x确定一个值，y就随之确定一个值，当x取a时，y就随之确定为b，b就叫做a的函数值[2]。量子世界中的波函数到底是数学描述还是实体
TA说赞124阅读1万映射定义设A和B是两个非空集合，如果按照某种对应关系
，对于集合A中的任何一个元素a，在集合B中都存在唯一的一个元素b与之对应，那么，这样的对应（包括集合A，B，以及集合A到集合B的对应关系f）叫做集合A到集合B的映射（Mapping），记作
。其中，b称为a在映射f下的象，记作：
; a称为b关于映射f的原象。集合A中所有元素的象的集合记作f（A）。则有：定义在非空数集之间的映射称为函数。（函数的自变量是一种特殊的原象，因变量是特殊的象）[2]几何含义函数与不等式和方程存在联系（初等函数）。令函数值等于零，从几何角度看，对应的自变量的值就是图像与X轴的交点的横坐标；从代数角度看，对应的自变量是方程的解。另外，把函数的表达式（无表达式的函数除外）中的“=”换成“<”或“>”，再把“Y”换成其它代数式，函数就变成了不等式，可以求自变量的范围[2]。集合论如果X到Y的二元关系
，对于每个
，都有唯一的
，使得
，则称f为X到Y的函数，记做：
。当
时，称f为n元函数[2]。元素输入值的集合X被称为f的定义域；可能的输出值的集合Y被称为f的值域。函数的值域是指定义域中全部元素通过映射f得到的实际输出值的集合。注意，把对应域称作值域是不正确的，函数的值域是函数的对应域的子集。计算机科学中，参数和返回值的数据类型分别确定了子程序的定义域和对应域。因此定义域和对应域是函数一开始就确定的强制进行约束。另一方面，值域是和实际的实现有关[2]。分类
单射 满射 双射单射函数，将不同的变量映射到不同的值。即：对于所有
和
，当
时有
。满射函数，其值域即为其对应域。即：对映射f的对应域中之任意y，都存在至少一个x满足 y=f（x）。双射函数，既是单射的又是满射的。也叫一一对应。双射函数经常被用于表明集合X和Y是等势的，即有一样的基数。如果在两个集合之间可以建立一个一一对应，则说这两个集合等势[2]。象和原象
元素在的象就是f（x），他们所取的值为0[2]。图象函数f的图象是平面上点对
的集合，其中x取定义域上所有成员的。函数图象可以帮助理解证明一些定理。如果X和Y都是连续的线，则函数的图象有很直观表示注意两个集合X和Y的二元关系有两个定义：一是三元组（X,Y,G），其中G是关系的图；二是索性以关系的图定义。用第二个定义则函数f等于其图象[2]。发展历史函数的由来中文数学书上使用的“函数”一词是转译词。是我国清代数学家李善兰在翻译《代数学》（1859年）一书时，把“function”译成“函数”的。中国古代“函”字与“含”字通用，都有着“包含”的意思。李善兰给出的定义是：“凡式中含天，为天之函数。”中国古代用天、地、人、物4个字来表示4个不同的未知数或变量。这个定义的含义是：“凡是公式中含有变量x，则该式子叫做x的函数。”所以“函数”是指公式里含有变量的意思。我们所说的方程的确切定义是指含有未知数的等式。但是方程一词在我国早期的数学专著《九章算术》中，意思指的是包含多个未知量的联立一次方程，即所说的线性方程组[2]。早期概念十七世纪伽俐略在《两门新科学》一书中，几乎全部包含函数或称为变量关系的这一概念，用文字和比例的语言表达函数的关系。1637年前后笛卡尔在他的解析几何中，已注意到一个变量对另一个变量的依赖关系，但因当时尚未意识到要提炼函数概念，因此直到17世纪后期牛顿、莱布尼兹建立微积分时还没有人明确函数的一般意义，大部分函数是被当作曲线来研究的。1673年，莱布尼兹首次使用“function”（函数）表示“幂”，后来他用该词表示曲线上点的横坐标、纵坐标、切线长等曲线上点的有关几何量。与此同时，牛顿在微积分的讨论中，使用 “流量”来表示变量间的关系[2]。十八世纪1718年约翰·伯努利在莱布尼兹函数概念的基础上对函数概念进行了定义：“由任一变量和常数的任一形式所构成的量。”他的意思是凡变量x和常量构成的式子都叫做x的函数，并强调函数要用公式来表示。1748年，欧拉在其《无穷分析引论》一书中把函数定义为：“一个变量的函数是由该变量的一些数或常量与任何一种方式构成的解析表达式。”他把约翰·贝努利给出的函数定义称为解析函数，并进一步把它区分为代数函数和超越函数，还考虑了“随意函数”。不难看出，欧拉给出的函数定义比约翰·贝努利的定义更普遍、更具有广泛意义。1755年，欧拉给出了另一个定义：“如果某些变量，以某一种方式依赖于另一些变量，即当后面这些变量变化时，前面这些变量也随着变化，我们把前面的变量称为后面变量的函数。”[2]十九世纪1821年，柯西从定义变量起给出了定义：“在某些变数间存在着一定的关系，当一经给定其中某一变数的值，其他变数的值可随着而确定时，则将最初的变数叫自变量，其他各变数叫做函数。”在柯西的定义中，首先出现了自变量一词，同时指出对函数来说不一定要有解析表达式。不过他仍然认为函数关系可以用多个解析式来表示，这是一个很大的局限。1822年傅里叶发现某些函数可以用曲线表示，也可以用一个式子表示，或用多个式子表示，从而结束了函数概念是否以唯一一个式子表示的争论，把对函数的认识又推进了一个新层次。1837年狄利克雷突破了这一局限，认为怎样去建立
与
之间的关系无关紧要，他拓广了函数概念，指出：“对于在某区间上的每一个确定的x值，y都有一个确定的值，那么y叫做x的函数。”这个定义避免了函数定义中对依赖关系的描述，以清晰的方式被所有数学家接受。这就是人们常说的经典函数定义。等到康托创立的集合论在数学中占有重要地位之后，奥斯瓦尔德维布伦用“集合”和“对应”的概念给出了近代函数定义，通过集合概念把函数的对应关系、定义域及值域进一步具体化了，且打破了“变量是数”的极限，变量可以是数，也可以是其它对象[2]。现代概念1914年豪斯道夫（F．Hausdorff）在《集合论纲要》中用不明确的概念“序偶”来定义函数，其避开了意义不明确的“变量”、“对应”概念。库拉托夫斯基（Kuratowski）于1921年用集合概念来定义“序偶”使豪斯道夫的定义很严谨了。编辑传视频
TA说
31
目录
在
