For reflexive, symmetric and transitive relations. Use it with the tag (relations).

learn more… | top users | synonyms

0
votes
1answer
26 views

Determining the transversal for an equivalance relation

If you have an equivalence relation $c$ on $\Bbb{Z}$ defined by $$\{x,y\in\Bbb{Z}:p\in\Bbb{Z},x=5p+y\}$$ How would you proceed to determine if the following subset of $\Bbb{Z}$ $$\{-8,1,10,13,19\}$$ ...
1
vote
1answer
38 views

How many equivalence classes does this relation have?

I have this relation: $$A = \mathbb {R} \\ \quad\;\; x\sim y \iff x-y \in \mathbb {Z} $$ I have already proved if it is an equivalence relation. Now I am just searching for the equivalence classes ...
0
votes
1answer
50 views

Find the equivalence class of this relation!

I am having the following relation with the set A and B: $$ (x_1, y_1) \sim_{A\times B} (x_2, y_2) \iff\; x_1 \sim_A x_2\ \;\land\; \; y_1 \sim_B \; y_2 $$ I haved already proved, that it is a ...
0
votes
2answers
34 views

Relation of any set A

I've been learning of relations and I'm having trouble on how to proceed with this problem: $$ \begin{align} \text{On any set } A: a\sim b \enspace\enspace\forall \enspace a,b \in A \end{align} $$ ...
1
vote
1answer
28 views

implications, equivalence, disjunction

I might not be very clear with this but i hope someone gets it Prove that $f : X→Y$ is surjective then and only then when $g_1, g_2$ which $Y → Z$ we have $g_1 \circ f= g_2 \circ f \Rightarrow g_1 = ...
1
vote
1answer
26 views

Proving a simple partially ordered set

I am losing my mind over this: (a) The relation $A=\{(1,1),(2,2),(3,3),(4,4),(3,2),(2,1),(3,1),(4,1)\}$ on the set $S=\{1,2,3,4\}.$ I'm having trouble figuring out if it's reflexive, symmetric, ...
0
votes
1answer
66 views

Equality of equivalence classes for congruence modulo 7

Let R be the relation of congruence modulo 7. Which of the following equivalence classes are equal? [35], [3], [−7], [12], [0], [−2], [17] I got 3) [35] = [-7] = [0], [3] = [17], [12] = [-2] ...
0
votes
2answers
43 views

Finding the equivalence class of this relation

I am having this relation: $$ A=\mathcal P(\mathbb {N} \diagdown 0) , $$ A~B :<=> min A = min B I haved already ...
0
votes
0answers
7 views

Prove that $cl_{eq}(R) = (cl_{sym}(R))^*$

