万物皆对数：探索无底数对数与数学协变性

核心论点：作为无坐标对象的对数

对数从根本上是同构映射，将乘法代数表示转换为加法表示。通过将对数视为一种“无底数”的几何对象，而非特定的数值，我们可以将底数的选择（例如，比特位的 base 2，或自然对数的 base $e$）视为单位或坐标系的选取。这一视角揭示了许多迥异的数学运算——从向量空间的维数到 $p$-adic 估值——实际上都是同一种底层对数原语的实例。

无底数对数与单位转换

在标准记法中，$\log_b(x)$ 是一个数值。然而，如果我们把 $\log N$ 视为一个抽象的、无底数的对象，那么标准的“有底数”对数就变成了两个无底数对数之比：

$$\log_2 N = \frac{\log N}{\log 2}$$

在这个框架下，$\log 2$ 被解释为单位“bits”。因此，改变对数的底数不仅是代数运算，更是一种单位转换，类似于将千米转换为米。这反映了向量微积分中几何向量（抽象位移）与坐标向量（相对于原点的数值元组）之间的区别。

对数作为向量与投影

无底数对数与几何向量之间存在着强大的结构等价性。正如向量 $v$ 可以投影到基向量 $x$ 以求得其坐标 $v_x$ 一样，无底数对数 $\log N$ 也可以投影到单位 $\log 2$ 以求得其值 $\log_2 N$。

其他领域中的对数投影

虽然标准对数缺乏直接的“偏导数”算子，但其他数学领域已经独立地发明了对数投影：

• 数论： $p$-adic 估值 $\nu_p(n)$ 在自然数的对数基底中提取 $\log p$ 的系数，实际上起到了投影的作用。
• 复分析： 亚纯函数的“零点阶数” $\text{ord}a f(z)$ 是通过对数比值的极限来提取的：$\lim{z \to a} \frac{\log f(z)}{\log(z-a)}$。

向量作为平移的对数

在微分几何中，向量通常被写成偏导数算子。一个平移算子 $T_v$ 可以表示为向量的指数：$T_v = e^v$。

相反，一个向量可以被视为平移算子的对数：$v = \ln T_v$。通过使用“无底数”方法，我们可以写成 $v = \frac{\log T_v}{\log T}$，其中 $T$ 是平移的一个通用底数。这表明，在平坦空间中，向量的概念本身就是乘法平移运算的对数。

维数作为对数

线性代数中的维数算子 $\text{dim}_K V$ 的行为与对数完全一致。以下对应关系成立：

• 直和 $\to$ 加法： $\text{dim}_K(U \oplus V) = ext{dim}_K U + ext{dim}_K V$
• 张量积 $\to$ 乘法： $\text\text{dim}_K(U \otimes V) = ext{dim}_K U \times ext{dim}_K V$

这不仅仅是一个类比。对于有限域上的有限维向量空间，维数实际上是空间基数相对于域基数的对数：$\text{dim}K V = \log{|K|} |V|$。

综合与讨论

这种算术的“集合化”——将数字视为集合的基数，将运算视为集合论的构造——表明，许多数学符号系统掩盖了更深层、统一的结构的特征。

社区观点

技术同行之间的讨论突显了这种泛化既有的优雅，也存在风险：

"这里无底数的 $\log$ 只是一个 torsor！... Torsors 让我们在无需预先做出任意选择的情况下讨论这些事物。"

虽然有人认为这是一种观察数学协变性的强大方式，但也有人警告不要进行“宏观层面的过度泛化”：

"说万物皆对数是一个有趣的思维练习，但我觉得这过于抹平了差异，使得你失去了单个数学工具的实际效用。"

最终，该提议主张一种数学的“协变”公式化，即属性由测量值之间的关系而非绝对值来定义，从而减少目前埋藏在迥异符号系统中的冗余。