メビウスの反転公式
数学において、古典的なメビウスの反転公式 (Möbius inversion formula) はアウグスト・フェルディナント・メビウス (August Ferdinand Möbius) によって19世紀に数論に導入された。
整除関係によって順序付けられた自然数という古典的な場合に、別のが取って代わると、他のメビウス反転公式が得られる。説明は隣接代数を参照。
古典的なバージョンは次のようなものである。 と が、すべての正の整数 に対して
を満たす数論的関数であれば、すべての正の整数 に対して
が成り立つ。ここで はメビウス関数であり、和は のすべての正の約数 を渡る。要するに、もとの は が与えられると反転公式を用いて決定することができる。2つの数列は互いのメビウス変換 (Möbius transform) と呼ばれる。
公式は と が正の整数から（Z-加群と見た）アーベル群への関数であるときにも正しい。
を用いて、最初の式を
と書くことができる。ここに はディリクレの畳み込みを表し、 は定数関数 formula_4 である。すると二番目の式は
と書ける。多くの具体例は乗法的関数の記事で与えられている。
定理は が（可換かつ）結合的であり、 であることから従う、ただし はディリクレの畳み込みに対する単位元であり、 および に対して という値を取る。したがって formula_6 となる。
とすると、変換は
である。変換は級数によって関連付けられる。
やディリクレ級数
である。ここで formula_11 はリーマンのゼータ関数である。
数論的関数が与えられると、最初の総和を繰り返し適用することによって他の数論的関数の両側無限列を生成することができる。
例えば、オイラーのトーシェント関数 formula_12 に対して変換を繰り返し適用していくとメビウスの関数自身から始めると、
これらのリストのいずれも、両方向に無限に伸びる。メビウスの反転公式によって逆向きに行くことができる。
例として、formula_12 で始まる列は：
formula_23
生成される列は、対応するディリクレ級数を考えることによってより容易に理解できるかもしれない。各変換はリーマンのゼータ関数を掛けることに対応する。
組合せ数学においてより有用な反転公式は次のようなものである。"F" ("x") と "G" ("x") は区間 [1, ∞) 上で定義された複素数値関数であって、
である。ここで和は "x" 以下のすべての正の整数 "n" を走る。
これはさらに一般化される。formula_26 が formula_27 を持つ数論的関数であるとき、
と定義すると、
が成り立つ。前の公式は定数関数 formula_30 という特別な場合である。このとき逆元は formula_31 である。
これらの拡張のうち 1 つ目を適用できる例として、正の整数上定義された（複素数値）関数 "f" ("n") と "g" ("n") であって
なるものがあるとき、formula_33 および formula_34 とすると、
この公式を使う簡単な例は、 の個数を数えることである。ここで "a" と "b" は互いに素で "b" ≤ "n" である。"f" ("n") をこの個数とすれば、"g" ("n") は "b" ≤ "n" なる分数 の総数である。ここで "a" と "b" は互いに素である必要はない。（なぜならば、 かつ なるすべての分数 は なる分数 ("a" / "d" ) / ("b" / "d" ) に簡約でき、逆もまた然りであるからだ。） であることを確かめるのは容易だが、 は計算が難しい。
別の反転公式は、
（ただし、級数は絶対収束すると仮定する。）上と同様、これは formula_26 がディリクレ逆元 formula_27 を持つ数論的関数である場合に一般化される。
メビウスの変換公式は任意のアーベル群に対して適用できるから、群の演算が加法的に書かれているか乗法的に書かれているかは関係ない。乗法的な場合反転公式は次のようになる。
ならば
最初の一般化は次のように証明できる。Iverson's convention を使う。これは ["条件"] がその"条件"の指示関数、つまり、"条件"が真であれば 1 で偽であれば 0 であるような関数を表すというものである。次の結果を使う。formula_42, つまり、。
すると以下のようになる。
二つ目の一般化では が に取って代わるが、証明は本質的に同一である。