Prove that $cl_{eq}(R) = (cl_{sym}(R))^*$ $cl_{eq}(R) = \bigcap\{S | $ S is an equivalence relation and $R \subseteq S\}$ is the equivalence closure of R. $R^* = \bigcap\{S | $ S is reflexive, ...
0
votes
1answer
28 views

Ordered Pair Proof

Below are two relations on $R.$ For each one, determine (with proof) whether or not it is an equivalence relation. If it is an equivalence relation, describe the partition it induces (i.e., describe ...
2
votes
0answers
40 views

Prove $[(n, k)] = 7^{*} \iff n - k = 7$

Prove $[(n, k)] = 7^{*} \iff n - k = 7$ given $7^{*} = [(8,1)] \in \mathbb{Z}$ and $k < n \in \mathbb{N}$ using any facts about addition in the Peano System. $k < n \in \mathbb{N}$ is ...
0
votes
1answer
17 views

Doman and range of a simple relation

Relation xRy if x≥y^2 (on real numbers), I'm assuming the domain is (o, infinity) and the range is all real numbers?
0
votes
1answer
46 views

Equivalence relation for set given as matrix

I need a hint. My task is to proof that ((a11, a12), (b11, b12)) ((a21, a22), (b21, b22)) ∈ R ⇔ a11 + a12 + a21 + a22 = b11 + b12 + b21 + b22 R is equivalnce relation. My problem is that I ...
1
vote
1answer
52 views

Define a relation ~ on ℝ² by (x,y)~(w,z) if x+y=w+z

So, it comes in two parts: a. Prove that ~ is an equivalence relation on ℝ². b. Give a geometric description of the partition of ℝ² formed by the equivalence classes. For a, I have to prove that ~ ...
0
votes
0answers
29 views

equivalnce relation for sets given as matrix [duplicate]

I need a hint. My task is to proof that ((a11, a12), (b11, b12)) ((a21, a22), (b21, b22)) ∈ R ⇔ a11 + a12 + a21 + a22 = b11 + b12 + b21 + b22 R is equivalnce relation. My problem is that I have ...
1
vote
1answer
26 views

Find the set of a given equivalence relation

What is the set $[4]$ but I haven't seen any examples in the text that describe how to approach a question such as this one. ...
1
vote
0answers
114 views

Equivalence relation over groups $a\asymp_sb :\rightarrow\exists n\in\Bbb Z:as^n=b$: terminology and decision problem

Let's define this relation over the elements of an infinite group $(G,\cdot,e)$ $$a\asymp_sb :\rightarrow\exists n\in\Bbb Z(as^n=b)$$ where $a^n$ is defined as follow 1)$a^0=e$ 2)$a^{n+1}=aa^n$ ...
0
votes
1answer
28 views

Non-empty intersection of equivalence classes.

I'm having troubles with the following exercise about equivalence classes on a defined set. Let $R$ be an equivalence relation on a set $A$. Given $a,b \in A$ prove the following statements are ...
1
vote
1answer
94 views

Being contractible in homotopy theory vs. homotopy type theory

I'm trying to clarify the notion of being contractible in homotopy theory vs. homotopy type theory. Is the following right? "In homotopy theory the real interval $[0,1]$, considered as a subset ...
1
vote
0answers
78 views

Is “to be married” a transitive relation?

If you define a relation on the set of people, given by $R=\{x,y : x\text{ is married with } y\}$. Is this relation transitive? I would say it depends: In the western culture: If $x$ is married with ...
0
votes
0answers
51 views

Well-defined functions using mod $p$ equivalence classes

Prove that if $m, n$ are elements in the set $\mathbb{Z}$ and $m \equiv n \pmod p$, then $m^2 \equiv n^2 \pmod p$. Also, is the function $f: [\mathbb{Z}]_p \to [\mathbb{Z}]_p$ given by $f([n]_p) = ...
0
votes
1answer
74 views

Equivalence classes of multiples of 3

I'm having a little trouble wrapping my head around the elements of the equivalence classes using the following definition: for m, n in N, define m ~ n if m^2 - n^2 is a multiple of 3. 1) List four ...
1
vote
2answers
86 views

Well-defined functions on equivalence classes

Could someone please explain how to develop a proof and the reasoning behind the following: My professor said that to determine if a function is well-defined, we check to see if equivalent elements ...
0
votes
1answer
41 views

Equivalence Relation and functions question

Could someone please confirm if I understand this correctly? Here is the problem: define ~ on Z by m ~ n in case m^2 ~ n^2. 1) What, if anything, is wrong with the following "definition" of a ...
-4
votes
2answers
119 views

How to show that $(a \sim b \iff n | a−b)$ is an equivalence relation? [closed]

Let $n \in \mathbb{Z}$, $n > 0$ be a fixed positive integer. Define the relation $\sim$ on the set $\mathbb{Z}$ of integers by setting $$ \forall a, b \in\mathbb{Z}\ (a \sim b \iff n | a−b). $$ ...
0
votes
1answer
144 views

to find the smallest and largest number of equivalence relation in a set

Let $s$ be a set of $n$ elements. The number of ordered pairs in the largest and smallest equivalence relation on set $s$ are $n^2$ and $n$. I am able to understand the largest set of equivalence ...
0
votes
1answer
36 views

Equivalence classes, relation, partitions

Let $\sim$ be an equivalence relation on M, and $M/{\sim}$ to be the partition of M by $\sim$, and $\sim_{M/\sim}$ to be the equivalence relation by the partition. How do I show that the two ...
1
vote
1answer
97 views

Is a subobject classifier logically equivalent to set-inclusion?

Can one subsume the notion of set-inclusion $\subseteq$ and $\subset$ with the notion of a subobject classifier, expressed via an injective morphism $\hookrightarrow$? Specifically: Are the ...
1
vote
4answers
101 views

Let $G$ be a group. Prove the equivalence relation: If $H$ is a subgroup of $G$, let $a \sim b$ iff $ab^{-1} \in H$

Let $G$ be a group. Prove the equivalence relation: If $H$ is a subgroup of $G$, let $a \sim b$ iff $ab^{-1} \in H$ To prove an equivalence relation my guess is to show that reflexivity, ...
3
votes
2answers
45 views

Equivalence Relations on Set of Ordered Pairs

Let $\mathbb{R}$ be the relation on $\mathbb{Z} \times \mathbb{Z}$, that is elements of this relation are pairs of pairs of integers, such that $((a,b),(c,d)) \in \mathbb{R}$ if and only if $a-d = ...
1
vote
2answers
19 views

Quick question: functions to spaces with equivalence relations

So I'm a little confused about sending functions from spaces without equivalence relations to a space with equivalence relations. For example, I'm trying to define a function $f : S^{n} \rightarrow ...
1
vote
1answer
38 views

Restriction of an equivalence relation on a subset.

If we have an equivalence relation defined on a set E and S its subset. Is the relation defined on S is also an equivalence one? Thank you for your answers.
-2
votes
1answer
171 views

determining reflective, symmetric, transitive, anti-symmetric properties and describing equivalence classes

The question: determine if p is reflective, symmetric, transitive and/or anti-symmetric, if p is an equivalence relation, describe the equivalence classes A = Z , and $apb$ if and only if $5 | (2 a + ...
1
vote
1answer
102 views

Let A be a non-empty set, and p an equivalence relation on A . Let a , b be an element of A . Prove that [ a ] = [ b ] is equivalent to apb

the question: a) Let A be a non-empty set, and p an equivalence relation on A . Let a , b be an element of A . Prove that [ a ] = [ b ] is equivalent to $apb$ b) If p is both an equivalence relation ...
1
vote
1answer
88 views

