|
|
|
先の基本公式 (*) に適用すれば、[[ゼータ函数]]による母函数表示を得る。
:<math>\sum_{n=1}^\infty \frac{\mu(n)}{n^s} = \frac{1}{\zeta(s)}</math>
== エラトステネスの篩 ==
既に知っている素数で割れる自然数を数表から篩い落とすことで新たな素数を順次決定していく操作は'''[[エラトステネスの篩]]'''として知られている。ゆえに、知っている素数で割れない自然数全体の集合を指定する方法が与えられることと、このエラトステネスの篩にかけることとは等価である。
集合を指定する方法の一つは、その[[指示函数]]を与えることである。いま、''p''<sub>1</sub> から ''p''<sub>''k''</sub> が素数として決定されたものとし、そのような素数全部の積を ''P'' とする。また、自然数 ''n'' と ''P'' との[[最大公約数]]を (''n'', ''P'') と表せば、''n'' が決定済みの素数で割れることと、(''n'', ''P'') > 1 となることとは同値である。このとき、十分大きな自然数 ''N'' を考え、''N'' 以下の自然数 ''n'' のうち、決定済みの素数 ''p''<sub>1</sub>, ..., ''p''<sub>''k''</sub> で割れない自然数全体の集合を ''E'' とおくと、基本公式によって ''E'' の指示函数 χ<sub>''E''</sub> は
:<math>\chi_E(n) = \sum_{d\mid(n,P)}\mu(d)</math>
で与えられることがわかるから、これをエラトステネスの篩のメビウス函数を用いた表現と考えることができる（手続きとしては、χ<sub>''E''</sub>(''n'') を計算することは知っている素数で順番に割っていくことに他ならないから、単に表現の仕方を変えただけである）。特に、χ<sub>''E''</sub>(''n'') = 1 を満たす最小の ''n'' を ''p''<sub>''k''+1</sub> とすればこれは新しい素数であり、再び同様の手続きにしたがって次々に素数を決定することができる。
== μ(''n'') ==
|
