1

I have $$ L = \{A \in \mathcal P(\mathbb N) | A \text{ co finite over } \mathbb N\}$$

How can I prove that $L$ is countable?

Thanks

Asaf Karagila
  • 393,674
user2102697
  • 67
  • I've edited your post to format the math in it. Please verify that it says what you intended. –  Apr 28 '14 at 05:35
  • 1
    Note there is a canonical bijection between the set of finite subsets, and the set of cofinite subsets. – Asaf Karagila Apr 28 '14 at 05:36

1 Answers1

4

Hint: Find a bijection $$\{ A \in \mathcal{P}(\mathbb{N}) : A\ \text{cofinite} \} \longleftrightarrow \{ A \in \mathcal{P}(\mathbb{N}) : A\ \text{finite} \}$$ and use familiar facts about countable sets to deduce that the latter, hence the former, is countable.

Clive Newstead
  • 64,925