5
$\begingroup$

Here is a quote from Derbyshire's "Unknown Quantity"

The rational numbers are "dense." This means that between any two of them you can always find another one.

This being a pop. math book, this is not meant as a formal definition of dense sets but it got me wondering whether the dense subsets of $\mathbb{R}$ could be defined in this way. (It is clearly insufficient by itself since the empty set would be dense!)

So I wonder, is there a nice way to fill in the following statement:

$S \subset \mathbb{R}$ is dense iff $(\forall x,y \in S, x < y)(\exists z \in S)(x < z < y)$ and ...

  • 0
    @Arturo: ah, yes, that works.2011-01-24

4 Answers 4

5

It seems this line of definition leaves open the possibility of "holes" in $S$, even if one adds the condition that $S$ is unbounded in both directions. Consider for example any union of open intervals. Or the intersection of the set of rationals with such a union.

3

There is another definition, which is more general. A subset $F \subset E$ is dense in $E$ if the set of all limits of sequences of elements of $F$ is $E$.

Where does this come from?

A way to answer this question is from the closure of $F$. The closure of $F$ can be thought of as what I called the set of all limits of sequences of elements of $F$. It's generally defined as the smallest closed set containing $F$. Concretely, it's what can be reached by the elements of $F$ without really going "outside" of $F$. What really matters here is that you'll be able to reach the boundaries (as limits of some sequences).

Just picture the real interval $]0,1[$ (often written $(0,1)$ in English litterature). Let's consider the sequence $(a_n)_{n \geq 2}$ defined by $a_n = 1 - \frac{1}{n}$. For any $n \geq 2$, $a_n \in ]0,1[$. However, its limit is $1$, which does not belong to $]0,1[$. Here, 1 is an example of what I meant by "can be reached from elements of $F$" earlier. You can guess that the closure of $]0,1[$ is $[0,1]$.

So here we can say for instance that $]0,1[$ is dense in $[0,1]$. This definition holds in much more general contexts than $\mathbb{R}$ but that's really a way to look at what that is all about.

Hope this helps.

2

A better definition of denseness would be that "between any two points of the complement there is a point of the set". You will have no difficulty writing this down formally with quantifiers: $ \forall x

1

As many have commented, the notion of $S$ being dense by itself (i.e., as an ordered set) is different from the notion of $S$ being a dense subset of $\mathbb{R}$.

  • For the former notion, the definition should refer only to the set itself: $(S, <)$ is dense if for any $x,y \in S$ such that $x, there exists a $z \in S$ such that $x < z < y$.
  • For the latter notion, the definition needs to refer to the ambient set: $S \subset \mathbb{R}$ is dense if for any $x, y \in \mathbb{R}$ such that $x, there exists a $z \in S$ such that $x < z < y$.

The latter notion is closely related to the former in the case of real numbers because the open intervals $(x, y)$ form a basis for the usual topology on $\mathbb{R}$.