[理工] 离散_二元关系 ironkkai PTT批踢踢实业坊

楼主: ironkkai (哥就是凯) 2019-10-01 15:21:47

对反身、对称、递移的定义有点模糊，
不知道这样写对不对，帮我纠正一下，
感谢各位！
https://i.imgur.com/gtwtNm0.jpg

作者: zuchang (chang) 2019-10-01 17:21:00

全部的元素是哪些也要写才能判断 1.有递移我看成你全部元素只有abcd去看的

楼主: ironkkai (哥就是凯) 2019-10-01 20:11:00

对，全部元素是abcd，抱歉忘了补充

作者: Aa841018 (andrew) 2019-10-02 08:39:00

（1）有transitie，没有irrreflexive吧？

作者: ekids1234 (∵:☆星痕╭☆) 2019-10-03 20:13:00

如果说所有题目元素集合都是 abcd，全部题目都没递移吧好久没看二元都快忘了求指证

作者: Ricestone (麦饭石) 2019-10-03 20:33:00

1,2有递移

作者: ekids1234 (∵:☆星痕╭☆) 2019-10-03 21:14:00

所以集合内只要其中两点有关系其他点都无就递移?

作者: Ricestone (麦饭石) 2019-10-03 21:18:00

递移是如果有aRb跟bRc就有aRc，你讲的意思我看不太懂前提是aRb跟bRc要同时存在，这个条件没成立就不会破坏递移的性质如果你是说那个relation是像{(a,b)}这样，那的确是有递移

作者: ekids1234 (∵:☆星痕╭☆) 2019-10-03 21:55:00

作者: Ricestone (麦饭石) 2019-10-03 22:01:00

3没有，缺(a,a)跟(b,b)

作者: ekids1234 (∵:☆星痕╭☆) 2019-10-03 22:16:00

噢，我懂了，感谢 !!

继续阅读