$A = \mathbb{R}$ , and $a\mathrel{p} b$ if and only if $\sin a = \sin b$

My question is: For the relation $p$ described below, determine if $p$ is reflexive, symmetric, transitive, anti-symmetric. In each case, if $p$ is an equivalence relation, describe the equivalence ...
0
votes
3answers
42 views

Given $n \sim r \iff n \equiv r \pmod d$, prove $\sim$ is an equivalence relation. [duplicate]

It is given that n belongs to Z and d belongs to N. How do I prove that n=r mod d defines equivalence relation? I know I have to prove it is reflexive, symmetric and transitive. But how do I do that? ...
1
vote
2answers
87 views

Can a relation be a partial order and an equivalence at the same time?

Can a relation be a partial order AND an equivalence at the same time? For instance, if we have a set A = {1, 2, 3, 4, 5} and a relation R on A defined as R = {(1, 1), (2, 2), (3, 3), (4, 4), (5, 5)}: ...
0
votes
2answers
67 views

Does R^2 has the same property as R?

If R is a relation on set A, define $R^2$ by $aR^2b$ if and only if there exists c with aRc and cRb. If R is reflexive/symmetric/transitive does $R^2$ have the same property ? I'm not sure how to do ...
-1
votes
2answers
37 views

prove the equivalence of the following statements: 2x-1 is irrational; x/3 is irrational

I am stumped. I really have no idea how to solve this problem. Can someone please help me through this? THE TWO EQUATIONS ARE SEPERATE
-2
votes
1answer
49 views

An equivalence relation iff G≈H, where G and H are groups [duplicate]

Problem : Let $S$ be the relation G~H iff G is isomorphic to H. Show reflexive, transitivity and symmetric. First show G is automorphism, which will imply G~G. So the identity mapping gives us ...
0
votes
1answer
24 views

Possible Equivalence Relation Question

Consider $\langle\Bbb{Z}_6, +_6\rangle$. Let $a\sim b$ if and only if $\{a,b\}$ generates $\langle\Bbb{Z}_6, +_6\rangle$. $a,b \in \Bbb{Z}_6$. Is $\sim$ an equivalence relation? I know an ...
1
vote
1answer
57 views

Find all equivalence classes

Let R by a relation defined on pairs $(m,n)$ of integers $m$ and natural numbers $n$ by $(i,j) R (k,l)$ if $il=jk$. Prove that this is an equivalence relation and give the equivalence cases. Show ...
1
vote
2answers
68 views

Identifying laws in a discrete math example

I'm studying for my upcoming discrete math test and I'm having trouble understanding some equivalences I found in a book on the subject. I guess I'm not really familiar with these rules and I would ...
0
votes
1answer
59 views

Double check $G\sim H$ iff $G≈H$

Let $S$ be the collection of all groups. Define a relation on $S$ by $G \sim H$ iff $G ≈ H$. Prove that this is an equivalence relation. So $S$ is partitioned into isomorphism classes. Proof: Let ...
1
vote
1answer
103 views

Proving an equivalence relation(specifically transitivity)

I'm currently learning about equivalence relations. I understand that an equivalence relation is a relation that is reflexive, symmetric, and transitive. But I'm having trouble proving the transitive ...
0
votes
1answer
27 views

equivalence Relation problem with some conditions

If A be a set with $|A|=n$. if R be a equivalence Relation on A and $|R|=r$, why $r-n$ always be even ?
0
votes
2answers
105 views

Equivalence Class Question

On the set $N\times N$ define $(m,n)\simeq(k,l)$ if $m+l=n+k$. Draw a sketch of $N\times N$ that shows several equivalence classes. (hint: sketch points on graph paper). I'm not quite sure how to ...
0
votes
0answers
30 views

What is the intersection of thses equivalence relations?

Let $S$ be the following subset of the plane: $$ S \colon= \{ \ (x,y) \ | \ y=x+1, \ 0 < x < 2 \ \}.$$ Then how to describe the equivalence relation $T$ on the real line that is the ...
0
votes
2answers
54 views

Equivalence relations for $\mathbb{N} \times \mathbb{N}$ question

On the set $\mathbb{N} \times \mathbb{N}$ define $(m, n) \sim (k, l)$ if $m + l = n + k$. Show that $\sim$ is an equivalence relation on $\mathbb{N} \times \mathbb{N}$. Draw a sketch of $\mathbb{N} ...
0
votes
1answer
199 views

Absolute Value Equivalence relation inequality Question

I'm having trouble understanding what exactly to do to see if the following relation is symmetric and transitive. I've already determined that it is reflexive. Could someone please help me? For $a, b ...