2
votes
2answers
49 views

Binary relation, reflexive, symmetric and transitive

I have a question regarding an image. I'm currently studying binary relations and the following image confused me: What got me confused is that the page from which I got the link ...
0
votes
3answers
27 views

Equivalence Relation with multiples

How can I prove the equivalence of this relation, and how can I calculate the equivalence class of (4,8)? On the set the relation R is definded by (a,b)R(c,d) ⇔ ad=bc. Find out if this is an ...
0
votes
3answers
90 views

Proving that $aRb \iff a^2-b^2=a-b$ is an equivalence relation

Could you help me with that, I don't know how to prove if the relation is an equivalence and the class of 5? On the set of integers, the relationship is defined by $aRb \iff a^2-b^2=a-b$. Find out ...
0
votes
3answers
35 views

Giving an equivalence relation that corresponds to set partitions

My question is: Give equivalence relation that corresponds to the partitions A1 = {1,3,5} A2 = {2} A3 = {4,6} of the set A = {1,2,3,4,5,6} I don't know what the format of the relation should be, in ...
1
vote
1answer
29 views

Is the property reflexive, symmetric, anti-symmetric, transitive, equivalence relation, partially ordered given the relation below?

I'm working on this and I'm supposed to figure out if the following properties apply to the below relations. Properties are: ...
3
votes
2answers
43 views

equivalence classes of ∼ are left cosets of H in G - my attempt

Let $H$ be a subgroup of G, and define a relation $∼$ on G by the rules that $x∼y$ mean $x^{-1}y\in H $. Show that $∼$ is an equivalence relation and its equivalence classes are the left cosets ...
0
votes
1answer
23 views

Need help understanding transitive relations

My discrete math professor gave an example stating that the following relation is transitive, reflexive, symmetric, and antisymmetric. A = {a,b,c,d} R = {(a,a), (b,b), (c,c), (d,d)} I do not ...
0
votes
1answer
20 views

Equivalence relations proof

I need to prove that if $R_1$ and $R_2$ are equivalence relations on the set $A$, then $R_1\cap R_2$ is an equivalence relation. Problem is I dont know how. Please help!
0
votes
1answer
27 views

Discrete Math Proofs, Partial Orders and Equivalence Relations

I am horribly stuck on $3$ proofs for my discrete math class. Any help would be greatly appreciated. Prove that if $R$ is a partial order, then $R^{-1}$ is a partial order Prove that if $R_1$ and ...
0
votes
1answer
36 views

Prove a relation is a equivalence

Let $\sim$ be defined so that $a\sim b$ when $a+b$ is even. Is this an equivalence relation? Equivalence relations confuse me a lot, so any help is appreciated!
0
votes
2answers
24 views

equivalence properties of $\equiv \pmod n$ proofs

Prove the identity: $$a \equiv b \pmod n \wedge a\equiv c \pmod n\implies b\equiv c \pmod n$$ I need to prove this property of $\equiv \pmod{n}$ along with a few others can someone link me to a ...
5
votes
4answers
358 views

What exactly are equivalence classes

What exactly are equivalence classes? Suppose I have an equivalence relation $\sim$ on some set $X$ we denote this as $x \sim y$. The equivalence classes are then $[x] = \{y \in X : y \sim x\}$. ...
1
vote
1answer
63 views

Equivalence relation and equivalence class question

Show that the relation $\sim$ defined on the set $X = \mathbb{N} \times \mathbb{N} = \{(a, b) : a \in \mathbb{N}; b \in \mathbb{N}\}$ as $(a,b) \sim (c,d)$ if and only if $a + d = c + b$ is an ...
0
votes
1answer
57 views

Give an example of a relation R on $A^2$ which is reflexive, symmetric, and not transitive

I am just looking for some clarification on this exercise: Let $A = \{a,b,c,d\}$. Give an example of a relation $R$ on $A^2$ which is reflexive, symmetric, and not transitive. I understand that if I ...
1
vote
2answers
62 views

How to find the Equivalence class for a given set?

I'm really having trouble understanding these equivalence classes. Could someone please guide me through the following problem step by step, and help explain this. I have a final exam next week, and ...
-1
votes
1answer
41 views

list all the equivalence relation [duplicate]

list all the equivanlance relations in the set A={1,2,3,4) so there should be 15 right? so what I got so far (1 1) (22) (33) (44) (12) (13) (14) (21) (23) (24) (31) (32) (34) (41) (42) (43) these ...
0
votes
1answer
44 views

Equivalence Relation on R (real numbers)

Let R be the relation on R(real numbers) defined by: For all x, y (that belong) to R(real numbers), x relates y <=> x-y (that belongs) to Z. (a) Is R an equivalence relation? Prove your answer. ...
0
votes
3answers
54 views

Describing Equivalence Classes using set builder notation

How would you describe all the equivalence classes for the relation: $congruence$ $modulo$ $5$ over $Z$, using set builder notation?
2
votes
1answer
24 views

