メビウス関数

**メビウス関数**（メビウスかんすう、英: Möbius function）は、数論や組合せ論における重要な関数である。メビウスの輪で有名なドイツの数学者アウグスト・フェルディナント・メビウス (August Ferdinand Möbius) が1831年に紹介したことから、この名が付けられた。

## 定義
0 を含めない自然数において、メビウス関数 &mu;(*n*) は全ての自然数 *n* に対して定義され、*n* を素因数分解した結果によって -1、0、1 のいずれかの値をとる。

メビウス関数は次のように定義される（ただし 1 は 0 個の素因数を持つと考える）：

* &mu;(*n*) = 0 （*n* が平方因子を持つ（1以外の平方数で割り切れる）とき）
* &mu;(*n*) = (-1)*k* （*n* が相異なる *k* 個の素因数に分解されるとき）
** *n* が相異なる偶数個の素数の積ならば &mu;(*n*) = 1 
** *n* が相異なる奇数個の素数の積ならば &mu;(*n*) = -1 

### 計算例
例えば、6 = 2 &times; 3 であり、素数の 2 乗で割り切れず、素因数の数は 2 で偶数であるから、&mu;(6) = 1 である。また、12 = 22 &times; 3 であり、2 の  2 乗で割り切れるため、&mu;(12) = 0 である。

*n* = 1, ..., 10 での &mu;(*n*) の値を示す
:

## 性質
メビウス関数は乗法的関数である。すなわち、互いに素な *m*, *n* に対して、 
:&mu;(*mn*) = &mu;(*m*)&mu;(*n*)
となる。また、*m*, *n* が互いに素でなければ、
:&mu;(*mn*) = 0
である。

### 基本公式
また次のような基本的な公式が成り立つ。

これは *n* = 1 のときは自明である。*n* が 1 より大きい場合について、平方因子をもつ因数 *d* については &mu;(*d*) = 0 であるから、*n* が平方因子をもたない場合を見ておけばよい。*n* は *k* 個の素数の積であるとする。*n* の約数は、その素因数をいくつか掛け合わせたものになるが、偶数個（0 を含む）の素因数からなる約数 *d* に対しては &mu;(*d*) = 1 であり、奇数個の素因数からなる約数 *d* に対しては &mu;(*d*) = &minus;1 となるから、因子の組合せの数を考慮すれば
:
\begin{align}
\sum_{d\mid n} \mu (d) &=  {}_k\mathrm{C}_0 -{}_k\mathrm{C}_1 + {}_k\mathrm{C}_2 -{}_k\mathrm{C}_3 +
 \dotsb + (-1)^k {}_k\mathrm{C}_k\\[-10pt]
&= \sum_{i=0}^k (-1)^i {}_k\mathrm{C}_i = (1-1)^k =0
\end{align}

が確かめられる。最後から二つ目の等号は二項定理による。

また、 は 1 の原始 *n* 乗根の和である。すなわち
:\mu(n)=\!\sum_{\stackrel{1\le k \le n }{ \gcd(k,n)=1}}\!\exp(2\pi ki/n)
が成り立つ。 のとき 1 の  乗根の和は 0 であるから、これは上の公式 (1) の別証明を与える。

より一般に、 *f* を乗法的な数論的関数とすると、

が成り立つ。

### メビウスの反転公式

関数 *f*(*n*), *g*(*n*) について、次の 2 つの命題は同値である。

# g(n) = \sum_{d\mid n}f(d).
# f(n) = \sum_{d\mid n}g(d)\,\mu\!\left(\frac{n}{d}\right).

これを**[[メビウスの反転公式]]**という。

## 例と応用
*n* の約数の総和を表す関数 &sigma;(*n*) はその定義より
:\sigma(n) = \sum_{d\mid n} d
となるが、これに反転公式を適用すると
:n = \sum_{d|n} \mu\left(\frac {n}{d}\right) \sigma(d)
となる。

次の例は非常に重要な関数 Λ(*n*) を定義している（この関数はフォン・マンゴルト関数 と呼ばれる）。
:\log n = \sum_{d \mid n} \Lambda (d)
この式は、素因数の一意分解定理と同値であるが、反転すると
:\Lambda (n) = \sum_{d|n} \mu (d) \log \frac {n}{d}
となる。和の中を具体的に計算すると
:\Lambda (n) = \begin{cases} 
 \log p & (n = p^k, k>0) \\ 
   0    & (\text{otherwise})
