What exactly are equivalence classes

Question

What exactly are equivalence classes? Suppose I have an equivalence relation $\sim$ on some set $X$ we denote this as $x \sim y$. The equivalence classes are then $[x] = \{y \in X : y \sim x\}$.

However I have struggled as to what this actually mean, does this mean that for some $y \in X$ the equivalence classes are just the objects that satisfy the symmetric property?

Answer 1

Equivalence classes are sets of elements which are all equivalent between them. For instance if the equivalence relation $\sim$ is "having the same sex", then there are two equivalence classes in the world: boys and girls (if we forget the ambiguous cases). In the same way, if the equivalence relation is "being born the same year", then each year yields a different equivalence class of all the people from this year.

To sum up, an equivalence relation cuts the universe into "potatoes" of elements: inside a potato, all elements are equivalent to each other, and a potato is called an equivalence class.

Answer 2

The set $[x]$ consists, as you write, exactly of those elements $y$ in $X$ satisfying that $x\sim y$. That is, given the $x$, the equivalence class is just a subset of $X$. Note in particular, that if $x \sim y$, then $[x] = [y]$.

Consider the example: $X = \mathbb{Z}$. Define the equivalence relation that $x\sim y$ if and only if $2 \mid x- y$. That is $x$ and $y$ are in the same equivalence class exactly when their difference is divisible by $2$.

So what is $[0]$? It is not hard to see that this is just all the element in $\mathbb{Z}$ that are divisible by $2$: $y \sim 0$ means $2 \mid y - 0$.

Bonus question: How many equivalence classes do you have? Hint: $2$

Extra bonus question: Write down the two equivalence classes. Answer: If you think about it, it is not hard to see that the $2$ equivalence classes are exactly the odd and even numbers.

Answer 3

Here are two familiar examples that may help.

1. Let the ground set be people, and say that two people are equivalent if they have the same type of sex organs. Then, every man is equivalent to every other man. The set of all men is an equivalence class, as is the set of all women.

2. Let the ground set be integers, and say that two integers are equivalent if their difference is a multiple of 2. Every even integer is equivalent to every other even integer (since the difference of two evens is even). Every odd integer is equivalent to every other odd integer similarly. Hence the two equivalence classes are the set of all even integers, and the set of all odd integers.

Answer 4

Think on this example:

You classifie your clothing in a wardrobe.

You have different types of clothes (T-shirt, shoes, trousers...). If each kind of them are relationed with others clothings of the same type.

If you classifie each different type in a different part of the wardrobe (the parts of the wardrobe are the equivalence classes)