Checking the equivalence relations of sets

$S=\{0,1,2,3\}, R:SxS, (m,n)\in R \text{ if } m+n=4$. From the condition of $R$, I found that $R=\{(2,2),(1,3),(3,1)\}$. Now I have to see if $R$ is reflexive, symmetric, antisymmetric, and ...
0
votes
2answers
38 views

Inference Proof with Quantifiers

I am trying to figure out this implication proof. Can any of you guys tell me how to prove this? Prove ∀x((¬P(x) ∧ Q(x)) → R(x)) Implies ∀x(¬R(x) → P(x))
0
votes
1answer
100 views

Propositional Logic with rules of inference problem.

$$ \begin{array}{l} 1.\>\>\>\> (r ∧ ¬s) ∨ (q ∧ ¬s)\\ 2.\>\>\>\> ¬s → ((p ∧ r) → u)\\ 3.\>\>\>\> u → (s ∧ ¬t)\\ ...
0
votes
3answers
48 views

Partition induced by the Equivalence Relation

I'm not sure I understand this concept. Let's say we have a "Is parallel to" relation from the set of all lines in the Cartesian plane. What would be the partition induced by this relation? Thank ...
0
votes
2answers
39 views

Trying to understand an example of an equivlance relation that is symmetric

I am just tying to figure our this example but am having difficulty understand the math being used. The example state: Let R be a relation on the set $\mathbb{Z}$ defined as (m,n)$\in$ R if and only ...
1
vote
1answer
42 views

Proving the transitive property of an equivalence relation

I have to prove an equivalence relation.. $x$ is related to $y$ in the reals if $|x-y|\le3$ Reflexivity was easy. Symmetry was just a matter of breaking up the +ve and -ve case and it worked out. ...
4
votes
2answers
47 views

Using Logical Equivalences to prove $(((\neg r) \lor q) \lor ((q \lor (\neg p)) \land ((\neg p) \lor q)))$ is equivalent to $(\neg(r \land p) \lor q)$

I have been trying to solve the following proof: $$(((\neg r) \lor q) \lor ((q \lor (\neg p)) \land ((\neg p) \lor q)))\text{ is equivalent to } (\neg(r \land p) \lor q)$$ I am new to proofs and ...
0
votes
3answers
117 views

Can a premise imply contradictory statements?

Can a premise imply contradictory statements? Can two contradictory premises imply the same conclusion? Determine the answers to these questions by doing the following. Prove or disprove: the ...
0
votes
1answer
43 views

Very Abstract Relation with points

So I have this question on relations, that I really cant understand. I mean, I cant understand the question to be honest. Suppose a set $X$ of points on the plane and we "stabilize" a point $O ∈ X$. ...
0
votes
1answer
70 views

How to show or prove equivalence relation?

I have this relation : for all integers m and n so : m R n ⇔ m ≡ n mod(3) How can I show that R is an equivalence relation
0
votes
2answers
90 views

3-dimensional cube shortest path question

Let Q be the graph consisting of vertices and edges of a 3-dimensional cube. Two relations are defined on the vertices of Q. • R1={(v,w):the shortest path from v to w has an odd number of edges}. ...
2
votes
1answer
97 views

Equivalence relation question with cardinality and countability $A=\mathbb R,\ aSb \iff a-b\in \mathbb Q $

Let $A=\mathbb R,\ aSb \iff a-b\in \mathbb Q $ What is the cardinality of $[\pi]_S$ ? Prove that the quotient group $\mathbb R/S$ is uncountable. Well I think that cardinality is ...
1
vote
1answer
116 views

Prove or disprove question with equivalence relation, classes and quotient group

Let $A$ be a set and $R$ an equivalence relation on $A$. Prove or disprove: If $A$ is countable then all the equivalence classes of $R$ are countable. If $A$ isn't countable then the ...
3
votes
3answers
252 views

Equivalence relation question with functions

We'll define on the set: $A=\Bbb R^{[0,1]}$ the relation $R$ by $fRg$ if $f(0)=g(0)$. Make sure it's an equivilence relation. What is $[\cos x]$ ? Describe all the equivalence classes ...
0
votes
2answers
16 views

Having trouble with symmetry (equivalence relation)

Define a relation of $x,y \in R$ when $x = |y|$. I know this is reflexive as $x = |x|$ holds true because the relation has to have x as positive since $x = |y|$ which makes $x$ have to be positive ...
1
vote
3answers
144 views

Define a relation on the set of all real numbers $x,y \in \mathbb{R} $ as follows:

Define a relation on the set of all real numbers $x,y \in \Bbb{R} $ as follows: $x \sim y$ if and only if $x - y \in \Bbb{Z}$ Prove this is an equivalence relation and find the equivalence class of ...
2
votes
3answers
216 views

Is this relation reflexive, symmetric and transitive?