\end{cases}
が得られる。

先の基本公式  に適用すれば、ゼータ関数による母関数表示を得る。
:\sum_{n=1}^\infty \frac{\mu(n)}{n^s} = \frac{1}{\zeta(s)}

### エラトステネスの篩
既に知っている素数で割れる自然数を数表から篩い落とすことで新たな素数を順次決定していく操作は**[[エラトステネスの篩]]**として知られている。ゆえに、知っている素数で割れない自然数全体の集合を指定する方法が与えられることと、このエラトステネスの篩にかけることとは等価である。

集合を指定する方法の一つは、その指示函数を与えることである。いま、*p*1 から *p**k* が素数として決定されたものとし、そのような素数全部の積を *P* とする。また、自然数 *n* と *P* との最大公約数を (*n*, *P*) と表せば、*n* が決定済みの素数で割れることと、(*n*, *P*) &gt; 1 となることとは同値である。このとき、十分大きな自然数 *N* を考え、*N* 以下の自然数 *n* のうち、決定済みの素数 *p*1, ..., *p**k* で割れない自然数全体の集合を *E* とおくと、基本公式によって *E* の指示函数 &chi;*E* は
:\chi_E(n) = \sum_{d\mid(n,P)}\mu(d)
で与えられることがわかるから、これをエラトステネスの篩のメビウス函数を用いた表現と考えることができる（手続きとしては、&chi;*E*(*n*) を計算することは知っている素数で順番に割っていくことに他ならないから、単に表現の仕方を変えただけである）。特に、&chi;*E*(*n*) = 1 を満たす最小の *n* を *p**k*+1 とすればこれは新しい素数であり、再び同様の手続きにしたがって次々に素数を決定することができる。

## &mu;(''n'')
&mu;(*n*) =  0 となる必要十分条件は、*n* が素数の2乗で割り切れることである。このような *n* の数列は次のようになる。 :

  4,  8,  9, 12, 16, 18, 20, 24, 25, 27, 28, 32, 36, 40, 44,
 45, 48, 49, 50, 52, 54, 56, 60, 63, ...

*n* が素数であれば、&mu;(*n*) =  &minus;1 となる。しかし、逆は成り立たない。最初に &mu;(*n*) =  &minus;1 となる合成数 *n* は30&nbsp;=&nbsp;2&middot;3&middot;5 である。3つの異なる素数の積からなる数（楔数という）からできる数列は次のようになる。 :

  30,  42,  66,  70,  78, 102, 105, 110, 114, 130, 138, 154, 
 165, 170, 174, 182, 186, 190, 195, 222, ...

同様に5つの異なる素数の積からなる数列は、 :

  2310, 2730, 3570, 3990, 4290, 4830, 5610, 6006, 6090, 6270, 6510, 6630, 
  7410, 7590, 7770, 7854, 8610, 8778, 8970, 9030, 9282, 9570, 9690, 9870, 
 10010, 10230, 10374, 10626, 11130, 11310, 11730, 12090, 12210, 12390, 12558, 12810,
 13090, 13110, ...

上の数列と似ているが、5種類の素数の積で表される（素数の 2乗で割り切れてもよい）数列である。
この中には &mu;(*n*) = 0 となる *n* も含まれる。例えば、 であり、&mu;(4620) = 0である。 :

  2310, 2730, 3570, 3990, 4290, 4620, 4830, 5460, 5610, 6006, 6090, 6270, 
  6510, 6630, 6930, 7140, 7410, 7590, 7770, 7854, 7980, 8190, 8580, 8610,
  8778, 8970, 9030, 9240, 9282, 9570, 9660, 9690, 9870, 10010, 10230, 10374,
 10626, 10710, 10920, 11130, ...

## 関連項目
*数論的関数
*ゼータ関数
*エラトステネスの篩
*特性関数

## 脚注

## 参考文献
*
*

## 外部リンク
*M&ouml;bius Function -- From MathWorld（メビウス関数）（英語）