函数的发展史大致可以分为以下五个关键阶段：
1. 早期萌芽（17世纪以前）：依赖关系的雏形
2. 概念诞生（17世纪）：与微积分共同成长
3. 解析化与欧拉的定义（18世纪）
4. 严格化与扩张（19世纪）
5. 现代定义（19世纪末至今）
1. 早期萌芽（17世纪以前）
在古代数学中，虽然没有明确的“函数”概念，但许多研究已经触及了函数关系的核心——即一个量依赖于另一个量而变化。
古希腊：在托勒密的天文学著作中，有弦长随角度变化的弦表，这实际上就是三角函数表的雏形，体现了一种数值对应关系。
中世纪：经院哲学家如奥雷斯姆开始研究图线法，用直观的图形来表示一个变量（如速度）如何随另一个变量（如时间）变化，这几乎是函数图像的先声。
这个时期的特点是：研究是零散的、具体的，并未抽象出一般的数学概念。
2. 概念诞生（17世纪）：与微积分共同成长
17世纪，随着解析几何的创立和微积分的发明，科学家们迫切需要一个新的数学工具来描述运动、变化和变量间的依赖关系。
笛卡尔 & 费马：他们创立的解析几何是函数概念发展的基石。它将几何曲线与代数方程联系起来，使得“一个变量如何随另一个变量变化”可以通过方程 y = f(x)来解析地表达。
牛顿：作为微积分的发明者之一，他主要从力学和运动学的角度出发。他称变量为“流量”，称变化率为“流数”。他的函数概念是“流动的量”之间的关系，更偏向于“变量”本身。
莱布尼茨：另一位微积分发明者。他于1673年首次使用了“function”（拉丁文：functio）一词，但他当时用这个词来指代与曲线相关的几何量，如切线、法线、次切线等，与现代含义仍有差距。
约翰·伯努利：莱布尼茨的学生和合作者。他在1698年首次给出了一个初步的函数定义，称函数是“由一个变量和一些常数构成的量”。这一定义开始向解析表达式靠拢。
这个阶段，“函数”概念在微积分的推动下诞生，但其定义仍然是模糊的，通常与“公式”、“曲线”或“解析表达式”紧密捆绑。
3. 解析化与欧拉的定义（18世纪）
18世纪是函数概念解析化的世纪，其集大成者是莱昂哈德·欧拉。
欧拉：他在1748年的著作《无穷分析引论》中给出了函数的经典定义：
“一个变量的函数是由该变量和一些数或常量以任何一种方式构成的解析表达式。”
这个定义具有划时代的意义：
它明确了函数的核心是解析表达式（如ntent='{"url":"https://image-tt-private.toutiao.com/tos-cn-i-6w9my0ksvp/3cc5aa2272ad4bc68d64bb2a5c33a970~tplv-obj.image?_iz=115383&c=811c9dc5&from=image_upload&lk3s=72284de7&policy=eyJ2bSI6MywidWlkIjoiNDA0ODg1NjMyNjA4NDQwMCJ9&x-orig-authkey=5a21e4afda5945d9a206a695e4c78a63&x-orig-expires=2389347110&x-orig-sign=hjZ2aRDXD8txgRJYljm0b8Y6kUM%3D","uri":"tos-cn-i-6w9my0ksvp/3cc5aa2272ad4bc68d64bb2a5c33a970","width":118,"height":28,"darkImgUrl":"https://image-tt-private.toutiao.com/tos-cn-i-6w9my0ksvp/f8522d456ffd42fd9ff5e536d9240121~tplv-obj.image?_iz=115383&c=811c9dc5&from=image_upload&lk3s=72284de7&policy=eyJ2bSI6MywidWlkIjoiNDA0ODg1NjMyNjA4NDQwMCJ9&x-orig-authkey=5a21e4afda5945d9a206a695e4c78a63&x-orig-expires=2389347128&x-orig-sign=NM7amO98btrZHzVyAxEnYKIgyuA%3D","darkImgUri":"tos-cn-i-6w9my0ksvp/f8522d456ffd42fd9ff5e536d9240121","formulaImgStatus":"succeed"}' data-formula=" x^2, sin x, log x">等）。
欧拉引入了符号 f(x)来表示函数，这一简洁的符号系统沿用至今，极大地促进了函数理论的发展。
他对函数进行了分类：代数函数vs 超越函数。
然而，欧拉的定义也存在局限性。他将函数完全等同于“公式”，这使得一些没有单一解析表达式的曲线（如随手画出的曲线）被排除在函数之外。
4. 严格化与扩张（19世纪）
19世纪，数学分析走向严格化。数学家们发现，欧拉的解析定义无法处理一些新的、奇怪的数学现象，这迫使函数概念必须被重新审视和扩展。
傅里叶：他对热传导的研究是函数概念扩宽的关键催化剂。他证明，任何函数（甚至是不连续的函数）都可以用三角级数（傅里叶级数）来表示。这意味着一个函数可以由多个不同的解析表达式分段定义，彻底打破了“一个函数一个公式”的传统观念。
狄利克雷：他是现代函数概念的奠基人。在1829年关于傅里叶级数的论文中，他给出了一个革命性的、完全抽象的函数定义：
“假设a和b是两个确定的值，x是一个变量，它可以从a连续地变化到b。如果对每一个x，都有唯一的一个y与之对应，那么y就称为x的函数。”
狄利克雷定义的核心突破：
1. 抛弃了解析表达式
函数的存在不再依赖于能否用公式写出来。
2. 强调“对应关系”的本质
函数的核心是规则，无论这个规则是公式、图形、表格还是语言描述。
3. 强调“唯一性”
对于自变量x的每一个值，因变量y必须有唯一确定的值与之对应。
为了说明他的观点，狄利克雷构造了著名的狄利克雷函数：
ntent='{"url":"https://image-tt-private.toutiao.com/tos-cn-i-6w9my0ksvp/b68e291d6e564b099c80a85b8ee5f03f~tplv-obj.image?_iz=115383&c=811c9dc5&from=image_upload&lk3s=72284de7&policy=eyJ2bSI6MywidWlkIjoiNDA0ODg1NjMyNjA4NDQwMCJ9&x-orig-authkey=5a21e4afda5945d9a206a695e4c78a63&x-orig-expires=2389347561&x-orig-sign=teWT04bzxbzuYp0kl8bRZfjBkHA%3D","uri":"tos-cn-i-6w9my0ksvp/b68e291d6e564b099c80a85b8ee5f03f","width":263,"height":51,"darkImgUrl":"https://image-tt-private.toutiao.com/tos-cn-i-6w9my0ksvp/8e0b3e086498413b8542babb405d7a7c~tplv-obj.image?_iz=115383&c=811c9dc5&from=image_upload&lk3s=72284de7&policy=eyJ2bSI6MywidWlkIjoiNDA0ODg1NjMyNjA4NDQwMCJ9&x-orig-authkey=5a21e4afda5945d9a206a695e4c78a63&x-orig-expires=2389347580&x-orig-sign=1heUQ68YUIEZChgAAgjLndbRnwA%3D","darkImgUri":"tos-cn-i-6w9my0ksvp/8e0b3e086498413b8542babb405d7a7c","formulaImgStatus":"succeed"}' data-formula="D(x)=\left\{ \frac{1,如果x是有理数}{0,如果x是无理数} \right\}">
这个函数没有任何传统的解析表达式，图像也无法画出，但它完全符合他的定义。这个病态函数的提出，标志着函数概念从“公式”的束缚中彻底解放出来。
黎曼和魏尔斯特拉斯等数学家进一步发展了严格的分析学，为函数论奠定了坚实的基础。
5. 现代定义（19世纪末至今）
随着集合论的创立和发展，函数定义找到了最自然、最普适的语言。
戴德金等人将函数定义为集合间的映射。
现代标准定义：
设X和Y是两个非空集合。如果存在一个对应法则f，使得对于集合X中的每一个元素x，按照法则f，在集合Y中都有唯一确定的元素y与之对应，那么称f为从X到Y的一个函数。
这个定义是狄利克雷思想的集大成和精确化：
明确了定义域X和值域Y。
函数被看作一种特殊的二元关系（有序对的集合 (x, y)），其中要求第一个元素x不能重复。
这个定义无比广泛，涵盖了所有可能的函数，从数值函数到抽象集合之间的映射（如线性变换、算子等）。
6.总结与影响
函数概念的发展史是一条清晰的抽象化之路：
时期 | 代表人物 | 核心思想 | 局限性 |
17世纪前 | 托勒密、奥雷斯姆 | 具体的数值/几何依赖关系 | 零散，未抽象成概念 |
17世纪 | 莱布尼茨、牛顿 | 与微积分共生，描述运动与变化 | 定义模糊，与几何捆绑 |
18世纪 | 欧拉 | 函数即解析表达式 | 排斥无公式的对应关系 |
19世纪 | 傅里叶、狄利克雷 | 函数即任意对应规则 | —— |
20世纪 | (集合论) | 函数是集合间的映射 | —— |
影响：
函数概念的不断深化，直接推动了实变函数论、泛函分析（研究函数构成的空间）、拓扑学等现代数学分支的诞生。它从描述现实世界运动和变化的工具，演变成了数学中最基本、最核心的抽象概念之一，成为了连接代数、几何、分析等几乎所有数学领域的桥梁。
