Metric Spaces vs. Topological Spaces

Introduction: Why Do We Care About “Closeness,” students?

When we study mathematics, we often want to understand when two points are close together, when a sequence settles down, and when a shape has no gaps or breaks. In a first course, these ideas usually come from distance. For example, on a number line, the distance between $2$ and $5$ is $|2-5|=3$. In the plane, we can measure the distance between two points using the usual formula. That kind of setup is called a metric space.

But mathematicians noticed something important: many useful ideas do not actually need a specific distance formula. What they really need is a way to describe which sets are “open” and which are “closed.” That broader viewpoint leads to topological spaces.

In this lesson, students, you will learn:

what a metric space is and why it is useful,
what a topological space is and how it generalizes distance,
how open sets and closed sets work in both settings,
how metric spaces fit inside the larger world of topology 🌍,
and why these ideas matter for understanding continuity, limits, and shape.

Metric Spaces: Distance Comes First

A metric space is a set together with a distance rule. The distance rule is called a metric. If $X$ is a set and $d$ is a metric on $X$, then for any points $x,y,z\in X$, the function $d$ must satisfy four rules:

$$d(x,y)\ge 0$$

$$d(x,y)=0 \text{ if and only if } x=y$$

$$d(x,y)=d(y,x)$$

$$d(x,z)\le d(x,y)+d(y,z)$$

These are called non-negativity, identity of indiscernibles, symmetry, and the triangle inequality.

A familiar example is the real line $\mathbb{R}$ with the metric $d(x,y)=|x-y|$. Another example is the plane $\mathbb{R}^2$ with the usual distance formula. In both cases, the metric lets us talk about balls, neighborhoods, and closeness.

For instance, if you stand at a point $x$ on the real line, the open ball of radius $r$ around $x$ is

$$B(x,r)=\{y\in X : d(x,y)<r\}$$

This simply means all points whose distance from $x$ is less than $r$. On the real line, $B(3,2)$ is the interval $(1,5)$. That is a very concrete way to describe “nearby” points.

Real-world connection: if a weather app says two cities are within $20$ km of each other, it is using a metric idea. The exact distance matters, and the distance tells us which places count as nearby 📍.

Open Sets in Metric Spaces

Open sets are the building blocks of topology. In a metric space, a set $U\subseteq X$ is open if for every point $x\in U$, there exists some radius $r>0$ such that

$$B(x,r)\subseteq U$$

In simple words, if you choose any point inside an open set, you can move a little bit in every direction and still stay inside the set.

Let’s look at $\mathbb{R}$. The interval $(1,5)$ is open because every point inside it has a small interval around it that still stays inside $(1,5)$. But the interval $[1,5]$ is not open, because the point $1$ does not have a small interval around it that stays completely inside $[1,5]$.

This idea is useful in everyday reasoning. Imagine a safe zone on a map. If you are at a point inside the safe zone and can take a small step in any direction without leaving it, then the zone behaves like an open set.

Open sets are important because they help define continuity. A function $f:X\to Y$ between metric spaces is continuous if the preimage of every open set is open. This matches the everyday idea that small changes in input should not cause sudden jumps in output.

Closed Sets and Complements

A set is closed if its complement is open. If $A\subseteq X$, then the complement is

$$X\setminus A$$

So $A$ is closed when $X\setminus A$ is open.

In $\mathbb{R}$, the interval $[1,5]$ is closed because its complement $(-\infty,1)\cup(5,\infty)$ is open. A single point set like $\{3\}$ is also closed in $\mathbb{R}$.

Closed sets are often described as sets that contain their limit points. A limit point is a point where elements of the set can cluster from nearby. For example, the number $5$ is a limit point of $(1,5)$, but $5$ is not in $(1,5)$, so the set is not closed.

Why does this matter? Think about a fence around a yard. If every boundary point belongs to the yard, the set is closed. If the boundary is missing, then the set is not closed. This distinction helps in studying convergence and completeness.

Topological Spaces: The Big Generalization

