Warning: foreach() argument must be of type array|object, bool given in /var/www/html/web/app/themes/studypress-core-theme/template-parts/header/mobile-offcanvas.php on line 20

Define three equivalence relations on the set of students in your discrete mathematics class different from the relations discussed in the text. Determine the equivalence classes for each of these equivalence relations.

Short Answer

Expert verified

The three equivalence relations are,

\({(a)_{{R_1}}} = \{ b\mid b\) has the same gender as \(a\} {\rm{ }}\)

\({(a)_{{R_2}}} = \{ b\mid b\) speaks German\(\} {\rm{ }}\)

\({(a)_{{R_3}}} = \{ b\mid b\) lives in same town as \(a\} {\rm{ }}\).

Step by step solution

Achieve better grades quicker with Premium

  • Unlimited AI interaction
  • Study offline
  • Say goodbye to ads
  • Export flashcards

Over 22 million students worldwide already upgrade their learning with Vaia!

01

Given data

Given data is equivalence relation.

02

 Step 2: Concept used of equivalence relation

An equivalence relation is a binary relation that is reflexive, symmetric and transitive.

03

Show the equivalence relation

In order to determine if a relation is an equivalent relation, we need to see if said relation is a reflexive, symmetric and transitive.

A relation on a set \({\rm{A}}\) is reflexive if \((a,a) \in R\) for every element \(a \in A\).

A relation on a set \(A\) is symmetric if \((b,a) \in R\)whenever \((a,b) \in A\).

A relation on a set \({\rm{A}}\) is transitive if \((a,b) \in R\) and \((b,c) \in R\)implies \((a,c) \in R\).

\(A = \) Set of students in your discrete mathematics class.

04

Define three equivalence relations

We define to three equivalence relations.

For example:

\({R_1} = \{ (a,b)\mid a\) and \(b\) have same gender \(\} \)

\({R_2} = \{ (a,b)\mid a\) and \(b\) both speak German \(\} \)

\({R_3} = \{ (a,b)\mid a\) and \(b\) live in same town \(\} \)

Note: If the statements states that a and b have the same property, then the relation tends to be an equivalence relation.

The equivalence class of \(a\) is the set of all elements that are in relation to \(a\).

\({(a)_{{R_1}}} = \{ b\mid b\) has the same gender as \(a\} \)

\({(a)_{{R_2}}} = \{ b\mid b\) speaks German\(\} \)

\({(a)_{{R_3}}} = \{ b\mid b\) lives in same town as \(a\} \)

One App. One Place for Learning.

All the tools & learning materials you need for study success - in one app.

Get started for free

Most popular questions from this chapter

To prove the error in the given proof a theorem.

Which relations in Exercise 3 are asymmetric?

What is the covering relation of the partial ordering \(\{ (A,B)\mid A \subseteq B\} \) on the power set of \(S\), where \(S = \{ a,b,c\} \).

Exercises 34โ€“37 deal with these relations on the set of real numbers:

\({R_1} = \left\{ {\left( {a,\;b} \right) \in {R^2}|a > b} \right\},\)the โ€œgreater thanโ€ relation,

\({R_2} = \left\{ {\left( {a,\;b} \right) \in {R^2}|a \ge b} \right\},\)the โ€œgreater than or equal toโ€ relation,

\({R_3} = \left\{ {\left( {a,\;b} \right) \in {R^2}|a < b} \right\},\)the โ€œless thanโ€ relation,

\({R_4} = \left\{ {\left( {a,\;b} \right) \in {R^2}|a \le b} \right\},\)the โ€œless than or equal toโ€ relation,

\({R_5} = \left\{ {\left( {a,\;b} \right) \in {R^2}|a = b} \right\},\)the โ€œequal toโ€ relation,

\({R_6} = \left\{ {\left( {a,\;b} \right) \in {R^2}|a \ne b} \right\},\)the โ€œunequal toโ€ relation.

35. Find

(a) \({R_2} \cup {R_4}\).

(b) \({R_3} \cup {R_6}\).

(c) \({R_3} \cap {R_6}\).

(d) \({R_4} \cap {R_6}\).

(e) \({R_3} - {R_6}\).

(f) \({R_6} - {R_3}\).

(g) \({R_2} \oplus {R_6}\).

(h) \({R_3} \oplus {R_5}\).

Let \(S\) be a set with \(n\) elements and let \(a\) and \(b\) be distinct elements of \(S\). How many relations \(R\) are there on \(S\) such that

a) \((a,b) \in R\) ?

b) \((a,b) \notin R\) ?

c) no ordered pair in \(R\) has \(a\) as its first element?

d) at least one ordered pair in \(R\) has \(a\) as its first element?

e) no ordered pair in \(R\) has \(a\) as its first element or \(b\) as its second element?

f) at least one ordered pair in \(R\) either has \(a\) as its first element or has \(b\) as its second element?

See all solutions

Recommended explanations on Math Textbooks

View all explanations

What do you think about this solution?

We value your feedback to improve our textbook solutions.

Study anywhere. Anytime. Across all devices.

Sign-up for free