06.09.2021 Views

Mathematical Reasoning- Writing and Proof, Version 2.1, 2014a

Mathematical Reasoning- Writing and Proof, Version 2.1, 2014a

Mathematical Reasoning- Writing and Proof, Version 2.1, 2014a

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

384 Chapter 7. Equivalence Relations<br />

7. Repeat Exercise (6) using the function f W R ! R that is defined by f.x/ D<br />

x 2 3x 7 for each x 2 R.<br />

8. (a) Repeat Exercise (6a) using the function f W R ! R that is defined by<br />

f.x/ D sin x for each x 2 R.<br />

(b) Determine all real numbers in the set C Dfx 2 R j x g.<br />

9. Define the relation on Q as follows: For a; b 2 Q, a b if <strong>and</strong> only<br />

if a b 2 Z. In Progress Check 7.9, we showed that the relation is an<br />

equivalence relation on Q.<br />

<br />

(a) List four different elements of the set C D x 2 Q j x 5 <br />

.<br />

7<br />

(b) Use set builder notation (without using the symbol ) to specify the set<br />

C .<br />

(c) Use the roster method to specify the set C .<br />

10. Let <strong>and</strong> be relations on Z defined as follows:<br />

For a; b 2 Z, a b if <strong>and</strong> only if 2 divides a C b.<br />

For a; b 2 Z, a b if <strong>and</strong> only if 3 divides a C b.<br />

(a) Is an equivalence relation on Z? If not, is this relation reflexive,<br />

symmetric, or transitive?<br />

(b) Is an equivalence relation on Z? If not, is this relation reflexive,<br />

symmetric, or transitive?<br />

11. Let U be a finite, nonempty set <strong>and</strong> let P.U / be the power set of U .That<br />

is, P.U / is the set of all subsets of U . Define the relation on P.U / as<br />

follows: For A; B 2 P.U /, A B if <strong>and</strong> only if A \ B D;.Thatis,the<br />

ordered pair .A; B/ is in the relation if <strong>and</strong> only if A <strong>and</strong> B are disjoint.<br />

Is the relation an equivalence relation on P.U /? If not, is it reflexive,<br />

symmetric, or transitive? Justify all conclusions.<br />

12. Let U be a nonempty set <strong>and</strong> let P.U / be the power set of U .Thatis,P .U /<br />

is the set of all subsets of U .<br />

For A <strong>and</strong> B in P.U /, defineA B to mean that there exists a bijection<br />

f W A ! B. Prove that is an equivalence relation on P.U /.<br />

Hint: Use results from Sections 6.4 <strong>and</strong> 6.5.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!