打开主菜单

函数

数学二元关系,输入值集合中的每项元素皆能对应​​唯一一项输出值集合中的元素
函数就像機器或黑箱,给予输入值便產生唯一输出值

函数数学中为两不为空集的集合间的一种对应关系:输入值集合中的每项元素皆能对应​​唯一一项输出值集合中的元素。例如实数对应到其平方的关系就是一个函数,若以作为此函数的输入值,所得的输出值便是

为方便起见,一般做法是以符号等等来指代一个函数。若函数作为输入值,则其输出值一般写作,读作'f of x' 。上述的平方函数关系写成数学式记为。函数的概念并不局限于数之间的映射关系,例如若定义函数为每个国家当前的首都,那么给予输入值西班牙就会输出唯一值马德里气温的分布也能用函数表达,以时间和地点作为参量输入,以该时该地的温度作为输出。表达函数有多种方式,例如解析法是用数学式表达两个变量之间的对应关系,图像法是用坐标系上的函數圖形表达两个变量之间的对应关系,列表法用表格表达两个变量之间的对应关系。

現代數學中[1],函数所有输入值的集合被称作該函数的定义域,而其輸出值所存在的集合稱為對應域。其中值域特指該函數的输出值集合,意即上域包含了值域,值域為上域的子集。通常輸入值稱作函數的參數參量,輸出值稱作函數的。函數將有效的輸入值變換為唯一的輸出值,同一輸入總是對應同一輸出,但反之未必成立。因此如這樣的表達式並沒有定義出一个函数,因为输出值有兩個可能。定義函數時需確定每一个输入值只对应唯一输出值,因此必须明确地选择一个平方根。例如定义,亦即对于任何非负输入值,选择其非负平方根作为函数值。

函數可以看作機器或黑箱,通常最常見的函數的參數和函數值都是數字,其對應關係用函數式表示,函數值可以通過直接將參數值代入函數式得到。的平方即是函數值。也可以將函數很簡單的推廣到與多個參量相關的情況。例如有兩個參量,以乘積為值。將這兩個輸入看作一個有序對即為以這個有序對作參數的函數,而函數值是。函數能被抽象定義為某種數學關係,由於其定義的一般性,在幾乎所有的數學分支都是基礎概念。一些領域中比如在λ演算中,函数可以是作為一個原始概念而不像在集合論般有所定义。在大部分的数学领域内,术语对应映射变换通常是函数的近义词。不過某些情況這些術語可能有別的特定意思,例如在拓扑學中一个映射有时被定义成一个连续函数

定義编辑

 
函数f的部分图像。每个实数的x都与fx) = x3 − 9x相联系。

从输入值集合 到可能的输出值集合 的函数 (记作 )是  关系,满足如下条件:

  1.  完全的:对集合 中任一元素 都有集合 中的元素 满足    相关的)。即,对每一个输入值, 中都有与之对应的输出值。
  2.  多对一的:若  ,则 。即,多个输入可以映射到一个输出,但一个输入不能映射到多个输出。

定义域中任一 在到達域中唯一对应的 记为 

比上面定义更简明的表述如下:从 映射到 的函数   直积 子集 中任一 都与 中的 唯一对应,且有序对 属于 

  的关系若满足条件(1),则为多值函数。函数都是多值函数,但多值函数不都是函数。  的关系若满足条件(2),则为偏函数。函数都是偏函数,但偏函数不都是函数。除非特别指明,本條目中的“函数”总是指同时满足以上两个条件的关系。 考虑如下例子:

(1)一對多。X中的元素3与Y中的两个元素bc相关。因此这是多值函数,而不是函数。
(2)一對一但非完全對應。X的元素1未与Y的任一元素相关。因此这是偏函数,而不是函数。
(3)完全對應且多对一,因此这是从XY的函数。此函数可以表示为f ={(1, d), (2, d), (3, c)},或 

历史编辑

