准备好进入无限维空间了吗？如果一台机器可以吃一个数吐出一个数，那为什么不能有一台机器吃一整台机器吐出一个数？这种"食人机器"在教科书里叫泛函（functional）。好消息：导数的定义完全不变——还是"输出的微小变化 ÷ 输入的微小变化"，只不过"输入"现在是一整台机器！
"Alea iacta est."（骰子已经掷出。）——当我们决定把机器和向量的类比当真时，我们不知道所有熟悉的微积分运算在无限维是否还有意义。但我们选择掷骰子，勇往直前。
——作者
📖 向量 ↔ 机器 翻译词典
吃向量的机器 F(x)
⇔
吃机器的机器 F[f(x)]
机器 f 有无限多个"槽位"——每个输入值 x 对应一个槽位 f(x)。就像向量 x = (x₁, x₂, ..., xₙ) 有n个槽位，但n现在变成了∞。
🗡️ 泛函导数定义（和普通导数一模一样！）
δF = F[f+δf] - F[f] 是泛函的输出变化，δf(x̃) 是"第x̃个槽位"的微小扰动。泛函导数就是"让f在x̃处改变一点点，F变了多少"——就像偏导数！
💡 核心洞察：导数的本质从未改变
回顾整本书，无论是单变量、多变量还是无限维，导数始终是同一个概念：
1. 给机器喂东西 s
2. 让食物产生微小变化 ds
3. 看输出变了多少：dm = m(s+ds) - m(s)
4. 导数 = dm/ds = 输出变化 ÷ 输入变化
食物可以是一个数（单变量）、一个向量（多变量）、一整台机器（泛函）。导数的意义始终不变。δ 这个符号只是提醒你"这是无限维的"，你完全可以把它换成 d，一切依然成立。