Two algebraic proofs of the transcendence of $\mathrm{e}$ based on formal power series

この論文は、ヒルベルトによる解析的な証明を想起しつつ、形式べき級数を用いて、Beukers らの証明の特殊化と著者独自の不適切積分の手法という 2 つの代数的証明を通じて、$e$ の超越性を示し、これらがヒルベルトの証明をどのように改善するかを解説している。

要約

この論文は、数学の「王様」のような存在である**「e（自然対数の底）」**という数字が、なぜ「代数的な式（足し算、掛け算、整数を使った式）では表せないのか（超越数である）」という証明を、新しい方法で行ったという話です。

著者のマルティン・クラザールさんは、昔の有名な証明を「整理整頓」して、よりシンプルで「無限の広がり」に頼らない方法で再構築しました。

以下に、難しい数式を使わず、日常の比喩を使ってこの論文の内容を解説します。

---

1. 背景：なぜ「e」は特別なのか？

まず、**「e」**という数字（約 2.718...）は、銀行の利子計算や細菌の増殖など、自然界の「成長」を表すのに使われる非常に重要な数字です。

昔の証明（ヒルベルトの証明）では、この「e」が整数の式で表せないことを示すために、**「無限に続く積分」という、とても広大な（無限の）世界を使いました。
それは、「無限の海」**を泳いで証明するみたいなもので、数学的には美しいのですが、「無限」という概念をあまり使いたくない数学者もいます。「無限」を使わずに、もっと「有限の箱」の中で証明できないか？というのがこの論文のテーマです。

2. 従来の証明（ヒルベルトの証明）：「無限の海」での戦い

ヒルベルトさんの証明は、こんな感じでした。

• 仮定： もし「e」が整数の式で表せるとしたら、$a_0 + a_1e + \dots + a_ne^n = 0$ という式が成り立つはずだ。
• 作戦： そこで、ある特殊な「波（関数）」を無限の海（0 から無限大まで）に投げ込んで積分します。
• 結果： この計算をすると、ある部分は「非常に小さな値（0 に近い）」になり、もう一方の部分は「0 ではない整数」になるはずです。
• 矛盾： 「0 に近い値」と「0 ではない整数」を足して「0」になるはずがない！という矛盾が生まれ、「e」は式で表せないことが証明されます。

問題点： この証明は「無限の海（無限集合）」を大きく使っています。著者は、「もっと小さな箱（有限の概念）だけで証明できないか？」と考えました。

3. 新しい証明の核心：「形だけの箱」と「魔法の計算」

著者は、2 つの新しいアプローチ（代数的手法）を紹介しています。どちらも「無限の海」を使わずに、**「形式べき級数（フォーマル・パワースリーズ）」**という道具を使います。

比喩：料理のレシピと「形だけの」材料

通常の数学では、数字を「実際の重さ」や「実際の長さ」として扱います。
しかし、この新しい証明では、「レシピ（式）」そのものを扱います。

• 従来の方法： 「100g の小麦粉」を使って実際にパンを焼く（無限の海を使う）。
• 新しい方法： 「小麦粉のレシピ」だけを紙に書き出し、そのレシピの「形」や「構造」だけを使って、パンが焼けるかどうかを論理的に推論する（無限の海を使わない）。

これを「形式べき級数」と呼びます。ここでは、$x$ という文字は「実際の数」ではなく、単なる「記号の箱」です。

4. 2 つの新しい証明の仕組み

著者は、ヒルベルトの証明をこの「記号の箱」の世界に翻訳しました。

① 最初の証明：「ベウカースら」の手法の応用

これは、他の数学者が「リンデマン・ワイエルシュトラスの定理（e の一般化）」を証明した方法を、e だけに特化してシンプルにしたものです。

• 比喩： 「有理数（分数）」というルールに従って、複雑なパズルを解くようなものです。
• 仕組み： 特定の「分数の形」をした式（有理式）は、あるルール（極点の次数など）に従う必要があります。しかし、e が存在すると仮定すると、このルールに違反する「おかしな式」ができてしまいます。「ルール違反」が見つかったため、仮定（e が式で表せる）は間違っていると結論づけます。
• メリット： 無限の海を使わず、純粋に「式の構造」だけで矛盾を導き出します。

