Concept

Duality theory for distributive lattices

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 bi-homeomorphic 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.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.