离散数学关系的性质的一些问题

问题描述：

离散数学关系的性质的一些问题
注：a为所有,e为存在,^为且
定义（1）若ax（x∈A→ ∈R),则称R在A上是自反的.
例7.10 设A＝｛1,2,3｝,R1,R2和R3是A上的关系,其中：
R1＝｛,｝
R1,R2,R3是否是A上的自反关系和反自反关系?
R1既不是自反关系也不是反自反关系
定义（2）设R为A上关系,
（2.1)若axay（x,y∈A^∈R→∈R),则称R在A上为对称的关系
（2.2)若axay（x,y∈A^∈R^∈R→x=y),则称R在A上为反对称的关系
例7.11设A＝｛1,2,3｝,R1,R2,R3和R4都是A上的关系,其中
R1＝｛,｝
R2＝｛,,｝
R3＝｛,｝
R4={,,}
R1是对称的也是反对称的,R2是对称的但不是反对称的,R3是反对称的但不是对称的,R4即不是对称的也不是反对称的.
定义（3）
设R为A上关系,若
若axayaz（x,y,z∈A^∈R^∈R→∈R),则称R在A上传递关系
例题7.12设A＝｛1,2,3｝,R1,R2,R3是A上的关系,其中
R1＝｛,｝
R2＝｛,}
R3={}
说明R1,R2,R3是否为A的传递关系?
R1和R3是A的传递关系,R2不是A的传递关系.
终于抄完了!提问：
为什么在自反和反自反关系中,R里的笛卡尔对必须包含A中全部元素（例7.10中R1不是自反关系就是由于少了个元素“”）.而在后面的定义（2）和定义（3）中的关系里,虽然有“axay”和“axayaz”这样的带全称量词的约束条件.而例题7.12和7.13中的那几个没有涵盖A中全部元素（axay（x,y∈A））的二元关系R仍然满足例题中的对应关系?
例题7.12中R3为什么符合传递关系?按理说R3里面还应该应该有“”和“”才符合啊?

1个回答分类：数学 2014-11-23

问题解答：

我来补答

我只说例7.12 R1肯定是传递的,它是自身传递.R2不是,再加一个就是了.R3是,它只有一个元素.可以看成axayaz（x,y,z∈A^∈R^∈R→∈R)中的,谢谢
再问：那的推论（x,y,z∈A^∈R^∈R）呢？另外，为什么传递和对称关系不需要A中全部元素组成的笛卡尔对而自反就需要？
再答：什么自反就需要啊？没有的事
再问：例7.10 R1既不是自反关系也不是反自反关系 ------------------------------------------------------------------- 为什么会是这样的解答？另外设R为A上关系，若若axayaz（x,y,z∈A^∈R^∈R→∈R)，则称R在A上传递关系那么7.12中的∈R、∈R哪去了？
再答：你可以试着画圈，和箭头，或者画矩阵看啊，主对角上全为1的为自反，全为零的为反自反。所以R1不满足。7.12中由于只有一个，本身肯定传给自己啊。为什么非要加呢
再问：就是感觉表达式写得和矩阵所描述的迥然不同才问的。明明带a却又不是ax，另外，怎么自己传递给自己的？=、=、=不成？y即等于1也等于3？
再答：怎么说呢，我的意思就是只有一个有序对。不是指自反的意思
再问：我问的是传递，怎么自己传递给自己的？？=、=、=不成？y即等于1也等于3？
再答：是啊，难道你非要再找两个啊。伤心。。。我意思是{}{}{}都是传递的。你干嘛非要根据定义呢。定义只是说如果有,.必须要有.没说只有怎么办的。{}也是传递的，那你怎么理解啊

展开全文阅读