莫比乌斯反演与容斥原理

莫比乌斯反演与容斥原理

说真的 。刚接触莫比乌斯反演的时候我觉得这玩意很神奇。

随着认识的加深。我觉得这玩意跟容斥原理真的好像。

方便理解。来个栗子。。

定义：函数$F(a)$有：

$$F(a)=\sum_{a|d}f(d)$$

定义从所有素数从小到大组成的集合为：

$$P=\{P_1,P_2,P_3,...P_{∞}\}$$

$1$是不能被任何素数整除的数字。有容斥原理可得：

$$f(1)=F(1)-\sum_{0<i}F(P_i)+\sum_{0<i<j}F(P_iP_j)-\sum_{0<i<j<k}F(P_iP_jP_k)...$$

答案最终有$[1, ∞]$上的每一个$F$的取值乘以，1或者0或者-1得到。

上面式子解释一下。$F(a)$对应a的倍数所组成集合对应的$f$所有和。

若计算不可以被任何素数整除的集合对应的$f$，即 $f(1)$。应用容斥原理。依次遍历可以被k个素数整除的交错和。

即： $$f(1)=\sum_{i\geq1}a_iF(i)$$

显然有：

如果$i$中含有平方素因子。则： $$a_i=0$$

反之。当： $$i=\prod_{k\in set}P_k$$

其中，$set$为无重复元素的整数集合,则： $$a_i=(-1)^{|set|}$$

定义莫比乌斯函数： $$\mu(i)=a_i$$

我们得到这样一个事实,对于一切算数函数$F，f$,当：

$$F(d)=\sum_{d|a}f(a)$$

则有：

$$f(d)=\sum_{d|a}\mu(\frac{a}{d})F(a)$$

对于这种无穷形式。我们还有一种较为对称的形式。

即： $$F(d)=\sum_{a|d}f(a)$$

则： $$f(d)=\sum_{a|d}\mu(a)F(\frac{d}{a})$$

这中形式形如一种卷积。

我们先不证明上式的正确性。（直接证明也可以。但不能的到更多的东西。

定义函数卷积运算，即函数$A，B，C$有： $$C(n)=\sum_{a*b=n}A(a)B(b)$$

我们记上述运算为狄利克雷积： $$A*B=C$$ 得到了一个新函数。

这可以看作一个函数运算。

容易有： $$(A*B)*C=A*(B*C)\\A*B=B*A$$

上述反演可以定义为：

$$f*I=F$$

则： $$f=F*\mu$$

其中： $$I(n)=1$$

定义单位元函数$e$有： $$f*e=f$$

显然： $$e(n)=[n=1]$$

如果： $$f=F*\mu=f*I*\mu=f$$

则显然： $$I*\mu=e$$

证明： $$f*I=F\ \ 蕴含\ \ F*\mu=f$$

只需要证明： $$\mu*I=e$$

即：

$$\sum_{a|n}\mu(a)=[n=1]$$

$n=1$时显然成立。

当$n>1$时。

记： $$n=\prod_{i\in set}P_i^{x_i}$$

$set$为不含重复元素的$n$的素数数集合。

则： $$\sum_{a|n}\mu(a)=\sum_{k=0}^{|set|}(-1)^k\binom{\big|set\big|}{k}=\big(1-1\big)^{|set|}=0$$

得证。

通常与容斥原理有关的 都会应用到第一个向无穷情况的形式，而这个多数与容斥关系不大。