易教网
函数的历史：从伽利略的思考到现代集合论
更新时间：2026-08-04
你还记得第一次听到“函数”这个词时的情景吗？教室里，老师用粉笔在黑板上写下 \( y = f(x) \)，同学们盯着那两条字母，脑中可能出现“一道数学题”。但如果我们把时间倒回三百多年，你会发现“函数”并不是一开始就有这么清晰的符号表示，它经历了一段从直观到抽象、从几何到解析的漫长旅程。
今天，就让我们一起走进这段历史，看看“函数”是如何在几位数学巨匠的笔下逐渐成形的。
在《两门新科学》中，伽利略（15641642）用文字和比例描述了两个变量之间的依赖关系。这里的“变量关系”实际上就是函数的雏形，只是没有给出明确的符号。伽利略的思路是：当一个量变化时，另一个量会随之变化，这是一种直觉上的对应。
笛卡尔（15961650）在解析几何中首次把点坐标 \( (x, y) \) 与曲线联系起来。他注意到，一个变量的值可以决定另一个变量的值，这正是函数的“对应”思想。虽然当时还没有提炼出函数的概念，但几何图形已经成了研究变量关系的工具。
牛顿在微积分中使用了“流量”来表示变量之间的关系，而莱布尼兹在1673年首次用 “function” 表示幂，后来扩展到表示曲线上点的横坐标、纵坐标、切线长等几何量。可以说，这两位先驱已经把“变量”抽象成了数学对象，只是缺少一个统一的定义。
> 小贴士：如果你把变量想成电梯的按钮，按下不同的楼层键（自变量），电梯内部的指示灯（因变量）会随之改变，就能轻松记住“对应”这一核心思想。
约翰·贝努利（16671748）在莱布尼兹的基础上给出了明确的函数定义：由任一变量和常数的任意形式所构成的量。换句话说，只要一个表达式里出现了变量 \( x \) 和若干常数，就可以称之为 \( x \) 的函数。贝努利强调函数要用公式来表示，这为后来的解析函数奠定了基础。
欧拉（17071783）在《无穷分析引论》中进一步指出：一个变量的函数是由该变量和常数以任何方式组成的解析表达式。他将函数分为代数函数和超越函数，甚至提出了“随意函数”的概念。欧拉的定义突破了“只能用公式表示”的局限，为后来的多形式函数（如分段函数）提供了理论依据。
欧拉曾给出如下分段函数的例子：
\[ f(x) = \begin{cases}x^2, & x \ge 0 \\-x^2, & x < 0\end{cases} \]
这种用不同解析式覆盖不同区间的写法，正是他突破“唯一式子”束缚的体现。
柯西（17891857）在定义变量时首次引入了“自变量”和“因变量”的名称：在某些变数间存在着一定的关系，当一经给定其中某一变数的值，其他变数的值可随之确定时，则将最初的变数叫自变量，其他各变数叫做函数。
柯西的定义虽然仍倾向于用多个解析式表示函数，但已经明确指出 函数不一定非要有解析式，这对后来的发展产生了深远影响。
傅里叶（17681830）在研究热传导时发现，同一函数可以用 曲线、单一解析式 或 多个解析式 表示，这直接打破了“只能用唯一式子表示函数”的争论。他的工作表明，函数是一种对应关系，而呈现形式可以多样。
狄利克雷（18051859）在 1837 年给出的定义成为后来的经典函数定义：对于在某区间上的每一个确定的 \( x \) 值，\( y \) 都有一个确定的值，那么 \( y \) 叫做 \( x \) 的函数。这一定义摆脱了对“依赖关系”的描述，只关注 对应关系，因而更具一般性。
> 思考题：如果把 “\( y \) 的取值唯一对应 \( x \)” 这条规则想象成 “每把钥匙只能打开一把锁”，你能想到哪些生活中的例子？
康托尔（18451918）创立的集合论为函数提供了全新的视角。
维布伦（18801960）利用集合和对应的概念，给出了 近代函数定义：若对集合 \( M \) 的任意元素 \( x \)，总有集合 \( N \) 确定的元素 \( y \) 与之对应，则称在集合 \( M \) 上定义一个函数，记作
\[ f: M \to N,\quad y = f(x) \]
这里的 \( x \) 称为自变元，\( y \) 称为因变元。集合论让函数的 定义域、值域 和 对应规则 都变得透明，也为后来计算机科学中的“映射”概念奠定了基础。
现代数学把函数看作 集合之间的对应关系，不再局限于数值变量。这意味着 任何集合（如字符串、图像、甚至是音乐片段）都可以成为函数的定义域和值域。例如，图像处理中的卷积操作就可以用 \( f: \text{图像集合} \to \text{特征集合} \) 来描述。
在现代教材中，函数常用以下两种形式表达：
- 显式表达式：\( y = f(x) \)
- 集合对应：\( f = \{ (x, y) \mid x \in M,\ y \in N,\ \text{且满足某种规则} \} \)
前者直观易记，后者则突出了函数的集合本质。
在日常教学中，我们可以把函数的演变历史做成 时间轴，让学生在看到 \( y = f(x) \) 时，能够联想到：
1. 伽利略 的比例直觉；
2. 欧拉 的解析表达式；
3. 狄利克雷 的唯一对应；
4. 现代集合论 的抽象映射。
这样一来，学生不仅记住了公式，还明白了公式背后的思想演进。
回顾三百多年的历史，我们可以清晰地看到，函数的概念经历了从直觉描述到严谨定义的过程。从伽利略的比例到欧拉的解析式，从柯西的自变量到狄利克雷的唯一对应，再到集合论的现代映射，每一步都在深化“对应”这一核心思想。
当你下次在黑板上看到 \( y = f(x) \) 时，别忘了把它想象成一个 桥梁：左边的 \( x \) 是“输入”，右边的 \( y \) 是“输出”，而 \( f \) 正是连接两端的桥梁。正如我们生活中的许多桥梁一样，只要结构稳固、走向明确，就能顺利通往目的地。
> 温馨提醒：在学习函数时，多尝试把抽象的符号和身边的实际情境联系起来——比如把 \( f(x) \) 看作 “把 \( x \) 变成 \( y \) 的机器”，这样理解起来会更轻松。
希望这篇文章能帮助你在数学的海洋里，找到那座连接变量与变量的桥梁，让“函数”不再是陌生的名词，而成为你思考、解决问题的得力工具。祝学习愉快！