すべては対数である：底なし対数と数学的共変性の探究

コアとなる命題：座標に依存しないオブジェクトとしての対数

対数は、乗法的な代数的表現を加法的な表現へと変換する、根本的な同型写像です。対数を特定の数値ではなく「底なし」の幾何学的オブジェクトとして扱うことで、底の選択（例：ビットのための底 2、natのための底 $e$）を、単位または座標系の選択として捉えることができます。この視点により、ベクトル空間の次元から $p$-adic valuation まで、多くの異なる数学的演算が、実際には同じ根底にある対数的プリミティブのインスタンスであることが明らかになります。

底なし対数と単位の変換

標準的な表記では、$\log_b(x)$ は数値です。しかし、もし $\log N$ を抽象的で底なしのオブジェクトとして扱うならば、標準的な「底のある」対数は、2つの底なし対数の比として表現されます：

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

このフレームワークにおいて、$\log 2$ は単位「bits」として解釈されます。したがって、対数の底を変換することは、単なる代数的な操作ではなく、キロメートルをメートルに変換するのと同様の単位の変換です。これは、ベクトル解析における幾何学的ベクトル（抽象的な変位）と座標ベクトル（原点に対する数値のタプル）の区別を反映しています。

ベクトルとしての対数と射影

底なし対数と幾何学的ベクトルには、強い構造的等価性があります。ベクトル $v$ が基底ベクトル $x$ に射影されてその座標 $v_x$ が求められるのと同様に、底なし対数 $\log N$ は単位 $\log 2$ に射影されて値 $\log_2 N$ が求められます。

他の分野における対数的射影

標準的な対数には直接的な「偏微分」演算子が欠けてていますが、他の数学分野では、独立して対数的射影が発明されています：

• 数論: $p$-adic valuation $\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$
• テンソル積 $ o$ 乗法: $\text{dim}_K(U \otimes V) = ext{dim}_K U \times ext{dim}_K V$

これは単なる比喩ではありません。有限体上の有限次元ベクトル空間において、次元は、体の基数に対して空間の基数に対する対数そのものです：$\text{dim}K V = \log{|K|} |V|$。

統合と考察

算術の「集合化」——数値を集合の濃度として扱い、演算を集合論的な構成として扱うこと——は、数学的表記がより深く、統一された構造を覆い隠していることを示唆しています。

コミュニティの視点

技術的な専門家同士の議論では、この一般化の優雅さとリスクの両方が強調されています：

""底なし対数"は、ここでは単なる torsor です！ ... Torsors は、先験的に恣意的な選択を行う必要なしに、これらの事柄について語ることを可能にします。"

このことが数学的共変性を捉える強力な方式であると主張する者がいる一方で、、「マクロレベルの過剰な一般化」を警告する者もいます：

""すべては一つの大きな対数である"と言うことは、素晴らしい精神的演習ですが、個々の数学的ツールの実用的な有用性を損なわせ、差異を平坦化しすぎてしまうと感じます。"

最終的に、この提案は、数学の「共変的」な定式化を主張しています。そこでは、特性は絶対的な値ではなく、測定間の関係によって定義され、現在、異なった表記法に埋もれている冗長性を削減します。