next up previous
Next: aa_solns_7 Up: aa_solns_7 Previous: aa_solns_7



For Problem V-15: (i) For ``$ < $'': transitive

(ii) For ``$ \geq $'': reflexive, transitive

(iii) For ``$ = $'': all three, so equality is an equivalence relation

(iv) For ``$ \neq $'': symmetric



For Problem V-16:

All of them are equivalence relations:

(v) is reflexive since $ x - x = 0$, which is even; symmetric since $ x-y$ is even implies $ y-x$ is even; transitive since $ x-y$ and $ y-z$ both even imply $ x-z = (x-y) + (y-z)$ is even.

(vi) is reflexive since $ f(x) = f(x)$; symmetric since $ f(x _ 1)
= f(x _ 2)$ implies $ f(x _ 2) = f(x _ 1)$; transitive since if $ f$ has equal values at $ x _ 1$ and $ x _ 2$ and equal values at $ x _ 2$ and $ x _ 3$ then $ f$ has equal values at $ x _ 1$ and $ x _ 3$.

(vii) is reflexive since $ x - x =$   0$ \in W$; symmetric since $ x-y \in W$ implies $ y-x = - (x-y) \in W$; transitive since $ x-y \in W$ and $ y-z \in W$ imply $ x-z = (x-y) + (y-z) \in W$.

(viii) is reflexive since $ A$ has the same row space as itself; symmetric since if $ A$ and $ B$ have the same row space then $ B$ and $ A$ have the same row space; transitive since if $ A$ and $ B$ have the same row space and $ B$ and $ C$ have the same row space then $ A$ and $ C$ have the same row space.

(ix) is reflexive since $ A = I^{-1} A I$ so $ A \sim A$; symmetric since $ A \sim B$ means $ P^{-1} A P = B$ for some invertible $ P$, and if we multiply on both sides of the equation by $ P$ on the left and $ P^{-1}$ on the right then we get $ A = P B P^{-1}$, which is the same as $ A = Q^{-1} B Q$ for $ Q = P^{-1}$, giving $ B \sim A$; transitive since $ A \sim B$ and $ B \sim C$ imply $ P^{-1} A P = B$ and $ Q^{-1} B Q = C$ for some invertible $ P$ and $ Q$, so that $ Q^{-1}(P^{-1} A P) Q = C$, which is the same as $ (PQ)^{-1} A (PQ) = C$, so $ A \sim C$.

(x) is all three since any assertion that two elements are related is true, and the three properties consist of such assertions.

(xi) is reflexive since any element is in the same block as itself; symmetric since if $ x$ and $ y$ are in the same block then $ y$ and $ x$ are in the same block; transitive since if $ x$ and $ y$ are in the same block and $ y$ and $ z$ are in the same block then $ x$ and $ z$ are in the same block.


next up previous
Next: aa_solns_7 Up: aa_solns_7 Previous: aa_solns_7
Kirby A. Baker 2001-11-19