1. 关于离散数学集合的划分问题
D是对的,C是错的。
划分的每一个元素都应该是集合A的非空子集,C选项中的c不是A的子集,写成{c}才可以。
2. 离散数学,等价划分问题!
S×S={<2,2><2,3>,<2,4>,<3,2>,<3,3>,<3,4>,<4,2>,<4,3>,<4,4>}
<a,b>R<c,d><=>a-d=c-b<=>a+b=c+d,两个有序对只要两个元素和相等就具有关系R,所以R很明显满足自反性、对称性、传递性,所以R是等价关系。
根据R的定义,只要两个有序对的两个元素的和相等,两个有序对就在同一个等价类中。S×S中的有序对的两个元素的和只能是4,5,6,7,8。
和为4的有:<2,2>
和为5的有:<2,3>,<3,2>
和为6的有:<2,4>,<3,3>,<4,2>
和为7的有:<3,4>,<4,3>
和为8的有:<4,4>
所以商集A/R={{<2,2>},{<2,3>,<3,2>},{<2,4>,<3,3>,<4,2>},{<3,4>,<4,3>},{<4,4>}
3. 离散数学,第37题的第二问,如果改为求由R*导出的A的划分,应该怎么做
先把tsr自反对称传递闭包,求出来。
r(R)={<a,a>,<b,b>,<c,c>,<d,d>,<e,e>,<f,f>,<a,b>,<a,c>,<e,f>}
sr(R)={<a,a>,<b,b>,<c,c>,<d,d>,<e,e>,<f,f>,<a,b>,<a,c>,<e,f>,<b,a>,<c,a>,<f,e>}
tsr(R)={<a,a>,<b,b>,<c,c>,<d,d>,<e,e>,<f,f>,<a,b>,<a,c>,<e,f>,<b,a>,<c,a>,<f,e>,<b,c>,<c,b>}
因此划分是{{a,b,c},{e,f}}
4. 集合的划分怎么求离散数学
定义在集合上的划分可以确定一个等价关系;反过来,一个等价关系可产生一个唯一的划分。
5. 离散数学集合论,书上对划分的定义是在集合上的,作业里又出现了关系产生的划分。请问,关系产生划分怎么
定义在集合上的划分可以确定一个等价关系;反过来,一个等价关系可产生一个唯一的划分。如整数集上 mod2 的同余关系确定一个划分,即所有偶数和所有奇数;反过来,把整数集划分为偶数集合奇数集,即 mod2 的两个同余类,它确定了整数集上的一个等价关系,即整数集上 mod2 的同余关系。
6. 离散数学中的分划定义是什么
课本上的定义的写法应该是有点问题,想必是用“P→Q”表示条件式吧?
这里你很容易想到P和Q是两个命题变元吧,实际上这里的P和Q是命题公式,所以写成A→B更合适点.也就是说前件和后件是有关系的,比如P∧Q→P,就是一个重言式
当P,Q都是命题变元的时候,P→Q当然不可能是重言式了.