冪集
全體子集組成的集合族
数学上,集合的冪集(英語:power set),定義為由該集合全部子集为元素構成的集合。给定集合 ,其幂集 (或作)以符号表示即为
- 。
例子编辑
若 是集合 ,则 的全部子集如下:
- (空集)
因此 的幂集为
- , , , , , , , 。
性质编辑
容易證明冪集合必然含原集合的全集(因為集合自身也為集合的子集)和空集合(因為空集為任意集合的子集合)。
若 是有限集,有 个元素,那么 的幂集有 个元素。我们也可以考虑集合元素為無限大的幂集,見康托爾定理。
集合 的幂集,加上并、交和补运算,就得出布尔代数的原始例子。
事实上,我们可以证明所有有限布尔代数都是同构于某有限集的幂集的布尔代数。这结果虽然对无穷布尔代数不成立,但是所有无穷布尔代数都是某个幂集布尔代数的子代数。
集合 的幂集与对称差运算构成一个阿贝尔群(其中空集为幺元,每个集合的逆元为其本身),与交运算一起则构成交換半群。因此这两个运算跟幂集(透过证明分配律)一起构成一个交换環。
2S的記法编辑
在集合论中, 是由所有从 到 的函数构成的集合。因为 可以定义为 (见自然数), 这集合包含了所有从 到 的函数。把 内的函数对应于由这函数给出的 的原像,可看出在 和 之间存在双射,其中每个函数是 中这函数所对应的子集的特征函数。所以就集合论来说 和 是相同的。
構造方法编辑
從空集合開始,選擇包含某個元素或者不包含,所有每次增加兩種可能,每一層可能的元素不斷變為兩倍。
将 的元素表示为n位二进制数;第n位表示包含或不含 的第n个元素。这样的数总共有 个,见位数组。
相關研究编辑
從冪集合探討無窮集合的勢之後,發現了[0,1] 區間內的所有實數是不可數的。後續依次引發了連續統假設、力迫法等研究。
🔥 Top keywords: Baike: 首页Special:搜索毛泽东家族榮耀之繼承者天之驕女鐵拳英雄九龍城寨之圍城黃循財背着善宰跑篠崎泫妮妃雅新生 (网络剧)劉偉健斯洛伐克习近平劉俊謙 (香港)李显龙歌手2024佛誕淚之女王2024年泰國羽球公開賽新加坡總理邊佑錫新加坡Energy (組合)庆余年九龍寨城六四事件家族榮耀金智媛彌助菲律宾胖猫跳江事件劉寶傑DAY6林峯張文傑李光耀神耆小子張鳳妮黃世聰Seventeen (組合)维基百科願榮光歸香港中華民國鬼滅之刃 柱訓練篇2024年英雄联盟季中邀请赛中华人民共和国TripleS金秀賢 (男演員)罗伯特·菲佐井柏然2024年世界女排联赛黃偉哲怪獸8號佘詩曼Foodpanda金惠奫新加坡总统香緹·摩爾于北辰 (1968年)王嘉爾笑看風雲排球少年!!角色列表林飛帆郭葦昀馴鹿寶貝翁靜晶猩球崛起:王國誕生ILLIT尼古拉·約基奇春色寄情人周殷廷鬼滅之刃排球少年!!吳釗燮逆天奇案2不夠善良的我們BABYMONSTER李正皓尚达曼BOYNEXTDOOR胡子彤IVE (組合)陳靜 (香港)香港吴作栋黃道十二宮凡希亚·奥伊亚胡宇威長洲太平清醮張員瑛搜查班長1958伍允龍习明泽黄岩岛賴清德偶然遇見的你虽然不是英雄