首页
>
离散数学(02324)
> 题目详情
设集合A={|a,b 为正整数},在A上定义二元关系~如下:~当且仅当a+d=b+c。证明~是一个等价关系。
分类: 离散数学(02324)
发布时间: 2024-08-03 22:46
浏览量: 2
设集合A={
|a,b 为正整数},在A上定义二元关系~如下:
~
当且仅当a+d=b+c。证明~是一个等价关系。
【正确答案】:证明:(1)自反性对∀
∈A,有a+b=a+b,所以
~
。故~具有自反性。(2)对称性设
~
,则有a+d=b+c,亦即c+b=d+a,所以
~
。故~具有对称性。(3)传递性设
~
且
~
,则有a+d=b+c,c+f=e+d,上述两式两边分别相加后消去c+d,从而a+f=b+e。所以
~
。故~具有传递性。综合(1)(2)(3),~是一个等价关系。
【题目解析】:证明二元关系中的等价关系,主要是从定义出发,满足自反性、对称性和传递性。
← 返回分类
返回首页 →
相关题目
令p:今天我上班,q:今天我休息。命题“今天我要么上班要么休息”的符号化形式为
设令F(x):x是火车,G(x):x是汽车,L(x,y):x比y快。命题“有的火车比有的汽车快”的符号化形式为
下列关于小项和大项的性质表述正确的是
下图中是欧拉图的为
设有非空集合A上的全域关系S,则关系S不是
↑