-1
votes
0answers
31 views

Is $^\mathbb{N}\mathbb{R}$ $\sim$ $^\mathbb{R}\mathbb{N}$? [duplicate]

Is $^\mathbb{N}\mathbb{R}$ $\sim$ $^\mathbb{R}\mathbb{N}$? I know you have to use Cantor-Bernstein, and prove both directions, but i don't know how to start the proof
-1
votes
1answer
24 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 ...
0
votes
2answers
55 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
24 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 ...
0
votes
1answer
45 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
48 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
37 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 ...
2
votes
2answers
75 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 ...
3
votes
3answers
52 views

Lifting an equivalence relation on elements to a relation on sets

If every element of $A$ is equivalent (by an equivalence relation $R$) to some element of $B$ $\forall x\in A\ldotp \exists y \in B\ldotp x\,R\,y$ and vice versa $\forall y\in B\ldotp ...
0
votes
1answer
74 views

How can we prove these equivalence relations [closed]

We have this relation $A= (\mathbb Z_{\geq0})\times(\mathbb Z_{\geq0})\times\ldots\times(\mathbb Z_{\geq0})$. And we have the relation $R$ on $A$ such that: $(a , b)R(c , d)\iff a+d=c+b$ and ...
1
vote
2answers
33 views

Set difference is finite - transitive relation?

Let $A=P(\mathbb N)$. The relation $E$ is defined: $(X,Y) \in E$ iff $X \setminus Y$ and $Y \setminus X$ are finite. I was given to prove this is an equivalence relation, however I had troubles ...
0
votes
2answers
54 views

Equivalence relations and equivalence classes

I dont know how to start this proof? Also, our professor did not explain equivalence classes fully so I am not understanding them very well.
1
vote
0answers
36 views

Prove/disprove questions on equivalence relations and ordered sets

If $R$ is an equivalence relation and a partial order over $A \neq \emptyset$ then every equivalence class contain at least one element. If $(A,\le)$ an ordered set, and $a\in A$ is a single ...
0
votes
1answer
28 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
2answers
27 views

Question about partitions with a single element and equivalence relations

I couldn't find a formal definition of a partition but I found this picture on the Bell numbers wiki. You can see there are no partitions with a single element, it confused me, why a partition with ...
0
votes
1answer
44 views

How many equivalence relations there are on a set with 7 elements with some conditions

Calculate how many equivalence relations there are on $\{1,2,3,4,5,6,7 \}$ that include the set $\{(2,2),(1,3),(3,6),(7,5)\}$ and are foreign to the set $\{(1,7),(4,7),(4,3)\}$. Well I first drew ...
0
votes
2answers
33 views

Define an equivalence relation on $\Bbb{Z}$ by $x\sim y$ if $x+2y$ is divisible by $3$

