メビウスの反転公式と3つの応用
過去の記事
br-h2gk.hatenablog.com
に、この定理のクラシカルな証明はメビウスの反転公式をつかう、
と書いてあった。
実を言うとメビウスの反転公式を用いた経験がないため、
これを見て調べるまで、内容と証明を知らなかった。
しかし、調べてみると非常に美しい定理だということが分かった。
またこれを認めれば上記の命題の証明はもっとシンプルに
解決することが明らかなので、それを目標に、反転公式から紹介する。
まず反転公式を紹介しよう。
◆定理(メビウスの反転公式)◆
関数は数論的関数(自然数上の複素数値関数)であるとする。
もし、が成立するならば、
が成立する。
ただし、はメビウス関数である。
要は、分かりにくい数論的関数があった時、
約数で和をとると分かりやすい関数になったとする。
すると、とメビウス関数を用いて逆にが表示できる、
と主張している。
知ってみると凄い!逆転サヨナラホームラン的な定理だ。
定義から確認していこう。
定義と反転公式の証明
上に貼った記事にもあるが、再掲しておく。
◆定義◆
メビウス関数を
で、ここでは異なる素因数の数を表す。
まずこの定義から次が導かれる。
◆命題◆
これをとおくことにする。
<証明>
の場合は明らかなので、の場合を示す。
の素因数分解がだったとする。
メビウス関数は平方因子があれば0になるので、
のときに証明できれば十分である。
このとき、約数はから個取り出し、
その積を作ることで得られる。
その時のメビウス関数の値は定義からである。
また、を固定した時、このような素因数の取り出し方は通り
あるので、
が得られる。
<証明終了>
最後の二項係数の和は高校数学でよく出てきた。
確かにたまに顔を出すから大切だとは思っていたが、反転公式に必要だとは。
さて、これを用いて反転公式の証明をしよう。
<反転公式の証明>
(和はとの組を走る)
(∵ 上の命題から以外は後半の和が消える)
となる。
<証明終了>
まず、自身ととるということが考えられる。
これは、
となって自分自身に戻ってくる。
以下、利用法を3つ挙げてみる。
利用例その1:有限体上の既約多項式の数
過去の記事で紹介した定理
をメビウスの反転公式を用いて証明しよう。
必要な有限体に関する基礎知識は過去の記事を参照のこと。
引き続きのことをと書くことにする。
(見やすさのため)
<証明>
代数閉包を固定した下で考える。
のときは明らかなので、としよう。
を上の次のモニック既約多項式全体とする。
をの元の根全体とする。
このとき、である。
後ろの数を数える。
いま、に対し、の元はに属する。
また、の元はその上の最小多項式の次数によって、
ある唯一のがあり、に属する。
このことを踏まえると、
が成立している。
したがって、これにメビウスの反転公式を用いれば、
が成立するから、主張は示された。
<証明終了>
とても鮮やかな方法である。
過去記事の方法よりこちらの方が明快でエレガントだと思う。
アイルランド・ローゼンは確認してないが、
反転公式による方法、とはこれに違いないだろう。
しかしなぜ、ウィキペディアの既約多項式には
あのマイナーな方法のリンクが貼ってあるんだろうか。
利用例その2:オイラー関数
まず、オイラー関数とは次である。
基本的な性質として次を挙げる。
◆命題◆
を素数とする。
1.は定義から簡単にわかる。
2.は次のようにすればよい。
位数の巡回群を考える。なる位数の部分群はただ1つだから、
における位数の元の個数はである。
よって、の元をその位数により分割することで、
が得られる。もっと直接的に定義に沿って証明することもできる。
(それは高校数学の美しい物語などを参照)
いまはこれが本題ではないから省略する。
さて、オイラー関数の求め方を挙げる。
◆定理◆
を素因数分解とする。
このとき、
である。
(ここで前命題からであった)
これについては、を中国剰余定理により素べきの直積に
分解し、その前後で単数群を考えることで証明できた。
この方法しか知らなかったが、メビウスの反転公式により
証明する方法も実は有名なようだ。
<証明>
前命題により、メビウスの反転公式をとして用いると
が成立する。
ここで、
(右辺の展開を注意深く観察すると分かる)
が成立するので、
となる。
<証明終了>
これもかなりエレガントな方法だと思う。
なぜオイラー関数を学んだときにこの方法に
行きつかなかったのか悔やまれる。
利用例その3:円分多項式
自然数を固定する。
◆定義◆
とする。
このときを次の円分多項式と呼ぶ。
このとは原始乗根のみを根とする多項式である。
となっていることは省略する。
円分多項式について次が従う。
◆命題◆
が成り立つ。
特に、であって、次数はである。
<証明>
の根は積についての位数により原始乗根全体の集まりと
思えるから、
が成立する。
これのをとったときのメビウスの反転公式を用いることで、
から
が成立する。
よって、
となる。
ここで、分母と分子は原始多項式であり、
有理数体上の多項式として割り切れているので、
整数環上のそれにおいても割り切れる。
よってである。
さらに、次数はであり、
利用例その2を見れば、これはだと分かる。
<証明終了>
メビウスの反転公式恐るべし。
こんなに有効だとは・・・。