How can I show that $$F = \{ E \subseteq \mathbb{N}^2: \ E \ \text{is an equivalence relation on} \ \mathbb{N}\}$$ is a set with cardinality of the continuum? The usual idea is to show $\vert F\rvert \leq \mathfrak{c}$ by showing $F$ is a subset of some well-known set with cardinality of the continuum, and then show $\vert F\rvert \geq \mathfrak{c}$ by finding an injection from some other well-known set with cardinality of the continuum to $F$. In this example, I don't know how to approach either of the inequalities.
Show that $F = \{ E \subseteq \mathbb{N}^2: \ E \ \text{is an equivalence relation on} \ \mathbb{N}\}$ is a set with cardinality of the continuum
2
$\begingroup$
elementary-set-theory
equivalence-relations
-
1Well, $F$ is subset of the power set of $\mathbb{N}^2$. – 2017-01-10
-
0Can you think of an equivalence relation that has a cardinality that shows a potential for the desired result? That might give you a lower bound. – 2017-01-10
1 Answers
3
As noted in the comments, $F$ is a subset of $\mathcal{P}(\mathbb{N})$, and hence its cardinality is at most the continuum. To get a lower bound, consider equivalence relations on $\mathbb{N}$ which have two equivalence classes exactly. We can represent these equivalence classes by infinite binary sequences, with the $i$th term being $1$ if $i$ is in the same class as $1$ and $0$ otherwise. Can you go from here?