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

learn more… | top users | synonyms

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 ...
1
vote
1answer
38 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
25 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
52 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
26 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
52 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
104 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 ...
0
votes
1answer
25 views

equiv. class if aRb means a+b is a+b even

let s be set of integers. and say that aRb=a+b only if a+b is even. i've already shown that this is indeed a equivalance relation, but how to show its equivalance classes?
-1
votes
1answer
40 views

Let F be a partition of A. Prove there exists unique equivalence relation R such that F=A|R?

Let F be a partition of A. Prove there exists unique equivalence relation R such that F=A|R? I don't even know how to start. I know to be a equivalence relation R must be reflexive, symmetric and ...
1
vote
2answers
61 views

Prove that $\mathbb{Q} \times \mathbb{Q}$ is countable.

Knowing that $\mathbb{Q}$ is countable, I must prove that $\mathbb{Q} \times \mathbb{Q}$ is countable. Teacher's proof: For each $a \in \mathbb{Q}$, let $A_a = \{(a,q) : q \in \mathbb{Q}\}$ so that ...
6
votes
1answer
145 views

Solve for ? - undetermined inequality symbol

So I was solving a problem in Rudin (chapter 3 #16, to be specific) and I realized how convenient it would be to have a symbol that represented an undetermined equivalence relationship. As an example ...
1
vote
2answers
46 views

Show that $R = \{ (x,y) \in \mathbb{Z} \times \mathbb{Z} \; : \; 4 \mid(5x+3y)\}$ is an equivalence relation.

Let $R$ be a relation on $\mathbb{Z}$ defined by $$ R = \{ (x,y) \in \mathbb{Z} \times \mathbb{Z} \; : \; 4 \mid (5x+3y)\}$$ show that R is an equivalence relation. i'm having a bit of trouble ...
0
votes
1answer
50 views

Show that R is an equivalence relation on X for x, y in X iff f(x) = f(y)

$f:X→Y$ $x,y ∈ X,xRy$ iff $f(x) = f(y)$ Show that R is an equivalence relation on X. Also when $X = Y = \mathbb{R}$ and $f: \mathbb{R} \to \mathbb{R} $ with $x \mapsto x^2$ for all $x∈R$ find the ...
1
vote
1answer
330 views

What are some concrete examples of kinds of relations in math?

I'm writing an undergrad philosophy paper. My take on the issue is that the conceptual problem I'm addressing is only a problem because the word 'is' and 'relation' are too slippery. By more precisely ...
2
votes
3answers
43 views

Prove Equivalence Relation in G

Hei, guys! I'm having some trouble with the next problem: Let $A$ and $B$ be subgroups of $G$. Show that $\sim$ is an equivalence relation when it is defined as follows: $g\sim g'\Leftrightarrow g' ...
1
vote
1answer
36 views

Check: Let G be a group and H be a subgroup of G. Define R by $xRy \iff xy^{-1} \in H$. Show R is an equivalence relation.

Let G be a group and H be a subgroup of G. Define R by $xRy \iff xy^{-1} \in H$. Show R is an equivalence relation. $\textbf{Definition:}$ R is a relation on X. R is an equivalence relation of X if R ...
1
vote
1answer
18 views

Verify Equivalence relation.

Question: Find an example of three relations $R_{1}$, $R_{2}$ , $R_{3}$ on the set S=$\{1,2,3,4,5\}$ such that $R_{1}$ is reflexive but not transitive, $R_{2}$ is transitive but neither symmetric ...
1
vote
4answers
49 views

Easy question about an equivalence relation

I was told the following in class: If we define an equivalence relation on $[0,1)$ by declaring that $x \sim y$ iff $x-y$ is rational, then there are uncountably many equivalences classes. Why is ...
1
vote
1answer
54 views

$\sin(x)$ is asymptotically equal to $x+5x^3$

Here is my question: I've never seen before this kind of fact underlined about asymptotic equalities (and why we keep only one term in these equalities) and I'm looking for reference. Here is an ...
0
votes
3answers
46 views

Does finite equivalence classes implies that the set itself is finite.

My Assignment Question: If $R$ is an equivalence relation on a set $S$ and it has only finitely many equivalence classes altogether, then $S$ itself is a finite set. From the theorem for ...
0
votes
2answers
57 views

Doubt pertaining to this Equivalence Relation.

$1$. True or false? If $R$ is an equivalence relation on a set $S$ and it has only finitely many equivalence classes altogether, then $S$ itself is a finite set. I think the answer is true ...
1
vote
2answers
28 views

What is the cardinality of $\left|C_s\right|$?

Let $$C_s = \left\{ f\in \mathbb{N}/S \to \mathbb{N} : \forall M\in \mathbb{N} / S. f(M)\in M \right\}$$ Where $S$ is an equivalence class. I need to prove $$\left|C_s\right| > \aleph_0 \implies ...
2
votes
1answer
81 views

A relation that is Reflexive & Transitive but neither an equivalence nor partial order relation

Set $A = \{0,7,1\}$ 1. So for a relation that is reflexive and transitive but neither an equivalence relation nor partial order...Can a relation be both partial order and equivalence? Attempt: ...
1
vote
1answer
28 views

Transitive closure of $H=\{(a,b) \in \mathbb{R}^2: |a-b| \leq 0.1\}$

$$H = \{(a, b) \in \mathbb{R}^2: |a − b| \leq 0.1\}$$ In class today we went over this problem as an example to show transitive closure. I know that the transitive closure of $H$ is "All real ...
0
votes
1answer
49 views

What is the cardinality?

Let $A=\left\{1,2,\cdots,10\right\}$ Let $f,g:A\to A$. Consider the equivalence relation $$ fRg \iff \exists h:A\to A. f=h\circ g$$ where $h$ is invertible. Now, let $g(x)=5$: Why is $\left| ...
2
votes
1answer
72 views

Proving that a relation is an equivalence relation

I am having difficulties proving the relation IS an equivalence relation. Let $f: X\longrightarrow Y$ be a function from a set $X$ onto a set $Y$. Let $R$ be the subset of $X \times X$ consisting ...
0
votes
1answer
45 views

What does it mean for a binary relation to be an order on “equivalence classes” under another binary relation

I am a bit confused about this statement in "Introduction to Set Theory" by Hrbackek and Jech. The statement is as follows: "|A| <= |B| behaves like an ordering on the "equvivalence classes" under ...
1
vote
0answers
21 views

prove the following equivalence $\ln(-\frac{l-x+\sqrt{r^2+(l-x)}}{l+x-\sqrt{r^2+(l+x)}})={}$ArcSinh$(\frac{l+x}{r})+{}$ArcSinh$(\frac{l-x}{r})$

Hi guys i'm trying to prove the following equivalence but i'm having some problems: $$\ln\left(-\frac{\ell-x+\sqrt{r^2+(\ell-x)^{2}}}{\ell+x-\sqrt{r^2+(\ell+x)^{2}}}\right) = \operatorname{ArcSinh} ...
1
vote
1answer
63 views

Is the relation $a\mathrel R b \iff f(a) \equiv f(b)$ an equivalence relation?

Suppose that I have a relation $R$ of the form $a\mathrel R b \iff f(a) \equiv f(b)$, where $\equiv$ is an equivalence relation. In general, is $R$ also an equivalence relation? If not, what are the ...
-1
votes
5answers
96 views

How would I show that R is an equivalence relation?

If I were to consider the relation R on ℤ defined by n R m if and only if P(n)=P(m). How would I show that R is an equivalence relation? Any help is appreciated.
0
votes
1answer
23 views

Comparing two circularly shifted matrices

I am looking for a way to compare two matrices A and B where B is the result of circularly shifting rows of A i.e. A = [1 2 3;4 5 6], B = [4 5 6;1 2 3] Is there an operator or metric that would ...
1
vote
1answer
42 views

Let R be the relation on ℤ+→ℤ+ defined by (a,b)R(c,d) if and only if a-2d=c-2b. List all the elements of the equivalence class [(3,3)].

I'm confused on how to find all the elements. I know how to find some but not all, wouldn't they be infinite? This is affecting me with the other questions as well. Thanks in advance!
3
votes
2answers
57 views

Functional relations : Trouble seeing transitivity

Given the following domain: $\;\{1,2,3,4\}$ And the following relation: $$\{(1,1),(1,3),(1,5),(2,2),(2,4),(3,1), (3,3),(3,5),(4,2),(4,4),(5,1),(5,3),(5,5)\}$$ It states that this is an equivalence ...
3
votes
1answer
47 views

Geometric/visual interpretation of transitivity for equivalence relations on $\mathbb{R}$

If we graph equivalence relations on $\mathbb{R}$ on the plane $\mathbb{R} \times \mathbb{R}$, the properties of reflexivity and symmetry give rise to certain geometric properties--i.e. reflexivity ...
2
votes
2answers
41 views

Is $R=\left \{ (a,a),(a,b),(b,a),(b,b),(c,c),(c,d),(d,c),(d,d) \right \}$ an equivalence relation on $X$?

Let $X= \left \{ a,b,c,d \right \}$ and $R=\left \{ (a,a),(a,b),(b,a),((b,b),(c,c),(c,d),(d,c),(d,d) \right \}$. I want to show that $R$ is an equivalence relation on $X$. My work: $R$ is reflexive: ...
5
votes
0answers
196 views

Colored Picture for Equivalence Classes, Relations, Partitions, ..

Origin — A Book of Abstract Algebra — Charles Pinter — p120. I'm trying to sketch a colored picture for the ideas from equivalence classes, equivalence relations, partitions, etc... underneath. ...
0
votes
1answer
30 views

suppose $R$ is an equivalence relation on $A$ such that there are only finitely many distinct equivalence classes $A_1,A_2,\ldots,A_k$ w.r.t $R$

Suppose $R$ is an equivalence relation on $A$ such that there are only finitely many distinct equivalence classes $A_1,A_2,\ldots,A_k$ w.r.t $R$. Show that $$A=\bigcup_{i=1}^k A_i$$ Since $A_i\subset ...
0
votes
1answer
61 views

Reflexivity of the relation between strings over language $L$ defined by $xc \equiv L$ and $yc \equiv L $

Given any two strings, call them $x$ and $y$, over any language $L$ and given property such that if $xc \equiv L$ and $yc \equiv L $ (where $c$ is some string), then $x \equiv y$. I would ...
1
vote
1answer
52 views

Expressing an formula in term of another one

I have this formula $$-\frac 1\lambda\left[\lambda D+1+W_{-1}\left(-r\exp(-\lambda D-1)\right)\right]$$ with $r$ , $\lambda$ and $D$ >0. Where $W$ is the Lambert W function ...
0
votes
2answers
133 views

Why do we use the term “equivalent” with Operators but “equal” with Functions?

Why do we speak in terms of "equality" when we deal with functions but "equivalence" when dealing with operators? To elaborate: Two functions, f and g are equal to each other (denoted: f=g) if: ...
0
votes
1answer
64 views

Listing equivalence relations class for $x\sim y \Leftrightarrow x^2=y^2$ [duplicate]

Can someone help me on the right track for my proof for the statement below. I started and got stuck but I need help. Please guide me to answer what this statement requires and how to word it out ...
0
votes
1answer
196 views

Equivalence Relation? Column-equivalence on the set of all $m\times n$ matrices.

How do I show that column equivalence on the set of all $m\times n$ matrices is an equivalence relation? I know that to show it is an equivalence relation, I need to show that column equivalence is ...
1
vote
2answers
60 views

How many times can transitivity property be applied

Can transitivity property be applied for infinite number of times for a certain problem??
1
vote
1answer
24 views

Proving Equivalence Relations and Quotient Sets

Prove that the relation ∼ on $Z×Z$ given by $(a, b) ∼ (c, d)$ if $a+d = b+c$ is an equivalence relation. Give the quotient set $Z × Z/$ ∼.
2
votes
3answers
80 views

What is it called when !(a < b) and !(b < a) implies a = b?

I thought it would be some kind of symmetric equality but its impossible to do a google search on this, all I get are definitions of reflexive, symmetric and transitive. I'm not really sure which ...
1
vote
2answers
85 views

Geometric meaning of reflexive and symmetric relations

A relation $R$ on the set of real numbers can be thought of as a subset of the $xy$ plane. Moreover an equivalence relation on $S$ is determined by the subset $R$ of the set $S \times S$ consisting of ...
1
vote
0answers
42 views

Axioms of equivalence relation in terms of the subset $R$

..An equivalence relation on $S$ is determined by the subset $R$ of $ S \times S$ consisting of those pairs $\left(a,b\right)$ such that $a \sim b$. Write the axioms for an equivalence relation in ...
1
vote
0answers
38 views

Properties of relations on Z

$$R_3 = \{(x,y) \in \mathbb{Z} \times \mathbb{Z}|\frac{x-y}{5} \in \mathbb{Z}\} $$ $$R_4 = \{(x,y) \in \mathbb{Z} \times \mathbb{Z}|x > y \} $$ I need to know which one is reflexive, symmetric, ...
-1
votes
1answer
54 views

An equivalence relation $\rho$ on $\mathbb R^2$

Define an equivalence relation $\rho$ on $\mathbb R^2$ by $(x_1,y_1)\rho(x_2,y_2)$ iff $x_1^2+y_1^2=x_2^2+y_2^2$ Then find the corresponding quotient space $\mathbb R^2/ \rho.$