Closure Operators in Topology

Introduction

students, imagine looking at a group of friends standing on a playground and then drawing a fence around them. Some friends are clearly inside the fence, some are on the edge, and some are just outside but still very close. In topology, a closure operator helps us describe this kind of “fence drawing” in a precise mathematical way 📌.

In this lesson, you will learn how closure operators work, why they matter, and how they connect to limit points, dense sets, interior, and boundary. By the end, you should be able to explain the main ideas, use closure reasoning on sets, and recognize how closure fits into the bigger picture of topology.

Objectives

• Explain what a closure operator does.
• Identify key properties of closure operators.
• Use closure to describe sets in a topological space.
• Connect closure with limit points, interior, boundary, and dense sets.
• Work through examples that show how closure behaves in practice.

What Is a Closure Operator?

A closure operator is a rule that takes a set $A$ and gives another set, written as $\operatorname{cl}(A)$ or $\overline{A}$, called the closure of $A$. Intuitively, it adds to $A$ all points that are “close enough” to belong with it in the topological sense. 👀

In a topological space $X$, the closure of $A \subseteq X$ is the smallest closed set containing $A$. That means if you want a closed set that includes $A$, the closure is the least one you can choose.

A very important idea is that closure is not just a random operation. It follows certain rules called closure operator axioms:

1. Extensive: $A \subseteq \operatorname{cl}(A)$.
2. Idempotent: $\operatorname{cl}(\operatorname{cl}(A)) = \operatorname{cl}(A)$.
3. Monotone: If $A \subseteq B$, then $\operatorname{cl}(A) \subseteq \operatorname{cl}(B)$.
4. Preserves empty set: $\operatorname{cl}(\varnothing) = \varnothing$.

These rules describe how closure behaves in every topological space.

Why “Smallest Closed Set” Matters

Suppose $A$ is a set of points on a number line. If you want a closed set containing $A$, you may need to add some missing limit points. The closure gives the exact set needed, no more and no less. This is useful because many topological questions ask: “What happens when we include all the points that belong to the shape in a limiting sense?”

For example, in the real numbers $\mathbb{R}$ with the usual topology, the closure of the open interval $(0,1)$ is the closed interval $[0,1]$. The points $0$ and $1$ are not in $(0,1)$, but they are part of its closure because points of the interval get arbitrarily close to them.

Closure and Limit Points

A major way to understand closure is through 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.

This idea captures “being approached by points of the set.” For example, in $\mathbb{R}$, the point $0$ is a limit point of $(0,1)$ because any small open interval around $0$ contains points of $(0,1)$.

A key fact is:

$$\operatorname{cl}(A) = A \cup A'$$

where $A'$ is the set of all limit points of $A$.

This formula is very important because it shows that closure contains both:

• the points already in the set $A$,
• all points that are “accumulated” by $A$.

Example 1: An Interval

Let $A = (0,1)$ in $\mathbb{R}$.

• The points in $A$ are all numbers strictly between $0$ and $1$.
• The limit points include every point in $(0,1)$, plus the endpoints $0$ and $1$.

So,

$$\operatorname{cl}((0,1)) = [0,1].$$

This is a classic example of closure in action.

Example 2: A Finite Set

Let $A = \{2,5,8\}$ in $\mathbb{R}$.

In the usual topology, finite sets have no extra limit points. So,

$$\operatorname{cl}(A) = A.$$

This shows that finite sets in $\mathbb{R}$ are already closed.

Main Properties of Closure Operators

Closure operators have properties that make them powerful and easy to work with.

1. Extensiveness

Since $A \subseteq \operatorname{cl}(A)$, closure never removes points. It only keeps or adds points.

2. Idempotence

Once you close a set, closing it again does nothing:

$$\operatorname{cl}(\operatorname{cl}(A)) = \operatorname{cl}(A).$$

This makes sense because the closure already includes all limit points and is already closed.

3. Monotonicity

If one set is inside another, then its closure is also inside the closure of the larger set:

$$A \subseteq B \Rightarrow \operatorname{cl}(A) \subseteq \operatorname{cl}(B).$$

This is helpful when comparing sets.

4. Closure of Unions

Closure distributes over unions in the following way:

$$\operatorname{cl}(A \cup B) = \operatorname{cl}(A) \cup \operatorname{cl}(B).$$

This means the closure of a combined set is the same as combining the closures.

5. Closed Sets Stay Fixed

A set $F$ is closed if and only if

