《离散数学》课程教学资源（PPT课件讲稿）关系的性质、闭包和等价

关系的性质:自反性 口集合A上的关系R是: 口自反的 reflexive:定义为:对所有的a∈A,(a,4)∈R 口反自反的 irreflexive:定义为:对所有的a∈A,(2a)∈R 注意区分”非”与”反” 口设A={123},RAXA 口{(11,1,3),(2,2),(2,1),3,3)}是自反的 口{(1,2,2,3,、3,1)}是反自反的 口{(1,2,(22,(2,3)(3,1)}既不是自反的,也不是反自反的

关系的性质：自反性  集合A上的关系 R 是:  自反的 reflexive：定义为：对所有的aA, (a,a)R  反自反的irreflexive：定义为：对所有的aA, (a,a)R 注意区分”非”与”反”  设 A={1,2,3}, RAA  {(1,1), (1,3), (2,2), (2,1), (3,3)} 是自反的  {(1,2), (2,3), (3,1)} 是反自反的  {(1,2), (2,2), (2,3),( 3,1)} 既不是自反的，也不是反自反的 6

关系的性质:自反性 A=a,b, c) M

关系的性质：自反性 7

关系的性质:自反性 口R是A上的自反关系台IR 这里L4是集合A上的恒等关系,即:L4={(42)|a∈A} 直接根据定义证明: 口→只需证明:对任意(ab,若(42b∈LA,则(a,b∈R 口<只需证明:对任意的若a∈A则(a,2∈R

 R 是 A 上的自反关系  IAR, 这里IA是集合A上的恒等关系,即: IA={(a,a)| aA} 直接根据定义证明：   只需证明：对任意(a,b) ，若(a,b)IA, 则(a,b)R   只需证明：对任意的a, 若aA, 则(a,a)R 关系的性质：自反性

关系的性质:对称性 口集合A上的关系R是: 口对称的 symmetric:定义为:若(a,b)∈R则(h)∈R 口反对称的anti-~:定义为:若(a,b∈R且(h,∈R,则a=b 口设A={1,2,3}, RCAxA 口{(1),1,2,(1,3)2,1)3,1)3)}是对称的 口{(1,2,(2,3,(2,2)3,1)}是反对称的

关系的性质：对称性  集合A上的关系R是:  对称的 symmetric：定义为：若(a,b)R, 则 (b,a)R  反对称的anti-~：定义为：若(a,b)R且(b,a)R ，则a=b  设 A={1,2,3}, RAA  {(1,1),(1,2),(1,3),(2,1),(3,1),(3,3)} 是对称的  {(1,2),(2,3),(2,2),(3,1)} 是反对称的 9

关系的性质:对称性 ·关系R满足对称性:对任意(a,b),若(a,b)∈R,则(ba)∈R 关系R是对称的兮V<a,b>(<a,b>∈R→<b,a>∈R 注意:是对称关系。 反对称并不是对称的否定: (令:A={1,2,3},RcA4) {(1,1)(2,2)}既是对称的,也是反对称的 是对称关系,也是反对称关系

关系的性质：对称性 10