A topological space is a set $X$ together with a collection $\tau$ of subsets of $X$, called open sets, satisfying three axioms:

Both $\varnothing$ and $X$ are in $\tau$.
Any union of sets in $\tau$ is also in $\tau$.
Any finite intersection of sets in $\tau$ is also in $\tau$.

That collection $\tau$ is called a topology on $X$.

Notice what is missing: there is no distance formula required. A topological space keeps only the information about which sets are open. This makes topology much more flexible than metric spaces.

Every metric space gives a topology by declaring open sets to be unions of open balls. So metric spaces are examples of topological spaces. However, not every topology comes from a metric. This is one of the key ideas in the motivation for topology: distance is useful, but it is sometimes more structure than we need.

For example, if we only care about whether a shape has holes or whether a function is continuous, the exact distances may be irrelevant. Topology focuses on properties that do not change under stretching or bending, as long as you do not tear or glue the space.

Metric Spaces vs. Topological Spaces: What Changes?

The main difference is this:

A metric space gives a distance.
A topological space gives a notion of openness.

In a metric space, open sets are built from distances. In a topological space, open sets are taken as basic data.

This means topology is more general. If you know the open sets, you can study continuity, convergence, and separation without ever mentioning a metric.

Here is a useful comparison:

In a metric space, you can say two points are $3$ units apart.
In a topological space, you may not be able to say how far apart they are, but you can still ask whether they lie in the same open set or whether a sequence approaches a point.

A real-world analogy is maps versus neighborhoods. A metric is like a ruler that measures exact travel distance. A topology is like a neighborhood network that tells you which places are connected in a local sense. Both are useful, but they answer different questions 🧭.

Examples That Show the Difference

Example 1: The usual real line

The set $\mathbb{R}$ with distance $d(x,y)=|x-y|$ is a metric space. The open sets are the unions of open intervals. This is the standard topology on $\mathbb{R}$.

Example 2: The discrete topology

Take any set $X$. If every subset of $X$ is declared open, then we get the discrete topology. This is a valid topology, but it is not very geometric. If $X$ has more than one point, it can still be made into a metric space using

$$d(x,y)=\begin{cases}

0 & \text{if } x=y,\\

1 & \text{if } x\ne y.

$\end{cases}$$$

In this case, every subset is open.

Example 3: A topology not coming from a metric

Some topologies cannot be obtained from any metric. That shows topology is strictly broader than metric space theory. These examples often appear in advanced study and show why the topological viewpoint is powerful.

Why This Matters in Motivation and Definitions

The topic “Motivation and Definitions” is about building the language of topology carefully. Before proving deeper theorems, students, you need to know what the basic words mean:

metric space,
open set,
closed set,
topological space.

These definitions are not just formalities. They tell you what kinds of arguments are allowed. For example, to prove that a function is continuous, you may use open sets instead of direct distance estimates. To study a closed set, you may use complements or limit points.

This shift is powerful because it lets one theory cover many settings. Geometry, analysis, and even parts of computer science can all use topological ideas.

Conclusion

Metric spaces and topological spaces are closely related, but they are not the same. A metric space gives a specific way to measure distance, while a topological space keeps only the structure needed to talk about open sets and continuity. Every metric space creates a topology, but not every topology comes from a metric.

For students, the key takeaway is that topology starts by asking: “What properties survive when we ignore exact distance and keep only the structure of openness?” That question motivates the entire subject and prepares you for deeper ideas in the rest of the course.

Study Notes

A metric space is a set $X$ with a distance function $d:X\times X\to [0,\infty)$ satisfying the metric axioms.
The open ball around $x$ with radius $r$ is $B(x,r)=\{y\in X:d(x,y)<r\}$.
A set is open if every point in it has a small open ball completely inside the set.
A set is closed if its complement is open.
A topological space is a set $X$ with a collection of open sets satisfying the topology axioms.
Every metric space determines a topology, but not every topology comes from a metric.
Topology focuses on properties preserved under continuous deformation, such as continuity and connectedness.
Open sets and closed sets are the basic tools for reasoning in topology.