もっこ論　第192話　第3幕_ 測度の深淵

シーン1：スターリングの亡霊と三度目の平方根
机の上に広げられた計算用紙に、乗法世界を対数で加法へ変換した新たな履歴が刻まれていく。
離散ログ履歴を $${L_d(N)}$$ とする。
$${L_d(N) = \sum_{k=1}^{N}\log k = \log(N!)}$$
連続ログ履歴を $${L_c(N)}$$ とする。
$${L_c(N) = \int_1^N\log x\,dx = N\log N-N+1}$$
この二つの差を定義する。
$${R_{\log}(N) = L_d(N) - L_c(N)}$$
ここに、スターリング公式を代入する。
$${\log(N!) \approx N\log N - N + \frac{1}{2}\log(2\pi N)}$$
大きな項である $${N\log N}$$ と $${N}$$ が相殺され、残差の主役が姿を現す。
$${R_{\log}(N) \approx \frac{1}{2}\log N}$$
端点の平均操作からではなく、離散と連続の差として自然に現れた $${\frac{1}{2}}$$。
この対数世界の残差の指数を取り、元の世界へ戻してみる。
$${e^{\frac{1}{2}\log N} = N^{1/2} = \sqrt{N}}$$
約数構造の中心、ログ履歴の中点、そしてスターリング残差。
三つの異なるルートは、すべて同じ目的地へと収束した。
$${\sqrt{N}}$$
なぜ、この量がこれほどまでに繰り返されるのか。

シーン2：ログ世界の片肺飛行と測度への疑念
引かれた数式の羅列を見つめるうちに、根本的な歪みが露わになる。
ログ世界へ移行したと言いながら、計算していた変数は $${1, 2, 3, \dots, N}$$ のままだった。値だけをログに変え、座標の物差しは加法世界のままで進んでいたのだ。
加法世界における「1歩」は、次の通りである。
$${N \rightarrow N+1}$$
しかし、真のログ世界における「1歩」は、測度そのものが変わるはずである。
$${\log(N+1) - \log N}$$
それなのに、積分においては何一つ疑わずにこの微小量を使い続けていた。
$${dx}$$
もし世界が完全にログ化されているならば、そこにあるべき自然な微小量はこれではないのか。
$${d(\log x)}$$
問いの対象は、もはや $${\sqrt{N}}$$ でも $${\frac{1}{2}}$$ でもない。
世界ごとに何が「1歩」であり、何を基準に距離を測るのかという、測度そのものへの疑念。
問題は $${x}$$ ではなく、$${dx}$$ にあったのだ。