[理工] 離散-關係

看板Grad-ProbAsk作者 (-手起刀落o`)時間9年前 (2016/04/12 16:13), 編輯推噓5(5020)
留言25則, 7人參與, 最新討論串1/3 (看更多)
重點-對稱,反對稱,非對稱 我理解部分 對稱:只要有(a,b)就要有(b,a) 非對稱:只要有(a,b)就不能能有(b,a) 反對稱:同 非對稱 再加上 可 (a,a) 題目(第5版,2-18) http://i.imgur.com/vPwdOKT.jpg
問題 R1可以理解 R3因為缺(2,1),(3,2)所以不具對稱,因為有(1,1)所以是非對稱 R2因為沒有(2,1),(3,2)所以具非對稱,當然也沒有對稱性,問題來了,為什麼具反對稱? 若一個關係具非對稱則也一定是反對稱嗎? (若p則q,我們已知,具反對稱未必具非對稱) -- Sent from my Android -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 111.255.49.78 ※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1460448800.A.9E6.html

04/12 16:37, , 1F
你R2R3是不是反了
04/12 16:37, 1F

04/12 16:40, , 2F
沒反
04/12 16:40, 2F

04/12 17:08, , 3F
你前面不是已經說已理解了
04/12 17:08, 3F

04/12 17:10, , 4F
我是說,我理解的部分,讓大家看我有無誤解
04/12 17:10, 4F

04/12 17:11, , 5F
簡單來說我不懂為何R2有反對稱
04/12 17:11, 5F

04/12 20:18, , 6F
你解釋的都沒錯阿,if 非對稱=>反對稱
04/12 20:18, 6F

04/12 22:08, , 7F
我不確定if非對稱->反對稱 我只是假設,問一下否成立.
04/12 22:08, 7F

04/12 22:17, , 8F
因為有(1,2)沒(2,1)有(2,3)沒(3,2
04/12 22:17, 8F

04/12 22:17, , 9F
)所以具反對稱
04/12 22:17, 9F

04/13 07:47, , 10F
ra你應該說具非對稱,然而在非對稱的條件下附加可(a,a)
04/13 07:47, 10F

04/13 07:47, , 11F
或沒(a,a)才具有反對稱,我是這樣想
04/13 07:47, 11F

04/13 12:31, , 12F
除了ir/reflexive 其他關係都是p->q的關係
04/13 12:31, 12F

04/13 12:32, , 13F
所以滿足p後看q是否滿足,若已~p 則必成立
04/13 12:32, 13F

04/14 12:05, , 14F
反對稱定義:若aRb bRa同時出現,則要a=b
04/14 12:05, 14F

04/14 12:05, , 15F
也就是說,當aRb沒有與bRa同時出現時,就具有反對稱性;
04/14 12:05, 15F

04/14 12:05, , 16F
那若同時出現,則要a=b才有反對稱性
04/14 12:05, 16F

04/14 12:07, , 17F
反對稱跟非對稱的差別就在前者可以接受(a.a) 後者不行
04/14 12:07, 17F

04/15 19:43, , 18F
ah你第一句話我不懂,如果是aRb bRa同時出現則要a=b
04/15 19:43, 18F

04/15 19:45, , 19F
為何R3的(1,2),(2,3)卻沒有(1,3)?我知道反對稱跟非對稱
04/15 19:45, 19F

04/15 19:45, , 20F
的差別在可(a,a)與不可(a,a)
04/15 19:45, 20F

04/15 19:47, , 21F
第二句話我看不懂意思,aRb沒有->a與b沒有關係的意思
04/15 19:47, 21F

04/16 00:39, , 22F
有沒有(1,3)是跟遞移性有關 不影響反對稱 因為加了(1,3)
04/16 00:39, 22F

04/16 00:39, , 23F
也不會有(a,b) (b, a)同時出現的情形
04/16 00:39, 23F

04/19 15:54, , 24F
當(a,b)與(b,a)沒有同時出現,就具有反對稱,我突然晃
04/19 15:54, 24F

04/19 15:54, , 25F
然大悟,3q
04/19 15:54, 25F
文章代碼(AID): #1N3AuWdc (Grad-ProbAsk)
討論串 (同標題文章)
文章代碼(AID): #1N3AuWdc (Grad-ProbAsk)