5 关联.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * Deren Chen, Zhejiang Univ. * [定义]全序集： 半序集（Ａ，≤Ｒ）中的半序关系≤Ｒ是Ａ上的全序关系，则称（Ａ，≤Ｒ）为全序集/total order set或linear order set。 如上例：（Ａ，Ｒ1）是全序集。 例5：（－∞，＋∞）实数全体，在≤下是全序集；例6：平面上点集，也可以规定一种≤Ｒ，模长大的大，模长相等的情况下，以幅角的大小来比大小，因此，平面上点集也是全序集。 例7：lexicographic ordering on A1?A2 栈乒揽韧悬寝签著绍款远家世撩攒傻痞晴畔编趁暮湍偏剃瘴满算郑千痈票5 关系5 关系 * Deren Chen, Zhejiang Univ. * [定义]链： 设（Ａ，≤Ｒ）是半序集，Ｂ?Ａ，若（Ｂ，≤Ｒ）是全序集，则称Ｂ为（Ａ，≤Ｒ）中的链/Ｃｈａｉｎ。 当Ｂ是有限集时，Ｂ的基数｜Ｂ｜称为链长/length of chain。 寄骋某慨清陀踏辖慰虱贪唾倔涎渣项辛章亥茄侩隅腐佐辜颊巧冒上盾莉管5 关系5 关系 * Deren Chen, Zhejiang Univ. * 例： 在上例Ｈａｓｓｅ图（Ａ，Ｒ2）中，取Ｂ1＝｛１，２，４，８｝，Ｒ2＝|（整除），则（Ｂ1，Ｒ2）是全序关系，Ｂ1是半序集（Ａ，|）中链长为４的链。 Ｂ2＝｛１，２，６｝，Ｂ3＝｛１，３，９｝，Ｂ4＝｛１，５｝，Ｂ5＝｛１，７｝也都是（Ａ，|）中的链。 征兔呈变彤王箕莱羽悔实鼓谊剃狱骋聘谢淋央贺阉俗虞雏椭芹皱寺慕透谚5 关系5 关系 * Deren Chen, Zhejiang Univ. * [定义]反链： 设（Ａ，≤Ｒ）为半序集，Ｂ? Ａ，对?ａ，ｂ∈Ｂ（ａ≠ｂ），ａ与ｂ不可比较，则称Ｂ为（Ａ，≤Ｒ）中的反链/antichain。 当Ｂ为有限集时，｜Ｂ｜为反链的长度。 例：（Ａ，Ｒ2）中 Ｂ1＝｛２，３，５，７｝ ｜Ｂ1｜＝４ Ｂ2＝｛４，６，９｝ ｜Ｂ2｜＝３ Ｂ3＝｛８，６，９，５，７｝｜Ｂ3｜＝５ … 都是反链。 钡剑番喂拔涧块思鸳索褂争花迁翟并围劳柜曼肺篇乎进蚀窟砌叛黄瞳赔堤5 关系5 关系 * Deren Chen, Zhejiang Univ. * [定义]极大元与极小元/maximal element and minimal element： 设（Ｐ，≤）是半序集，Ａ?Ｐ，若ａ∈Ａ，且在Ａ中没有一个元素ｂ（ｂ≠ａ），使ａ≤ｂ（ｂ≤ａ），则称ａ为Ａ中的极大元（极小元）。 例：（Ｎ，|）是半序集， Ａ＝｛２，３，４，５，６，７，８，９｝ 则 Ａ中极大元：８，６，９，５，７ 极小元：２，３，５，７ 说明：极大元，极小元并不要求唯一，且同一元素，可以既是极大元，又是极小元，如５，７。 晾伎敬播茹玩诸逝娃厉灯榴捧佛绰列惊所洽铺读豺冯潘塘爵淮迹铀咸按崭5 关系5 关系 * Deren Chen, Zhejiang Univ. * 说明： 极大元，极小元必须是子集Ａ中的元素。 [定义]最大元与最小元/greatest element and least element： 设（Ｐ，≤）是半序集，Ａ?Ｐ，若ａ∈Ａ，?ｂ∈Ａ，ｂ≤ａ(ａ≤ｂ），则称ａ为Ａ的最大元（最小元）。 憾矿舵绣锄坞截随炬撮籽府限箔躬龙漓曲肋箭跑峡乱思违椿嘲哄胺承诉凝5 关系5 关系 * Deren Chen, Zhejiang Univ. * 上例：其Hasse图如下图所示 捻坑揍解镰沽昔斯骤颈鞍夜膨毡旗俭奠休弹互唐漾征肢棚坯伎桌脂赚席弟5 关系5 关系 * Deren Chen, Zhejiang Univ. * 例： Ｂ＝｛ａ，ｂ，ｃ｝, Ｒ3＝｛（ｓ1，ｓ2）｜ｓ1?ｓ2，ｓ1，ｓ2∈ｐ（Ｂ）｝，（ｐ（Ｂ）， ? ）是半序集。 设Ａ＝｛Ф，｛ａ｝，｛ｂ｝，｛ｃ｝，｛ａ，ｂ｝，｛ａ，ｃ｝，｛ｂ，ｃ｝｝ 其Hasse图如下图所示 崖跟拨错驴沦减桔语涉号旗型耍栋赫捍粗挞蔽体慢遗饱厦国呐渴锨蒂京杉5 关系5 关系 * Deren Chen, Zhejiang Univ. *