莫比乌斯反演(三):莫比乌斯反演定理

莫比乌斯反演(三):莫比乌斯反演定理莫比乌斯反演定理定理存在 f x f x f x 和 g x g x g x 是定义在非负整数域的函数 并且满足 f n d ng d f n sum d n g d f n d n g d 式子等价于 g n d n d f nd g n sum d n mu d f lfloor frac n d rfloor g n d n d

莫比乌斯反演定理

定理

第一种形式的莫比乌斯反演

存在 f ( x ) f(x) f(x) g ( x ) g(x) g(x) 是定义在非负整数域的函数,并且满足
f ( n ) = ∑ d ∣ n g ( d ) f(n) = \sum_{d|n}g(d) f(n)=dng(d)
式子等价于
g ( n ) = ∑ d ∣ n μ ( d ) f ( n d ) g(n) = \sum_{d|n}\mu(d)f(\frac{n}{d}) g(n)=dnμ(d)f(dn)


第二种形式的莫比乌斯反演

莫比乌斯反演还存在另一种形式:

证明

第一种形式的证明

简单朴素证明:

只需证右边 ∑ d ∣ n μ ( d ) f ( n d ) \sum_{d|n}\mu(d)f(\frac{n}{d}) dnμ(d)f(dn) 等于左边的 g ( n ) g(n) g(n) 即可。
∑ d ∣ n μ ( d ) f ( n d ) = ∑ d ∣ n μ ( d ) ∑ i ∣ n d g ( i ) = ∑ d ∣ n ∑ i ∣ n d μ ( d ) g ( i ) = ∑ i ∣ n ∑ d ∣ n i μ ( d ) g ( i ) = ∑ d ∣ n μ ( d ) ∑ i ∣ n d g ( i ) = g ( n ) \begin{aligned} \sum_{d|n}\mu(d)f(\frac{n}{d}) & = \sum_{d|n}\mu(d)\sum_{i|\frac{n}{d}}g(i)\\ &=\sum_{d|n}\sum_{i|\frac{n}{d}}\mu(d)g(i)\\ &=\sum_{i|n}\sum_{d|\frac{n}{i}}\mu(d)g(i)\\ &=\sum_{d|n}\mu(d)\sum_{i|\frac{n}{d}}g(i)\\ &=g(n)\\ \end{aligned} dnμ(d)f(dn)=dnμ(d)idng(i)=dnidnμ(d)g(i)=indinμ(d)g(i)=dnμ(d)idng(i)=g(n)
如上, g ( n ) = ∑ d ∣ n μ ( d ) f ( n d ) g(n)=\sum_{d|n}\mu(d)f(\frac{n}{d}) g(n)=dnμ(d)f(dn) 得证。

卷积证明:

已知 μ \mu μ 为莫比乌斯函数, u u u 为乘法单位元, e e e 为单位元。
它们存在以下三个性质:1. u = μ − 1 u = \mu^{-1} u=μ1 。2. u ∗ μ = e u*\mu=e uμ=e 。3. e ∗ f = f e*f=f ef=f
求证: f = g ∗ u ⇔ g = f ∗ μ f = g * u \Leftrightarrow g = f*\mu f=gug=fμ
先证: f = g ∗ u ⇒ g = f ∗ μ f=g*u\Rightarrow g = f*\mu f=gug=fμ
f = g ∗ u ⇒ g = f ∗ μ ⇒ g ∗ u = f ∗ μ ∗ u ⇒ g ∗ u = f ∗ ( μ ∗ u ) ⇒ g ∗ u = f ∗ e ⇒ g ∗ u = f \begin{aligned} f=g*u & \Rightarrow g = f * \mu\\ & \Rightarrow g*u = f*\mu*u\\ & \Rightarrow g*u= f*(\mu*u)\\ & \Rightarrow g*u=f*e\\ & \Rightarrow g*u=f\\ \end{aligned} f=gug=fμgu=fμugu=f(μu)gu=fegu=f
如上, f ( n ) = ∑ d ∣ n g ( d ) ⇒ g ( n ) = ∑ d ∣ n μ ( d ) f ( n d ) f(n) = \sum_{d|n}g(d) \Rightarrow g(n) = \sum_{d|n}\mu(d)f(\frac{n}{d}) f(n)=dng(d)g(n)=dnμ(d)f(dn) 得证。
再证: g = f ∗ μ ⇒ f = g ∗ u g = f * \mu \Rightarrow f=g*u g=fμf=gu
g = f ∗ μ ⇒ f = g ∗ u ⇒ f ∗ μ = g ∗ u ∗ μ ⇒ f ∗ μ = g ∗ ( u ∗ μ ) ⇒ f ∗ μ = g ∗ e ⇒ f ∗ μ = g \begin{aligned} g = f*\mu & \Rightarrow f=g*u\\ & \Rightarrow f*\mu=g*u*\mu\\ & \Rightarrow f*\mu=g*(u*\mu)\\ & \Rightarrow f*\mu=g*e\\ & \Rightarrow f*\mu=g\\ \end{aligned} g=fμf=gufμ=guμfμ=g(uμ)fμ=gefμ=g
如上, g = f ∗ μ ⇒ f = g ∗ u g = f * \mu \Rightarrow f=g*u g=fμf=gu 得证。
f ( n ) = ∑ d ∣ n g ( d ) ⇔ g ( n ) = ∑ d ∣ n μ ( d ) f ( n d ) f(n) = \sum_{d|n}g(d) \Leftrightarrow g(n) = \sum_{d|n}\mu(d)f(\frac{n}{d}) f(n)=dng(d)g(n)=dnμ(d)f(dn) 得证。








第二种形式的证明

简单朴素证明

