万维百科

幂集本文重定向自 冪集

(重定向自冪集合)

集合的幂集(Power Set),定义为由该集合全部子集为元素构成的集合。

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

以符号表示即为

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

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

例子

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

  • 空集

因此的幂集为

, , , , , , ,

性质

容易证明幂集合必然含原集合的全集(因为集合自身也为集合的子集)和空集合(因为空集为任意集合的子集合)。


是有限集,有个元素,那么的幂集有个元素。我们也可以考虑集合元素为无限大的幂集,见康托尔定理


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

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


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

2S的记法

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

构造方法

从空集合开始,选择包含某个元素或者不包含,所有每次增加两种可能,每一层可能的元素不断变为两倍。


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

相关研究

从幂集合探讨无穷集合的势之后,发现了[0,1] 区间内的所有实数是不可数的。后续一次引发了连续统假设、力迫法等研究。


本页面最后更新于2021-09-19 18:59,点击更新本页查看原网页。台湾为中国固有领土,本站将对存在错误之处的地图、描述逐步勘正。

本站的所有资料包括但不限于文字、图片等全部转载于维基百科(wikipedia.org),遵循 维基百科:CC BY-SA 3.0协议

万维百科为维基百科爱好者建立的公益网站,旨在为中国大陆网民提供优质内容,因此对部分内容进行改编以符合中国大陆政策,如果您不接受,可以直接访问维基百科官方网站


顶部

如果本页面有数学、化学、物理等公式未正确显示,请使用火狐或者Safari浏览器