為什麼這篇反身性離散鄉民發文收入到精華區：因為在反身性離散這個討論話題中，有許多相關的文章在討論，這篇最有參考價值！作者ycchien (ycchien)看板Grad-ProbAsk標題[理工] [離散] 反身性 看...
http://i.imgur.com/wzdsTut.jpg
反身性是什麼意思……？
(1) 上面寫得 因為 我真的看不懂…
他是說這樣嗎
因為 n可以整除x-x
所以 R具有反身性…？？
真的不是很懂…@@
--
Sent from my Android
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 49.219.131.68
※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1436364847.A.AEF.html
→ puppy025: 反身性就是包含自己。n可以整除(x-x)，代表這個關係裡包 07/08 22:34
→ puppy025: 含(x,x)這項。 07/08 22:35
推 yaxauw: 這依它定的關係而定 它今天定的關係就是n*__=x-y，代(a,a) 07/08 22:36
→ yaxauw: 進去n*__=0成立 即具有反身性 07/08 22:36
→ yaxauw: 它今天加入定的關係是 x>y 則就不會有反身性 07/08 22:38
→ ycchien: 先謝謝大大們了QQ 07/08 22:59
→ ycchien: 我消化好久還是很不懂… 07/08 22:59
→ ycchien: 所以說…是這樣子嗎… 07/08 22:59
→ ycchien: A包含(x,x)…？ 07/08 22:59
→ ycchien: (x,x)代入(x-y)=0…？ 07/08 22:59
推 goldflower: 就是這個定義的關係的x代x y代x 發現在這個情形下符合 07/08 23:07
→ goldflower: 定義 07/08 23:07
→ goldflower: 那就符合反身性 07/08 23:07
→ goldflower: x-y的x代x y也去代x 07/08 23:08
推 goldflower: 比如今天一個關係叫x>y 那麼你把x y都代x 則x>x為假 07/08 23:10
→ goldflower: 那麼此例即不具反身性 07/08 23:10
→ ycchien: 再次謝謝大大QQ 07/08 23:39
→ ycchien: 我想問一下… 07/08 23:39
→ ycchien: (1) 為什麼是代(x,x) 07/08 23:39
→ ycchien: (2) 為什麼是代(x,y)呢…？ 07/08 23:39
→ ycchien: 還是說這就是證明的條件…@@？ 07/08 23:39
推 goldflower: 因為等價關係要滿足反身對稱遞移 反身就是自己與自己 07/08 23:46
→ goldflower: 所以(1)是(x,x) (2)是對稱 也就是(x,y)的關係要等於 07/08 23:47
→ goldflower: (y,x) 比如一樣用x>y做例子 07/08 23:48
→ goldflower: x>y的對稱就是y>x 而這項是不會恆成立 所以無對稱性 07/08 23:48
→ goldflower: 而用等於做例子 if x=y 則 y=x恆成立 則"等於" 07/08 23:49
→ goldflower: 這個關係擁有對稱性 07/08 23:49
→ ycchien: 那……… 07/09 00:47
→ ycchien: 為什麼可以確定說… 07/09 00:47
→ ycchien: n可以整除x-x 呢… 07/09 00:47
推 goldflower: 因為x-x=0 而n*0=0不管n等於多少恆成立 07/09 00:52
→ ycchien: 我好像懂一些了00… 07/09 11:54
→ ycchien: 再問一下@@… 07/09 11:54
→ ycchien: ∀x,y∈Z，這個算是假設嗎…？ 07/09 11:54
推 goldflower: 這是條件 必須要所有都符合 07/09 22:44
→ ycchien: 所以就是假設的條件了吧…00？ 07/09 23:20
推 you00360842: 先知道定義，每個符號的意義 07/10 00:33
→ you00360842: 其實上面那位大大已經講很詳細了 07/10 00:33
→ ycchien: 嗯嗯 我非常謝謝g大了…XD 07/10 12:40
→ ycchien: 符號定義我知道@@ 就是對於所有@@ 07/10 12:40
→ ycchien: 是說已經了解很多了～ 07/10 12:40
→ ycchien: 非常謝謝大大們～！！ 07/10 12:40
推 kev72806: 借板問一下所以遞移性是說代 (x,y) 跟 (y,x) 要跟 (x,x) 07/10 23:57
→ kev72806: 一樣全為真或者全為否 07/10 23:57
推 you00360842: 遞移是假設(x,y)(y,z)看能不能推倒(x,z)有關係 07/11 16:48