幂集

数学上，集合的幂集（英语：power set），定义为由该集合全部子集为元素构成的集合。给定集合 $S$，其幂集 ${\mathcal {P}}(S)$（或作$2^{S}$）以符号表示即为

${\mathcal {P}}(S):=\{U|U\subseteq S\}$。

在公理集合论（例如ZFC集合论）中，幂集公理假定了任何集合的幂集均存在。

${\mathcal {P}}(S)$的任何子集合${\mathcal {F}}$称为$S$上的集族。

例子

若$S$是集合$\{a,b,c\}$，则$S$的全部子集如下：

• $\varnothing$（空集）
• $\{a\}$
• $\{b\}$
• $\{c\}$
• $\{a,b\}$
• $\{a,c\}$
• $\{b,c\}$
• $\{a,b,c\}$

因此$S$的幂集为

${\mathcal {P}}(S)=\{$$\varnothing$, $\{a\}$, $\{b\}$, $\{c\}$, $\{a,b\}$, $\{a,c\}$, $\{b,c\}$, $\{a,b,c\}$$\}\,\!$。

性质

容易证明幂集合必然含原集合的全集（因为集合自身也为集合的子集）和空集合（因为空集为任意集合的子集合）。

若$S$是有限集，有$|S|=n$个元素，那么$S$的幂集有$|{\mathcal {P}}(S)|=2^{n}$个元素。我们也可以考虑集合元素为无限大的幂集，见康托尔定理。

集合$S$ 的幂集，加上并、交和补运算，就得出布尔代数的原始例子。

事实上，我们可以证明所有有限布尔代数都是同构于某有限集的幂集的布尔代数。这结果虽然对无穷布尔代数不成立，但是所有无穷布尔代数都是某个幂集布尔代数的子代数。

集合$S$ 的幂集与对称差运算构成一个阿贝尔群（其中空集为幺元，每个集合的逆元为其本身），与交运算一起则构成交换半群。因此这两个运算跟幂集（透过证明分配律）一起构成一个交换环。

2^S的记法

在集合论中，$X^{Y}$是由所有从$Y$到$X$的函数构成的集合。因为$2$可以定义为$\{0,1\}$（见自然数），$2^{S}$这集合包含了所有从$S$到$\{0,1\}$的函数。把$2^{S}$内的函数对应于由这函数给出的$1$的原像，可看出在$2^{S}$和${\mathcal {P}}(S)$之间存在双射，其中每个函数是${\mathcal {P}}(S)$中这函数所对应的子集的特征函数。所以就集合论来说$2^{S}$和${\mathcal {P}}(S)$是相同的。

构造方法

从空集合开始，选择包含某个元素或者不包含，所有每次增加两种可能，每一层可能的元素不断变为两倍。

将${\mathcal {P}}(S)$的元素表示为n位二进制数；第n位表示包含或不含$S$的第n个元素。这样的数总共有$2^{n}$个，见位数组。

相关研究

从幂集合探讨无穷集合的势之后，发现了[0,1] 区间内的所有实数是不可数的。后续依次引发了连续统假设、力迫法等研究。