首先,跑跑题:补充几道简单集合题目,超简单的,看客们想跳过就跳过吧:回应某个人:
问题一:
化简下列集合表达式:
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}
对的哦,真值为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 = {a,b,c,d}
R2={(a,d),(b,c), (b,d),(c,b)}
求
R32
解法:就是简单的使用关系矩阵,来计算
R32
, 最后的结果为
R32
= {(b,c), (b,d),(c,b)}
问题二:
对任意非空的集合A且P(A) - {
∅
} 是A的非空集合族,P(A) - {
∅
} 是否构成A的划分。
解答
- |A| = 1时, 假设A = {a}, 则, P(A) = { ∅ , {a}} , 显然构成划分。
- |A| > 1时, 举反例A = {a,b} , P(A) = { ∅ , {a} , {b} , {a,b}} ,显然不构成划分,所以错误。
即 |A| = 1时,构成划分,|A| > 1,不构成划分。
问题三:
设A = {a,b,c,d,e,f}, R是A上的二元关系,且定义为
R = {(a,b),(b,c),(c,a),(e,f),(f,e)}
则使得
Rs
=
Rt
的最小自然数s,t是
则法一:
看成置换
R = (b,c,a)*(f,e)
则,显然最小为0与2*3 = 6。
法二:
利用关系矩阵,死算。
关系部分错题结束