セミナー紹介

全体概要

このセミナーは「マグニチュードとは何か」という問いを中心に、「大きさ」という概念の数学史的展開と、その最前線に位置する21世紀の理論「マグニチュード論」への入門的道筋を探求するものです [p.1], [p.2]。

「マグニチュード」は地震の規模を表す日常語として知られていますが、このセミナーが扱うのは、Tom Leinsterらが開拓した数学的マグニチュード論——すなわち、あらゆる種類の「大きさ」の共通構造を探求する新しい数学理論です [p.4]。セミナーの背景には、数学史における「大きさ」概念の変革史があります。ユークリッドの「大きさを持たない点」の定義、ゼロの導入、ニュートン・ライプニッツの微積分、オイラーの「変わらぬ大きさ」（オイラー標数）、カントールの無限集合の濃度、そしてシャノン・エントロピーへと続く系譜が丁寧に辿られます [p.7], [p.8]。

マグニチュード論は、蒸気機関の時代に熱力学とエントロピーが誕生し、情報通信革命の時代に情報エントロピーが発見されたのと同様に、生成AIと大規模言語モデル（LLM）の時代に誕生した新しい「大きさ」の概念と位置づけられています [p.12]。とりわけ、Tai-Danae Bradleyらの論文「The Magnitude of Categories of Texts Enriched by Language Models」を読むための準備として、このセミナーは設計されています [p.13], [p.14]。

三つのパートで構成される本セミナーは、カントールの「無限の大きさ」（集合の基数・順序数）、オイラーの「変わらぬ大きさ」（オイラー標数とシャニュエルによる拡張）、そしてレンスターの「生物多様性の大きさ」（類似度行列Zとマグニチュードの同一性）を通じて、マグニチュード論の思想的・数学的核心に迫ります。特に、生物多様性の最大値が類似度行列のマグニチュードに等しいという補題5.2の結果は、このセミナーの到達点の一つです [p.293]。

---

講義のロードマップ

■ はじめに: 「大きさ」の数学史とセミナーの位置づけ

• この部の核心:

「大きさ」を対象とする数学の歴史的変遷を俯瞰し、新しい「大きさ」概念が社会変革と共に誕生してきたことを確認します。エントロピーの二重の誕生（熱力学と情報理論）を結びつけたフォン・ノイマンのエピソードを軸に、マグニチュード論がLLM時代の新しい「大きさ」であることを論じます [p.9], [p.10], [p.11], [p.12]。

• 論理展開:
• 身長・体重などの具体的「大きさ」から、「数えること・測ること」で与えられる数学的大きさへ [p.5]
• オイラーの「変わらぬ大きさ」、カントールの「無限の大きさ」、エントロピーという新概念の誕生という飛躍のポイント [p.7], [p.8]
• シャノンエントロピー命名のエピソード：二つのエントロピーが同じ数式を満たすというノイマンの発見 [p.10]
• Bradleyの論文をターゲットとするセミナー連続開催の宣言 [p.13], [p.14]

---

■ Part 1: カントールの「無限の大きさ」

• この部の核心:

「数える」と「個数（基数）」を概念的に分離し、集合論の祖カントールが無限への拡張をいかに実現したかを示します。「数える」ことに対応する順序数（ordinal）と「個数」に対応する基数（cardinal）という二系列の無限が展開され、連続体仮説の未解決問題からコーエンによる独立性証明へと至ります [p.42], [p.73], [p.74]。

• 論理展開:
• 一対一対応による「数えることとは独立な個数の定義」：有限では一致、無限では乖離する二概念 [p.31], [p.32]
• 順序数：整列集合の大きさ。ω、ω+1、ω²、ω^ω、ε₀（ゲンツェンのペアノ算術無矛盾性証明との関係） [p.52], [p.55], [p.61], [p.70], [p.72]
• 基数：自然数と有理数の濃度の等価性、実数の非可算性（対角線論法）、平面と直線の濃度の等価性 [p.87], [p.89], [p.93]
• 連続体仮説の独立性：ゲーデル（無矛盾性、1940年）とコーエン（独立性・強制法、1963年） [p.110], [p.112], [p.114]

---

■ Part 2: オイラーの「変わらぬ大きさ」

• この部の核心:

凸多面体の頂点・辺・面の交代和が形や大きさによらず一定という「オイラー標数」の発見から出発し、シャニュエルの「負の集合」論文とポテトの長さ論文を通じて、オイラー標数を有限加法的測度として捉え直す視点が提示されます。この拡張こそがマグニチュード論の思想的先駆けとなっています [p.120], [p.140], [p.161], [p.164]。

• 論理展開:
• v − e + f = 2（凸多面体）から次元別オイラー標数の一般化 χ(A) = Σ(−1)^k χ_k(A) へ [p.121], [p.159]
• 「同じ次元を持つ形の数を数える」という抽象：オイラーは面積・長さを捨象して数えていた [p.147], [p.149], [p.151]
• シャニュエル「負の集合」（1991）：開区間のオイラー標数 = −1。x ≅ 2x + 1 の関係から導出 [p.161], [p.172], [p.173], [p.178]
• シャニュエル「ポテトの長さ」（2006）：線分のサイズを L + 1、長方形を (Lin+1)(Win+1) と計算。捨象されていた長さ・面積がサイズの式に復活 [p.164], [p.188], [p.189], [p.190]

---

■ Part 3: レンスターの「生物多様性の大きさ」

• この部の核心:

50年以上続いた生物多様性指標論争に終止符を打つレンスターの定義 ᵍDᶻ(p) を読み解きます。確率分布p（種の相対豊度）、類似度行列Z（種間の類似性）、qパラメータ（稀な種への重み付け）の三要素を統合したこの定義は、シャノン・ツァリス・レニィ・Hill数など既存の多様性指標をすべて特殊ケースとして包含します。そして最大多様性がZBのマグニチュード |ZB| に等しいという補題5.2が、生物多様性論とマグニチュード論を結びつけます [p.213], [p.233], [p.264], [p.293]。

• 論理展開:
• 多様性指標の歴史的論争：種数（q=0視点）vs 均衡度（q=∞視点）の両極端と中間スペクトル [p.219], [p.220]
• レンスター定義の三パラメータ：p（確率分布）、q（視点パラメータ）、Z（類似度行列）[p.240], [p.241], [p.242]
• qパラメータの系譜：シャノンH → ツァリスSq（q対数エントロピー）→ レニィHq → Hill数Dq [p.244], [p.245], [p.249], [p.250], [p.252], [p.253]
• (Zp)ᵢ の解釈：「種iと無作為に選ばれた個体との期待類似性」= 種iの普通性。多様性 = 平均的普通さの逆数 [p.271], [p.272], [p.278]
• 主定理（定理6.1）：qに依らず ᵍDᶻ を同時最大化する分布 pmax が存在し、そのプロファイルは定数。最大化分布はすべて不変であり（補題6.2）、最大多様性 = |ZB|（補題5.2） [p.293], [p.296], [p.299], [p.301]
• マグニチュード論との接続：マグニチュードはオイラー標数・距離空間の幾何学・グラフホモロジー・代数的不変量を統一する enriched category 論からの不変量 [p.236], [p.237]