$$\operatorname{cl}(F) = F.$$

So closure acts like a test: if a set does not change when closed, it is already closed.

How Closure Fits with Interior and Boundary

Closure is one part of the larger trio: closure, interior, and boundary. These three concepts describe different ways a set sits inside a space.

• The interior of $A$, written $\operatorname{int}(A)$, is the largest open set inside $A$.
• The closure of $A$, written $\operatorname{cl}(A)$, is the smallest closed set containing $A$.
• The boundary of $A$, written $\partial A$, is the set of points where every neighborhood meets both $A$ and its complement.

A useful relationship is:

$$\partial A = \operatorname{cl}(A) \setminus \operatorname{int}(A).$$

This means the boundary consists of points in the closure that are not in the interior.

Example: The Open Interval $(0,1)$

• $\operatorname{int}((0,1)) = (0,1)$
• $\operatorname{cl}((0,1)) = [0,1]$
• $\partial( (0,1) ) = \{0,1\}$

Here, the boundary is exactly the pair of edge points. These are not inside the interval, but they are part of its closure.

This shows why closure is so useful: it helps locate the “edge behavior” of a set.

Dense Sets and Closure

A set $A$ is dense in a space $X$ if its closure is the whole space:

$$\operatorname{cl}(A) = X.$$

That means points of $A$ come arbitrarily close to every point in $X$.

Example: Rational Numbers in the Real Line

The rational numbers $\mathbb{Q}$ are dense in $\mathbb{R}$. In symbols:

$$\operatorname{cl}(\mathbb{Q}) = \mathbb{R}.$$

Even though irrational numbers are not rational, every open interval in $\mathbb{R}$ contains rational numbers. So rationals are spread throughout the real line in a dense way.

This is a great example of how closure reveals a set’s reach inside a space.

Example: Integers in the Real Line

The integers $\mathbb{Z}$ are not dense in $\mathbb{R}$ because

$$\operatorname{cl}(\mathbb{Z}) = \mathbb{Z} \neq \mathbb{R}.$$

There are many points, such as $1/2$, that are far from every integer in the topological sense.

How to Use Closure in Problem Solving

When asked to find a closure, follow a clear process:

1. Start with the given set $A$.
2. Identify points of $A$.
3. Look for limit points of $A$.
4. Add all those limit points to get $\operatorname{cl}(A)$.
5. Check whether the result is closed.

Worked Example

Let $A = (0,1) \cup (1,2)$ in $\mathbb{R}$.

The set has two open intervals with a gap at $1$.

• The closure of $(0,1)$ is $[0,1]$.
• The closure of $(1,2)$ is $[1,2]$.

So,

$$\operatorname{cl}(A) = [0,2].$$

Why does $1$ appear in the closure? Because points from both sides approach $1$, even though $1$ is not in the original set.

This example shows that closure can fill in “missing” points caused by gaps.

Conclusion

students, closure operators are a central tool in topology because they tell us how to enlarge a set just enough to make it closed. They connect directly to limit points, dense sets, and the ideas of interior and boundary. The closure of a set includes the points already in the set and the points that can be reached by nearby points of the set. This is why closure helps describe both shape and limit behavior in a topological space.

When you understand closure operators, you are better prepared to study the full topic of closure, interior, and boundary. These ideas work together to explain how sets behave in topology, from their inside to their edge to their surrounding space 🌍.

Study Notes

• The closure of $A$, written $\operatorname{cl}(A)$ or $\overline{A}$, is the smallest closed set containing $A$.
• Closure is extensive: $A \subseteq \operatorname{cl}(A)$.
• Closure is idempotent: $\operatorname{cl}(\operatorname{cl}(A)) = \operatorname{cl}(A)$.
• Closure is monotone: if $A \subseteq B$, then $\operatorname{cl}(A) \subseteq \operatorname{cl}(B)$.
• A set is closed exactly when $\operatorname{cl}(A) = A$.
• Closure can be written as $\operatorname{cl}(A) = A \cup A'$, where $A'$ is the set of limit points.
• A dense set satisfies $\operatorname{cl}(A) = X$.
• The boundary of a set is $\partial A = \operatorname{cl}(A) \setminus \operatorname{int}(A)$.
• In $\mathbb{R}$, $\operatorname{cl}((0,1)) = [0,1]$ and $\operatorname{cl}(\mathbb{Q}) = \mathbb{R}$.
• Closure helps explain how sets relate to nearby points, edges, and the whole space.