GetWiki
Lattice (order)
ARTICLE SUBJECTS
being →
database →
ethics →
fiction →
history →
internet →
language →
linux →
logic →
method →
news →
policy →
purpose →
religion →
science →
software →
truth →
unix →
wiki →
ARTICLE TYPES
essay →
feed →
help →
system →
wiki →
ARTICLE ORIGINS
critical →
forked →
imported →
original →
Lattice (order)
please note:
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
{{distinguish|Lattice (group)}}{{More footnotes|date=May 2009}}{{stack begin}}{{Binary relations}}{{Algebraic structures |lattice}}{{stack end}}A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra. It consists of a partially ordered set in which every two elements have a unique supremum (also called a least upper bound or join) and a unique infimum (also called a greatest lower bound or meet). An example is given by the natural numbers, partially ordered by divisibility, for which the unique supremum is the least common multiple and the unique infimum is the greatest common divisor.Lattices can also be characterized as algebraic structures satisfying certain axiomatic identities. Since the two definitions are equivalent, lattice theory draws on both order theory and universal algebra. Semilattices include lattices, which in turn include Heyting and Boolean algebras. These "lattice-like" structures all admit order-theoretic as well as algebraic descriptions.- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
Lattices as partially ordered sets
If {{nowrap|(L, â‰¤)}} is a partially ordered set (poset), and {{nowrap|S âŠ† L}} is an arbitrary subset, then an element {{nowrap|u âˆˆ L}} is said to be an upper bound of S if {{nowrap|s â‰¤ u}} for each {{nowrap|s âˆˆ S}}. A set may have many upper bounds, or none at all. An upper bound u of S is said to be its least upper bound, or join, or supremum, if {{nowrap|u â‰¤ x}} for each upper bound x of S. A set need not have a least upper bound, but it cannot have more than one. Dually, {{nowrap|l âˆˆ L}} is said to be a lower bound of S if {{nowrap|l â‰¤ s}} for each {{nowrap|s âˆˆ S}}. A lower bound l of S is said to be its greatest lower bound, or meet, or infimum, if {{nowrap|x â‰¤ l}} for each lower bound x of S. A set may have many lower bounds, or none at all, but can have at most one greatest lower bound.A partially ordered set {{nowrap|(L, â‰¤)}} is called a join-semilattice if each two-element subset {{nowrap|{a, b} âŠ† L}} has a join (i.e. least upper bound), and is called a meet-semilattice if each two-element subset has a meet (i.e. greatest lower bound), denoted by {{nowrap|a âˆ¨ b}} and {{nowrap|a âˆ§ b}} respectively. {{nowrap|(L, â‰¤)}} is called a lattice if it is both a join- and a meet-semilattice. This definition makes âˆ¨ and âˆ§ binary operations. Both operations are monotone with respect to the order: {{nowrap|a1 â‰¤ a2}} and {{nowrap|b1 â‰¤ b2}} implies that {{nowrap|a1 âˆ¨ b1 â‰¤ a2 âˆ¨ b2}} and {{nowrap|a1 âˆ§ b1 â‰¤ a2 âˆ§ b2}}.It follows by an induction argument that every non-empty finite subset of a lattice has a least upper bound and a greatest lower bound. With additional assumptions, further conclusions may be possible; see Completeness (order theory) for more discussion of this subject. That article also discusses how one may rephrase the above definition in terms of the existence of suitable Galois connections between related partially ordered sets â€” an approach of special interest for the category theoretic approach to lattices, and for formal concept analysis.A bounded lattice is a lattice that additionally has a greatest element (also called maximum, or top element, and denoted by 1, or by top) and a least element (also called minimum, or bottom, denoted by 0 or by bot), which satisfy
0 â‰¤ x â‰¤ 1 for every x in L.
Every lattice can be embedded into a bounded lattice by adding an artificial greatest and least element, and every non-empty finite lattice is bounded, by taking the join (resp., meet) of all elements, denoted by bigvee L=a_1lorcdotslor a_n (resp.bigwedge L=a_1landcdotsland a_n) where L={a_1,ldots,a_n}.A partially ordered set is a bounded lattice if and only if every finite set of elements (including the empty set) has a join and a meet. For every element x of a poset it is trivially true (it is a vacuous truth) that forall ainvarnothing : x le a andforall ainvarnothing : a le x, and therefore every element of a poset is both an upper bound and a lower bound of the empty set. This implies that the join of an empty set is the least element bigveevarnothing=0, and the meet of the empty set is the greatest element bigwedgevarnothing=1. This is consistent with the associativity and commutativity of meet and join: the join of a union of finite sets is equal to the join of the joins of the sets, and dually, the meet of a union of finite sets is equal to the meet of the meets of the sets, i.e., for finite subsets A and B of a poset L,
bigvee left( A cup B right)= left( bigvee A right) vee left( bigvee B right)
and
bigwedge left( A cup B right)= left(bigwedge A right) wedge left( bigwedge B right)
hold. Taking B to be the empty set,
bigvee left( A cup emptyset right)
left( bigvee A right) vee left( bigvee emptyset right)
left( bigvee A right) vee 0
bigvee A
and
bigwedge left( A cup emptyset right)
left( bigwedge A right) wedge left( bigwedge emptyset right)
left( bigwedge A right) wedge 1
bigwedge A
which is consistent with the fact that A cup emptyset = A.A lattice element y is said to cover another element x, if {{nowrap|y > x}}, but there does not exist a z such that {{nowrap|y > z > x}}.Here, {{nowrap|y > x}} means {{nowrap|x â‰¤ y}} and {{nowrap|x â‰ y}}.A lattice {{nowrap|(L, â‰¤)}} is called graded, sometimes ranked (but see Ranked poset for an alternative meaning), if it can be equipped with a rank function r from L to â„•, sometimes to â„¤, compatible with the ordering (so {{nowrap|r(x) < r(y)}} whenever {{nowrap|x < y}}) such that whenever y covers x, then {{nowrap|1=r(y) = r(x) + 1}}. The value of the rank function for a lattice element is called its rank.Given a subset of a lattice, {{nowrap|H âŠ‚ L}}, meet and join restrict to partial functions â€“ they are undefined if their value is not in the subset H. The resulting structure on H is called a {{visible anchor|partial lattice}}. In addition to this extrinsic definition as a subset of some other algebraic structure (a lattice), a partial lattice can also be intrinsically defined as a set with two partial binary operations satisfying certain axioms.{{sfn|GrÃ¤tzer|1996|p=52}}Lattices as algebraic structures
General lattice
An algebraic structure {{nowrap|(L, âˆ¨, âˆ§)}}, consisting of a set L and two binary operations âˆ¨, and âˆ§, on L is a lattice if the following axiomatic identities hold for all elements a, b, c of L.{| style="margin:0em" cellpadding=0 border=0 cellspacing=0|- Commutative laws
- a âˆ¨ b = b âˆ¨ a,
- a âˆ§ b = b âˆ§ a.| |
- Associative laws
- a âˆ¨ (b âˆ¨ c) = (a âˆ¨ b) âˆ¨ c,
- a âˆ§ (b âˆ§ c) = (a âˆ§ b) âˆ§ c.| |
- Absorption laws:
- a âˆ¨ (a âˆ§ b) = a, a âˆ§ (a âˆ¨ b) = a.
- Idempotent laws
- a âˆ¨ a = a, a âˆ§ a = a.
Bounded lattice
A bounded lattice is an algebraic structure of the form {{nowrap|(L, âˆ¨, âˆ§, 0, 1)}} such that {{nowrap|(L, âˆ¨, âˆ§)}} is a lattice, 0 (the lattice's bottom) is the identity element for the join operation âˆ¨, and 1 (the lattice's top) is the identity element for the meet operation âˆ§.- Identity laws
- a âˆ¨ 0 = a, a âˆ§ 1 = a.
Connection to other algebraic structures
Lattices have some connections to the family of group-like algebraic structures. Because meet and join both commute and associate, a lattice can be viewed as consisting of two commutative semigroups having the same domain. For a bounded lattice, these semigroups are in fact commutative monoids. The absorption law is the only defining identity that is peculiar to lattice theory.By commutativity and associativity one can think of join and meet as binary operations that are defined on non-empty finite sets, rather than on elements. In a bounded lattice the empty join and the empty meet can also be defined (as 0 and 1, respectively). This makes bounded lattices somewhat more natural than general lattices, and many authors require all lattices to be bounded.The algebraic interpretation of lattices plays an essential role in universal algebra.Connection between the two definitions
An order-theoretic lattice gives rise to the two binary operations âˆ¨ and âˆ§. Since the commutative, associative and absorption laws can easily be verified for these operations, they make {{nowrap|(L, âˆ¨, âˆ§)}} into a lattice in the algebraic sense.The converse is also true. Given an algebraically defined lattice {{nowrap|(L, âˆ¨, âˆ§)}}, one can define a partial order â‰¤ on L by setting
{{nowrap|a â‰¤ b}} if {{nowrap|1=a = a âˆ§ b}}, or
{{nowrap|a â‰¤ b}} if {{nowrap|1=b = a âˆ¨ b}},
for all elements a and b from L. The laws of absorption ensure that both definitions are equivalent:a = a âˆ§ b implies b = b âˆ¨ (b âˆ§ a) = (a âˆ§ b) âˆ¨ b = a âˆ¨ band dually for the other direction.One can now check that the relation â‰¤ introduced in this way defines a partial ordering within which binary meets and joins are given through the original operations âˆ¨ and âˆ§.Since the two definitions of a lattice are equivalent, one may freely invoke aspects of either definition in any way that suits the purpose at hand.Examples
{| style="float:right"thumb | Pic.5: Lattice of nonnegative integer pairs, ordered componentwise.) |
Morphisms of lattices
(File:Monotonic but nonhomomorphic map between lattices.gif|thumb|Pic.9: Monotonic map f between lattices that preserves neither joins nor meets, since {{nowrap|f(u) âˆ¨ f(v)}} {{nowrap|1== uâ€² âˆ¨ uâ€²}} {{nowrap|1== uâ€² â‰ 1â€²}} {{nowrap|1== f(1) = f(u âˆ¨ v)}} and {{nowrap|f(u) âˆ§ f(v)}} {{nowrap|1== uâ€² âˆ§ uâ€²}} {{nowrap|1== uâ€² â‰ 0â€²}} {{nowrap|1== f(0) = f(u âˆ§ v)}}.)The appropriate notion of a morphism between two lattices flows easily from the above algebraic definition. Given two lattices {{nowrap|(L, âˆ¨L, âˆ§L)}} and {{nowrap|(M, âˆ¨M, âˆ§M)}}, a lattice homomorphism from L to M is a function {{nowrap|f : L â†’ M}} such that for all {{nowrap|a, b âˆˆ L}}:
f(a âˆ¨L b) = f(a) âˆ¨M f(b), and
f(a âˆ§L b) = f(a) âˆ§M f(b).
Thus f is a homomorphism of the two underlying semilattices. When lattices with more structure are considered, the morphisms should "respect" the extra structure, too. In particular, a bounded-lattice homomorphism (usually called just "lattice homomorphism") f between two bounded lattices L and M should also have the following property:
f(0L) = 0M , and
f(1L) = 1M .
In the order-theoretic formulation, these conditions just state that a homomorphism of lattices is a function preserving binary meets and joins. For bounded lattices, preservation of least and greatest elements is just preservation of join and meet of the empty set.Any homomorphism of lattices is necessarily monotone with respect to the associated ordering relation; see preservation of limits. The converse is not true: monotonicity by no means implies the required preservation of meets and joins (see pic.9), although an order-preserving bijection is a homomorphism if its inverse is also order-preserving.Given the standard definition of isomorphisms as invertible morphisms, a lattice isomorphism is just a bijective lattice homomorphism. Similarly, a lattice endomorphism is a lattice homomorphism from a lattice to itself, and a lattice automorphism is a bijective lattice endomorphism. Lattices and their homomorphisms form a category.Sublattices
A sublattice of a lattice L is a nonempty subset of L that is a lattice with the same meet and join operations as L. That is, if L is a lattice and {{nowrap|M â‰ varnothing}} is a subset of L such that for every pair of elements a, b in M both {{nowrap|a âˆ§ b}} and {{nowrap|a âˆ¨ b}} are in M, then M is a sublattice of L.Burris, Stanley N., and H.P. Sankappanavar, H. P., 1981. A Course in Universal Algebra. Springer-Verlag. {{isbn|3-540-90578-2}}.A sublattice M of a lattice L is a convex sublattice of L, if {{nowrap|x â‰¤ z â‰¤ y}} and x, y in M implies that z belongs to M, for all elements x, y, z in L.Properties of lattices
{{further|Map of lattices}}We now introduce a number of important properties that lead to interesting special classes of lattices. One, boundedness, has already been discussed.Completeness
A poset is called a complete lattice if all its subsets have both a join and a meet. In particular, every complete lattice is a bounded lattice. While bounded lattice homomorphisms in general preserve only finite joins and meets, complete lattice homomorphisms are required to preserve arbitrary joins and meets.Every poset that is a complete semilattice is also a complete lattice. Related to this result is the interesting phenomenon that there are various competing notions of homomorphism for this class of posets, depending on whether they are seen as complete lattices, complete join-semilattices, complete meet-semilattices, or as join-complete or meet-complete lattices.Note that "partial lattice" is not the opposite of "complete lattice" â€“ rather, "partial lattice", "lattice", and "complete lattice" are increasingly restrictive definitions.Conditional completeness
A conditionally complete lattice is a lattice in which every nonempty subset that has an upper bound has a join (i.e., a least upper bound). Such lattices provide the most direct generalization of the completeness axiom of the real numbers. A conditionally complete lattice is either a complete lattice, or a complete lattice without its maximum element 1, its minimum element 0, or both.Distributivity {| style"float:right"
thumbPic.11: Smallest non-modular (and hence non-distributive) lattice N5. The labelled elements violate the distributivity equation {{nowrapc âˆ§ (a âˆ¨ b) = (c âˆ§ a) âˆ¨ (c âˆ§ b)}}, but satisfy its dual {{nowrap>1=c âˆ¨ (a âˆ§ b) = (c âˆ¨ a) âˆ§ (c âˆ¨ b)}}.){| style="float:right"thumbPic.10: Smallest non-distributive (but modular) lattice M3.)Since lattices come with two binary operations, it is natural to ask whether one of them distributes over the other, i.e. whether one or the other of the following dual laws holds for every three elements a, b, c of L:- Distributivity of âˆ¨ over âˆ§
- a âˆ¨ (b âˆ§ c) = (a âˆ¨ b) âˆ§ (a âˆ¨ c).
- Distributivity of âˆ§ over âˆ¨
- a âˆ§ (b âˆ¨ c) = (a âˆ§ b) âˆ¨ (a âˆ§ c).
Modularity
For some applications the distributivity condition is too strong, and the following weaker property is often useful. A lattice {{nowrap|(L, âˆ¨, âˆ§)}} is modular if, for all elements a, b, c of L, the following identity holds.- Modular identity: (a âˆ§ c) âˆ¨ (b âˆ§ c) = [(a âˆ§ c) âˆ¨ b] âˆ§ c.
- Modular law: {{nowrap|a â‰¤ c}} implies {{nowrap|1=a âˆ¨ (b âˆ§ c) = (a âˆ¨ b) âˆ§ c}}.
Semimodularity
A finite lattice is modular if and only if it is both upper and lower semimodular. For a graded lattice, (upper) semimodularity is equivalent to the following condition on the rank function r:
r(x) + r(y) â‰¥ r(x âˆ§ y) + r(x âˆ¨ y).
Another equivalent (for graded lattices) condition is Birkhoff's condition:
for each x and y in L, if x and y both cover {{nowrap|x âˆ§ y}}, then {{nowrap|x âˆ¨ y}} covers both x and y.
A lattice is called lower semimodular if its dual is semimodular. For finite lattices this means that the previous conditions hold with âˆ¨ and âˆ§ exchanged, "covers" exchanged with "is covered by", and inequalities reversed.{{Citation | last=Stanley | first=Richard P | authorlink=Richard P. Stanley | title=Enumerative Combinatorics (vol. 1) | publisher=Cambridge University Press | pages=103â€“104 | isbn=0-521-66351-2}}Continuity and algebraicity
In domain theory, it is natural to seek to approximate the elements in a partial order by "much simpler" elements. This leads to the class of continuous posets, consisting of posets where every element can be obtained as the supremum of a directed set of elements that are way-below the element. If one can additionally restrict these to the compact elements of a poset for obtaining these directed sets, then the poset is even algebraic. Both concepts can be applied to lattices as follows:- A continuous lattice is a complete lattice that is continuous as a poset.
- An algebraic lattice is a complete lattice that is algebraic as a poset.
Complements and pseudo-complements
Let L be a bounded lattice with greatest element 1 and least element 0. Two elements x and y of L are complements of each other if and only if:
{{nowrap|1=x âˆ¨ y = 1}} and {{nowrap|1=x âˆ§ y = 0}}.
In general, some elements of a bounded lattice might not have a complement, and others might have more than one complement. For example, the set {0, Â½, 1} with its usual ordering is a bounded lattice, and Â½ does not have a complement. In the bounded lattice N5, the element a has two complements, viz. b and c (see Pic.11). A bounded lattice for which every element has a complement is called a complemented lattice. A complemented lattice that is also distributive is a Boolean algebra. For a distributive lattice, the complement of x, when it exists, is unique.In the case the complement is unique, we write {{nowrap|1=Â¬x = y}} and equivalently, {{nowrap|1=Â¬y = x}}. The corresponding unary operation over L, called complementation, introduces an analogue of logical negation into lattice theory.Heyting algebras are an example of distributive lattices where some members might be lacking complements. Every element x of a Heyting algebra has, on the other hand, a pseudo-complement, also denoted Â¬x. The pseudo-complement is the greatest element y such that {{nowrap|1=x âˆ§ y = 0}}. If the pseudo-complement of every element of a Heyting algebra is in fact a complement, then the Heyting algebra is in fact a Boolean algebra.Jordanâ€“Dedekind chain condition
A chain from x0 to xn is a set { x_0, x_1, ldots, x_n}, where x_0 < x_1 < x_2 < ldots < x_n.The length of this chain is n, or one less than its number of elements. A chain is maximal if x'i covers x'iâˆ’1 for all {{nowrap|1 â‰¤ i â‰¤ n}}.If for any pair, x and y, where {{nowrap|x < y}}, all maximal chains from x to y have the same length, then the lattice is said to satisfy the Jordanâ€“Dedekind chain condition.Free lattices
Any set X may be used to generate the free semilattice FX. The free semilattice is defined to consist of all of the finite subsets of X, with the semilattice operation given by ordinary set union. The free semilattice has the universal property. For the free lattice over a set X, Whitman gave a construction based on polynomials over X{{'}}s members.JOURNAL, Philip Whitman, Free Lattices I, Annals of Mathematics, 42, 325â€“329, 1941, 10.2307/1969001, JOURNAL, Philip Whitman, Free Lattices II, Annals of Mathematics, 43, 104â€“115, 1942, 10.2307/1968883,Important lattice-theoretic notions
We now define some order-theoretic notions of importance to lattice theory. In the following, let x be an element of some lattice L. If L has a bottom element 0, {{nowrap|x â‰ 0}} is sometimes required. x is called:- Join irreducible if {{nowrap|1=x = a âˆ¨ b}} implies {{nowrap|1=x = a}} or {{nowrap|1=x = b}} for all a, b in L. When the first condition is generalized to arbitrary joins bigvee_{i in I} a_i, x is called completely join irreducible (or âˆ¨-irreducible). The dual notion is meet irreducibility (âˆ§-irreducible). For example, in pic.2, the elements 2, 3, 4, and 5 are join irreducible, while 12, 15, 20, and 30 are meet irreducible. In the lattice of real numbers with the usual order, each element is join irreducible, but none is completely join irreducible.
- Join prime if {{nowrap|x â‰¤ a âˆ¨ b}} implies {{nowrap|x â‰¤ a}} or {{nowrap|x â‰¤ b}}. This too can be generalized to obtain the notion completely join prime. The dual notion is meet prime. Every join-prime element is also join irreducible, and every meet-prime element is also meet irreducible. The converse holds if L is distributive.
- Atomic if for every nonzero element x of L, there exists an atom a of L such that {{nowrap|a â‰¤ x}};
- Atomistic if every element of L is a supremum of atoms.
See also
- Join and meet
- Map of lattices
- Orthocomplemented lattice
- Total order
- Ideal and filter (dual notions)
- Skew lattice (generalization to non-commutative join and meet)
- Eulerian lattice
- Post's lattice
- Tamari lattice
- Youngâ€“Fibonacci lattice
- 0,1-simple lattice
Applications that use lattice theory
{{list|date=March 2017}}Note that in many applications the sets are only partial lattices: not every pair of elements has a meet or join.- Pointless topology
- Lattice of subgroups
- Spectral space
- Invariant subspace
- Closure operator
- Abstract interpretation
- Subsumption lattice
- Fuzzy set theory
- Algebraizations of first-order logic
- Semantics of programming languages
- Domain theory
- Ontology (computer science)
- Multiple inheritance
- Formal concept analysis and lattice miner (theory and tool)
- Bloom filter
- Information flow
- Ordinal optimization
- Quantum logic
- Median graph
- Knowledge space
- Regular language learning
- Analogical modeling
Notes
{{reflist|group=note}}References
{{reflist}}Monographs available free online:- Burris, Stanley N., and H.P. Sankappanavar, H. P., 1981. A Course in Universal Algebra. Springer-Verlag. {{isbn|3-540-90578-2}}.
- Jipsen, Peter, and Henry Rose, Varieties of Lattices, Lecture Notes in Mathematics 1533, Springer Verlag, 1992. {{isbn|0-387-56314-8}}.
- Nation, J. B., Notes on Lattice Theory. Chapters 1-6. Chapters 7â€“12; Appendices 1â€“3.
- Donnellan, Thomas, 1968. Lattice Theory. Pergamon.
- GrÃ¤tzer, G., 1971. Lattice Theory: First concepts and distributive lattices. W. H. Freeman.
- {{Citation | last1=Davey | first1=B.A. | last2=Priestley | first2=H. A. | author2-link=Hilary Priestley | title=Introduction to Lattices and Order | publisher=Cambridge University Press | isbn=978-0-521-78451-1 | year=2002}}
- Garrett Birkhoff, 1967. Lattice Theory, 3rd ed. Vol. 25 of AMS Colloquium Publications. American Mathematical Society.
- Robert P. Dilworth and Crawley, Peter, 1973. Algebraic Theory of Lattices. Prentice-Hall. {{isbn|978-0-13-022269-5}}.
- BOOK, 978-3-7643-6996-5, General Lattice Theory, GrÃ¤tzer, George, Second, 1996, 1978, BirkhÃ¤user, Basel,
- R. Freese, J. Jezek, and J. B. Nation, 1985. "Free Lattices". Mathematical Surveys and Monographs Vol. 42. Mathematical Association of America.
- Johnstone, P.T., 1982. Stone spaces. Cambridge Studies in Advanced Mathematics 3. Cambridge University Press.
- BOOK, Å tÄ•pÃ¡nka BilovÃ¡, Lattice theory â€” its birth and life, 2001, 250â€“257, Prometheus, Eduard Fuchs,weblink
- BOOK, Garrett Birkhoff, What can Lattices do for you?, 1967, Van Nostrand, James C. Abbot, weblink" title="web.archive.org/web/20170808093034weblink">Table of contents
External links
{{Commons|Lattice (order)}}- {{springer|title=Lattice-ordered group|id=p/l057670}}
- {{Mathworld|urlname=Lattice |title=Lattice}}
- J.B. Nation, Notes on Lattice Theory, unpublished course notes available as two PDF files.
- Ralph Freese, "Lattice Theory Homepage".
- {{OEIS el|A006966|Number of unlabeled lattices with n elements}}
- content above as imported from Wikipedia
- "Lattice (order)" does not exist on GetWiki (yet)
- time: 8:58pm EST - Sun, Feb 17 2019
- "Lattice (order)" does not exist on GetWiki (yet)
- time: 8:58pm EST - Sun, Feb 17 2019