跳转到内容

函数

本页使用了标题或全文手工转换
维基百科,自由的百科全书
函数 就像机器或黑箱,给予输入值便产生唯一输出值

函数(英语:function)是数学描述对应关系的一种特殊集合;粗略地说,从集合X到集合Y的函数将Y的一个元素恰好分配给X的每个元素[2]。集合X称为函数的定义域[3],集合Y称为函数的到达域[4]

函数最初是一个变化的量如何依赖另一个量的理想化。例如,特定时间行星的位置可以视为是行星的位置对时间的函数。从历史上看,这个概念是在17世纪末用无穷微积分来阐述的,直到19世纪,所考虑的函数都是可微的。函数的概念于19世纪末在集合论中被形式化,这大大扩展了这个概念的应用领域。

将形状映射到其颜色的函数

简介

[编辑]

实数,以有序对为元素所构成的集合就是一个函数。直观上代表“输入”就可以得到唯一值的对应关系。

一般会以英文字母表示函数,并把依据函数的对应规则所得到的值写作,并读作“f of x”。函数的概念不限于数之间的对应关系,例定义函数为世界上所有国家跟它现在的首都的对应关系,那输入英国就会输出唯一值伦敦

直观上的“多变数函数”其实也可以概括到一般函数的定义里。例如算式有两个实数参数。可以将这两个参数看作一个实数有序对,然后定义一个以为元素所构成的函数,然后把简记成符合直观的

数学中,对应映射变换通常都是函数的别称,但也可能有别的意思,如在拓扑学的映射有时代表的是连续函数

类型论λ演算中,“对应关系”可以是作为一个原始概念(也就是无定义名词),而不像上述的定义把函数视为集合的衍伸物。

函数的值域定义域中所有元素的之集合。[5][6][7][8]

历史

[编辑]

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

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

正式定义

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

定义 — 
二元关系 若满足:

则称为 为一函数。

(为了避免的括弧与逻辑叙述的括弧混淆,也会用来表示有序对

也就是直观上,有序对代表(输入值, 输出值);而本身是以穷举所有(输入值, 输出值)来详尽定义的对应规则,且每个输入值只能对应一个输出值

函数值的简记

[编辑]

习惯上把“等价地”记为。但严谨来说,是在一阶逻辑公理化集合论下额外新增的双元函数符号(因为各为一个变数),而它的“定义”就是以下连带额外增加的公理:

公理 — 

其中:
的每个输入值只能对应一个输出值)
规定的输入值范围内)
新增公理的合理性
假设有,此时对公式套用量词公理A4有:

这样综合上式和就有:

换句话说:

这样根据特定条件下的存在性就有:

这样根据函数符号与唯一性的内容,就可以于策梅洛-弗兰克尔集合论增加上述的公理与双元函数符号,且新增这个公理的新理论等效于原来的理论。

直观上,这个公理表示“若为一函数且的输入值范围,则;否则规定空集”。

这样根据函数符号与唯一性的定理(E),就会有本节一开始所说的直观性质:

也就是“若为一函数且的输入值范围,则对所有的等价于”。

对于“n变数”的函数,也就是以

为元素的函数,习惯上会把以下的

进一步简写为

定义域与值域

[编辑]

如果能指出函数的“输入值范围”跟“输出值范围”,对数学的讨论是相当方便的;事实上公理化集合论中,分类公理确保对任意集合有唯一的集合(严格来说,单元函数符号)分别满足

(“输入值范围”)
(“输出值范围”)

直观上,是搜集所有里所有有序对的第一个所构成的集合;是搜集所有里所有有序对的第二个所构成的集合。这样的话,如果本身就是函数的话,就是所谓的“输入值范围”,所以被称为定义域;类似地,就是所谓的“输出值范围”,所以被称为值域

通常情况下,有以下惯用的记号

也就是直观上,表示“是函数且其定义域,且值域包含于。”。这种情况下,通常被俗称为对应域

属于定义域的元素常被俗称为自变量(independent variable),而项则被俗称为因变量(dependent variable),但是这跟实验上的自变量和因变量是稍有不同的,因为前者是现实得到的实验值之间的关联,但另一个是源于集合论的概念。

