Dense Sets

Welcome, students 👋 In this lesson, you will learn about dense sets, one of the most important ideas in topology. Dense sets help us understand how a set can be “spread out” through a space so thoroughly that no open region of the space escapes it. This topic connects directly to closure, interior, boundary, and limit points, so it is a key part of the bigger picture in topological thinking.

What does it mean for a set to be dense?

A set $A$ is dense in a topological space $X$ if every nonempty open set in $X$ intersects $A$. In simpler words, no matter how small an open region you choose in the space, you will always find at least one point of $A$ inside it. 📌

This idea tells us that $A$ is everywhere in the space, even if $A$ itself may look “thin” or incomplete. A set can be dense without containing all points of the space. For example, the rational numbers $\mathbb{Q}$ are dense in the real numbers $\mathbb{R}$ with the usual topology. Between any two real numbers, there is a rational number, so every open interval in $\mathbb{R}$ contains a rational number.

Another useful way to state density is:

$$\overline{A} = X$$

Here, $\overline{A}$ is the closure of $A$. So a set is dense in $X$ exactly when its closure is the whole space $X$.

Dense sets and closure

To understand dense sets well, students, it helps to remember what closure means. The closure $\overline{A}$ of a set $A$ is the smallest closed set containing $A$. It can also be described as the set of all points of $A$ together with all of its limit points.

If $\overline{A} = X$, then every point in the space is either already in $A$ or can be approached by points of $A$. This is why dense sets are so closely tied to limit points. A dense set does not need to include every point; it only needs to come arbitrarily close to every point in the space.

For example, in $\mathbb{R}$, the set of rational numbers $\mathbb{Q}$ is dense. The irrational numbers are also dense in $\mathbb{R}$. That means both sets “fill” the real line in the topological sense, even though each set leaves out many points.

A helpful formula is:

$$A \text{ is dense in } X \iff \overline{A} = X$$

This is often the easiest way to prove density.

Open sets, neighborhoods, and the practical test for density

There is a very important test for dense sets using open sets. A set $A$ is dense in $X$ if and only if every nonempty open set $U$ in $X$ satisfies

$$U \cap A \neq \varnothing$$

This means that no open set can avoid $A$ completely.

Let’s think about this in a real-world style example. Imagine a giant park represented by the space $X$. The set $A$ might be a network of sensors or sprinklers placed at many locations. If the sensors are dense, then every region of the park, no matter how small, still contains at least one sensor point. The sensors do not have to cover the whole park physically; they just have to be distributed so that no open region is completely sensor-free.

This open-set test is often more intuitive than closure. It shows why density is about “everywhere presence” rather than “full coverage.”

Dense sets and limit points

Dense sets are also connected to limit points. A point $x$ is a limit point of a set $A$ if every open neighborhood of $x$ contains a point of $A$ different from $x$ itself.

If a set is dense in $X$, then every point of $X$ is either in $A$ or is a limit point of $A$ or both. In fact, because $\overline{A} = X$, all points in $X$ belong to the closure of $A$.

For example, take $A = \mathbb{Q}$ in $X = \mathbb{R}$. The point $\sqrt{2}$ is not rational, but every open interval around $\sqrt{2}$ contains rational numbers. So $\sqrt{2}$ is in the closure of $\mathbb{Q}$, which is one reason $\mathbb{Q}$ is dense in $\mathbb{R}$.

This shows a powerful idea: density is not about membership alone, but about approximation. Dense sets can approximate every point in the space as closely as needed.

Interior, boundary, and dense sets

Dense sets also fit into the ideas of interior and boundary.

The interior of a set $A$, written $A^\circ$, consists of all points where some open neighborhood lies entirely inside $A$. A dense set does not need to have large interior. In fact, some dense sets have empty interior. For example, $\mathbb{Q}$ has empty interior in $\mathbb{R}$. No open interval in $\mathbb{R}$ is contained entirely in $\mathbb{Q}$, because every interval contains irrational numbers too.

The boundary of a set $A$ is the set of points where every neighborhood meets both $A$ and its complement. Dense sets often have interesting boundaries. For $\mathbb{Q}$ in $\mathbb{R}$, the boundary is all of $\mathbb{R}$, because every open interval contains both rational and irrational numbers.

A useful fact is that if $A$ is dense in $X$, then the complement $X \setminus A$ has empty interior. Why? Because if the complement contained a nonempty open set, that open set would miss $A$, contradicting density.

So density tells us something important about the “shape” of a set inside a space: a dense set may be small in size, but it is topologically everywhere. 🌍

Examples and non-examples

Example 1: Rational numbers in real numbers

The set $\mathbb{Q}$ is dense in $\mathbb{R}$. Given any interval $(a,b)$ with $a < b$, there exists a rational number in that interval. Therefore, every nonempty open set in $\mathbb{R}$ intersects $\mathbb{Q}$.

Example 2: Irrational numbers in real numbers

The set $\mathbb{R} \setminus \mathbb{Q}$ is also dense in $\mathbb{R}$. Every open interval contains irrational numbers as well as rational numbers.

Example 3: A non-example in $\mathbb{R}$

The set $[0,1]$ is not dense in $\mathbb{R}$. For instance, the open interval $(2,3)$ does not intersect $[0,1]$. So $[0,1]$ fails the open-set test.

Example 4: Dense subset of a subspace

In the subspace $X = [0,1]$, the set $A = (0,1]$ is dense in $X$. Its closure in the subspace $[0,1]$ is all of $[0,1]$, because the point $0$ is a limit point of $A$ in that space.

These examples show that density depends on the space you are working in. The same set may be dense in one space but not in another.

Why dense sets matter

Dense sets are important because they help us understand how a space can be built from a smaller set. If a set is dense, then knowing its points is enough to recover the whole space through closure.

Dense sets appear in many areas of mathematics. In analysis, $\mathbb{Q}$ being dense in $\mathbb{R}$ means rational numbers can approximate any real number. In topology, dense subsets are useful for understanding continuity, subspaces, and the structure of spaces.

A classic idea is that if two continuous functions agree on a dense set and the space behaves nicely, then they often agree everywhere. This is one reason dense sets are so powerful: they allow information from a smaller set to extend across the whole space.

Conclusion

Dense sets are sets that touch every nonempty open part of a space. students, the key ideas to remember are:

• A set $A$ is dense in $X$ when $\overline{A} = X$.
• Equivalently, every nonempty open set in $X$ intersects $A$.
• Dense sets are closely connected to limit points, closure, interior, and boundary.
• A dense set may have empty interior and still be topologically “everywhere.”
• Common examples include $\mathbb{Q}$ and $\mathbb{R} \setminus \mathbb{Q}$ in $\mathbb{R}$.

Understanding dense sets helps you see how topology studies spaces using openness, closure, and approximation rather than just counting points. That is a major step in mastering the topic of Closure, Interior, and Boundary. ✅

Study Notes

• A set $A$ is dense in $X$ if every nonempty open set in $X$ intersects $A$.
• Equivalent condition: $A$ is dense in $X$ if and only if $\overline{A} = X$.
• Dense sets are closely related to limit points because closure includes all points that can be approached by the set.
• A dense set can have empty interior, like $\mathbb{Q}$ in $\mathbb{R}$.
• If $A$ is dense in $X$, then $X \setminus A$ has empty interior.
• The set $\mathbb{Q}$ is dense in $\mathbb{R}$, and so is $\mathbb{R} \setminus \mathbb{Q}$.
• Density depends on the space: a set may be dense in one space and not dense in another.
• Dense sets help connect closure, interior, boundary, and limit points into one idea about how sets spread through a space.