Question #148113

(a) Is every total ordering a lattice? Why or why not?

Expert's answer

A partially ordered set (L,≤)(L, ≤) is called a lattice if each two-element subset {a,b}⊆L\{a, b\} ⊆ L has supremum and infimum in LL, denoted by a∨ba ∨ b and a∧ba ∧ b, respectively.


If (L,≤)(L, ≤) is a total ordering, then by definition, a≤b{\displaystyle a\leq b} or b≤a{\displaystyle b\leq a} for all a,b∈La,b\in L. If a≤b{\displaystyle a\leq b}, then a∨b=b∈La ∨ b=b\in L and a∧b=a∈La ∧ b=a\in L. If b≤a{\displaystyle b\leq a}, then a∨b=a∈La ∨ b=a\in L and a∧b=b∈La ∧ b=b\in L.


Therefore, every total ordering is a lattice.


LATEST TUTORIALS
APPROVED BY CLIENTS