② 2 つ目の証明：著者独自の「半形式的積分」

これが著者のオリジナルのアイデアです。

• 比喩： 「積分（面積を計算すること）」を、実際の曲線を描いて計算するのではなく、**「魔法の計算機」**で行うようなイメージです。
• 仕組み：
  • 通常、積分は「無限に続く領域」を計算しますが、ここでは**「ニュートン積分」**という、形式べき級数専用の積分ルールを使います。
  • このルールでは、$e^x$ を「Exp(x)」という記号の塊として扱い、その「形」を操作します。
  • ヒルベルトが使った「無限の海での積分」を、この「記号の箱」の中で完結させます。
  • 結果として、ヒルベルトの証明と同じ「矛盾（0 ではない整数が 0 になる）」が、無限の海を使わずに、純粋な代数の操作だけで導き出せます。

5. なぜこれが重要なのか？

この論文の最大の功績は、「無限」という巨大な概念に頼らずに、e の不思議さを証明できたことです。

• 従来の証明： 広大な宇宙（無限集合）を眺めて、「ここには何もないはずだ」と言う。
• 新しい証明： 小さな部屋（有限の代数系）の中で、すべての道具を並べて、「この部屋には何もないはずだ」と論理的に証明する。

著者は、「無限」を使わない証明は、数学の基礎をより堅固にするだけでなく、証明の構造をよりクリアにすると言っています。まるで、複雑な機械を分解して、小さな歯車だけでどう動いているかを説明するようなものです。

まとめ

この論文は、「e という数字が、整数の式では表せない」という事実を、無限の広大な世界を使わず、純粋に「記号の箱（代数）」のルールだけで証明したという画期的な成果です。

• ヒルベルトの証明： 無限の海で泳いで矛盾を見つける。
• クラザールの証明： 小さな箱の中で、記号のルールを操って矛盾を見つける。

どちらの結果も同じですが、後者のほうが「道具（無限集合）を使わずに」証明できた点で、数学的な美しさと厳密さの新しい側面を提示しています。

技術概要

論文要約：形式べき級数に基づく $e$ の超越性の 2 つの代数的証明

論文タイトル: Two algebraic proofs of the transcendence of e based on formal power series
著者: Martin Klazar
概要: この論文は、ヒルベルトによる $e$ の超越性の古典的な解析的証明を想起し、それを形式べき級数（formal power series）を用いた 2 つの代数的証明に置き換えることを目的としています。これらの証明の最大の特徴は、実数の非可算集合（uncountable sets）を本質的に使用せずに、可算な対象のみで証明を完結させる点にあります。

以下に、問題設定、方法論、主要な貢献、結果、および意義について詳細にまとめます。

---

1. 問題設定と背景

• 問題: 数 $e$ が超越数であることを証明する。
• 背景:
  • $e$ の超越性はヘルミテによって初めて証明されました。
  • ヒルベルトの証明は、積分 $\int_0^\infty x^n e^{-x} dx$ を用いた解析的な手法に基づいています。この手法では、関数 $x^n e^{-x}$ の集合や実数直線といった非可算集合が本質的に使用されています。
  • 数学的基礎論の観点から、非可算集合を避け、可算な対象（整数や形式べき級数など）のみを用いて証明を行うことは、証明の「純粋性」や構成可能性の観点から重要視されるテーマです。
• 既存の試み: Beukers, Bézivin, Robba は 1990 年に Lindemann-Weierstrass 定理の証明において形式べき級数を用いたアプローチを提案しましたが、その論文はあまり引用されていませんでした。

2. 方法論

著者は、ヒルベルトの証明の構造を維持しつつ、積分や関数を形式べき級数の操作に置き換えることで、非可算集合を排除した証明を 2 つ提示します。

証明 1: Beukers, Bézivin, Robba の証明の特殊化

