Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts

Abstract

Lattice theory today reflects the general status of current mathematics: there is a rich production of theoretical concepts, results, and developments, many of which are reached by elaborate mental gymnastics; on the other hand, the connections of the theory to its surroundings are getting weaker and weaker, with the result that the theory and even many of its parts become more isolated. Restructuring lattice theory is an attempt to reinvigorate connections with our general culture by interpreting the theory as concretely as possible, and in this way to promote better communication between lattice theorists and potential users of lattice theory. The approach reported here goes back to the origin of the lattice concept in nineteenth-century attempts to formalize logic, where a fundamental step was the reduction of a concept to its "extent". We propose to make the reduction less abstract by retaining in some measure the "intent" of a concept. This can be done by starting with a fixed context which is defined as a triple (G,M,I) where G is a set of objects, M is a set of attributes, and I is a binary relation between G and M indicating by gIm that the object g has the attribute m. There is a natural Galois connection between G and M defined by A′ = {m ∈ M ∣ gIm for all g ∈ A} for A $$ \subseteq $$ G and B' = {g ∈ G ∣ gIm for all m ∈ B} for B $$ \subseteq $$ M. Now, a concept of the context (G,M,I) is introduced as a pair (A,B) with A $$ \subseteq $$ G, B $$ \subseteq $$ M, A′ = B, and B′ = A, where A is called the extent and B the intent of the concept (A,B). The hierarchy of concepts given by the relation subconcept-superconcept is captured by the definition (A1,B1) ≤ (A 2,B 2) ⇔ A 1 $$ \subseteq $$ A 2(⇔ B 1 $$ \supseteq $$ B 2) for concepts (A1,B1) and (A 2,B 2) of (G,M,I). Let L(G,M,I) be the set of all concepts of (G,M,I). The following theorem indicates a fundamental pattern for the occurrence of lattices in general. THEOREM: Let (G,M,I) be a context. Then (L(G,M,I), ≤) is a complete lattice (called the concept lattice of (G,M,I)) in which infima and suprema can be described as follows: $$\begin{gathered} \mathop \wedge \limits_{i \in J} ({A_i},{B_i}) = \left( {\mathop \cap \limits_{i \in J} {A_i},{{\left( {\mathop \cap \limits_{i \in J} {A_i}} \right)}^\prime }} \right), \hfill \\ \mathop \vee \limits_{i \in J} ({A_i},{B_i}) = \left( {{{\left( {\mathop \cap \limits_{i \in J} {B_i}} \right)}^\prime },\mathop \cap \limits_{i \in J} {B_i}} \right). \hfill \\ \end{gathered} $$ Conversely, if L is a complete lattice then L ≅ (L(G,M,I), ≤) if and only if there are mappings ϒ: G → L and μ: M → L such that ϒG is supremum-dense in L, μM is infimum-dense in L, and gIm is equivalent to ϒg ≤ μm for all g ∈ G and m ∈ M; in particular, L ≅ (L(L, L, ≤),≤). Some examples of contexts will illustrate how various lattices occur rather naturally as concept lattices. Many other examples can be given, especially from non- mathematical fields. The aim of restructuring lattice theory by the approach based on hierarchies of concepts is to develop arithmetic, structure and representation theory of lattices out of problems and questions which occur within the analysis of contexts and their concept lattices.