http://i.imgur.com/wzdsTut.jpg
请问一下…
反身性是什么意思……？
(1) 上面写得 因为 我真的看不懂…
他是说这样吗
因为 n可以整除x-x
所以 R具有反身性…？？
真的不是很懂…@@

反身性就是包含自己。n可以整除(x-x)，代表这个关系里包含(x,x)这项。

这依它定的关系而定 它今天定的关系就是n*__=x-y，代(a,a)进去n*__=0成立 即具有反身性它今天加入定的关系是 x>y 则就不会有反身性

先谢谢大大们了QQ我消化好久还是很不懂…所以说…是这样子吗…A包含(x,x)…？(x,x)代入(x-y)=0…？

就是这个定义的关系的x代x y代x 发现在这个情形下符合定义那就符合反身性x-y的x代x y也去代x比如今天一个关系叫x>y 那么你把x y都代x 则x>x为假那么此例即不具反身性

再次谢谢大大QQ我想问一下…(1) 为什么是代(x,x)(2) 为什么是代(x,y)呢…？还是说这就是证明的条件…@@？

因为等价关系要满足反身对称递移 反身就是自己与自己所以(1)是(x,x) (2)是对称 也就是(x,y)的关系要等于(y,x) 比如一样用x>y做例子x>y的对称就是y>x 而这项是不会恒成立 所以无对称性而用等于做例子 if x=y 则 y=x恒成立 则"等于"这个关系拥有对称性

那………为什么可以确定说…n可以整除x-x 呢…

因为x-x=0 而n*0=0不管n等于多少恒成立

我好像懂一些了00…再问一下@@…∀x,y∈Z，这个算是假设吗…？

这是条件 必须要所有都符合

所以就是假设的条件了吧…00？

先知道定义，每个符号的意义其实上面那位大大已经讲很详细了

嗯嗯 我非常谢谢g大了…XD符号定义我知道@@ 就是对于所有@@是说已经了解很多了～非常谢谢大大们～！！

借板问一下所以递移性是说代 (x,y) 跟 (y,x) 要跟 (x,x)一样全为真或者全为否

递移是假设(x,y)(y,z)看能不能推倒(x,z)有关系