Skip to main content
\(\newcommand{\set}[1]{\{1,2,\dotsc,#1\,\}} \newcommand{\ints}{\mathbb{Z}} \newcommand{\posints}{\mathbb{N}} \newcommand{\rats}{\mathbb{Q}} \newcommand{\reals}{\mathbb{R}} \newcommand{\complexes}{\mathbb{C}} \newcommand{\twospace}{\mathbb{R}^2} \newcommand{\threepace}{\mathbb{R}^3} \newcommand{\dspace}{\mathbb{R}^d} \newcommand{\nni}{\mathbb{N}_0} \newcommand{\nonnegints}{\mathbb{N}_0} \newcommand{\dom}{\operatorname{dom}} \newcommand{\ran}{\operatorname{ran}} \newcommand{\prob}{\operatorname{prob}} \newcommand{\Prob}{\operatorname{Prob}} \newcommand{\height}{\operatorname{height}} \newcommand{\width}{\operatorname{width}} \newcommand{\length}{\operatorname{length}} \newcommand{\crit}{\operatorname{crit}} \newcommand{\inc}{\operatorname{inc}} \newcommand{\HP}{\mathbf{H_P}} \newcommand{\HCP}{\mathbf{H^c_P}} \newcommand{\GP}{\mathbf{G_P}} \newcommand{\GQ}{\mathbf{G_Q}} \newcommand{\AG}{\mathbf{A_G}} \newcommand{\GCP}{\mathbf{G^c_P}} \newcommand{\PXP}{\mathbf{P}=(X,P)} \newcommand{\QYQ}{\mathbf{Q}=(Y,Q)} \newcommand{\GVE}{\mathbf{G}=(V,E)} \newcommand{\HWF}{\mathbf{H}=(W,F)} \newcommand{\bfC}{\mathbf{C}} \newcommand{\bfG}{\mathbf{G}} \newcommand{\bfH}{\mathbf{H}} \newcommand{\bfF}{\mathbf{F}} \newcommand{\bfI}{\mathbf{I}} \newcommand{\bfK}{\mathbf{K}} \newcommand{\bfP}{\mathbf{P}} \newcommand{\bfQ}{\mathbf{Q}} \newcommand{\bfR}{\mathbf{R}} \newcommand{\bfS}{\mathbf{S}} \newcommand{\bfT}{\mathbf{T}} \newcommand{\bfNP}{\mathbf{NP}} \newcommand{\bftwo}{\mathbf{2}} \newcommand{\cgA}{\mathcal{A}} \newcommand{\cgB}{\mathcal{B}} \newcommand{\cgC}{\mathcal{C}} \newcommand{\cgD}{\mathcal{D}} \newcommand{\cgE}{\mathcal{E}} \newcommand{\cgF}{\mathcal{F}} \newcommand{\cgG}{\mathcal{G}} \newcommand{\cgM}{\mathcal{M}} \newcommand{\cgN}{\mathcal{N}} \newcommand{\cgP}{\mathcal{P}} \newcommand{\cgR}{\mathcal{R}} \newcommand{\cgS}{\mathcal{S}} \newcommand{\bfn}{\mathbf{n}} \newcommand{\bfm}{\mathbf{m}} \newcommand{\bfk}{\mathbf{k}} \newcommand{\bfs}{\mathbf{s}} \newcommand{\bijection}{\xrightarrow[\text{onto}]{\text{$1$--$1$}}} \newcommand{\injection}{\xrightarrow[]{\text{$1$--$1$}}} \newcommand{\surjection}{\xrightarrow[\text{onto}]{}} \newcommand{\nin}{\not\in} \newcommand{\prufer}{\mbox{prüfer}} \DeclareMathOperator{\fix}{fix} \DeclareMathOperator{\stab}{stab} \DeclareMathOperator{\var}{var} \newcommand{\inv}{^{-1}} \newcommand{\lt}{ < } \newcommand{\gt}{ > } \newcommand{\amp}{ & } \)

Section6.1Basic Notation and Terminology

A partially ordered set or poset \(\bfP\) is a pair \((X,P)\) where \(X\) is a set and \(P\) is a reflexive, antisymmetric, and transitive binary relation on \(X\). (Refer to Section B.10 for a refresher of what these properties are if you need to.) We call \(X\) the ground set while \(P\) is a partial order on \(X\). Elements of the ground set \(X\) are also called points, and the poset \(\bfP\) is finite if its ground set \(X\) is a finite set.

Example6.3

Let \(X=\{a,b,c,d,e,f\}\). Consider the following binary relations on \(X\). \begin{align*} R_1=\{\amp (a,a),(b,b),(c,c),(d,d),(e,e),(f,f),(a,b),(a,c),(e,f)\}\\ R_2=\{\amp (a,a),(b,b),(c,c),(d,d),(e,e),(f,f),(d,b),(d,e),(b,a),(e,a),\\ \amp(d,a),(c,f)\}\\ R_3=\{\amp(a,a),(b,b),(c,c),(d,d),(e,e),(f,f),(a,c),(a,e),(a,f),(b,c),\\ \amp(b,d),(b,e),(b,f),(d,e),(d,f),(e,f)\}\\ R_4=\{\amp(a,a),(b,b),(c,c),(d,d),(e,e),(f,f),(d,b),(b,a),(e,a),(c,f)\}\\ R_5=\{\amp(a,a),(c,c),(d,d),(e,e),(a,e),(c,a),(c,e),(d,e)\}\\ R_6=\{\amp(a,a),(b,b),(c,c),(d,d),(e,e),(f,f),(d,f),(b,e),(c,a),(e,b)\} \end{align*} Which of the binary relations are partial orders on \(X\)? For those that are not partial orders on \(X\), which property or properties are violated?

Solution

When \(\PXP\) is a poset, it is common to write \(x\le y\) in \(P\) or \(y\ge x\) in \(P\) as substitutes for \((x,y)\in P\). Of course, the notations \(x\lt y\) in \(P\) and \(y>x\) in \(P\) mean \(x\le y\) in \(P\) and \(x\ne y\). When the poset \(\bfP\) remains fixed throughout a discussion, we will sometimes abbreviate \(x\le y\) in \(P\) by just writing \(x\le y\), etc. When \(x\) and \(y\) are distinct points from \(X\), we say \(x\) is covered by \(y\) in \(P\) 1  when \(x\lt y\) in \(P\), and there is no point \(z\in X\) for which \(x\lt z\) and \(z\lt y\) in \(P\). For example, in the poset \(\bfP_3=(X,R_3)\) from Example 6.3, \(d\) is covered by \(e\) and \(c\) covers \(b\). However, \(a\) is not covered by \(f\), since \(a\lt e\lt f\) in \(R_3\). We can then associate with the poset \(\bfP\) a cover graph \(\mathbf{G}\) whose vertex set is the ground set \(X\) of \(\bfP\) with \(xy\) an edge in \(\mathbf{G}\) if and only if one of \(x\) and \(y\) covers the other in \(\bfP\). Again, for the poset \(\bfP_3\) from Example 6.3, we show the cover graph on the left side of Figure 6.4. Actually, on the right side of this figure is just another drawing of this same graph.

<<SVG image is unavailable, or your browser cannot render it>>

Figure6.4Cover Graph

It is convenient to illustrate a poset with a suitably drawn diagram of the cover graph in the Euclidean plane. We choose a standard horizontal/vertical coordinate system in the plane and require that the vertical coordinate of the point corresponding to \(y\) be larger than the vertical coordinate of the point corresponding to \(x\) whenever \(y\) covers \(x\) in \(P\). Each edge in the cover graph is represented by a straight line segment which contains no point corresponding to any element in the poset other than those associated with its two end points. Such diagrams are called Hasse diagrams (poset diagrams, order diagrams, or just diagrams). Now it should be clear that the drawing on the right side of Figure 6.4 is a diagram of the poset \(\bfP_3\) from Example 6.3, while the diagram on the left is not.

For posets of moderate size, diagrams are frequently used to define a poset—rather than the explicit binary relation notation illustrated in Example 6.3. In Figure 6.5, we illustrate a poset \(\PXP\) with ground set \(X=[17]=\{1,2,\dots,17\}\). It would take several lines of text to write out the binary relation \(P\), and somehow the diagram serves to give us a more tactile sense of the properties of the poset.

<<SVG image is unavailable, or your browser cannot render it>>

Figure6.5A Poset on 17 Points
Discussion6.6

Alice and Bob are talking about how you communicate with a computer in working with posets. Bob says that computers have incredible graphics capabilities these days and that you just give the computer a pdf scan of a diagram. Alice says that she doubts that anybody really does that. Carlos says that there are several effective strategies. One way is to label the points with positive integers from \([n]\) where \(n\) is the number of points in the ground set and then define a \(0\)–\(1\) \(n\times n\) matrix \(A\) with entry \(a(i,j)=1\) when \(i\le j\) in \(P\) and \(a(i,j)=0\) otherwise. Alternatively, you can just provide for each element \(i\) in the ground set a vector \(U(x)\) listing all elements which are greater than \(x\) in \(P\). This vector can be what computer scientists call a linked list.

Example6.7

There are several quite natural ways to construct posets.

  1. A family \(\mathcal{F}\) of sets is partially ordered by inclusion, i.e., set \(A\le B\) if and only if \(A\) is a subset of \(B\).

  2. A set \(X\) of positive integers is partially ordered by division—without remainder, i.e., set \(m\le n\) if and only if \(n\equiv 0\pmod{m}\).

  3. A set \(X\) of \(t\)-tuples of real numbers is partially ordered by the rule \begin{equation*}(a_1,a_2,\dots,a_t)\le (b_1,b_2,\dots,b_t)\end{equation*} if and only if \(a_i\le b_i\) in the natural order on \(\reals\) for \(i=1,2,\dots,t\).

  4. When \(L_1\), \(L_2,\dots,L_k\) are linear orders on the same set \(X\), we can define a partial order \(P\) on \(X\) by setting \(x\le y\) in \(P\) if and only if \(x\le y\) in \(L_i\) for all \(i=1,2,\dots,k\).

We illustrate the first three constructions with the posets shown in Figure 6.8. As is now clear, in the discussion at the very beginning of this chapter, Dave drew a diagram for the poset determined by the intersection of the linear orders given by Alice and the movie critic.

<<SVG image is unavailable, or your browser cannot render it>>

Figure6.8Constructing Posets

Distinct points \(x\) and \(y\) in a poset \(\PXP\) are comparable if either \(x\lt y\) in \(P\) or \(x>y\) in \(P\); otherwise \(x\) and \(y\) are incomparable. If \(x\) and \(y\) are incomparable in \(\bfP\), we sometimes write \(x\| y\) in \(\bfP\).With a poset \(\PXP\), we associate a comparability graph \({\bfG}_1=(X,E_1)\) and an incomparability graph \({\bfG}_2=(X,E_2)\). The edges in the comparability graph \({\bfG}_1\) consist of the comparable pairs and the edges in the incomparability graph are the incomparable pairs. We illustrate these definitions in Figure 6.9 where we show the comparability graph and the incomparability graph of the poset \(\bfP_3\).

<<SVG image is unavailable, or your browser cannot render it>>

Figure6.9Comparability and Incomparability Graphs

A partial order \(P\) is called a total order (also, a linear order) if for all \(x,y\in X\), either \(x\le y\) in \(P\) or \(y\le x\) in \(P\). For small finite sets, we can specify a linear order by listing the elements from least to greatest. For example, \(L=[b,c,d,a,f,g,e]\) is the linear order on the ground set \(\{a,b,c,d,e,f,g\}\) with \(b\lt c\lt d\lt a\lt f\lt g\lt e\) in \(L\).

The set of real numbers comes equipped with a natural total order. For example, \(1\lt 7/5\lt \sqrt{2}\lt \pi\) in this order. But in this chapter, we will be interested primarily with partial orders that are not linear orders. Also, we note that special care must be taken when discussing partial orders on ground sets whose elements are real numbers. For the poset shown in Figure 6.5, note that \(14\) is less than \(8\), while \(3\) and \(6\) are incomparable. Best not to tell your parents that you've learned that under certain circumstances, \(14\) can be less than \(8\) and that you may be able to say which of \(3\) and \(6\) is larger than the other. The subtlety may be lost in the heated discussion certain to follow.

When \(\PXP\) is a poset and \(Y\subseteq X\), the binary relation \(Q=P\cap(Y\times Y)\) is a partial order on \(Y\), and we call the poset \((Y,Q)\) a subposet of \(\bfP\). In Figure 6.10, we show a subposet of the poset first presented in Figure 6.5.

<<SVG image is unavailable, or your browser cannot render it>>

Figure6.10A Subposet

When \(\PXP\) is a poset and \(C\) is a subset of \(X\), we say that \(C\) is a chain if every distinct pair of points from \(C\) is comparable in \(P\). When \(P\) is a linear order, the entire ground set \(X\) is a chain. Dually, if \(A\) is a subset of \(X\), we say that \(A\) is an antichain if every distinct pair of points from \(A\) is incomparable in \(P\). Note that a one-element subset is both a chain and an antichain. Also, we consider the empty set as both a chain and an antichain.

The height of a poset \(\PXP\), denoted \(\height(\bfP)\), is the largest \(h\) for which there exists a chain of \(h\) points in \(\bfP\). Dually, the width of a poset \(\PXP\), denoted \(\width(\bfP)\), is the largest \(w\) for which there exists an antichain of \(w\) points in \(\bfP\).

Discussion6.11

Given a poset \(\PXP\), how hard is to determine its height and width? Bob says that it is very easy. For example, to find the width of a poset, just list all the subsets of \(X\). Delete those which are not antichains. The answer is the size of the largest subset that remains. He is quick to assert that the same approach will work to find the height. Alice groans at Bob's naivety and suggests that he should read further in this chapter.