莫比乌斯反演的两种形式及其证明

全栈程序员-站长 • 2025年6月28日下午6:15 • 未分类 • 阅读 3

莫比乌斯反演的两种形式及其证明莫比乌斯反演形式一 nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp 证明把代入右边的式子得 nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp 根据莫比乌斯函数的性质有定理 nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp nbsp 因此只有

莫比乌斯反演形式一：

莫比乌斯反演的两种形式及其证明

证明：

把 $\large F(\frac{n}{d})$ 代入右边的式子，得：

$\large f(n)=\sum_{d|n}\mu(d)F(\frac{n}{d})=\sum_{d|n}\mu(d)\sum_{k|\frac{n}{d}}f(k)=\sum_{k|n}f(k)\sum_{d|\frac{n}{k}}\mu(d)$

根据莫比乌斯函数的性质，有定理：

莫比乌斯反演的两种形式及其证明 $\large \frac{n}{k}==1$ 时，即n==k时， $\large \sum_{d|\frac{n}{k}}\mu(d)=1$ ，其余时为0。

故

$\large \sum_{k|n}f(k)\sum_{d|\frac{n}{k}}\mu(d)=f(n)$

形式一得证。

莫比乌斯反演形式二：

莫比乌斯反演的两种形式及其证明 $\large F(d)$ 代入右边的式子，令 $\large k=\frac{d}{n}$ 得：

$\large f(n)=\sum^{+\infty}_{k=1}\mu(k)F(nk)=\sum^{+\infty}_{k=1}\mu(k)\sum_{nk|t}f(t)=\sum_{n|t}f(t)\sum_{k|\frac{t}{n}}\mu(k)$

同理，当且仅当 $\large \frac{t}{n}=1$ 时，也即t==n时， $\large \sum_{k|\frac{t}{n}}\mu(k)=1$ ，其余时为0，

最终有

$\large \sum_{n|t}f(t)\sum_{k|\frac{t}{n}}\mu(k)=f(n)$

形式二得证。

证明完毕。

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

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

赞 (0)

全栈程序员-站长

0 0

多重共线性：python中利用statsmodels计算VIF和相关系数消除共线性

多重共线性：python中利用statsmodels计算VIF和相关系数消除共线性多重共线性在python中的解决方法本文将讨论多重共线性的相关概念及利用python自动化消除多重共线性的方法，以供参考，欢迎拍砖线性模型与非线性模型关于线性模型与非线性模型的定义，似乎并没有确切的定论，但是个人认为建模首先得清楚地认识样本，样本有线性可分与线性不可分两种，所谓是否线性可分，是指是否存在一条直线（或平面）将样本分开。上图中y=0和y=1的样本可以由一条直线分开，如逻辑回归…

全栈程序员-站长
2022年6月1日
148
okio分析

okio分析Okio是一个对原有的java.io和java.nio进行改进的IO库，使IO操作更加高效和方便。Okio的高效主要体现在三个方面：一它对数据进行了分块处理，这样在大数据IO的时候可以以块为单位进行IO，这可以提高IO的吞吐率。二它对这些数据块使用链表进行管理，这可以仅通过移动“指针”就进行数据的管理，而不用真正去处理数据，而且对扩容来说也十分方便。三对闲置的块进行管理，通过一个块池（Se

全栈程序员-站长
2022年6月2日
122
php数据库常用函数

php数据库常用函数

全栈程序员-站长
2021年11月6日
48
Scrivener for Mac如何自定义快捷键

Scrivener for Mac如何自定义快捷键Scrivenerformac是目前苹果osx平台上最优秀的写作软件，拥有简单而又独特的操作界面，提供了标注、概述、收藏保存、全屏幕编辑、快照等各种写作辅助功能，可以对文章进行大致的勾勒或者重组，并且支持用户使用关键词跟踪主题，动态联合多种场景到单个文本，从而辅助作者完成从作品构思、搜集资料、组织结构、增删修改到排版输出的整个写作流程，能够适用于博主、作家、专栏作者使用。在ScrivenerforMac中分配或更改键盘快捷键可能存在某些菜单项，您发现自己使用了很多没有键盘快捷键的菜单项，或者您

全栈程序员-站长
2022年5月25日
36
打开GTA 5竟要跑19.8亿次if语句！黑客嘲讽R星代码烂，修改后直接省70%加载时间

打开GTA 5竟要跑19.8亿次if语句！黑客嘲讽R星代码烂，修改后直接省70%加载时间本文转载自量子位一支烟的功夫，GTA5联机版终于打开了。「7年了！GTA5联机版加载还是这么慢？？」△PleasewaitforevertoplayReddit、Steam、HackerNews上，无数玩家吐槽抱怨……进游戏少则等5、6分钟，多则20分钟。终于，一个黑客大哥实在忍不了，用逆编译器逐条查看运行情况，终于找到原因。原来，R星（游戏开发商RockStar）写的代码太低效，加载时，一个if语句竟然循环了19.8亿次….幕后黑手：谁占用大量时间？加

全栈程序员-站长
2022年6月12日
32
densenet实现_sjf算法

densenet实现_sjf算法论文：DenselyConnectedConvolutionalNetworks论文链接：https://arxiv.org/pdf/1608.06993.pdf代码的github链接：https://github.com/liuzhuang13/DenseNet文章详解：这篇文章是CVPR2017的oral，非常厉害。文章提出的DenseNet（DenseConvolution

全栈程序员-站长
2022年9月29日
1

发表回复

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