论函数概念的起源

AI评述何新论函数概念的起源：一个历史概念系统的演化叙事

近代函数概念始源来自伽利略对物理运动的数学描述。

1. 伽利略（1638）

《两门新科学》里用文字和比例描述运动变量关系，"距离与时间的平方成正比"。没有符号，没有术语，但已经有了"一个量随另一个量变化"的认知。这是物理直觉阶段——函数尚未诞生，但"变量依赖"的经验已经存在。

2. 笛卡尔（1637）

解析几何引入坐标系，以曲线对应方程，x和y的关系被写进了代数式。但笛卡尔没有提出"函数"这个概念——他只关注到曲线和方程的对应关系。函数概念的萌芽被埋在了"方程"的框架里。

［ 马克思在《数学手稿》中将函数概念的革命性起源归于笛卡尔解析几何，指出笛卡尔将代数静态未知数改造为可连续变动的坐标变量，使变量依存关系成为数学研究对象，为近代函数理论与微分学的建立奠定了本体论前提。］

3. 莱布尼茨（1673）

在手稿《反切线或者函数方法》中首次使用"function"函数一词，但这不是一次简单的命名。

事实上莱布尼茨同时期还用过"依赖量"（quantitas pendens）、"导出量"（quantitas derivata）等候选词，最终确定"functio"。

拉丁语 functio 原意"履行、执行、担当"，来自动词 fungi，基础义履行，履责。officio fungi 履职。

［马克思《数学手稿》说：这里还要对函数一词作一注释。
“函数（Funktion）”一词，最初是在处理方程个数少于其中出现的未知数个数的所谓不定方程时，引到代数中来的。这里，例如y的值的变化取决于人们譬如对x给予的数值3，4，5等等。这里y就叫做x的函数，因为它必须服从x的命令，正像每个官员（Funktionär），甚至于伟大的威廉一世，也要依从某个人一样。据此，在微分学中，“函数”一词就在这个意义下转给了因变量，亦即依赖于x的函数。］

莱布尼茨选词的直觉不是"y听命于x"，而是曲线上某个点**履行**了什么几何功能——派生出切线长、法线长、次切距这些量。这些量不是被动跟从曲线的，而是被曲线的几何功能所**派生**出来的。

这里已经埋下了"输入-输出"的雏形：给定一个点（输入），执行几何规则后产生一个量（输出）。只是这个"函数"还被绑在几何框架里，无法脱离曲线独立存在。

4. 约翰·伯努利（1697/1718）

1697年，伯努利在给莱布尼茨的信中首次给出函数的实质定义："一个由变量和常数以任意方式构成的量"（Quantitas quomodocunque formata ex indeterminatis et constantibus）。这是从几何量到代数式的关键跳跃。

1718年，伯努利将这个定义正式写进论文，公开化、权威化。函数从此不再是"曲线的仆人"，而是可以独立研究的代数表达式。但伯努利仍然强调"任意方式构成"——实际上意味着必须用公式表示，隐函数和分段函数仍在其视野之外。

5. 欧拉（1734/1748/1755）

1734年，引入 f(x) 记号，沿用至今。这是符号化的革命。

1748年，《无穷分析引论》定义函数为"解析表达式"——这是伯努利路线的延续。

1755年，《微分学原理》中发生微妙转折：函数是"某些量依赖于另一些量，后者变前者也变"。这是今天初中课本"变量说"的来源。但注意一个张力：欧拉在本体论上解放了函数（不再必须是解析式），在认识论上仍然依赖解析式——没有解析式就无法计算微分。这个"说一套做一套"的局面，要到柯西才部分打破。

欧拉的真正贡献是让函数翻身变成主角——曲线不再是函数的主人，反而成了函数的图像。

6. 傅里叶（1807/1822）

这是常被遗漏的关键节点。傅里叶在《热的解析理论》中，用三角级数表示任意函数——包括分段连续、甚至不连续的函数。这在实践层面先于狄利克雷打破了"函数必须解析"的迷信。

