离散数学教学课件：第4章 二元关系和函数

《离散数学教学课件：第4章 二元关系和函数》由会员分享，可在线阅读，更多相关《离散数学教学课件：第4章 二元关系和函数（200页珍藏版）》请在金锄头文库上搜索。

1、第四章 二元关系和函数 第一节 集合的笛卡儿积和二元关系 内容：内容： 有序对，笛卡儿积，二元关系。 重点：重点： (1) 掌握有序对的概念， (2) 笛卡儿积及性质， (3) 二元关系的定义及三种表示法， (4) 一些特殊的二元关系。 了解：了解：有序阶笛卡儿积。 元组和一、笛卡儿积。一、笛卡儿积。 2、笛卡儿积。 1、有序对、有序对，记。特点： (1)，时，(2) 。有序。，记元组定义：定义：集合。的笛卡儿积，记作和解：解： 例例1、 ， 求。 ，解：解： (2) 笛卡儿积是集合，有关集合的运算都适合。 例例2、设。，求注意：注意： (1) 若则元集，是元集，是元集。为(3) 一般，。(1

2、) (2) (3) (4) 3、笛卡儿积运算对满足分配律。 或例例3、证明： 证明：证明： 对任意 ， 例例3、证明： 证明：证明： 对任意，故。4、笛卡儿积。 阶特别，当记为时，。如，二、二元关系。二、二元关系。 1、定义：定义：(1) 若集合则称为空集或它的元素都是有序对， 为二元关系二元关系。 若否则，记作，则记作。 (2)的关系，到的任何子集都称作从特别，当上关系上关系。 时，称作设 则的关系。 到都是从例例4、，2、 上不同关系的数目。 若则，元集，记为，的子集共有个，元集个。上不同的关系共有3、特殊的关系。 空关系。，恒等关系，全域关系对任意集合，空关系，全域关系，恒等关系。4、常

3、用关系。 (1) 设上小于等于关系： ，(2) 设上整除关系： ，(3) 幂集：上的包含关系解：解： 例例5、。，求解：解： ， 例例6、。上的包含关系，求有三种集合表示法矩阵表示法图形表示法5、上二元关系的表示法。 解：解： 关系图： 例例7、已知求，上关系 ，和关系图。的关系矩阵一般：设 ，其中 关系图表示点( 边(每个有序对对应一条有向弧)个顶点)第二节第二节 关系的运算关系的运算 内容：内容：关系的定义域，值域，逆关系，合成关系。重点：重点：(1) 掌握逆关系，合成关系的概念及求法， 一般：一般：关系的定义域，值域。 (2) 掌握关系次幂的概念及性质。 一、逆关系，合成关系。一、逆关系

4、，合成关系。 1、关系的逆。 (1) 定义：定义：关系的逆关系定义为解：解： 例例1、为上小于等于关系， 为，。，上整除关系，分别求出即上大于等于关系。 为即上的倍数关系。 为2、关系的合成 (复合) 。(1) 定义定义，关系R和S的合成关系定义为： (2)，的关系矩阵与的关系矩阵满足的转置。的关系图只需将改向即得。 的关系图中的有向弧(3) 。例例2、设 求 ，。解：解： 例例2、设 求 ，。解：解： 逻辑加法： ，。(2)满足的关系矩阵 与的关系矩阵。的关系图可将起来求得。 的关系图连接如例2中， 次幂的运算满足： ，(3) 合成关系满足结合律：。(4) 关系次幂。的定义：设的 次幂次幂规

5、定为： ，上关系，为解法一解法一 用集合表示。 例例3、 求。，解法一解法一 用集合表示。 例例3、 求。，解法二解法二 用关系图表示。 例例3、 求。，解法二解法二 用关系图表示。 解法三解法三 用矩阵表示(略)。 例例3、 求。，3、关系的逆与合成间的联系。 证明：任取 3、关系的逆与合成间的联系。 证明：任取 故。二、关系二、关系值域值域，的定义域的定义域。和域和域例例4、分别求出以下关系的定义域和值域。 (1) 解：解： 解：解： (2) 例例4、分别求出以下关系的定义域和值域。 (3) 解：解： (4) 解：解： 即偶数集 第三节第三节 关系的性质关系的性质 内容：内容：关系的自反性

