Math 2.0

Order, lattices, ordered algebraic structures Definition

Relatively complemented lattice

Builds on LatticeJoin and meetComplemented lattice

Definition

Let LL be a lattice with join and meet ∨\vee and ∧\wedge. For c≤dc \le d in LL, write [c,d]={x∈L:c≤x≤d}[c, d] = \set{x \in L : c \le x \le d}. A relative complement of a∈[c,d]a \in [c, d] in [c,d][c, d] is an element b∈[c,d]b \in [c, d] such that a∧b=canda∨b=d.a \wedge b = c \quad\text{and}\quad a \vee b = d. The lattice LL is relatively complemented if for all c≤dc \le d in LL, every element of [c,d][c, d] has a relative complement in [c,d][c, d].

Remarks

Equivalently, every interval [c,d][c, d] of LL is a complemented lattice with least element cc and greatest element dd. A relatively complemented lattice with a least and a greatest element is complemented.

Example: the lattice of all subsets of a set XX. For C⊆A⊆DC \subseteq A \subseteq D, the set B=C∪(D∖A)B = C \cup (D \setminus A) satisfies A∩B=CA \cap B = C and A∪B=DA \cup B = D.

Non-example: the pentagon lattice N5 with 0<a<c<10 < a < c < 1 and bb incomparable to aa and cc. It is complemented, but the interval [0,c][0, c] is the chain 0<a<c0 < a < c, in which aa has no complement.

A complemented modular lattice is relatively complemented: if xx is a complement of aa and c≤a≤dc \le a \le d, then b=c∨(x∧d)b = c \vee (x \wedge d) is a relative complement of aa in [c,d][c, d].

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Complemented lattice concept
  2. Join and meet concept
  3. Lattice concept
  4. Relatively complemented lattice definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Complemented_lattice
About this page
TagZ5E2GX2B81
URIm2://Z5E2GX2B81
Kinddefinition
WritingW0 stub
MSC06C15, 06B05
DefinesRelatively complemented lattice
UsesLattice, Join and meet, Complemented lattice

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.