19.2: Definition and properties
- Page ID
- 83500
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Notice that in each of the examples in Section 19.1, the notion of “is smaller than” is defined via a relation. We will use \(\mathord{\le}\) on \(\mathbb{N}\) as our model for a relation on a set that can be thought of as expressing “is smaller than or equal in size to.”
- Every element in the set should be “smaller than or equal to” itself, so the relation should be reflexive.
- Relative size should never be bidirectional for distinct elements in the set, so the relation should be antisymmetric.
- We should be able to infer size relationships from chains of them, so the relation should be transitive.
Notice that these are the same properties as for an equivalence relation, except that we have flipped symmetric to antisymmetric. Make sure to keep this straight!
Definition: Partial Order
a relation that is reflexive, antisymmetric, and transitive
Definition: Partially Ordered Set
a set equipped with a particular partial order
Definition: \(\mathord{\preceq}\)
symbol for an abstract partial order
Definition: strictly less/smaller than
\(a \preceq b\) and \(a \neq b\)
Definition: \(a \prec b\)
\(a\) is strictly less/smaller than \(b\)
Warning \(\PageIndex{1}\)
We previously used the symbol \(\mathord{\preceq}\) to mean exclusively “is a subgraph of,” but that was in anticipation of the introduction of this symbol to now mean a general partial order.
Example \(\PageIndex{1}\): “Less than or equal to” versus “less than” on sets of numbers.
The usual notion of \(\mathord{\leq}\) is a partial order on \(\mathbb{N}\) (or \(\mathbb{Z}\) or \(\mathbb{Q}\) or \(\mathbb{R}\)), but \(\mathord{\lt}\) is not.
Example \(\PageIndex{2}\): Subset relation.
For every set \(U\text{,}\) the relation \(\mathord{\subseteq}\) is a partial order on \(\mathscr{P}(U)\text{,}\) but \(\mathord{\subsetneqq}\) is not.
Example \(\PageIndex{3}\): Subgraph relation.
For every graph \(G\text{,}\) the subgraph relation \(\mathord{\preceq}\) is a partial order on \(S(G)\text{,}\) the set of subgraphs of \(G\text{.}\)
Example \(\PageIndex{4}\): Comparing cardinalities.
Suppose \(U\) is a universal set, and consider the collection of finite subsets of \(U\text{.}\) Then we have a natural way to compare sizes of these subsets: write \(A \mathrel{R} B\) to mean \(\vert A \vert \le \vert B \vert\text{.}\) However, this relation is not a partial order as it is not antisymmetric. This is because it is possible to have both \(A \mathrel{R} B\) and \(B \mathrel{R} A\) with \(A \neq B\text{,}\) in the case that \(\vert A \vert = \vert B \vert\text{.}\) Changing the relation to mean \(\vert A \vert \lneqq \vert B \vert\) doesn't help, since then it wouldn't be reflexive.
Now suppose the universal set \(U\) is infinite and consider all (hence possibly infinite) subsets of \(U\text{.}\) In this case we have a more general idea of smaller and larger, where \(A\) is smaller than \(B\) if there exists an injection \(A \hookrightarrow B\) but no bijection \(A \to B\text{.}\) This more general notion of size comparison via cardinality suffers the same flaws as in the finite set case, as it is not reflexive, and if we try to fix that by adding “or same size as” then it will not be antisymmetric.
However, in both finite and (possibly) infinite cases, we can turn cardinality comparison into a partial order using “smaller than or equal to”, where “smaller” must mean strictly smaller in terms of cardinality, but “equal” means equality of sets rather than equality of cardinality.
Example \(\PageIndex{5}\): English alphabetic order.
Let \(\Sigma = \{a, b, c, \ldots, y, z\}\text{,}\) and consider alphabetic order on the set of words \(\Sigma ^{\ast}\text{;}\) e.g.
\begin{align*} \mathrm{gqtiu} & \preceq \mathrm{ppb}, & \mathrm{aaay} & \preceq \mathrm{aaaz}, & \mathrm{aaa} & \preceq \mathrm{aaaa}. \end{align*}
Alphabetic ordering is a partial order on \(\Sigma ^{\ast}\text{.}\)
Example \(\PageIndex{6}\): Lexicographic order.
We can generalize the previous example: if \(\Sigma\) is a partially ordered alphabet set equipped with partial order \(\mathord{\preceq}\text{,}\) then we may inductively define a partial order \(\mathord{\preceq^\ast}\) on \(\Sigma ^{\ast}\) by:
- \(\emptyset \preceq^\ast w\) for every \(w \in \Sigma ^{\ast}\text{,}\) where \(\emptyset\) is the empty word;
- for \(a,b \in \Sigma\text{,}\) considering these letters as words of length \(1\) in \(\Sigma ^{\ast}\) take \(a \preceq^\ast b\) to mean \(a \preceq b\) in \(\Sigma\text{;}\)
- for letters \(a_1, a_2 \in \Sigma\) and words \(w_1, w_2 \in \Sigma ^{\ast}\text{,}\) take \(a_1 w_1 \preceq^\ast a_2 w_2\) to mean that either
- \(a_1 \ne a_2\) and \(a_1 \preceq a_2\text{,}\) or
- \(a_1 = a_2\) and \(w_1 \preceq^\ast w_2\text{.}\)
This is called lexicographic or dictionary order on \(\Sigma ^{\ast}\text{.}\)
Example \(\PageIndex{7}\): Ordering Cartesian products.
We can employ a similar tactic for Cartesian products. If \(\mathord{\preceq_A}, \mathord{\preceq_B}\) are partial orders on sets \(A,B\text{,}\) respectively, we can define a partial order \(\mathord{\preceq}\) on \(A \times B\) by allowing \((a_1, b_1) \preceq (a_2, b_2)\) to mean that either
\(a_1 \ne a_2\) and \(a_1 \preceq_A a_2\text{,}\) or
\(a_1 = a_2\) and \(b_1 \preceq_B b_2\text{.}\)
This is also called lexicographic order.
Example \(\PageIndex{8}\): Larger/greater than is a partial order.
We can flip “smaller/less than or equal to” around to “larger/greater than or equal to.” For example, for elements \(m,n \in \mathbb{N}\text{,}\) write \(m \preceq n\) to mean \(m \ge n\text{.}\) Then \(\mathord{\preceq}\) is a partial order on \(\mathbb{N}\text{.}\)
This is an instance of a more general pattern. Given a partial order \(\mathord{\preceq}\) on a set \(A\text{,}\) the inverse relation \(\mathord{\vert \preceq \vert}\text{,}\) where \(a_1 \mathrel{\vert \preceq \vert} a_2\) means \(a_2 \preceq a_1\text{,}\) is also a partial order on \(A\text{,}\) called the dual order.
Example \(\PageIndex{9}\): Transferring \(\le\) on \(\mathbb{N}\) to a power set.
Let \(A = \{a,b,c,d\}\text{,}\) and let us “encode” each element of \(\mathscr{P}(A)\) by the following algorithm.
Given input element \(X \in \mathscr{P}(A)\) (that is, given input \(X\) that is a subset of \(A\)):
- Initialize encoded value \(r = 0\text{.}\)
- If \(X\) contains \(a\text{,}\) add \(1\) to \(r\text{.}\)
- If \(X\) contains \(b\text{,}\) add \(2\) to \(r\text{.}\)
- If \(X\) contains \(c\text{,}\) add \(4\) to \(r\text{.}\)
- If \(X\) contains \(d\text{,}\) add \(8\) to \(r\text{.}\)
- Set \(\text{encode}(X)\) to be the final value of \(r\text{.}\)
For example,
\begin{align*} \text{encode}(\{b\}) & = 2, & \text{encode}(\emptyset) & = 0,\\ \text{encode}(\{a,c\}) & = 1 + 4 = 5, & \text{encode}(A) & = 1 + 2 + 4 + 8 = 15. \end{align*}
This encoding process is one-to-one; that is, no two subsets of \(A\) will output the same encoded value.
Now define \(\mathord{\preceq}\) on \(\mathscr{P}(A)\) by taking \(X \preceq Y\) to mean \(\text{encode}(X) \le \text{encode}(Y)\text{.}\) For example,
\begin{align*} \{a,b,c\} & \preceq \{d\}, & \{a,d\} & \preceq \{b,d\}, \end{align*}
and both
\begin{align*} \emptyset & \preceq X, & X & \preceq A \end{align*}
are true for every subset \(X \subseteq A\text{.}\)
The facts that \(\mathord{\le}\) is a partial order on \(\mathbb{N}\) and that this encoding process is one-to-one will combine to make \(\mathord{\preceq}\) a partial order.
Example \(\PageIndex{10}\): Pulling a partial order back through an injection.
Generalizing Example \(\PageIndex{9}\), suppose \(f: A \hookrightarrow B\) is an injection where \(B\) is partially ordered by \(\mathord{\preceq_B}\text{.}\) Then we can “pull back” the partial order on \(B\) to create a partial order on \(A\) as follows: define \(a_1 \preceq_A a_2\) to mean that \(f(a_1) \preceq_B f(a_2)\) is true. Note that the assumption that \(f\) is injective is essential to guarantee that \(\mathord{\preceq_A}\) will be antisymmetric.