How do I approach this problem? I know how to approach on the equivalence relation of triangles(finding $x\sim x$, finding if $x\sim y$ then $y \sim x$, and finding if $x \sim y$ and $y \sim z$, then ...
4
votes
1answer
140 views

Picture - Equivalence Relation & Classes, Partitions, Quotient Set, & other related ideas

To get intuition for them and to remember them, I'd be grateful for a picture that combines and embodies the key definitions regarding Equivalence Relations & Classes, Quotient Sets, and ...
1
vote
1answer
66 views

Prove that if the relation (R) is symmetric and antisymmetric on the set X, there exists a Y subset of X such that R is the = relation on Y.

Prove that for any relation R on a set X that is both symmetric and antisymmetric, there is subset Y \subseteq X for which R is the relation = on Y. I will tell you what I know. I know that ...
1
vote
0answers
84 views

Power Set, Bijection Function, Equivalence Relation

Let $S$ be a set and $P(S)$ the power set of $S$. For sets $A,B⊆P(S)$, we say that $A \sim B$ if there exists a bijective function $f: A \rightarrow B$. Show that $\sim $ is an equivalence relation.
0
votes
2answers
26 views

Proving that if $E, F$ are equivalence relations on $A$ and $E \subseteq F$, then there is a surjection from $A\setminus E$ to $A\setminus F$

Proving that if $E, F$ are equivalence relations on $A$ and $E \subseteq F$, then there is a surjective function from $A\setminus E$ onto $A\setminus F$. What does $E \subseteq F$ even mean? Does it ...
1
vote
2answers
39 views

How to show properties of a given relation?

I am given that R is a relation on the given set X, and I have to show if the relation is (i) reflexive, (ii) symmetric, (iii) transitive, (iv) asymmetric, and (v) give an example of an element of ...
1
vote
2answers
35 views

Sets equivalence relations

I seem to be having a hard time understanding some basic sets concepts. In week 5 of my class, I learnt about the cross product of 2 sets to be the following $A \times B = \{(a,b) : a \in A, b \in B ...
1
vote
1answer
91 views

Determine if R is an equivalence relation

I've got this question: Consider the relationship $R$ between ordered pairs of natural numbers such that $(a, b)$ is related to $(c, d)$ (denoted by $(a, b) R (c, d)$) if and only if $ad = bc$. ...
1
vote
1answer
66 views

Number of Equivalence relations of $\{1,2,3\}$

Let $M$ be the set $\{1,2,3\}$. How many Equivalence relations $R \subset M \times M$ exists? My idea is to count the disjoint partitions of M: $K_1= ...
0
votes
1answer
44 views

Equivalence relation and quotient set

I'm studying for a test and got stuck in one question regarding equivalence relations and quotient set. Here is the question: Let $F=\mathbb{R}\to \mathbb{R}$ be the set of functions from ...
0
votes
1answer
64 views

Let $H=\{2^m: m ∈ Z\}$ Where $m$ is any integer, and $ a\sim b\Leftrightarrow a/b $ is an element of $H$.

Show that is an equivalence relation and describe the elements in the equivalence class $\operatorname{cl}(3)$. We're studying sets and equivalence in my mathematical proofs class. As this is a ...
0
votes
1answer
45 views

Let H be a (non-empty) subset of integers. Suppose a-b <=> a~b ∈ H is an equivalence relation.

Show that $0 \in H$. Show that if $a \in H$ then $-a \in H$, and lastly, if $a$ and $b \in H$ then $a + b ∈ H$. Last bonus question on our last unit test on sets, equivalence relations and proofs. I ...
0
votes
1answer
78 views

If $X = \{1, 2, 3, 4\}$ show there are just two equivalence relations on $X$ with $1\sim 2$ and $2 \sim3$

If $X = \{1, 2, 3, 4\}$ and $\sim$ is an equivalence relation on $X$, then if $1 \sim 2$ and $2 \sim 3$ show that there are just two possibilities for the relation $\sim$ and describe both ...
2
votes
2answers
2k views

How many equivalence relations on a set with 4 elements.

Let S be a set containing 4 elements (I choose {$a,b,c,d$}). How many possible equivalence relations are there? So I started by making a list of the possible relations: ...
0
votes
1answer
49 views

Understanding an equivalence relation

Let $$R = \{ \left\langle {x,y} \right\rangle \in \wp (\mathbb{Z}) \times \wp (\mathbb{Z})|\exists t \in \mathbb{Z}.y = x + t\} $$ This is the equivalence class for $\{0\}$ $$\begin{array}{l} ...
0
votes
2answers
29 views

Equivalence relation- Equivalence Classes And Partitions

I had the following question A is a finite set and $R \subseteq A \times A$ is a equivalence relation. Prove that $|A|$ is odd iff $|R|$ is odd. I am trying to find a general formula for this ...
1
vote
2answers
69 views

equivalence classes and cardinality

I need to prove that every equivalence class created by the equivalnce relation $\sim$ on $\mathbb{R}$, that is defined by: $a\sim b \Leftrightarrow (a-b) \in \mathbb{Q}$, is $\aleph_0$. Furthermore, ...
1
vote
0answers
34 views

The null set as the underlying set of a relation structure

Can the null-set underly a relation structure? Can it underly a well-order? If so, would such a well-order have order-type $0$? (Can one even have an order-type of $0$?) My motivation for this ...
2
votes
2answers
46 views

Equivalence and Order Relations

I have the following problem: Provide an example of a set $S$ and a relation $\sim$ on $S$ such that $\sim$ is both an equivalence relation and an order relation. Conjecture for which sets and this ...
-1
votes
1answer
64 views

Sets Modulo Equivalence Relations

I am stuck on this question and would greatly appreciate any help: Recall, for an arbitrary set $S$ and equivalence relation $\equiv$ on $S$, $S/\equiv$ denotes the set of equivalence classes in $S$. ...
5
votes
0answers
171 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
2answers
108 views

What does an equivalence class look like?

Let $\mathbb{R}^2 = \{Q = (a,b) | a,b\in \mathbb{R}\}$. Prove that if $q_1 = (a_1,b_1)$ and $q_2=(a_2,b_2)$ are equivalent, meaning $a_1^2+b_1^2 = a_2^2 +b_2^2$, then this gives an equivalence ...
0
votes
1answer
70 views

Equivalence Relations

I would appreciate any help available for the following problem: Let $S$ be a set. Let $T$ be the set of all relations on $S$. Construct a relation $\equiv$ on $T$ in the following way: for $\sim, ...
8
votes
3answers
175 views

Can we take images of equivalence relations?

Given a function $f : X \rightarrow Y$, it is well-known that we can take the image under $f$ of any subset $A \subseteq X$, and we can take the preimage under $f$ of any subset $A \subseteq Y$. This ...
2
votes
1answer
105 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
124 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
280 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 ...
1
vote
3answers
63 views

Proof of equivalence relation on a set

Let $X = \{(a,b) \mid a,b \in \Bbb Z; b \ne 0\}$. We define $(a,b)\mathrel R (c,d)$ iff $ad = bc$. Prove that $R$ is an equivalence relation on the set $X$. Which known set do the equivalence classes ...
2
votes
2answers
75 views

Properties of the relation $R=A\times B \cup B\times A$

A is a set. Let $B\subsetneq A$. $R=A\times B \cup B\times A$ Determine if the relation is (a)reflexive, (b)symmetric, (c)transitive, (d)anti-reflexive, (e)anti-symmetric, (f)asymmetric, ...
1
vote
1answer
62 views

Properties of the relation $R=\{(x,y)\in\Bbb R^2|x-y\in \Bbb Z\}$

$A= \Bbb R \\ R=\{(x,y)\in\Bbb R^2|x-y\in \Bbb Z\}$ Determine if the relation is (a)reflexive, (b)symmetric, (c)transitive, (d)anti-reflexive, (e)anti-symmetric, (f)asymmetric, (g)equivalence ...
0
votes
1answer
65 views

Equivalence relation $g\sim h :\Longleftrightarrow h \in \{g,g^{-1}\}$

Let $(G, \cdot)$ be a group with an Identity element $e$. (i) A relation on $G$ is defined through $g\sim h :\Longleftrightarrow h \in \{g,g^{-1}\}$. Show that $\sim$ is a equivalence relation and ...
-2
votes
1answer
32 views

Formulate a relation $R$ between $2$ sets $A$ and $B$

Let $A$ and $B$ be $2$ sets of real numbers. How can I formulate the following entence, in mathematical terms, not plain english. IF At least one Element $x$ of $A$ is equal to one element $y$ of ...
0
votes
0answers
60 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 ...
2
votes
1answer
153 views

equivalence relation composition problem

Let $R_1$, $R_2$ be two equivalence relations on $X$, prove that $R_1\circ R_2$ is an equivalence relation if and only if $R_1\circ R_2= R_2\circ R_1$ First I´m trying to prove that $R_1\circ R_2= ...