求证 f ( n ) = ∑ n ∣ d g ( d ) ⇔ g ( n ) = ∑ n ∣ d μ ( d n ) f ( d ) f(n)=\sum_{n|d}g(d) \Leftrightarrow g(n)=\sum_{n|d}\mu(\frac{d}{n})f(d) f(n)=ndg(d)g(n)=ndμ(nd)f(d)
k = d n k={d\over n} k=nd
g ( n ) = ∑ n ∣ d μ ( d n ) f ( d ) = ∑ k = 1 + ∞ μ ( k ) f ( n k ) = ∑ k = 1 + ∞ μ ( k ) ∑ n k ∣ i g ( i ) = ∑ k = 1 + ∞ ∑ n k ∣ i μ ( k ) g ( i ) = ∑ n ∣ i ∑ k ∣ i n μ ( k ) g ( i ) = ∑ n ∣ i g ( i ) ∑ k ∣ i n μ ( k ) \begin{aligned} g(n)&=\sum_{n|d}\mu(\frac{d}{n})f(d)\\ &=\sum_{k=1}^{+\infty}\mu(k)f(nk)\\ &=\sum_{k=1}^{+\infty}\mu(k)\sum_{nk|i}g(i)\\ &=\sum_{k=1}^{+\infty}\sum_{nk|i}\mu(k)g(i)\\ &=\sum_{n|i}\sum_{k|{i\over n}}\mu(k)g(i)\\ &=\sum_{n|i}g(i)\sum_{k|{i\over n}}\mu(k)\\ \end{aligned} g(n)=ndμ(nd)f(d)=k=1+μ(k)f(nk)=k=1+μ(k)nkig(i)=k=1+nkiμ(k)g(i)=nikniμ(k)g(i)=nig(i)kniμ(k)
观察 ∑ n ∣ i g ( i ) ∑ k ∣ i n μ ( k ) \sum_{n|i}g(i)\sum_{k|{i\over n}}\mu(k) nig(i)kniμ(k) ,当且仅当 i n = 1 {i\over n}=1 ni=1,即 i = n i=n i=n 时, ∑ k ∣ i n μ ( k ) = 1 \sum_{k|{i\over n}}\mu(k)=1 kniμ(k)=1,其余都是 0 0 0。因此
∑ n ∣ i g ( i ) ∑ k ∣ i n μ ( k ) = g ( n ) \sum_{n|i}g(i)\sum_{k|{i\over n}}\mu(k)=g(n) nig(i)kniμ(k)=g(n)
得证。






版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请联系我们举报,一经查实,本站将立刻删除。

发布者:全栈程序员-站长,转载请注明出处:https://javaforall.net/225361.html原文链接:https://javaforall.net

(0)
上一篇 2026年3月17日 上午9:30
下一篇 2026年3月17日 上午9:31


相关推荐

  • 免费LInux主机资源

    免费LInux主机资源

    2021年11月15日
    54
  • Sql语句中的DDL语句

    Sql语句中的DDL语句一 什么是 DDL 语句 数据库模式定义语言 DDL DataDefiniti 是用于描述数据库中要存储的现实世界实体的语言 主要由 create 添加 alter 修改 drop 删除 和 truncate 删除 nbsp 四个关键字完成 二 常见的数据库对象三 create 关键字 1 创建一个数据库 createdataba 数据库名 nbsp nbsp 建

    2026年3月19日
    2
  • ETL的开发过程[通俗易懂]

    ETL的开发过程[通俗易懂]在生产环境中,使用shell脚本完成一次etl操作1.定义一个etl函数,里面传入json行数据,用json.loads加载行数据,并对行数据进行判断,如果没有行数据,或data字段没有在行数据里,就直接返回空的结果,否则就继续往下执行2.接着获取行里的数据,用for循环判断,如果包含某个值,我就将变量赋值取出,装在集合容器里3.设置sparksession会话,并ena…

    2022年5月23日
    37
  • 关于component-scan中base-package包含通配符的问题探究

    关于component-scan中base-package包含通配符的问题探究今天在配置Spring的component-scan时,发现了一个有趣的问题。就是在指定base-package时,如果使用了星号通配符*,有时会出现类扫描不到的情况。下面研究一下这个问题。先介绍一下项目结构: 为了演示,我在java文件夹下创建名为controller的包,并在该包下创建了一个名为IndexController的类。如图所示: 先来看正常情况: 在Spring配置…

    2022年6月13日
    90
  • JAVA整蛊朋友小游戏之屎王争霸赛

    JAVA整蛊朋友小游戏之屎王争霸赛主要运用 java 初期的面板 面容 面向对象 键盘监听 以及多线程实现动画等的方法 本人初期小白有语法赘余之处还请谅解 欢迎提出批评指正 如有问题也可私信问我需要创建的类 1 面板 JFrame2 面容 Panel3 人物 actor4 粑粑 bianbian5 血条 Health6 游戏结束 gameOver1 面板类 packagesecon importjavax swing importjava awt 需要创建的类 1

    2026年3月19日
    2
  • 《天下强汉》6、西汉历史的最后一抹辉煌——绝域名将陈汤

    《天下强汉》6、西汉历史的最后一抹辉煌——绝域名将陈汤【档案】  姓名:陈汤,字子公  生卒:约公元前75年—约公元前5年  性别:男  外貌:双臂半残  籍贯:山阳瑕丘人(今山东兖州东北)  家庭出身:穷书生,业余乞丐  学历:自学成才  著作:《汉射声校尉陈汤集》二卷,已失传  经典战役:远袭中亚郅支之战  战功:亲诛郅支单于,威行外国  特技:火攻,鼓舞,强行  特长:学识渊博,精于著文,具备非凡的决断力和行动力  爱好:读书,登山,钱财,交友…

    2022年5月31日
    80

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注

关注全栈程序员社区公众号