首先，跑跑題：補充幾道簡單集合題目，超簡單的，看客們想跳過就跳過吧：回應某個人：
問題一：
化簡下列集合表示式：
1. ((a
∪ b
∪ b) - (b
∪ c) ）
∪ a
解答：
則： 化簡((
a∪b∪
c)∩¬
(b∪c
))∪a
⇔ (
a∪b∪
c)∩(
a∪¬(
b∪c)
)) ⇔
a∪((b∪c
)∩(¬
(b∪c
)))
⇔ a
問題二：
a =
∪x , 則 ， x
∈ a , 且x
⊆ a
對的哦，真值為1
看客們，現在我們看看關係部分，函式部分。
在放題目之前，我還想重新提到乙個東西，因為，在作業時，想了很久都沒有想出來，那就是
康托爾－伯恩斯坦－施洛德定理
康托爾-伯恩斯坦-施洛德(cantor-bernstein-schroeder)定理 是集合論中的乙個基本定理。該定理陳述說: 如果在集合 a 和 b 之間存在單射 f : a → b 和 g : b → a，則存在乙個雙射 h : a → b.依據這兩個集合的勢, 這意味著如果 |a| ≤ |b| 並且 |b| ≤ |a|，則 |a| = |b|, 即a與b等勢. 顯然, 這是在基數排序中非常有用的特徵.
原版的證明在這裡，借鑑**：
dictionaire
證明的截圖
好了現在放題目
關係部分
問題一：
設a =
r2= 求r
32解法：就是簡單的使用關係矩陣，來計算r3
2 ， 最後的結果為 r3
2 =
問題二：
對任意非空的集合a且p(a) - 是a的非空集合族，p(a) - 是否構成a的劃分。
解答
即 |a| = 1時，構成劃分，|a| > 1，不構成劃分。
問題三：
設a = , r是a上的二元關係，且定義為
r =
則使得r
s = rt
的最小自然數s,t是
則法一：
看成置換
r = (b,c,a)*(f,e)
則，顯然最小為0與2*3 = 6。
法二：
利用關係矩陣，死算。
關係部分錯題結束
離散數學集合部分錯題分析（續）
同上 只涉及一些簡單的基礎問題 五 有關冪集的小組合 問題一 設a與b為兩個集合 證明 1.p a p b p a b 2.p a p b p a b 解答 這裡我們不打算用集合的演算 1.充分性 x p a p b 則 x p a and x p b so x a and x b so x a b...
《離散數學》關係
為什麼要研究乙個關係的演算法？我總是在想這個 難道是現實世界關係的模型對於我們來說，都是數學中研究的關係 關係把世界連線為了乙個巨大的網 一，關係的定義以及性質 從數學的角度來說，關係是笛卡兒的子集，就是乙個二維表，還可以是乙個矩陣，乙個有向圖。關係有一些性質，自反 a,b有相同的父母 對稱 a,b...
離散數學 集合關係
集合 集合a，集合b。運算。集合裡的元素是不相容的，運算後是羅列在一起。純數字的運算，元素都是相容的。最後出來乙個元素。可以認為是特定規則的元素運算。比如 乘法2 3，先數字分解成集合 按照笛卡爾積。相融成6.關係rr arb 關係r又可以看作集合。關係中集合的數量上 兩元 a1,b1 大都研究的是...