Define a relation $R$ on the set of functions from $\mathbb{R}$ to $\mathbb{R}$ as follows: $(f, g) \in R $ if and only if $f(x) - g(x) \geq 0$ for all $x \in \mathbb{R}$ Is this relation ...
0
votes
3answers
28 views

Relation symmetric confusion

So Symmetric = (a,b), (b,a) Set = {<1, 1>, <1, 2>, <1, 4>, <2, 1>, <2, 2>, <3, 3>, <4,1 >, <4, 4>} I understand ...
0
votes
0answers
58 views

What is this equivalence relation explicitly?

Let $S \colon = \{ \ (x,y) \in \mathbf{R}^2 \ | \ \ y = x +1, \ \ 0 < x < 1 \ \}$, and let $T$ be the intersection of all the equivalence relation on the plane that contain $S$. Then how ...
0
votes
2answers
150 views

Reflexive, Symmetric, Anti-Symmetric relations

Let $A = \mathbb Z \times ( \mathbb Z\setminus {0} )$. A binary relation $R$ on $A$ is defined as follows: For all $(a,b),(c,d) \in A$ $$(a,b) \,R\,(c,d) \iff ad = bc$$ now how do I find if $R$ is ...
0
votes
2answers
128 views

Discrete Math - Equivalence Classes

I'm trying to understand a problem that my textbook gives me. Here is the problem: The relation $R$ is an equivalence relation on the set $A$. Find the distinct equivalence classes of $R$. $A = \{0, ...
1
vote
1answer
45 views

how many elements does Ia have?

Let $A=\{1,2,3,4\}$. Let $F$ be the set of all functions from $A$ to $A$. Let $R$ be the relation on $F$ defined by $f,g \in F$ $f R g \Leftrightarrow |f(A)|=|g(A)|$ $f(A)=\{f(x): x\in A\}$ ...
1
vote
1answer
40 views

Need help to understand equivalence class

This is in my note Let S={1,2,3,4} Let R be the relation on P(s) defined by xRy <=>|x|=|y| how many equivalence classes are there ? 5 [∅]={∅} [{2}]={{1},{2},{3},{4}} [{2,3}]={{1,2},.......... ...
1
vote
0answers
26 views

Finding equivalence relations containing specific equivalences

"Find the number of equivalence relations on the set $\{1,2,3,\ldots,7\}$ such that: a) $1\sim2$ and $3\sim4$. b) $1\not\sim2$, $1\not\sim3$ and $3\not\sim2$." Solving this problem is equivalent to ...
-2
votes
1answer
55 views

Basic Equivalent Relations Question [duplicate]

For $x,y\in \mathbb R$ $x\sim y$ if and only if $x-y \in \mathbb Q$. I need help with the following questions: If $a \in \mathbb Q$, what is the equivalence class of $a$? If $a \in \mathbb Q$, prove ...
2
votes
1answer
21 views

What is the structure of a directed graph with vertex set A which has a relation R

I am studying for a test and found this question in the book: Let $R$ be an equivalence relation on the set A (Non-empty). Let $D_R$ be the directed graph with vertex set $A$ and an arc from $x$ to ...
0
votes
0answers
35 views

How does Dilworth’s Theorem apply to the set {0, 2, 6, 7}?

I'm having some serious problems with Dilworth's Theorem. My question is 'how does Dilworth’s Theorem apply to the set {0, 2, 6, 7}?'. Any help is appreciated.
0
votes
1answer
37 views

Binary relations: transitivity and symmetry

I've been looking at some examples for transitivity and symmetry. Suppose $A=\{0,1,2 \} $ and the relation $R=\{ (0,0),(1,1),(2,2),(1,2),(2,1) \}$ Well for starters this is clearly reflixe since ...
0
votes
1answer
55 views

Binary relations, closures and equivalences

Let $R$ be the relation on $Z$ such that $xRy \iff x-y=c$. Well, what I have so far is $R=\{ 0,-1,1,0,-1,1,0 \cdots\}$ Is $R^* $ and equivalence relation? Why not? This is where problems start: I ...
1
vote
1answer
48 views

Equivalence class of $T$ on $\mathbb{R} \times \mathbb{R}$ given by $(x,y) T (a,b)$ iff $x^{2}+y^{2}=a^{2}+b^{2}$

What is the equivalence class of $T$ on $\mathbb{R} \times \mathbb{R}$ given by $(x,y) T (a,b)$ iff $x^{2}+y^{2}=a^{2}+b^{2}$ I can see that the equivalence class cannot be negative, as the square of ...
0
votes
1answer
260 views

Find the equivalence class of 0

R is a relation defined on the integers by $(a,b) \in R$ is $a^2-b^2$ and is divisible by 3. I set a or b to zero to get all the negative and positive values in the equivalence class. Although I want ...
0
votes
2answers
85 views

How to calculate equivalence relations

How can I calculate how many equivalence relations can be defined on a given set? For example: How many possible equivalence relations can be defined on S = {a,b,c,d}?