莫比乌斯反演(从入门到自闭)

数论函数

定义域在正整数上的函数称为数论函数。

积性函数

若对于任意的互质的一对数$x$和$y$,有$f(x\times y)=f(x)\times f(y)$,则称函数$f$为积性函数。

卷积

$(f* g)(n)$称为函数$f$与$g$的卷积。

狄利克雷卷积

若$f$和$g$都为数论函数,则$(f* g)(n)$称为数论函数$f$与$g$的狄利克雷卷积。

性质

卷积运算满足交换律、结合律和分配律。

积性函数的卷积仍为积性函数。

单位元

定义数论函数$\varepsilon(n)=[n=1]$,它是狄利克雷卷积的单位元。
若$f$为数论函数,则

从上式可以看出,在狄利克雷卷积的运算中,单位元就相当于实数运算中的$1$。

莫比乌斯函数

定义

$\mu(n)$为莫比乌斯函数。

性质

将$n$质因数分解$n=p_1^{a_1}p_2^{a_2}…p_{\varphi(n)}^{a_{\varphi(n)}}$,则:


莫比乌斯函数是积性函数。



$\mu$与$1$互为逆元。

莫比乌斯反演

定理

若数论函数$f$与$g$满足

证明