第八讲：偏序集.pdfVIP

离 散 数 学 Discrete Mathematics 第八讲：偏 序 集 南京大学计算机科学与技术系 2012年3月19 日 前 情 提 要  自然数与无穷公理  有穷集与无穷集  集合的势  集合的等势关系  Cantor 定理  集合的优势关系 前情提要 2 课 堂 练 习  设ℭ = : ℝ → ℝ且为连续函数 ，则 ℭ = . （GRE® Subject Test of Computer Science） 课堂练习题 3 本讲主要内容  偏序关系  偏序集与哈斯图  偏序集中的特殊元素  特殊元素的性质  布尔代数在计算机科学中的应用 本讲主要内容 4 偏序关系(Partially Ordered) 偏序关系 5 偏序关系（续） 偏序关系 6 偏序集(poset)与哈斯图 偏序集与哈斯图 7 哈斯图（Hasse Diagrams ） c c Simplify: Omit all cycle with length 1 b Omit all edges implied by the b transitive property (path with length 1) a Omit all arrows with default a up and down direction 偏序集 例：证明 , ⊆ 为全序当且仅当 ≤ 1 偏序集 9 偏序集（续）  例：字典序(lexicographic order)与偏序集  给定两个偏序集 , ≼ 与 , ≼ ，在 × ′ ′ 上定义新关系 “≼”：, ≼ , ⇔在 中有 ≼ ′且在 中有 ≼ ′  易证， × , ≼ 是偏序集  字典序即为该模型的一个应用 偏序集