[理工] 離散 transitive證明

看板Grad-ProbAsk作者時間7年前 (2018/07/26 20:22), 編輯推噓1(1推 0噓 12→)
留言13則, 2人參與, 7年前最新討論串1/1
https://i.imgur.com/VXWLOUF.jpg
https://i.imgur.com/YTTXdua.jpg
範例9的最後兩行 不太懂為什麼(a,b)屬於R且(b,c)屬於R 就可以得到(a,c)屬於R^2 因此R^2具有遞移性 麻煩各位 謝謝 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 39.10.6.245 ※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1532607742.A.B09.html
推
07/26 21:34, 7年前 , 1F
我猜你連打勾的上面兩句都會錯意，不然應該看得懂，
07/26 21:34, 1F
→
07/26 21:34, 7年前 , 2F
上面兩句(a,b)∈R。R 的意思是存在x在R裡面，使得先
07/26 21:34, 2F
→
07/26 21:34, 7年前 , 3F
作用(a,x)之後再作用(x,b)，簡單來說就是先從a走到x
07/26 21:34, 3F
→
07/26 21:34, 7年前 , 4F
再從x走到b，所以a走到b是經過兩次R作用才有關係
07/26 21:34, 4F
→
07/26 21:34, 7年前 , 5F
[如果你不懂我在說什麼，可以寫成矩陣形式就很清楚，
07/26 21:34, 5F
→
07/26 21:34, 7年前 , 6F
總之意思就是目前R裡面不知道有沒有(a,b)，但是有(a,
07/26 21:34, 6F
→
07/26 21:34, 7年前 , 7F
x)和(x,b)]
07/26 21:34, 7F
→
07/26 21:34, 7年前 , 8F
因為題目說R有遞移性，我們可以知道其實(a,b)本來就
07/26 21:34, 8F
→
07/26 21:34, 7年前 , 9F
在R裡面，同理(b,c)也是，再來就簡單了，同上述概念
07/26 21:34, 9F
→
07/26 21:34, 7年前 , 10F
，先從a走到b再從b走到c，一共需要作用兩次，所以(a,
07/26 21:34, 10F
→
07/26 21:34, 7年前 , 11F
c)在R。R裡，我們就可以知道R。R有遞移性 {因為前面
07/26 21:34, 11F
→
07/26 21:34, 7年前 , 12F
已經假設(a,b)跟(b,c)在R。R裡面了}
07/26 21:34, 12F
→
07/26 21:42, 7年前 , 13F
我懂了 謝謝你
07/26 21:42, 13F
‣ 更多 AAQ8 的文章
文章代碼(AID): #1RMRp-i9 (Grad-ProbAsk)