Closure and Interior in Topology

How do mathematicians precisely define the 'inside' of a shape versus its boundary? In our everyday world, this seems obvious, but in the vast and often counter-intuitive universe of mathematics, a more rigorous language is needed. This is where the topological concepts of ​​interior​​ and ​​closure​​ become indispensable. They are the fundamental tools that allow us to talk about nearness, boundaries, and substance, providing a powerful framework to describe the very fabric of space. However, simply knowing their definitions is not enough; the true power of these concepts is revealed only when we explore their surprising consequences and applications, which often defy our geometric intuition.

This article provides a comprehensive exploration of these two foundational ideas. In the first chapter, ​​Principles and Mechanisms​​, we will define interior and closure, explore their elegant duality, and see how their properties shift depending on the 'universe' they inhabit. We will journey through a 'mathematical zoo' of strange sets, from the 'everywhere and nowhere' rational numbers to the limits of combining these operations. Following this, the chapter on ​​Applications and Interdisciplinary Connections​​ will demonstrate the profound utility of this framework. We will see how it helps 'measure' the size of infinite sets, reveals hidden structures in number theory, and shatters our assumptions about what constitutes a 'thin' or 'thick' set. Prepare to have your understanding of shape and space fundamentally reshaped.

Imagine you own a piece of land. How would you describe it? You might talk about its total area, including the fences that mark its edges. Or you might talk about the "safe" inner part, far from any boundary, where you could build a house without worrying about your neighbor's property line. In mathematics, we have tools that do precisely this, but for any "set" you can imagine. These tools are called the ​​interior​​ and the ​​closure​​, and they are our keys to understanding the very fabric of space.

Let's stick with our piece of land, which we'll call a set $A$. The ​​interior​​ of $A$, denoted $\text{int}(A)$, is like the part of your land where you can lay down a small circular blanket and have it lie entirely within your property. Any point in the interior is "safely" inside $A$, surrounded on all sides by other points of $A$. In more formal terms, a point $p$ is in $\text{int}(A)$ if we can find a small open ball (our "blanket") centered at $p$ that is completely contained within $A$. The interior, then, is the collection of all such "safe" points. It is the largest open set you can fit inside your original set $A$.

Now, what about the ​​closure​​? The closure of $A$, written as $\text{cl}(A)$ or $\bar{A}$, is the set $A$ itself plus all its boundary points—the fence line. A point $p$ is in the closure of $A$ if no matter how tiny a step you take away from $p$, you can't escape the influence of $A$. Any open ball centered at $p$, no matter how small, will always contain at least one point from $A$. The closure is the smallest closed set that contains all of $A$. It’s all the points you can "reach."

These ideas seem simple enough, but they hold a surprising power to describe the world, a power that we are about to uncover.

Let's take a simple set: the interval of real numbers $(0, 1]$, which includes $1$ but not $0$. If our "universe" is the entire real number line, $\mathbb{R}$, what is its interior? You'd probably say $(0, 1)$. The point $1$ is not an interior point because any tiny blanket around it would include numbers greater than $1$, which aren't in our set. Simple enough.

But what if the universe itself changes? Let's imagine a bizarre universe $X$ consisting of only two separate pieces of the number line: the numbers from $0$ to $1$, and the numbers from $2$ to $3$. So, $X = [0, 1] \cup [2, 3]$. Now, let's look at our set $S = (0, 1]$ within this new universe. What is its interior now?

Consider the point $1$ again. If you are standing at $1$ in this new universe, you can't step to the right into, say, $1.1$, because $1.1$ does not exist in your world! The space between $1$ and $2$ is a void. Any small step you take around the point $1$ will only land you on points that are less than or equal to $1$. A small blanket centered at $1$ (within the space $X$) looks like $(1-r, 1]$ for some small $r > 0$. And this entire blanket is contained within our set $S=(0,1]$!

Suddenly, the point $1$ has become an interior point. The interior of $S$ in this universe is $(0, 1]$. This reveals a profound lesson: topological properties like "interior" and "closure" are not absolute. They are ​​relative​​ to the ambient space you are working in. The shape of your universe determines what is "inside" and what is on the "edge".

