[理工] 離散-關係

作者: a19930301 (-手起刀落o`)   2016-04-12 16:13:18
重點-對稱,反對稱,非對稱
我理解部分
對稱:只要有(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,我們已知,具反對稱未必具非對稱)
作者: odanaga (PixiyON)   2016-04-12 16:37:00
你R2R3是不是反了
作者: a19930301 (-手起刀落o`)   2016-04-12 16:40:00
沒反
作者: tedchang102 (tedchang102)   2016-04-12 17:08:00
你前面不是已經說已理解了
作者: a19930301 (-手起刀落o`)   2016-04-12 17:10:00
我是說,我理解的部分,讓大家看我有無誤解簡單來說我不懂為何R2有反對稱
作者: krusnoopy (push)   2016-04-12 20:18:00
你解釋的都沒錯阿,if 非對稱=>反對稱
作者: a19930301 (-手起刀落o`)   2016-04-12 22:08:00
我不確定if非對稱->反對稱 我只是假設,問一下否成立.
作者: raaaaaaaa   2016-04-12 22:17:00
因為有(1,2)沒(2,1)有(2,3)沒(3,2)所以具反對稱
作者: a19930301 (-手起刀落o`)   2016-04-13 07:47:00
ra你應該說具非對稱,然而在非對稱的條件下附加可(a,a)或沒(a,a)才具有反對稱,我是這樣想
作者: jerry031181 (Jerry)   2016-04-13 12:31:00
除了ir/reflexive 其他關係都是p->q的關係所以滿足p後看q是否滿足,若已~p 則必成立
作者: ahlolha (啊囉哈)   2016-04-14 12:05:00
反對稱定義:若aRb bRa同時出現,則要a=b也就是說,當aRb沒有與bRa同時出現時,就具有反對稱性;那若同時出現,則要a=b才有反對稱性反對稱跟非對稱的差別就在前者可以接受(a.a) 後者不行
作者: a19930301 (-手起刀落o`)   2016-04-15 19:43:00
ah你第一句話我不懂,如果是aRb bRa同時出現則要a=b為何R3的(1,2),(2,3)卻沒有(1,3)?我知道反對稱跟非對稱的差別在可(a,a)與不可(a,a)第二句話我看不懂意思,aRb沒有->a與b沒有關係的意思
作者: ahlolha (啊囉哈)   2016-04-16 00:39:00
有沒有(1,3)是跟遞移性有關 不影響反對稱 因為加了(1,3)也不會有(a,b) (b, a)同時出現的情形
作者: a19930301 (-手起刀落o`)   2016-04-19 15:54:00
當(a,b)與(b,a)沒有同時出現,就具有反對稱,我突然晃然大悟,3q

Links booklink

Contact Us: admin [ a t ] ucptt.com