You are here
Home ›criteria for a poset to be a complete lattice
Primary tabs
criteria for a poset to be a complete lattice
Proposition. Let be a poset. Then the following are equivalent.
1. is a complete lattice.
2. for every subset of , exists.
3. for every finite subset of and every directed set of , and exist.
Proof.
Implications are clear. We will show
If , then by definition. So assume be a non-empty subset of . Let be the set of all finite subsets of and . By assumption, is well-defined and . Next, let be the set of all directed subsets of , and . By assumption again, is well-defined and . Now, every chain in has a maximal element in (since a chain is a directed set), itself has a maximal element by Zorn’s Lemma. We will show that is the least upper bound of elments of . It is clear that each is bounded above by (). If is an upper bound of elements of , then it is an upper bound of elements of , and hence an upper bound of elements of , which means .
By assumption exists (), so that . Now suppose is a proper subset of . We want to show that exists. If , then by definition of an arbitrary meet over the empty set. So assume . Let be the set of lower bounds of : and let , the least upper bound of . exists by assumption. Since is a set of upper bounds of , for all . This means that is a lower bound of elements of , or . If is any lower bound of elements of , then , since is bounded above by (). This shows that exists and is equal to . ∎
Remarks.
-
The above proposition shows, for example, that every closure system is a complete lattice.
Mathematics Subject Classification
06B23 Complete lattices, completions03G10 Lattices and related structures
- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
new image: sinx_approx.png by jeremyboden
new image: approximation_to_sinx by jeremyboden
new image: approximation_to_sinx by jeremyboden
new question: Solving the word problem for isomorphic groups by mairiwalker
new image: LineDiagrams.jpg by m759
new image: ProjPoints.jpg by m759
new image: AbstrExample3.jpg by m759
new image: four-diamond_figure.jpg by m759
May 16
new problem: Curve fitting using the Exchange Algorithm. by jeremyboden
new question: Undirected graphs and their Chromatic Number by Serchinnho


