Question

In: Advanced Math

Consider the relation R defined on the set Z as follows: ∀m, n ∈ Z, (m,...

Consider the relation R defined on the set Z as follows: ∀m, n ∈ Z, (m, n) ∈ R if and only if m + n = 2k for some integer k. For example, (3, 11) is in R because 3 + 11 = 14 = 2(7).

(a) Is the relation reflexive? Prove or disprove.

(b) Is the relation symmetric? Prove or disprove.

(c) Is the relation transitive? Prove or disprove.

(d) Is it an equivalence relation? Explain.

Solutions

Expert Solution


Related Solutions

Let f : Z × Z → Z be defined by f(n, m) = n −...
Let f : Z × Z → Z be defined by f(n, m) = n − m a. Is this function one to one? Prove your result. b. Is this function onto Z? Prove your result
Let S = {2 k : k ∈ Z}. Let R be a relation defined on...
Let S = {2 k : k ∈ Z}. Let R be a relation defined on Q− {0} by x R y if x y ∈ S. Prove that R is an equivalence relation. Determine the equivalence class
Show that the relation 'a R b if and only if a−b is an even integer defined on the Z of integers is an equivalence relation.
Show that the relation 'a R b if and only if a−b is an even integer defined on the Z of integers is an equivalence relation.
Consider the relation R on N such that xRy if and only if the sum of...
Consider the relation R on N such that xRy if and only if the sum of the digits of x and y coincide. (i) Prove or disprove R is an equivalence relation. (ii) What are the equivalence classes of R.
Let A be some m*n matrix. Consider the set S = {z : Az = 0}....
Let A be some m*n matrix. Consider the set S = {z : Az = 0}. First show that this is a vector space. Now show that n = p+q where p = rank(A) and q = dim(S). Here is how to do it. Let the vectors x1, . . . , xp be such that Ax1, . . . ,Axp form a basis of the column space of A (thus each x can be chosen to be some unit...
Write and test a C implementation of the Mobius function M(n) defined as follows M(n) =...
Write and test a C implementation of the Mobius function M(n) defined as follows M(n) = 1 if n = 1           = 0 if any prime factor is contained in N more than once = (‐1)p if n is the product of p different prime factors Examples M(78) = ‐1     78 = 2 * 3 * 13                   M(34) = 1      34 = 2 * 17                M(45) = 0       45 = 3 * 3 * 5 The first values of M(n)...
Consider the equivalence relation on Z defined by the prescription that all positive numbers are equivalent,...
Consider the equivalence relation on Z defined by the prescription that all positive numbers are equivalent, all negative numbers are equivalent, and 0 is only equivalent to itself. Let f ∶ Z → {a, b} be the function that maps all negative numbers to a and all non-negative numbers to b. Does there exist a function F ∶ X/∼→ {a, b} such that f = F ○ π? If so, describe it .
Let R be the relation on Z+× Z+ such that (a, b) R (c, d) if...
Let R be the relation on Z+× Z+ such that (a, b) R (c, d) if and only if ad=bc. (a) Show that R is an equivalence relation. (b) What is the equivalence class of (1,2)? List out at least five elements of the equivalence class. (c) Give an interpretation of the equivalence classes for R. [Here, an interpretation is a description of the equivalence classes that is more meaningful than a mere repetition of the definition of R. Hint:...
Question: Consider the relation R on A defined by aRb iff 1mod4 = bmod4 a)Construct the...
Question: Consider the relation R on A defined by aRb iff 1mod4 = bmod4 a)Construct the diagraph for this relation b)show that R is an equivalence relation Part B: Now consider the relation R on A defined by aRb iff a divides b (Divides relation) c) Show that R is partial ordering d) Contruct the hasse diagram for this relation
Let ∼ be the relation on P(Z) defined by A ∼ B if and only if...
Let ∼ be the relation on P(Z) defined by A ∼ B if and only if there is a bijection f : A → B. (a) Prove or disprove: ∼ is reflexive. (b) Prove or disprove: ∼ is irreflexive. (c) Prove or disprove: ∼ is symmetric. (d) Prove or disprove: ∼ is antisymmetric. (e) Prove or disprove: ∼ is transitive. (f) Is ∼ an equivalence relation? A partial order?
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT