For each of the following binary relations r on Z, decide | StudySoup

Textbook Solutions for Mathematical Structures for Computer Science

Chapter 5.1 Problem 2

Question

For each of the following binary relations \(\rho\) on \(\mathbb{Z}\), decide which of the given ordered pairs belong to \(\rho\).

a. \(x \rho y\) \(\longleftrightarrow\) x \(\lvert\) y; (2, -6), (3, 5), (8, 4), (4, 8)

b. \(x \rho y\) \(\longleftrightarrow\) x and y are are relatively prime; (5, 8), (9, 16), (6, 8), (8, 21)

c. \(x \rho y\) \(\longleftrightarrow\) gcd(x, y) = 7; (28, 14), (7, 7), (10, 5), (21, 14)

d. \(x \rho y\) \(\longleftrightarrow\) \(x^2\) + \(y^2\) = \(z^2\) for some integer \(z\); (1, 0), (3, 9), (2, 2), (-3, 4)

e. \(x \rho y\) \(\longleftrightarrow\) \(x\) is a number from the Fibonacci sequence; (4, 3), (7, 6), (7, 12), (20, 20)

Solution

Step 1 of 6

(a)

Given that \(x\rho y \leftrightarrow x|y; \left( {2, - 6} \right),\left( {3,5} \right),\left( {8,4} \right),\left( {4,8} \right)\) that is \(x\) divides \(y\)

Take the order pair \(\left(2,\ -6\right)\).

\(x=2,\ y=-6)\)

s.t \(x|y,\frac{{ - 6}}{2} = 3)\)

Take the order pair \(\left(3,\ 5\right)\).

\(x = 3,y = 5\)

\(x|y,\frac{5}{3} = 1.67\)

Take the order pair \(\left(8,\ 4\right)\).

\(x = 8,y = 4\)

\(x|y,\frac{4}{8} = 0.5\)

Take the order pair \(\left(4,\ 8\right)\).

\(x = 4,y = 8\)

\(x|y,\frac{8}{4} = 2\)

We can observe that ordered pairs \(\left(2,\ -6\right)\) and \(\left(4,\ 8\right)\) are belongs to relation \(\rho\).

Subscribe to view the
full solution

Title Mathematical Structures for Computer Science 7 
Author Judith L. Gersting
ISBN 9781429215107

For each of the following binary relations r on Z, decide

Chapter 5.1 textbook questions

×

Login

Organize all study tools for free

Or continue with
×

Register

Sign up for access to all content on our site!

Or continue with

Or login if you already have an account

×

Reset password

If you have an active account we’ll send you an e-mail for password recovery

Or login if you have your password back