1樓:喵喵喵啊
冪集, 就是原集合中所有的子集(包括全集和空集)構成的集族。可數集是最小的無限集; 它的冪集和實數集一一對應(也稱同勢),是不可數集。
不是所有不可數集都和實數集等勢,集合的勢可以無限的大。如實數集的冪集也是不可數集,但它的勢比實數集大。 設x是一個有限集,|x| = k,則x的冪集的勢為2的k次方。
冪集是集合的基本運算之一。由集合的所有子集構成的集合。對任何集合a,a的冪集p(a)=。
在zfc公理系統中,冪集公理保證任何集合的冪集均為集合。如p()=,,}.p(·)稱為冪集運算。
擴充套件資料
康託猜想:
不存在一個集合, 它的勢嚴格大於可數集的勢, 同時嚴格小於實數集的勢。
邏輯學家歌德爾證明了這個連續統假設是不能被證明的,也不能被證偽--就是說不能從現有的數學公理體系推演出該結論或者否定該結論。
康託悖論:考慮所有的集合組成的最大的集族,這個集族的冪集當然也是集合,所以本身也是該集合的一部分,從而它的勢應該不超過原集合的勢;但是另一方面,冪集的勢又嚴格大於原集合的勢,從而導致矛盾。
羅素首先意識到集合的概念存在問題。他提出所謂的型別論,指出有一類「集合」並不是真正的集合,而是所謂的「類」,集合本身是不能包含自身的;「類」卻可以。從這個角度出發,就可以解釋上述的悖論。
2樓:白痴不懂我
冪集是指一個幾何的所有子集的集合
例如集合a=
空集是每個集合的子集,所以a的冪集有,,,,,,},空集不用打花括號,
希望能幫到你!!!
3樓:恩惠妮阿加西
所謂冪集(power set)關係, 就是原集合中所有的子集(包括全集和空集)構成的集族。可數集是最小的無限集; 它的冪集和實數集一一對應(也稱同勢),是不可數集。 不是所有不可數集都和實數集等勢,集合的勢可以無限的大。
如實數集的冪集也是不可數集,但它的勢比實數集大。 設x是一個有限集,|x| = k,則x的冪集為2的k次方。
康託第一個認真研究了無限集合, 分清了可數集和不可數集的區別, 並用對角線法證明了實數集不是可數集。此外,康託指出了冪集的勢總是嚴格大於原集合。由此結論導致了康託猜想(即連續統假設)和康託悖論。
設有集合a,由a的所有子集組成的集合,稱為a的冪集,記作2^a,即2^a=。
4樓:幻化作風
哥們,還是問一下你的同學或者老師吧,我也想問專業問題,但回答的人太少了
離散數學連通分支數是什麼意思呀,離散數學中的連通分部是什麼意思
對於一個無向圖而言,它的一個極大連通子圖即為一連通支。比如說,一個圖由三部分構成,其中每一部分都是連通的,但三個部分之間互相不連通,那麼每一部分即為無向圖的一個連通分支。此圖的連通分支數為3。更形象些,你把教學樓附近的幾棵樹合起來看做是一個無向圖,樹葉和樹枝分叉點為圖的結點,樹枝為圖的邊,每一棵樹是...
離散數學邏輯推理證明,離散數學中的邏輯推理A,B,AB,BCD,DQ
證明過程如圖,其中 3 用附加前提證明法,把結論中的前件引入。p蘊含q等價於非p或q,用這個等價式和前提很容易得到結論 離散數學中的邏輯推理 a,b,a b,b c d,d q?你的已知事實是不是有錯誤?如果是a,b,a c,b c d,d q的話就解釋的通了。a為真,因為a推出c,所以c為真 b為...
離散數學中的聯結詞集合有哪五種,離散數學中的聯結詞集合有哪五種
水土火?聯結詞有 非 析取 合取 蘊含 條件 當且僅當 雙條件 與非 或非等等 完備的最小聯結片語有 與非 或非 等通常使用聯結片語 非 析取 合取 離散數學中聯結詞都有哪些 常用的聯接詞有 全功能的 注意 可交換但不可結合 可交換,可結合 在 上可分配 離散數學中命題聯結詞有哪些?它們各有什麼含意...