打开主菜单

数学上,给定集合,其幂集(或作)是以的全部子集为元素的集合。以符号表示即为

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

的任何子集称为上的集族

例子编辑

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

  •  空集
  •  
  •  
  •  
  •  
  •  
  •  
  •  

因此 的幂集为

  ,  ,  ,  ,  ,  ,  ,   

性质编辑

 是有限集,有 个元素,那么 的幂集有 个元素。(其实可以——事实上电脑就是这样做的——将 的元素表示为n位二进制数;第n位表示包含或不含 的第n个元素。这样的数总共有 个。)

我们也可以考虑无穷集的幂集。以对角论证法可证明一个集合(不论是否无穷)的幂集的基数总是大于原来集合的基数(粗略的说,集合的幂集必然大于原来集合)。例如正整数集的幂集可以一一对应实数集(把一个无穷0-1序列对应于那些包含有1出现的指数的集合。例如,  对应于序列  对应于序列  )。

集合  的幂集,加上并、交和补运算,就得出布尔代数的原始例子。事实上,我们可以证明所有有限布尔代数都是同构于某有限集的幂集的布尔代数。这结果虽然对无穷布尔代数不成立,但是所有无穷布尔代数都是某个幂集布尔代数的子代数。

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

2S的記法编辑

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