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

learn more… | top users | synonyms

0
votes
1answer
22 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
34 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
39 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
33 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
27 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
24 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
30 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
33 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
6 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
23 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 ...
1
vote
1answer
63 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 ...
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
44 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
32 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 ~ ...
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. ...
0
votes
0answers
27 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 ...
0
votes
1answer
21 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 ...
0
votes
0answers
50 views

Showing that 2^(N-1) is equivalent to 1 mod N [closed]

My math professor gave us the following problem on a past exam and I didn't get it right then and I still don't know how do it: ...
1
vote
0answers
69 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
1answer
29 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 ...
2
votes
3answers
99 views

Equivalence class for the relation of having the same set of prime divisors

For an integer $n\in \mathbb{N}$ define $P(n) = \{p : p \mid n \text{, where $p$ is a prime} \}$. For example $P(12)=\{2,3\} $ and $P(1)=\emptyset$. Question: Consider the relation $R$ on ...
0
votes
0answers
42 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
52 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
42 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 ...
-4
votes
2answers
113 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
31 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 ...
0
votes
1answer
29 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 ...
1
vote
1answer
74 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
65 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
30 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
18 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 ...
2
votes
1answer
69 views

Equivalence Relation using Binary Operations.

Question: Let ∗ be a binary operation on a set A. Assume that ∗ is associative with identity. Let R be the relation on A defined on elements a,b ∈ R as follows: aRb if there exists an invertible ...
1
vote
1answer
33 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
133 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
76 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
87 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
36 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? ...
5
votes
3answers
1k views

Why is the empty set finite?

On page 25 of Principles of Mathematical Analysis (ed. 3) by Rudin, there is the definition (excluding the irrelevant parts for this question): Definition 2.4: For any positive integer $n$, let ...
1
vote
2answers
47 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
66 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
34 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
48 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 ...
1
vote
2answers
64 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 ...
1
vote
1answer
47 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 ...
0
votes
1answer
21 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 ...
-3
votes
1answer
33 views

How can i do this algebra question? [closed]

The question is show that the relation $a\sim b$ defined by $a\equiv b \bmod 7$ is an equivalence relation on $\mathbb{Z}$. How many equivalence classes are there? Let us call them $[0]$, $[1]$, ..., ...
0
votes
1answer
33 views

How to determine a equivalence relation?

I have a problem to understand the following output: Determine "representative system" or a "system of representatives" :).....for the following equivalence relation ...
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 ...
3
votes
5answers
3k views

Equivalence relation $(a,b) R (c,d) \Leftrightarrow a + d = b + c$

Suppose $A$ is the set composed of all ordered pairs of positive integers. Let $R$ be the relation defined on $A$ where $(a,b) R (c,d)$ means that $a + d = b + c$. (a) Prove that $R$ is an ...
1
vote
1answer
39 views

Prove that $[x]_{R}=[y]_{R} \Rightarrow g(f(x))=g(f(y))$

Let $f:\mathbb{Z} \to \mathbb{N}$ and $g:\mathbb{N} \to \mathbb{N}$ be functions. And let $R$ be a equivalence relation on $\mathbb{Z}$, defined by: $$xRy \Leftrightarrow f(x)=f(y)$$ For any ...