定义

简单来讲(不严谨)若一个变换 是线性变换,则对于线性空间中的任意元素 它必须满足:

莫比乌斯(Möbius)反演

如果对于数论函数 ,有

则将其莫比乌斯反演公式定义为:

其中,莫比乌斯(Möbius)函数,具体定义为:


若要证明莫比乌斯反演公式为线性变换,首先需要证明

证毕。


其次,要满足

证毕。


两条性质都满足。因此,莫比乌斯反演是线性变换。

二项式反演

如果对于函数

那么就有

若要证明二项式反演公式为线性变换,首先需要证明

证毕


其次,要满足

证毕。


两条性质都满足。因此,二项式反演是线性变换。