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)有關係