Is the empty set countable?
I'm having trouble in trying to understand about the real meaning of countable sets. Can an empty set be considered as a countable set,since there is no element how can we count? But there is a book I am using, it just declare that an empty set is countable without verification. Is there anyone who can help me with this one?
$\endgroup$ 65 Answers
$\begingroup$The empty set is a subset of $\mathbb{N},$ therefore a countable set.
For motivation, the intersection of two countable sets is a countable set, and the intersection of any two countable disjoint sets is the empty set.
$\endgroup$ 7 $\begingroup$In mathematics, as in all other technical fields from physics to furnace repair, there is a technical jargon in which ordinary terms, like “countable”, are used in particular technical ways that only somewhat resemble the ways the same words are used in ordinary speech. It is useful to think of the ordinary meaning of these words, as an aid to understanding them, but that ordinary meaning only gets you so far, and not as far as you need to get.
To understand “countable”, you can think of ordinary counting, but that will not get you all the way to understanding the mathematical meaning of “countable”, because the mathematical meaning is not the same as the ordinary meaning. In mathematics, “countable” has a particular technical meaning that you cannot guess from your ordinary understanding of this word. To understand the mathematical meaning, you must look up the mathematical definition.
The mathematical meaning of “countable” is:
A set $S$ is countable if there exists a subset of the natural numbers, say $T$, and a one-to-one correspondence $f$ between $S$ and $T$.
To understand this definition, you should look at how it corresponds to the ordinary notion of “countable”, and also how it does not. For example, the definition implies that the set of even numbers is “countable” in this technical sense, whereas the ordinary meaning of “countable” probably does not apply to the set of all even numbers, which has no beginning and no end. Similarly, the definition implies that the empty set is “countable” in this technical sense, although you have observed that to call the empty set “countable” in the ordinary sense is strange. But this just shows that the two senses are different, and you cannot use the ordinary sense as a replacement for the technical sense.
$\endgroup$ 2 $\begingroup$HINT:
$\emptyset$ is countable if and only if there exists injective $f: \emptyset \to \mathbb{N}$
Let $f=\emptyset\times\mathbb{N}$. Yes, it really works!
First, prove $f$ is a function mapping $\emptyset \to \mathbb{N}$. Then prove $f$ is injective. Mostly, things will be vacuously true.
$\endgroup$ $\begingroup$A set is said to be countable if it is either finite or countable infinite.
The empty set is finite! (it is clearly intuitive)
The definition of finite sets says that a set is finite if there is a bijective correspondence of the set with some section of the positive integers. That is, the set $A$ is finite if it is empty or if there is a bijection $f:A \to \lbrace 1,2,3,\dots ,n\rbrace$ for some positive integer $n$.
$\endgroup$ $\begingroup$Though many of above answers are so Technically true. I think the best way to think of null set as a countable set is to remember that the empty set is a subset of any well defined set. Since the empty set is a subset of the Natural Numbers and the natural numbers is countable therefore the empty set is countable.
$\endgroup$
