[理工] [離散] 反身性 看不懂 …

看板Grad-ProbAsk作者 (ycchien)時間11年前 (2015/07/08 22:14), 編輯推噓9(9推 0噓 36→)
留言45則, 6人參與, 最新討論串1/1
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
→
07/08 22:34, , 1F
反身性就是包含自己。n可以整除(x-x)，代表這個關係裡包
07/08 22:34, 1F
→
07/08 22:35, , 2F
含(x,x)這項。
07/08 22:35, 2F
推
07/08 22:36, , 3F
這依它定的關係而定 它今天定的關係就是n*__=x-y，代(a,a)
07/08 22:36, 3F
→
07/08 22:36, , 4F
進去n*__=0成立 即具有反身性
07/08 22:36, 4F
→
07/08 22:38, , 5F
它今天加入定的關係是 x>y 則就不會有反身性
07/08 22:38, 5F
→
07/08 22:59, , 6F
先謝謝大大們了QQ
07/08 22:59, 6F
→
07/08 22:59, , 7F
我消化好久還是很不懂…
07/08 22:59, 7F
→
07/08 22:59, , 8F
所以說…是這樣子嗎…
07/08 22:59, 8F
→
07/08 22:59, , 9F
A包含(x,x)…？
07/08 22:59, 9F
→
07/08 22:59, , 10F
(x,x)代入(x-y)=0…？
07/08 22:59, 10F
推
07/08 23:07, , 11F
就是這個定義的關係的x代x y代x 發現在這個情形下符合
07/08 23:07, 11F
→
07/08 23:07, , 12F
定義
07/08 23:07, 12F
→
07/08 23:07, , 13F
那就符合反身性
07/08 23:07, 13F
→
07/08 23:08, , 14F
x-y的x代x y也去代x
07/08 23:08, 14F
推
07/08 23:10, , 15F
比如今天一個關係叫x>y 那麼你把x y都代x 則x>x為假
07/08 23:10, 15F
→
07/08 23:10, , 16F
那麼此例即不具反身性
07/08 23:10, 16F
→
07/08 23:39, , 17F
再次謝謝大大QQ
07/08 23:39, 17F
→
07/08 23:39, , 18F
我想問一下…
07/08 23:39, 18F
→
07/08 23:39, , 19F
(1) 為什麼是代(x,x)
07/08 23:39, 19F
→
07/08 23:39, , 20F
(2) 為什麼是代(x,y)呢…？
07/08 23:39, 20F
→
07/08 23:39, , 21F
還是說這就是證明的條件…@@？
07/08 23:39, 21F
推
07/08 23:46, , 22F
因為等價關係要滿足反身對稱遞移 反身就是自己與自己
07/08 23:46, 22F
→
07/08 23:47, , 23F
所以(1)是(x,x) (2)是對稱 也就是(x,y)的關係要等於
07/08 23:47, 23F
→
07/08 23:48, , 24F
(y,x) 比如一樣用x>y做例子
07/08 23:48, 24F
→
07/08 23:48, , 25F
x>y的對稱就是y>x 而這項是不會恆成立 所以無對稱性
07/08 23:48, 25F
→
07/08 23:49, , 26F
而用等於做例子 if x=y 則 y=x恆成立 則"等於"
07/08 23:49, 26F
→
07/08 23:49, , 27F
這個關係擁有對稱性
07/08 23:49, 27F
→
07/09 00:47, , 28F
那………
07/09 00:47, 28F
→
07/09 00:47, , 29F
為什麼可以確定說…
07/09 00:47, 29F
→
07/09 00:47, , 30F
n可以整除x-x 呢…
07/09 00:47, 30F
推
07/09 00:52, , 31F
因為x-x=0 而n*0=0不管n等於多少恆成立
07/09 00:52, 31F
→
07/09 11:54, , 32F
我好像懂一些了00…
07/09 11:54, 32F
→
07/09 11:54, , 33F
再問一下@@…
07/09 11:54, 33F
→
07/09 11:54, , 34F
∀x,y∈Z，這個算是假設嗎…？
07/09 11:54, 34F
推
07/09 22:44, , 35F
這是條件 必須要所有都符合
07/09 22:44, 35F
→
07/09 23:20, , 36F
所以就是假設的條件了吧…00？
07/09 23:20, 36F
推
07/10 00:33, , 37F
先知道定義，每個符號的意義
07/10 00:33, 37F
→
07/10 00:33, , 38F
其實上面那位大大已經講很詳細了
07/10 00:33, 38F
→
07/10 12:40, , 39F
嗯嗯 我非常謝謝g大了…XD
07/10 12:40, 39F
→
07/10 12:40, , 40F
符號定義我知道@@ 就是對於所有@@
07/10 12:40, 40F
→
07/10 12:40, , 41F
是說已經了解很多了～
07/10 12:40, 41F
→
07/10 12:40, , 42F
非常謝謝大大們～！！
07/10 12:40, 42F
推
07/10 23:57, , 43F
借板問一下所以遞移性是說代 (x,y) 跟 (y,x) 要跟 (x,x)
07/10 23:57, 43F
→
07/10 23:57, , 44F
一樣全為真或者全為否
07/10 23:57, 44F
推
07/11 16:48, , 45F
遞移是假設(x,y)(y,z)看能不能推倒(x,z)有關係
07/11 16:48, 45F
‣ 更多 ycchien 的文章
文章代碼(AID): #1LdJ0lhl (Grad-ProbAsk)