一对一

[编辑]

定义 — 
函数 若满足

则被称为一对一的(one-to-one)或是单射(injective function)。

直观上,若函数的输出值都只能被唯一个输入值对应,则称是一对一的。

是单射,那(根据分类公理所取的)以下的集合:

也是一个函数,被称为反函数

满射

[编辑]

这个简记只能指出“输出值不会超出”,为了弥补这个简记的缺陷,口语上会将满射(surjective function)定义为“值域就是”的函数。

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

函数的简记

[编辑]

除了正式定义一节所规范的集合论表示法,一般的数学书籍会采用比较通俗的函数表记方法,下面将一一介绍。

函数记号

[编辑]

很多函数都是取实数为输出值和输入值,换句话说,都是),这些函数很多都是以实数的四则运算去定义的。但考虑到实数加法可由皮亚诺公理里的单元函数符号(直观上解释成“的下一个”,或说“”)建构出来,或被视为实数公理系统里的双元函数符号(简记为),实数加法其实是一阶逻辑下的;类似地,其他四则运算也可以此类推,而得出他们都是的结论。所以直观上定义实数函数的时候,都希望一条项(直观上的运算式)能唯一决定一个函数,比如说,对于

以下的集合:

是一个函数。为了让这类函数的表示更加简洁,就衍伸出以下的表记方式:

符号定义 — 
都是集合 是含有变数 ,那在:

的前提下,则可做以下的符号定义:

这个表记方式被称为函数记号(functional notation),直观上表示“若从依序取出地代入里,都可以得到唯一的输出值,那可以定义一个的函数”。(有可能不满足前提,从而无法定义这样的一个函数,如取就无法得到唯一输出值)

像是取的话,因为实数加法的性质而有:

因为单元对被规定成:

这样就可以把前面的函数简记为:

如果定义域可以从上下文推断出来,函数记号可以更不正式的写为:

比如说函数就可以进一步简记为:

这个记号是1734年第一次被莱昂哈德·欧拉所采用[9]。但当时并没有清楚地区分函数、幂级数,因为当时并没有一阶逻辑这种清楚研究语言推理的系统;也并不知道有些物理应用的函数不能用幂级数展开[10]

箭号表示

[编辑]

以上的函数记号也可以稍作修改,来明确的指出“输出值”的范围:

符号定义 — 
都是集合 是含有变数 ,在:

的前提下,可做以下的符号定义:

这个表记方式被称为箭号表示(arrow notation),直观上表示“若把从依序取出地代入里,都可以得到里的某唯一输出,那可以定义一个从,对应规则为的函数

上述符号也可以比较通俗地记为:

比如说,取的话,因为实数加法的性质而有:

因为可以推出,所以可把函数表示成:

箭号表示常用来“固定”某个变数,来得到新的函数;假设是含有变数,如果:

那根据:

若假设是将里的都代换成所形成的新,那以下的符号简写也是可行的:

直观上来说,是把第二个变数“固定”成特定的所得到的新函数,英文上也可称为partial applied function

间隔号表示

[编辑]

可以把箭号表示里的都取代成间隔号,变成更通俗直观的间隔号表示,比如说:

可以记为:

或是对于可积,作如下定义的话:

函数的定义亦可不正式的记为:

但这个表记方法的明显缺点是无法指出定义域,因为函数于哪个区间可积会决定以上的函数的定义可不可行。

函数图形

[编辑]
sin(x)等函数的图形

如果函数的值域跟定义域都是实数集合(俗称实函数),可以x轴代表定义域的范围;y轴代表值域的范围,把函数的每个元素标示在平面直角坐标上,这被称为实函数在平面上的函数图形

对于“双变数”的实函数,也就是以()

为元素的函数,可以取

然后以x轴为变化范围;y轴为变化范围;最后取z轴为的值域变化范围,这样就可以在三维直角坐标绘出函数图形

实函数的判别

[编辑]

