简单来讲(不严谨)若一个变换 是线性变换,则对于线性空间中的任意元素 和 它必须满足:
如果对于数论函数 和 ,有
则将其莫比乌斯反演公式定义为:
其中, 为 莫比乌斯(Möbius)函数,具体定义为:
若要证明莫比乌斯反演公式为线性变换,首先需要证明 :
证毕。
其次,要满足
证毕。
两条性质都满足。因此,莫比乌斯反演是线性变换。
如果对于函数 和 有
那么就有
若要证明二项式反演公式为线性变换,首先需要证明
证毕
其次,要满足
证毕。
两条性质都满足。因此,二项式反演是线性变换。