第4章 二元关系和函数[离散数学离散数学第四版)清华出版社].pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * [定义] 全序： Ａ上偏序关系Ｒ，如果?x，y∈Ａ，都有x≤y，或y≤x，则称Ｒ为Ａ上的全序关系。 注： (1) 全序的含义：Ａ中每两个元素均能比大小，即任何两个元素都相关。 (2) 偏序则是部分有序。 (3) 上例中，Ｒ1是全序，Ｒ2，Ｒ3都是偏序。 如：Ｒ2中，｛１，２，６｝，｛１，２，４，８｝，｛１，３，９｝都排成了序，但２与３，５与７，７与９…，在整除的意义上来说无法排出大小来。 等价关系和偏序关系 * [定义] 偏序集： 集合Ａ及Ａ上的一个偏序关系Ｒ组成的二元组Ａ，Ｒ，称为偏序集，记为Ａ，≤Ｒ或Ａ，≤。 注： 同一集合上的两个不同的偏序关系，所构成的是两个偏序集， 如： Ｒ1和Ｒ2都定义在Ａ＝｛１，２，３，４，５，６，７，８，９｝上，但Ａ，Ｒ1与Ａ，Ｒ2显然不是一样的偏序集。 等价关系和偏序关系 * [定义] 全序集： 偏序集Ａ，≤Ｒ中的偏序关系≤Ｒ是Ａ上的全序，则此Ａ，≤Ｒ称为全序集。 Ａ，Ｒ1是全序集。显然，全序集是偏序集的特例。又如：（－∞，＋∞）实数全体，在≤下是全序集；Ｎ，≤当然也是全序集。 等价关系和偏序关系 * [定义] 极大元与极小元： 设A，≤是偏序集，B?A，若y∈B，且在B中找不到一个元素x（x≠y），使y≤x (x≤y)，则称y为B中的极大元（极小元）。 例：Ｎ，|是偏序集， B＝｛２，３，４，５，６，７，８，９｝ 则 B中极大元：８，６，９，５，７ 极小元：２，３，５，７ 注： 极大元，极小元并不要求唯一，且同一元素，可以既是极大元，又是极小元，如５，７。 等价关系和偏序关系 * 注： 极大元，极小元必须是子集B中的元素。 [定义] 最大元与最小元： 设A，≤是偏序集，B?A，若y∈B，?x∈B，x≤y (y≤x)，则称y为B的最大元（最小元）。 例：在上例中，Hasse图如下所示： 等价关系和偏序关系 * 结论： 子集B中是不存在最大元（最小元）的。 等价关系和偏序关系 * 例： A＝｛ａ，ｂ，ｃ｝, Ｒ3＝｛s1，s2｜s1 ? s2，s1，s2∈P(A)｝， P(A)， ? 是偏序集。 设B＝｛?，｛ａ｝，｛ｂ｝，｛ｃ｝，｛ａ，ｂ｝，｛ａ，ｃ｝，｛ｂ，ｃ｝｝ 其Hasse图如下所示： 等价关系和偏序关系 * 结论： B存在最小元? ，没有最大元。 注： 最大元（最小元）本身应属于子集B，且与B中任一元素都有关系。 等价关系和偏序关系 * [定义] 上界与下界： 设A，≤是偏序集，B?A， 若y∈A，对 ?x∈B，x≤y (y≤x)称y为B的上界（下界）。 注： (1) 上例中，B无最大元，但存在B的上 界｛ａ，ｂ，ｃ｝。 (2) ?为B的最小元，也是B的下界。 (3) 最大（小）元是B的一个上（下）界。 (4) 上（下）界可以不唯一，也可以不存在。 等价关系和偏序关系 * [定义] 上确界与下确界： 设A，≤是偏序集，B?A，若y是B的一个上界（下界），而对于任意的B的上界（下界）x，都有y≤x（x≤y），则称y是B的上确界（下确界）。 注：上确界：最小上界 下确界：最大下界 如果存在上（下）确界，则上（下）确界一定是唯一的。 等价关系和偏序关系 * 例： P(A)，?中取B’={?，{ｂ}，{ｃ}}，则 {ｂ，ｃ}与{ａ，ｂ，ｃ}是B’的上界，{ｂ，ｃ}是B’的上确界。 注： 存在上（下）界，并不一定存在上（下）确界。 等价关系和偏序关系 * 结论：(1)ｄ，ｅ是Ａ的上界。 (2)ｄ与ｅ无法比大小，不存在上确界。 (3)Ａ的下界不存在，不存在下确界。 例：ｐ＝｛ａ，ｂ，ｃ，ｄ，ｅ｝ Ａ＝｛ａ，ｂ，ｃ｝，ｐ，≤ 等价关系和偏序关系 * 设F为二元关系，若?x?domF都存在唯一的y?ranF使xFy成立，则称F为函数。 设A,B为集合，若f 为函数，且domf =A，ranf ?B，则称f 为从A到B的函数，记作f :A→B. DEFINITION 1. 二元