A topological representation of lattices (Q1193504): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Combinatorial theory. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4083730 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5532570 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3898534 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3965241 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representation of Distributive Lattices by means of ordered Stone Spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3820650 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topological representations of distributive lattices and Brouwerian logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A topological representation theory for lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3952147 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Subdirect decomposition of concept lattices / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3676181 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tensorial decomposition of concept lattices / rank | |||
Normal rank |
Latest revision as of 14:17, 16 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A topological representation of lattices |
scientific article |
Statements
A topological representation of lattices (English)
0 references
27 September 1992
0 references
A context is a triple \(\mathbb{K}= (G,M,I)\), where \(G\) and \(M\) are sets and \(I\) is a relation between \(G\) and \(M\). Given such a context \(\mathbb{K}= (G,M,I)\), for \(A\subseteq G\) and \(B\subseteq M\) one defines \(A':=\{m\in M: gIm\) for all \(g\in A\}\) and \(B':=\{g\in G: gIm\) for all \(m\in B\}\). A concept is a pair \((A,B)\) with \(A\subseteq G\), \(B\subseteq M\), \(A'=B\), \(B'=A\). Under the partial order \((A,B)\leq (C,D)\Leftrightarrow A\subseteq C\), the concepts form a complete lattice \({\mathfrak B}(\mathbb{K})\). Every complete lattice is shown to be isomorphic to such a concept lattice. A topological context is a context \(\mathbb{K}^ \tau=(G,M,I)\), where \(G\) and \(M\) are topological spaces with the properties (1) if \(A\subseteq G\) and \(B\subseteq M\) are closed, then so are \(A'\) and \(B'\); and (2) \(\{A: A= A''\) is closed in \(G\), \(A'\) is closed in \(M\}\) is a subbase for the closed sets in \(G\) and, dually, \(\{B: B= B''\) is closed in \(M,B'\) is closed in \(G\}\) is a subbase for the closed sets in \(M\). For such a topological context \(\mathbb{K}^ \tau= (G,M,I)\) a concept \((A,B)\) is said to be closed if both \(A\) and \(B\) are closed. The closed concepts form a lattice \({\mathfrak B}^ \tau(\mathbb{K}^ \tau)\) that is bounded but not necessarily complete. The paper concerns representation of arbitrary bounded lattices as closed concept lattices. The main results are the following. A topological context satisfying certain minimality conditions is called ``standard''. It is proved that for every bounded lattice \(L\) there exists an essentially unique standard topological contexts \(\mathbb{K}^ \tau(L)\) such that \(L\) is isomorphic to \({\mathfrak B}^ \tau(\mathbb{K}^ \tau(L))\). This representation theorem leads to a dual equivalence between the category of all bounded lattices with surjective homomorphisms and the category of all standard topological context with so-called ``standard'' embeddings. Thus, for a given bounded lattice \(L\) the congruence of \(L\) correspond to certain subcontexts of \(\mathbb{K}^ \tau(L)\); an intrinsic description of these subcontexts is given. With the aid of this theory, the author proves the (known) theorem that for every distributive bialgebra lattice \(D\) there exists a bounded lattice \(L\) such that \(D\) is isomorphic to the lattice of all congruences of \(L\). The final part of the paper deals with connections between the preceding theory and known representation theorems for Boolean lattices, distributive bounded lattices and arbitrary bounded lattices.
0 references
categorical equivalence
0 references
representation of bounded lattices as closed concept lattices
0 references
lattice of congruences
0 references
topological context
0 references
distributive bialgebra lattice
0 references
representation theorems
0 references