4-2-aolm-离散数学.ppt

关系也是一种集合，只不过关系是序偶（或 n 重序元）的集合。所以，集合的各种运算也适用于关系。即若 R 和 S 都是从集合 X 到集合 Y 的二元关系，则 R∩S，R∪S，R?S，S?R， ~R（表示X?Y?R），~S（表示 X?Y?S） 仍是从集合 X 到集合 Y 的二元关系。由于这些并、交、补、相对补等运算在集合部分我们都有详细的讨论，在此不作详细的论述。下面，我们研究关系与我们后面将要提及的函数都具有的 3 种新的运算——复合与逆及关系所具有的闭包运算。 4.2.1 复合运算 定义4.12 设 R 是从集合 X 到集合 Y 的二元关系，S 是从集合 Y 到集合 Z 的二元关系，则 R?S 称为关系 R 和 S 的复合，定义为： R?S＝{＜x, z＞ | x∈X∧z∈Z∧ 至少存在一个 y∈Y 满足： ＜x,y＞∈R∧＜y,z＞∈S}。 显然，复合运算的结果是从集合 X 到集合 Z 的一个二元关系，故又可以与别的关系复合。即若 T 也是从集合 Z 到集合 W 的二元关系，则 (R?S)?T 是从集合 X 到集合 W 的一个二元关系。读者这时就会问：(R?S)?T 与 R?(S?T) 的值相等吗？下面，给出复合运算的几个性质 。 命题4.1 设 R、S、T 分别是从集合 X 到集合 Y 的二元关系、从集合 Y 到集合 Z 的二元关系、从集合 Z 到集合 W 的二元关系，那么 (R?S)?T 与 R?(S?T) 都是从集合 X 到集合 W 的二元关系且 (R?S)?T＝R?(S?T)。 证明：由于是证明两个集合相等，故我们分别证 (R?S)?T?R?(S?T)与(R?S)?T?R?(S?T) 首先，对任意 ＜x,w＞∈(R?S)?T，由复合关系的定 义可知，至少存在一个 z∈Z，使得 ＜x,z＞∈R?S 和 ＜z,w＞∈T。 再从 ＜x,z＞∈R?S 可知，至少存在一个 y∈Y， 使得 ＜x,y＞∈R和＜y,z＞∈S。 所以有 xRy、ySz、zTw。 若我们先作 S 和 T 的合成，可得 ＜y,w＞∈S?T， 又因为 ＜x,y＞∈R，所以＜x,w＞∈R?(S?T)。 故(R?S)?T?R?(S?T)。 同理，用相似的方法我们可以证明 (R?S)?T ?R?(S?T)。 综合上述可得 (R?S)?T＝R?(S?T)。 可以将 (R?S)?T 和 R?(S?T) 都简写为 R?S?T。 对一个关系，可以作它自身的复合，即 R?R，其可简写为 R2，那么 R?R?R 可简写为 R3, …, R?R?…?R (共 n 个)可简写为 Rn（n为正整数）。Rn 一般又称为 R 的 n 次幂。 命题4.2 设 R 是从集合 X 到集合 Y 的二元关系，S、T 都是从集合 Y 到集合 Z 的二元关系且满足 S?T，Q 是从集合 Z 到集合 W 的二元关系，那么： R?S?R?T S?Q?T?Q 证明：⑴ 对于任意的 ＜x,z＞∈R?S，那么至少存在着一个 y∈Y， 使得 ＜x,y＞∈R 且 ＜y,z＞∈S，根据题设又有S?T，所以 ＜x,y＞∈R 且 ＜y,z＞∈T，根据复合关系的定义有：＜x,z＞∈R?T，故 R?S ? R?T。 ⑵ 的证明类似于 ⑴。 命题4.3 设 R、S、T 均为集合 X 上的二元关系，那么： (1) R?(S∪T) ＝(R?S)∪(R?T) (2) R?(S∩T) ? (R?S)∩(R?T) (3) (S∪T)?Q ＝(S?Q)∪(T?Q) (4) (S∩T)?Q ? (S?Q)∩(T?Q) (5) (R