世界を動かす技術を、日本語で。

すべては対数である

概要

  • 対数の基底 を明示しない「基底なし対数」の考え方を提案
  • 対数とベクトル の類似性を詳細に比較
  • 単位変換測度 としての対数の新しい捉え方を紹介
  • 数論や複素解析 の具体例で「対数的射影」の役割を解説
  • 標準記法の限界 と新しい記法・概念の必要性を指摘

基底なし対数とその意味

  • 通常の対数 は基底を明示的に指定し、(\log_b(x)) の形で表現
  • 対数の基底変換公式 は、単位換算(km→mやbyte→bit)と同種の操作
  • (\log_b x) を「(x)に含まれる(b)の個数」と解釈するのは記号上直感的でない
  • 基底なし対数 (\log N) を抽象的な量として導入し、(\log_2 N = \frac{\log N}{\log 2}) と表現
  • 基底 (例えば(\log 2))を「ビット」という 単位 として扱い、対数値をその単位の倍数で記述
  • natsbits のような異なる単位で同じ量を表せることを強調

対数とベクトルの構造的類似

  • ベクトル では「点」と「変位ベクトル」を区別し、座標系の選択(原点の決定)が重要
  • 基底なし対数 は、ベクトルの「点」や「変位」と同様に、基底選択(原点)に依存
  • 対数の値は、基底(単位)を指定して初めて数値になる
  • 基底変換 は、ベクトルの座標変換と完全に同型
  • 抽象ベクトル座標ベクトル の関係を、 基底なし対数基底付き対数 の関係に対応付け

「部分対数」や「対数的射影」の概念

  • 通常の対数は「全体」を一つの基底で測るが、ベクトルには「部分射影」や「偏微分」の概念が存在
  • 数論では p進付値 (\nu_p(n)) が、対数ベクトルの「成分抽出」に対応
    • (n = 2^{n_2} 3^{n_3} 5^{n_5} \cdots) の形で、各素因数ごとに対数的成分を持つ
  • 複素解析では 零点や極の次数(order of vanishing) が、対数による「射影」として表現可能
    • (\text{ord}a f(z) = \lim{z \to a} \frac{\log f(z)}{\log(z-a)}) で次数を抽出

記法・概念の拡張の必要性

  • 対数にはベクトル的な構造が本質的に存在するが、 標準記法 では表現しきれない
  • 部分対数射影的対数 の標準的な記法がなく、分野ごとに異なる用語体系が発展
  • より抽象的・統一的な記法や概念の導入が、数理的理解を深めるために有用

まとめ

  • 対数は本質的に「基底依存のベクトル量」 として再解釈できる
  • 基底なし対数 の導入は、単位変換や射影の観点から多くの数学的現象を統一的に説明
  • 数論や複素解析など、異分野の現象も「対数的ベクトル」の観点から整理可能
  • 今後の発展には、 新しい記法や抽象的枠組み の整備が重要

Hackerたちの意見

このエッセイには型システムが必要だね。「log」って言うたびに、「何のlog?どこに入れるの?」って感じ。音声の世界で「dB」って言うのが次の質問に答えるかのように使われるのと似てる。何に対して、どう測定して、誰のために重み付けされてるの?著者はこのリンクを見直した方がいいよ。https://en.wikipedia.org/wiki/Lie_theory

最初のセクションでは、著者が「log N」を基数なしの抽象的なオブジェクトとして考えていることが詳しく説明されてる。もしくは、何を指してるの?

対数の重要な特性は構造的なもので、実際の数値計算を行うとき以外は、単位や基数についてあまり気にしないよ。記事で説明されているように、非公式だけどある程度十分に、基数変更の公式は基数の選択がほとんど関係ないことを示してる。異なる基数は定数因子を除いて同等の対数を与えるんだ。expのテイラー展開は、指数関数のより本質的で一般的な定義を提供する。これにより、関連する収束条件が満たされれば、expは多くの代数的な設定に構造的に一般化できる。例えば、複素指数関数やその多くの可能な対数、行列の指数関数などがあるね。

なんで音のdBがマイナスになるのか、まだよく分からないんだよね。それって何に対しての相対値なの?0dBの時はどうなるの?

ログって最高だよね。1920年代の数学の教科書を少し前に始めたんだけど、計算はすべて表に載ってるログに頼ってて、数をログに変換して操作の次数を減らしてから、普通の表現に戻すって感じ。この方法で立方根を求めるのが割り算に変わるし、それはさらにログ-ログに変換して引き算にしてから、普通の表記に戻すことができる。手作業でこれをやってると、まるで魔法のワームホールを使ってるみたいで、本当に面白いよ。

その魔法のワームホールの物理的なバージョンは、スライドルールって呼ばれてる。

その本の名前、教えてくれない?

PDF持ってる?こういう古い本大好きなんだ。

この感情(内容とは限らないけど)は、Mag World[0](今のところウェブサイトとポッドキャスト)で伝えようとしてることなんだ。[0] magworld.pw

複素対数で起こっていることは、基本的にはベクトル空間のすべての可能な基数の集合を出力する対数と同じだと思う。複素対数はZ-トーサーを生成し、基数対数はGL(V)-トーサーを生成する。複素対数の基数の選択の一部として分岐切断の選択を表現する方法があるかもしれないし、同様にベクトル空間の基数対数の基数の選択の一部として特定の基底の選択があるかもしれないね。

面白いね、同じ現象の2つの例だとは思わなかった。とはいえ、複雑な解析の方はまだ考えるのが難しいな。

これが新しい数学的な事実を示すのに役立つなら、もっと面白くなるのに。今はただの記号遊びみたいだね。

Hacker Newsで議論の続きを見る