幂集

易经学习

天地变化的道理

分类目录

使用率很高网站

文章列表

生活要常常分享

维基百科

您身边百科全书

产品秀秀

免费为您秀产品

幂集

点击查看词条快照

数学上，集合的幂集（），定义为由该集合全部子集为元素构成的集合。给定集合 formula_1，其幂集 formula_2（或作formula_3）以符号表示即为 formula_4。在公理集合论（例如ZFC集合论）中，幂集公理假定了任何集合的幂集均存在。 formula_2的任何子集合formula_6称为formula_1上的集族。例子. 若formula_1是集合formula_9，则formula_1的全部子集如下：因此formula_1的幂集为 formula_20formula_11, formula_12, formula_13, formula_14, formula_15, formula_16, formula_17, formula_9formula_29。性质. 容易证明幂集合必然含原集合的全集（因为集合自身也为集合的子集）和空集合（因为空集为任意集合的子集合）。若formula_1是有限集，有formula_31个元素，那么formula_1的幂集有formula_33个元素。我们也可以考虑集合元素为无限大的幂集，见康托尔定理。集合formula_1 的幂集，加上并、交和补运算，就得出布尔代数的原始例子。事实上，我们可以证明所有有限布尔代数都是同构于某有限集的幂集的布尔代数。这结果虽然对无穷布尔代数不成立，但是所有无穷布尔代数都是某个幂集布尔代数的子代数。集合formula_1 的幂集与对称差运算构成一个阿贝尔群（其中空集为幺元，每个集合的逆元为其本身），与交运算一起则构成交换半群。因此这两个运算跟幂集（透过证明分配律）一起构成一个交换环。 2"S"的记法. 在集合论中，formula_36是由所有从formula_37到formula_38的函数构成的集合。因为formula_39可以定义为formula_40（见自然数），formula_3这集合包含了所有从formula_1到formula_40的函数。把formula_3内的函数对应于由这函数给出的formula_45的原像，可看出在formula_3和formula_2之间存在双射，其中每个函数是formula_2中这函数所对应的子集的特征函数。所以就集合论来说formula_3和formula_2是相同的。构造方法. 从空集合开始，选择包含某个元素或者不包含，所有每次增加两种可能，每一层可能的元素不断变为两倍。将formula_2的元素表示为"n"位二进制数；第"n"位表示包含或不含formula_1的第"n"个元素。这样的数总共有formula_53个，见位数组。相关研究. 从幂集合探讨无穷集合的势之后，发现了[0,1] 区间内的所有实数是不可数的。后续依次引发了连续统假设、力迫法等研究。

黑田孝高

中苏边界冲突

阻断服务攻击

利家与松

耶律大石

雷克雅维克

金忠 (明朝尚书)

亚洲奥林匹克理事会

喜纳昌吉

范钦

塔那那利佛

线性规划