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

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

简介
若是实数,以有序对 为元素所构成的集合就是一个函数。直观上代表"输入" 就可以得到唯一值 的对应关系。
一般会以英文本母 表示函数,并把 依据函数 的对应规则所得到的值写作 ,并读作"f of x"。函数的概念不限于数之间的对应关系,例定义函数 为世界上所有国家跟它现在的首都的对应关系,那输入英国就会输出唯一值伦敦:。
直观上的「多变量函数」其实也可以概括到一般函数的定义里。例如算式 有两个实数参数 和 。可以将这两个参数看作一个实数有序对 ,然后定义一个以 为元素所构成的函数 ,然后把 简记成符合直观的 。
数学中,对应、映射、变换通常都是函数的别称,但也可能有别的意思,如在拓扑学的映射有时代表的是连续函数。
历史
函数这个数学名词是莱布尼兹在1694年开始使用的,用来描述跟曲线相关的一个量,如曲线的斜率或者曲线上的某一点。莱布尼兹所指的函数现在被称作可导函数,数学家之外的普通人一般接触到的函数即属此类。对于可导函数可以讨论它的极限和导数,此两者描述了函数输出值的变化同输入值变化的关系,是微积分学的基础。中文的“函数”一词由清朝数学家李善兰译出。其《代数学》书中解释:“凡此变量中函(包含)彼变量者,则此为彼之函数”。
- 1718年,约翰·伯努利把函数定义为“一个变量的函数是指由这个变量和常量以任何一种方式组成的一种量。”
- 1748年,伯努利的学生欧拉在《无穷分析引论》一书中说:“一个变量的函数是由该变量和一些数或常量以任何一种方式构成的解析表达式”,例如。
- 1775年,欧拉在《微分学原理》一书中又提出了函数的一个定义:“如果某些量以如下方式依赖于另一些量,即当后者变化时,前者本身也发生变化,则称前一些量是后一些量的函数。”
- 19世纪的数学家开始对数学的各个分支进行形式化。维尔斯特拉斯倡议将微积分学创建在算术,而不是几何的基础上,这种主张较趋向于欧拉的定义。
- 函数的定义得以扩展之后,数学家便能对一些“奇怪”的数学对象进行研究,例如处处不可导的连续函数。这些函数曾经被认为只具有理论价值,迟至20世纪初时它们仍被视作“怪物”。稍后,人们发现这些函数在对如布朗运动之类的物理现象进行建模时有重要的作用。
- 到19世纪末,数学家开始尝试利用集合论来进行数学的形式化。他们试图将每一个数学对象都定义为集合。狄利克雷给出了现代正式的函数定义(参见下文#正式定义)。在他的定义下,函数被视作数学关系的特例。然而对于实际应用的情况,现代定义和欧拉定义的区别可以忽略不计。
正式定义

(为了避免 的括弧与逻辑叙述的括弧混淆,也会用 来表示有序对)
也就是直观上,有序对 代表 (输入值, 输出值);而 本身是以穷举所有 (输入值, 输出值) 来详尽定义的对应规则,且每个输入值只能对应一个输出值。
函数值的简记
习惯上把 「等价地」记为 。但严谨来说, 是在一阶逻辑公理化集合论下额外添加的双元函数符号 ( 因为 与 各为一个变量) ,而它的「定义」就是以下连带额外增加的公理:
公理 —
- 其中:
- ( 的每个输入值只能对应一个输出值)
- ( 在 规定的输入值范围内)
添加公理的合理性 |
---|
假设有 ,此时对公式 套用量词公理A4有:
这样综合上式和 就有: 换句话说: 这样根据特定条件下的存在性就有: 这样根据函数符号与唯一性的内容,就可以于策梅洛-弗兰克尔集合论增加上述的公理与双元函数符号 ,且添加这个公理的新理论等效于原来的理论。 |
直观上,这个公理表示「若 为一函数且 在 的输入值范围,则 ;否则规定 为空集」。
这样根据函数符号与唯一性的定理(E),就会有本节一开始所说的直观性质:
也就是「若 为一函数且 在 的输入值范围,则对所有的 , 等价于 」。
对于「n变量」的函数,也就是以
为元素的函数 ,习惯上会把以下的项
进一步简写为
定义域与值域
如果能指出函数 的 "输入值范围" 跟 "输出值范围" ,对数学的讨论是相当方便的;事实上公理化集合论中,分类公理确保对任意集合 有唯一的集合 和 (严格来说,单元函数符号 )分别满足
- (「输入值范围」)
- (「输出值范围」)
直观上, 是搜集所有 里所有有序对的第一个所构成的集合; 是搜集所有 里所有有序对的第二个所构成的集合。这样的话,如果 本身就是函数的话, 就是所谓的「输入值范围」,所以被称为定义域;类似地, 就是所谓的 「输出值范围」,所以被称为值域。
通常情况下,有以下惯用的记号
也就是直观上, 表示「 是函数且其定义域为 ,且值域包含于 。」。这种情况下, 通常被俗称为对应域。
属于定义域 的元素 常被俗称为自变量(independent variable),而项 则被俗称为因变量(dependent variable),但是这跟实验上的自变量和因变量是稍有不同的,因为前者是现实得到的实验值之间的关联,但另一个是源于集合论的概念。
函数的简记
除了正式定义一节所规范的集合论表示法,一般的数学书籍会采用比较通俗的函数表记方法,下面将一一介绍。
函数记号
一般的函数都是取实数为输出值和输入值,也就是严格地说,一般的函数都是 ()。而实数四则运算的结果通常都是唯一的,比如说,对于任意实数 ,都有唯一的 使得 。但考虑到实数加法可由皮亚诺公理里的单元函数符号 (直观上代表「 的下一个」,或说「 」)所延伸出来的,或是本身就是实数公理系统里的双元函数符号(通常简记为 ),不管如何,它们都是一阶逻辑下的项;类似地,乘法本身也来自于函数符号,所以一般所谓的表达式其实是函数符号的组合,换句话说,就是项。所以直观上定义实数函数的时候,都希望一条项(直观上的表达式)能唯一决定一个函数,比如说,对于项:
以下的集合:
是一个函数。为了让这个符号表示更加简洁,就衍伸出以下的表记方式:
这个表记方式被称为函数记号(functional notation),直观上表示「若所有 的元素 输入表达式 里,都可以得到唯一的输出值,那可以定义一个 的函数」。
像是取 为 的话,因为实数加法的性质而有:
这样就可以把前面的函数 简记为:
如果 可以从上下文推断出来,函数记号可以更不正式的写为:
比如说函数 就可以进一步简记为:
这个记号是1734年第一次被莱昂哈德·欧拉所采用[9]。 但当时并没有清楚地区分函数、项与幂级数,因为当时并没有一阶逻辑这种清楚研究语言推理的系统;也并不知道有些物理学上的实用对应关系不能用幂级数展开[10]。
箭号表示
以上的函数记号也可以稍作修改,来明确的指出「输出值」的范围:
这个表记方式被称为箭号表示(arrow notation),直观上表示「若所有 的元素 输入表达式 里,都可以得到 里的某个唯一的输出值,那可以定义一个从 到 ,对应规则为 的函数 」
比如说,取 为 的话,因为实数加法的性质而有:
这样就可以把以下的函数 :
(因为 可以自动推出 )表示成:
箭号表示常用来「固定」某个变量,来得到新的函数;假设 是含有变量 和 的项,如果:
那根据:
若假设 是将 里的 都代换成 所形成的新项,那以下的符号简写也是可行的:
直观上来说, 是把 第二个变量 「固定」成特定的 所得到的新函数,英文上也可称为。
函数图形
如果函数 的值域跟定义域都是实数集合(俗称 为实函数),可以x轴代表定义域的范围;y轴代表值域的范围,把函数的每个元素标示在平面直角坐标上,这被称为实函数 在平面上的函数图形。
对于"双变量"的实函数 ,也就是以 ()
为元素的函数,可以取
然后以 x 轴为 变化范围;y 轴为 变化范围;最后取z 轴为 的值域变化范围,这样就可以在三维直角坐标绘出 的函数图形。
实函数的判别
平面上的任意图形可用竖直判别法判断是否为实函数的图形,即图形与任何一条平行于 y 轴的直线不能有一个以上的交点。但实际上这仅仅是函数正式定义的一种应用,因为平行于 y 轴的直线代表的是形如
的集合,也就是此直线交 x 轴于 ,那这样直线与实函数 的交集就是
而属于这个交集里的平面点最多只能有一个,否则就会跟每个 只能对应一个 的基本定义矛盾。
像和原像
像可以指两种不同的概念
第一种是形如 的项,直观上代表的是依照函数 的对应规则,使 能对应到的那个"值"。(严谨的意义请回去参考函数值的简记)
第二种指的是集合 在函数 下定义的集合
注意 的值域就是定义域 的像 。在正式定义一节的最后例子中, 在 的像是 ,而 的值域是 。
类似的,集合 在函数 下的原像(或逆像)定义为:
沿用同一例子,可以看到 的原像是 ,即空集。
以下是及的一些特性:
- ;
- ;
- ;
- ;
- ;
- 。
函数范例
- 首都之于国家(若不把多首都国[注 1]计算在内)。
- 每个自然数的平方是的函数。
- 对数函数。是正实数的函数。注意,虽然可以把对数函数推广到复数情况,但结果就不是函数了,而是多值函数。
- 对每个在平面上的点,其和原点的距离是确定的。
常用的数学函数包括多项式函数、根式函数、幂函数、对数函数、有理函数、三角函数、反三角函数等。它们都是初等函数。非初等函数(或特殊函数)包括伽马函数和贝塞尔函数等。
范畴论观点下的函数
在范畴论中,函数的槪念被推广为态射的槪念。
一个范畴包括一组对象与一组态射,每一个态射是个三元组(X, Y, f),X称为源对象(定义域的模拟),Y称为目标对象(到达域的模拟),而源对象与目标对象是范畴内的对象。基于这种解释,可以把函数看作集合范畴里面的态射。
注释
- . geography.about.com. [2004-04-05]. (原始内容存档于2005-12-22).
参考文献
- Lawrence S. Husch. . 田纳西大学. 2001年.
- Bartle, Robert. 2nd. Wiley. 1976. ISBN 978-0-471-05465-8. OCLC 465115030.
- Bloch, Ethan D. . Springer. 2011. ISBN 978-1-4419-7126-5.
- Cunningham, Daniel W. . Cambridge University Press. 2016. ISBN 978-1-107-12032-7.
- Gödel, Kurt. . Princeton University Press. 1940. ISBN 978-0-691-07927-1.
- Jech, Thomas. 3rd. Springer-Verlag. 2003. ISBN 978-3-540-44085-7.
- Spivak, Michael. 4th. Publish or Perish. 2008. ISBN 978-0-914098-91-1.
- Halmos, Paul R. . Springer-Verlag. 1970. ISBN 978-0-387-90092-6.
- Halmos 1970,第30页[1]; the words map, mapping, transformation, correspondence, and operator are often used synonymously.
- Halmos 1970[1]
- Hazewinkel, Michiel (编), , , Springer, 2001, ISBN 978-1-55608-010-4
- Hazewinkel, Michiel (编), , , Springer, 2001, ISBN 978-1-55608-010-4
- Taalman, Laura; Kohn, Peter. . New York City: W. H. Freeman and Company. 2014. ISBN 978-1-4292-4186-1. LCCN 2012947365. OCLC 856545590. OL 27544563M (英语).
- Trench, William F. 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) (英语).
- Thomson, Brian S.; Bruckner, Judith B.; Bruckner, Andrew M. (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) (英语).
- Larson, Ron; Edwards, Bruce H. . Cengage Learning. 2010: 19. ISBN 978-0-538-73552-0.
- 曹, 亮吉. . 科学月科社. 1988: 270–270, 277–277.
延伸阅读
- Anton, Howard.
. Wiley. 1980. ISBN 978-0-471-03248-9.
- Bartle, Robert G. 2nd. Wiley. 1976. ISBN 978-0-471-05464-1.
- Dubinsky, Ed; Harel, Guershon. . Mathematical Association of America. 1992. ISBN 978-0-88385-081-7.
- Hammack, Richard. (PDF). . Virginia Commonwealth University. 2009 [2012-08-01].
- Husch, Lawrence S. . University of Tennessee. 2001 [2007-09-27].
- Katz, Robert. . D. C. Heath and Company. 1964.
- Kleiner, Israel. . The College Mathematics Journal. 1989, 20 (4): 282–300. CiteSeerX 10.1.1.113.6352
. JSTOR 2686848. doi:10.2307/2686848.
- Lützen, Jesper. . Porter, Roy (编). . Cambridge University Press. 2003. ISBN 978-0-521-57199-9. An approachable and diverting historical presentation.
- Malik, M. A. . International Journal of Mathematical Education in Science and Technology. 1980, 11 (4): 489–492. doi:10.1080/0020739800110404.
- Reichenbach, Hans. . Dover. 1947. ISBN 0-486-24004-5.
- Ruthing, D. . Mathematical Intelligencer. 1984, 6 (4): 71–78. S2CID 189883712. doi:10.1007/BF03026743.
- Thomas, George B.; Finney, Ross L.
9th. Addison-Wesley. 1995. ISBN 978-0-201-53174-9.
外部链接
- NIST数学函数(页面存档备份,存于)
- mysuc.com,经典函数示例
- Wolfram函数网站(页面存档备份,存于),汇集了各数学函数的公式和图像
- Was ist eine Funktion? (页面存档备份,存于)
- xFunctions(页面存档备份,存于)一个多功能的Java小进程,可以显示函数的图像,既可以在线使用,也可以下载运行。
- FooPlot (页面存档备份,存于)
- Curvas(页面存档备份,存于)