One of the most beautiful aspects of science is the discovery of hidden symmetries, dualities that connect seemingly different concepts. Interior and closure share such a relationship, a kind of yin and yang mediated by the idea of a complement (everything not in a set).

Let's think about the points that are not in the interior of a set $A$. A point fails to be in $\text{int}(A)$ if every little blanket around it spills outside of $A$. But saying "spills outside of $A$" is the same as saying "touches the complement of $A$," which we'll call $A^c$. And what do we call the set of all points that touch $A^c$? That's precisely the definition of the closure of $A^c$, which is $\overline{A^c}$. So we arrive at a stunningly elegant connection: $(\text{int}(A))^c = \overline{A^c}$ The points outside the interior of a set are precisely the closure of the set's complement.

The symmetry doesn't stop there. By flipping the roles of $A$ and $A^c$, an identical line of reasoning gives us the other half of this duality: $(\overline{A})^c = \text{int}(A^c)$ The points outside the closure of a set are precisely the interior of the set's complement.

These are not just nifty formulas to memorize. They tell us that interior and closure are two sides of the same coin. Any truth we discover about one can be translated into a corresponding truth about the other. This duality is a cornerstone of topology, giving the field a deep and satisfying logical structure.

Armed with our new tools, let’s go exploring. The universe of sets is like a vast biological kingdom, filled with creatures ranging from the simple and familiar to the bizarre and counter-intuitive.

Creature 1: The Rational Numbers - Everywhere and Nowhere at Once

Our first specimen is the set of all rational numbers, $\mathbb{Q}$, living within the real number line $\mathbb{R}$. At first glance, the rationals seem plentiful. Between any two real numbers, you can always find a rational one. This property is called ​​density​​. It means you can't find any open interval on the real line, no matter how small, that is free of rational numbers. Because of this, if we try to find the closure of $\mathbb{Q}$, we find that we can "reach" every single real number. The closure of the rationals is the entire real line: $\text{cl}(\mathbb{Q}) = \mathbb{R}$

So the rationals are, in a sense, everywhere. But what about their interior? To be in the interior, a rational number would need to be surrounded only by other rationals. But this is impossible! Just as the rationals are dense, the irrational numbers (like $\pi$ or $\sqrt{2}$) are also dense. Squeeze in as close as you like to any rational number, and you will find an irrational number staring back at you. No blanket, however small, can be filled with only rationals. The astonishing consequence is that the interior of the rationals is completely empty: $\text{int}(\mathbb{Q}) = \emptyset$

Think about what this means. The rationals are a set that is "everywhere" in its reach, yet "nowhere" in its substance. It has no "safe" interior. What, then, is its boundary? The boundary is the closure minus the interior, $\text{cl}(A) \setminus \text{int}(A)$. For the rationals, this is $\mathbb{R} \setminus \emptyset = \mathbb{R}$. The boundary of the set of rational numbers is the entire real line! Every single real number, rational or irrational, lives on the fence between the rationals and the irrationals. This is one of the first great "mind-bending" results one encounters in analysis, and it shows just how subtle the notion of "size" can be.

A New Kind of "Small": The Idea of Nowhere Dense Sets

The rationals taught us that a set can have an empty interior. But we saw that its closure, $\mathbb{R}$, is "fat"—it has a vast interior. This motivates a new definition of "smallness." A set is called ​​nowhere dense​​ if it's truly wispy and ethereal, meaning that even its closure has an empty interior. The formal definition is: a set $A$ is nowhere dense if $\text{int}(\text{cl}(A)) = \emptyset$.

