Homeomorphism — Mathematics Knowledge System

Overview

A homeomorphism is a continuous, bijective function between two topological spaces whose inverse is also continuous — it's the precise notion of 'the same shape' in topology. Two spaces connected by a homeomorphism are called homeomorphic, and topology studies exactly the properties preserved by such maps (properties invariant under stretching, bending, and twisting, but not tearing or gluing).

Intuition

The famous topologist's joke is that a coffee mug and a donut are 'the same' — because you can continuously deform one into the other (both have exactly one hole) without cutting or gluing. A homeomorphism is the formal function that carries out this deformation, matching every point of one shape to a point of the other, continuously in both directions. A sphere and a cube ARE homeomorphic (you can round the cube's edges continuously), but a sphere and a donut are NOT (no continuous deformation can create or destroy the hole).

Formal Definition

Definition

A function f: X → Y between topological spaces is a homeomorphism if:

f \text{ is a bijection, } f \text{ is continuous, and } f^{-1} \text{ is continuous}

Definition

X \cong Y \quad \text{(X and Y are 'homeomorphic')}

Notation for topologically equivalent spaces

Notation

Notation	Meaning
$X \cong Y$	X and Y are homeomorphic (topologically indistinguishable)

Properties

Equivalence relation

\text{Homeomorphism is reflexive, symmetric, and transitive, so it partitions all spaces into equivalence classes}

Preserves topological invariants

\text{Compactness, connectedness, and the number of 'holes' are preserved by any homeomorphism}

Continuity alone is not enough

\text{A continuous bijection need NOT have a continuous inverse; that extra condition is essential}

Applications

Mesh simplification and shape-matching algorithms in computer graphics use topological invariants preserved by homeomorphism to compare 3D models.

Worked Examples

x³ is continuous, strictly increasing (hence bijective on ℝ), and its inverse x^(1/3) is continuous.
$f(x)=x^3: \text{bijective, continuous, continuous inverse} \Rightarrow \text{homeomorphism}$
x² is not injective on all of ℝ (f(-1)=f(1)=1), so it isn't even a bijection.
$f(x)=x^2 \text{ fails injectivity on } \mathbb{R}$

Answer: x³ is a homeomorphism on ℝ; x² is not even a bijection on ℝ.

Practice Problems

Difficulty 6/10

Are a solid disk and a solid square (both filled-in, 2D) homeomorphic?

Common Mistakes

Common Mistake

Assuming any continuous bijection is automatically a homeomorphism.

The inverse must ALSO be continuous. A classic counterexample: mapping [0,2π) onto the unit circle via f(t)=(cos t, sin t) is a continuous bijection, but its inverse is discontinuous at the point where the interval wraps around.

Historical Background

The idea that topology studies properties invariant under continuous deformation dates to the work of Henri Poincaré in the late 19th century (Analysis Situs, 1895), who effectively founded algebraic topology. The precise term 'homeomorphism' and its formal definition were developed alongside the general theory of topological spaces in the early 20th century by Felix Hausdorff and others.

1895
Poincaré's Analysis Situs studies properties invariant under continuous deformation
Henri Poincaré
1914
Hausdorff formalizes topological spaces in Grundzüge der Mengenlehre
Felix Hausdorff

Summary

A homeomorphism is a continuous bijection with a continuous inverse — the topologist's notion of 'same shape'.
Two spaces linked by one are 'homeomorphic' and share all topological properties (compactness, connectedness, holes).
A continuous bijection is NOT automatically a homeomorphism — the inverse's continuity is a separate, necessary condition.
Classic example: a coffee mug and a donut are homeomorphic (one hole each); a sphere and a donut are not.

References

WebsiteWikipedia — Homeomorphism