函数这个数学名词是莱布尼兹在1694年开始使用的,用來描述跟曲线相关的一個量,如曲线的斜率或者曲线上的某一点。莱布尼兹所指的函数现在被称作可导函数,数学家之外的普通人一般接触到的函数即属此类。对于可导函数可以讨论它的极限导数,此两者描述了函数输出值的变化同输入值变化的关系,是微积分学的基础。中文的“函数”一词由清朝数学家李善兰译出。其《代数学》书中解释:“凡此變數中函(包含)彼變數者,則此為彼之函數”。

  • 1718年,約翰·伯努利把函数定义为“一个变量的函数是指由这个变量和常量以任何一种方式组成的一种量。”
  • 1748年,伯努利的学生欧拉在《无穷分析引论》一书中说:“一个变量的函数是由该变量和一些数或常量以任何一种方式构成的解析表达式”,例如 
  • 1775年,欧拉在《微分学原理》一书中又提出了函数的一个定义:“如果某些量以如下方式依赖于另一些量,即当后者变化时,前者本身也发生变化,则称前一些量是后一些量的函数。”
  • 19世纪的数学家开始对数学的各个分支進行形式化。维尔斯特拉斯倡議将微积分学建立在算术,而不是几何的基础上,這種主張較趋向于欧拉的定义。
  • 函数的定义得以擴展之後,数学家便能对一些“奇怪”的数学对象进行研究,例如處處不可导的连续函数。这些函数曾经被认为只具有理论价值,迟至20世纪初时它们仍被视作“怪物”。稍后,人们发现这些函数在对如布朗运动之类的物理现象进行建模时有重要的作用。
  • 到19世纪末,数学家开始尝试利用集合论来進行数学的形式化。他们试图将每一個数学对象都定义为集合狄利克雷给出了现代正式的函数定义(参见下文#正式定义)。在他的定義下,函数被视作数学关系的特例。然而对于实际应用的情况,现代定义和欧拉定义的区别可以忽略不计。

表示方法编辑

  • 描述法
  • 表格
  • 公式法
  • 图形

函数的判别编辑

除了利用函数的定义之外,还可以利用竖直判别法,即函数的图形与任何一条平行于 y 轴的直线不能有一个以上的交点。

单射、满射与双射函数编辑

  • 单射函数,将不同的輸入值映射到不同的函數值。即:若  属于定义域,则仅当 时有 
  • 满射函数,其值域即为其到達域。即:对於映射 的到達域中之任意 ,都存在至少一个 满足 
  • 双射函数,既是单射的又是满射的函數。也叫一一对应、對射。双射函数经常被用于表明集合  是等的,即有一样的基数。如果在两个集合之间可以建立一个一一对应,则说这两个集合等势。

定义域与值域、陪域编辑

  • 定义域:原像集,自变量的取值集合。
  • 值域:像集,因变量的取值集合。
  • 陪域:值域所属的全集。

像和原像编辑

元素  之下的就是 

子集  之下的像,是以 的元素的像所組成的集合,為 的一個子集,即

 

注意 的值域就是定義域 的像 。在#正式定义一節的最後例子中,  的像是 ,而 的值域是 

根據此定義, 可引申成為由 幂集(由 的子集組成的集)到 的幂集之函數,亦記作 

子集  原像(或逆像)是如下定義的 的子集:

 

沿用同一例子,我們可以看到 的原像是 ,即空集

根據此定義, 是由 的幂集到 的幂集之函數。

以下是  的一些特性:

  •  
  •  
  •  
  •  
  •  
  •  

這些特性適合定義域的任意子集  和到達域的任意子集  ,甚至可推廣到任意子集群的交集并集

函数图形编辑

 
sin(x)等函數的圖形。

函数 在平面上的图形是点对 的集合,其中 取遍定义域上的所有成员。函数图形可以帮助理解证明一些定理。 注意函数图形可以有兩個定義:一是三元組 ,其中 是函數的定義域, 是函數的到達域, 關係的圖;二是索性以關係的圖定義。用第二個定義則函数 等於其图形。

函数範例编辑

  • 首都之於国家(若不把多首都国[1] 计算在内)。
  • 每个自然数 的平方  的函數。
  • 對數函數 实数 的函數。注意,雖然可以把對數函數推廣到複數情況,但結果就不是函數了,而是多值函數。
  • 對每个在 平面上的点,其和原点 的距离是確定的。

常用的数学函数包括多项式函數根式函數冪函數对数函數有理函数三角函数反三角函數等。它们都是初等函数。非初等函数(或特殊函数)包括伽马函數贝塞尔函数等。

函數的特性编辑

分段函数编辑

分段函数(德語:Abschnittsweise definierte Funktion),在定义域内不同部分上,有不同的解析表达式,这样的函数通常叫分段函数。

复合函数编辑

函數  複合函數

 

舉例,飛機在 时刻的高度是 ,而高度 处的氧气浓度是 ,則在 时刻飛機周围的氧氣濃度是  

  可自我複合;此時複合函數可記作 (不要與三角學的符號混淆)。函數的幂的定義是對自然數 

 

反函数编辑

 
  互為反函数,並且於鏡射於軸 上。

对一个函数f: XY,若值域Y中任何一个元素y的原象是唯一的,那么这个函数就被称为是双射的。对任意的yY到它的原象ƒ−1(y)的映射,我们称之为f的反函数,记为f−1

举一个反函数的例子,比如ƒ(x) = x3,它的反函数是ƒ−1(x) =   。同样,2x的反函数是x/2。反函数是一个函数,它能够“抵消”它的原函数,并具有和原函数相同的单调性。参见逆映射

函數的限制及擴張编辑

給出 的子集 以及函數

 

 
 

稱為  限制

反之,若給出函數

 

當一個定義在 的函數   就是 擴張

点态运算编辑

設函數f: XRg: XRX為共同的定義域及R為共同的到達域。我們可以定義“函數和”f + g: XR及“函數積”f×gXR如下:

(f + g)(x) := ƒ(x) + g(x);
f×g(x) := ƒ(xg(x);

对于所有X中的x

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

若然用別的代數結構A代替R,得出的由XA的函數集會類似地擁有和A相同的代數結構。

歧義函數编辑

歧義函數,也称多值函数,指有輸出值多於一個的情況。例如,4的平方根可以是2或者-2,而兩者的平方皆是4。

嚴格來說,歧義函數不完全算是函數,因為數學函數的定義對於一個輸入值只能有唯一一個輸出值。實際上,這樣的「函數」通常被稱為關係式复变函数理论采用黎曼面处理函数多值的困境。

一元函数编辑

设 D 是实数集 R 中的非空子集,称映射 f : D -> R 为定义在 D 上的一元函数

多元函数编辑

多元函数(n-元函數)是指輸入值為n-元組的函數。或者說,若一函數的輸入值域為n個集合的笛卡尔积的子集,這函數就是n-元函數。例如,距離函數dist((x,y))是一個二元函數,輸入值是由兩個點組成的序對。另外,多複變函數(即輸入值為複數的多元組)是一個重要的數學課題。

抽象代數中,運算元其實都是函數,如乘法"*"是個二元函數:當我們寫x*y時,其實是用上了*(x,y)的中綴表示法

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

可计算和不可计算函数编辑

所有从整数到整数的可计算函数的个数是可数的,这是因为所有可能的算法个数是可数的。从整数到整数的函数个数要更多些-和实数个数一样多,也就是说是等的。这说明有些从整数到整数的函数是不可计算的。关于不可计算函数,请参看停机问题莱斯定理OEIS中有一個經典的例子: A102288

范畴論觀點下的函数编辑

范畴论中,函数的槪念被推廣為態射的槪念。

一個范畴包括一組物件與一組態射,每一個態射是個三元组(X, Y, f),X稱為源物件(定義域的類比),Y稱為目標物件(到達域的類比),而源物件与目標物件是范畴內的物件。基于这种解释,可以把函数看作集合范畴裡面的態射。

參考文獻编辑

  1. ^ MacLane, Saunders; Birkhoff, Garrett. Algebra First. New York: Macmillan. 1967: 1–13. 

外部链接编辑