Closed Sets: The “Complete and Contained” Idea in Topology

students, imagine you are playing a game of catching all the points on a number line or a map 🌍. In topology, a closed set is one that contains all its boundary points, so nothing is “left hanging outside” at the edge. This lesson explains what closed sets are, why they matter, and how they connect to open sets, metric spaces, and topological spaces.

What You Will Learn

By the end of this lesson, students, you should be able to:

Explain what a closed set is in simple terms.
Recognize closed sets in different settings, especially in metric spaces and topological spaces.
Use definitions and examples to decide whether a set is closed.
Connect closed sets to open sets through complements.
Understand why closed sets are important in topology and real-world reasoning.

Why Closed Sets Matter

In everyday life, we often care about whether something includes its boundary. For example, if a city park has a fence around it, do we count the fence line as part of the park? If yes, the park is “closed” in the topological sense. If no, it may be “open.”

Topology studies shape, space, and continuity in a very flexible way. Unlike geometry, topology does not focus on exact distances or angles. Instead, it focuses on properties that stay the same when objects are stretched or bent without tearing. Closed sets are a core part of this idea because they help describe how points gather, how boundaries work, and how sets behave under limits.

A very important point is that closed does not mean “shut forever” or “not allowed to move.” In mathematics, the word has a precise meaning based on open sets and limits.

Closed Sets in a Metric Space

A metric space is a set where we can measure distances using a function called a metric. If the distance between points $x$ and $y$ is written as $d(x,y)$, then the metric tells us how far apart points are.

In a metric space, a set $A$ is called closed if it contains all of its limit points. Another common way to say this is: if a sequence of points in $A$ converges to some point, then that limit point is also in $A$.

This sounds technical, so let’s slow it down.

Suppose $x_n$ is a sequence of points in $A$, and the sequence approaches a point $x$. If $A$ is closed, then $x$ must also belong to $A$.

Example: A Closed Interval

Consider the set $[0,1]$ on the real number line. This set contains every number from $0$ to $1$, including both endpoints.

Why is it closed? Because if numbers inside $[0,1]$ get closer and closer to a limit, that limit cannot escape the interval. For instance, a sequence like $0.9, 0.99, 0.999, \dots$ approaches $1$, and $1$ is already included in the set.

This is different from the open interval $(0,1)$, which does not include $0$ or $1$.

Example: A Set That Is Not Closed

The open interval $(0,1)$ is not closed because it misses its boundary points. A sequence like $0.1, 0.01, 0.001, \dots$ approaches $0$, but $0 \notin (0,1)$.

So $(0,1)$ is not closed because it fails to contain all its limit points.

Closed Sets and Open Sets: Two Sides of the Same Coin

One of the most useful facts in topology is this:

A set $A$ is closed if and only if its complement is open.

The complement of $A$ means everything in the space that is not in $A$. If the space is $X$, then the complement is written as $X \setminus A$.

So if $A$ is closed, then $X \setminus A$ is open. If $X \setminus A$ is open, then $A$ is closed.

This connection is powerful because it lets us study closed sets through open sets, and open sets through closed sets. In topology, open sets are often taken as the basic building blocks, and closed sets come from them naturally.

Example with the Real Line

In the real numbers $\mathbb{R}$, the set $[0,1]$ is closed. Its complement is

\mathbb{R} \setminus [0,1] = (-$\infty$,0) \cup (1,$\infty)$,

and this is open.

That is why $[0,1]$ is closed.

How to Recognize Closed Sets

There are several ways students can check whether a set is closed. The method depends on the setting, but the main ideas are similar.

1. Check the Complement

If the complement is open, then the set is closed.

This is often the easiest method in topology.

2. Check Limit Points

If every limit point of the set is inside the set, then the set is closed.

For example, the set $\{1,\, 1/2,\, 1/3,\, 1/4,\dots\}$ is not closed in $\mathbb{R}$ because it has a limit point $0$, but $0$ is not part of the set.

3. Use Known Closed Sets and Set Operations

Some sets are known to be closed, and we can build new closed sets from them.

In any topological space:

The whole space $X$ is closed.
The empty set $\varnothing$ is closed.
The intersection of any collection of closed sets is closed.
The union of finitely many closed sets is closed.

These rules are extremely useful. For example, if $A$ and $B$ are closed, then $A \cap B$ is closed.

Closed Sets in Topological Spaces

A topological space is a set $X$ together with a collection of subsets called open sets. These open sets must satisfy certain rules, such as including $X$ and $\varnothing$, and being closed under unions and finite intersections.

In a topological space, closed sets are defined using open sets:

A set $C \subseteq X$ is closed if its complement $X \setminus C$ is open.

This definition works in any topological space, even when there is no distance function.

That is a big idea in topology: we can talk about closed sets without measuring distance at all. Distance helps in metric spaces, but topology is broader. It focuses on the structure of open and closed sets rather than exact numerical measurements.

Why This Is Useful

In a metric space, closed sets can be described by limits. In a topological space, we may not have sequences or distances that behave nicely, so the complement-based definition is more general.

This makes closed sets part of the foundation of topology itself.

More Examples from Real Life and Mathematics

Example: A Filled-In Shape

Think of a solid disk, like a coin. The set of points inside the disk together with the circular edge is closed in the usual topology of the plane. The edge is included.

If you remove the edge and keep only the interior, the set becomes open.

Example: A Graph on a Coordinate Plane

The graph of a continuous function can be closed in some settings, but not always in every sense. In standard Euclidean spaces, a common fact is that the set defined by $y=f(x)$ for a continuous function may be closed if the domain is closed and the behavior is well-controlled. This shows why closed sets are tied to continuity and limits.

Example: Finite Sets

Any finite set in a metric space is closed. For example, the set $\{2,5,8\}$ is closed in $\mathbb{R}$ because it has no limit points outside itself.

This is an easy example to remember: a finite collection of isolated points does not “leak” any boundary points.

Common Mistakes to Avoid

A closed set is not the same as a bounded set. For example, the set $\mathbb{R}$ is closed but not bounded.

A closed set is also not necessarily “small” or “complete” in the everyday sense. The word “closed” has a precise mathematical meaning.

Also, a set can be neither open nor closed. For example, the interval $[0,1)$ is neither open nor closed in $\mathbb{R}$.

So students, always check the definition carefully instead of guessing from the shape or name of the set.

Conclusion

Closed sets are a central idea in topology because they describe sets that contain their boundary behavior and are stable under limits. In metric spaces, closed sets can be understood through convergent sequences and limit points. In topological spaces, they are defined through complements of open sets. This makes closed sets one of the main tools for moving from metric thinking to topological thinking.

If you remember only one thing, remember this: a set is closed if it contains all the points it should “catch” at the edge. That idea connects open sets, complements, limits, and the broader structure of topology.

Study Notes

A set $A$ is closed if its complement $X \setminus A$ is open.
In a metric space, a set is closed if it contains all its limit points.
A set is closed if every convergent sequence in the set has its limit inside the set.
The empty set $\varnothing$ and the whole space $X$ are both closed.
Any intersection of closed sets is closed.
A finite union of closed sets is closed.
In $\mathbb{R}$, the interval $[0,1]$ is closed, but $(0,1)$ is not.
Closed sets are important because they connect limits, boundaries, and complements.
Topology studies open and closed sets without relying only on distance.
Closed sets help explain how spaces behave under continuous change and limit processes. 😊