Imagine a coffee mug made of perfectly stretchy clay. If you smoosh it around, you can turn it into a donut. You can't turn it into a sphere, though. To do that, you'd have to fill in the hole. And you can't turn it into a figure-eight, because that would require creating a new hole or tearing the clay.

This is the world of topology. It's a branch of mathematics where shapes are considered equivalent if you can deform one into the other without any tearing, cutting, or gluing. In topology, a coffee mug and a donut are the same. A sphere and a cube are the same. But a sphere and a donut are different.

This kind of transformation is called a homeomorphism. It's the central idea in topology. To understand it more formally, we need to start with the basic building blocks of topological spaces.

Instead of measuring distances like in standard geometry, topology is built on the idea of open sets. An open set is a collection of points with a special property: for any point you pick inside the set, you can always find a small region around it that is also entirely inside the set. Think of it as a field with no fences. No matter where you stand, you can always take a tiny step in any direction and still be in the field.

A closed set is the opposite. It's a set that contains all of its boundary points. The interval $[0, 1]$, which includes 0 and 1, is a closed set. A topological space is simply a set of points, along with a collection of its subsets that are defined as "open." This collection has to follow a few simple rules, like the whole space being open and the intersection of any two open sets also being open.

With open sets, we can define continuity in a new way. A function between two topological spaces is continuous if it doesn't "tear" the space apart. More formally, a function $f$ from space $X$ to space $Y$ is continuous if for any open set in $Y$, its pre-image in $X$ is also open. This guarantees that points that are close together in $X$ end up close together in $Y$.

A homeomorphism is a special kind of continuous function. It's a two-way street. A function $f$ from $X$ to $Y$ is a homeomorphism if:

1. It's a bijection (it pairs up every point in $X$ with exactly one point in $Y$, and vice-versa).
2. The function $f$ is continuous.
3. The inverse function $f^{-1}$ is also continuous.

When a homeomorphism exists between two spaces, they are considered topologically equivalent. This is the mathematical rule behind our coffee mug and donut.

You might be used to thinking about geometry in a metric space, where you can measure the distance between any two points. The familiar Euclidean space of everyday experience is a metric space. We can measure distances with a ruler.

Every metric space is also a topological space. The distance function gives us a natural way to define open sets. An open set around a point can be all the other points that are less than a certain distance away. This is called an "open ball."

But not all topological spaces are metric spaces. Topology is more general. It allows us to study spaces where a precise notion of distance doesn't exist or isn't important. We only need to know which points are "near" each other, as defined by the system of open sets. This abstraction is powerful, allowing mathematicians to study the essential properties of shape and continuity in a much broader context.

Ready to check your understanding of these foundational ideas?

These core concepts, from open sets to homeomorphisms, form the language of topology. They provide the tools to explore the fundamental properties of shapes that persist even when they are stretched and bent.