Question

In: Computer Science

Question 1. Equivalence Relation 1 Define a relation R on by iff . Prove that R...

Question 1. Equivalence Relation 1

Define a relation R on by iff .

  1. Prove that R is an equivalence relation, that is, prove that it is reflexive, symmetric, and transitive.

  2. Determine the equivalence classes of this relation.

    1. What members are in the class [2]?

    2. How many members do the equivalence classes have? Do they all have the same number of members?

    3. How many equivalence classes are there?

Question 2. Equivalence Relation 2

Consider the relation from last week defined as:

What are the equivalence classes of this relation? How many are there?

Question 3. Relation Proof

Disprove the following: if R and S are transitive relations, must be transitive.

Solutions

Expert Solution

1.R is a relation defined in R×T by (a,b)R(c,d) iff a−c is an integer and b=d.

Let (a,b)∈R×R

∴(a,b)R(a,b), because a−a=0∈Z and b=b

∴ R is reflexive.

Let (a,b)R(c,d).⇒a−c∈Z and b=d

⇒c−a∈Z and d=b

⇒(c,d)R(a,b)⇒R is symmetric.

Let (a,b)R(c,d) and (c,d)R(e,f).

⇒a−c∈Z,b=d,c−e∈Z,d=f

⇒(a−c)+(c−e)∈z,b=f

⇒a−e∈z,b=f⇒(a,b)R(e,f)

⇒R is transitive.

∴R is an equivalence relation.

2. This is an example.

Let A={0,1,2,3,,4} define a relation R on A as follows:

example:R={(0,0),(0,4),(1,1),(1,3),(2,2),(3,1),(3,3),(4,0),(4,4)}.R={(0,0),(0,4),(1,1),(1,3),(2,2),(3,1),(3,3),(4,0),(4,4)}.

Find the distinct equivalence classes of R

ans:The equivalence classes are {0,4},{1,3},{2}

  • (0,4)∈R, so 0 and 4 are in the same class;
  • (1,3)∈R, so 1 and 3 are in the same class;
  • (2,2)∈R and 2 do not occur in any other pairs in R, so 2 is in a class by itself.

3. let A={a,b,c}

then R={(a,a),(a,b),(b,a),(b,b)}

and S={(b,b),(b,c),(c,b),(c,c)} be transitive

Now, (a,b)∈R∪S

Also,(b,c)∈R∪S

But (a,c)∈/S∪S

∴R∪S is not transitive.


Related Solutions

The equivalence relation on Z given by (?, ?) ∈ ? iff ? ≡ ? mod...
The equivalence relation on Z given by (?, ?) ∈ ? iff ? ≡ ? mod ? is an equivalence relation for an integer ? ≥ 2. a) What are the equivalence classes for R given a fixed integer ? ≥ 2? b) We denote the set of equivalence classes you found in (a) by Z_5. Even though elements of Z_5 are sets, it turns out that we can define addition and multiplication in the expected ways: [?] + [?]...
2. Define a relation R on pairs of real numbers as follows: (a, b)R(c, d) iff...
2. Define a relation R on pairs of real numbers as follows: (a, b)R(c, d) iff either a < c or both a = c and b ≤ d. Is R a partial order? Why or why not? If R is a partial order, draw a diagram of some of its elements. 3. Define a relation R on integers as follows: mRn iff m + n is even. Is R a partial order? Why or why not? If R is...
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
Prove that the equivalence classes of an equivalence relation form a partition of the domain of...
Prove that the equivalence classes of an equivalence relation form a partition of the domain of the relation. Namely, suppose ? be an equivalence relation on a set ? and define the equivalence class of an element ?∈? to be [?]?:={?∈?|???}. That is [?]?=?(?). Divide your proof into the following three peices: Prove that every partition block is nonempty and every element ? is in some block. Prove that if [?]?∩[?]?≠∅, then ???. Conclude that the sets [?]? for ?∈?...
Let X be a non-empty set and R⊆X × X be an equivalence relation. Prove that...
Let X be a non-empty set and R⊆X × X be an equivalence relation. Prove that X / R is a partition of X.
Prove that "congruent modulo 3" is an equivalence relation on Z. What are the equivalence classes?
Prove that "congruent modulo 3" is an equivalence relation on Z. What are the equivalence classes?
Prove that cardinality is an equivalence relation. Prove for all properties (refextivity, transitivity and symmetry). Please...
Prove that cardinality is an equivalence relation. Prove for all properties (refextivity, transitivity and symmetry). Please do this problem and explain every step. The less confusing notation the better, thanks!
Let R be the relation on Q defined by a/b R c/d iff ad=bc. Show that...
Let R be the relation on Q defined by a/b R c/d iff ad=bc. Show that R is an equivalence relation. Describe the elements of the equivalence class of 2/3.
Prove that \strongly connected" is an equivalence relation on the vertex set of a directed graph
Prove that \strongly connected" is an equivalence relation on the vertex set of a directed graph
Let G be a simple graph. Prove that the connection relation in G is an equivalence...
Let G be a simple graph. Prove that the connection relation in G is an equivalence relation on V (G)
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT