Ch5.5

MM 物种

The MM Species — 把乘法变成乘法
← 首页
📝 什么是 MM 物种？
MM 物种由所有满足以下行为特征的机器组成：

f(x·y) = f(x)·f(y)，对所有 x、y 成立

即：两个数相乘之后再喂给机器，等同于分别喂给机器再把结果相乘。

我们已经见过这类机器——幂函数 f(x) = x⁰ 显然满足 (xy)⁰ = x⁰·y⁰。
但问题是：所有满足 f(xy) = f(x)f(y) 的机器，都一定是幂函数吗？
🎧 交互：幂函数家族

拖动幂次 c 滑块，观察 f(x) = x⁰ 在不同幂次下的形状变化。

幂次 c： c = 1.0
f(x) = x¹，线性函数，斜率 = 1
验证 f(xy) = f(x)·f(y)
取 x=2, y=3：
f(2×3) = f(6) = 6c
f(2)×f(3) = 2c × 3c
✅ 成立
f'(x) = c·xc−1
取 x=2：
f'(2) = c·2c−1
幂律锤子成立
🔎 推导：只有幂函数满足 MM 定义
1 对定义求导： f(xy) = f(x)f(y)，两边对 y 求导 → x·f'(xy) = f(x)·f'(y)
2 令 y=1： x·f'(x) = f(x)·f'(1)。记 f'(1) = c，则 f'(x) = c·f(x)/x
3 引入 ln： 令 q(x) = ln(f(x))。由链式法则，q'(x) = f'(x)/f(x) = c/x。所以 ln(f(x)) 的导数是 c/x。
4 反推： 已知 ln(x) 的导数是 1/x，所以 ln(f(x)) = c·ln(x) + 常数。即 f(x) = K·x⁰。由 f(1)=1 得 K=1。故 f(x) = x⁰
📚 结论
所有满足 f(xy) = f(x)·f(y) 的机器，都必须是 f(x) = x⁰ 的形式。

MM 物种就是幂函数家族——我们早在 Ch3 就用锤子工具研究过它了。
它的导数就是幂律锤子：(x⁰)' = c·x⁰⁻¹

🔗 这让 MM 物种成为四种物种中最"眼熟"的一个——老朋友了。
📈 四种物种一览
AA 物种：f(x+y) = f(x) + f(y)
f(x) = cx（线性函数）
加法 → 加法
AM 物种：f(x+y) = f(x)·f(y)
fc(x) = cx（指数函数）
加法 → 乘法
MA 物种：f(xy) = f(x)+f(y)
g_c(x) = log_c(x)（对数）
乘法 → 加法
MM 物种：f(xy) = f(x)·f(y)
f(x) = x⁰（幂函数）
乘法 → 乘法
🌸 四步理解 MM 物种
1
核心洞察（蓝色）
MM 物种的行为是把乘法变成乘法：f(xy)=f(x)f(y)。令人惊喜的是，满足这个行为的机器只有一种——幂函数 x⁰。这意味着我们不需要"发明"新的机器来填充 MM 物种，它们就是我们从 Ch3 就认识的老朋友。
2
几何解释（绿色）
拖动滑块看 x⁰ 的曲线：c=2 是抛物线（U形），c=1 是直线，c=1/2 是向右侧生长的平方根曲线，c=-1 是双曲线（1/x），c=3 是陡峭的S形曲线。橙色虚线是导数曲线，你能看到它永远遵循"幂律锤子"的形状——指数下移一次。
3
公式推导（橙色）
对 f(xy)=f(x)f(y) 两边关于 y 求导，得 x·f'(xy)=f(x)f'(y)。令 y=1 得 x·f'(x)=f(x)·f'(1)，即 f'(x)/f(x)=c/x。左边是 ln(f(x)) 的导数，右边是 c·ln(x) 的导数。积分得 ln(f(x))=c·ln(x)，故 f(x)=x⁰。
4
生活类比（紫色）
MM 物种就像等比例缩放：如果你把一个正方形的边长放大2倍，面积就变成4倍（2²）；放大3倍，面积就变成9倍（3²）。面积是边长的"MM机器"——边长乘2再乘3=乘6，面积也乘4再乘9=乘36=6²。这就是 f(xy)=f(x)f(y) 的日常体现：缩放再缩放，效果是相乘的。