冪集

维基百科,自由的百科全书
跳转至: 导航搜索

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

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

的任何子集称为上的集族

例子[编辑]

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

  • 空集

因此的幂集为

, , , , , , ,

性质[编辑]

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

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

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

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

2S的記法[编辑]

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