作者AAQ8 ()
看板Grad-ProbAsk
标题[理工] 离散 transitive证明
时间Thu Jul 26 20:22:20 2018
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://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1532607742.A.B09.html
1F：推 ponponjerry: 我猜你连打勾的上面两句都会错意，不然应该看得懂， 07/26 21:34
2F：→ ponponjerry: 上面两句(a,b)∈R。R 的意思是存在x在R里面，使得先 07/26 21:34
3F：→ ponponjerry: 作用(a,x)之後再作用(x,b)，简单来说就是先从a走到x 07/26 21:34
4F：→ ponponjerry: 再从x走到b，所以a走到b是经过两次R作用才有关系 07/26 21:34
5F：→ ponponjerry: [如果你不懂我在说什麽，可以写成矩阵形式就很清楚， 07/26 21:34
6F：→ ponponjerry: 总之意思就是目前R里面不知道有没有(a,b)，但是有(a, 07/26 21:34
7F：→ ponponjerry: x)和(x,b)] 07/26 21:34
8F：→ ponponjerry: 因为题目说R有递移性，我们可以知道其实(a,b)本来就 07/26 21:34
9F：→ ponponjerry: 在R里面，同理(b,c)也是，再来就简单了，同上述概念 07/26 21:34
10F：→ ponponjerry: ，先从a走到b再从b走到c，一共需要作用两次，所以(a, 07/26 21:34
11F：→ ponponjerry: c)在R。R里，我们就可以知道R。R有递移性 {因为前面 07/26 21:34
12F：→ ponponjerry: 已经假设(a,b)跟(b,c)在R。R里面了} 07/26 21:34
13F：→ AAQ8: 我懂了 谢谢你 07/26 21:42