|
|
| Line 1: |
Line 1: |
| In mathematics, a '''join-semilattice''' (or '''upper semilattice''') is a [[partially ordered set]] that has a [[join (mathematics)|join]] (a [[least upper bound]]) for any [[nonempty set|nonempty]] [[finite set|finite]] [[subset]]. [[Duality (order theory)|Dually]], a '''meet-semilattice''' (or '''lower semilattice''') is a partially ordered set which has a [[meet (mathematics)|meet]] (or [[greatest lower bound]]) for any nonempty finite subset. Every join-semilattice is a meet-semilattice in the [[inverse order]] and vice versa.
| | 37 yr old Printing Machinist Rusty Sampley from Regina, spends time with hobbies and interests for instance illusion, [http://outsource.net/activity/p/553967/ big property developers in singapore] developers in singapore and rowing. Keeps a travel blog and has lots to write about after paying a visit to Athens. |
| | |
| Semilattices can also be defined [[algebra|algebraically]]: join and meet are [[associativity|associative]], [[commutativity|commutative]], [[idempotency|idempotent]] [[binary operation]]s, and any such operation induces a partial order (and the respective inverse order) such that the result of the operation for any two elements is the least upper bound (or greatest lower bound) of the elements with respect to this partial order.
| |
| | |
| A [[lattice (order)|lattice]] is a partially ordered set that is both a meet- and join-semilattice with respect to the same partial order. Algebraically, a lattice is a set with two associative, commutative idempotent binary operations linked by corresponding [[absorption law]]s.
| |
| | |
| {{Algebraic structures |Lattice}}
| |
| | |
| == Order-theoretic definition ==
| |
| | |
| A [[set (mathematics)|set]] ''S'' [[partially ordered set|partially ordered]] by the [[binary relation]] ≤ is a ''meet-semilattice'' if
| |
| | |
| : For all elements ''x'' and ''y'' of ''S'', the [[infimum|greatest lower bound]] of the set {{nowrap begin}}{''x'', ''y''}{{nowrap end}} exists.
| |
| | |
| The greatest lower bound of the set {{nowrap begin}}{''x'', ''y''}{{nowrap end}} is called the [[meet (mathematics)|meet]] of ''x'' and ''y'', denoted {{nowrap|''x'' ∧ ''y''}}.
| |
| | |
| Replacing "greatest lower bound" with "[[supremum|least upper bound]]" results in the dual concept of a ''join-semilattice''. The least upper bound of {''x'', ''y''} is called the [[Join (mathematics)|join]] of ''x'' and ''y'', denoted {{nowrap|''x'' ∨ ''y''}}. Meet and join are [[binary operation]]s on ''S''. A simple [[mathematical induction|induction]] argument shows that the existence of all possible pairwise suprema (infima), as per the definition, implies the existence of all non-empty finite suprema (infima).
| |
| | |
| A join-semilattice is '''bounded''' if it has a [[least element]], the join of the empty set. [[Duality (order theory)|Dually]], a meet-semilattice is '''bounded''' if it has a [[greatest element]], the meet of the empty set.
| |
| | |
| Other properties may be assumed; see the article on [[completeness (order theory)|completeness in order theory]] for more discussion on this subject. That article also discusses how we may rephrase the above definition in terms of the existence of suitable [[Galois connection]]s between related posets — an approach of special interest for [[category theory|category theoretic]] investigations of the concept.
| |
| | |
| == Algebraic definition ==
| |
| A "meet-semilattice" is an [[algebraic structure]] <math>\langle S, \land \rangle</math> consisting of a [[set (mathematics)|set]] ''S'' with a [[binary operation]] ∧, called '''meet''', such that for all members ''x'', ''y'', and ''z'' of ''S'', the following [[identity (mathematics)|identities]] hold:
| |
| | |
| ;[[Associativity]]: ''x'' ∧ (''y'' ∧ ''z'') = (''x'' ∧ ''y'') ∧ ''z''
| |
| ;[[Commutativity]]: ''x'' ∧ ''y'' = ''y'' ∧ ''x''
| |
| ;[[Idempotency]]: ''x'' ∧ ''x'' = ''x''
| |
| A meet-semilattice <math>\langle S, \land \rangle</math> is '''bounded''' if ''S'' includes an [[identity element]] 1 such that {{nowrap begin}}''x'' ∧ 1 = ''x''{{nowrap end}} for all ''x'' in ''S''.
| |
| | |
| If the symbol ∨, called '''join''', replaces ∧ in the definition just given, the structure is called a ''join-semilattice''. One can be ambivalent about the particular choice of symbol for the operation, and speak simply of ''semilattices''.
| |
| | |
| A semilattice is an [[idempotency|idempotent]], [[commutativity|commutative]] [[semigroup]]. Alternatively, a semilattice is a commutative [[band (algebra)|band]]. A bounded semilattice is an idempotent commutative [[monoid]].
| |
| | |
| A partial order is induced on a meet-semilattice by setting {{nowrap|''x''≤''y''}} whenever ''x''∧''y''=''x''. For a join-semilattice, the order is induced by setting {{nowrap|''x''≤''y''}} whenever ''x''∨''y''=''y''. In a bounded meet-semilattice, the identity 1 is the greatest element of ''S''. Similarly, an identity element in a join semilattice is a least element.
| |
| | |
| == Connection between both definitions ==
| |
| An order theoretic meet-semilattice {{nowrap|⟨''S'', ≤⟩}} gives rise to a [[binary operation]] ∧ such that {{nowrap|⟨''S'', ∧⟩}} is an algebraic meet-semilattice. Conversely, the meet-semilattice {{nowrap|⟨''S'', ∧⟩}} gives rise to a [[binary relation]] ≤ that partially orders ''S'' in the following way: for all elements ''x'' and ''y'' in ''S'', ''x'' ≤ ''y'' if and only if ''x'' = ''x'' ∧ ''y''.
| |
| | |
| The relation ≤ introduced in this way defines a partial ordering from which the binary operation ∧ may be recovered. Conversely, the order induced by the algebraically defined semilattice {{nowrap|⟨''S'', ∧⟩}} coincides with that induced by ≤.
| |
| | |
| Hence both definitions may be used interchangeably, depending on which one is more convenient for a particular purpose. A similar conclusion holds for join-semilattices and the dual ordering ≥.
| |
| | |
| == Examples ==
| |
| Semilattices are employed to construct other order structures, or in conjunction with other completeness properties.
| |
| * A [[lattice (order)|lattice]] is both a join- and a meet-semilattice. The interaction of these two semilattices via the [[absorption law]] is what truly distinguishes a lattice from a semilattice.
| |
| * The [[compact element]]s of an algebraic [[lattice (order)|lattice]], under the induced partial ordering, form a bounded join-semilattice.
| |
| * Any finite semilattice is bounded, by induction.
| |
| * A [[totally ordered set]] is a [[distributive lattice]], hence in particular a meet-semilattice and join-semilattice: any two distinct elements have a greater and lesser one, which are their meet and join.
| |
| ** A [[well-ordered set]] is further a ''bounded'' meet-semilattice, as the set as a whole has a least element, hence it is bounded.
| |
| *** The nonnegative integers ℕ, with their usual order ≤, are a bounded meet-semilattice, with least element 0, although they have no greatest element: they are the smallest infinite well-ordered set.
| |
| * Any single-rooted [[Tree (set theory)|tree]] (with the single root as the least element) is a meet-semilattice. Consider for example the set of finite words over some alphabet, ordered by the [[prefix order]]. It has a least element (the empty word) but no greatest element, and the root is the meet of all other elements.
| |
| * A [[Scott domain]] is a meet-semilattice.
| |
| * Membership in any set ''L'' can be taken as a [[model theory|model]] of a semilattice with base set ''L'', because a semilattice captures the essence of set [[extensionality]]. Let ''a''∧''b'' denote ''a''∈''L'' & ''b''∈''L''. Two sets differing only in one or both of the:
| |
| # Order in which their members are listed;
| |
| # Multiplicity of one or more members,
| |
| :are in fact the same set. Commutativity and associativity of ∧ assure (1), [[idempotence]], (2). This semilattice is the [[free semilattice]] over ''L''. It is not bounded by ''L'', because a set is not a member of itself.
| |
| * Classical extensional [[mereology]] defines a join-semilattice, with join read as binary fusion. This semilattice is bounded from above by the world individual.
| |
| | |
| == Semilattice morphisms ==
| |
| The above algebraic definition of a semilattice suggests a notion of [[morphism]] between two semilattices. Given two join-semilattices {{nowrap|(''S'', ∨)}} and {{nowrap|(''T'', ∨)}}, a [[homomorphism]] of (join-) semilattices is a function ''f'': ''S'' → ''T'' such that
| |
| | |
| :''f''(''x'' ∨ ''y'') = ''f''(''x'') ∨ ''f''(''y'').
| |
| | |
| Hence ''f'' is just a homomorphism of the two [[semigroups]] associated with each semilattice. If ''S'' and ''T'' both include a least element 0, then ''f'' should also be a [[monoid]] homomorphism, i.e. we additionally require that
| |
| | |
| : ''f''(0) = 0.
| |
| | |
| In the order-theoretic formulation, these conditions just state that a homomorphism of join-semilattices is a function that [[limit preserving function (order theory)|preserves binary joins]] and least elements, if such there be. The obvious dual—replacing ∧ with ∨ and 0 with 1—transforms this definition of a join-semilattice homomorphism into its meet-semilattice equivalent.
| |
| | |
| Note that any semilattice homomorphism is necessarily [[monotone function|monotone]] with respect to the associated ordering relation. For an explanation see the entry [[limit preserving function (order theory)|preservation of limits]].
| |
| | |
| == Equivalence with algebraic lattices ==
| |
| | |
| There is a well-known [[Equivalence of categories|equivalence]] between the category <math>\mathcal{S}</math> of join-semilattices with zero with <math>(\vee,0)</math>-homomorphisms and the category <math>\mathcal{A}</math> of [[algebraic lattice]]s with [[compact element|compactness]]-preserving complete join-homomorphisms, as follows. With a join-semilattice <math>S</math> with zero, we associate its ideal lattice <math>\operatorname{Id}\ S</math>. With a <math>(\vee,0)</math>-homomorphism <math>f \colon S \to T</math> of <math>(\vee,0)</math>-semilattices, we associate the map <math>\operatorname{Id}\ f \colon \operatorname{Id}\ S \to \operatorname{Id}\ T</math>, that with any ideal <math>I</math> of <math>S</math> associates the ideal of <math>T</math> generated by <math>f(I)</math>. This defines a functor <math>\operatorname{Id} \colon \mathcal{S} \to \mathcal{A}</math>. Conversely, with every algebraic lattice <math>A</math> we associate the <math>(\vee,0)</math>-semilattice <math>K(A)</math> of all [[compact element]]s of <math>A</math>, and with every compactness-preserving complete join-homomorphism <math>f \colon A \to B</math> between algebraic lattices we associate the restriction <math>K(f) \colon K(A) \to K(B)</math>. This defines a functor <math>K \colon \mathcal{A} \to \mathcal{S}</math>. The pair <math>(\operatorname{Id},K)</math> defines a category equivalence between <math>\mathcal{S}</math> and <math>\mathcal{A}</math>.
| |
| | |
| == Distributive semilattices ==
| |
| Surprisingly, there is a notion of "distributivity" applicable to semilattices, even though distributivity conventionally requires the interaction of two binary operations. This notion requires but a single operation, and generalizes the distributivity condition for lattices. See the entry [[distributivity (order theory)]].
| |
| | |
| == Complete semilattices ==
| |
| Nowadays, the term "complete semilattice" has no generally accepted meaning, and various inconsistent definitions exist. If completeness is taken to require the existence of all infinite joins and meets, whichever the case may be, as well as finite ones, this immediately leads to partial orders that are in fact [[complete lattice]]s. For why the existence of all possible infinite joins entails the existence of all possible infinite meets (and vice versa), see the entry [[completeness (order theory)]].
| |
| | |
| Nevertheless, the literature on occasion still takes complete join- or meet-semilattices to be complete lattices. In this case, "completeness" denotes a restriction on the scope of the [[homomorphism]]s. Specifically, a complete join-semilattice requires that the homomorphisms preserve all joins, but contrary to the situation we find for completeness properties, this does not require that homomorphisms preserve all meets. On the other hand, we can conclude that every such mapping is the lower adjoint of some [[Galois connection]]. The corresponding (unique) upper adjoint will then be a homomorphism of complete meet-semilattices. This gives rise to a number of useful [[duality (category theory)|categorical dualities]] between the categories of all complete semilattices with morphisms preserving all meets or joins, respectively.
| |
| | |
| Another usage of "complete meet-semilattice" refers to a [[bounded complete]] [[Complete partial order|cpo]]. A complete meet-semilattice in this sense is arguably the "most complete" meet-semilattice that is not necessarily a complete lattice. Indeed, a complete meet-semilattice has all ''non-empty'' meets (which is equivalent to being bounded complete) and all directed joins. If such a structure has also a greatest element (the meet of the empty set), it is also a complete lattice. Thus a complete semilattice turns out to be "a complete lattice possibly lacking a top". This definition is of interest specifically in [[domain theory]], where bounded complete [[algebraic poset|algebraic]] cpos are studied as [[Scott domain]]s. Hence Scott domains have been called ''algebraic semilattices''.
| |
| | |
| == Free semilattices ==
| |
| | |
| This section presupposes some knowledge of [[category theory]]. In various situations, [[free object|free]] semilattices exist. For example, the [[forgetful functor]] from the category of join-semilattices (and their homomorphisms) to the [[category theory|category]] of sets (and functions) admits a [[adjoint functors|left adjoint]]. Therefore, the free join-semilattice '''F'''(''S'') over a set ''S'' is constructed by taking the collection of all non-empty ''finite'' [[subset]]s of ''S'', ordered by subset inclusion. Clearly, ''S'' can be embedded into '''F'''(''S'') by a mapping ''e'' that takes any element ''s'' in ''S'' to the singleton set {''s''}. Then any function ''f'' from a ''S'' to a join-semilattice ''T'' (more formally, to the underlying set of ''T'') induces a unique homomorphism ''f' '' between the join-semilattices '''F'''(''S'') and ''T'', such that ''f'' = ''f' '' o ''e''. Explicitly, ''f' '' is given by ''f' ''(''A'') = <math>\vee</math>{''f''(''s'') | ''s'' in ''A''}. Now the obvious uniqueness of ''f' '' suffices to obtain the required adjunction—the morphism-part of the functor '''F''' can be derived from general considerations (see [[adjoint functors]]). The case of free meet-semilattices is dual, using the opposite subset inclusion as an ordering. For join-semilattices with bottom, we just add the empty set to the above collection of subsets.
| |
| | |
| In addition, semilattices often serve as generators for free objects within other categories. Notably, both the forgetful functors from the category of [[complete Heyting algebra|frames]] and frame-homomorphisms, and from the category of distributive lattices and lattice-homomorphisms, have a left adjoint.
| |
| | |
| ==See also==
| |
| *[[Directed set]], generalization of join semilattice
| |
| *[[List of order topics]]
| |
| *[[Semiring]]
| |
| | |
| == References ==
| |
| * {{Cite book |last1=Davey |first1=B. A. |last2=Priestley |first2=H. A. |title=Introduction to Lattices and Order |publisher=[[Cambridge University Press]] |edition=second |year=2002 |isbn=0-521-78451-4}}
| |
| * {{Cite book |last=Vickers |first=Steven |authorlink=Steve Vickers (academia) |title=Topology via Logic |publisher=[[Cambridge University Press]] |year=1989 |isbn=0-521-36062-5}}
| |
| | |
| Regrettably, it is often the case that standard treatments of lattice theory define a semilattice, if that, and then say no more. See the references in the entries [[order theory]] and [[lattice theory]]. Moreover, there is no literature on semilattices of comparable magnitude to that on [[semigroup]]s.
| |
| | |
| {{reflist}}
| |
| | |
| ==External links==
| |
| * Jipsen's algebra structures page: [http://math.chapman.edu/cgi-bin/structures.pl?Semilattices Semilattices.]
| |
| | |
| [[Category:Lattice theory]]
| |
| [[Category:Algebraic structures]]
| |