离散数学集合论部分常考××题

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

离散数学常考题型梳理

第2章关系与函数

一、题型分析

本章主要介绍关系的概念及运算、关系的性质与闭包运算、等价关系、相容关系和偏序关系三个重要关系、函数以及函数相关知识等内容。常涉及到的题型主要包括:

2-1关系的概念理解以及关系的并、交、补、差以及复合和逆关系等运算2-2关系自反和反自反、对称和反对称等性质的概念理解与判定;自反、对称和传递闭包运算。

2-3等价关系

2-4偏序关系和哈斯图

2-5 函数的概念和性质

因此,在本章学习过程中希望大家要清楚地知道:

1.有序对和笛卡尔积

(1)有序对:所谓有序对就是指一个有顺序的数组,如< x , y >,x , y的位置是确定的,且< a , b >< b , a >。

(2)笛卡尔积:把集合A,B合成集合A×B,规定:

{,|}

⨯=<>∈∈

A B x y x A y B

由于有序对< x , y >中x,y 的位置是确定的,因此A×B 的记法也是确定的,不能写成B×A 。

笛卡儿积的运算一般不满足交换律。

2.二元关系的概念和表示、几种特殊的关系和关系的运算

(1)二元关系的概念:二元关系是一个有序对集合,设集合A,B ,从集合A 到B的二元关系

R∈

x

<

y

=且

>

}

,

x

{B

|

y

A

记作xRy。

二元关系的定义域:A

Ram⊆

R

)

(。

)

R

Dom⊆

(;二元关系的值域:B 二元关系R 是一个有序对组成的集合.因此,一个二元关系是一个集合,可以用集合形式表示;反过来说,一个集合未必是一个二元关系,仅当集合是由有序对元素组成的,才能当做二元关系。

常用关系的表示法包括了集合表示法、列举法、描述法、关系矩阵法和关系图法。关系矩阵和关系图是有限集合上的二元关系的表示方法。

(2)特殊的关系:空关系、全关系和恒等关系 空关系(记作):是任何关系的子集

全关系(记作E A ):A A A b a b a E A ⨯≡∈><=},|,{

恒等全系(记作I A ):}|,{A a a a I A ∈><=

(3)关系的集合运算、复合运算和逆运算:

关系的集合运算与普通集合运算基本相同,主要为并运算、交运算、补运算、差运算和对称差运算。

关系复合运算,描述为

1212{,|,,}R R R a c b a b R b c R =∙=<><>∈<>∈存在使且

复合关系满足结合律:)()(T S R T S R ∙∙=∙∙

关系的逆运算,描述为

},|,{1R x y y x R >∈<><=-

逆关系满足:111)(---∙=∙R S S R

二元关系 R 的逆关系可以用关系矩阵和关系图表示.并且逆关系的关系矩阵就是关系R 的关系矩阵的转置,而逆关系的关系图就是把关系 R 的关系图中的有向弧的方向改变。

3.关系的性质:自反性、反自反性、对称性、反对称性、传递性

(1)自反性:对任意R x x A x >∈<∈∀,,有,则关系R 是自反的。

自反关系的矩阵R M 主对角线元素全为1;自反关系图的每个结点都有自回路。

(2)反自反性:

对R x x A x >∉<∈∀.,有,则关系R 是反自反的。

反自反关系矩阵R M 主对角线元素全为0;关系图的每个结点都没有自回路。

(3)对称性:

对R x y R y x >∈<>∈<∀,,,有,则关系R 是对称的。

对称关系的矩阵R M 是对称矩阵,即ji ij r r =;关系图中有向弧成对出现,方向相反.

(4)反对称性:

对,,x y R y x R ∀<>∈<>∈,若,必有x y =,则关系R 是反对称的;或者R x y R y x >∉<>∈<∀,,,必有,则关系R 是反对称的.

反对称关系的矩阵R M 不出现对称元素,关系图中任意两个顶点之间或者没有有向弧,或者仅有一条有向弧.

(5)传递性:

对,,,a b R b c R a c R ∀<>∈∃<>∈<>∈,若,使得,则关系R 是传递的.

在传递关系的关系图中,若有从a 到b 的弧,且有从b 到c 的弧,则必有从a 到c 的弧。

4.关系的自反闭包、传递闭包和对称闭包求解方法 (1)求解关系的自反闭包

集合法:把所有的A a ∈构成的有序对< a , a > 添加到A 上的关系R 中,就能够获得R 的自反闭包r (R )。即:A I R R r ⋃=)(,其中,I A 是A 上的恒等关系。

矩阵法:若R 的关系矩阵M R ,通过公式E M M R r +=,就能够求出R 的自反闭包r (R ) 的关系矩阵M r ,其中E 是单位矩阵。

图像法:在R 的关系图上没有自回路的结点处都添上自回路,就得到了R 的自反闭包r (R ) 的关系图。

(2)求解关系的对称闭包

集合法:若R 上的任意关系a , b ,若R a b >∉<,,则把b , a 添加到关系R 中,就能够获得R 的对称闭包s (R )。即:1)(-⋃=R R R s 。

矩阵法:若R 的关系矩阵为M R ,利用公式T R R s M M M +=,就能够得出R 的

对称闭包s (R )的关系矩阵M s ,其中R T R

M M 是的转置矩阵. 图像法:把R 的关系图图上所有单向弧都画为双向弧,就能得到R 的对称闭包s (R )的关系图.

(3)求解关系的传递闭包

集合法:先求出R 2,…,R n ,再求它们的并n R R R R ⋃⋃⋃⋃...21,就能够

获得R 的传递闭包t (R )。即:231()n

i t R R R R ==

⋃⋃⋃⋅⋅⋅。

矩阵法:若已知R 的关系矩阵M R ,通过公式n R R R t M M M M +++=...2,便

能求出R 的传递闭包t (R )的关系矩阵M t 。

图像法:若已知R 的关系图,从关系图的每个结点a i (i =1,2,…,n )出发,找出所有2步,3步,…,n 步长的路径,设路径的终点为k j j j a a a ,...,,21,从a I 依次用有向弧连接到k j j j a a a ,...,,21,当检查完所有结点后,就画出了R 的传递

闭包t (R )的关系图。

5.等价关系

等价关系概念:设R 是非空集合A 上的二元关系,如果R 是自反的、对称

相关文档
最新文档