在线报名
报名咨询
全站搜索未启用
跳到主要内容

常见问题2:关系的性质与闭包运算

在学习关系的性质与闭包运算时,会碰到一些容易混淆的概念,试着回答下面的问题:

Q问题1:(关系的性质)二元关系R={<a,a>,<b,b>}具有哪些性质?

答:具有对称性也是明显的.(显然不具有反自反性)

显然不具有自反性和反自反性;

R具有反对称性。判断方法有二:其一:充分必要条件:R反对称性

本例满足

其二:定义。本例显然满足:若<x,y>且<y,x>,则x=y

是传递的,因为

Q问题2:(自反性与反自反性)自反性与反自反性怎么区分?

自反性就是所有<xx>(第一元素与第二元素相等的有序对)都在二元关系 R 中,当然 x 应是集合 A 的元素;而反自反性就是所有<xx>(第一元素与第二元素相等的有序对)都不在二元关系R中.如A={abc},那么只要同时含有<aa>,<bb>,<cc>有序对的二元关系,就都具有自反性,而是否含有其它有序对无关紧要.<aa>,<bb>,<c,c>有序对都没有的二元关系,就都具有反自反性的.而有一个或两个这种对的二元关系既不是自反的也不是反自反的.

Q问题3:(传递关系的证明)证明“集合A上的二元关系R是传递关系的充分必要条件是RRR”是否要用归纳法?

答:不用归纳法,证明如下.

证明:先证必要性.即已知R是传递关系,要证RRR

因为对任意,若<ac>RR,则存在bA,使<ab>R且<bc>R,由R是传递的定义,得到<ac>R,所以对任意 ,若<ac>RR,都有<ac>R.故RRR

再证充分性,,即已知RRR,要证R是传递的.

由复合关系定义,若对任意<ab>,<bc>,若<ab>R且<bc>R,则<ac>RRR,即<ac>R,所以R是传递的.

最后修改: 2020年02月12日 Wednesday 15:37