6、，反自反性，对称性， 反对称性，传递性。 重点：重点：(1) 掌握自反性，反自反性，对称性， 反对称性，传递性的定义及关系矩阵和关系图的特征， (2) 掌握关系五种性质的判断和验证。 一、关系的五种性质一、关系的五种性质(自反，反自反，对称，自反，反自反，对称，反对称，传递反对称，传递)。 1、定义及关系矩阵，关系图特征由下表给出( 上关系) 为定义 关系矩阵的特点 关系图的特点 自反性 ，都有 主对角线元素全为1图中每个顶点都有环反自反性 ，都有 主对角线元素全为0图中每个顶点都无环定义 关系矩阵的特点 关系图的特点 对称性 对称矩阵 若两顶点间有 边，必是一对方向相反的边 反对称性 若两顶

7、点间有边， 必是一条有向边 若则 ，若则 ，且若则 ，且定义 关系矩阵的特点 关系图的特点 传递性 若，则且若顶点则有边，到有边，到必有边到(1) (2) 例例1、如下所示，判断各有哪些性质。上关系，解：解：是对称的，不是传递的。 既不是自反又不是反自反， 解：解：是反自反的，反对称的，传递的。 (3) (4) 例例1、如下所示，判断各有哪些性质。上关系，解：解：既是对称又是反对称的，传递的。 既不是自反又不是反自反的， 解：解：不是传递的。 是自反的，既不是对称又不是反对称的， 例例2、判断下图中的关系分别具有哪些性质。 解：解：是反自反，反对称，不是传递的。 例例2、判断下图中的关系分别具

8、有哪些性质。 解：解：既是对称又是反对称的，传递的。是空关系，是反自反，例例2、判断下图中的关系分别具有哪些性质。 解：解：既是对称又是反对称的，传递的。 是恒等关系，是自反的，例例2、判断下图中的关系分别具有哪些性质。 解：解：传递的。是全域关系，是自反的，对称的，例例2、判断下图中的关系分别具有哪些性质。 解：解：反对称的，传递的。 既不是自反也不是反自反的， 例例2、判断下图中的关系分别具有哪些性质。 解：解：又不是反对称，不是传递的。 是反自反的，既不是对称则有以下文氏图。 2、若把上所有关系看成一个全集， 则有以下文氏图。 2、若把上所有关系看成一个全集， 二、五种性质的其它判断方法

9、。二、五种性质的其它判断方法。 设上恒等关系，则 为上关系，是1、，是自反的当且仅当2、，是反自反的当且仅当3、，是对称的当且仅当4、，是反对称的当且仅当5、。是传递的当且仅当例例3、设判断是否传递的。 上关系，解：解：因是传递的。 ，所以因所以，不是传递的。 三、关系在各种运算下保持原有特性问题。三、关系在各种运算下保持原有特性问题。 证明：证明：对任意 例如：设证明上的对称关系， 为上的对称关系。 也是所以上是对称的。 在又如：设证明上反对称关系， 为上的反对称关系。 不一定是反例： 都是上的反对称关系，但的反对称关系。上不是第四节第四节 关系的闭包关系的闭包 内容：内容：关系的自反，对称

