Homeomorphisms 🧭

Welcome, students! In this lesson, you will learn one of the most important ideas in topology: homeomorphisms. Topology studies properties of shapes and spaces that stay the same when you stretch, bend, or twist them without tearing or gluing. That idea is captured by a special kind of relationship called a homeomorphism.

Learning goals

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

• explain what a homeomorphism is and why it matters,
• use the definition correctly in examples,
• connect homeomorphisms to continuity and inverse images,
• recognize when two spaces are topologically the same,
• give evidence that two spaces are or are not homeomorphic.

A good way to think about a homeomorphism is this: it is a function that changes the shape of a space without changing its topological structure. It is the topology version of saying two objects are “the same up to stretching” ✨

What is a homeomorphism?

Let $X$ and $Y$ be topological spaces. A function $f:X\to Y$ is called a homeomorphism if three things are true:

1. $f$ is continuous,
2. $f$ is one-to-one,
3. $f$ is onto,
4. the inverse function $f^{-1}:Y\to X$ is also continuous.

Because of the second and third conditions, $f$ is a bijection. So a homeomorphism is a bijection with continuous behavior in both directions.

You may also see the definition written more compactly: $f$ is a homeomorphism if it is a bijective continuous function and $f^{-1}$ is continuous.

Why do we need the inverse to be continuous too? Because continuity alone is not enough to preserve topology in both directions. A continuous function can “collapse” points together, which changes the space too much. A homeomorphism must preserve the structure so well that you can move back and forth without creating breaks or jumps.

A simple intuition

Imagine a rubber sheet shaped like a circle. You can stretch it into an ellipse without tearing it. Topologically, the circle and the ellipse are the same. A homeomorphism can describe that connection. But if you cut the sheet into two pieces, the new object is no longer homeomorphic to the original one because cutting changes the topology.

Continuity through inverse images

To understand homeomorphisms, students, it helps to remember the topological definition of continuity. A function $f:X\to Y$ is continuous if for every open set $U$ in $Y$, the set $f^{-1}(U)$ is open in $X$.

This inverse-image idea is extremely important because it works for all topological spaces, not just for graphs or familiar formulas. It tells us that a continuous function preserves openness when we pull sets back from the target space.

Now connect this to homeomorphisms:

• since $f$ is continuous, inverse images of open sets in $Y$ are open in $X$,
• since $f^{-1}$ is continuous, inverse images of open sets in $X$ are open in $Y$.

That means open sets correspond perfectly under the map. In fact, a homeomorphism sends open sets in $X$ to open sets in $Y$, and also sends open sets in $Y$ back to open sets in $X$ through the inverse.

This is one reason homeomorphisms are so powerful: they preserve the open-set structure of spaces. Since many topological properties are built from open sets, those properties often stay the same under homeomorphism.

Example: intervals

The open interval $(-1,1)$ is homeomorphic to the real line $\mathbb{R}$. One homeomorphism is

$$f(x)=\tan\left(\frac{\pi x}{2}\right).$$

This function is continuous, bijective, and its inverse

$$f^{-1}(y)=\frac{2}{\pi}\arctan(y)$$

is also continuous. So $(-1,1)$ and $\mathbb{R}$ are topologically the same, even though one is bounded and one is not. This shows that boundedness in the usual geometric sense is not a topological property.

Equivalent characterizations of homeomorphisms

There are several equivalent ways to describe a homeomorphism. Knowing these helps you recognize one in problems.

Characterization 1: continuous bijection with continuous inverse

This is the standard definition.

Characterization 2: open map or closed map

If $f:X\to Y$ is a bijection, then $f$ is a homeomorphism if and only if $f$ is continuous and open. It is also true that $f$ is a homeomorphism if and only if $f$ is continuous and closed.

What does this mean?

• An open map sends open sets to open sets.
• A closed map sends closed sets to closed sets.

If $f$ is bijective and open, then $f^{-1}$ is continuous. If $f$ is bijective and closed, then $f^{-1}$ is continuous as well. These results are very useful because sometimes it is easier to show a map is open or closed than to directly check the inverse.

