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 所以反過來的路徑當然也存在