离散数学关系.ppt

*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;*;（3）分两部分来证所要的结论。先证R∪R2∪R3∪…?t（R）

用数学归纳法来证，对任意自然数i，有Ri?t（R）

①当i=1时，由传递闭包的定义，R1=R?t（R）。

②假设当i=n时，Rn?t（R）,下证Rn+1?t（R）。

对任意的(x,y)∈Rn+1，存在c∈A，使得(x,c)∈Rn且(c,y)∈R，即存在c∈A，使得(x,c)∈t(R)且(c,y)∈t(R)，则(x,y)∈t(R)。

即Rn+1?t(R)，因此，R∪R2∪R3∪…?t(R)。

再证明t(R)?R∪R2∪R3∪…。

显然，有R?R∪R2∪R3∪…成立，下证R∪R2∪R3∪…是传递的。

(x,y)∈R∪R2∪R3∪…t(R)且(y,z)∈R∪R2∪R3∪…

?t∈A，使得(x,y)∈Rt且?s∈A，使得(y,z)∈Rs

?(x,z)∈Rt·Rs=Rt+s?R∪R2∪R3∪…

?(x,z)∈R∪R2∪R3∪…

由传递关系的定义，R∪R2∪R