设集合 。若 的子集 满足:若 ,则 ,则称 具有性质 。从 的所有非空子集中等可能地取一个,所取子集具有性质 的概率为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
映射 的轨道是 ,合法子集必须是整条轨道的并。
三条轨道各有选或不选两种选择,故含空集共 个合法子集,非空的有 个。全部非空子集有 个,所以概率为 。
固定点 可以单独选择,其他四个元素必须成对出现。
子集在一个对合映射下不变,等价于它是该映射轨道的并。
把对称条件分成两个二元轨道和一个固定点,每轨道整体选取,再去空集。
已记下,谢谢!