平面上的任意图形可用竖直判别法判断是否为实函数的图形,即图形与任何一条平行于y轴的直线不能有一个以上的交点。但实际上这仅仅是函数正式定义的一种应用,因为平行于y轴的直线代表的是形如

的集合,也就是此直线交x轴于,那这样直线与实函数的交集就是

而属于这个交集里的平面点最多只能有一个,否则就会跟每个只能对应一个的基本定义矛盾。

像和原像

[编辑]

可以指两种不同的概念

第一种是形如,直观上代表的是依照函数的对应规则,使能对应到的那个“值”。(严谨的意义请回去参考函数值的简记)

第二种指的是集合在函数下定义的集合

注意的值域就是定义域的像。在正式定义一节的最后例子中,的像是,而的值域是

类似的,集合在函数下的原像(或逆像)定义为:

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

以下是的一些特性:

这些特性适合定义域的任意子集和到达域的任意子集,甚至可推广到任意子集群的交集并集

函数的限制及扩张

[编辑]

,那以下定义的集合(注意到代表笛卡儿积)

显然为一函数,称为限制

反之,若,那称为扩张

点态运算

[编辑]

。这样可以定义“函数和”与“函数积”如下:

很容易证明以上两者也是函数,类似的对任意的可以定义下面这两个集合

也是函数,其中被称为常数函数

范例

[编辑]
  • 首都之于国家(若不把多首都国[注 1]计算在内)。
  • 每个自然数的平方的函数。
  • 对数函数实数的函数。注意,虽然可以把对数函数推广到复数情况,但结果就不是函数了,而是多值函数。
  • 对每个在平面上的点,其和原点的距离是确定的。

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

分类

[编辑]

函数可分为

范畴论观点

[编辑]

范畴论中,函数的槪念被推广为态射的槪念。

一个范畴包括一组物件与一组态射,每一个态射是个三元组(X, Y, f),X称为源物件(定义域的类比),Y称为目标物件(到达域的类比),而源物件与目标物件是范畴内的物件。基于这种解释,可以把函数看作集合范畴里面的态射。

注释

[编辑]
  1. ^ Countries With Multiple Capital Cities. geography.about.com. [2004-04-05]. (原始内容存档于2005-12-22). 

参考文献

[编辑]
  1. ^ 1.0 1.1 Halmos, Paul R. Naive Set Theory. Springer-Verlag. 1970. ISBN 978-0-387-90092-6. 
  2. ^ Halmos 1970,第30页[1]; the words map, mapping, transformation, correspondence, and operator are often used synonymously.
  3. ^ Halmos 1970[1]
  4. ^ Hazewinkel, Michiel (编), Mapping, 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4 
  5. ^ Hazewinkel, Michiel (编), Function, 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4 
  6. ^ Taalman, Laura; Kohn, Peter. Calculus. New York City: W. H. Freeman and Company. 2014. ISBN 978-1-4292-4186-1. LCCN 2012947365. OCLC 856545590. OL 27544563M (英语). 
  7. ^ Trench, William F. Introduction to Real Analysis 2.04th. Pearson Education (originally; self-republished by the author). 2013 [2023-12-08]. ISBN 0-13-045786-8. LCCN 2002032369. OCLC 953799815. Zbl 1204.00023. (原始内容存档于2023-11-23) (英语). 
  8. ^ Thomson, Brian S.; Bruckner, Judith B.; Bruckner, Andrew M. Elementary Real Analysis (PDF) 2nd. Prentice Hall (originally; 2nd ed. self-republished by the authors). 2008 [2023-12-08]. ISBN 978-1-4348-4367-8. OCLC 1105855173. OL 31844948M. Zbl 0872.26001. (原始内容存档 (PDF)于2023-05-26) (英语). 
  9. ^ Larson, Ron; Edwards, Bruce H. Calculus of a Single Variable. Cengage Learning. 2010: 19. ISBN 978-0-538-73552-0. 
  10. ^ 曹, 亮吉. 數學導論. 科学月科社. 1988: 270–270, 277–277. 

延伸阅读

[编辑]

外部链接

[编辑]