[理工] 离散 transitive证明

楼主: AAQ8 (不要就是要)   2018-07-26 20:22:20
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具有递移性
麻烦各位 谢谢
作者: ponponjerry (ponpon)   2018-07-26 21:34:00
我猜你连打勾的上面两句都会错意,不然应该看得懂,上面两句(a,b)∈R。R 的意思是存在x在R里面,使得先作用(a,x)之后再作用(x,b),简单来说就是先从a走到x再从x走到b,所以a走到b是经过两次R作用才有关系[如果你不懂我在说什么,可以写成矩阵形式就很清楚,总之意思就是目前R里面不知道有没有(a,b),但是有(a,x)和(x,b)]因为题目说R有递移性,我们可以知道其实(a,b)本来就在R里面,同理(b,c)也是,再来就简单了,同上述概念,先从a走到b再从b走到c,一共需要作用两次,所以(a,c)在R。R里,我们就可以知道R。R有递移性 {因为前面已经假设(a,b)跟(b,c)在R。R里面了}
楼主: AAQ8 (不要就是要)   2018-07-26 21:42:00
我懂了 谢谢你

Links booklink

Contact Us: admin [ a t ] ucptt.com