2
$\begingroup$

I am working on a problem I found that asks whether the set $S = \{x \in \mathbb{R} \mid x \ge 0\}$ is dense in $\mathbb{R}$.

The theorem I have been using states the following:

"$S$ is dense in $\mathbb{R} \iff \forall a,b \in \mathbb{R}$ with $a < b$, then $\exists x \in S$ such that $x \in (a,b)$."

Now my logic from what I have so far is basically that for any $a$ and $b$ you give me, I can find the midpoint between $a$ and $b$, which will consistently give me a positive real number. This feels like I'm just constructing sentences and not really "proving" it, however.

I am a bit confused and would like any words of advice.

  • 0
    In case you guys are curious, I had been completely mistaken with regards to what density actually means. Now I understand - For a set S, say, to be called dense in R, there should be an x element of S contained in ANY interval AT ALL that you pick out of R. So, to test if Z is dense in R, you can pick 1/4 and 1/5 and be like "hey see? no elements in Z". Thanks again2012-10-21

3 Answers 3

12

That set is not dense in $\mathbb{R}$. Try picking an interval which only consists of negative numbers, does this interval contain any elements of $S$?

Finding such a counter example is enough to prove that $S$ is not dense in $\mathbb{R}$.

  • 2
    @Augustus, Its not dumb at all, sometimes you get so fixed on a problem that you look so far for a solution while its right under your nose!2012-09-09
3

In general topology, a subset $S$ of a topological space $X$ is called dense if every point of $X$ either belongs to $S$ or is a limit point of $S$. (A point $x \in X$ is a limit point of $S$ if every open neighbourhood of $x$ contains at least one point of $S$ different to $x$).

The non-negative real numbers are not dense in $\mathbb{R}$, under the metric topology, because, for example, $-1$ does not belong $S$, and $-1$ is not a limit point of $S$. (The open neighbourhood $\left(-\frac{3}{2},-\frac{1}{2}\right)$ contains $-1$ but does not contain any point of $S$.)

3

To give a third point of view:

A subset $D$ of a topological space $X$ is dense in $X$ if and only if $\overline{D} = X$ where $\overline{D}$ denotes the closure of $D$.

We also know that a set $C$ is closed if and only if $\overline{C} = C$.

But your set $S$ is closed and a proper subset of $\mathbb R$, hence cannot be dense in $\mathbb R$.

  • 0
    Just to point out that mine and Matt's definitions are equivalent. Given a set $S$, the closure of $S$ is the set $\overline{S}$ consisting of $S$ together with all of its limit points. If $S$ is dense in $X$ then for all $x \in X$ we have $x \in \overline{S}$. Conversely, if $x \in \overline{S}$ for all $x \in X$ then $S$ is dense in $X$.2012-09-09