Skip to main content
\(\newcommand{\identity}{\mathrm{id}} \newcommand{\notdivide}{{\not{\mid}}} \newcommand{\notsubset}{\not\subset} \newcommand{\lcm}{\operatorname{lcm}} \newcommand{\gf}{\operatorname{GF}} \newcommand{\inn}{\operatorname{Inn}} \newcommand{\aut}{\operatorname{Aut}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\cis}{\operatorname{cis}} \newcommand{\chr}{\operatorname{char}} \newcommand{\Null}{\operatorname{Null}} \renewcommand{\vec}[1]{\mathbf{#1}} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)

Section13.1Posets Revisited

From Chapter 6, we recall the definition a partially ordering

Definition13.1.1Partial Ordering

Let \(\preceq\) be a relation on a set \(L\). We say that \(\preceq\) is a partial ordering on \(L\) if it is reflexive, antisymmetric, and transitive. That is:

  1. \(\preceq\) is reflexive: \(a \preceq a \quad \forall a \in L\)

  2. \(\preceq\) is antisymmetric: \(a \preceq b \textrm{ and } a \neq b \Rightarrow b \npreceq a \quad \forall a,b \in L\)

  3. \(\preceq\) is transitive: \(a \preceq b \textrm{ and } b \preceq c \Rightarrow a \preceq c \quad \forall a,b,c \in L\)

The set together with the relation \((L, \preceq)\) is called a poset

We recall a few examples of posets:

  1. \((\mathbb{R}, \leq)\) is a poset. Notice that our generic symbol for the partial ordering, \(\preceq\), is selected to remind us that a partial ordering is similar to “less than or equal to.”

  2. Let \(A=\{a,b\}\). Then \((\mathcal{P}(A) ,\subseteq)\) is a poset.

  3. Let \(L = \{1, 2, 3, 6\}\). Then \((L,\mid)\) is a poset.

The posets we will concentrate on in this chapter will be those which have upper and lower bounds in relation to any pair of elements. Next, we define this concept precisely.

Definition13.1.3Lower Bound, Upper Bound

Let \((L, \preceq)\) be a poset, and \(a, b \in L\). Then \(c \in L\) is a lower bound of \(a\) and \(b\) if \(c \preceq a\) and \(c \preceq b\). Also, \(d \in L\) is an upper bound of \(a\) and \(b\) if \(a \preceq d\) and \(b \preceq d\).

In most of the posets that will interest us, every pair of elements have both upper and lower bounds, though there are posets for which this is not true.

Definition13.1.4Greatest Lower Bound

Let \((L, \preceq)\) be a poset. If \(a, b \in L\), then \(\ell \in L\) is a greatest lower bound of \(a\) and \(b\) if and only if

  • \(\ell \preceq a\)

  • \(\ell \preceq b\)

  • If \(\ell' \in L\) such that \(\ell' \preceq a\) and \(\ell' \preceq b\), then \(\ell' \preceq \ell\).

The last condition in the definiton of Greatest Lower Bound says that if \(\ell'\) is also a lower bound, then \(\ell\) is “greater” in relation to \(\preceq\) than \(\ell'\). The definition of a least upper bound is a mirror image of a greatest lower bound:

Definition13.1.5Least Upper Bound

Let \((L, \preceq)\) be a poset. If \(a, b \in L\), then \(u \in L\) is a least upper bound of \(a\) and \(b\) if and only if

  • \(a \preceq u\)

  • \(b \preceq u\)

  • If \(u' \in L\) such that if \(a \preceq u'\) and \(b \preceq u'\), then \(u \preceq u'\).

Notice that the two definitions above refer to “...a greatest lower bound” and “a least upper bound.” Any time you define an object like these you need to have an open mind as to whether more than one such object can exist. In fact, we now can prove that there can't be two greatest lower bounds or two least upper bounds.

Let \(\ell\) and \(\ell'\) be greatest lower bounds of \(a\) and \(b\text{.}\) We will prove that \(\ell=\ell'\).

  1. \(\ell\) a greatest lower bound of \(a\) and \(b\) \(\Rightarrow\) \(\ell\) is a lower bound of \(a\) and \(b\).

  2. \(\ell'\) a greatest lower bound of \(a\) and \(b\) and \(\ell\) a lower bound of \(a\) and \(b\) \(\Rightarrow \ell \preceq \ell'\), by the definition of greatest lower bound.

  3. \(\ell'\) a greatest lower bound of \(a\) and \(b\) \(\Rightarrow \ell'\) is a lower bound of \(a\) and \(b\).

  4. \(\ell\) a greatest lower bound of \(a\) and \(b\) and \(\ell'\) a lower bound of \(a\) and \(b\text{.}\) \(\Rightarrow \ell' \preceq \ell\) by the definition of greatest lower bound.

  5. \(\ell\preceq \ell'\) and \(\ell'\preceq \ell \Rightarrow \ell=\ell'\) by the antisymmetry property of a partial ordering.

The proof of the second statement in the theorem is almost identical to the first and is left to the reader.

Definition13.1.7Greatest Element, Least Element

Let \((L, \preceq)\) be a poset. \(M \in L\) is called the greatest (maximum) element of \(L\) if, for all \(a \in L\), \(a \preceq M\). In addition, \(m \in L\) is called the least (minimum) element of \(L\) if for all \(a \in L\), \(m \preceq a\). The greatest and least elements, when they exist, are frequently denoted by \(\pmb{1}\) and \(\pmb{0}\) respectively.

Consider the partial ordering “divides” on \(L = \{1, 3, 5, 7, 15, 21, 35, 105\}\). Then \((L, \mid)\) is a poset. To determine the least upper bound of 3 and 7, we look for all \(u \in L\), such that \(3|u\) and \(7|u\). Certainly, both \(u = 21\) and \(u = 105\) satisfy these conditions and no other element of \(L\) does. Next, since \(21|105\), \(21\) is the least upper bound of 3 and 7. Similarly, the least upper bound of 3 and 5 is 15. The greatest element of \(L\) is 105 since \(a|105\) for all \(a \in L\). To find the greatest lower bound of 15 and 35, we first consider all elements \(g\) of \(L\) such that \(g \mid 15\text{.}\) They are 1, 3, 5, and 15. The elements for which \(g \mid 35\) are 1, 5, 7, and 35. From these two lists, we see that \(\ell = 5\) and \(\ell = 1\) satisfy the required conditions. But since \(1|5\), the greatest lower bound is 5. The least element of \(L\) is 1 since \(1|a\) for all \(a \in L\).

Definition13.1.9The Set of Divisors of an Integer

For any positive integer \(n\text{,}\) the divisors of \(n\) is the set of integers that divide evenly into \(n\text{.}\) We denote this set \(D_n\).

For example, the set \(L\) of Example 13.1.8 is \(D_{105}\).

Consider the poset \((\mathcal{P}(A),\subseteq)\), where \(A = \{1, 2, 3\}\). The greatest lower bound of \(\{1, 2\}\) and \(\{1,3\}\) is \(\ell = \{1\}\). For any other element \(\ell'\) which is a subset of \(\{a, b\}\) and \(\{a, c\}\) (there is only one; what is it?), \(\ell' \subseteq \ell\). The least element of \(\mathcal{P}(A)\) is \(\emptyset\) and the greatest element is \(A=\{a, b, c\}\). The Hasse diagram of this poset is shown in Figure 13.1.11.

Power Set of \(\{1, 2, 3\}\)
Figure13.1.11Power Set of \(\{1, 2, 3\}\)

The previous examples and definitions indicate that the least upper bound and greatest lower bound are defined in terms of the partial ordering of the given poset. It is not yet clear whether all posets have the property such every pair of elements always has both a least upper bound and greatest lower bound. Indeed, this is not the case (see Exercise 13.1.1.3).

Subsection13.1.1Exercises for Section 13.1

A Exercises

1

Consider the poset \((D_{30},\mid)\), where \(D_{30} = \{1,2, 3, 5, 6, 10, 15, 30\}\).

  1. Find all lower bounds of 10 and 15.

  2. Find the greatest lower bound of 10 and 15.

  3. Find all upper bounds of 10 and 15.

  4. Determine the least upper bound of 10 and 15.

  5. Draw the Hasse diagram for \(D_{30}\) with respect to \(\div\). Compare this Hasse diagram with that of Example 13.1.10. Note that the two diagrams are structurally the same.

Answer
  1. 1, 5

  2. 5

  3. 30

  4. 30

  5. See the Sage cell below with the default input displaying a Hasse diagram for \(D_{12}\).

2

List the elements of the sets \(D_8\), \(D_{50}\), and \(D_{1001}\). For each set, draw the Hasse diagram for “divides.”

3

Figure 13.1.12 contains Hasse diagrams of posets.

  1. Determine the least upper bound and greatest lower bound of all pairs of elements when they exist. Indicate those pairs that do not have a least upper bound (or a greatest lower bound ).

  2. Find the least and greatest elements when they exist.

Section 13.1, Exercise 3
Figure13.1.12Figure for Exercise 3
Answer
  • Solution for Hasse diagram (b):

    • \[\begin{array}{c|c} \begin{array}{c|ccccc} \lor &a_1 & a_2 & a_3 & a_4 & a_5 \\ \hline a_1 & a_1 &a_2 & a_3 & a_4 & a_5 \\ a_2 & a_2 & a_2 & a_4 & a_4 & a_5 \\ a_3 &a_3 & a_4 & a_3 & a_4 & a_5 \\ a_4 & a_4 & a_4 & a_4 & a_4 & a_5 \\ a_5 & a_5 & a_5 & a_5 & a_5 & a_5 \\ \end{array} &\quad \begin{array}{c|ccccc} \land & a_1 & a_2 & a_3 & a_4 & a_5 \\\hline a_1 & a_1 & a_1 & a_1 & a_1 & a_1 \\ a_2 & a_1 & a_2 & a_1 & a_2 & a_2 \\ a_3 & a_1 & a_1 & a_3 & a_3 & a_3 \\ a_4 & a_1 & a_2 & a_3 & a_4 & a_4 \\ a_5 & a_1 & a_2 & a_3 & a_4 & a_5 \\ \end{array} \end{array}\]

      \(a_1\) is the least element and \(a_5\) is the greatest element.

  • Partial solution for Hasse diagram (f):

    • \(\textrm{ lub}\left(a_2, a_3\right)\) and \(\textrm{ lub}\left( a_4,a_5\right)\) do not exist.

    • No greatest element exists, but \(a_1\) is the least element.

4

For the poset \((\mathbb{N},\leq )\), what are the greatest lower bound and least upper bound of two elements \(a\) and \(b\)? Are there least and/or greatest elements?

5
  1. Prove the second part of Theorem 13.1.6, the least upper bound of two elements in a poset is unique, it one exists.

  2. Prove that if a poset \(L\) has a least element, then that element is unique.

Answer

If \(0\) and \(0'\) are distinct least elements, then

\begin{equation*} \left. \begin{array}{cc} 0\leq 0' & \textrm{ since } 0 \textrm{ is a least element} \\ 0'\leq 0 & \textrm{ since } 0' \textrm{ is a least element} \\ \end{array} \right\}\Rightarrow 0=0' \textrm{ by antisymmetry, a contradiction} \end{equation*}
6

We naturally order the numbers in \(A_m = \{1, 2, . . . , m\}\) with “less than or equal to,” which is a partial ordering. We define an ordering, \(\preceq\) on the elements of \(A_m \times A_n\) by \[(a, b) \preceq (a', b') \Leftrightarrow a \leq a' \textrm{ and } b \leq b'\]

  1. Prove that \(\preceq\) is a partial ordering on \(A_m \times A_n\).

  2. Draw the ordering diagrams for \(\preceq\) on \(A_2 \times A_2\), \(A_2\times A_3\), and \(A_3 \times A_3\).

  3. In general, how does one determine the least upper bound and greatest lower bound of two pairs of elements of \(A_m \times A_n\)?

  4. Are there least and/or greatest elements in \(A_m \times A_n\)?