第二章关系.docVIP

第章 关系关系是数学的概念。关系反映的是集合内部元素之间的相互联系在计算机科学的许多领域如数据结构、数据库等都有很好的应用。§2.1 关系的基本概念关系的定义 关系是现实世界中最常用的一个词汇，如“父子”关系，“同学”关系，程序间的“调用”关系。因此，深刻研究关系的概念和性质，对数学和计算机科学都有很大的好处。 为了引进关系的概念，我们先看一个简单的例子。 例1 设一个旅馆有3个房间，每个房间可住两个人，因此，这个旅馆共可住6个人。假设有6个旅客，下面看关系“某个旅客住在某个房间”，记这个关系为。 三个房间与6个旅客之间的一种关系如图1所示。 如果旅客住在房间，则记为，即表示与有关系。根据上面的图，我们可列出旅客和房间之间的所有关系 。 从上面的这些关系，我们可归纳出以下下几点： 满足的关系可看成一个序偶。 （2）满足的所有关系可看成是一个序偶的集合 ， 它是笛卡尔乘积的子集，其中，。 （3）上面的这种关系称为二元关系，因为它只涉及到两个客体之间的关系。事实上，现实世界中还存在多个客体之间的关系，即多元关系，但在所有关系中以二元关系最为重要，下面我们主要讨论二元关系。 定义1 集合到集合的一个关系是指的一个子集，集合到的关系称为集合上的关系（教材中集合上关系的定义，它是一种非常特殊关系的定义）。 注释1 1）设是集合到集合的一个关系，如果，则记为，否则记为。必须注意一个关系中的元素是序偶，如就不是关系。 2）对给定的集合到集合的一个二元关系，定义 （关系中第一客体集合）， （关系中第一客体集合）， 今后分别称它们为二元关系的定义域和值域。 3）设是集合到集合的一个关系，则由定义1， 。 这表明可看成集合上的关系。因此，今后我们主要讨论某个集合上的关系。 4） 由定义1，集合到集合的关系中有两个特殊的关系，即的子集和。前者表明中每个元素与的每个元素都有关系，而后者则表示中每个元素与的每个元素都没有关系，因此，今后分别称它们为到的全关系和空关系。 例2 正整数上的“”关系可定义为 ， 于是，。。 例3 在正整数集上定义整除关系“|”如下 ， 则。。 例4 在计算机科学中关系无处不在。如数据结构中存在多种类型的数据，其中数据之间的逻辑关系，大型软件中各个子程序之间的逻辑关系等都可用此处的关系来描述和讨论。 定义2 由集合确定的一个元关系定义为的子集。 1.2 关系的图表示和矩阵表示 情形1 设，，是到的关系。 的图表示：构造一个有向图，用点或小圆圈表示或中的元素，画一个有向边，当且仅当。 的矩阵表示：构造一个的矩阵，，当且仅当。 按照上面的定义，关系与有向图构成一一对应关系，与的矩阵也构成一一对应关系。今后把上面的图和矩阵称为到的关系的关系图和关系矩阵。 情形2 设是上的关系。 的图表示：构造一个有向图，用点或小圆圈表示中的元素，画一个有向边，当且仅当。 的矩阵表示：构造一个的矩阵，，当且仅当。 按照上面的定义，关系与有向图构成一一对应关系，与的矩阵也构成一一对应关系。今后把上面的图和矩阵称为上关系的关系图和关系矩阵。 例5 令，定义关系 ， 则该关系的关系图和关系矩阵分别为 例6 令，则关系图和关系矩阵为 注释2 1）对有限集上的关系来说，现在有三种表示关系的方法，即集合表示（定义）、关系图表示和关系矩阵表示。关系图表示具有形象直观的特点，便于进行分析；关系矩阵表示便于计算机存储和量化计算。关系的许多性质和计算在这两种表示下都能方便的进行研究，它们是今后我们表示关系的常用方法。 2）对一些特殊的关系，要注意它们的关系图和关系矩阵的特点。例如，设是上的关系，则 是空关系，当且仅当没有有向边，当且仅当。 是全关系，当且仅当任意一对有序点都有有向边，当且仅当是全1矩阵。 例7 设有个程序，它们之间的调用关系如下 ：， 给出它们的三种表示。解：是集合上的关系，它的集合表示为 。 注意：后面判断程序有无死锁和程序有无递归调用等问题就可用该关系来解决。 例6 设有集合，，问从到有多少不同的二元关系？ §2 关系的运算2.1 关系的一般运算 关系是一个集合，因此，集合的一切运算对关系也成立。即如果和都是集合到集合的二元关系，则和的并、交、补等仍是集合到的二元关系，且具有集合的运算规律。 例1设，令，，求，，， 解 , , ，。 注释1 1）设和是集合到的二元关系，问,等的定义域和值域是什么？（例，） 2）如果知道和的关系图和关系矩阵，如何求,,等的关系图和关系矩阵？ （例设,，则，其中加法为逻辑加法； ；；而和的关系图是和的