再证R传递:任取 a,b,cA 设<a,b>R,
<b,c>R。(要证出<a,c>R ) 由R是对称的,得<b,a>R ,由 <b,a>R且<b,c>R,根据已知条件得 <a,c>R , 所以R是传递的。
(4). R是A上关系, 设 S={<a,b>|c∈A∧<a,c>∈R∧<c,b>∈R} 求证若R是等价关系,则S也是等价关系。 证明:a)证S自反:任取a∈A,∵R是自反的,∴有 <a,a>∈R,由S定义得<a,a>∈S, (S定义中c就是a)∴ S自反. b)证S对称: 任取a,b∈A,且有<a,b>∈S,由S定义得 c∈A∧<a,c>∈R∧<c,b>∈R, 由R对称得 c∈A∧<b,c>∈R∧<c,a>∈R,由S定义得<b,a>∈S,S对称. c)证S传递:任取a,b,c∈A,有<a,b>∈S,<b,c>∈S,由S定义 得 (d∈A∧<a,d>∈R∧<d,b>∈R)∧(e∈A∧<b,e>∈R∧ <e,c>∈R) , 由于R传递,所以有<a,b>∈R,<b,c>∈R, 由S定义得<a,c>∈S, 所以S传递. 所以S是A上等价关系. (6). R是A上对称和传递的关系,证明如果a∈A,b∈A, 使得<a,b>∈R,则R是一个等价关系. 证明:任取a∈A,有已知得b∈A,使得<a,b>∈R,由R对称 得<b,a>∈R,又由R传递得, <a,a>∈R,R自反, ∴R是等价 关系.