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

34 Views Asked by At

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.

1

There are 1 best solutions below

0
On BEST ANSWER

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?