A finite collection of points in the plane is nowhere dense. A line drawn in a 2D plane is also nowhere dense. No matter how much you "thicken" a line by taking its closure (which is just the line itself, since it's already closed), you can't create a 2D interior. These examples fit our intuition of a "thin" set.

The set of rationals $\mathbb{Q}$, by contrast, is the classic example of a set that is not nowhere dense. Its interior is empty, but the interior of its closure is the entire real line. So, having an empty interior is not enough to be nowhere dense. However, if a set is already ​​closed​​ and has an empty interior, then its closure is itself, and so the interior of its closure is also empty. This means any closed set with an empty interior is automatically nowhere dense.

What happens when we start applying our two operations, interior and closure, over and over again? It feels like a creative game. Start with a set $A$. We can form $\text{int}(A)$ and $\text{cl}(A)$. What if we take the closure of the interior, $\text{cl}(\text{int}(A))$, or the interior of the closure, $\text{int}(\text{cl}(A))$?

Let's play. Can we find a set $A$ where taking the interior and then the closure shrinks it? Consider the set $A = [0, 2] \cup (\mathbb{Q} \cap [3, 4])$. This set has a "solid" part, $[0, 2]$, and a "dusty" part made of rationals, $\mathbb{Q} \cap [3, 4]$.

• The interior, $\text{int}(A)$, is just $(0, 2)$. The dusty rational part completely evaporates because it has no interior.
• Now, take the closure of that: $\text{cl}(\text{int}(A)) = \text{cl}((0, 2)) = [0, 2]$. The result, $[0, 2]$, is a proper subset of the original $A$. The game is afoot!

The two most interesting sets to compare are the closure-of-the-interior, $\text{cl}(\text{int}(A))$, and the interior-of-the-closure, $\text{int}(\text{cl}(A))$. A fundamental (though not always obvious) fact is that $\text{cl}(\text{int}(A)) \subseteq \text{cl}(A)$ and $\text{int}(A) \subseteq \text{int}(\text{cl}(A))$. But what is the relationship between $\text{cl}(\text{int}(A))$ and $\text{int}(\text{cl}(A))$?

• Can they be completely disjoint? Yes! Take the set of irrational numbers, $A = \mathbb{R} \setminus \mathbb{Q}$. Its interior is empty, so $\text{cl}(\text{int}(A)) = \emptyset$. Its closure is all of $\mathbb{R}$, so $\text{int}(\text{cl}(A)) = \mathbb{R}$. The two are indeed disjoint.

• Can the closure-of-the-interior be strictly smaller than the interior-of-the-closure? This is an even greater challenge. Yet such a set exists: consider $A = ([0, 1] \cap \mathbb{Q}) \cup ([2, 3] \cap \mathbb{I})$, where $\mathbb{I}$ is the set of irrationals. This Frankenstein set has an empty interior, so $\text{cl}(\text{int}(A)) = \emptyset$. But its closure is the two solid intervals $[0, 1] \cup [2, 3]$, whose interior is $(0, 1) \cup (2, 3)$. Clearly, the empty set is a proper subset of this pair of intervals.

This game might seem like an abstract diversion, but it leads to a truly profound discovery known as ​​Kuratowski's 14-set problem​​. It states that for any starting set $A$ in $\mathbb{R}$, no matter how many times you alternate between applying closure and complement (or, equivalently, closure and interior), you can generate at most ​​14​​ distinct sets (including the original set and its complement)! There are even cleverly constructed sets that achieve this maximum number of 14. This theorem reveals a hidden, finite, and beautiful algebraic structure governing the geometry of the real line. The seemingly infinite possibilities of shaping sets are constrained by a deep, underlying grammar.

Lest we think this is all just a game, let's bring it back to a very concrete picture. Imagine a solid triangle $T$ in the plane. Now, let's create a "dust" version of it, $T_Q$, which consists only of the points in the triangle that have rational coordinates. This set $T_Q$ has an area of zero. It has no interior. It is just a dense scattering of points.

What is the area of the region described by $\text{int}(\text{cl}(T_Q))$?

First, we apply the ​​closure​​ operator to our dust cloud $T_Q$. Since the rational points are dense, the closure "fills in all the gaps" between the dust particles. The result is the original, solid triangle, $T$. So, $\text{cl}(T_Q) = T$.

Next, we apply the ​​interior​​ operator to this solid triangle $T$. This operation "carves away the boundary," removing the very thin edges of the triangle. The result, $\text{int}(T)$, is the open triangle without its perimeter.

Finally, we ask for its area. The area of the open triangle is, of course, the same as the area of the closed triangle (since the boundary has zero area). The abstract sequence of operations, $\text{int}(\text{cl}(\dots))$, corresponds to the tangible geometric process of "filling in" a shape from a dense skeleton and then "hollowing out" its boundary.

This is the true power of these concepts. Interior and closure are not just abstract definitions. They are fundamental operations for describing, shaping, and transforming our understanding of space itself, revealing the hidden structure that governs everything from the real number line to the most complex geometric objects. They form the very language we use to speak about shape.

Having acquainted ourselves with the machinery of interiors, closures, and the curious notion of "nowhere dense" sets, we might be tempted to ask: What is all this good for? Are these just clever games for mathematicians, or do they tell us something profound about the world? It turns out that these simple-sounding ideas are like a new pair of glasses. When you put them on, the familiar landscape of numbers, shapes, and even abstract spaces reveals a hidden, deep, and beautiful structure. Let's embark on a journey to see what we can discover.

Our first stop is the familiar number line, $\mathbb{R}$. It's populated by two intermingled, infinite tribes: the rational numbers, $\mathbb{Q}$, and the irrational numbers. Intuitively, we know there are "more" irrationals than rationals, but can our new tools make this idea more precise?

Let's look at the rationals. They are everywhere. Pick any two distinct real numbers, no matter how close, and you'll find a rational number sitting between them. In the language of topology, this means the set of rational numbers is ​​dense​​ in the real numbers. Its closure is the entire number line!. One might think such a ubiquitous set must be "large".

But wait a minute. The set $\mathbb{Q}$ is also countably infinite—you can list all the rational numbers, one after another. This makes it seem "small" compared to the uncountably infinite irrationals. This paradox forces us to think more carefully about what "large" and "small" mean.

Here, the concept of a "nowhere dense" set comes to our aid. A single rational number, like the set $\{q\}$, is clearly nowhere dense in the space of all rationals. Since the entire set $\mathbb{Q}$ is just a countable collection of these individually "puny" points, we can express $\mathbb{Q}$ as a countable union of nowhere dense sets. This defines it as a ​​meager​​ set (or a set of the ​​first category​​). In a topological sense, the rationals are "thin" or "small". This idea extends beautifully to higher dimensions as well; the set of points with all rational coordinates, $\mathbb{Q} \times \mathbb{Q}$, is dense in the plane, but it's still meager. The same holds for the larger set of points with at least one rational coordinate.

Now for the masterstroke, a result of breathtaking elegance called the ​​Baire Category Theorem​​. It states that a complete metric space—like our familiar real number line $\mathbb{R}$—cannot be meager. The space itself is "non-meager," or of the ​​second category​​.

Think about what this implies. We have $\mathbb{R} = \mathbb{Q} \cup (\mathbb{R} \setminus \mathbb{Q})$. We just argued that $\mathbb{Q}$ is a meager set. If the set of irrationals, $\mathbb{R} \setminus \mathbb{Q}$, were also meager, then their union, $\mathbb{R}$, would be a union of two meager sets, which is itself meager. This would contradict the Baire Category Theorem! The only possible conclusion is a profound one: the set of irrational numbers cannot be meager. It must be of the second category. Our topological glasses have revealed that the irrationals are not just uncountable; they are topologically "fat" and substantial in a way that the rationals simply are not. The theorem doesn't just say there are more irrationals; it says they are structurally dominant.

One of the most mind-expanding lessons of topology is that properties like "closed," "open," and "nowhere dense" are not intrinsic to a set itself. They are properties of a set's relationship with its surrounding space—its topology. Change the topology, and you can change everything.

Consider the simple, solid interval $[0,1]$. In our standard Euclidean view of the number line, its closure is itself, and its interior is the open interval $(0,1)$. Since its interior is not empty, it's certainly not nowhere dense.

But what if we play a game and change the rules of what constitutes an "open set"? Let's invent a new topology, the "upper ray topology," where the only open sets are the empty set, $\mathbb{R}$ itself, and intervals of the form $(-\infty, a)$ for any real number $a$. What happens to our interval $[0,1]$ now? Its closure—the smallest closed set containing it—stretches out to become the entire ray $[0, \infty)$. Now, what is the interior of this new closure? An interior point must have an open neighborhood contained within the set. But all our open sets are rays pointing to the left! None of them can fit inside $[0, \infty)$, which points to the right. The only open set that fits is the empty set. So, in this strange new world, $\text{int}(\text{cl}([0,1])) = \emptyset$. Our familiar, solid interval $[0,1]$ has become ​​nowhere dense​​! This is a marvelous illustration that context is everything.

This same principle applies in other strange worlds, like the ​​Sorgenfrey plane​​. Here, the basic open sets are rectangles of the form $[a, b) \times [c, d)$, which are closed on the left and bottom and open on the right and top. This slight tweak to the rules of openness has subtle but important consequences. The interior, closure, and boundary of a simple shape like the first quadrant are all slightly different from what our Euclidean intuition would suggest. Each topology is a new universe with its own geometric laws.

Now that we are comfortable with changing the rules, let's take our tools and venture into even more exotic mathematical landscapes.

Our first stop is a world that marries number theory and topology: the field of ​​$p$-adic numbers​​, $\mathbb{Q}_p$. Here, the "distance" between two numbers is not based on their difference, but on how many times the prime number $p$ divides that difference. In this world, numbers like $p$, $p^2$, and $p^3$ get progressively "closer" to 0. What happens to the ordinary integers, $\mathbb{Z}$, when we view them through these $p$-adic glasses? We find something astounding. The closure of the integers is no longer just the integers themselves. Instead, they spread out to fill a much larger, incredibly rich structure known as the ​​ring of $p$-adic integers​​, $\mathbb{Z}_p$. The familiar integers form a dense skeleton within this new, continuous object. Meanwhile, the interior of the integers in this space is completely empty. This is a powerful example of how topological completion can reveal entirely new mathematical continents hidden within the familiar terrain of arithmetic.

For our next adventure, let's construct a truly ghostly set in the complex plane. Imagine taking all the points on the unit circle with angles corresponding to a dense set (like all rational multiples of $2\pi$). Now, create a new set $S$ by taking every one of these points and scaling it by every rational number between 0 and 1. You get a sort of "rational pinwheel". This set is full of holes—any point at an irrational radius from the center is missing. Consequently, its interior is utterly empty. Yet, it's so finely spun that its closure is the entire solid unit disk, $D = \{z \in \mathbb{C} : |z| \le 1\}$. It is a phantom that is everywhere and nowhere at once. And what is its boundary? Not a thin line, as we might expect, but the entire solid disk itself! $\partial S = \bar{S} \setminus \text{int}(S) = D \setminus \emptyset = D$. Such examples shatter our everyday intuition and force us to rely on the steadfast logic of our topological definitions.

Finally, let us make one last, daring leap. What if we consider a space where the "points" are not numbers, but sets themselves? Consider the space $\mathcal{K}([0,1])$, whose elements are all the non-empty compact subsets of the interval $[0,1]$. We can define a distance (the Hausdorff metric) between any two such sets. In this "hyperspace," let's look at the collection of all perfect, nowhere dense sets, $\mathcal{PND}$—sets like the famous Cantor set. One might intuitively guess that this collection of "thin" and "dusty" sets would itself be a 'thin' or nowhere dense subset of the grander space of all compact sets. The truth, however, is the exact opposite, and it is stunning. The collection of these lacy, hole-filled sets is in fact ​​dense​​ in the space of all compact sets. This means that any compact set—even a solid interval like $[0,1]$—can be approximated arbitrarily well by a perfect, nowhere dense set. The "fat" and "solid" are built from the "thin" and "porous."

From the rationals on a line to a universe of sets, the concepts of closure and interior have provided us with a powerful and unified language. They are not merely abstract definitions; they are fundamental tools for exploring the structure of infinity, for understanding the interplay between a set and its environment, and for uncovering the profound and often surprising beauty that underlies the world of mathematics.