數學上,集合的冪集(英語: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)
。
容易證明冪集合必然含原集合的全集(因為集合自身也為集合的子集)和空集合(因為空集為任意集合的子集合)。
若
是有限集,有
個元素,那麼
的冪集有
個元素。我們也可以考慮集合元素為無限大的冪集,見康托爾定理。
集合
的冪集,加上並、交和補運算,就得出布林代數的原始例子。
事實上,我們可以證明所有有限布林代數都是同構於某有限集的冪集的布林代數。這結果雖然對無窮布林代數不成立,但是所有無窮布林代數都是某個冪集布林代數的子代數。
集合
的冪集與對稱差運算構成一個阿貝爾群(其中空集為單位元素,每個集合的反元素為其本身),與交運算一起則構成交換半群。因此這兩個運算跟冪集(透過證明分配律)一起構成一個交換環。
2S的記法[編輯]
在集合論中,
是由所有從
到
的函數構成的集合。因為
可以定義為
(見自然數),
這集合包含了所有從
到
的函數。把
內的函數對應於由這函數給出的
的原像,可看出在
和
之間存在對射,其中每個函數是
中這函數所對應的子集的特徵函數。所以就集合論來說
和
是相同的。
構造方法[編輯]
從空集合開始,選擇包含某個元素或者不包含,所有每次增加兩種可能,每一層可能的元素不斷變為兩倍。
將
的元素表示為n位二進制數;第n位表示包含或不含
的第n個元素。這樣的數總共有
個,見位數組。
相關研究[編輯]
從冪集合探討無窮集合的勢之後,發現了[0,1] 區間內的所有實數是不可數的。後續依次引發了連續統假設、力迫法等研究。