一切皆為對數：乘法到加法同構的統一理論
無底對數：對數作為無座標物件
對數本質上是將乘法關係轉換為加法關係的同構。標準記法 $\log_b(x)$ 將對數與特定底數綁定，而「無底對數」的概念則將對數視為一個抽象的幾何物件——一個點——而不是特定的數字。在此框架下，有底對數僅是兩個無底對數的比率：
$$ \log_b N = \frac{\log N}{\log b} $$
此觀點將換底公式從代數規則轉變為簡單的單位變換。正如 2 公里等於 2000 公尺，$\log_2 N$（以「位元」為單位）可以通過除以單位 $\log e$ 改寫為 $\ln N$（以「奈特」為單位）。這與向量微積分中位移向量（兩點之差）與點本身的區別相呼應；無底對數是基本點，而有底對數則是在選擇座標系統（底數）後的位移。
對數作為向量與投影
無底對數與幾何向量之間存在直接的結構等價。幾何向量 $\mathbf{v}$ 獨立於任何座標系統存在，但可以在投影到基底向量 $\mathbf{x}$ 後表示為一組數字（例如，$v_x = \mathbf{v}/\mathbf{x}$）。同樣地，無底對數 $\log N$ 是一個幾何物件，當投影到如 $\log 2$ 的「量尺」時，會變成數值。
數學中的對數投影
雖然標準對數提供總值，但多個數學領域獨立開發了「投影」運算子，以提取特定的對數分量，模擬偏導數 ($\partial f / \partial x$)：
- 數論： $p$-adic 估值 $\nu_p(n)$ 提取質數 $p$ 在 $n$ 質因數分解中的指數。這實際上是將「向量」$\log n$ 投影到基底元素 $\log p$ 上。
- 複分析： 在點 $a$ 处的全纯函數 $f(z)$ 的「消失階」$\text{ord}a f(z)$ 透過極限 $\lim{z \to a} \frac{\log f(z)}{\log(z-a)}$ 提取，該極限用來抵消其他項並隔離特定分量，這與偏導數類似。
向量作為平移算子的對數
在微分幾何中，向量常被寫為偏導數算子的基底：$\mathbf{v} = v_x \partial_x + v_y \partial_y$。這些算子通過指數運算生成離散平移：
$$T_{\mathbf{v}} = e^{v_x \partial_x + v_y \partial_y} = T_x^{v_x} T_y^{v_y}$$
這揭示了向量本質上是平移算子的對數。將平移算子 $T$ 視為通用底數，向量 $\mathbf{v}$ 可視為 $\log_T T_{\mathbf{v}}$。此映射將空間中點的平移乘法作用轉換為向量分量的加法代數。
維度的對數特性
線性代數中的維度運算子 ($\text{dim}$) 的行為恰好像一個對數。這通過將向量空間運算的性質與對數恆等式進行比較可以看出：
| 向量空間運算 | 維度結果 | 對數等價 | 對數結果 |
|---|---|---|---|
| 直和 $U \oplus V$ | $\text{dim}(U) + \text{dim}(V)$ | 乘法 $u \times v$ | $\log(u) + \log(v)$ |
| 商空間 $U/V$ | $\text{dim}(U) - \text{dim}(V)$ | 除法 $u/v$ | $\log(u) - \log(v)$ |
| 張量積 $U \otimes V$ | $\text{dim}(U) \times \text{dim}(V)$ | 指數 $u^{\log v}$ | $\log(u) \times \log(v)$ |
對於有限域 $K$ 上的有限維向量空間，這在字面上是真的：向量空間 $V$ 的基數是 $|K|^{\text{dim}_K V}$。因此，$\text{dim}K V = \log{|K|} |V|$。這表明 $\text{dim}$ 和 $\text{span}$ 運算子是線性代數中 $\log$ 和 $\exp$ 的類比。
綜合與理論含義
這些類比表明，許多看似不同的數學運實際上是同一個原始概念的不同實例：乘法與加法表示之間的同構。
來自社區的見解
- 扭子： 評論者指出，「無底對數」是一個 扭子——一種類似群但缺乏固定身份元素（原點）的代數物件。選擇對數的底數相當於通過選擇原點來「平凡化」扭子。
- 物理： 在量子力學和統計力學中，作用量 $S$ 和熵 $S$ 都充當對數的角色，將乘法機率或振幅轉換為加法量。
- 批評： 一些人認為，雖然這些連結在美學上令人愉悅，但它們可能是「巨觀層面的過度概括」，有風險將為不同問題設計的工具之間的實際差異平坦化。
最終，「無底對數」的方法主張在數學中實現 一般協變性——即數學對象的基本性質應該與用來描述它們的座標（或底數）無關。