Schanuel 予想 | 用語集

主張

Schanuel 予想（シャヌエル予想、1960 年代に Stephen Schanuel が提出）は超越数論の中心的な未解決問題の一つです。

複素数 $z_1, \ldots, z_n$ が $\mathbb{Q}$ 上線形独立であるならば、

\mathbb{Q}(z_1, \ldots, z_n, e^{z_1}, \ldots, e^{z_n})

の超越次数は少なくとも $n$ である。

言い換えると、 $z_1, \ldots, z_n, e^{z_1}, \ldots, e^{z_n}$ の $2n$ 個の数のうち、少なくとも $n$ 個は $\mathbb{Q}$ 上代数的独立である、ということ。

性質

未解決: 提出から 60 年以上経つが、現在も完全な証明は得られていない
強力な仮説: 超越数論の未解決問題を一気に整理する。Lindemann-Weierstrass の定理を含む形に一般化されている
可換代数群の予想: より一般的には可換代数群（torus・abelian variety）に対する Schanuel-type の予想群があり、Ax-Schanuel 定理が部分的な答えを与える
証明戦略の道具: 「Schanuel を仮定すれば」という条件付き定理を組み立てることで、計算機による数値検証を実質的な証明に格上げできる

視覚的に見る

実数の中で「代数的に独立」な数がどこにあるかを示した図です。1（有理数）と $e$ 、 $\pi$ 、 $\gamma$ （Euler-Mascheroni 定数）が並んでいますが、 $e$ と $\pi$ が代数的独立かどうか、 $\gamma$ が無理数かどうかすら現在も未解決。

青の 2 点（ $1$ 、 $\sqrt{2}$ ）は代数的数で、有理係数の多項式の根として定義可能。赤の 2 点（ $e$ 、 $\pi$ ）は超越数。 $\gamma$ （灰色）は無理数かどうかすら未証明で、現時点では分類未定。 $e$ と $\pi$ の超越性は Hermite・Lindemann が証明済みですが、 $e + \pi$ や $e \pi$ が無理数かどうかさえ未解決。Schanuel 予想はこれらをすべて「 $\mathbb{Q}$ 上代数的独立」として整理できる枠組みを与えます。

実世界での使われ方

Schanuel 予想は純粋数学の予想ですが、計算機代数や応用数学の周辺でも参照されます。

計算機代数システム: Mathematica や Maple の代数式単純化エンジンは、内部で「2 つの式が等しいかどうか」を判定する場面で代数的独立性を仮定することがあります。Risch のアルゴリズム（不定積分の閉形式判定）も超越数論の結果に依存しています（Geddes, Czapor, Labahn, Algorithms for Computer Algebra, Springer 1992）。
モデル理論との接続: o-minimal 構造のモデル理論で Ax-Schanuel 定理が証明され、Wilkie の指数体に関する結果やモジュラー形式の超越性議論で応用されています（Pila & Tsimerman, Annals of Mathematics 2014）。
数値検証の信頼性: 物理学・工学の数値計算で「2 つの式が一致するか」を浮動小数点演算で確認するとき、偶然の数値一致を排除する根拠として Schanuel 予想（の系）が使われる。Andrzej Odrzywołek 2026 の EML Sheffer 論文の Mathematica 検証はこの応用例。

深掘り

Schanuel から導かれる代表的な結果

Schanuel 予想を仮定すると、超越数論の多くの未解決問題が解決します。

$e$ と $\pi$ の代数的独立性: $z_1 = 1$ 、 $z_2 = i\pi$ を取る。これらは $\mathbb{Q}$ 上線形独立（ $i\pi$ は実数 $1$ の有理倍ではない）。Schanuel より $1, i\pi, e, e^{i\pi} = -1$ のうち 2 個が代数的独立。 $1, -1$ は代数的なので、 $i\pi$ と $e$ が代数的独立。これより $e + \pi$ 、 $e \pi$ などはすべて超越数となる
$\pi$ と $e^\pi$ の代数的独立性: Gelfond-Schneider の定理で別経路で証明済みだが、Schanuel からは自然に導かれる
$e^e$ の超越性: $e^{e^2}$ 、 $e^{e^e}$ なども超越数
Lindemann-Weierstrass の拡張: 代数的数 $\alpha_1, \ldots, \alpha_n$ が線形独立なら、 $e^{\alpha_1}, \ldots, e^{\alpha_n}$ は代数的独立（Schanuel の特殊形）

Ax-Schanuel 定理（証明済みの部分結果）

James Ax が 1971 年に証明した Ax-Schanuel 定理は、Schanuel 予想の 形式的冪級数版 に相当します。形式的に書くと、 $F$ を体、 $f_1, \ldots, f_n$ を $F[[t]]$ の冪級数で線形独立とすると、 $f_1, \ldots, f_n, e^{f_1}, \ldots, e^{f_n}$ の超越次数が少なくとも $n$ という主張。これは Schanuel の「数」版ではなく「冪級数」版で、関数の代数的独立性についての強い結果です（Ax, American Journal of Mathematics 1971）。

数値検証への応用

Schanuel 予想の直接の証明はないものの、「Schanuel を仮定すれば偶然の数値一致が確率ゼロで起こらない」性質を使うと、計算機による数値照合を実質的な証明手段に格上げできます。

Andrzej Odrzywołek 2026 の論文紹介記事 academy-eml-sheffer でも、 $\mathrm{eml}$ 式の代数的独立な超越数（オイラー・マスケローニ定数 $\gamma$ など）への代入結果を比較する手法でこの方針が使われています。Schanuel 予想のもとで「偶然の一致」が排除され、Mathematica による数値検証が実質的な証明として機能する。

詳しくは

Academy: EML Sheffer 演算子 — Schanuel 予想を仮定した数値検証の応用例
Lang, S. Introduction to Transcendental Numbers. Addison-Wesley, 1966.
Marker, D. Model Theory of Differential Fields, Lecture Notes in Logic 5, 1996.
Ax, J. On Schanuel's Conjectures. American Journal of Mathematics 93 (1971): https://www.jstor.org/stable/2373382