http://i.imgur.com/Yzd3gON.jpg
想问一下2-62的a小题,
不太懂第三列以后为什么要这写。a1,a2....,ai-1,
而且变量只到i-1是为什么不太理解。
不能直接写存在一个c使得,(a,c),(c,b)属于R,
然后R具symmetric,
=>所以t(R)具有symmetric

（a,b)属于r^i 不保证(a,b)属于r^k,k<i 你举的例子不一定会成立 例：(a,x) (x,y) (y,b) €r 但不存在（a,c) (c,b) €r

那为什么只到i-1就保证可以呢可能出现(a,a1),(a,a2),.....,(ai-2,ai-1),(ai-1,ai),(ai,b)应该也是反例吧

(a,b)€r^i 所以a至少经过i个r关系可以到b，你举的例子(a,b)不保证在r^i中。 有可能在也有可能不在举例： (a,1),(1,2),(2,b)€r =>(a,b)€r^3 但(a,b)不存在r^2中,所以在(a,b)€r^i中至少要用i个关系证，我不太了解你为什么要举I+1个关系的例子

谢谢

这个解答的例子暴力展开就知道了像(a,a_2)∈R^2 代表a走两步会到a_2那R^(i-1),a会走得到(a_i-1)所以R^i时,a就会走到b而且因为R是symmetric 所以反过来的路径当然也存在