7
$\begingroup$

Let $A$ be any countable set and $B$ any uncountable set with the same infinity as $\mathbb{R}$. Then we must have a one-to-one map $\phi:A\rightarrow\mathbb{Q}$. So, can we say by all this that $A$ is in fact dense in $B$, since it is well known that $\mathbb{Q}$ is dense in $\mathbb{R}$ ?

  • 0
    @rschwieb yes I think so - I'm referring to the different types of infinities possible, i.e. whilst the natural numbers contain an infinite number of elements, they are countable, whereas the reals are not countable.2012-08-20

5 Answers 5

11

No.

$\mathbb{Z}$ and $\mathbb{Q}$ have the same cardinality, but one is dense in $\mathbb{R}$ and the other is not.

Added I also wanted to say that "denseness" of a subset is not a measure of how many points there are in the subset, it is a measure of how uniformly they are spread throughout the superset and how close they get to points of the superset. In the usual topology on $\mathbb{R}$, every point of $\mathbb{R}$ is approached by points of $\mathbb{Q}$, but you cannot approach all points of $\mathbb{R}$ with points from $\mathbb{Z}$. The gaps in $\mathbb{Z}$ are just too big.

In the other answers you can read that "topology" determines when the subset is spread out enough that it "gets close" to every point of the superset.

9

Density requires a notion of topology.

Without specifying the topology on the set $B$ you cannot decide whether or not $A$ is dense.

For example, if we take a set of the same size as $\mathbb R$, and consider the co-finite topology, namely open sets are those whose complement is finite. In such topology every countably infinite set is dense.


Generally speaking, though, it does not hold for every topology, as the other answers demonstrate.

6

No this is not even true even if you're working in $\Bbb{R}$. Take $A = \{1,1/2,\ldots, 1/n,\ldots\}$ and $B = \Bbb{R}$.

6

Note that one can go to the almost opposite extreme as in Asaf's example above, and consider $\mathbb{R}$ with the discrete topology, so that all subsets are open.

Then the only dense set in this topological space is the entire set $\mathbb{R}$ itself. (So, in particular, no countable subset is dense.)

  • 1
    I$n$ fact co-countable topology is enough to ensure that all countable sets are closed and nowhere dense... :-)2012-08-20
5

No. $\bf N$ is a countable set and $\bf R$ has the same cardinality as $\bf R$ (surprisingly ;) ), but $\bf N$ is certainly not dense in $\bf R$.