第三章二元关系.pptVIP

注： 极大元，极小元必须是子集Ａ中的元素。 [定义]最大元与最小元： 设（Ｐ，≤）是半序集，Ａ?Ｐ，若ａ∈Ａ，?ｂ∈Ａ，ｂ≤ａ(ａ≤ｂ），则称ａ为Ａ的最大元（最小元）。 例：上例 其Hasse图如下图所示 结论： 子集Ａ中是不存在最大元（最小元）的。 例： Ｂ＝｛ａ，ｂ，ｃ｝, Ｒ3＝｛（ｓ1，ｓ2）｜ｓ1?ｓ2，ｓ1，ｓ2∈ｐ（Ｂ）｝，（ｐ（Ｂ）， ? ）是半序集。 设Ａ＝｛Ф，｛ａ｝，｛ｂ｝，｛ｃ｝，｛ａ，ｂ｝，｛ａ，ｃ｝，｛ｂ，ｃ｝｝ 其Hasse图如下图所示 结论： A存在最小元Ф ，没有最大元。 注： 最大元（最小元）本身应属于子集Ａ，且与Ａ中任一元素都有关系。 [定义]上界与下界： 设（Ｐ，≤）是半序集，Ａ?Ｐ， 若ａ∈Ｐ，对 ?ｂ∈Ａ，ｂ≤ａ（ａ≤ｂ）称ａ为Ａ的上界（下界）。 注： （1）上例中，Ａ无最大元，但存在Ａ的上 界｛ａ，ｂ，ｃ｝。 （2）Ф为Ａ的最小元，也是Ａ的下界 （3）最大（小）元是Ａ的一个上（下）界 （4）上（下）界可以不唯一，也可以不存在 [定义]上确界与下确界： 设（ｐ，≤）是半序集，Ａ?Ｐ，若ａ是Ａ的一个上界（下界），而?Ａ的上界（下界）ｂ，都有ａ≤ｂ（ｂ≤ａ），则称ａ是Ａ的上确界（下确界）。 注： 上确界：最小上界 下确界：最大下界 如果存在上（下）确界，则上（下）确界一定是唯一的 例： （ｐ（Ｂ），?）中取Ａ’＝｛ Ф，｛ｂ｝，｛ｃ｝｝，则 ｛ｂ，ｃ｝与｛ａ，ｂ，ｃ｝是Ａ’的上界，｛ｂ，ｃ｝是Ａ’的上确界。 例： ｐ＝｛ａ，ｂ，ｃ，ｄ，ｅ｝ Ａ＝｛ａ，ｂ，ｃ｝，（ｐ，≤） 注： 存在上（下）界，并不一定存在上（下）确界。 结论：（1）ｄ，ｅ是Ａ的上界 （2）ｄ与ｅ无法比大小，不存在上确界 （3）Ａ的下界不存在，不存在下确界 [引理1]： 设（Ｐ，≤）是半序集，Ａ是Ｐ的非空有限子集，则Ａ一定存在极大（小）元。 证： 若｜Ａ｜＝１，则A中唯一元素既是极大元，也是极小元。 假定｜Ａ｜＝ｎ时存在极大（小）元 当｜Ａ｜＝ｎ＋１时，则将A分成由ｎ个元素组成的子集Ａ’与元素ａ。 由假定，Ａ’ 存在极大元ａM，极小元ａm， 若ａM≤ａ，则ａ为极大元，否则为ａM，因为若ａM≤ａ，且存在b≤Ａ’ ，而 ａ≤b,由传递性ａM ≤ b,与ａM为极大元（Ａ’）矛盾。 同理，若ａ≤ａm ，则a为 极小元，否则为ａm。 [引理2]： 设Ｍ是非空有限子集Ａ的极大元集合，则Ｍ是Ａ的反链。 反证： 若Ｍ不是反链，则?ａ，ｂ∈Ｍ（ａ≠ｂ），（ａ，ｂ）∈Ｒ或（ｂ，ａ）∈Ｒ，即ａ≤ｂ或ｂ≤ａ，则ａ或ｂ不是极大元，矛盾。 [定理1]： 设（Ｐ，≤）是有限的半序集，Ｐ中最长链长度为ｎ，则Ｐ可以划分为ｎ个互不相交的反链。 证：（1）ｎ＝１，Ｐ中任两个元素不相关，Ｐ本身是反链。 (2) 假设ｎ时定理成立，即当Ｐ中最长链长为ｎ时，可以划分为ｎ个互不相交的反链。 (3)当Ｐ中最长链长为ｎ＋１，由引理1，极大元一定存在，设Ｍ是极大元集合，由引理2，Ｍ是Ｐ的一个反链。 如果去掉Ｍ，（Ｐ－Ｍ，≤）也是半序集，则Ｐ－Ｍ中最长链长为ｎ，由假设，Ｐ－Ｍ可以划分为ｎ个互不相交的反链，添上Ｍ，可知Ｐ可划分为ｎ+1个互不相交的反链。 例：Ａ＝｛１，２，３，４，５，６，７，８，９｝，半序集（Ａ，６），最长链为４，Ｂ＝｛１，２，４，８｝ 可划分为４个互不相交的反链： Ａ1＝｛１｝ Ａ2＝｛２，３，５，７｝ Ａ3＝｛４，６，９｝ Ａ4＝｛８｝ 也可分为： Ｂ4＝｛８，６，９，５，７｝ Ｂ3＝｛４，３｝ Ｂ2＝｛２｝ Ｂ1＝｛１｝ 注： 反链的取法并不唯一，而最长链中的元素必然分别落在每个反链里。 说明： 若Ｐr（Ａ）＝｛Ａ1，Ａ2，…，Ａn｝，是A的一个分划，则可定义一个半序关系，当j-i=1时，取a?Ai，b?Aj,使(a,b)?R1,且Ai,, Aj中每个元素至少取到一次 并对? a?A ,(a,a)?R1 然后取R = R1*（闭包） 这样R是半序关系，并使每个Ai是反链，且最长链是Ａ1，Ａ2，…，Ａn中各取一个元素组成的。 [定理2]：每个Ａ的分划 ｐr（Ａ）＝｛Ａ1