集合幂级数概论
集合幂级数
定义
设全集 。定义 上的集合幂级数 ,其中 为一交换环。令 表示 上 的像。
若 ,则定义:
- ,其中 且 。类似的可以定义 。
- ,其中 ,其中 ,类似的可以定义 。
- ,其中 且 ,即 的子集卷积(不交并卷积)。
为了方便之后的表述,我们定义 表示 的不交并(若 ,则 ,否则是非法的)。 - ,其中 且 ,即 的集合并卷积(OR 卷积)。
- ,其中 且 ,即 的逐项积。
另外还可以定义集合交卷积(AND 卷积)、集合对称差卷积(XOR 卷积)等,它们在一般的 FMT/FWT 技术中是十分重要的,不过它们在集合幂级数理论中应用较少,故不再赘述。