莫比烏斯反演是數論數學中很重要的內容,可以用於解決很多組合數學的問題。
基本介紹
- 中文名:莫比烏斯反演公式
- 外文名:Möbius inversion formula
- 提出者:奧古斯特·費迪南德·莫比烏斯
- 套用學科:數學
- 適用領域範圍:數論
莫比烏斯反演的引入,莫比烏斯反演定理,莫比烏斯反演定理證明,莫比烏斯函式,莫比烏斯反演的性質,
莫比烏斯反演的引入
莫比烏斯反演是數論中的重要內容,在許多情況下能夠簡化運算。我們考慮以下求和函式:
![](/img/a/8eb/8ba363b5cf955c6e468b3588e2d7.jpg)
我們需要找到
和
之間的關係。從和函式定義當中,我們可以知道:
![](/img/f/f97/44e05f7a76d9cf0fe88274e70abf.jpg)
![](/img/2/991/b38a88b5466b14be9c4b6da9b270.jpg)
![](/img/0/150/5d92ff4b67d0b14e869bdeb8cd4c.jpg)
![](/img/f/692/1aa2364954ba02fddca939bdaca3.jpg)
![](/img/d/d91/9e482d214c03404f62889b688d9e.jpg)
![](/img/2/864/031c70dd97f86550cc3b721ea55f.jpg)
![](/img/b/857/5667ca17f67c5615891f61859bb8.jpg)
![](/img/2/4be/9348d5df266a7c428c10a81831ef.jpg)
![](/img/9/938/cde7d72846f9bc90715bba71b175.jpg)
![](/img/c/701/e70551bfc87dd587ae97338b1742.jpg)
那么:
![](/img/d/eca/139a46401d9a0ba8652de67ae625.jpg)
![](/img/b/2f4/2cb5656891b8d8b797bc9cd5e541.jpg)
![](/img/9/b91/72e13cd283ec79116d81a21a845a.jpg)
![](/img/3/ce2/57cff488fd16f15a4d6134bfd170.jpg)
![](/img/2/384/41e2c240b9e34f15933b60c4a5a2.jpg)
![](/img/c/df8/4f581255ae0650ad2be8abf36dba.jpg)
![](/img/4/632/f1fce5940ea3eecc85f60ed65cd6.jpg)
![](/img/b/667/6f85f5692c2d5ec44964559712e1.jpg)
從中,可以看出,若
(
為質數)那么,
,所以,
.
![](/img/4/317/be4bfbdb653faad78a0a11b1d3f6.jpg)
![](/img/2/08a/bbde8868be43adad5dd9c2c51fe1.jpg)
![](/img/f/87f/c17626b537121e232261f7851438.jpg)
![](/img/3/870/4bde3dd5711bf35b121591047cc2.jpg)
如果我們要讓函式滿足:
那么通過以上推導,我們可以知道
,所以我們作出以下猜測:
![](/img/5/8a6/f99e219427304e35578263dd9d69.jpg)
![](/img/e/59c/3dc8fd2dece2b317fde2b3f7080a.jpg)
莫比烏斯反演定理
設
和
是定義在正整數集合上的兩個函式,定義如下。
![](/img/f/c32/ba363d033c82d0021a845b6cd4b5.jpg)
![](/img/a/7bc/ec342145b6b8a0d561408a8149a1.jpg)
若函式
滿足:
![](/img/f/c32/ba363d033c82d0021a845b6cd4b5.jpg)
![](/img/9/483/e15d1329b388d9118e17e6543c1c.jpg)
![](/img/d/b0f/c4350205d9c4d80fb3b832eaad7a.jpg)
莫比烏斯反演定理證明
充分性證明:
![](/img/a/6d7/51752433d9a9680f534524a09cce.jpg)
![](/img/f/2e1/8bb0e26d36bbd2e12b4fef7cfb10.jpg)
![](/img/8/5c3/e7c0c5543411d034cf776a479673.jpg)
![](/img/0/1f5/f0416880bd956423a3eb13a7b706.jpg)
考慮到:
![](/img/2/b16/2f51fb0d8c07e14a0ac2db2cd0c3.jpg)
![](/img/7/45a/31d7f4050b689e9fd27a020c60af.jpg)
![](/img/9/731/adac9efa011156ce104ce0f2f0ae.jpg)
必要性證明:
![](/img/5/2dc/6a1def0a16492d33456ade0526f5.jpg)
![](/img/0/379/2010f3a6e02ff96ebfc9bc3a321c.jpg)
考慮到:
![](/img/0/270/7ee5bf880113580c87df530e091e.jpg)
因此
![](/img/a/6d7/51752433d9a9680f534524a09cce.jpg)
![](/img/a/6d7/51752433d9a9680f534524a09cce.jpg)
![](/img/7/b74/7727e0c481bf905367b887845bf8.jpg)
莫比烏斯函式
定義當
時,![](/img/9/2e2/97a9bd9cb33761f30e1a716fbb77.jpg)
![](/img/d/21d/ddb0d96942b4d4b961642d8cd113.jpg)
![](/img/9/2e2/97a9bd9cb33761f30e1a716fbb77.jpg)
當
(
為不同的質數,且次數都為1),![](/img/2/681/2f4b91290ded5b318c6f6f768b67.jpg)
![](/img/f/f92/24a88b3cde49372ee3aadaa044f0.jpg)
![](/img/9/cbf/68c99810e8410ce086a9ba963060.jpg)
![](/img/2/681/2f4b91290ded5b318c6f6f768b67.jpg)
其餘情況![](/img/9/492/6481d6d3109999a5faf24d1ff9f3.jpg)
![](/img/9/492/6481d6d3109999a5faf24d1ff9f3.jpg)
注意,
函式也為積性函式。證明略。
![](/img/4/7c5/d0ea676212d572dc8b7522ddeeb7.jpg)
莫比烏斯反演的性質
性質一(莫比烏斯反演公式):![](/img/8/901/6c0fa5be905a35e1d5e1ee194a04.jpg)
![](/img/8/901/6c0fa5be905a35e1d5e1ee194a04.jpg)
性質二:μ(n)是積性函式
性質三:設f是算術函式,它的和函式
是積性函式,那么 f 也是積性函式。
![](/img/2/0c0/393f90f4ccdaacdba157043e08f6.jpg)