6.3: Properties of Relations
- Page ID
- 80523
\( \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}\)Individual Properties
Consider the set \(B = \{1, 2, 3, 4, 6, 12, 36, 48\}\) and the relations “divides” and \(\leq \) on \(B\text{.}\) We notice that these two relations on \(B\) have three properties in common:
- Every element in \(B\) divides itself and is less than or equal to itself. This is called the reflexive property.
- If we search for two elements from \(B\) where the first divides the second and the second divides the first, then we are forced to choose the two numbers to be the same. In other words, no two different numbers are related in both directions. The reader can verify that a similar fact is true for the relation \(\leq \) on \(B\text{.}\) This is called the antisymmetric property.
- Next if we choose three values (not necessarily distinct) from \(B\) such that the first divides the second and the second divides the third, then we always find that the first number divides the third. Again, the same is true if we replace “divides” with “is less than or equal to.” This is called the transitive property.
Relations that satisfy these properties are of special interest to us. Formal definitions of the properties follow.
Definition \(\PageIndex{1}\): Reflexive Relation
Let \(A\) be a set and let \(r\) be a relation on \(A\text{.}\) Then \(r\) is reflexive if and only if \(a r a\) for all \(a \in A\text{.}\)
Definition \(\PageIndex{2}\): Antisymmetric Relation
Let \(A\) be a set and let \(r\) be a relation on \(A\text{.}\) Then \(r\) is antisymmetric if and only if whenever \(a r b\) and \(a \neq b\) then \(b r a\) is false.
An equivalent condition for antisymmetry is that if \(a r b\) and \(b r a\) then \(a = b\text{.}\) You are encouraged to convince yourself that this is true. This condition is often more convenient to prove than the definition, even though the definition is probably easier to understand.
A word of warning about antisymmetry: Students frequently find it difficult to understand this definition. Keep in mind that this term is defined through an “If...then...” statement. The question that you must ask is: Is it true that whenever there are elements \(a\) and \(b\) from \(A\) where \(a r b\) and \(a \neq b\text{,}\) it follows that \(b\) is not related to \(a\text{?}\) If so, then the relation is antisymmetric.
Another way to determine whether a relation is antisymmetric is to examine (or imagine) its digraph. The relation is not antisymmetric if there exists a pair of vertices that are connected by edges in both directions.
Partial Orderings
Not all relations have all three of the properties discussed above, but those that do are a special type of relation.
Definition \(\PageIndex{4}\): Partial Ordering
A relation on a set \(A\) that is reflexive, antisymmetric, and transitive is called a partial ordering on \(A\text{.}\) A set on which there is a partial ordering relation defined is called a partially ordered set or poset.
Example \(\PageIndex{1}\): Set Containment as a Partial Ordering
Let \(A\) be a set. Then \(\mathcal{P}(A)\) together with the relation \(\subseteq\) (set containment) is a poset. To prove this we observe that the three properties hold, as discussed in Chapter 4.
- Let \(B \in \mathcal{P}(A)\text{.}\) The fact that \(B \subseteq B\) follows from the definition of subset. Hence, set containment is reflexive.
- Let \(B_1, B_2 \in \mathcal{P}(A)\) and assume that \(B_1\subseteq B_2\) and \(B_1\neq B_2\) . Could it be that \(B_2\subseteq B_1\text{?}\) No. There must be some element \(a\in A\) such that \(a \notin B_1\text{,}\) but \(a\in B_2\text{.}\) This is exactly what we need to conclude that \(B_2\) is not contained in \(B_1\text{.}\) Hence, set containment is antisymmetric.
- Let \(B_1, B_2,B_3 \in \mathcal{P}(A)\) and assume that \(B_1 \subseteq B_2\) and \(B_2 \subseteq B_3\) . Does it follow that \(B_1 \subseteq B_3\) ? Yes, if \(a\in B_1\text{,}\) then \(a\in B_2\) because \(B_1 \subseteq B_2\text{.}\) Now that we have \(a\in B_2\) and we have assumed \(B_2 \subseteq B_3\text{,}\) we conclude that \(a\in B_3\text{.}\) Therefore, \(B_1\subseteq B_3\) and so set containment is transitive.
Figure 6.2.4 is the graph for the “set containment” relation on the power set of \(\{1,2\}\text{.}\)
Figure 6.2.4 is helpful insofar as it reminds us that each set is a subset of itself and shows us at a glance the relationship between the various subsets in \(\mathcal{P} (\{1,2\})\text{.}\) However, when a relation is a partial ordering, we can streamline a graph like this one. The streamlined form of a graph is called a Hasse diagram or ordering diagram. A Hasse diagram takes into account the following facts.
- By the reflexive property, each vertex must be related to itself, so the arrows from a vertex to itself (called “self-loops”) are not drawn in a Hasse diagram. They are simply assumed.
- By the antisymmetry property, connections between two distinct elements in a directed graph can only go one way, if at all. When there is a connection, we agree to always place the second element above the first (as we do above with the connection from \(\{1\}\) to \(\{1,2\}\)). For this reason, we can just draw a connection without an arrow, just a line.
- By the transitive property, if there are edges connecting one element up to a second element and the second element up to a third element, then there will be a direct connection from the first to the third. We see this in Figure 6.2.4 with \(\emptyset\) connected to \(\{1\}\)\(\)and then \(\{1\}\) connected to \(\{1,2\}\text{.}\) Notice the edge connecting \(\emptyset\) to \(\{1,2\}\text{.}\) Whenever we identify this situation, remove the connection from the first to the third in a Hasse diagram and simply observe that an upward path of any length implies that the lower element is related to the upper one.
Using these observations as a guide, we can draw a Hasse diagram for \(\subseteq\) on \(\{1,2\}\) as in Figure \(\PageIndex{1}\).
Example \(\PageIndex{2}\): Definition of a Relation using a Hasse Diagram
Consider the partial ordering relation \(s\) whose Hasse diagram is Figure \(\PageIndex{2}\).
How do we read this diagram? What is \(A\text{?}\) What is \(s\text{?}\) What does the digraph of \(s\) look like? Certainly \(A = \{1,2,3,4,5\}\) and \(1 s 2\text{,}\) \(3 s 4\text{,}\) \(1 s 4\text{,}\) \(1 s 5\text{,}\) etc., Notice that \(1 s 5\) is implied by the fact that there is a path of length three upward from 1 to 5. This follows from the edges that are shown and the transitive property that is presumed in a poset. Since \(1 s 3\) and \(3 s 4\text{,}\) we know that \(1 s 4\text{.}\) We then combine \(1 s 4\) with \(4 s 5\) to infer \(1 s 5\text{.}\) Without going into details why, here is a complete list of pairs defined by \(s\text{.}\)
\begin{equation*} s = \{(1,1),(2,2),(3,3),(4,4),(5,5),(1,3),(1,4),(1,5),(1,2),(3,4),(3,5),(4,5),(2,5)\} \end{equation*}
A digraph for \(s\) is Figure \(\PageIndex{3}\). It is certainly more complicated to read and difficult to draw than the Hasse diagram.
A classic example of a partial ordering relation is \(\leq \) on the real numbers, \(\mathbb{R}\text{.}\) Indeed, when graphing partial ordering relations, it is natural to “plot” the elements from the given poset starting with the “least” element to the “greatest” and to use terms like “least,” “greatest,” etc. Because of this the reader should be forewarned that some texts use the symbol \(\leq\) for arbitrary partial orderings. This can be quite confusing for the novice, so we continue to use generic letters \(r\text{,}\) \(s\text{,}\) etc.
Equivalence Relations
Another common property of relations is symmetry.
Definition \(\PageIndex{5}\): Symmetric Relation
Let \(r\) be a relation on a set \(A\text{.}\) \(r\) is symmetric if and only if whenever \(a r b\text{,}\) it follows that \(b r a\text{.}\)
Consider the relation of equality defined on any set \(A\text{.}\) Certainly \(a = b\) implies that \(b = a\) so equality is a symmetric relation on \(A\text{.}\)
Surprisingly, equality is also an antisymmetric relation on \(A\text{.}\) This is due to the fact that the condition that defines the antisymmetry property, \(a = b\) and \(a \neq b\text{,}\) is a contradiction. Remember, a conditional proposition is always true when the condition is false. So a relation can be both symmetric and antisymmetric on a set! Again recall that these terms are not negatives of one other. That said, there are very few important relations other than equality that are both symmetric and antisymmetric.
Definition \(\PageIndex{6}\): Equivalence Relation
A relation \(r\) on a set \(A\) is called an equivalence relation if and only if it is reflexive, symmetric, and transitive.
The classic example of an equivalence relation is equality on a set \(A\text{.}\) In fact, the term equivalence relation is used because those relations which satisfy the definition behave quite like the equality relation. Here is another important equivalence relation.
Example \(\PageIndex{3}\): Equivalent Fractions
Let \(\mathbb{Z}^*\) be the set of nonzero integers. One of the most basic equivalence relations in mathematics is the relation \(q\) on \(\mathbb{Z}\times \mathbb{Z}^*\) defined by \((a, b) q(c, d)\) if and only if \(a d = b c\text{.}\) We will leave it to the reader to, verify that \(q\) is indeed an equivalence relation. Be aware that since the elements of \(\mathbb{Z}\times \mathbb{Z}^*\) are ordered pairs, proving symmetry involves four numbers and transitivity involves six numbers. Two ordered pairs, \((a, b)\) and \((c, d)\text{,}\) are related if the fractions \(\frac{a}{b}\) and \(\frac{c}{d}\) are numerically equal.
Our next example involves the following fundamental relations on the set of integers.
Definition \(\PageIndex{7}\): Congruence Modulo \(n\)
Let \(n\) be a positive integer, \(n\geq 2\text{.}\) We define congruence modulo n to be the relation \(\equiv_n\) defined on the integers by
\begin{equation*} a \equiv_n b \Leftrightarrow n \mid (a-b) \end{equation*}
We observe the following about congruence modulo \(n\text{:}\)
- This relation is reflexive, for if \(a \in \mathbb{Z} \text{,}\) \(n \mid (a-a) \Rightarrow a\equiv_n a \text{.}\)
- This relation is symmetric. We can prove this through the following chain of implications.
\begin{equation*} \begin{split} a \equiv_n b &\Rightarrow n \mid (a-b)\\ & \Rightarrow \textrm{For some } k \in \mathbb{Z}, a-b = n k \\ & \Rightarrow b-a = n (-k)\\ & \Rightarrow n \mid (b-a)\\ & \Rightarrow b \equiv_n a \end{split}\text{.} \end{equation*} - Finally, this relation is transitive. We leave it to the reader to prove that if \(a \equiv _n b \) and \(b\equiv _n c\text{,}\) then \(a \equiv _n c\text{.}\)
Frequently, you will see the equivalent notation \(a \equiv b (\textrm{mod } n)\) for congruence modulo \(n\text{.}\)
Example \(\PageIndex{4}\): Random Relations Usually have No Properties
Consider the relation s described by the digraph in Figure \(\PageIndex{4}\). This was created by randomly selecting whether or not two elements from \(\{a,b,c\}\) were related or not. Convince yourself that the following are true:
- This relation is not reflexive.
- It is not antisymmetric.
- Also, it is not symmetric.
- It is not transitive.
- Is \(s\) an equivalence relation or a partial ordering?
Not every random choice of a relation will be so totally negative, but as the underlying set increases, the likelihood any of the properties are true begins to vanish.
Exercises
Exercise \(\PageIndex{1}\)
- Let \(B = \{a, b\}\) and \(U = \mathcal{P}(B)\text{.}\) Draw a Hasse diagram for \(\subseteq \) on \(U\text{.}\)
- Let \(A = \{1,2, 3, 6\}\text{.}\) Show that divides, \(\mid \text{,}\) is a partial ordering on \(A\text{.}\)
- Draw a Hasse diagram for divides on \(A\text{.}\)
- Compare the graphs of parts a and c.
- Answer
-
Figure \(\PageIndex{5}\)
- See Figure \(\PageIndex{5}\).
- The graphs are the same if we disregard the names of the vertices.
Exercise \(\PageIndex{2}\)
Repeat Exercise \(\PageIndex{1}\) with \(B = \{a, b, c\}\) and \(A = \{1, 2, 3, 5, 6, 10, 15, 30\}\text{.}\)
- Hint
-
Here is a Hasse diagram for the part (a).
Figure \(\PageIndex{6}\): Hasse Diagram for a set containment for subsets of a three element set.
Consider the relations defined by the digraphs in Figure \(\PageIndex{7}\).
- Determine whether the given relations are reflexive, symmetric, antisymmetric, or transitive. Try to develop procedures for determining the validity of these properties from the graphs,
- Which of the graphs are of equivalence relations or of partial orderings?
Figure \(\PageIndex{7}\): Some digraphs of relations
- Answer
-
Table \(\PageIndex{1}\): Properties of relations defined by digraphs
Part reflexive? symmetric? antisymmetric? transitive? i yes no no yes ii yes no yes yes iii no no no no iv no yes yes yes v yes yes no yes vi yes no yes yes vii no no no no - See Table \(\PageIndex{1}\)
- Graphs ii and vi show partial ordering relations. Graph v is of an equivalence relation.
Exercise \(\PageIndex{4}\)
Determine which of the following are equivalence relations and/or partial ordering relations for the given sets:
- \(A = \{\textrm{ lines in the plane}\}\text{,}\) and \(r\) defined by \(x r y\) if and only if \(x\) is parallel to \(y\text{.}\) Assume every line is parallel to itself.
- \(A = \mathbb{R}\) and \(r\) defined by \(x r y\) if and only if \(\lvert x -y \rvert \leq 7\text{.}\)
Exercise \(\PageIndex{5}\)
Consider the relation on \(\{1, 2, 3, 4, 5, 6\}\) defined by \(r = \{(i,j):\enspace \lvert i - j\rvert = 2\}\text{.}\)
- Is \(r\) reflexive?
- Is \(r\) symmetric?
- Is \(r\) transitive?
- Draw a graph of \(r\text{.}\)
- Answer
-
- No, since \(\mid 1-1\mid =0\neq 2\text{,}\) for example
- Yes, because \(\mid i-j\mid =\)\(\mid j-i\mid \text{.}\)
- No, since \(\mid 2-4\mid =2\) and \(\mid 4-6\mid =2\text{,}\) but \(\mid 2-6\mid =4\neq 2\text{,}\) for example.
- See Figure \(\PageIndex{8}\)
Figure \(\PageIndex{8}\)
Exercise \(\PageIndex{6}\)
For the set of cities on a map, consider the relation \(x r y\) if and only if city \(x\) is connected by a road to city \(y\text{.}\) A city is considered to be connected to itself, and two cities are connected even though there are cities on the road between them. Is this an equivalence relation or a partial ordering? Explain.
Exercise \(\PageIndex{7}\): Equivalence Classes
Let \(A = \{0, 1, 2, 3\}\) and let
\begin{equation*} r = \{(0, 0), (1, 1), (2, 2), (3, 3), (1, 2),(2, 1), (3, 2), (2, 3), (3, 1), (1, 3)\} \end{equation*}
- Verify that \(r\) is an equivalence relation on \(A\text{.}\)
- Let \(a \in A\) and define \(c(a) = \{b \in A \mid a rb\}\text{.}\) \(c(a)\) is called the equivalence class of \(a\) under \(r\). Find \(c(a)\) for each element \(a \in A\text{.}\)
- Show that \(\{c(a) \mid a \in A\}\) forms a partition of \(A\) for this set \(A\text{.}\)
- Let \(r\) be an equivalence relation on an arbitrary set \(A\text{.}\) Prove that the set of all equivalence classes under \(r\) constitutes a partition of \(A\text{.}\)
- Answer
-
- \(\displaystyle c(0)=\{0\}, c(1)=\{1,2,3\}=c(2)=c(3)\)
- \(c(0)\cup c(1)=A\) and \(c(0)\cap c(1)=\emptyset\)
- Let \(A\) be any set and let \(r\) be an equivalence relation on \(A\text{.}\) Let \(a\) be any element of \(A\text{.}\) \(a\in c(a)\) since \(r\) is reflexive, so each element of \(A\) is in some equivalence class. Therefore, the union of all equivalence classes equals \(A\text{.}\) Next we show that any two equivalence classes are either identical or disjoint and we are done. Let \(c(a)\) and \(c(b)\) be two equivalence classes, and assume that \(c(a)\cap c(b)\neq \emptyset\text{.}\) We want to show that \(c(a)=c(b)\text{.}\) To show that \(c(a)\subseteq c(b)\text{,}\) let \(x\in c(a)\text{.}\) \(x\in c(a) \Rightarrow a r x \text{.}\) Also, there exists an element, \(y\text{,}\) of \(A\) that is in the intersection of \(c(a)\) and \(c(b)\) by our assumption. Therefore,
\begin{equation*} \begin{split} a r y \land b r y &\Rightarrow a r y \land y r b \quad r\textrm{ is symmetric}\\ &\Rightarrow a r b \quad \textrm{ transitivity of }r \\ \end{split} \end{equation*}
Next,
\begin{equation*} \begin{split} a r x \land a r b &\Rightarrow x r a \land a r b\\ &\Rightarrow x r b\\ &\Rightarrow b r x\\ & \Rightarrow x \in c(b)\\ \end{split} \end{equation*}
Similarly, \(c(b)\subseteq c(a)\text{.}\) \(\square\)
Exercise \(\PageIndex{8}\)
Define \(r\) on the power set of \(\{1, 2, 3\}\) by \(A r B \Leftrightarrow \lvert A \rvert = \lvert B \rvert \text{.}\) Prove that \(r\) is an equivalence relation. What are the equivalence classes under \(r\text{?}\)
Exercise \(\PageIndex{9}\)
Consider the following relations on \(\mathbb{Z}_8= \{0, 1, . . . , 7\}\text{.}\) Which are equivalence relations? For the equivalence relations, list the equivalence classes.
- \(a r b\) iff the English spellings of \(a\) and \(b\) begin with the same letter.
- \(a s b\) iff \(a - b\) is a positive integer.
- \(a t b\) iff \(a-b\) is an even integer.
- Answer
-
- Equivalence Relation, \(c(0)=\{0\},c(1)=\{1\},c(2)=\{2,3\} =c(3),c(4)=\{4,5\}=c(5)\text{,}\) and \(c(6)=\{6,7\}=c(7)\)
- Not an Equivalence Relation.
- Equivalence Relation, \(c(0)=\{0,2,4,6\}=c(2)=c(4)=c(6)\) and \(c(1)=\{1,3,5,7\}=c(3)=c(5)=c(7)\)
Exercise \(\PageIndex{10}\)
Building on Exercise \(\PageIndex{7}\):
- Prove that congruence modulo \(m\) is transitive.
- What are the equivalence classes under congruence modulo 2?
- What are the equivalence classes under congruence modulo 10?
Exercise \(\PageIndex{11}\)
In this exercise, we prove that implication is a partial ordering. Let \(A\) be any set of propositions.
- Verify that \(q \to q\) is a tautology, thereby showing that \(\Rightarrow\) is a reflexive relation on \(A\text{.}\)
- Prove that \(\Rightarrow\) is antisymmetric on \(A\text{.}\) Note: we do not use = when speaking of propositions, but rather equivalence, \(\Leftrightarrow\text{.}\)
- Prove that \(\Rightarrow\) is transitive on \(A\text{.}\)
- Given that \(q_i\) is the proposition \(n < i\) on \(\mathbb{N}\text{,}\) draw the Hasse diagram for the relation \(\Rightarrow\) on \(\{q_1, q_2, q_3,\ldots \}\text{.}\)
- Answer
-
- The proof follows from the biconditional equivalence in Table 3.4.3.
- Apply the chain rule.
- See Figure \(\PageIndex{9}\).
Figure \(\PageIndex{9}\)
Exercise \(\PageIndex{12}\)
Let \(S = \{1,2,3,4,5,6,7\}\) be a poset \((S, \leq )\) with the Hasse diagram shown below. Another relation \(r \subseteq S\times S\) is defined as follows: \((x, y) \in r\) if and only if there exists \(z \in S\) such that \(z < x\) and \(z < y\) in the poset \((S, \leq )\text{.}\)
- Prove that \(r\) is reflexive.
- Prove that \(r\) is symmetric.
- A compatible with respect to relation \(r\) is any subset \(Q\) of set \(S\) such that \(x \in Q \textrm{ and } y \in Q \Rightarrow (x, y) \in r\text{.}\) A compatible \(g\) is a maximal compatible if \(Q\) is not a proper subset of another compatible. Give all maximal compatibles with respect to relation \(r\) defined above.
- Discuss a characterization of the set of maximal compatibles for relation \(r\) when \((S, \leq )\) is a general finite poset. What conditions, if any, on a general finite poset \((S, \leq )\) will make \(r\) an equivalence relation?
Figure \(\PageIndex{10}\): Hasse diagram for \(r\) in Exercise \(\PageIndex{12}\).