Just a Blog

前言

这种神仙玩意儿一听就非常高端。但是如果认真学习的话,还是比想象中的要简单的。

话说本来想拿去装13的却被初三小朋友痛斥过于娱乐…

参考资料

感谢:

莫比乌斯反演学习笔记——by Panda2134

莫比乌斯反演学习笔记——by DimensionTripper

各种能百度到的资料

前置1:数论、积性函数

什么叫数论函数?

在数论上,算术函数(或称数论函数)指定义域为正整数、陪域为复数的函数

——来自百度百科

无法识别的表达方式…

换句话说,数论函数就相当于定义域为$N^+$的函数

注1:陪域就相当于可以包含值域所有的集合。


eqRVVs.png

如图,如果A是$f(x)$的值域,那么B与C都可以是$f(x)$的陪域。

注2:复数是指形如$z=a+bi$的数…为全部实数与虚数的集合。

什么叫积性函数?

指当$gcd(a,b)=1$时满足$f(ab)=f(a)f(b)$的数论函数。

还有一种更加特殊的情况,即d对于任意$a,b \in Z$时都满足$f(ab)=f(a)f(b)$的函数,被称为完全积性函数。

由于完全积性函数相较于积性函数并没有什么更加可爱的性质,故下文仅对积性函数进行讨论。

有哪些常见的积性函数?

$\mu(n)$:本文主角,莫比乌斯函数。

$1(n)$:不变的函数,恒定值为1

$\epsilon(n)$:单位元,当且仅当$n=1$时$\epsilon(n)=1$,其他情况$\epsilon(n)=0$,即

$id(n)$:就是$n$的大小,即$id[n]=n$

$\varphi(n)$:欧拉函数,指小于$n$的正整数中与$n$互质数的数目。

$gcd(n,k)$:当$k$固定时,$n$的最大公因子。

$d(n)$:$n$的正因子数目

$σ(n)$:$n$的所有正因子之和

其中加粗的函数与莫比乌斯反演有比较重要的关系。

积性函数的性质

1.对于任意积性函数$f$,$f(1)=1$。

显然,$f(n)=f(n)f(1)\rightarrow f(1)=1$

2.对于一个大于1的正整数$N$,设$N=\prod p_i ^ {a_i}$且$\forall p_i \not= p_j$(就是将$N$质因数分解,则对于一个积性函数$f$:

根据定义显然。

前置2:狄利克雷卷积

又是一个听起来非常高端的玩意儿…

设$f(n), g(n), h(n)$为数论函数,且

,则

几条性质

1.交换律:

2.结合律:

3.分配律:定义两个数论函数的加法为逐项相加,即,那么

4.积性函数积性函数积性函数,即当为积性函数时,也为积性函数。

证明:

设:$n=a*b$,且$gcd(a,b)=1$,则

5.$(f*e)=f$

证明:

注:非积性函数亦可卷积。

前置3:莫比乌斯函数

几条性质

1.$\mu(n)$是积性函数

证明:

因为

所以

由积性函数性质2得:$\mu$是积性函数。

2.$\mu*1=\epsilon$

证明:

因为$\mu$、$1$、$\epsilon$均为积性函数

所以原命题转化为证明:

其中

所以

即原命题成立

该命题还有另一种表达方式:

因为:

注:其中$[$   $]$ 表示艾佛森括号,方括号其中的条件满足则为1,不满足则为0,即:

正题:莫比乌斯反演

形式一:已知$f(x),g(x)$为两个数论函数,如果

证明1:(狄利克雷卷积法)

已知

改写成卷积的形式

等式两侧同时$*\mu$

由莫比乌斯函数性质知:$\mu*1=\epsilon$,

根据狄利克雷卷积展开,则

证明2:(定义法)

由$f(n)$的定义知:

根据莫比乌斯函数的性质:当且仅当$\frac{n}{i}==1$时,
$\sum_{d|\frac{n}{i}}\mu(d)=1$,所以:

形式二:
如果

那么

证明:


具体实现咕到下篇博客里…

 评论