introduction to priestley duality
play

Introduction to Priestley duality 1 / 24 Outline What is a - PowerPoint PPT Presentation

Introduction to Priestley duality 1 / 24 Outline What is a distributive lattice? Priestley duality for finite distributive lattices Using the duality: an example Priestley duality for infinite distributive lattices 2 / 24 Outline What is a


  1. Introduction to Priestley duality 1 / 24

  2. Outline What is a distributive lattice? Priestley duality for finite distributive lattices Using the duality: an example Priestley duality for infinite distributive lattices 2 / 24

  3. Outline What is a distributive lattice? Priestley duality for finite distributive lattices Using the duality: an example Priestley duality for infinite distributive lattices 3 / 24

  4. Three classes of algebras ( ∗ , − 1 , e ) 1. Groups Defining equations Representation ( x ∗ y ) ∗ z = x ∗ ( y ∗ z ) A collection of permutations of a set, closed under x ∗ e = x ◮ composition ( ∗ ), x ∗ x − 1 = e ◮ inverse ( − 1 ), ◮ identity ( e ). 4 / 24

  5. Three classes of algebras 2. Semigroups ( ∗ ) Defining equations Representation ( x ∗ y ) ∗ z = x ∗ ( y ∗ z ) A collection of self-maps of a set, closed under ◮ composition ( ∗ ). 5 / 24

  6. Three classes of algebras 3. Distributive lattices ( ∨ , ∧ ) Defining equations Representation ( x ∨ y ) ∨ z = x ∨ ( y ∨ z ) A collection of subsets of a set, closed under ( x ∧ y ) ∧ z = x ∧ ( y ∧ z ) ◮ union ( ∨ ), x ∨ y = y ∨ x ◮ intersection ( ∧ ). x ∧ y = y ∧ x x ∨ x = x x ∧ x = x x ∨ ( x ∧ y ) = x x ∧ ( x ∨ y ) = x x ∧ ( y ∨ z ) = ( x ∧ y ) ∨ ( x ∧ z ) x ∨ ( y ∧ z ) = ( x ∨ y ) ∧ ( x ∨ z ) 6 / 24

  7. Concrete examples of distributive lattices 1. All subsets of a set S : � ℘ ( S ); ∪ , ∩� . 2. Finite and cofinite subsets of N : � ℘ FC ( N ); ∪ , ∩� . 3. Open subsets of a topological space X : � O ( X ); ∪ , ∩� . 7 / 24

  8. More examples of distributive lattices 4. �{ T , F } ; or , and � . 5. � N ∪ { 0 } ; lcm , gcd � . (Represent a number as its set of prime-power divisors.) 6. Subgroups of a cyclic group G , � Sub ( G ); ∨ , ∩� , where H ∨ K := � H ∪ K � . 8 / 24

  9. Drawing distributive lattices Any distributive lattice � L ; ∨ , ∧� has a natural order corresponding to set inclusion: a � b ⇐ ⇒ a ∨ b = b . { 1 , 2 , 3 } { 1 , 2 } { 1 , 3 } { 2 , 3 } { 1 } { 2 } { 3 } ∅ ∨ union ∧ intersection � inclusion 9 / 24

  10. Drawing distributive lattices Any distributive lattice � L ; ∨ , ∧� has a natural order corresponding to set inclusion: a � b ⇐ ⇒ a ∨ b = b . { 1 , 2 , 3 } 12 { 1 , 2 } { 1 , 3 } { 2 , 3 } 4 6 2 3 { 1 } { 2 } { 3 } 1 ∅ ∨ union ∨ lcm ∧ intersection ∧ gcd � inclusion � division 9 / 24

  11. Drawing distributive lattices Any distributive lattice � L ; ∨ , ∧� has a natural order corresponding to set inclusion: a � b ⇐ ⇒ a ∨ b = b . { 1 , 2 , 3 } 12 { 1 , 2 } { 1 , 3 } { 2 , 3 } 3 4 6 2 3 2 { 1 } { 2 } { 3 } 1 1 ∅ ∨ union ∨ lcm ∨ max ∧ intersection ∧ gcd ∧ min � inclusion � division � usual 9 / 24

  12. More pictures of distributive lattices 2 4 10 / 24

  13. More pictures of distributive lattices 2 4 Note: Every distributive lattice embeds into 2 S , for some set S . 10 / 24

  14. Outline What is a distributive lattice? Priestley duality for finite distributive lattices Using the duality: an example Priestley duality for infinite distributive lattices 11 / 24

  15. Representing finite distributive lattices Original representation A collection of subsets of a set, closed under union and intersection. New representation The collection of all down-sets of an ordered set, under union and intersection. 12 / 24

  16. More examples Distributive lattice Ordered set 13 / 24

  17. Duality for finite distributive lattices The classes of finite distributive lattices and finite ordered sets are dually equivalent. 14 / 24

  18. Duality for finite distributive lattices The classes of finite distributive lattices and finite ordered sets are dually equivalent. surjections ← → embeddings embeddings ← → surjections products ← → disjoint unions 14 / 24

  19. Outline What is a distributive lattice? Priestley duality for finite distributive lattices Using the duality: an example Priestley duality for infinite distributive lattices 15 / 24

  20. Dilworth’s Theorem for Ordered Sets Let P be a finite ordered set. The minimum number of chains needed to cover P is equal to the width of P (i.e. the maximum size of an anti-chain in P ). 16 / 24

  21. Dilworth’s Theorem for Ordered Sets Let P be a finite ordered set. The minimum number of chains needed to cover P is equal to the width of P (i.e. the maximum size of an anti-chain in P ). 16 / 24

  22. Aside: Hall’s Marriage Theorem Let P be an ordered set of height 1 . B := Max ( P ) P G := Min ( P ) Assume that | S | � |↑ S \ S | , for each S ⊆ G. Then P can be covered by | B | chains (i.e., each girl can be paired with a boy she likes). 17 / 24

  23. Aside: Hall’s Marriage Theorem Let P be an ordered set of height 1 . B := Max ( P ) P G := Min ( P ) Assume that | S | � |↑ S \ S | , for each S ⊆ G. Then P can be covered by | B | chains (i.e., each girl can be paired with a boy she likes). Proof. Using Dilworth’s Theorem, we just need to show that P has width | B | . 17 / 24

  24. Dual version of Dilworth’s Theorem Let L be a finite distributive lattice. The smallest n such that L embeds into a product of n chains is exactly the width of the join-irreducibles of L . 18 / 24

  25. Outline What is a distributive lattice? Priestley duality for finite distributive lattices Using the duality: an example Priestley duality for infinite distributive lattices 19 / 24

  26. Infinite distributive lattices Example The finite-cofinite lattice � ℘ FC ( N ); ∪ , ∩� cannot be obtained as the down-sets of an ordered set. 20 / 24

  27. Infinite distributive lattices Example The finite-cofinite lattice � ℘ FC ( N ); ∪ , ∩� cannot be obtained as the down-sets of an ordered set. Proof. ◮ The ordered set would have to be an anti-chain. 20 / 24

  28. Infinite distributive lattices Example The finite-cofinite lattice � ℘ FC ( N ); ∪ , ∩� cannot be obtained as the down-sets of an ordered set. Proof. ◮ The ordered set would have to be an anti-chain. ◮ The ordered set would have to be infinite. 20 / 24

  29. Infinite distributive lattices Example The finite-cofinite lattice � ℘ FC ( N ); ∪ , ∩� cannot be obtained as the down-sets of an ordered set. Proof. ◮ The ordered set would have to be an anti-chain. ◮ The ordered set would have to be infinite. ◮ So there would be at least 2 N down-sets. 20 / 24

  30. Infinite distributive lattices Example The finite-cofinite lattice � ℘ FC ( N ); ∪ , ∩� cannot be obtained as the down-sets of an ordered set. Proof. ◮ The ordered set would have to be an anti-chain. ◮ The ordered set would have to be infinite. ◮ So there would be at least 2 N down-sets. ◮ But ℘ FC ( N ) is countable. 20 / 24

  31. Infinite distributive lattices Example The finite-cofinite lattice � ℘ FC ( N ); ∪ , ∩� cannot be obtained as the down-sets of an ordered set. Proof. ◮ The ordered set would have to be an anti-chain. ◮ The ordered set would have to be infinite. ◮ So there would be at least 2 N down-sets. ◮ But ℘ FC ( N ) is countable. But it can be obtained as the clopen down-sets of a topological ordered set. 1 2 3 4 5 ∞ 20 / 24

  32. More examples Distributive lattice: All finite subsets of N , as well as N itself, � ℘ fin ( N ) ∪ { N } ; ∪ , ∩� . Topological ordered set: ∞ 5 4 3 2 1 21 / 24

  33. More examples Distributive lattice: � N ∪ { 0 } ; lcm , gcd � . Topological ordered set: ∞ 2 3 3 2 2 2 5 3 2 21 / 24

  34. Setting up Priestley duality 1. From distributive lattices to topological ordered sets Let L = � L ; ∨ , ∧� be a distributive lattice. Define the dual of L by L , D ( L ) := hom ( L , 2 ) � 2 ∼ where ◮ 2 is the two-element lattice with 0 � 1, ◮ 2 ∼ is the two-element discrete ordered set with 0 � 1. 22 / 24

  35. Setting up Priestley duality 1. From distributive lattices to topological ordered sets Let L = � L ; ∨ , ∧� be a distributive lattice. Define the dual of L by L , D ( L ) := hom ( L , 2 ) � 2 ∼ where ◮ 2 is the two-element lattice with 0 � 1, ◮ 2 ∼ is the two-element discrete ordered set with 0 � 1. Note The topological ordered sets obtained in this way are called Priestley spaces. 22 / 24

  36. Setting up Priestley duality, continued 2. From Priestley spaces to distributive lattices Let X = � X ; � , T � be a Priestley space. Define the dual of X by ∼ ) � 2 X . E ( X ) := hom ( X , 2 23 / 24

  37. Setting up Priestley duality, continued 2. From Priestley spaces to distributive lattices Let X = � X ; � , T � be a Priestley space. Define the dual of X by ∼ ) � 2 X . E ( X ) := hom ( X , 2 3. The duality Every distributive lattice is encoded by a Priestley space: ED ( L ) ∼ DE ( X ) ∼ = L and = X , for each distributive lattice L and Priestley space X . Indeed, the classes of distributive lattices and Priestley spaces are dually equivalent. 23 / 24

Recommend


More recommend