Chapter 9: Q6E (page 581)
To determine whether the relation on the set of all real numbers is reflexive, symmetric, anti symmetric, transitive, where if and only ifx=1 or y=1.
Short Answer
The given set is symmetric.
Chapter 9: Q6E (page 581)
To determine whether the relation on the set of all real numbers is reflexive, symmetric, anti symmetric, transitive, where if and only ifx=1 or y=1.
The given set is symmetric.
All the tools & learning materials you need for study success - in one app.
Get started for freeTo prove that the relation \(R\) on a set \(A\) is symmetric if and only if \(R = {R^{ - 1}}\) where \({R^{ - 1}}\) is the inverse relation.
List the triples in the relation\(\{ (a,b,c)|a,b\;{\bf{and}}\;\;c\,{\bf{are}}{\rm{ }}{\bf{integers}}{\rm{ }}{\bf{with}}\;0 < a < b < c < 5\} \).
Find the error in the "proof" of the following "theorem."
"Theorem": Let \(R\) be a relation on a set \(A\) that is symmetric and transitive. Then \(R\) is reflexive.
"Proof": Let \(a \in A\). Take an element \(b \in A\) such that \((a,b) \in R\). Because \(R\) is symmetric, we also have \((b,a) \in R\). Now using the transitive property, we can conclude that \((a,a) \in R\) because \((a,b) \in R\)and \((b,a) \in R\).
Draw the Hasse diagram for inclusion on the set \(P(S)\) where \(S = \{ a,b,c,d\} \).
Exercises 34–37 deal with these relations on the set of real numbers:
\({R_1} = \left\{ {\left( {a,\;b} \right) \in {R^2}|a > b} \right\},\)the “greater than” relation,
\({R_2} = \left\{ {\left( {a,\;b} \right) \in {R^2}|a \ge b} \right\},\)the “greater than or equal to” relation,
\({R_3} = \left\{ {\left( {a,\;b} \right) \in {R^2}|a < b} \right\},\)the “less than” relation,
\({R_4} = \left\{ {\left( {a,\;b} \right) \in {R^2}|a \le b} \right\},\)the “less than or equal to” relation,
\({R_5} = \left\{ {\left( {a,\;b} \right) \in {R^2}|a = b} \right\},\)the “equal to” relation,
\({R_6} = \left\{ {\left( {a,\;b} \right) \in {R^2}|a \ne b} \right\},\)the “unequal to” relation.
35. Find
(a) \({R_2} \cup {R_4}\).
(b) \({R_3} \cup {R_6}\).
(c) \({R_3} \cap {R_6}\).
(d) \({R_4} \cap {R_6}\).
(e) \({R_3} - {R_6}\).
(f) \({R_6} - {R_3}\).
(g) \({R_2} \oplus {R_6}\).
(h) \({R_3} \oplus {R_5}\).
What do you think about this solution?
We value your feedback to improve our textbook solutions.