Relations等价关系.pptVIP

Deren Chen, Zhejiang Univ. 小 结 进一步的思考 练 习 小 结 进一步的思考 练 习 [定义]反链： 设（Ａ，≤Ｒ）为半序集，Ｂ? Ａ，对?ａ，ｂ∈Ｂ（ａ≠ｂ），ａ与ｂ不可比较，则称Ｂ为（Ａ，≤Ｒ）中的反链/antichain。 当Ｂ为有限集时，｜Ｂ｜为反链的长度。 例：（Ａ，Ｒ2）中 Ｂ1＝｛２，３，５，７｝ ｜Ｂ1｜＝４ Ｂ2＝｛４，６，９｝ ｜Ｂ2｜＝３ Ｂ3＝｛８，６，９，５，７｝｜Ｂ3｜＝５ … 都是反链。 [定义]极大元与极小元/maximal element and minimal element： 设（Ｐ，≤）是半序集，Ａ?Ｐ，若ａ∈Ａ，且在Ａ中没有一个元素ｂ（ｂ≠ａ），使ａ≤ｂ（ｂ≤ａ），则称ａ为Ａ中的极大元（极小元）。 例：（Ｎ，|）是半序集， Ａ＝｛２，３，４，５，６，７，８，９｝ 则 Ａ中极大元：８，６，９，５，７ 极小元：２，３，５，７ 说明：极大元，极小元并不要求唯一，且同一元素，可以既是极大元，又是极小元，如５，７。 [定义]最大元与最小元/greatest element and least element： 设（Ｐ，≤）是半序集，Ａ?Ｐ，若ａ∈Ａ，?ｂ∈Ａ，ｂ≤ａ(ａ≤ｂ），则称ａ为Ａ的最大元（最小元）。 上例：其Hasse图如下图所示 例： Ｂ＝｛ａ，ｂ，ｃ｝, Ｒ3＝｛（ｓ1，ｓ2）｜ｓ1?ｓ2，ｓ1，ｓ2∈ｐ（Ｂ）｝，（ｐ（Ｂ）， ? ）是半序集。 设Ａ＝｛Ф，｛ａ｝，｛ｂ｝，｛ｃ｝，｛ａ，ｂ｝，｛ａ，ｃ｝，｛ｂ，ｃ｝｝ 其Hasse图如下图所示 结论： A存在最小元Ф ，没有最大元。 [定义]上界与下界/upper bound and lower bound： 设（Ｐ，≤）是半序集，Ａ?Ｐ， 若ａ∈Ｐ，对 ?ｂ∈Ａ，ｂ≤ａ（ａ≤ｂ）称ａ为Ａ的上界（下界）。 说明： （1）上例中，Ａ无最大元，但存在Ａ的上 界｛ａ，ｂ，ｃ｝。 （2）Ф为Ａ的最小元，也是Ａ的下界 （3）最大（小）元是Ａ的一个上（下）界 （4）上（下）界可以不唯一，也可以不存在 [定义]上确界与下确界/least upper bound and greatest lower bound： 设（ｐ，≤）是半序集，Ａ?Ｐ，若ａ是Ａ的一个上界（下界），而?Ａ的上界（下界）ｂ，都有ａ≤ｂ（ｂ≤ａ），则称ａ是Ａ的上确界（下确界）。 说明：上确界：最小上界 下确界：最大下界 如果存在上（下）确界，则上（下）确界一定是唯一的。 例： （ｐ（Ｂ），?）中取Ａ’＝｛ Ф，｛ｂ｝，｛ｃ｝｝，则 ｛ｂ，ｃ｝与｛ａ，ｂ，ｃ｝是Ａ’的上界，｛ｂ，ｃ｝是Ａ’的上确界。 说明： 存在上（下）界，并不一定存在上（下）确界。 结论：（1）ｄ，ｅ是Ａ的上界 （2）ｄ与ｅ无法比大小，不存在上确界 （3）Ａ的下界不存在，不存在下确界 例： ｐ＝｛ａ，ｂ，ｃ，ｄ，ｅ｝ Ａ＝｛ａ，ｂ，ｃ｝，（ｐ，≤） [定理]： 设（Ｐ，≤）是半序集，Ａ是Ｐ的非空有限子集，则Ａ一定存在极大（小）元。 证： 若｜Ａ｜＝１，则A中唯一元素既是极大元，也是极小元。 假定｜Ａ｜＝ｎ时存在极大（小）元 当｜Ａ｜＝ｎ＋１时，则将A分成由ｎ个元素组成的子集Ａ’与元素ａ。 由假定，Ａ’ 存在极大元ａM，极小元ａm， 若ａM≤ａ，则ａ为极大元，否则为ａM，因为若ａM≤ａ，且存在b≤Ａ’ ，而 ａ≤b,由传递性ａM ≤ b,与ａM为极大元（Ａ’）矛盾。 同理，若ａ≤ａm ，则a为 极小元，否则为ａm。 [定理]： 设Ｍ是非空有限子集Ａ的极大元集合，则Ｍ是Ａ的反链。 例20 如图8（PP424） 例22 （{1，2，3，4，5}，|）， （{1，2，4，8，16}，|） 例23 （ｐ（A）， ? ） [定义]格/lattice： 设（Ａ，Ｒ）是半序集，如果?ａ，ｂ∈Ａ，{a,b}的上确界和下确界都存在，则称（Ａ，Ｒ）是一个格。 [定理] 每一个非空有限半序集（Ａ，Ｒ）都存在极小元素。 [定义]拓扑排序/topological sorting： 设（Ａ，Ｒ）是半序集，对A中的元素按如下规则排序： a排在b的前面（左边）当且