对于整数而言:
莫比乌斯函数
莫比乌斯函数定义为:
μ
(
x
)
=
{
1
(
x
=
1
)
0
(
x
含有相同质因子
)
(
−
1
)
s
(
s
为
x
的不同质因子的个数
)
\mu (x)=\left\{\begin{matrix} 1\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;(x=1)\\ 0\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;(x含有相同质因子)\\ (-1)^s(s为x的不同质因子的个数) \end{matrix}\right.
μ(x)=⎩
⎨
⎧1(x=1)0(x含有相同质因子)(−1)s(s为x的不同质因子的个数)
莫比乌斯函数是积性函数,这很显然。
莫比乌斯函数的性质
性质1
∑ d ∣ n μ ( d ) = [ n = 1 ] \underset{d|n}\sum \mu(d)=[n=1] d∣n∑μ(d)=[n=1]
这个式子证明较繁,在莫比乌斯反演给出证明。
性质2
∑ d ∣ n μ ( d ) d = φ ( n ) n \underset{d|n}\sum \frac{ \mu(d)} d=\frac{\varphi(n)} n d∣n∑dμ(d)=nφ(n)
没什么用。
这个式子实际上描述的是
μ
∗
i
d
=
φ
\mu*id=\varphi
μ∗id=φ这个狄利克雷卷积关系,在狄利克雷卷积给出证明。
后记
于是皆大欢喜。