メビウスの反転公式

数学において、古典的なメビウスの反転公式 (Möbius inversion formula) は、アウグスト・フェルディナント・メビウス (August Ferdinand Möbius) によって19世紀に数論に導入された。

整除関係によって順序付けられた自然数という古典的な場合に、別のが取って代わると、他のメビウス反転公式が得られる。説明は隣接代数を参照。

古典的な反転公式
古典的なバージョンは次のようなものである。 と  が、すべての正の整数  に対して

 

を満たす数論的関数であれば、すべての正の整数  に対して

が成り立つ。ここで  はメビウス関数であり、和は  のすべての正の約数  を渡る。要するに、もとの  は  が与えられると反転公式を用いて決定することができる。2つの数列は互いのメビウス変換 (Möbius transform) と呼ばれる。

公式は  と  が正の整数から（Z-加群と見た）アーベル群への関数であるときにも正しい。

を用いて、最初の式を

と書くことができる。ここに  はディリクレの畳み込みを表し、 は定数関数  である。すると二番目の式は

と書ける。多くの具体例は乗法的関数の記事で与えられている。

定理は  が（可換かつ）結合的であり、 であることから従う、ただし  はディリクレの畳み込みに対する単位元であり、 および  に対して  という値を取る。したがって  となる。

級数関係

とすると、変換は

である。変換は級数によって関連付けられる。

やディリクレ級数

である。ここで  はリーマンのゼータ関数である。

繰り返しの変換
数論的関数が与えられると、最初の総和を繰り返し適用することによって他の数論的関数の両側無限列を生成することができる。

例えば、オイラーのトーシェント関数  に対して変換を繰り返し適用していくと

 トーシェント関数
 恒等写像
 約数関数

メビウスの関数自身から始めると、
 メビウス関数
 ただし 　は 
 定値写像
 ただし  は  の約数の個数（約数関数参照）

これらのリストのいずれも、両方向に無限に伸びる。メビウスの反転公式によって逆向きに行くことができる。

例として、 で始まる列は：

生成される列は、対応するディリクレ級数を考えることによってより容易に理解できるかもしれない。各変換はリーマンのゼータ関数を掛けることに対応する。

一般化

組合せ数学においてより有用な反転公式は次のようなものである。F (x) と G (x) は区間 [1, ∞) 上で定義された複素数値関数であって、

であれば、

である。ここで和は x 以下のすべての正の整数 n を走る。

これはさらに一般化される。 が  を持つ数論的関数であるとき、

と定義すると、

が成り立つ。前の公式は定数関数  という特別な場合である。このとき逆元は  である。

これらの拡張のうち 1 つ目を適用できる例として、正の整数上定義された（複素数値）関数 f (n) と g (n) であって

なるものがあるとき、 および  とすると、

となる。

この公式を使う簡単な例は、  の個数を数えることである。ここで a と b は互いに素で b ≤ n である。f (n) をこの個数とすれば、g (n) は b ≤ n なる分数  の総数である。ここで a と b は互いに素である必要はない。（なぜならば、 かつ  なるすべての分数  は  なる分数 (a / d ) / (b / d ) に簡約でき、逆もまた然りであるからだ。） であることを確かめるのは容易だが、 は計算が難しい。

別の反転公式は、

（ただし、級数は絶対収束すると仮定する。）上と同様、これは  がディリクレ逆元  を持つ数論的関数である場合に一般化される。

乗法的表記
メビウスの変換公式は任意のアーベル群に対して適用できるから、群の演算が加法的に書かれているか乗法的に書かれているかは関係ない。乗法的な場合反転公式は次のようになる。

ならば

一般化の証明

最初の一般化は次のように証明できる。Iverson's convention を使う。これは [条件] がその条件の指示関数、つまり、条件が真であれば 1 で偽であれば 0 であるような関数を表すというものである。次の結果を使う。, つまり、。

すると以下のようになる。

二つ目の一般化では  が  に取って代わるが、証明は本質的に同一である。

Weisner, Hall, Rota の貢献

訳：一般化メビウス反転公式は、当初はワイズナー（1935）とフィリップ・ホール（1936）が独立に与えたものである。両者とも群論の問題から着想を得ている。
両者とも、この公式が組み合わせ数学と関連することに気づいていたわけでも、メビウス関数の理論を発展させたわけでもなかったようである。
メビウス関数の基礎的論文において、ロタは組み合わせ数学におけるこの理論の重要性を示し、深い考察を与えた。彼は包除原理、古典的な数論的メビウス反転、彩色問題、ネットワーク上の流れといった事柄間の関連性に言及している。
それ以降ロタの強い影響力により、メビウス反転の理論とそれに関連する事柄は、組み合わせ数学で活発に研究される領域となった。

関連項目
 包除原理
 ファレイ数列
 隣接代数 (順序理論)

参考文献
 
 
K. Ireland, M. Rosen. A Classical Introduction to Modern Number Theory, (1990) Springer-Verlag.

脚注

外部リンク 
 
 Möbius Inversion Formula at ProofWiki
 

整数論的関数
順序構造
数論
アウグスト・フェルディナント・メビウス
数学に関する記事
数学のエポニム