Duality theory for distributive lattices (original) (raw)
In mathematics, duality theory for distributive lattices provides three different (but closely related) representations of bounded distributive lattices via Priestley spaces, spectral spaces, and pairwise Stone spaces. This duality, which is originally also due to Marshall H. Stone, generalizes the well-known Stone duality between Stone spaces and Boolean algebras. The map φ+ is a lattice isomorphism from L onto the lattice of all compact open subsets of (X,τ+). In fact, each spectral space is homeomorphic to the prime spectrum of some bounded distributive lattice.
| Property | Value |
|---|---|
| dbo:abstract | In mathematics, duality theory for distributive lattices provides three different (but closely related) representations of bounded distributive lattices via Priestley spaces, spectral spaces, and pairwise Stone spaces. This duality, which is originally also due to Marshall H. Stone, generalizes the well-known Stone duality between Stone spaces and Boolean algebras. Let L be a bounded distributive lattice, and let X denote the set of prime filters of L. For each a ∈ L, let φ+(a) = {x∈ X : a ∈ x}. Then (X,τ+) is a spectral space, where the topology τ+ on X is generated by {φ+(a) : a ∈ L}. The spectral space (X, τ+) is called the prime spectrum of L. The map φ+ is a lattice isomorphism from L onto the lattice of all compact open subsets of (X,τ+). In fact, each spectral space is homeomorphic to the prime spectrum of some bounded distributive lattice. Similarly, if φ−(a) = {x∈ X : a ∉ x} and τ− denotes the topology generated by {φ−(a) : a∈ L}, then (X,τ−) is also a spectral space. Moreover, (X,τ+,τ−) is a pairwise Stone space. The pairwise Stone space (X,τ+,τ−) is called the bitopological dual of L. Each pairwise Stone space is to the bitopological dual of some bounded distributive lattice. Finally, let ≤ be set-theoretic inclusion on the set of prime filters of L and let τ = τ+∨ τ−. Then (X,τ,≤) is a Priestley space. Moreover, φ+ is a lattice isomorphism from L onto the lattice of all clopen up-sets of (X,τ,≤). The Priestley space (X,τ,≤) is called the Priestley dual of L. Each Priestley space is isomorphic to the Priestley dual of some bounded distributive lattice. Let Dist denote the category of bounded distributive lattices and bounded lattice homomorphisms. Then the above three representations of bounded distributive lattices can be extended to dual equivalence between Dist and the categories Spec, PStone, and Pries of spectral spaces with spectral maps, of pairwise Stone spaces with bi-continuous maps, and of Priestley spaces with Priestley morphisms, respectively: Thus, there are three equivalent ways of representing bounded distributive lattices. Each one has its own motivation and advantages, but ultimately they all serve the same purpose of providing better understanding of bounded distributive lattices. (en) |
| dbo:thumbnail | wiki-commons:Special:FilePath/DL_Duality.png?width=300 |
| dbo:wikiPageExternalLink | https://eudml.org/doc/27235 |
| dbo:wikiPageID | 26599926 (xsd:integer) |
| dbo:wikiPageLength | 5735 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1065454245 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Cambridge_University_Press dbr:Priestley_space dbr:Homomorphisms dbc:Lattice_theory dbr:Mathematics dbr:Spectral_space dbc:Duality_theories dbr:Equivalence_of_categories dbr:Stone's_representation_theorem_for_Boolean_algebras dbr:Stone_space dbr:Clopen_set dbr:Distributive_lattice dbr:Representation_theorem dbr:Stone_duality dbc:Topology dbr:Esakia_duality dbr:Hilary_Priestley dbr:Isomorphism dbc:Category_theory dbr:Birkhoff's_representation_theorem dbr:Homeomorphism dbr:Marshall_H._Stone dbr:Boolean_algebra_(structure) dbr:Ideal_(order_theory) dbr:Open_set dbr:Set_(mathematics) dbr:Map_(mathematics) dbr:Pairwise_Stone_space dbr:Topological_space dbr:Up-set dbr:P._T._Johnstone dbr:Compact_set dbr:Bi-homeomorphic dbr:File:DL_Duality.png |
| dbp:wikiPageUsesTemplate | dbt:) dbt:= dbt:Cite_book dbt:ISBN dbt:Math dbt:Reflist |
| dct:subject | dbc:Lattice_theory dbc:Duality_theories dbc:Topology dbc:Category_theory |
| rdfs:comment | In mathematics, duality theory for distributive lattices provides three different (but closely related) representations of bounded distributive lattices via Priestley spaces, spectral spaces, and pairwise Stone spaces. This duality, which is originally also due to Marshall H. Stone, generalizes the well-known Stone duality between Stone spaces and Boolean algebras. The map φ+ is a lattice isomorphism from L onto the lattice of all compact open subsets of (X,τ+). In fact, each spectral space is homeomorphic to the prime spectrum of some bounded distributive lattice. (en) |
| rdfs:label | Duality theory for distributive lattices (en) |
| owl:sameAs | freebase:Duality theory for distributive lattices wikidata:Duality theory for distributive lattices dbpedia-ka:Duality theory for distributive lattices https://global.dbpedia.org/id/4iwwm |
| prov:wasDerivedFrom | wikipedia-en:Duality_theory_for_distributive_lattices?oldid=1065454245&ns=0 |
| foaf:depiction | wiki-commons:Special:FilePath/DL_Duality.png |
| foaf:isPrimaryTopicOf | wikipedia-en:Duality_theory_for_distributive_lattices |
| is dbo:wikiPageRedirects of | dbr:Priestley's_representation_theorem_for_distributive_lattice dbr:Stone's_representation_theorem_for_distributive_lattices |
| is dbo:wikiPageWikiLink of | dbr:Priestley_space dbr:List_of_dualities dbr:Introduction_to_Lattices_and_Order dbr:Spectral_space dbr:Distributive_lattice dbr:Esakia_duality dbr:Birkhoff's_representation_theorem dbr:Pairwise_Stone_space dbr:Priestley's_representation_theorem_for_distributive_lattice dbr:Stone's_representation_theorem_for_distributive_lattices |
| is foaf:primaryTopic of | wikipedia-en:Duality_theory_for_distributive_lattices |
