冪集

冪集(繁体)

集合的冪集(Power Set),定義為由該集合全部子集为元素構成的集合。

数学上,给定集合 ,其幂集 (或作

以符号表示即为

公理集合论(例如ZFC集合论)中,幂集公理假定了任何集合的幂集均存在。

的任何子集合称为上的集族

例子编辑

 是集合 ,则 的全部子集如下:

  •  空集
  •  
  •  
  •  
  •  
  •  
  •  
  •  

因此 的幂集为

  ,  ,  ,  ,  ,  ,  ,   

性质编辑

容易證明冪集合必然含原集合的全集(因為集合自身也為集合的子集)和空集合(因為空集為任意集合的子集合)。


 是有限集,有 个元素,那么 的幂集有 个元素。我们也可以考虑集合元素為無限大的幂集,見康托爾定理


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

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


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

2S的記法编辑

集合论中, 是由所有从  的函数构成的集合。因为 可以定义为 (见自然数), 这集合包含了所有从  的函数。把 内的函数对应于由这函数给出的 原像,可看出在  之间存在双射,其中每个函数是 中这函数所对应的子集的特征函数。所以就集合论来说  是相同的。

構造方法编辑

從空集合開始,選擇包含某個元素或者不包含,所有每次增加兩種可能,每一層可能的元素不斷變為兩倍。


 的元素表示为n位二进制数;第n位表示包含或不含 的第n个元素。这样的数总共有 个,见位数组

相關研究编辑

從冪集合探討無窮集合的勢之後,發現了[0,1] 區間內的所有實數是不可數的。後續一次引發了連續統假設、力迫法等研究。