10、，传递闭包。 重点：重点：掌握关系的自反，对称，传递闭包 的概念及求法。 一、闭包的定义。一、闭包的定义。 (2)1、定义：定义：设的自反闭包(对称闭包，传递闭包) 也是上的关系， 是非空集合上关系，且满足： (1)是自反的(对称的，传递的)， (3) 对传递关系)的自反关系(对称关系，上的任何包含。，都有2、记号。 3、性质。 的自反闭包， 的对称闭包， 的传递闭包。 是自反的，是对称的 ，是传递的。二、闭包的求法。 1、利用以下公式。 (1) ，(2)，(3)。二、闭包的求法。 2、利用关系图。 (1)的关系图：在没有环的结点上加上环， (2)的关系图：把单向边改为双向边， (3)以到达的

11、终点添加一条有向边，直到添加完毕。 ，分别找出可的关系图：对每个结点没有有向边，则到，若二、闭包的求法。 3、利用关系矩阵。 注意到以上公式，如关系矩阵，即其余为0的矩阵)，其中的“+”表示矩阵对应元素的逻辑加。同样，可得( 转置)，转换成表示主对角线为1，(的为。解法一解法一 例例1、设 求。例例1、设 求。(参考第二节例3) 例例1、设 求。(参考第二节例3) 例例1、设 求。例例1、设 求。解法二解法二 先画出的关系图。 的关系图，再画出 解法二解法二例例1、设 求。解法二解法二例例1、设 求。解法二解法二例例1、设 求。解法三解法三 利用关系矩阵(略)。 例例1、设 求。第五节第五节

12、等价关系和偏序关系等价关系和偏序关系 内容：内容：等价关系，偏序关系。 重点：重点：(1) 掌握等价关系和等价类的概念， (3) 掌握偏序关系的概念， (4) 偏序集哈斯图的画法。 (2)之间的联系， 的划分上的等价关系与集合一、等价关系。一、等价关系。 1、等价关系的定义。 若则称满足自反，对称，传递，上关系上的等价关系等价关系。为若 。，记(2) 三角形的全等关系，三角形的相似 关系是等价关系。 (3) 在一个班级里“年龄相等”的关系 是等价关系。 例例1、(1) 集合是等价关系。 上的恒等关系，全域关系 例例2、 (其中验证称模3的同余关系)， 上的等价关系。为，也就是证明：证明：显然，

13、是等价关系。满足自反，对称，传递，所以例例2、的关系图如下：其中。，推广 ：整数集的同余关系是等价关系： 上模事实上：(1)故是自反的。，(2) 若则是对称的。 ，故，即推广 ：整数集的同余关系是等价关系：上模事实上：(3) 若即因所以是传递的。 ，故， ，由(1)，(2)，(3)，是等价关系。例例2、 (其中验证称模3的同余关系)， 上的等价关系。 为，也就是证明：证明：显然，是等价关系。满足自反，对称，传递，所以例例2、的关系图如下： 其中。，推广 ：整数集的同余关系是等价关系： 上模事实上：(1)故是自反的。，(2) 若则是对称的。 ，故，即推广 ：整数集的同余关系是等价关系： 上模事实

14、上：(3) 若即因所以是传递的。 ，故，由(1)，(2)，(3)，是等价关系。例例3、设 ，上的自反关系，且当是是等价关系。 ，证明时，有证明：证明：已知只要证是等价关系，是自反的，要证是对称的和传递的即可。 若有是对称的。，所以是自反的)， (及，由例例3、设 ，上的自反关系，且当是是等价关系。 ，证明时，有证明：证明：已知只要证是等价关系，是自反的，要证是对称的和传递的即可。 有若所以的对称性，由， ，所以，又是传递的。 由于是等价关系。 是自反，对称，传递的，故2、等价类。 (1) 定义：定义：设对则称简称 的等价类的等价类，记 的等价类的等价类，关于关于为，记上的等价关系，是非空集合在

15、例2中，有 (2) 性质。(证明略) 定理：定理：，上的等价关系，是非空集合()，且() 若，则() 若，则()。 在例2中， 。，的非空子集，都是，(由 或 决定)，或3、商集。 定义：定义：设以叫做即。，下的商集商集，记作在的不交的等价类为元素的集合 上的等价关系， 为非空集合例如：在例2中， 。例例4、(1) 非空集合，所以商集是等价关系， 上的恒等关系(2) 非空集合，是等价关系，上的全域关系，所以商集 其等价类是： 商集 例例5、整数集的等价关系上模二、集合的划分。二、集合的划分。 1、划分的定义。 满足：(1) (2) 是非空集合，是它的非空子集，则称而称为这个划分的块划分的块。

16、的一个划分划分， 为例例6、设判断下列子集族是否，的划分。(5) 是的划分，(4) 是的划分，(3) 不是的划分，(1) 不是的划分，(2) 不是的划分，2、集合的一个等价关系。 的一个划分确定上的一个划分若定义同一块中的元素有关系可以证明称为划分则这个划分的块就是等价关系的等价类， 划分就是商集。 分成若干划分块， 把，上的一个等价关系， 是诱导的等价关系，商集： 如例6中的(4)的划分确定等价关系2、集合的一个等价关系。 的一个划分确定如下： 上的一个3、的一个划分。上的一个等价关系可确定若即商集诱导的划分。的一个划分，称为由，就是上的等价关系，则所有等价类的集合， 为即如例2中由诱导的划

17、分，。由以上可知，集合集合上的等价关系与的划分是一一对应的。例例7、设求出，上的所有的等价关系。解：解：只需列出并找出由它们确定的等价关系。 上所有的划分，例例7、设求出解：解：的等价关系为上的所有的等价关系。，的不同划分只有以上五种，设对应于划分，则有 例例7、设求出解：解：的等价关系为上的所有的等价关系。，的不同划分只有以上五种，设对应于划分，则有 则由此等价关系诱导的划分中 (1) 共有几个划分块？(2) 求其中最大的块。 (3) 求其中最小的块。例例8、设：上定义等价关系，在解：解：依题意得： 差为0的:差为1的： 差为2的： 即第一元素与第二元素之差相等的有序对互相等价，将中的元素按

18、差划分。差为的：差为的：解：解：(1) 共有5个划分块。 (2) 最大的划分块为： (3) 最小的划分块为：和三、偏序关系。三、偏序关系。 1、偏序关系的定义。 若则称记作满足自反，反对称，传递， 上关系上的偏序关系偏序关系，简称偏序偏序， 为。，记，若集合记作。一起叫做偏序集偏序集，上的偏序关系与例例1、偏序关系的常见例子。有理数集上的小于等于关系正整数集上的整除关系集合上的恒等关系幂集上的包含关系2、偏序集中的两元素可比，盖住的定义。 设，为偏序集，若则称成立，或是可比可比的，若且不存在则称)，且 ( ， 使得。盖住盖住1与任何数都可比，2与3不可比，2盖住1，4盖住2，例例2、为偏序集。

19、 为整除关系， ，但4不盖住1( )3、全序集。 是全序集，不是全序集。 设都可比，则称 为全序集全序集。上的全序关系全序关系，且称 为和，为偏序集，若例如：，步骤如下： 四、偏序关系的哈斯图四、偏序关系的哈斯图 。 1、哈斯图。(1)若中的每个元素用结点表示， 结点的下方。排在，结点(2) 若之间连一条线。 ，则在盖住(1) 解：解：哈斯图： 例例3、画出分别为的哈斯图，其中(2) 解：解：哈斯图： 例例3、画出分别为的哈斯图，其中解：解：哈斯图： (1) 例例4、画出分别为 的哈斯图，其中(2) 解：解：例例4、画出分别为 的哈斯图，其中(2) 解：解：哈斯图： 例例4、画出分别为 的哈斯

20、图，其中其哈斯图为一直线 (右图)： 例例5、画出偏序集，的哈斯图。解：解：因(任两元素均可比)为全序集解：解：例例6、已知偏序集哈斯图(右图)，求集合的偏序关系的。五、偏序集中极小元，极大元，最小元，五、偏序集中极小元，极大元，最小元，最大元，上界，下界，上确界，下确界。最大元，上界，下界，上确界，下确界。 1、极大、小元，最大、小元。 定义：设，为偏序集，(1) 若则称的最小元最小元。 是成立， ，使得(2) 若则称的最大元最大元。是成立， ，使得五、偏序集中极小元，极大元，最小元，五、偏序集中极小元，极大元，最小元，最大元，上界，下界，上确界，下确界。最大元，上界，下界，上确界，下确界。

21、 1、极大、小元，最大、小元。 定义：设，为偏序集，(3) 若则称成立，使得的极小元极小元。是(4) 若则称的极大元极大元。是成立，使得五、偏序集中极小元，极大元，最小元，五、偏序集中极小元，极大元，最小元，最大元，上界，下界，上确界，下确界。最大元，上界，下界，上确界，下确界。 1、极大、小元，最大、小元。 由定义知： 最小元最大元不一定存在,若存在必唯一中其它元，小于中其它元，大于五、偏序集中极小元，极大元，最小元，五、偏序集中极小元，极大元，最小元，最大元，上界，下界，上确界，下确界。最大元，上界，下界，上确界，下确界。 1、极大、小元，最大、小元。 由定义知： 中没有比它小的元极小元极

22、大元一定存在，可能多个中没有比它大的元，五、偏序集中极小元，极大元，最小元，五、偏序集中极小元，极大元，最小元，最大元，上界，下界，上确界，下确界。最大元，上界，下界，上确界，下确界。 2、上、下界，上、下确界。 定义：设，为偏序集，(1) 若存在则称成立， ，使得的上界上界。为(2) 若存在则称成立， ，使得的下界下界。 为五、偏序集中极小元，极大元，最小元，五、偏序集中极小元，极大元，最小元，最大元，上界，下界，上确界，下确界。最大元，上界，下界，上确界，下确界。 2、上、下界，上、下确界。 (3) 令为定义：设，为偏序集，的上确界上确界(最小上界最小上界)。中最小元 ，称(4) 令为 的

23、下确界下确界(最大下界最大下界)。 中最大元 ，称五、偏序集中极小元，极大元，最小元，五、偏序集中极小元，极大元，最小元，最大元，上界，下界，上确界，下确界。最大元，上界，下界，上确界，下确界。 2、上、下界，上、下确界。 由定义知： 上界中其它元下界中其它元不一定存在，若存在不一定只有一个，小于，大于五、偏序集中极小元，极大元，最小元，五、偏序集中极小元，极大元，最小元，最大元，上界，下界，上确界，下确界。最大元，上界，下界，上确界，下确界。 2、上、下界，上、下确界。 由定义知： 上确界最小的上界下确界最大的下界不一定存在，若存在必唯一(1) 例例7、求上、下界，上、下确界。，偏序集的最大

24、、小元，极大、小元，解：解： 的最大元：无，最小元：无， 极大元： ，极小元：上界：，下界：上确界：。，下确界：(2) 例例7、求上、下界，上、下确界。，偏序集的最大、小元，极大、小元，解：解：，最小元：无， 的最大元：，极大元：，极小元：上界：， ，下界：上确界：。，下确界：(2) 其中有多少种等价关系？ 例例8、设，问： (1)上可以定义多少种不同的二元关系？ 解：解：因的不同子集共个。，也就是说上可以定义16种不同的二元关系。 解：解：因即，所以只有2种等价关系。 和，不同的划分只有两种，(3) 其中有多少种偏序关系？ 所以，有3种偏序关系。 例例8、设，问：解：解：因只有以下三种：只有

25、2个元素，不同的哈斯图不满足自反性，所以既不是等价关系， 又不是偏序关系。 例例8、设，问：(4)是偏序关系吗？ 是等价关系吗？ 和空关系解：解：所以满足自反，对称和反对称，传递，既是等价关系，又是偏序关系。 第六节第六节 函数的定义和性质函数的定义和性质 内容：内容：函数的定义，性质。 重点：重点：掌握函数的定义，单射、满射、 双射的概念及判定。 一、函数的定义。一、函数的定义。 而不是函数。1、定义：定义：都存在唯一的称，为二元关系，若对任意的成立，则 ，使得为函数函数。 例如：是函数， 3、有关集合和关系的运算对函数都适合。 2、记号：如，若。，记4、函数的定义域，值域。设(1)则称满足

26、：是集合，若函数，(2)。的函数，记作到是从符号的全体构成的集合。 的函数到表示从例如：函数到，是从实数集，的函数，即函数 到，是从正实数集 ，。的函数，即例例1、。，求，解：解：题目要求从定义，有的所有函数，依函数到例例1、。，求，解：解：题目要求从定义，有的所有函数，依函数到解：解：故例例1、。，求，一般，若则。不全为0)，(，二、函数的性质。二、函数的性质。 1、满射：满射：若(或到上的) 。 是满射满射的，则称2、单射：单射：若，则(或一一的)。 ，则 ，称是单射单射的 3、双射：双射：若是双射双射的 (或一一到上的)。 既是满射，又是单射，则称 也不是满射。例例2、判断以下若是函数，

27、再判断是否单射，满射，双射的； 若不是，请说明理由。 的函数， 到的是否从(1)，解：解：的函数，到是从但不是单射，例例2、判断以下若是函数，再判断是否单射，满射，双射的； 若不是，请说明理由。 的函数， 到的是否从解：解：的函数， 到不不是从(1)，例例2、判断以下若是函数，再判断是否单射，满射，双射的； 若不是，请说明理由。 的函数， 到的是否从(1)，解：解：的函数，到不不是从但它不是单射， 也不是满射。(2)(实数集) 解：解：的函数，到是从解：解：的双射函数。到是从解：解：的函数。到不不是从且是单射的， 但不是满射的 。(3)(正整数集)解：解：的函数，到是从解：解：的函数。到不不是

28、从是满射的。 不是单射的，(3)(正整数集)解：解：的函数，到是从三、常用的一些函数。三、常用的一些函数。 1、常函数常函数，( 都有 ，为常数)，2、恒等函数恒等函数，都有 ，3、特征函数特征函数，其中，。三、常用的一些函数。三、常用的一些函数。 4、自然映射自然映射，设是从，。，的函数到商集上的一个等价关系，是第七节第七节 函数的复合和反函数函数的复合和反函数 内容：内容：复合函数，反函数。 一般：一般：基本掌握复合函数，反函数的定义及求法。一、复合函数。一、复合函数。 1、定义：定义：设函数则，称为的复合函数复合函数。 ，对任意，例例1、设，求，其中。，解：解：因为的复合函数也是从的函数

29、 。 到的函数，所以所求 到均为从解：解：例例1、设，求，其中。，解：解：例例1、设，求，其中。，解：解：例例1、设，求，其中。，解：解：例例1、设，求，其中。，2、性质。 因此， 设，(1) 若也是满射的。 是满射的，则证：，使满射，故，由于对这个，使满射，故，又由于所以是满射。 2、性质。设，(2) 若也是单射的。是单射的，则证：故，且单射，由于，若又由即，的单射，有，所以是单射的。2、性质。 二、反函数。二、反函数。 设 ，(3) 若也是双射的。是双射的，则证：综合(1)、(2)，即得是双射的。1、定义：定义：设函数也是双射的，称反函数反函数。的是是双射的，则 例例2、判断以下函数是否存

30、在反函数，若存在， 请写出反函数，否则，请说明理由。(1) ，解：解：不存在反函数，因为。不是单射，(2) ，解：解：是双射的，存在反函数。，例例2、判断以下函数是否存在反函数，若存在， 请写出反函数，否则，请说明理由。(3) ，解：解：是双射的，存在反函数。，第四章第四章 小结和例题小结和例题 一、集合的笛卡儿积与二元关系。一、集合的笛卡儿积与二元关系。 1、基本概念。 2、应用。(1) 求给定集合的笛卡儿乘积。 (2) 求给定集合上的小于等于关系，整除关系，及幂集上的包含关系。 有序对，笛卡儿积；关系，集合集合关系矩阵，关系图。 的关系，到上的关系；空关系，全域关系，恒等关系；一、集合的笛

31、卡儿积与二元关系。一、集合的笛卡儿积与二元关系。 1、基本概念。 2、应用。(3) 关系三种表示法间的互相转换。有序对，笛卡儿积；关系，集合集合关系矩阵，关系图。 的关系，到上的关系；空关系，全域关系，恒等关系；二、关系的运算。二、关系的运算。1、基本概念。 关系的定义域，值域；逆关系，合成关系； 关系的幂运算。 2、运用。(1) 求给定关系的逆关系，合成关系。(3) 求给定关系的定义域，值域。 (2) 求给定关系的次幂。三、关系的性质。三、关系的性质。1、基本概念。 关系的自反性，反自反性，对称性，反对称性，传递性。2、运用。(1) 关系的五种性质及关系图，关系矩阵特征。(2) 五种性质的判

32、断和验证。 四、关系的闭包。四、关系的闭包。1、基本概念。 自反闭包，对称闭包，传递闭包。 2、运用。求给定关系的自反，对称，传递闭包。五、等价关系和偏序关系。五、等价关系和偏序关系。1、基本概念。 2、运用。(1) 等价关系，偏序关系的判断。等价关系，等价类，商集，划分；偏序关系，偏序集，哈斯图；极大元，极小元，最大元，最小元，上界，下界，上确界，下确界。 (2) 求给定等价关系决定的划分；求给定划分决定的等价关系。五、等价关系和偏序关系。五、等价关系和偏序关系。1、基本概念。 2、运用。(3) 画出给定偏序关系的哈斯图。等价关系，等价类，商集，划分；偏序关系，偏序集，哈斯图；极大元，极小元

33、，最大元，最小元，上界，下界，上确界，下确界。 (4) 求极大、小元，最大、小元，上、下界，上、下确界。六、函数的定义和性质。六、函数的定义和性质。1、基本概念。 函数；单射，满射，双射。2、运用。(1) 判断一个关系是否为函数。 (2) 判断一个函数是否单射，满射，双射。 七、函数的复合和反函数。七、函数的复合和反函数。1、基本概念。 复合函数，反函数。2、运用。(1) 求复合函数和反函数。 (2) 验证函数的单射，满射，双射性，经过复合运算后仍保持。 解：解：例例1、设上的二元关系，的倍数是是素数 (1) 写出的元素。解：解：例例1、设上的二元关系，的倍数是是素数 (1) 写出的元素。解：

34、解：例例1、设上的二元关系，的倍数是是素数 (1) 写出的元素。是自反，反对称，传递的。 是反自反，反对称的。例例1、设上的二元关系，的倍数是是素数 (2)具有哪些性质。解：解：是反自反，反对称的。解：解：例例1、设上的二元关系，的倍数是是素数 (3) 求，解：解：解：解：解：解：例例2、举出使它有如下的性质：的例子，上的关系(1)既是对称的，又是反对称的。(2)既不是对称的，也不是反对称的。 (3)是传递的。(1) (2) (3) (4) 例例3、定义集合若且令求以下集合： ，上的二元关系，对是(5) 例例3、定义集合若且令求以下集合： ，上的二元关系，对是解：解：关系图：关系矩阵：例例4、

35、设上关系，(1) 画出的关系矩阵。的关系图，并写出解：解：例例4、设上关系，(2) 求。，解：解：例例4、设上关系，(3) 求。，解：解：图(1)表示的关系满足自反，对称，传递， 是等价关系。 例例5、令它们是否是等价关系。 上的两个关系如下图，解：解：图(2)表示的关系满足自反，对称， 但不满足传递，不是等价关系。例例5、令它们是否是等价关系。 上的两个关系如下图，例例6、设若对任意，证明上的一个传递关系和对称关系， 是集合，使得，都存在一个是一个等价关系。 ，证明：证明：对任意使，存在因为，是对称的，所以又因为，是传递的，所以由于是自反的，的任意性，所以所以上等价关系。是例例7、设集合证明

36、并画出其哈斯图。”是全序关系， 上的包含关系“，证明：证明：显然是偏序集， 又因为：，所以，或都有中任何的所以“ ”是全序关系。 哈斯图为：例例7、设集合证明并画出其哈斯图。”是全序关系， 上的包含关系“，解：解：(1) 例例8、如下图是两个偏序集分别写出集合的哈斯图，的表达式。和偏序关系解：解：(2) 例例8、如下图是两个偏序集分别写出集合的哈斯图，的表达式。和偏序关系无最小元，例例9、设集合如下图，求子集极大元，极小元，上界，下界，上确界，下确界。 上的偏序关系 的最大元，最小元，解：解：，的最大元极大元，极小元为，无下确界。无下界，例例9、设集合如下图，求子集极大元，极小元，上界，下界，

37、上确界，下确界。 上的偏序关系 的最大元，最小元，解：解：，和的上界为上确界为，不是函数， ，例例10、设是函数吗？证明或给予反驳。 ，则是函数，且解：解：都不一定是函数。设。，是从的函数， 到也不是函数。 ，例例10、设是函数吗？证明或给予反驳。 ，则是函数，且解：解：都不一定是函数。设。，是从的函数， 到例例11、说明以下函数是否单射、满射、双射。 若是双射，给出逆函数。 (1) 解：解：是双射， 逆函数解：解：是双射， 逆函数(2) (偶数集)， 例例11、说明以下函数是否单射、满射、双射。 若是双射，给出逆函数。 (3) 解：解：单射。解：解：满射。(4) 例例12、设证明：是两个函数，(1) 若是满射，是满射，则证明：证明：对任意是满射， ，由所以存在即，使得，所以存在，使得由于是满射。 的任意性，所以(2) 若是单射， 是单射，则证明：证明：对任意，由于即，是单射，所以因，是函数，所以所以是单射。例例12、设证明：是两个函数，(3) 若是满射。是单射，是双射，则证明：证明：若是单射和满射。是双射，即由于是满射；是满射，则由(1)知，由于是单射。是单射，则由(2)知，例例12、设证明：是两个函数，