傅里叶级数的冲击是经验性的：数学家们发现，一大堆"不像函数的东西"（锯齿波、方波）居然都能展开成三角级数。这迫使人们重新思考：到底什么才算函数？狄利克雷1837年的严格定义，很大程度上是对傅里叶级数收敛条件的理论回应。

7. 狄利克雷（1837）

"对于每个确定的x值，y都有一个确定的值"——不再要求连续，不再要求公式，甚至不再要求"变化"，只要对应存在即可。

但这里有一个常见的张冠李戴：狄利克雷函数（有理数取1、无理数取0）不是狄利克雷本人构造的，而是魏尔斯特拉斯后来用来展示这个定义允许的病态函数。狄利克雷本人的动机不是"推广函数概念"，而是严格化傅里叶级数的收敛条件。他需要一个足够宽泛的定义域来涵盖所有可展开函数，结果无意中给出了最宽泛的函数定义。

8. 20世纪集合论——映射说

函数 = 定义域到值域的映射，f: A → B。这看起来"彻底脱离了变量和变化的物理直觉"，但更准确的说法是：将"变量依赖"形式化到了元语言层面。

"映射"不是对"变量"的否定，而是将"变量变化"这一操作工具化为集合间的结构关系。在范畴论中，映射进一步抽象为态射（morphism），而函数复合的结合律、恒等律，恰恰是"变量替换"这一操作的代数化。每一步不是拆除上一代，而是将上一层的操作对象变成下一层的操作工具。

核心脉络

几何量 → 代数式 → 解析式 → 三角级数表示 → 任意对应 → 映射

| 阶段 | 代表人物 | 核心特征 | 被剥离的限制 |
| 几何量 | 莱布尼茨 | 曲线上点的几何功能 | — |
| 代数式 | 伯努利（1697） | 变量与常量的任意构成 | 脱离曲线 |
| 解析式 | 欧拉（1748） | 明确的解析表达式 | "任意构成"的模糊性 |
| 三角级数 | 傅里叶（1807/1822） | 任意函数可展开为级数 | 必须初等解析 |
| 任意对应 | 狄利克雷（1837） | 纯对应关系，无连续性要求 | 必须有公式/解析式 |
| 映射 | 20世纪集合论 | 集合间的结构关系 | 变量、变化、物理直觉 |

9.李善兰"函数"译名

李善兰在翻译德摩根《代数学》和罗密士《代微积拾级》时创译"函数"。

《代数学》的定义偏"解析式说"：函数就是含变数的代数式。
《代微积拾级》的定义多了"相依而生，一数随他数而变"，更接近欧拉1755年的"变量说"。

"函"字取"包含"义，出自《说文解字》"函，舌也，容也"。"容"指容器（容纳变量），"舌"指表达（说出关系）——这个双关极妙。李善兰自述："凡式中含天元者，皆谓之函数。"既贴合"含天之式"的字面，又暗合"一数函（含）彼数"的依赖关系。这不是简单的翻译，而是用汉字的语源学深度，覆盖了函数概念史上的两个主要定义（解析式说与变量说）。

10.总结

函数概念的历史，是一部"将操作对象不断工具化"的抽象史：几何量被代数化，代数式被解析化，解析式被级数化，级数被对应化，对应最终被结构化为映射——每一步都把上一层的"是什么"变成下一层的"怎么算"。

延展思考：
当代数学中“函数”的概念其实还在继续演化。在计算机科学和范畴论（Category Theory）中，函数（或态射）进一步被剥离了“集合”与“元素”的实体束缚，变成了纯粹的“箭头”与“计算过程”。在 Lambda 演算中，函数甚至不再需要名字，只剩下纯粹的抽象与代入规则。

这或许是这篇宏大叙事在21世纪的一个自然延伸。