数学上,集合的冪集(英語:power set),定義為由該集合全部子集为元素構成的集合。给定集合
,其幂集
(或作
)以符号表示即为
。
在公理集合论(例如ZFC集合论)中,幂集公理假定了任何集合的幂集均存在。
的任何子集合
称为
上的集族。
若
是集合
,则
的全部子集如下:
(空集) ![{\displaystyle \{a\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae00d3f70c2221d5933b6b03d14b1df54756c8ee)
![{\displaystyle \{b\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a8da245c4c78bd131a96fea0ef97d39856b734e9)
![{\displaystyle \{c\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b2323d9774b2ec5884264fa0e962b1a607b2b6d)
![{\displaystyle \{a,b\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8127b44bf0e5a64fdc9301e188852ab9b97a1fe8)
![{\displaystyle \{a,c\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e0b590792191e8f40494d564b5c0a9a21851e5f)
![{\displaystyle \{b,c\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3bdd7bd21d7967526ee6429c82ba19da7d9d975d)
![{\displaystyle \{a,b,c\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75e9bc621ced3f02e87b1c40be37867929142bf4)
因此
的幂集为
![{\displaystyle {\mathcal {P}}(S)=\{}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af3a2d32d5f705d9d90698afaabf9cd616be2e08)
,
,
,
,
,
,
, ![{\displaystyle \{a,b,c\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75e9bc621ced3f02e87b1c40be37867929142bf4)
。
容易證明冪集合必然含原集合的全集(因為集合自身也為集合的子集)和空集合(因為空集為任意集合的子集合)。
若
是有限集,有
个元素,那么
的幂集有
个元素。我们也可以考虑集合元素為無限大的幂集,見康托爾定理。
集合
的幂集,加上并、交和补运算,就得出布尔代数的原始例子。
事实上,我们可以证明所有有限布尔代数都是同构于某有限集的幂集的布尔代数。这结果虽然对无穷布尔代数不成立,但是所有无穷布尔代数都是某个幂集布尔代数的子代数。
集合
的幂集与对称差运算构成一个阿贝尔群(其中空集为幺元,每个集合的逆元为其本身),与交运算一起则构成交換半群。因此这两个运算跟幂集(透过证明分配律)一起构成一个交换環。
在集合论中,
是由所有从
到
的函数构成的集合。因为
可以定义为
(见自然数),
这集合包含了所有从
到
的函数。把
内的函数对应于由这函数给出的
的原像,可看出在
和
之间存在双射,其中每个函数是
中这函数所对应的子集的特征函数。所以就集合论来说
和
是相同的。
從空集合開始,選擇包含某個元素或者不包含,所有每次增加兩種可能,每一層可能的元素不斷變為兩倍。
将
的元素表示为n位二进制数;第n位表示包含或不含
的第n个元素。这样的数总共有
个,见位数组。
從冪集合探討無窮集合的勢之後,發現了[0,1] 區間內的所有實數是不可數的。後續依次引發了連續統假設、力迫法等研究。