• 手法:
  • 有理形式べき級数（rational formal power series）の性質を利用します。
  • 整数 $b_j$ と自然数 $\alpha_j$ に対して、$u_n = \sum b_j \alpha_j^n$ および $v_n = n! \sum_{r=0}^n u_r/r!$ を定義し、形式べき級数 $V(x) = \sum v_n x^n$ を考察します。
  • Proposition 2.1 と Theorem 2.2 を用いて、$V(x)$ が有理式であることと、その極（pole）の次数に関する制約を導きます。
  • 仮定 $\sum b_j e^{\alpha_j} = 0$ から $V(x)$ が満たすべき微分方程式を導き、有理式としての極の構造と矛盾することを示します。
• 特徴: 元の証明の論理構造を形式べき級数の世界に翻訳し、収束性や積分の代わりに代数的な操作（部分分数分解、微分、係数の評価）のみで矛盾を導きます。

証明 2: 著者による「半形式的積分（semiformal integration）」を用いた証明

• 手法:
  • 形式べき級数環 $\mathbb{R}[[x]]$ と、無限半径で収束する形式べき級数 $\mathbb{R}\{x\}$ の枠組みを構築します。
  • 定義 3.2: 形式指数関数 $\text{Exp}(x) = \sum \frac{1}{n!} x^n$ を定義します。
  • 定義 3.7, 3.11: 形式原始関数を用いた「ニュートン積分（Newton integral）」および「広義ニュートン積分（improper Newton integral）」を定義します。これらは極限操作を含むものの、形式べき級数の係数計算として扱われます。
  • Proposition 3.16: 形式べき級数の枠組み内で、オイラーの恒等式 $\int_0^\infty x^k \text{Exp}(-x) dx = k!$ を帰納法によって証明します（非可算集合を使用せず）。
  • ヒルベルトの証明の積分 $\int_0^\infty P(x)e^{-x}dx$ を、形式べき級数 $\text{Exp}(-x)$ との「半形式的積分」に置き換えて再構成します。
• 特徴: 積分の線形性、区間の分割、変数変換などの性質を形式べき級数の操作として厳密に定義し、ヒルベルトの証明の論理フローをそのまま維持しながら、非可算集合への依存を完全に排除します。

3. 主要な貢献と結果

1. 非可算集合の排除:

   • 両方の証明において、実数直線や非可算な関数集合を本質的に使用せず、整数、有理数、形式べき級数といった可算な対象のみで $e$ の超越性を証明しました。
   • これは、数学的証明における「構成可能性」や「有限主義的アプローチ」の観点から重要な成果です。

2. 証明の代数的化:

   • ヒルベルトの解析的証明（積分評価、収束性など）を、代数的な操作（多項式の次数、係数の整除性、形式べき級数の有理性）へと変換しました。
   • 特に証明 2 では、著者独自の「半形式的積分」の概念を導入し、広義積分の概念を形式べき級数の文脈で再定義することに成功しました。

3. 既存証明の明確化と一般化:

   • Beukers らの証明を $e$ の超越性という具体的なケースに特化して再構成し、その論理的構造を明確にしました。
   • 著者自身の証明は、ヒルベルトの証明の直感的なアイデアを形式べき級数の言語に翻訳したものであり、両者の関係を浮き彫りにしています。

4. 意義

• 数学的基礎論への貢献:
  • 多くの数学的証明は非可算集合（実数全体など）に依存していますが、この論文は「超越性」という深い数論的性質が、実は可算な構造のみから導出可能であることを示しました。
  • 著者は、このアプローチが専門家の間でもあまり注目されていない現状（Beukers らの論文の引用数が少ないこと）に言及し、証明における集合の「大きさ」の区別が重要であるという視点を提起しています。
• 教育的・方法的価値:
  • 形式べき級数という強力な代数的ツールが、解析的な問題（超越数論）を解決する際にどのように機能するかを示す優れた事例となっています。
  • 積分や極限といった解析的概念を、代数的な操作として再解釈する方法論を提供しています。

結論

Martin Klazar によるこの論文は、$e$ の超越性という古典的な定理を、非可算集合を一切使用しない代数的な枠組みで再証明した画期的な研究です。Beukers らの証明の特殊化と、著者独自の「半形式的積分」を用いた新しい証明の 2 つのアプローチを通じて、解析的証明を代数的証明へと変換する可能性と、数学的証明における「可算性」の重要性を浮き彫りにしました。