MHB Glad I could help! Good luck with your studies.

the rambler
Messages
3
Reaction score
0
Hi guys! First time poster, long time lurker! I can't make any sense out of equivalence relations:confused: These kinda questions crop up every year on the exam and I was wondering if someone could help me understand the concept behind them.

(i)Show that relation R defined on the of the
set S = {0, 1, . . . , 99} as R = {(a, b) € S × S : a − b is a multiple of 25} is an
equivalence relation.
I understand that to show something is an equivalence relation you need to show that they are reflexive, symmetric and transistive but I've no idea how to apply that to a question like this?

(ii) How many elements does the R-equivalence class of
a = 73 have?

Would this be 4? As in 73 itself, 73-25= 48, 73-50=23 and 73+25= 98

(i) Show that relation ~ defi ned on the set X = N x N = {(a, b) : a € N; b € N} as
(a,b)  (c,d) if and only if a + d = c + b
is an equivalence relation. (ii) Write down three elements of the equivalence class of
(12, 7). What do they all have in common?

[€ = an element of]

No clue at all hereExcuse my very humble attempts at answering the questions (Blush) Any help at all would be very much appreciated :)
 
Physics news on Phys.org
the rambler said:
Hi guys! First time poster, long time lurker! I can't make any sense out of equivalence relations:confused: These kinda questions crop up every year on the exam and I was wondering if someone could help me understand the concept behind them.

(i)Show that relation R defined on the of the
set S = {0, 1, . . . , 99} as R = {(a, b) € S × S : a − b is a multiple of 25} is an
equivalence relation.
I understand that to show something is an equivalence relation you need to show that they are reflexive, symmetric and transistive but I've no idea how to apply that to a question like this?

(ii) How many elements does the R-equivalence class of
a = 73 have?

Would this be 4? As in 73 itself, 73-25= 48, 73-50=23 and 73+25= 98

(i) Show that relation ~ defi ned on the set X = N x N = {(a, b) : a € N; b € N} as
(a,b)  (c,d) if and only if a + d = c + b
is an equivalence relation. (ii) Write down three elements of the equivalence class of
(12, 7). What do they all have in common?

[€ = an element of]

No clue at all hereExcuse my very humble attempts at answering the questions (Blush) Any help at all would be very much appreciated :)

$a$ is related to $b$ if $a-b$ is a multiple of 25. $a$ is related to $a$ since 0 is a multiple of 25. The relation is symmetric since $a-b$ is a multiple of 25 implies $b-a$ is a multiple of 25. You do transitivity.

For ii) You need to find the set of $b$ in S such that $73-b$ is a multiple of 25.Clearly the set of suitable $b$ is {23, 48,73,98}

You should now have a better idea how to answer the remaining questions
 
Fermat said:
$a$ is related to $b$ if $a-b$ is a multiple of 25.

It seems so simple but this is the bit I couldn't grasp! The notation completely threw me off.. Thanks so much :D
 
There are a couple of different ways to express an equivalence relation on a set $S$, both are used, although one often sees this form:

$a \sim b$ as meaning: "$a$ is related to $b$" (also called "infix symbol notation").

In accordance with this, the equivalence class of $a$, written $[a]$ (usually), is the set:

$\{x \in S: a \sim x\}$.

However, a relation $R$ on $S$, (of which equivalence relations are "special kinds") is just a subset of $S \times S$. So one also sees the notation:

$(a,b) \in R$

instead of $a \sim b$. They mean the same thing.

**********

Here is another way to look at your problem:

For any function $f:A \to B$, we can define $a \sim a'$ (these are two elements of $A$) if $f(a) = f(a')$. It would be well worth your while to prove this indeed does define an equivalence relation on $A$. This is called the equivalence relation induced by the function $f$.

So...what would our function be, in this case?

Well, given any natural number $n$, we can write:

$n = 25q_n + r_n$ for a pair of UNIQUE natural numbers $q_n,r_n$ ($q_n$ is called the QUOTIENT, and $r_n$ the REMAINDER).

Convince yourself that this means we have a function:

$f:\Bbb N \to \{0,1,2,\dots,24\}$ given by:

$f(n) = r_n$.

This is still a function if we restrict our domain to $S = \{0,1,2,\dots,99\} \subseteq \Bbb N$

Finally, can you see that we have: $a \sim b$ (that is: $a - b = 25k$ for some integer $k$) if and only if $r_a = r_b$?
 
Deveno said:
There are a couple of different ways to express an equivalence relation on a set $S$, both are used, although one often sees this form:

$a \sim b$ as meaning: "$a$ is related to $b$" (also called "infix symbol notation").

In accordance with this, the equivalence class of $a$, written $[a]$ (usually), is the set:

$\{x \in S: a \sim x\}$.

However, a relation $R$ on $S$, (of which equivalence relations are "special kinds") is just a subset of $S \times S$. So one also sees the notation:

$(a,b) \in R$

instead of $a \sim b$. They mean the same thing.

**********

Here is another way to look at your problem:

For any function $f:A \to B$, we can define $a \sim a'$ (these are two elements of $A$) if $f(a) = f(a')$. It would be well worth your while to prove this indeed does define an equivalence relation on $A$. This is called the equivalence relation induced by the function $f$.

So...what would our function be, in this case?

Well, given any natural number $n$, we can write:

$n = 25q_n + r_n$ for a pair of UNIQUE natural numbers $q_n,r_n$ ($q_n$ is called the QUOTIENT, and $r_n$ the REMAINDER).

Convince yourself that this means we have a function:

$f:\Bbb N \to \{0,1,2,\dots,24\}$ given by:

$f(n) = r_n$.

This is still a function if we restrict our domain to $S = \{0,1,2,\dots,99\} \subseteq \Bbb N$

Finally, can you see that we have: $a \sim b$ (that is: $a - b = 25k$ for some integer $k$) if and only if $r_a = r_b$?
This makes a lot more sense now! Thank you :)
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top