17.5: Activities
- Page ID
- 93822
\( \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}\)In each of the following, describe the requested combination of relations in words (i.e. in the form “a is related to b if …”). Try to “simplify” your description, if possible.
In Task h and Task i, the symbol \(\equiv_k\) represents a relation on \(\mathbb{Z}\text{,}\) where \(m \equiv_k n\) means that \(m\) and \(n\) have the same remainder when divided by \(k\text{.}\) (It may help to know that this is equivalent to \(k\) dividing the difference \(m - n\text{.}\))
- \(< \cup >\) on \(\mathbb{Z}\text{.}\)
- Union of “longer than” and “shorter than” on \(\Sigma^\ast\) for some alphabet \(\Sigma\text{.}\)
- Union of “longer than”, “shorter than”, and “same length as” on \(\Sigma^\ast\) for some alphabet \(\Sigma\text{.}\)
- Intersection of “longer than” and “shorter than” on \(\Sigma^\ast\) for some alphabet \(\Sigma\text{.}\)
- The complement of \(\le\) on \(\mathbb{Z}\text{.}\)
- The inverse of \(\le\) on \(\mathbb{Z}\text{.}\)
- The inverse of “\(x R y\) if \(2 x + 3 y = 0\)” on \(\mathbb{Z}\text{.}\)
- The intersection of \(\equiv_5\) and \(\equiv_7\) on \(\mathbb{Z}\text{.}\)
- The intersection of \(\equiv_2\) and \(\equiv_4\) on \(\mathbb{Z}\text{.}\)
In each of the following, you are given a set \(A\) and a relation \(R\) on \(A\text{.}\) Determine which of the properties reflexive, symmetric, antisymmetric, and transitive \(R\) possesses.
- \(A = \mathbb{Z}\text{,}\) \(R\) is \(<\text{.}\)
- \(A\) is the set of all straight lines in the plane, \(R\) means “is parallel to.”
- \(A\) is the set of all straight lines in the plane, \(R\) means “is perpendicular to.”
- \(A = \Sigma^\ast\) for some alphabet \(\Sigma\text{,}\) \(R\) means “is the same length as.”
- \(A = \Sigma^\ast\) for some alphabet \(\Sigma\text{,}\) \(R\) means “is shorter than.”
- \(A = \Sigma^\ast\) for some alphabet \(\Sigma\text{,}\) \(x\) is some fixed choice of letter in \(\Sigma\text{,}\) \(R\) means “contains the same number of occurrences of \(x\) as.”
- \(A\) is an arbitrary set, \(R\) is the empty relation.
- \(A\) is an arbitrary set, \(R\) is the universal relation.
- Suppose \(R\) is a relation on a set \(A\text{.}\) Convince yourself that \(R \cup R^{-1}\) is symmetric. (See the Symmetric Relation Test.)
- Recall that \(\vert\) represents the relation “divides” on sets of integers. Draw the directed graph for \(\vert\) on the set \(A = \{2,4,6,8,10,12,14,16\}\text{.}\) Then describe how to obtain the graph for the symmetric relation \(\vert \cup \vert ^{-1}\) as an undirected graph from the graph of \(R\) using only an eraser.
For each of the properties reflexive, symmetric, antisymmetric, and transitive, carry out the following.
Assume that \(R\) and \(S\) are nonempty relations on a set \(A\) that both have the property. For each of \(R^C\text{,}\) \(R \cup S\text{,}\) \(R \cap S\text{,}\) and \(R^{-1}\text{,}\) determine whether the new relation
- must also have that property;
- might have that property, but might not; or
- cannot have that property.
Any time you answer Statement i or Statement iii, outline a proof. Any time you answer Statement ii, provide two examples: one where the new relation has the property, and one where the new relation does not. (You may use graphs to describe your examples.)