第四章 关系与映射.doc

第四章? 关系与映射 1、 解 R的关系图如图2-1所示。 ? ?4 4 1 2 3 图2-1 22. 在由个元素组成的集合上，可以有多少种不同的二元关系？若集合的元数分别为，试问从到有多少种不同的二元关系？ 解 因为一个由个元素组成的集合上,任何一个二元关系都是的子集,而中共有个元素,取0个到个元素可以组成子集,所以有个不同的关系。 而当时，这个全关系中共有个元素，取0个到个元素组成的子集共有个，因此从到共有种不同的二元关系。 设集合，上的二元关系分别为： 试用定义求，，，，，，并画出其关系图。 解 ={} ={} ={} ={} ={} 其关系图如图2-2所示。 ?4 4 1 2 3 R-S 2 1 3 S - R 2 4 3 1 1 2 3 4 3 4 2 1 2 3 4 1 图2-2 说明 1. 当用定义求复合关系时，先将左关系中每个序偶的第二元素作为中介元素，到右关系中每个序偶里找与其相同的第一元素，将这个元素去掉，用剩余两个元素组成新序偶成为复合关系中的元素。 2. 用定义求出的复合关系与逆关系，可以用关系矩阵来验证其正确性。 ??? 设集合，集合，是集合上的关系，是上的关系。 ? 试验证 证 = = = = = = 故 。 5. 图2-3所示的图形是集合上关系的关系图，试根据这些关系图分别写出对应的关系矩阵，并说明每种关系所具有的性质（自反性，对称性，反对称性，传递性）。 ? 1 1 2 3 1 2 3 2 1 3 1 3 ? ? 图2-3 解 = 具有自反性，对称性，反对称性与传递性。 = 具有对称性与传递性。 = 具有反对称性。 = 具有对称性，反对称性与传递性。 说明 本题判断关系所具有的性质，主要通过已知关系图与求出的关系矩阵进行，同时对于比较难于判定的传递性，都可以一结合定义进行判定。如果不破坏定义所要求的条件，可以认为满足定义要求，如对的判定。 5.??????? 下列关系是否具有如下性质：自反性，对称性，反对称性，传递性？ ⑴ ； ⑵ ； ⑶上的恒等关系=； ⑷上的空关系。 解 ⑴ 具有反对称性与传递性； ⑵ 具有反对称性； ⑶ 具有自反性，对称性，反对称性与传递性； ⑷上的空关系具有对称性，反对称性与传递性。 说明 本题中的前两个小题均为无限集合，第⑶小题也未给定集合的元数，这样不能得到完整的关系图与关系矩阵。但是，可以在草纸上作出部分元素的关系图与关系矩阵进行判断，同时要充分利用定义要求，便具有该种性质。第⑷小题，与上题中⑷题类型一致，只是元数大一些，结果应与上题⑷相同。 7. 设和是集合上的任意关系，试证明或用反例推翻下列论断： ⑴若和都是自反的，则也是自反的； ⑵若和都是对称的，则也是对称的； ⑶若和都是反对称的，则也是反对称的； ⑷若和都是传递的，则也是传递的。 证 ⑴论断正确。对任意，若和都是上的自反关系，则 所以，即也是自反的。 ⑵论断不正确。 例如，设，当 ，与都是对称的，但是已不是对称的，故原论断不正确。 ⑶论断不正确。 例如，设集合，当 与都是反对称的，但是，已不是反对称的，（因为），故故原论断不正确。 ⑷论断不正确。 例如，设集合，当，不是传递的，因为，而，故原论断不正确。证毕。 8. 设的关系图如图2-4所示，试画出，的关系图。 ?a a b c d c ? 图2-4 解 ，的关系图如图2-5所示 ? ?a a b c d c ? a a b c d c ? ? ?a a b c d c ? ? 图2-5 说明 ⑴对于的关系图，因为，只要在的关系图上对没有自回路的结点都添加上自回路，使可以画成的自反闭包的关系图。 ⑵ 对于的关系图，因为，只要将的关系图中所有单向弧都画成双向弧，便可以画成的对称闭包的关系图。 ⑶ 对于的关系图，当是有限集合上的关系时，画图时，如果关系图中从结点到结点有一连串带箭头的头尾相接的弧相连着，则在的关系图上添加一条直接从到的弧，便可以画出的关系图，如图中关系图上的与，与，与，与之间都应