本文总结关于广义莫比乌斯反演的一些思想。
1. 广义莫比乌斯反演
为区别平时所说的整数上定义整除关系后,在dirichlet卷积下的莫比乌斯反演,这里更关心其一般化,所以称之为广义莫比乌斯反演。
在Richard A. Brualdi所著的Introductory Combinatorics (版本不限,中文名为组合数学)中The Inclusion-Exclusion Principle and Applications(容斥原理及其应用)一章,最后一节Mobius Inversion(莫比乌斯反演)所介绍的莫比乌斯反演即为本文所提到的广义莫比乌斯反演。
简单地,不严格地说:如果有 f = s * g, s * t = 1,那么有g = t * f。当x是整数上集上带整除关系的偏集上的示性函数:a | b 时 s(a, b) = 1,否则为0,x这个函数通常记为zeta。相应的,由该偏序关系决定的卷积正是Dirichlet卷积。s关于delta(在本文中写作1,请自行区分整数1和delta)的逆就是莫比乌斯函数t,通常记为mu。
问题:通常遇到的mu是一个参数,而上述的s是两个参数,进一步可以猜测t也是两个参数。是的,上述函数都是两个参数,其中卷积的定义如下:f(x, y) = s * g = sum(s(x, z)g(z, y),x <= z and z <= y).令x = 1,<= 关系为整除关系时f(y) = sum(s(1, z)g(z, y), x | z and z | y)。进一步,令ss = s(z/1),gg=g(y/z)得到f(y) = sum(ss(z)gg(y/z
1. 广义莫比乌斯反演
为区别平时所说的整数上定义整除关系后,在dirichlet卷积下的莫比乌斯反演,这里更关心其一般化,所以称之为广义莫比乌斯反演。
在Richard A. Brualdi所著的Introductory Combinatorics (版本不限,中文名为组合数学)中The Inclusion-Exclusion Principle and Applications(容斥原理及其应用)一章,最后一节Mobius Inversion(莫比乌斯反演)所介绍的莫比乌斯反演即为本文所提到的广义莫比乌斯反演。
简单地,不严格地说:如果有 f = s * g, s * t = 1,那么有g = t * f。当x是整数上集上带整除关系的偏集上的示性函数:a | b 时 s(a, b) = 1,否则为0,x这个函数通常记为zeta。相应的,由该偏序关系决定的卷积正是Dirichlet卷积。s关于delta(在本文中写作1,请自行区分整数1和delta)的逆就是莫比乌斯函数t,通常记为mu。
问题:通常遇到的mu是一个参数,而上述的s是两个参数,进一步可以猜测t也是两个参数。是的,上述函数都是两个参数,其中卷积的定义如下:f(x, y) = s * g = sum(s(x, z)g(z, y),x <= z and z <= y).令x = 1,<= 关系为整除关系时f(y) = sum(s(1, z)g(z, y), x | z and z | y)。进一步,令ss = s(z/1),gg=g(y/z)得到f(y) = sum(ss(z)gg(y/z