Characterization 3: topological equivalence

Two spaces $X$ and $Y$ are called homeomorphic if there exists a homeomorphism $f:X\to Y$. This is written as $X\cong Y$ in topology.

So when we say two spaces are homeomorphic, we are saying they have the same topological structure. They may look different as shapes, but topology treats them as the same space.

Example: circle and square

The boundary of a square and the circle $S^1$ are homeomorphic. You can imagine mapping points around the square boundary to points around the circle boundary in a continuous one-to-one way. The corners do not cause a problem because topology ignores sharpness and angle size. It only cares about the underlying connected loop structure.

How to use homeomorphisms in reasoning

When solving topology problems, students, homeomorphisms are often used to transfer information from one space to another. If $X$ is homeomorphic to $Y$, then any topological property preserved by homeomorphisms is shared by both spaces.

Examples of preserved properties include:

• connectedness,
• compactness,
• path-connectedness,
• Hausdorffness,
• being open or closed as a subset under the map,
• having the same number of connected components.

These properties are called topological invariants. If two spaces do not have the same invariant, then they cannot be homeomorphic.

Example: an easy non-homeomorphism test

The interval $[0,1]$ is not homeomorphic to $(0,1)$. Why not? The closed interval $[0,1]$ is compact, but $(0,1)$ is not compact in the usual topology on $\mathbb{R}$. Since compactness is preserved by homeomorphisms, the two spaces cannot be homeomorphic.

This kind of argument is often the fastest way to prove two spaces are different topologically.

Example: a common mistake

A student might think the line segment and the circle are homeomorphic because both are “one-dimensional.” But they are not. The circle has no endpoints, while the line segment has two endpoints. Endpoint behavior is preserved by homeomorphism because it affects local structure. So local topological features matter a lot.

Homeomorphisms in the bigger picture of topology

Homeomorphisms are central because they define when two spaces should be considered the same in topology. In geometry, you might care about exact lengths and angles. In topology, those are usually ignored. Instead, topology asks whether two spaces can be deformed into each other without tearing or gluing.

This is why the topic of continuity is so closely connected to homeomorphisms. Continuity tells us how a map behaves with open sets, and a homeomorphism is the strongest kind of structure-preserving map in basic topology.

Think of it this way:

• continuity says the map does not make sudden jumps,
• bijection says no points are lost or duplicated,
• continuity of the inverse says the matching works both ways.

Together, these conditions say the two spaces are topologically identical.

Real-world-style analogy

Imagine two road maps of the same city. One map is detailed and one is stylized, but each location on one map matches exactly one location on the other. If moving through streets on one map corresponds smoothly to moving through streets on the other, then the maps are topologically equivalent in spirit. That is similar to a homeomorphism 📍

Conclusion

Homeomorphisms are the key idea behind saying two topological spaces are the same. They are bijections that are continuous in both directions, so they preserve the open-set structure of a space. This makes them essential for comparing spaces and proving whether two spaces share topological properties.

As you study topology, keep asking students: can this space be stretched or bent into that one without tearing or gluing? If the answer is yes, then a homeomorphism may be hiding behind the scenes. If the answer is no, look for a topological invariant such as compactness, connectedness, or local structure to explain why.

Study Notes

• A homeomorphism is a bijection $f:X\to Y$ such that both $f$ and $f^{-1}$ are continuous.
• Continuity in topology means inverse images of open sets are open.
• Homeomorphisms preserve topological structure and define when two spaces are homeomorphic.
• If $f$ is a bijective open map, then $f$ is a homeomorphism.
• If $f$ is a bijective closed map, then $f$ is a homeomorphism.
• Homeomorphic spaces share topological invariants such as compactness, connectedness, and path-connectedness.
• The spaces $(-1,1)$ and $\mathbb{R}$ are homeomorphic.
• The spaces $[0,1]$ and $(0,1)$ are not homeomorphic because compactness differs.
• Homeomorphisms are central to topology because they formalize “same shape up to stretching.”