查看“︁函数”︁的源代码

''参看[[函数 (消歧义)]]。''
{{advtranslation|tpercent=80|tfrom=[[:en:Function (mathematics)]]}}

在[[数学]]领域，'''函数'''是一种关系，这种关系使一个[[集合]]里的每一个元素对应到另一个（可能相同的）集合里的唯一元素。函数的概念对于数学和[[数量学]]的每一个分支来说都是最基础的。

术语'''函数'''，'''映射'''，'''对应'''，'''变换'''通常都是同一个意思。

==概述==

简而言之，函数是将唯一的输出值赋予每一输入的“法则”。这一“法则”可以用函数表达式、[[数学关系]]，或者一个将输入值与输出值对应列出的简单表格来表示。函数最重要的性质是其[[决定性]]，即同一输入总是对应同一输出（注意，反之未必成立）。从这种视角，可以将函数看作“机器”或者“[[黑盒]]”，它将有效的输入值变换为唯一的输出值。通常将输入值称作函数的''参数''，将输出值称作函数的''值''。

* 最常见的函数的参数和函数值都是数，其对应关系用函数式表示，函数值可以通过直接将参数值代入函数式得到。如下例，
:<math>f(x)=x^{2}</math> ，''x'' 的平方即是函数值。

* 也可以将函数很简单的推广到与多个参量相关的情况。例如：
:<math>g(x,y) = xy</math> 有两个参量''x''和''y''，以乘积''xy''为值。与前面不同，这一“法则”与两个输入相关。其实，可以将这两个输入看作一个''有序对''(''x'', ''y''），记''g''为以这个有序对(''x'', ''y''）作参数的函数，这个函数的值是''xy''。

* 科学研究中经常出现未知或不能给出表达式的函数。例如地球上不同时刻温度的分布，这一函数以地点和时间为参量，以某一地点、某一时刻的温度作为输出。

* 函数的概念并不局限于数的计算，甚至也不局限于计算。函数的数学概念更为宽泛，而且不仅仅包括数之间的映射关系。函数将“定义域”（输入集）与“对映域”（可能输出集）联系起来，使得定义域的每一个[[元素]]都唯一对应对映域中的一个元素。函数，如下文所述，被抽象定义为确定的[[数学关系]]。由于函数定义的一般性，函数概念对于几乎所有的数学分支都是很基本的。

==历史==

函数这个数学名词是[[莱布尼兹]]在[[1694年]]开始使用的，以描述[[曲线]]的一个相关量，如曲线的[[斜率]]或者曲线上的某一点。莱布尼兹所指的函数现在被称作[[导数|可导函数]]，数学家之外的普通人一般接触到的函数即属此类。对于可导函数可以讨论它的[[函数极限|极限]]和[[导数]]。此两者描述了函数输出值的变化同输入值变化的关系，是[[微积分学]]的基础。

* [[1718年]]，[[约翰·贝努里]]（[[:en:Johann Bernoulli]]）把函数定义为“一个变量的函数是指由这个变量和常量以任何一种方式组成的一种量。”[[1748年]]，约翰·贝努里的学生[[欧拉]]（Leonhard Euler）在《无穷分析引论》一书中说：“一个[[变量]]的函数是由该变量和一些数或[常量]]以任何一种方式构成的[[解析表达式]]”。例如''f''(''x'') = sin(''x'') + ''x''<sup>3</sup>。[[1775年]]，欧拉在《微分学原理》一书中又提出了函数的一个定义：“如果某些量以如下方式依赖于另一些量，即当后者变化时，前者本身也发生变化，则称前一些量是后一些量的函数。”

* [[19世纪]]的数学家开始对数学的各个分支作规范整理。[[维尔斯特拉斯]]（Karl Weierstrass）提出将微积分学建立在[[算术]]，而不是[[几何]]的基础上，因而更趋向于欧拉的定义。

* 通过扩展函数的定义，数学家能够对一些“奇怪”的数学对象进行研究，例如不可导的连续函数。这些函数曾经被认为只具有理论价值，迟至20世纪初时它们仍被视作“怪物”。稍后，人们发现这些函数在对如[[布朗运动]]之类的物理现象进行建模时有重要的作用。

* 到[[19世纪]]末，数学家开始尝试利用[[集合论]]来规范数学。他们试图将每一类数学对象定义为一个[[集合]]。[[狄利克雷]]（Johann Peter Gustav Lejeune Dirichlet）给出了现代正式的函数定义（参见下文[[#正式定义]]）。狄利克雷的定义将函数视作[[数学关系]]的特例。然而对于实际应用的情况，现代定义和欧拉定义的区别可以忽略不计。

==正式定义==

从输入值集合''X'' 到可能的输出值集合''Y'' 的函数''f''（记作 ''f'' : ''X'' &rarr; ''Y''）是''X''与''Y''的[[二元关系|关系]]，满足如下条件：
#''f'' 是''完全'' 的：对''X'' 中任一元素''x'' 都有集合''Y'' 中的元素''y'' 满足''x f y'' （''x'' 与''y'' 是''f'' 相关的）。即，对每一个输入值，''Y'' 中都有至少一个与之对应的输出值。
#''f'' 是''多对一'' 的：若''x f y'' 且''x f z'' ，则''y'' = ''z'' 。即，多个输入可以映射到一个输出，但一个输入不能映射到多个输出。

定义域中任一''x'' 在对映域中唯一对应的''y'' 记为''f''(''x'')。

比上面定义更简明的表述如下：从''X'' 映射到''Y'' 的函数''f'' 是''X'' 与''Y'' 的[[直积]]''X'' &times; ''Y'' 的[[子集]]。''X'' 中任一''x'' 都与''Y'' 中的''y'' 唯一对应，且[[有序对]](''x'', ''y'')属于''f'' 。

''X''与''Y''的关系若满足条件(1)，则为'''[[多值函数]]'''。函数都是多值函数，但多值函数不都是函数。''X''与''Y''的关系若满足条件(2)，则为'''[[部分函数]]'''。函数都是部分函数，但部分函数不都是函数。除非特别指明，本百科全书中的“函数”总是指同时满足以上两个条件的关系。

考虑如下例子：
{|
|-----
| [[image:notMap1.png]]
| 完全，但非多对一。''X''中的元素3与''Y''中的两个元素''b'' 和''c'' 相关。因此这是多值函数，但''不是'' 函数。
|-----
| [[image:notMap2.png]]
| 多对一，但非完全。 ''X'' 的元素1未与''Y'' 的任一元素相关。因此这是部分函数，但''不是'' 函数。
| |
|-----
| [[image:Mathmap2.png]]
| 完全且多对一。因此这是从''X''到''Y''的函数。此函数可以表示为''f'' ={(1, d), (2, d), (3, c)}，或
:<math>f(x)=\left\{\begin{matrix} d, & \mbox{if }x=1 \\ d, & \mbox{if }x=2 \\ c, & \mbox{if }x=3. \end{matrix}\right.</math>
|}

==定义域、对映域和值域==
输入值的集合''X''被称为''f'' 的[[定义域]]；'''可能的'''输出值的集合''Y''被称为''f'' 的[[陪域]]。函数的[[值域]]是指定义域中全部元素通过映射''f'' 得到的'''实际'''输出值的集合。注意，把对映域称作值域是不正确的，函数的值域是函数的对映域的[[子集]]。 

计算机科学中，[[参数]]和返回值的[[数据类型]]分别确定了[[子程序]]的定义域和对映域。因此定义域和对映域是函数一开始就确定的强制约束。另一方面，值域和实际的实现有关。

==內射、满射与双射函数==
*[[內射]]函数，将不同的变量映射到不同的值。即：若''x''和''y''属于定义域，则仅当''x'' = ''y''时有''f''(''x'') = ''f''(''y'')。
*[[满射]]函数，其值域即为其对映域。即：对映射''f''的对映域中之任意''y''，都存在至少一个''x''满足''f''(''x'') = ''y''。
*[[双射]]函数，既是单射的又是满射的。也叫[[一一对应]]。双射函数经常被用于表明集合''X''和''Y''是等[[势]]的，即有一样的[[基数]]。如果在两个[[集合]]之间可以建立一个[[一一对应]]，则说这两个集合等势。

==像和原象==

元素 ''x''&isin;''X''在 ''f'' 的'''[[像]]''' 就是 ''f''(''x'')。 

子集 <var>A</var>&sub;''X'' 在 ''f'' 的像是以其元素的像組成 ''Y''的子集，即
:''f''(<var>A</var>)&nbsp;:= {''f''(<var>x</var>)&nbsp;: <var>x</var> &isin; <var>A</var>}。 
 
注意 ''f'' 的值域就是定義域 ''X'' 的像 ''f''(''X'')。在我們的例子裡， {2,3} 在 ''f'' 的像是 ''f''({2, 3}) = {c, d} 而 ''f'' 的值域是 {a, c, d}。

根據此定義，''f'' 可引申成為由 ''X'' 的[[能集]]（由 ''X'' 的 子集組成的集）到 ''Y'' 的能集之函數，冲，亦記作 ''f''。

子集 <var>B</var> &sub; <var>Y</var> 在 ''f'' 的 '''[[原像]]''' （或''逆像''）是如下定義 <var>X</var>的子集：
:''f''<sup>&nbsp;&minus;1</sup>(<var>B</var>)&nbsp;:= {<var>x</var> &isin; ''X''&nbsp;: ''f''(<var>x</var>)&isin;<var>B</var>}。
在我們的例子裡，{a, b} 的原像是 ''f''<sup>&nbsp;&minus;1</sup>({a, b}) = {1}。

根據此定義，''f''<sup>&nbsp;&minus;1</sup> 是由 ''Y'' 的能集到 ''X'' 的能集之函數。

以下是 ''f'' 及 ''f''<sup>&nbsp;&minus;1</sup> 的一些特性：
*<var>f</var>(<var>A</var><sub>1</sub>&nbsp;&cup;&nbsp;<var>A</var><sub>2</sub>)&nbsp;= <var>f</var>(<var>A</var><sub>1</sub>)&nbsp;&cup;&nbsp;<var>f</var>(<var>A</var><sub>2</sub>).
*<var>f</var>(<var>A</var><sub>1</sub>&nbsp;&cap;&nbsp;<var>A</var><sub>2</sub>)&nbsp;&sube; <var>f</var>(<var>A</var><sub>1</sub>)&nbsp;&cap;&nbsp;<var>f</var>(<var>A</var><sub>2</sub>).
*<var>f</var><sup>&nbsp;&minus;1</sup>(<var>B</var><sub>1</sub>&nbsp;&cup;&nbsp;<var>B</var><sub>2</sub>)&nbsp;= <var>f</var><sup>&nbsp;&minus;1</sup>(<var>B</var><sub>1</sub>)&nbsp;&cup;&nbsp;<var>f</var><sup>&nbsp;&minus;1</sup>(<var>B</var><sub>2</sub>).
*<var>f</var><sup>&nbsp;&minus;1</sup>(<var>B</var><sub>1</sub>&nbsp;&cap;&nbsp;<var>B</var><sub>2</sub>)&nbsp;= <var>f</var><sup>&nbsp;&minus;1</sup>(<var>B</var><sub>1</sub>)&nbsp;&cap;&nbsp;<var>f</var><sup>&nbsp;&minus;1</sup>(<var>B</var><sub>2</sub>).
*<var>f</var>(<var>f</var><sup>&nbsp;&minus;1</sup>(<var>B</var>))&nbsp;&sube;&nbsp;<var>B</var>.
*<var>f</var><sup>&nbsp;&minus;1</sup>(<var>f</var>(<var>A</var>))&nbsp;&supe;&nbsp;<var>A</var>.

這些特性適合定義域的任意子集 ''A'', ''A''<sub>1</sub> 及 ''A''<sub>2</sub> 和輸出值域的任意子集 ''B'', ''B''<sub>1</sub> 及 ''B''<sub>2</sub>，甚至可推廣到任意子集群的[[交集]]和[[並集]]。

==函数图像==

[[Image:225px-Cubicpoly.png|thumb|立方函数的图像]]

函数''f'' 的图像是平面上点对(''x'',''f''(''x''))的集合，其中x取定义域上所有成员的。函数图像可以帮助理解证明一些定理。

如果''X'' 和''Y'' 都是连续的线，则函数的图像有很直观表示，如右图是立方函数的图像：

注意两个集合''X'' 和''Y'' 的二元关系有兩個定義：一是三元組(''X'',''Y'',''G'')，其中''G'' 是[[二元關係|關係的圖]]；二是索性以關係的圖定義。用第二個定義則函数 ''f'' 等於其图象。

==函数例子==

(详见[[函数列表]].)

* 某一特定时刻在[[中国]]每一人口与其体重之关系「wght」。
* 每个国家与其首都之关系（若不把多首都国[http://geography.about.com/library/misc/bl2capitals.htm]计算在内)。
* 每个[[自然数]] <var>n</var> 与其平方 <var>n</var>&sup2; 之关系「sqr」。
* 每个[[正数|正]][[实数]] <var>x</var> 与其自然对数 ln <var>x</var> 之关系「ln」。注意，对于'''所有'''实数 x，ln 其实不是一个函数，因为并不是所有实数在 ln 里都有定义，即是 ln 不是完全 (total) 的。
* 每个在 <math>\mathbb{R}^2</math> 平面上的点与其和[[原点]] (0, 0) 的距离之关系「dist」
* 每个在 <math>\mathbb{R}^2 \setminus \{(0,0)\}</math> 有孔平面 (Puntured plane) 上的点与描述该点受到原点发出的[[引力]]的[[矢量]]。

最常用的数学函数包括[[加法]]、[[減法|减法]]、[[乘法]]、[[除法]]、[[冪]]、[[对数]]、[[根号]]、[[多项式]]、[[有理函数]]、[[三角函数]]等。它们统称为「[[初等函数]]」-- 但此名的定义会随使用的数学分支而改变。非初等函数（或[[特殊函数]]）包括 [[Bessel函数]]和[[伽傌函數]]。

==函數的特性==
函數可分為
*[[奇函數]]或[[偶函數]]
*[[連續函數]]或[[不連續函數]]
*[[實函數]]或[[虛函數]]
*[[純量函數]]或[[向量函數]]

===歧義函數===
歧義函數指可於一條[[數學]][[等式]]中找到不少於一個正確答案。例如，4的[[平方根]]可以是2或者-2而兩者的[[平方]]皆是4。

嚴格來說，歧義函數不完全算是函數，因為數學函數的定義對於一個輸入值只能有唯一一個輸出值。實際上，這樣的「函數」通常被稱為[[關係式]]。

==''n''-元函数: 多元函数==

''n''-元函數是指輸入值為 ''n''-元組的函數。或者說，若一函數的輸入值域為 ''n'' 個集合的[[積集]]的子集，這函數就是 ''n''-元函數。例如, 距離函數 ''dist''((<var>x</var>,<var>y</var>)) 是一個二元函數，輸入值是由兩個點組成的序對。另外，[[多複變函數]]（即輸入值為複數的多元組）是一個重要的數學課題。

在[[抽象代數]]中, [[運算元]]其實都是函數，如乘法 "*" 是個二元函數：我們寫 ''x''*''y'' 其實是 *(''x'',''y'')的[[中綴表達法]]。

[[函數式程序设计]]是一個以函數概念為中心的重要理論範例，其中的运算对象为'''多元函数'''，基本[[语法]]基于[[λ演算]]，而函数的'''复合'''（见下）则采用[[代换]]来完成。特别地，通过一种称为[[Currying]]的变换，可将多元函数变换为一元函数。

==复合函数==

函數 <var>f</var>:&nbsp;<var>X</var>&nbsp;&rarr;&nbsp;<var>Y</var> 及 <var>g</var>:&nbsp;<var>Y</var>&nbsp;&rarr;&nbsp;<var>Z</var> 的'''複合函數'''是

: <var>g</var>&nbsp;<small>o</small>&nbsp;<var>f</var>: <var>X</var>&nbsp;&rarr;&nbsp;<var>Z</var>  :(<var>g</var>&nbsp;<small>o</small>&nbsp;<var>f</var>)(<var>x</var>)&nbsp;= <var>g</var>(<var>f</var>(<var>x</var>))。

舉例, 飛機在 <var>t</var> 时刻的高度是 <var>h</var>(<var>t</var>)，而高度 <var>x</var> 处的氧气浓度是 <var>c</var>(<var>x</var>)，則在 <var>t</var> 时刻飛機周围的氧氣濃度是
(<var>c</var>&nbsp;<small>o</small>&nbsp;<var>h</var>)(<var>t</var>)。

若
<var>Y</var>&sub;<var>X</var>
則
<var>f</var> 可自我複合; 此時複合函數可記作 <var>f</var><sup>&nbsp;2</sup>（不要與[[三角學]]的符號混淆）。'''函數的幂'''的定義是對[[自然數]] <var>n</var> 有

:<var>f</var><sup>&nbsp;<var>n</var>+1</sup>=&nbsp;<var>f<sup>&nbsp;n</sup></var> <small>o</small> <var>f</var>=&nbsp;<var>f</var> <small>o</small><var>f<sup>&nbsp;n</sup></var>。

<!-- On their heels comes the idea of '''functional root''';
given <var>f</var> and <var>n</var>, find a <var>g</var> such that
<var>g<sup>n</sup>=f</var>. 
([[Richard Feynman|Feynman]] 
illustrated practical use of functional roots in one of his anecdotal books.
&lt;which?&gt;
Tasked with building an 
[[analog computer|analogue]]
[[Trigonometric_function|arctan]] 
computer and finding its parts overstressed, he instead designed a machine for a functional root &lt;fifth?&gt; of arctan and chained enough copies to make the arctan machine.)-->

===反函数===
对一个函数 ''f'':''X''&rarr;''Y'' ，若值域 ''Y'' 中任何一个元素 ''y'' 的原象是唯一的，那么这个函数就被称为是[[双射]]的。对任意的 ''y''&isin;''Y'' 到它的原象''f''<sup>&minus;1</sup>(''y'')的映射，我们称之为 ''f'' 的反函数，记为 ''f''<sup>&minus;1</sup>。

举一个反函数的例子，比如 ''f''(''x'') = ''x''<sup>2</sup> ，它的反函数是 ''f''(''x'')<sup>&minus;1</sup> = &radic;''x'' 。[啊恩！...你必须指明它的定义域是...如果你说定义域是'''R'''，那就错了]同样，2''x'' 的反函数是 ''x''/2。反函数是一个函数，它能够“抵消”它的原函数。参见[[逆映射]]。

===限制及擴張===
給出 <math>Y</math> 的子集 <math>X</math> 以及函數 

:<math>f:Y\rightarrow Z</math>，

則 

:<math>f|X:X\rightarrow Y</math> 
:<math>f|X(x)=f(x)</math>

稱為 <math>f</math> 在 <math>X</math> 的'''[[函數的限制|限制]]'''。

反之，若給出函數

:<math>g:X\to Z</math> 

則一個定義在 <math>Y</math> 的函數 <math>f:Y\to Z</math> 適合 <math>f|X=g</math>，就是 <math>g</math>
的'''[[函數的擴張|擴張]]'''。

==点态运算  ==

設函數 <var>f</var>:&nbsp;<var>X</var>&nbsp;&rarr;&nbsp;<b>R</b> 及<var>g</var>:&nbsp;<var>X</var>&nbsp;&rarr;&nbsp;<b>R</b> 有 <var>X</var> 為共同的輸入值域及[[環]] <b>R</b> 為共同輸出值域。 我們可以定義''函數和'' <var>f</var>&nbsp;+&nbsp;<var>g</var>: <var>X</var>&nbsp;&rarr;&nbsp;<b>R</b> 及''函數積'' <var>f</var>&nbsp;&times;&nbsp;<var>g</var>: <var>X</var>&nbsp;&rarr;&nbsp;<b>R</b> 如下:
:(<var>f</var>&nbsp;+&nbsp;<var>g</var>)(<var>x</var>)&nbsp;:= <var>f</var>(<var>x</var>)&nbsp;+&nbsp;<var>g</var>(<var>x</var>);
:(<var>f</var>&nbsp;&times;&nbsp;<var>g</var>)(<var>x</var>)&nbsp;:= <var>f</var>(<var>x</var>)&nbsp;&times;&nbsp;<var>g</var>(<var>x</var>);
for all <var>x</var> in <var>X</var>。

這樣子我們得出一個函數組成的環。這是一個抽象性擴張的例子，由此我們由較簡單的結構得出更複雜的。

若然以[[抽象代數]] <var>A</var> 代替 <b>R</b>, 得出的由 <var>X</var> 到 <var>A</var> 的函數集會類似地擁有和 <var>A</var> 相同的代數結構。

== 可计算和不可计算函数 ==

所有从整数到整数的[[可计算函数]]的个数是[[可數集|可数的]]，这是因为所有可能的算法个数是可数的。从整数
到整数的函数个数要更多些－和[[实数]]个数一样多，也就是说是等[[势]]的。这说明有些从整数到整数的函数是不可计算的。关于不可计算函数，请参看[[停机问题]]和[[莱斯定理]]。

==范畴学中的函数==

函數定義為定义域''X''與上域''Y''的關係。而在[[范畴学]]中，函数的槪念被擴張成[[射 (范畴学)|射]]的槪念。
一個[[范畴]]包括一組物件與一組射，每一個射是個有序三元组(''X'', ''Y'', ''f'')，其中''f''是从定义域''X''到上域''Y''的一個關係，而定义域与上域是范畴內的物件。基于这种解释，可以把函数看作集合范畴里面的射。

==参见==
<small>*[http://archives.math.utk.edu/visual.calculus/ Visual Calculus] by [[Lawrence S. Husch]], [[University of Tennessee]] ([[2001]])</small>

== 外部连接 ==
* [http://functions.wolfram.com/ Wolfram函数网站]， 汇集了各数学函数的公式和图像

* [http://math.hws.edu/xFunctions/ xFunctions] 一个多功能的Java小程序，可以显示函数的图像，既可以在线使用，也可以下载运行。

[[category:函数]]
[[category:数学]]

[[da:Funktion (matematik)]]
[[de:Funktion (Mathematik)]]
[[el:Συνάρτηση]]
[[en:Function (mathematics)]]
[[eo:Funkcio]]
[[es:Función matemática]]
[[et:Funktsioon (matemaatika)]]
[[fr:Fonction (mathématiques)]]
[[he:פונקציה]]
[[hr:Funkcija]]
[[id:Fungsi]]
[[is:Fall (stærðfræði)]]
[[it:Funzione (matematica)]]
[[ja:関数 (数学)]]
[[nl:Functie (wiskunde)]]
[[no:Bilde]]
[[pl:Funkcja matematyczna]]
[[pt:Função]]
[[ro:Funcţie (matematică)]]
[[ru:Функция (математика)]]
[[sl:Funkcija]]
[[sv:Funktion (matematik)]]
[[th:ฟังก์ชัน (คณิตศาสตร์)]]
[[uk:Функція]]